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/201109011757/gj-user-solver-1.0/rand390.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand390.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand390.cudf.dudf-random.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 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: 0.85 0.97 0.90 1/36 24559 /proc/meminfo: memFree=707908/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=3024 CPUtime=0 /proc/24559/stat : 24559 (runsolver) D 24558 24559 22717 34817 22717 4202560 73 0 0 0 0 0 0 0 24 0 1 0 71858737 3096576 94 1283457024 134512640 134586868 4293707712 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/24559/statm: 756 94 62 19 0 55 0 [startup+0.174483 s] /proc/loadavg: 0.85 0.97 0.90 1/36 24559 /proc/meminfo: memFree=707908/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.206481 s] /proc/loadavg: 0.85 0.97 0.90 1/36 24559 /proc/meminfo: memFree=707908/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.30649 s] /proc/loadavg: 0.85 0.97 0.90 1/36 24559 /proc/meminfo: memFree=707908/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.706498 s] /proc/loadavg: 0.85 0.97 0.90 1/36 24559 /proc/meminfo: memFree=707908/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+1.51268 s] /proc/loadavg: 0.85 0.97 0.90 3/46 24569 /proc/meminfo: memFree=677140/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=411548 CPUtime=0.37 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 12376 0 236 0 35 2 0 0 23 0 9 0 71858738 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 102887 11852 2901 10 0 97035 0 [pid=24561/tid=24562] ppid=24559 vsize=411548 CPUtime=0.17 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 4033 0 150 0 15 2 0 0 22 0 9 0 71858761 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=411548 CPUtime=0.14 /proc/24561/task/24563/stat : 24563 (java) R 24559 24559 22717 34817 22717 4202560 7017 0 27 0 14 0 0 0 17 0 9 0 71858780 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4151150560 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=411548 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 16 0 9 0 71858786 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=411548 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=411548 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=411548 CPUtime=0.04 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 440 0 5 0 4 0 0 0 18 0 9 0 71858803 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=411548 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=411548 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 17 0 9 0 71858804 421425152 11852 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 414116 [startup+3.1341 s] /proc/loadavg: 0.85 0.97 0.90 2/46 24569 /proc/meminfo: memFree=602284/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=411680 CPUtime=1.9 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 39586 0 236 0 178 12 0 0 23 0 9 0 71858738 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 102920 39062 2901 10 0 97068 0 [pid=24561/tid=24562] ppid=24559 vsize=411680 CPUtime=0.77 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 9266 0 150 0 74 3 0 0 25 0 9 0 71858761 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=411680 CPUtime=1.07 /proc/24561/task/24563/stat : 24563 (java) R 24559 24559 22717 34817 22717 4202560 28986 0 27 0 98 9 0 0 15 0 9 0 71858780 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4151448480 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=411680 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 16 0 9 0 71858786 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=411680 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=411680 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=411680 CPUtime=0.04 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 448 0 5 0 4 0 0 0 15 0 9 0 71858803 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=411680 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=411680 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 421560320 39062 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 414248 heavy processes: [startup+6.30746 s] /proc/loadavg: 0.94 0.99 0.91 2/46 24569 /proc/meminfo: memFree=396564/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=439796 CPUtime=4.81 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 77493 0 236 0 460 21 0 0 23 0 9 0 71858738 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 109949 76963 2903 10 0 104097 0 [pid=24561/tid=24562] ppid=24559 vsize=439796 CPUtime=1.64 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 13812 0 150 0 158 6 0 0 25 0 9 0 71858761 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=439796 CPUtime=3.1 /proc/24561/task/24563/stat : 24563 (java) R 24559 24559 22717 34817 22717 4202560 62327 0 27 0 296 14 0 0 16 0 9 0 71858780 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4153260405 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=439796 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 16 0 9 0 71858786 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=439796 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=439796 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=439796 CPUtime=0.05 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 468 0 5 0 5 0 0 0 15 0 9 0 71858803 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=439796 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=439796 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 450351104 76963 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.81 Current children cumulated vsize (KiB) 442364 heavy processes: [startup+12.7049 s] /proc/loadavg: 1.02 1.00 0.91 4/47 24570 /proc/meminfo: memFree=362920/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=435652 CPUtime=11.07 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 109391 0 238 0 1075 32 0 0 23 0 9 0 71858738 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 108913 76374 2918 10 0 103058 0 [pid=24561/tid=24562] ppid=24559 vsize=435652 CPUtime=2.56 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14047 0 152 0 250 6 0 0 25 0 9 0 71858761 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=435652 CPUtime=8.42 /proc/24561/task/24563/stat : 24563 (java) R 24559 24559 22717 34817 22717 4202560 93970 0 27 0 816 26 0 0 16 0 9 0 71858780 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4151528819 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=435652 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 9 0 71858786 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=435652 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=435652 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=435652 CPUtime=0.08 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 488 0 5 0 8 0 0 0 15 0 9 0 71858803 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=435652 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=435652 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 446107648 76374 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.07 Current children cumulated vsize (KiB) 438220 [startup+25.509 s] /proc/loadavg: 1.09 1.02 0.92 2/49 24573 /proc/meminfo: memFree=387340/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=23.86 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110524 0 238 0 2352 34 0 0 23 0 10 0 71858738 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71264 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=13.66 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14069 0 152 0 1359 7 0 0 25 0 10 0 71858761 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=10.02 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 976 26 0 0 15 0 10 0 71858780 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.15 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 558 0 5 0 15 0 0 0 15 0 10 0 71858803 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71264 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.86 Current children cumulated vsize (KiB) 417660 [startup+51.106 s] /proc/loadavg: 1.06 1.02 0.92 2/49 24575 /proc/meminfo: memFree=387340/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=49.44 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110531 0 238 0 4909 35 0 0 23 0 10 0 71858738 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71271 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=38.71 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 3863 8 0 0 25 0 10 0 71858761 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4115739684 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=10.53 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1027 26 0 0 16 0 10 0 71858780 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.16 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 564 0 5 0 16 0 0 0 15 0 10 0 71858803 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71271 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.44 Current children cumulated vsize (KiB) 417660 [startup+102.306 s] /proc/loadavg: 1.02 1.01 0.92 2/49 24581 /proc/meminfo: memFree=387092/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=100.62 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110536 0 238 0 10027 35 0 0 23 0 10 0 71858738 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71276 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=89.52 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 8944 8 0 0 25 0 10 0 71858761 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4115900412 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=10.89 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1063 26 0 0 15 0 10 0 71858780 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 100.62 Current children cumulated vsize (KiB) 417660 [startup+162.309 s] /proc/loadavg: 1.01 1.00 0.92 3/48 24581 /proc/meminfo: memFree=387108/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=160.56 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110536 0 238 0 16019 37 0 0 23 0 10 0 71858738 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71276 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=149.12 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 14904 8 0 0 25 0 10 0 71858761 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.23 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1095 28 0 0 15 0 10 0 71858780 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) R 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 160.56 Current children cumulated vsize (KiB) 417660 [startup+222.314 s] /proc/loadavg: 1.00 1.00 0.92 2/47 24581 /proc/meminfo: memFree=387116/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=220.5 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110536 0 238 0 22012 38 0 0 23 0 10 0 71858738 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71276 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=208.77 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 20867 10 0 0 25 0 10 0 71858761 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.54 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1126 28 0 0 15 0 10 0 71858780 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 220.5 Current children cumulated vsize (KiB) 417660 [startup+282.309 s] /proc/loadavg: 1.00 1.00 0.92 2/47 24581 /proc/meminfo: memFree=387116/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=280.47 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110536 0 238 0 28009 38 0 0 23 0 10 0 71858738 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71276 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=268.44 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 26834 10 0 0 25 0 10 0 71858761 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4115900425 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.84 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1156 28 0 0 16 0 10 0 71858780 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 280.47 Current children cumulated vsize (KiB) 417660 Solver just ended. Dumping a history of the last processes samples [startup+284.71 s] /proc/loadavg: 1.00 1.00 0.92 2/47 24581 /proc/meminfo: memFree=387116/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=282.87 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110536 0 238 0 28249 38 0 0 23 0 10 0 71858738 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71276 2921 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=270.82 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 27072 10 0 0 25 0 10 0 71858761 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.85 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1157 28 0 0 15 0 10 0 71858780 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71858786 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71858803 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71858804 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24572] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24572/stat : 24572 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71860157 425054208 71276 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.87 Current children cumulated vsize (KiB) 417660 [startup+286.31 s] /proc/loadavg: 1.00 1.00 0.92 2/47 24581 /proc/meminfo: memFree=387116/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=284.47 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110537 0 238 0 28409 38 0 0 23 0 9 0 71858738 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71277 2922 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=272.4 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 27230 10 0 0 25 0 9 0 71858761 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4115900425 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.87 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1159 28 0 0 16 0 9 0 71858780 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.47 Current children cumulated vsize (KiB) 417660 [startup+287.11 s] /proc/loadavg: 1.00 1.00 0.92 2/46 24581 /proc/meminfo: memFree=387124/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=285.27 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110537 0 238 0 28489 38 0 0 23 0 9 0 71858738 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71277 2922 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=273.2 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 27310 10 0 0 25 0 9 0 71858761 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906744 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.87 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1159 28 0 0 15 0 9 0 71858780 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.27 Current children cumulated vsize (KiB) 417660 [startup+287.911 s] /proc/loadavg: 1.00 1.00 0.92 2/46 24581 /proc/meminfo: memFree=387124/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=286.07 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110537 0 238 0 28569 38 0 0 23 0 9 0 71858738 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71277 2922 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=274 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 27390 10 0 0 25 0 9 0 71858761 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.88 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1160 28 0 0 16 0 9 0 71858780 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.07 Current children cumulated vsize (KiB) 417660 [startup+288.311 s] /proc/loadavg: 1.00 1.00 0.92 2/46 24581 /proc/meminfo: memFree=387124/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=415092 CPUtime=286.47 /proc/24561/stat : 24561 (java) S 24559 24559 22717 34817 22717 4202496 110537 0 238 0 28609 38 0 0 23 0 9 0 71858738 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 103773 71277 2922 10 0 97918 0 [pid=24561/tid=24562] ppid=24559 vsize=415092 CPUtime=274.4 /proc/24561/task/24562/stat : 24562 (java) R 24559 24559 22717 34817 22717 4202560 14070 0 152 0 27430 10 0 0 25 0 9 0 71858761 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4115906757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24561/tid=24563] ppid=24559 vsize=415092 CPUtime=11.88 /proc/24561/task/24563/stat : 24563 (java) S 24559 24559 22717 34817 22717 4202560 95006 0 27 0 1160 28 0 0 16 0 9 0 71858780 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24564] ppid=24559 vsize=415092 CPUtime=0.01 /proc/24561/task/24564/stat : 24564 (java) S 24559 24559 22717 34817 22717 4202560 14 0 1 0 1 0 0 0 15 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24565] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24565/stat : 24565 (java) S 24559 24559 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71858786 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24566] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24566/stat : 24566 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 24 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24567] ppid=24559 vsize=415092 CPUtime=0.17 /proc/24561/task/24567/stat : 24567 (java) S 24559 24559 22717 34817 22717 4202560 569 0 5 0 17 0 0 0 15 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71858803 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 [pid=24561/tid=24569] ppid=24559 vsize=415092 CPUtime=0 /proc/24561/task/24569/stat : 24569 (java) S 24559 24559 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71858804 425054208 71277 1283457024 134512640 134550932 4292302480 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 286.47 Current children cumulated vsize (KiB) 417660 [startup+288.407 s] /proc/loadavg: 1.00 1.00 0.92 2/46 24581 /proc/meminfo: memFree=387124/1048576 swapFree=0/0 [pid=24559] ppid=24558 vsize=2568 CPUtime=0 /proc/24559/stat : 24559 (gj-user-solver-) S 24558 24559 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 71858737 2629632 269 1283457024 134512640 135304128 4293287952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24559/statm: 642 269 229 194 0 29 0 [pid=24561] ppid=24559 vsize=0 CPUtime=286.53 /proc/24561/stat : 24561 (java) Z 24559 24559 22717 34817 22717 4202508 110541 0 238 0 28614 39 0 0 18 0 2 0 71858738 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24561/statm: 0 0 0 0 0 0 0 [pid=24561/tid=24568] ppid=24559 vsize=0 CPUtime=0 /proc/24561/task/24568/stat : 24568 (java) R 24559 24559 22717 34817 22717 4203588 1 0 0 0 0 0 0 0 18 0 2 0 71858803 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) 286.53 Current children cumulated vsize (KiB) 2568 Child status: 0 Real time (s): 288.417 CPU time (s): 286.55 CPU user time (s): 286.142 CPU system time (s): 0.408025 CPU usage (%): 99.3525 Max. virtual memory (cumulated for all children) (KiB): 442416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 286.142 system time used= 0.408025 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110924 page faults= 238 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7408 involuntary context switches= 10299 runsolver used 0 second user time and 0 second system time The end