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/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.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: 1.50 1.15 1.05 6/34 5227 /proc/meminfo: memFree=236992/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) R 5225 5226 22717 34817 22717 4202496 353 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 267 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/5226/statm: 641 267 228 194 0 28 0 [pid=5227] ppid=5226 vsize=2564 CPUtime=0 /proc/5227/stat : 5227 (gj-user-solver-) R 5226 5226 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 39 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/5227/statm: 641 39 0 194 0 28 0 [startup+0.176896 s] /proc/loadavg: 1.50 1.15 1.05 6/34 5227 /proc/meminfo: memFree=236992/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=409924 CPUtime=0.18 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 4040 0 1 0 16 2 0 0 25 0 9 0 73783465 419762176 3467 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102481 3467 1926 10 0 96629 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 412488 [startup+0.2069 s] /proc/loadavg: 1.50 1.15 1.05 6/34 5227 /proc/meminfo: memFree=236992/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=409924 CPUtime=0.21 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 4106 0 1 0 19 2 0 0 25 0 9 0 73783465 419762176 3533 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102481 3533 1926 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412488 [startup+0.306933 s] /proc/loadavg: 1.50 1.15 1.05 6/34 5227 /proc/meminfo: memFree=236992/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=410476 CPUtime=0.31 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 4458 0 1 0 29 2 0 0 25 0 9 0 73783465 420327424 3885 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102619 3885 1945 10 0 96767 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 413040 [startup+0.707137 s] /proc/loadavg: 1.50 1.15 1.05 6/34 5227 /proc/meminfo: memFree=236992/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=410620 CPUtime=0.71 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 12237 0 1 0 68 3 0 0 25 0 9 0 73783465 420474880 11477 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102655 11477 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413184 [startup+1.50784 s] /proc/loadavg: 1.50 1.15 1.05 2/43 5236 /proc/meminfo: memFree=177356/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=410752 CPUtime=1.5 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 25615 0 1 0 143 7 0 0 25 0 9 0 73783465 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102688 24855 2901 10 0 96836 0 [pid=5227/tid=5229] ppid=5226 vsize=410752 CPUtime=0.85 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 6824 0 1 0 82 3 0 0 25 0 9 0 73783466 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=410752 CPUtime=0.61 /proc/5227/task/5230/stat : 5230 (java) R 5226 5226 22717 34817 22717 4202560 17403 0 0 0 58 3 0 0 18 0 9 0 73783466 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4151407523 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=410752 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73783466 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=410752 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73783466 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=410752 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73783468 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=410752 CPUtime=0.02 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 17 0 9 0 73783468 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=410752 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73783468 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=410752 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73783468 420610048 24855 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413316 [startup+3.1084 s] /proc/loadavg: 1.46 1.15 1.05 2/43 5236 /proc/meminfo: memFree=102708/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=410884 CPUtime=3.1 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 47217 0 1 0 297 13 0 0 25 0 9 0 73783465 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102721 46457 2901 10 0 96869 0 [pid=5227/tid=5229] ppid=5226 vsize=410884 CPUtime=1.46 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 12445 0 1 0 141 5 0 0 25 0 9 0 73783466 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4115275514 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=410884 CPUtime=1.57 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 33381 0 0 0 151 6 0 0 16 0 9 0 73783466 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=410884 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73783466 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=410884 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73783466 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=410884 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73783468 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=410884 CPUtime=0.04 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 73783468 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=410884 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73783468 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=410884 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73783468 420745216 46457 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413448 [startup+6.30954 s] /proc/loadavg: 1.46 1.15 1.05 4/43 5236 /proc/meminfo: memFree=5604/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411352 CPUtime=6.3 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71287 0 1 0 610 20 0 0 25 0 10 0 73783465 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102838 70433 2918 10 0 96983 0 [pid=5227/tid=5229] ppid=5226 vsize=411352 CPUtime=3.12 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14545 0 1 0 306 6 0 0 25 0 10 0 73783466 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4115707556 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411352 CPUtime=3.04 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55274 0 0 0 292 12 0 0 16 0 10 0 73783466 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411352 CPUtime=0.12 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 521 0 0 0 12 0 0 0 16 0 10 0 73783468 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421224448 70433 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413916 [startup+12.7113 s] /proc/loadavg: 1.39 1.14 1.04 2/44 5237 /proc/meminfo: memFree=6248/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411352 CPUtime=12.69 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71333 0 1 0 1248 21 0 0 25 0 10 0 73783465 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102838 70479 2921 10 0 96983 0 [pid=5227/tid=5229] ppid=5226 vsize=411352 CPUtime=9.39 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 933 6 0 0 25 0 10 0 73783466 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4115721787 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411352 CPUtime=3.09 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55276 0 0 0 297 12 0 0 15 0 10 0 73783466 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411352 CPUtime=0.18 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 558 0 0 0 17 1 0 0 15 0 10 0 73783468 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) R 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411352 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421224448 70479 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413916 [startup+25.5144 s] /proc/loadavg: 1.33 1.14 1.04 3/46 5239 /proc/meminfo: memFree=5852/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=25.48 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71414 0 1 0 2527 21 0 0 25 0 10 0 73783465 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70560 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=21.45 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 2139 6 0 0 25 0 10 0 73783466 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4115856453 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=3.81 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 369 12 0 0 15 0 10 0 73783466 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.19 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 562 0 0 0 18 1 0 0 15 0 10 0 73783468 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) R 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70560 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 414180 [startup+51.1134 s] /proc/loadavg: 1.22 1.13 1.04 2/46 5242 /proc/meminfo: memFree=5728/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=51.06 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71415 0 1 0 5084 22 0 0 25 0 10 0 73783465 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70561 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=45.96 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 4588 8 0 0 25 0 10 0 73783466 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4115891365 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=4.88 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 476 12 0 0 15 0 10 0 73783466 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.19 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 563 0 0 0 18 1 0 0 15 0 10 0 73783468 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70561 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 414180 [startup+102.306 s] /proc/loadavg: 1.08 1.10 1.04 2/46 5247 /proc/meminfo: memFree=5604/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=102.21 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71418 0 1 0 10197 24 0 0 25 0 10 0 73783465 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70564 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=96.67 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 9658 9 0 0 25 0 10 0 73783466 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4115742122 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=5.3 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 518 12 0 0 16 0 10 0 73783466 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.2 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 566 0 0 0 19 1 0 0 15 0 10 0 73783468 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70564 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 414180 [startup+162.312 s] /proc/loadavg: 1.03 1.08 1.03 2/45 5248 /proc/meminfo: memFree=5496/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=162.12 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71423 0 1 0 16188 24 0 0 25 0 10 0 73783465 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70569 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=156.26 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 15616 10 0 0 25 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4115856440 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=5.62 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 550 12 0 0 16 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.21 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 571 0 0 0 20 1 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 414180 [startup+222.311 s] /proc/loadavg: 1.01 1.06 1.02 2/44 5248 /proc/meminfo: memFree=5504/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=222.07 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71423 0 1 0 22181 26 0 0 25 0 10 0 73783465 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70569 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=215.9 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 21578 12 0 0 25 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4115856457 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=5.92 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 580 12 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.22 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 571 0 0 0 21 1 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) R 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.07 Current children cumulated vsize (KiB) 414180 [startup+282.306 s] /proc/loadavg: 1.00 1.05 1.02 2/44 5248 /proc/meminfo: memFree=5504/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=282.03 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71423 0 1 0 28174 29 0 0 25 0 10 0 73783465 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70569 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=275.5 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 27538 12 0 0 25 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4115856453 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=6.27 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 613 14 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.22 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 571 0 0 0 21 1 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.03 Current children cumulated vsize (KiB) 414180 Solver just ended. Dumping a history of the last processes samples [startup+283.106 s] /proc/loadavg: 1.00 1.05 1.02 2/44 5248 /proc/meminfo: memFree=5504/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=282.83 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71423 0 1 0 28254 29 0 0 25 0 10 0 73783465 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70569 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=276.29 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 27617 12 0 0 25 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4115844233 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=6.28 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 614 14 0 0 16 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.22 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 571 0 0 0 21 1 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.83 Current children cumulated vsize (KiB) 414180 [startup+284.707 s] /proc/loadavg: 1.00 1.05 1.02 2/44 5248 /proc/meminfo: memFree=5504/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=284.43 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71423 0 1 0 28414 29 0 0 25 0 10 0 73783465 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70569 2921 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=277.89 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 27777 12 0 0 25 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4115844233 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=6.28 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 614 14 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73783466 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.22 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 571 0 0 0 21 1 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73783468 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5237] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5237/stat : 5237 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73784015 421494784 70569 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.43 Current children cumulated vsize (KiB) 414180 [startup+285.507 s] /proc/loadavg: 1.00 1.05 1.02 2/44 5248 /proc/meminfo: memFree=5504/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=411616 CPUtime=285.23 /proc/5227/stat : 5227 (java) S 5226 5226 22717 34817 22717 4202496 71424 0 1 0 28494 29 0 0 25 0 9 0 73783465 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 102904 70570 2922 10 0 97049 0 [pid=5227/tid=5229] ppid=5226 vsize=411616 CPUtime=278.68 /proc/5227/task/5229/stat : 5229 (java) R 5226 5226 22717 34817 22717 4202560 14552 0 1 0 27856 12 0 0 25 0 9 0 73783466 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4115856453 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5227/tid=5230] ppid=5226 vsize=411616 CPUtime=6.28 /proc/5227/task/5230/stat : 5230 (java) S 5226 5226 22717 34817 22717 4202560 55353 0 0 0 614 14 0 0 16 0 9 0 73783466 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5231] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5231/stat : 5231 (java) S 5226 5226 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73783466 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5232] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5232/stat : 5232 (java) S 5226 5226 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73783466 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5233] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5233/stat : 5233 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73783468 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5234] ppid=5226 vsize=411616 CPUtime=0.22 /proc/5227/task/5234/stat : 5234 (java) S 5226 5226 22717 34817 22717 4202560 571 0 0 0 21 1 0 0 15 0 9 0 73783468 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5235/stat : 5235 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73783468 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=5227/tid=5236] ppid=5226 vsize=411616 CPUtime=0 /proc/5227/task/5236/stat : 5236 (java) S 5226 5226 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73783468 421494784 70570 1283457024 134512640 134550932 4286607584 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.23 Current children cumulated vsize (KiB) 414180 [startup+285.71 s] /proc/loadavg: 1.00 1.05 1.02 2/44 5248 /proc/meminfo: memFree=5504/1048576 swapFree=0/0 [pid=5226] ppid=5225 vsize=2564 CPUtime=0 /proc/5226/stat : 5226 (gj-user-solver-) S 5225 5226 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 25 0 1 0 73783465 2625536 268 1283457024 134512640 135304128 4294807888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5226/statm: 641 268 229 194 0 28 0 [pid=5227] ppid=5226 vsize=0 CPUtime=285.39 /proc/5227/stat : 5227 (java) Z 5226 5226 22717 34817 22717 4202508 71429 0 1 0 28509 30 0 0 18 0 2 0 73783465 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5227/statm: 0 0 0 0 0 0 0 [pid=5227/tid=5235] ppid=5226 vsize=0 CPUtime=0.01 /proc/5227/task/5235/stat : 5235 (java) R 5226 5226 22717 34817 22717 4203588 1 0 0 0 0 1 0 0 18 0 2 0 73783468 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) 285.39 Current children cumulated vsize (KiB) 2564 Child status: 0 Real time (s): 285.712 CPU time (s): 285.402 CPU user time (s): 285.094 CPU system time (s): 0.308019 CPU usage (%): 99.8916 Max. virtual memory (cumulated for all children) (KiB): 414180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 285.094 system time used= 0.308019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71811 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= 6652 involuntary context switches= 9753 runsolver used 0 second user time and 0 second system time The end