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/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/e69a0e36-9ef1-11df-9d4a-00163e46d37a.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.45 1.44 1.36 4/34 30413 /proc/meminfo: memFree=288092/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=11040 CPUtime=0.01 /proc/30413/stat : 30413 (java) R 30412 30412 4778 34817 4778 4202496 647 0 0 0 0 1 0 0 25 0 1 0 11262578 11304960 383 1283457024 134512640 134550932 4291247520 18446744073709551615 4160255714 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30413/statm: 2760 383 176 10 0 1102 0 [startup+0.165293 s] /proc/loadavg: 1.45 1.44 1.36 4/34 30413 /proc/meminfo: memFree=288092/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=409796 CPUtime=0.16 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 3962 0 1 0 14 2 0 0 25 0 9 0 11262578 419631104 3390 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102449 3390 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412368 [startup+0.205289 s] /proc/loadavg: 1.45 1.44 1.36 4/34 30413 /proc/meminfo: memFree=288092/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=409796 CPUtime=0.2 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 4052 0 1 0 18 2 0 0 25 0 9 0 11262578 419631104 3480 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102449 3480 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412368 [startup+0.305313 s] /proc/loadavg: 1.45 1.44 1.36 4/34 30413 /proc/meminfo: memFree=288092/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=410244 CPUtime=0.3 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 4390 0 1 0 28 2 0 0 25 0 9 0 11262578 420089856 3818 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102561 3818 1933 10 0 96709 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412816 [startup+0.705411 s] /proc/loadavg: 1.45 1.44 1.36 4/34 30413 /proc/meminfo: memFree=288092/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=410684 CPUtime=0.7 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 12889 0 1 0 66 4 0 0 25 0 9 0 11262578 420540416 12129 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102671 12129 2901 10 0 96819 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413256 [startup+1.50566 s] /proc/loadavg: 1.45 1.44 1.36 3/43 30422 /proc/meminfo: memFree=229356/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=410684 CPUtime=1.5 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 26348 0 1 0 139 11 0 0 25 0 9 0 11262578 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102671 25588 2901 10 0 96819 0 [pid=30413/tid=30415] ppid=30412 vsize=410684 CPUtime=0.8 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 6815 0 1 0 74 6 0 0 25 0 9 0 11262579 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=410684 CPUtime=0.65 /proc/30413/task/30416/stat : 30416 (java) R 30412 30412 4778 34817 4778 4202560 18142 0 0 0 62 3 0 0 18 0 9 0 11262580 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4151513137 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=410684 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11262580 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=410684 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11262580 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=410684 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11262581 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=410684 CPUtime=0.03 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 451 0 0 0 3 0 0 0 20 0 9 0 11262581 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=410684 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11262581 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=410684 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11262581 420540416 25588 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413256 [startup+3.10615 s] /proc/loadavg: 1.50 1.45 1.36 2/43 30422 /proc/meminfo: memFree=154832/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=410816 CPUtime=3.1 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 48384 0 1 0 288 22 0 0 25 0 9 0 11262578 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102704 47624 2901 10 0 96852 0 [pid=30413/tid=30415] ppid=30412 vsize=410816 CPUtime=1.44 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 13608 0 1 0 132 12 0 0 25 0 9 0 11262579 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4151395281 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=410816 CPUtime=1.6 /proc/30413/task/30416/stat : 30416 (java) S 30412 30412 4778 34817 4778 4202560 33381 0 0 0 152 8 0 0 16 0 9 0 11262580 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=410816 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11262580 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=410816 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11262580 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=410816 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11262581 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=410816 CPUtime=0.04 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 455 0 0 0 4 0 0 0 15 0 9 0 11262581 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=410816 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11262581 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=410816 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11262581 420675584 47624 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413388 [startup+6.30699 s] /proc/loadavg: 1.50 1.45 1.36 2/44 30423 /proc/meminfo: memFree=36164/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=411416 CPUtime=6.3 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 66801 0 1 0 604 26 0 0 25 0 10 0 11262578 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102854 65948 2918 10 0 96999 0 [pid=30413/tid=30415] ppid=30412 vsize=411416 CPUtime=3.19 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 14539 0 1 0 307 12 0 0 25 0 10 0 11262579 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4115653273 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=411416 CPUtime=2.96 /proc/30413/task/30416/stat : 30416 (java) S 30412 30412 4778 34817 4778 4202560 50772 0 0 0 286 10 0 0 16 0 10 0 11262580 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11262580 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11262580 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=411416 CPUtime=0.12 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 545 0 0 0 11 1 0 0 15 0 10 0 11262581 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11262581 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30423] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30423/stat : 30423 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11263105 421289984 65948 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413988 [startup+12.7083 s] /proc/loadavg: 1.42 1.43 1.36 2/44 30423 /proc/meminfo: memFree=35792/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=411416 CPUtime=12.7 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 66808 0 1 0 1244 26 0 0 25 0 10 0 11262578 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102854 65955 2918 10 0 96999 0 [pid=30413/tid=30415] ppid=30412 vsize=411416 CPUtime=9.57 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 14539 0 1 0 945 12 0 0 25 0 10 0 11262579 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4115755552 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=411416 CPUtime=2.96 /proc/30413/task/30416/stat : 30416 (java) S 30412 30412 4778 34817 4778 4202560 50772 0 0 0 286 10 0 0 15 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=411416 CPUtime=0.13 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 552 0 0 0 12 1 0 0 16 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30423] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30423/stat : 30423 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11263105 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413988 Solver just ended. Dumping a history of the last processes samples [startup+12.8084 s] /proc/loadavg: 1.42 1.43 1.36 2/44 30423 /proc/meminfo: memFree=35792/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=411416 CPUtime=12.8 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 66808 0 1 0 1254 26 0 0 25 0 10 0 11262578 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102854 65955 2918 10 0 96999 0 [pid=30413/tid=30415] ppid=30412 vsize=411416 CPUtime=9.67 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 14539 0 1 0 955 12 0 0 25 0 10 0 11262579 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4115714368 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=411416 CPUtime=2.96 /proc/30413/task/30416/stat : 30416 (java) S 30412 30412 4778 34817 4778 4202560 50772 0 0 0 286 10 0 0 15 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=411416 CPUtime=0.13 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 552 0 0 0 12 1 0 0 16 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30423] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30423/stat : 30423 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11263105 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 413988 [startup+13.6086 s] /proc/loadavg: 1.42 1.43 1.36 2/44 30423 /proc/meminfo: memFree=35792/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=411416 CPUtime=13.6 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 66808 0 1 0 1334 26 0 0 25 0 10 0 11262578 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102854 65955 2918 10 0 96999 0 [pid=30413/tid=30415] ppid=30412 vsize=411416 CPUtime=10.47 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 14539 0 1 0 1035 12 0 0 25 0 10 0 11262579 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4115746505 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=411416 CPUtime=2.96 /proc/30413/task/30416/stat : 30416 (java) S 30412 30412 4778 34817 4778 4202560 50772 0 0 0 286 10 0 0 15 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11262580 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=411416 CPUtime=0.13 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 552 0 0 0 12 1 0 0 16 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11262581 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30423] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30423/stat : 30423 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11263105 421289984 65955 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.6 Current children cumulated vsize (KiB) 413988 [startup+14.0086 s] /proc/loadavg: 1.42 1.43 1.36 2/44 30423 /proc/meminfo: memFree=35792/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=411416 CPUtime=14 /proc/30413/stat : 30413 (java) S 30412 30412 4778 34817 4778 4202496 66811 0 1 0 1374 26 0 0 25 0 10 0 11262578 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 102854 65958 2918 10 0 96999 0 [pid=30413/tid=30415] ppid=30412 vsize=411416 CPUtime=10.87 /proc/30413/task/30415/stat : 30415 (java) R 30412 30412 4778 34817 4778 4202560 14539 0 1 0 1075 12 0 0 25 0 10 0 11262579 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4152556670 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30413/tid=30416] ppid=30412 vsize=411416 CPUtime=2.96 /proc/30413/task/30416/stat : 30416 (java) S 30412 30412 4778 34817 4778 4202560 50772 0 0 0 286 10 0 0 15 0 10 0 11262580 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30417] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30417/stat : 30417 (java) S 30412 30412 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11262580 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30418] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30418/stat : 30418 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11262580 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30419] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30419/stat : 30419 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30420] ppid=30412 vsize=411416 CPUtime=0.13 /proc/30413/task/30420/stat : 30420 (java) S 30412 30412 4778 34817 4778 4202560 555 0 0 0 12 1 0 0 15 0 10 0 11262581 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30421/stat : 30421 (java) S 30412 30412 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11262581 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30422] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30422/stat : 30422 (java) S 30412 30412 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11262581 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=30413/tid=30423] ppid=30412 vsize=411416 CPUtime=0 /proc/30413/task/30423/stat : 30423 (java) S 30412 30412 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11263105 421289984 65958 1283457024 134512640 134550932 4291247520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14 Current children cumulated vsize (KiB) 413988 [startup+14.2023 s] /proc/loadavg: 1.42 1.43 1.36 2/44 30423 /proc/meminfo: memFree=35792/1048576 swapFree=0/0 [pid=30412] ppid=30411 vsize=2572 CPUtime=0 /proc/30412/stat : 30412 (gj-paranoid-sol) S 30411 30412 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11262578 2633728 270 1283457024 134512640 135304128 4290286960 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30412/statm: 643 270 229 194 0 30 0 [pid=30413] ppid=30412 vsize=0 CPUtime=14.16 /proc/30413/stat : 30413 (java) Z 30412 30412 4778 34817 4778 4202508 66829 0 1 0 1388 28 0 0 18 0 2 0 11262578 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30413/statm: 0 0 0 0 0 0 0 [pid=30413/tid=30421] ppid=30412 vsize=0 CPUtime=0.02 /proc/30413/task/30421/stat : 30421 (java) R 30412 30412 4778 34817 4778 4203588 0 0 0 0 0 2 0 0 18 0 2 0 11262581 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.16 Current children cumulated vsize (KiB) 2572 Child status: 0 Real time (s): 14.2053 CPU time (s): 14.1609 CPU user time (s): 13.8809 CPU system time (s): 0.280017 CPU usage (%): 99.6873 Max. virtual memory (cumulated for all children) (KiB): 413988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.8809 system time used= 0.280017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67213 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= 970 involuntary context switches= 1116 runsolver used 0 second user time and 0 second system time The end