runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14186 MiB free)
memory of node 1: 16384 MiB (15676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395928-1568405948/watcher-4395928-1568405948 -o /tmp/evaluation-result-4395928-1568405948/solver-4395928-1568405948 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568398330-31020 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=627307661 HOME/instance-4395928-1568405948.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=412, runsolver pid=409
Current StackSize limit: 8192 KiB
[startup+0.100768 s]*
/proc/loadavg: 1.48 1.45 1.42 3/222 470
/proc/meminfo: memFree=30575064/32770624 swapFree=67009440/67108860
[pid=412] ppid=409 vsize=9972712 memory=14172 CPUtime=0.09 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 3801 13153 0 0 1 0 5 3 20 0 6 0 416517489 10212057088 3543 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2493178 3543 1495 1 0 2481616 0
[pid=412/tid=469] ppid=409 vsize=9972712 memory=8389772277269004345 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 2226 13153 0 0 0 0 5 3 20 0 6 0 416517499 10212057088 4203 33554432000 4194304 4196468 140724802273504 139887835034192 139887847277918 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=9972712 memory=288293255295270935 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 416517500 10212057088 4203 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=9972712 memory=140420512894368 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 416517500 10212057088 4203 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 6 0 416517500 10212057088 4203 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 6 0 416517500 10212057088 4203 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14172 KiB
[startup+0.210456 s]*
/proc/loadavg: 1.48 1.45 1.42 3/234 482
/proc/meminfo: memFree=30551752/32770624 swapFree=67009440/67108860
[pid=412] ppid=409 vsize=10819664 memory=41456 CPUtime=0.25 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 7170 13153 0 0 16 1 5 3 20 0 15 0 416517489 11079335936 10364 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2704916 10364 3166 1 0 2667149 0
[pid=412/tid=469] ppid=409 vsize=10819664 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 3676 13153 0 0 10 1 5 3 20 0 15 0 416517499 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887835024360 139887847277918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10819664 memory=288293255295270935 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10819664 memory=140420512894368 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10819664 memory=140420512867968 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517501 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 33 13153 0 0 0 0 5 3 20 0 15 0 416517501 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887320524320 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517502 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887219041648 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11079335936 10370 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 470 13153 0 0 1 0 5 3 20 0 15 0 416517504 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 176 13153 0 0 1 0 5 3 20 0 15 0 416517504 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10819664 memory=140420512867968 CPUtime=0.11 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 625 13153 0 0 3 0 5 3 20 0 15 0 416517504 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11079335936 10370 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10819664 memory=140420512867968 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517505 11079335936 10370 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41456 KiB
[startup+0.310892 s]*
/proc/loadavg: 1.48 1.45 1.42 5/234 482
/proc/meminfo: memFree=30539556/32770624 swapFree=67009440/67108860
[pid=412] ppid=409 vsize=10820148 memory=52576 CPUtime=0.4 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 10865 13153 0 0 29 3 5 3 20 0 15 0 416517489 11079831552 13144 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2705037 13144 3298 1 0 2667149 0
[pid=412/tid=469] ppid=409 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 7348 13153 0 0 19 2 5 3 20 0 15 0 416517499 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887834997344 139887847277918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10820148 memory=8298058129513856455 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10820148 memory=8226000539770895847 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10820148 memory=7649399379953398322 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517500 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10820148 memory=140420512867967 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517501 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 33 13153 0 0 0 0 5 3 20 0 15 0 416517501 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887320524320 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517502 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887219041648 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11079831552 13144 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 471 13153 0 0 2 0 5 3 20 0 15 0 416517504 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 185 13153 0 0 2 0 5 3 20 0 15 0 416517504 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10820148 memory=140420512867968 CPUtime=0.13 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 635 13153 0 0 5 0 5 3 20 0 15 0 416517504 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11079831552 13144 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10820148 memory=140420512867968 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517505 11079831552 13144 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52576 KiB
[startup+0.701232 s]
/proc/loadavg: 1.48 1.45 1.42 4/234 482
/proc/meminfo: memFree=30524284/32770624 swapFree=67009440/67108860
[pid=412] ppid=409 vsize=10824360 memory=85420 CPUtime=1.14 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 15104 13153 0 0 101 5 5 3 20 0 15 0 416517489 11084144640 21355 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2706090 21355 3501 1 0 2668173 0
[pid=412/tid=469] ppid=409 vsize=10824360 memory=7523372498959230296 CPUtime=0.67 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 10397 13153 0 0 55 4 5 3 20 0 15 0 416517499 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887835005888 139887848564676 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10824360 memory=1948 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10824360 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10824360 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517500 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517500 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10824360 memory=6935649255759570259 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 5 13153 0 0 0 0 5 3 20 0 15 0 416517501 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10824360 memory=3042562604574794800 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 33 13153 0 0 0 0 5 3 20 0 15 0 416517501 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887320524320 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10824360 memory=5922280102877479008 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517502 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887219041648 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10824360 memory=3053511329498284128 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11084144640 21355 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10824360 memory=-6592860229746401216 CPUtime=0.23 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 924 13153 0 0 15 0 5 3 20 0 15 0 416517504 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10824360 memory=6935649255759568960 CPUtime=0.2 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) R 409 412 30988 0 -1 4202560 645 13153 0 0 12 0 5 3 20 0 15 0 416517504 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887184431344 139887846608326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10824360 memory=2319389199337275488 CPUtime=0.25 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 882 13153 0 0 17 0 5 3 20 0 15 0 416517504 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10824360 memory=3467824627879784490 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11084144640 21355 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10824360 memory=6935653731116666960 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 1 13153 0 0 0 0 5 3 20 0 15 0 416517505 11084144640 21355 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85420 KiB
[startup+1.50073 s]
/proc/loadavg: 1.48 1.45 1.42 4/234 482
/proc/meminfo: memFree=30486552/32770624 swapFree=67009440/67108860
[pid=412] ppid=409 vsize=10834676 memory=180228 CPUtime=2.65 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 23794 13153 0 0 248 9 5 3 20 0 15 0 416517489 11094708224 45057 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2708669 45057 3587 1 0 2670733 0
[pid=412/tid=469] ppid=409 vsize=10834676 memory=1296 CPUtime=1.42 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 15538 13153 0 0 129 5 5 3 20 0 15 0 416517499 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887835027520 139887847241061 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10834676 memory=732 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 74 13153 0 0 1 0 5 3 20 0 15 0 416517500 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10834676 memory=280840797963776 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 38 13153 0 0 1 0 5 3 20 0 15 0 416517500 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10834676 memory=108132 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 327 13153 0 0 1 0 5 3 20 0 15 0 416517500 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10834676 memory=17440 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 84 13153 0 0 1 0 5 3 20 0 15 0 416517500 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10834676 memory=984 CPUtime=0.09 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 1465 13153 0 0 1 0 5 3 20 0 15 0 416517501 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10834676 memory=1948 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 34 13153 0 0 0 0 5 3 20 0 15 0 416517501 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887320524384 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10834676 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517502 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887219041664 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10834676 memory=732 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11094708224 45057 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10834676 memory=1052 CPUtime=0.44 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 1411 13153 0 0 36 0 5 3 20 0 15 0 416517504 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10834676 memory=776 CPUtime=0.38 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 966 13153 0 0 30 0 5 3 20 0 15 0 416517504 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10834676 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) R 409 412 30988 0 -1 4202560 1639 13153 0 0 44 0 5 3 20 0 15 0 416517504 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887183378544 139887841738912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11094708224 45057 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10834676 memory=4946812333246421632 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11094708224 45057 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 67348 13153 0 0 235415 57 5 3 20 0 15 0 416517499 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887835032800 139887451063949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10846984 memory=280840799273360 CPUtime=12.49 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 9094 13153 0 0 1182 59 5 3 20 0 15 0 416517500 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10846984 memory=1198224 CPUtime=12.44 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 12280 13153 0 0 1175 61 5 3 20 0 15 0 416517500 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10846984 memory=1198224 CPUtime=12.48 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 14908 13153 0 0 1178 62 5 3 20 0 15 0 416517500 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10846984 memory=1198140 CPUtime=12.47 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 13166 13153 0 0 1179 60 5 3 20 0 15 0 416517500 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10846984 memory=1198140 CPUtime=11.52 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 16068 13153 0 0 1080 64 5 3 20 0 15 0 416517501 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10846984 memory=1198140 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 40 13153 0 0 0 0 5 3 20 0 15 0 416517501 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887320524448 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10846984 memory=111632 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 5 13153 0 0 0 0 5 3 20 0 15 0 416517502 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887219041664 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10846984 memory=1198224 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11107311616 299556 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10846984 memory=17468 CPUtime=3.09 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 15298 13153 0 0 299 2 5 3 20 0 15 0 416517504 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10846984 memory=1198224 CPUtime=2.65 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 18814 13153 0 0 254 3 5 3 20 0 15 0 416517504 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10846984 memory=1198224 CPUtime=1.7 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 20585 13153 0 0 158 4 5 3 20 0 15 0 416517504 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10846984 memory=2901 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11107311616 299556 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10846984 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 921 13153 0 0 66 73 5 3 20 0 15 0 416517505 11107311616 299556 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 2424.5 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1198224 KiB
[startup+2442.3 s]
/proc/loadavg: 1.07 1.30 1.38 3/233 863
/proc/meminfo: memFree=29329464/32770624 swapFree=67009448/67108860
[pid=412] ppid=409 vsize=10846984 memory=1200360 CPUtime=2485.47 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 192907 13153 0 0 248155 384 5 3 20 0 15 0 416517489 11107311616 300090 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2711746 300090 3624 1 0 2673805 0
[pid=412/tid=469] ppid=409 vsize=10846984 memory=1200360 CPUtime=2414.06 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 68380 13153 0 0 241340 58 5 3 20 0 15 0 416517499 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887835032608 139887450587665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10846984 memory=1198312 CPUtime=12.84 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 9182 13153 0 0 1215 61 5 3 20 0 15 0 416517500 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10846984 memory=1296 CPUtime=12.79 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 12362 13153 0 0 1208 63 5 3 20 0 15 0 416517500 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10846984 memory=1198276 CPUtime=12.81 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 15111 13153 0 0 1210 63 5 3 20 0 15 0 416517500 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10846984 memory=6947385649911455296 CPUtime=12.81 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 13517 13153 0 0 1212 61 5 3 20 0 15 0 416517500 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10846984 memory=1198276 CPUtime=11.83 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 16451 13153 0 0 1109 66 5 3 20 0 15 0 416517501 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10846984 memory=1198312 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 40 13153 0 0 0 0 5 3 20 0 15 0 416517501 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887320524448 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10846984 memory=1198312 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 5 13153 0 0 0 0 5 3 20 0 15 0 416517502 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887219041664 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10846984 memory=1198276 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11107311616 300090 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10846984 memory=1198312 CPUtime=3.09 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 15300 13153 0 0 299 2 5 3 20 0 15 0 416517504 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10846984 memory=1200360 CPUtime=2.65 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 18816 13153 0 0 254 3 5 3 20 0 15 0 416517504 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10846984 memory=1198276 CPUtime=1.7 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 20587 13153 0 0 158 4 5 3 20 0 15 0 416517504 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10846984 memory=1200360 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11107311616 300090 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10846984 memory=776 CPUtime=1.51 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 942 13153 0 0 68 75 5 3 20 0 15 0 416517505 11107311616 300090 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 2485.47 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1200360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.3 s]
/proc/loadavg: 1.18 1.30 1.38 3/232 865
/proc/meminfo: memFree=29329164/32770624 swapFree=67009448/67108860
[pid=412] ppid=409 vsize=10846984 memory=1200408 CPUtime=2520.02 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 193647 13153 0 0 251605 389 5 3 20 0 15 0 416517489 11107311616 300102 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2711746 300102 3624 1 0 2673805 0
[pid=412/tid=469] ppid=409 vsize=10846984 memory=1200384 CPUtime=2447.69 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 68840 13153 0 0 244703 58 5 3 20 0 15 0 416517499 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887835032704 139887451064186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10846984 memory=1200384 CPUtime=13.01 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 9338 13153 0 0 1232 61 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10846984 memory=1200384 CPUtime=12.97 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 12375 13153 0 0 1225 64 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10846984 memory=1200408 CPUtime=13 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 15129 13153 0 0 1228 64 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10846984 memory=1200408 CPUtime=13 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 13579 13153 0 0 1230 62 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10846984 memory=1200384 CPUtime=12 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 16473 13153 0 0 1125 67 5 3 20 0 15 0 416517501 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10846984 memory=1200408 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 40 13153 0 0 0 0 5 3 20 0 15 0 416517501 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887320524448 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10846984 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 5 13153 0 0 0 0 5 3 20 0 15 0 416517502 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887219041664 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10846984 memory=1200408 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10846984 memory=1200384 CPUtime=3.09 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 15303 13153 0 0 299 2 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10846984 memory=1200384 CPUtime=2.65 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 18818 13153 0 0 254 3 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10846984 memory=1200384 CPUtime=1.7 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 20589 13153 0 0 158 4 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10846984 memory=1200408 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11107311616 300102 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10846984 memory=3848 CPUtime=1.53 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 944 13153 0 0 69 76 5 3 20 0 15 0 416517505 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1200408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.33 s]
# the end of solver process 412 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.13 s, system=3.93775 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.3 s]
/proc/loadavg: 1.18 1.30 1.38 3/232 865
/proc/meminfo: memFree=29329164/32770624 swapFree=67009448/67108860
[pid=412] ppid=409 vsize=10846984 memory=1200408 CPUtime=2520.02 cores=1,3,5,7
/proc/412/stat : 412 (java) S 409 412 30988 0 -1 1077944320 193647 13153 0 0 251605 389 5 3 20 0 15 0 416517489 11107311616 300102 33554432000 4194304 4196468 140724802273504 140724802256048 139887863197431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
/proc/412/statm: 2711746 300102 3624 1 0 2673805 0
[pid=412/tid=469] ppid=409 vsize=10846984 memory=1200384 CPUtime=2447.69 cores=1,3,5,7
/proc/412/task/469/stat : 469 (java) R 409 412 30988 0 -1 4202560 68840 13153 0 0 244703 58 5 3 20 0 15 0 416517499 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887835032704 139887451064186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=470] ppid=409 vsize=10846984 memory=1200384 CPUtime=13.01 cores=1,3,5,7
/proc/412/task/470/stat : 470 (java) S 409 412 30988 0 -1 1077944384 9338 13153 0 0 1232 61 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887867439760 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=471] ppid=409 vsize=10846984 memory=1200384 CPUtime=12.97 cores=1,3,5,7
/proc/412/task/471/stat : 471 (java) S 409 412 30988 0 -1 1077944384 12375 13153 0 0 1225 64 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887766329872 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=472] ppid=409 vsize=10846984 memory=1200408 CPUtime=13 cores=1,3,5,7
/proc/412/task/472/stat : 472 (java) S 409 412 30988 0 -1 1077944384 15129 13153 0 0 1228 64 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887765277072 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=473] ppid=409 vsize=10846984 memory=1200408 CPUtime=13 cores=1,3,5,7
/proc/412/task/473/stat : 473 (java) S 409 412 30988 0 -1 1077944384 13579 13153 0 0 1230 62 5 3 20 0 15 0 416517500 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887764224272 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=474] ppid=409 vsize=10846984 memory=1200384 CPUtime=12 cores=1,3,5,7
/proc/412/task/474/stat : 474 (java) S 409 412 30988 0 -1 1077944384 16473 13153 0 0 1125 67 5 3 20 0 15 0 416517501 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887321578352 139887863208578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=475] ppid=409 vsize=10846984 memory=1200408 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/475/stat : 475 (java) S 409 412 30988 0 -1 1077944384 40 13153 0 0 0 0 5 3 20 0 15 0 416517501 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887320524448 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=476] ppid=409 vsize=10846984 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/476/stat : 476 (java) S 409 412 30988 0 -1 1077944384 5 13153 0 0 0 0 5 3 20 0 15 0 416517502 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887219041664 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=477] ppid=409 vsize=10846984 memory=1200408 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/477/stat : 477 (java) S 409 412 30988 0 -1 1077944384 2 13153 0 0 0 0 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139886615062864 139887863216027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=478] ppid=409 vsize=10846984 memory=1200384 CPUtime=3.09 cores=1,3,5,7
/proc/412/task/478/stat : 478 (java) S 409 412 30988 0 -1 1077944384 15303 13153 0 0 299 2 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887185484144 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=479] ppid=409 vsize=10846984 memory=1200384 CPUtime=2.65 cores=1,3,5,7
/proc/412/task/479/stat : 479 (java) S 409 412 30988 0 -1 1077944384 18818 13153 0 0 254 3 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887184431344 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=480] ppid=409 vsize=10846984 memory=1200384 CPUtime=1.7 cores=1,3,5,7
/proc/412/task/480/stat : 480 (java) S 409 412 30988 0 -1 1077944384 20589 13153 0 0 158 4 5 3 20 0 15 0 416517504 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887183378544 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=481] ppid=409 vsize=10846984 memory=1200408 CPUtime=0.08 cores=1,3,5,7
/proc/412/task/481/stat : 481 (java) S 409 412 30988 0 -1 1077944384 3 13153 0 0 0 0 5 3 20 0 15 0 416517505 11107311616 300102 33554432000 4194304 4196468 140724802273504 139886145300704 139887863207637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
[pid=412/tid=482] ppid=409 vsize=10846984 memory=3848 CPUtime=1.53 cores=1,3,5,7
/proc/412/task/482/stat : 482 (java) S 409 412 30988 0 -1 1077944384 944 13153 0 0 69 76 5 3 20 0 15 0 416517505 11107311616 300102 33554432000 4194304 4196468 140724802273504 139887182326960 139887863208578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 10964992 140724802276080 140724802278597 140724802278597 140724802281423 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1200408 KiB
Child status: 143
Real time (s): 2476.33
CPU time (s): 2520.07
CPU user time (s): 2516.13
CPU system time (s): 3.93775
CPU usage (%): 101.766
Max. virtual memory (cumulated for all children) (KiB): 10849808
Max. memory (cumulated for all children) (KiB): 1200408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.13
system time used= 3.93775
maximum resident set size= 1204540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309376
involuntary context switches= 7716
# summary of solver processes directly reported to runsolver:
# pid: 412
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.13
# total CPU system time (s): 3.93775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5927 second user time and 23.7049 second system time
The end