runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.27 1.41 1.35 5/34 29885 /proc/meminfo: memFree=277080/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) R 29883 29884 4778 34817 4778 4202496 353 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 267 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/29884/statm: 641 267 228 194 0 28 0 [pid=29885] ppid=29884 vsize=2564 CPUtime=0 /proc/29885/stat : 29885 (gj-paranoid-sol) R 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 39 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/29885/statm: 641 39 0 194 0 28 0 [startup+0.125357 s] /proc/loadavg: 1.27 1.41 1.35 5/34 29885 /proc/meminfo: memFree=277080/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=409800 CPUtime=0.12 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 3892 0 1 0 11 1 0 0 25 0 9 0 11256468 419635200 3320 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102450 3320 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 412364 [startup+0.205363 s] /proc/loadavg: 1.27 1.41 1.35 5/34 29885 /proc/meminfo: memFree=277080/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=409800 CPUtime=0.2 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 4072 0 1 0 19 1 0 0 25 0 9 0 11256468 419635200 3500 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102450 3500 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412364 [startup+0.305377 s] /proc/loadavg: 1.27 1.41 1.35 5/34 29885 /proc/meminfo: memFree=277080/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=410244 CPUtime=0.3 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 4411 0 1 0 29 1 0 0 25 0 9 0 11256468 420089856 3839 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102561 3839 1944 10 0 96709 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412808 [startup+0.705483 s] /proc/loadavg: 1.27 1.41 1.35 5/34 29885 /proc/meminfo: memFree=277080/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=410656 CPUtime=0.7 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 12255 0 1 0 64 6 0 0 25 0 9 0 11256468 420511744 11496 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102664 11496 2901 10 0 96812 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413220 [startup+1.50569 s] /proc/loadavg: 1.27 1.41 1.35 2/43 29894 /proc/meminfo: memFree=217600/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=410788 CPUtime=1.5 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 26137 0 1 0 138 12 0 0 25 0 9 0 11256468 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102697 25378 2901 10 0 96845 0 [pid=29885/tid=29887] ppid=29884 vsize=410788 CPUtime=0.83 /proc/29885/task/29887/stat : 29887 (java) R 29884 29884 4778 34817 4778 4202560 6816 0 1 0 79 4 0 0 25 0 9 0 11256469 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29888] ppid=29884 vsize=410788 CPUtime=0.62 /proc/29885/task/29888/stat : 29888 (java) R 29884 29884 4778 34817 4778 4202560 17934 0 0 0 54 8 0 0 18 0 9 0 11256470 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4151051166 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29889] ppid=29884 vsize=410788 CPUtime=0 /proc/29885/task/29889/stat : 29889 (java) S 29884 29884 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11256470 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29890] ppid=29884 vsize=410788 CPUtime=0 /proc/29885/task/29890/stat : 29890 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11256470 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29891] ppid=29884 vsize=410788 CPUtime=0 /proc/29885/task/29891/stat : 29891 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11256471 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29892] ppid=29884 vsize=410788 CPUtime=0.03 /proc/29885/task/29892/stat : 29892 (java) S 29884 29884 4778 34817 4778 4202560 448 0 0 0 3 0 0 0 18 0 9 0 11256471 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29893] ppid=29884 vsize=410788 CPUtime=0 /proc/29885/task/29893/stat : 29893 (java) S 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11256471 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29894] ppid=29884 vsize=410788 CPUtime=0 /proc/29885/task/29894/stat : 29894 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11256471 420646912 25378 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413352 [startup+3.11603 s] /proc/loadavg: 1.27 1.41 1.35 2/43 29894 /proc/meminfo: memFree=142952/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=410920 CPUtime=3.11 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 49242 0 1 0 292 19 0 0 25 0 9 0 11256468 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102730 48477 2903 10 0 96878 0 [pid=29885/tid=29887] ppid=29884 vsize=410920 CPUtime=1.44 /proc/29885/task/29887/stat : 29887 (java) R 29884 29884 4778 34817 4778 4202560 14290 0 1 0 139 5 0 0 25 0 9 0 11256469 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29888] ppid=29884 vsize=410920 CPUtime=1.6 /proc/29885/task/29888/stat : 29888 (java) R 29884 29884 4778 34817 4778 4202560 33542 0 0 0 146 14 0 0 15 0 9 0 11256470 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4152860625 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29889] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29889/stat : 29889 (java) S 29884 29884 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11256470 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29890] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29890/stat : 29890 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11256470 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29891] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29891/stat : 29891 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11256471 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29892] ppid=29884 vsize=410920 CPUtime=0.05 /proc/29885/task/29892/stat : 29892 (java) S 29884 29884 4778 34817 4778 4202560 471 0 0 0 5 0 0 0 15 0 9 0 11256471 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29893] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29893/stat : 29893 (java) S 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11256471 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29894] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29894/stat : 29894 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11256471 420782080 48477 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413484 Solver just ended. Dumping a history of the last processes samples [startup+3.21609 s] /proc/loadavg: 1.27 1.41 1.35 2/43 29894 /proc/meminfo: memFree=142952/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=410920 CPUtime=3.21 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 52875 0 1 0 300 21 0 0 25 0 9 0 11256468 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102730 52110 2903 10 0 96878 0 [pid=29885/tid=29887] ppid=29884 vsize=410920 CPUtime=1.44 /proc/29885/task/29887/stat : 29887 (java) R 29884 29884 4778 34817 4778 4202560 14290 0 1 0 139 5 0 0 25 0 9 0 11256469 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29888] ppid=29884 vsize=410920 CPUtime=1.7 /proc/29885/task/29888/stat : 29888 (java) R 29884 29884 4778 34817 4778 4202560 37175 0 0 0 154 16 0 0 15 0 9 0 11256470 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4150753208 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29889] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29889/stat : 29889 (java) S 29884 29884 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11256470 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29890] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29890/stat : 29890 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11256470 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29891] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29891/stat : 29891 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11256471 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29892] ppid=29884 vsize=410920 CPUtime=0.05 /proc/29885/task/29892/stat : 29892 (java) S 29884 29884 4778 34817 4778 4202560 471 0 0 0 5 0 0 0 15 0 9 0 11256471 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29893] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29893/stat : 29893 (java) S 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11256471 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29894] ppid=29884 vsize=410920 CPUtime=0 /proc/29885/task/29894/stat : 29894 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11256471 420782080 52110 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 413484 [startup+4.00625 s] /proc/loadavg: 1.41 1.44 1.36 2/43 29894 /proc/meminfo: memFree=73760/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=411256 CPUtime=3.99 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 54548 0 1 0 377 22 0 0 25 0 10 0 11256468 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102814 53704 2923 10 0 96959 0 [pid=29885/tid=29887] ppid=29884 vsize=411256 CPUtime=2.14 /proc/29885/task/29887/stat : 29887 (java) R 29884 29884 4778 34817 4778 4202560 14543 0 1 0 208 6 0 0 25 0 10 0 11256469 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4114479344 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29888] ppid=29884 vsize=411256 CPUtime=1.72 /proc/29885/task/29888/stat : 29888 (java) S 29884 29884 4778 34817 4778 4202560 38535 0 0 0 156 16 0 0 16 0 10 0 11256470 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29889] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29889/stat : 29889 (java) S 29884 29884 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 10 0 11256470 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29890] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29890/stat : 29890 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 10 0 11256470 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29891] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29891/stat : 29891 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11256471 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29892] ppid=29884 vsize=411256 CPUtime=0.12 /proc/29885/task/29892/stat : 29892 (java) S 29884 29884 4778 34817 4778 4202560 526 0 0 0 12 0 0 0 15 0 10 0 11256471 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29893] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29893/stat : 29893 (java) S 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11256471 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29894] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29894/stat : 29894 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11256471 421126144 53704 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 413820 [startup+4.40633 s] /proc/loadavg: 1.41 1.44 1.36 2/44 29895 /proc/meminfo: memFree=73256/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=411256 CPUtime=4.39 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 54553 0 1 0 417 22 0 0 25 0 10 0 11256468 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102814 53709 2923 10 0 96959 0 [pid=29885/tid=29887] ppid=29884 vsize=411256 CPUtime=2.54 /proc/29885/task/29887/stat : 29887 (java) R 29884 29884 4778 34817 4778 4202560 14543 0 1 0 248 6 0 0 25 0 10 0 11256469 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4115299824 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29885/tid=29888] ppid=29884 vsize=411256 CPUtime=1.72 /proc/29885/task/29888/stat : 29888 (java) S 29884 29884 4778 34817 4778 4202560 38535 0 0 0 156 16 0 0 16 0 10 0 11256470 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29889] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29889/stat : 29889 (java) S 29884 29884 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 10 0 11256470 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29890] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29890/stat : 29890 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 10 0 11256470 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29891] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29891/stat : 29891 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11256471 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29892] ppid=29884 vsize=411256 CPUtime=0.12 /proc/29885/task/29892/stat : 29892 (java) S 29884 29884 4778 34817 4778 4202560 531 0 0 0 12 0 0 0 16 0 10 0 11256471 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29893] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29893/stat : 29893 (java) S 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11256471 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29894] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29894/stat : 29894 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11256471 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29895] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29895/stat : 29895 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11256817 421126144 53709 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 413820 [startup+4.80563 s] /proc/loadavg: 1.41 1.44 1.36 2/44 29895 /proc/meminfo: memFree=73256/1048576 swapFree=0/0 [pid=29884] ppid=29883 vsize=2564 CPUtime=0 /proc/29884/stat : 29884 (gj-paranoid-sol) S 29883 29884 4778 34817 4778 4202496 370 0 0 0 0 0 0 0 25 0 1 0 11256468 2625536 268 1283457024 134512640 135304128 4289817840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29884/statm: 641 268 229 194 0 28 0 [pid=29885] ppid=29884 vsize=411256 CPUtime=4.79 /proc/29885/stat : 29885 (java) S 29884 29884 4778 34817 4778 4202496 59083 0 1 0 454 25 0 0 25 0 9 0 11256468 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29885/statm: 102814 58239 2926 10 0 96959 0 [pid=29885/tid=29887] ppid=29884 vsize=411256 CPUtime=2.84 /proc/29885/task/29887/stat : 29887 (java) S 29884 29884 4778 34817 4778 4202560 14543 0 1 0 278 6 0 0 25 0 9 0 11256469 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29888] ppid=29884 vsize=411256 CPUtime=1.81 /proc/29885/task/29888/stat : 29888 (java) S 29884 29884 4778 34817 4778 4202560 43050 0 0 0 162 19 0 0 16 0 9 0 11256470 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29889] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29889/stat : 29889 (java) S 29884 29884 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11256470 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29890] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29890/stat : 29890 (java) S 29884 29884 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11256470 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29891] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29891/stat : 29891 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11256471 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29892] ppid=29884 vsize=411256 CPUtime=0.12 /proc/29885/task/29892/stat : 29892 (java) S 29884 29884 4778 34817 4778 4202560 545 0 0 0 12 0 0 0 16 0 9 0 11256471 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29893] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29893/stat : 29893 (java) S 29884 29884 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11256471 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=29885/tid=29894] ppid=29884 vsize=411256 CPUtime=0 /proc/29885/task/29894/stat : 29894 (java) S 29884 29884 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11256471 421126144 58239 1283457024 134512640 134550932 4288899936 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 413820 Child status: 0 Real time (s): 4.8624 CPU time (s): 4.8163 CPU user time (s): 4.54428 CPU system time (s): 0.272017 CPU usage (%): 99.0518 Max. virtual memory (cumulated for all children) (KiB): 413820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.54428 system time used= 0.272017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59468 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 754 involuntary context switches= 786 runsolver used 0 second user time and 0 second system time The end