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 (15046 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396520-1568401718/watcher-4396520-1568401718 -o /tmp/evaluation-result-4396520-1568401718/solver-4396520-1568401718 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568395638-13964 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1749851684 HOME/instance-4396520-1568401718.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=14553, runsolver pid=14550
Current StackSize limit: 8192 KiB
[startup+0.109791 s]*
/proc/loadavg: 1.56 1.50 1.42 4/217 14610
/proc/meminfo: memFree=31137904/32770624 swapFree=66922424/67108860
[pid=14553] ppid=14550 vsize=10186436 memory=21436 CPUtime=0.1 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 4634 13289 0 0 2 0 5 3 20 0 8 0 416427845 10430910464 4847 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2546609 4847 2064 1 0 2535047 0
[pid=14553/tid=14606] ppid=14550 vsize=10355560 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 1077944384 2406 13289 0 0 1 0 5 3 20 0 9 0 416427854 10604093440 5422 33554432000 4194304 4196468 140721997104448 140046556979056 140046577839613 0 4 0 16784584 18446744071581020693 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 9 0 416427855 10604093440 5422 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10355560 memory=4050346363896862368 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 9 0 416427855 10604093440 5426 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 9 0 416427855 10604093440 5426 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 9 0 416427855 10604093440 5426 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 9 0 416427856 10604093440 5426 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 9 0 416427857 10604093440 5426 33554432000 4194304 4196468 140721997104448 140046042596512 140046585153237 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 9 0 416427857 10604093440 5426 33554432000 4194304 4196468 140721997104448 140045461742384 140046585153237 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10186436 KiB
Current children cumulated memory: 21436 KiB
[startup+0.210328 s]*
/proc/loadavg: 1.56 1.50 1.42 4/226 14619
/proc/meminfo: memFree=31121832/32770624 swapFree=66922424/67108860
[pid=14553] ppid=14550 vsize=10819664 memory=38252 CPUtime=0.26 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 6927 13289 0 0 17 1 5 3 20 0 15 0 416427845 11079335936 9563 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2704916 9563 3165 1 0 2667149 0
[pid=14553/tid=14606] ppid=14550 vsize=10819664 memory=720575944405811505 CPUtime=0.2 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 3393 13289 0 0 11 1 5 3 20 0 15 0 416427854 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046556957872 140046585164957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10819664 memory=4050346363896862368 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427856 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 416427857 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046042596512 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427857 11079335936 10075 33554432000 4194304 4196468 140721997104448 140045461742320 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11079335936 10075 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 469 13289 0 0 1 0 5 3 20 0 15 0 416427859 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 184 13289 0 0 1 0 5 3 20 0 15 0 416427859 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10819664 memory=140031978772096 CPUtime=0.11 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) R 14550 14553 13932 0 -1 4202560 623 13289 0 0 3 0 5 3 20 0 15 0 416427859 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046006934000 140046563847947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11079335936 10075 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10819664 memory=140031978772096 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427860 11079335936 10075 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38252 KiB
[startup+0.310551 s]*
/proc/loadavg: 1.56 1.50 1.42 5/226 14619
/proc/meminfo: memFree=31108000/32770624 swapFree=66922424/67108860
[pid=14553] ppid=14550 vsize=10820148 memory=49360 CPUtime=0.41 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 10622 13289 0 0 30 3 5 3 20 0 15 0 416427845 11079831552 12340 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2705037 12340 3297 1 0 2667149 0
[pid=14553/tid=14606] ppid=14550 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 7068 13289 0 0 19 2 5 3 20 0 15 0 416427854 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046556962576 140046585164957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10820148 memory=-6957061461084680038 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10820148 memory=6935054825532540783 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427855 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427856 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 416427857 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046042596512 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427857 11079831552 12340 33554432000 4194304 4196468 140721997104448 140045461742320 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11079831552 12340 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 478 13289 0 0 2 0 5 3 20 0 15 0 416427859 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 185 13289 0 0 1 0 5 3 20 0 15 0 416427859 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10820148 memory=140031978772096 CPUtime=0.13 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) S 14550 14553 13932 0 -1 1077944384 632 13289 0 0 5 0 5 3 20 0 15 0 416427859 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11079831552 12340 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10820148 memory=140031978772096 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427860 11079831552 12340 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49360 KiB
[startup+0.702317 s]
/proc/loadavg: 1.56 1.50 1.42 7/226 14619
/proc/meminfo: memFree=31082324/32770624 swapFree=66922424/67108860
[pid=14553] ppid=14550 vsize=10824360 memory=82016 CPUtime=1.16 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 14719 13289 0 0 103 5 5 3 20 0 15 0 416427845 11084144640 20504 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2706090 20504 3511 1 0 2668173 0
[pid=14553/tid=14606] ppid=14550 vsize=10824360 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 9944 13289 0 0 56 4 5 3 20 0 15 0 416427854 11084144640 20504 33554432000 4194304 4196468 140721997104448 140046556970192 140046585164957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427855 11084144640 20504 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427855 11084144640 20504 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427855 11084144640 20504 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427855 11084144640 20504 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10824360 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 5 13289 0 0 0 0 5 3 20 0 15 0 416427856 11084144640 20504 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10825384 memory=8040 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 416427857 11085193216 20504 33554432000 4194304 4196468 140721997104448 140046042596512 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10825384 memory=3444 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427857 11085193216 20504 33554432000 4194304 4196468 140721997104448 140045461742320 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10825384 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11085193216 20504 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10825384 memory=2832 CPUtime=0.24 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 1054 13289 0 0 16 0 5 3 20 0 15 0 416427859 11085193216 20569 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10825384 memory=984 CPUtime=0.21 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) R 14550 14553 13932 0 -1 4202560 611 13289 0 0 13 0 5 3 20 0 15 0 416427859 11085193216 20545 33554432000 4194304 4196468 140721997104448 140046007987056 140046570071018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10824360 memory=14012 CPUtime=0.25 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) R 14550 14553 13932 0 -1 1077944384 848 13289 0 0 17 0 5 3 20 0 15 0 416427859 11084144640 20545 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10824360 memory=6460 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11084144640 20545 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10824360 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 416427860 11084144640 20545 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 82016 KiB
[startup+1.50677 s]
/proc/loadavg: 1.56 1.50 1.42 4/226 14619
/proc/meminfo: memFree=31026808/32770624 swapFree=66922424/67108860
[pid=14553] ppid=14550 vsize=10834676 memory=169692 CPUtime=2.49 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 21434 13289 0 0 231 10 5 3 20 0 15 0 416427845 11094708224 42423 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2708669 42423 3575 1 0 2670733 0
[pid=14553/tid=14606] ppid=14550 vsize=10834676 memory=116 CPUtime=1.44 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 14819 13289 0 0 130 6 5 3 20 0 15 0 416427854 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046556942760 140046154296903 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 345 13289 0 0 1 0 5 3 20 0 15 0 416427855 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10834676 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 76 13289 0 0 1 0 5 3 20 0 15 0 416427855 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10834676 memory=-7812193691859142048 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 56 13289 0 0 1 0 5 3 20 0 15 0 416427855 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10834676 memory=8764164798296004766 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 23 13289 0 0 0 0 5 3 20 0 15 0 416427855 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10834676 memory=1399094042734925955 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 156 13289 0 0 1 0 5 3 20 0 15 0 416427856 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10834676 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 416427857 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046042596576 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10834676 memory=8252147519760771659 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427857 11094708224 42423 33554432000 4194304 4196468 140721997104448 140045461742336 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10834676 memory=4426066961269356074 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11094708224 42423 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10834676 memory=-8412652152329899379 CPUtime=0.35 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 1235 13289 0 0 27 0 5 3 20 0 15 0 416427859 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10834676 memory=8254383616069825415 CPUtime=0.32 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 834 13289 0 0 24 0 5 3 20 0 15 0 416427859 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10834676 memory=8326441112148417183 CPUtime=0.5 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) S 14550 14553 13932 0 -1 1077944384 1638 13289 0 0 42 0 5 3 20 0 15 0 416427859 11094708224 42423 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
################
# More data... #
################
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 54619 13289 0 0 224405 36 5 3 20 0 15 0 416427854 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046556978032 140046165064768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10846984 memory=678408 CPUtime=8 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 9841 13289 0 0 752 40 5 3 20 0 15 0 416427855 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10846984 memory=678408 CPUtime=7.97 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 10232 13289 0 0 750 39 5 3 20 0 15 0 416427855 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10846984 memory=678408 CPUtime=7.97 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 12187 13289 0 0 751 38 5 3 20 0 15 0 416427855 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10846984 memory=678408 CPUtime=7.97 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 11634 13289 0 0 751 38 5 3 20 0 15 0 416427855 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10846984 memory=678408 CPUtime=7.44 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 13624 13289 0 0 699 37 5 3 20 0 15 0 416427856 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10846984 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 37 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046042596576 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10846984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 169602 33554432000 4194304 4196468 140721997104448 140045461742336 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10846984 memory=678408 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11107311616 169602 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10846984 memory=3580 CPUtime=4.83 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 33047 13289 0 0 471 4 5 3 20 0 15 0 416427859 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10846984 memory=678408 CPUtime=4.09 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 28281 13289 0 0 397 4 5 3 20 0 15 0 416427859 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10846984 memory=678408 CPUtime=2.06 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) S 14550 14553 13932 0 -1 1077944384 17289 13289 0 0 194 4 5 3 20 0 15 0 416427859 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10846984 memory=678408 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11107311616 169602 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10846984 memory=2632 CPUtime=1.27 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 766 13289 0 0 54 65 5 3 20 0 15 0 416427860 11107311616 169602 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 2295.48 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 678408 KiB
[startup+2322.31 s]
/proc/loadavg: 1.50 1.45 1.41 3/226 14835
/proc/meminfo: memFree=30002588/32770624 swapFree=66922452/67108860
[pid=14553] ppid=14550 vsize=10846984 memory=680528 CPUtime=2356.05 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 195014 13289 0 0 235327 270 5 3 20 0 15 0 416427845 11107311616 170132 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2711746 170132 3631 1 0 2673805 0
[pid=14553/tid=14606] ppid=14550 vsize=10846984 memory=680528 CPUtime=2304.05 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 55161 13289 0 0 230361 36 5 3 20 0 15 0 416427854 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046556978880 140046166957954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.2 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 9977 13289 0 0 771 41 5 3 20 0 15 0 416427855 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10846984 memory=680516 CPUtime=8.17 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 10261 13289 0 0 769 40 5 3 20 0 15 0 416427855 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10846984 memory=680516 CPUtime=8.17 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 12303 13289 0 0 769 40 5 3 20 0 15 0 416427855 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10846984 memory=680516 CPUtime=8.17 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 11823 13289 0 0 770 39 5 3 20 0 15 0 416427855 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10846984 memory=6791534058613427641 CPUtime=7.62 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 13827 13289 0 0 716 38 5 3 20 0 15 0 416427856 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10846984 memory=680528 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 37 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046042596576 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10846984 memory=680528 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 170132 33554432000 4194304 4196468 140721997104448 140045461742336 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10846984 memory=680528 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11107311616 170132 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10846984 memory=8 CPUtime=4.83 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 33049 13289 0 0 471 4 5 3 20 0 15 0 416427859 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10846984 memory=6791534058613427641 CPUtime=4.09 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 28283 13289 0 0 397 4 5 3 20 0 15 0 416427859 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10846984 memory=646248 CPUtime=2.06 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) S 14550 14553 13932 0 -1 1077944384 17291 13289 0 0 194 4 5 3 20 0 15 0 416427859 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10846984 memory=680528 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11107311616 170132 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10846984 memory=680516 CPUtime=1.3 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 784 13289 0 0 56 66 5 3 20 0 15 0 416427860 11107311616 170132 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 2356.05 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 680528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2365.9 s]
/proc/loadavg: 1.49 1.45 1.41 2/210 14840
/proc/meminfo: memFree=30635060/32770624 swapFree=66922452/67108860
[pid=14553] ppid=14550 vsize=10846984 memory=680548 CPUtime=2400.08 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 195708 13289 0 0 239726 274 5 3 20 0 15 0 416427845 11107311616 170137 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2711746 170137 3631 1 0 2673805 0
[pid=14553/tid=14606] ppid=14550 vsize=10846984 memory=680548 CPUtime=2347.32 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 55573 13289 0 0 234688 36 5 3 20 0 15 0 416427854 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046556978464 140046166957924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.34 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 10154 13289 0 0 785 41 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.32 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 10294 13289 0 0 783 41 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.31 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 12330 13289 0 0 783 40 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10846984 memory=678332 CPUtime=8.32 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 11846 13289 0 0 784 40 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10846984 memory=680548 CPUtime=7.76 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 13847 13289 0 0 729 39 5 3 20 0 15 0 416427856 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10846984 memory=680548 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 37 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046042596576 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10846984 memory=680548 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 170137 33554432000 4194304 4196468 140721997104448 140045461742336 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10846984 memory=708 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10846984 memory=680548 CPUtime=4.83 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 33049 13289 0 0 471 4 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10846984 memory=680548 CPUtime=4.09 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 28283 13289 0 0 397 4 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10846984 memory=680548 CPUtime=2.06 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) S 14550 14553 13932 0 -1 1077944384 17291 13289 0 0 194 4 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10846984 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11107311616 170137 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10846984 memory=3580 CPUtime=1.33 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 786 13289 0 0 57 68 5 3 20 0 15 0 416427860 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 680548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2365.94 s]
# the end of solver process 14553 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.34 s, system=2.77899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2365.9 s]
/proc/loadavg: 1.49 1.45 1.41 2/210 14840
/proc/meminfo: memFree=30635060/32770624 swapFree=66922452/67108860
[pid=14553] ppid=14550 vsize=10846984 memory=680548 CPUtime=2400.08 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14550 14553 13932 0 -1 1077944320 195708 13289 0 0 239726 274 5 3 20 0 15 0 416427845 11107311616 170137 33554432000 4194304 4196468 140721997104448 140721997086992 140046585143031 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
/proc/14553/statm: 2711746 170137 3631 1 0 2673805 0
[pid=14553/tid=14606] ppid=14550 vsize=10846984 memory=680548 CPUtime=2347.32 cores=1,3,5,7
/proc/14553/task/14606/stat : 14606 (java) R 14550 14553 13932 0 -1 4202560 55573 13289 0 0 234688 36 5 3 20 0 15 0 416427854 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046556978464 140046166957924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14607] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.34 cores=1,3,5,7
/proc/14553/task/14607/stat : 14607 (java) S 14550 14553 13932 0 -1 1077944384 10154 13289 0 0 785 41 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046589385744 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14608] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.32 cores=1,3,5,7
/proc/14553/task/14608/stat : 14608 (java) S 14550 14553 13932 0 -1 1077944384 10294 13289 0 0 783 41 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046477659280 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14609] ppid=14550 vsize=10846984 memory=680528 CPUtime=8.31 cores=1,3,5,7
/proc/14553/task/14609/stat : 14609 (java) S 14550 14553 13932 0 -1 1077944384 12330 13289 0 0 783 40 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046476606224 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14610] ppid=14550 vsize=10846984 memory=678332 CPUtime=8.32 cores=1,3,5,7
/proc/14553/task/14610/stat : 14610 (java) S 14550 14553 13932 0 -1 1077944384 11846 13289 0 0 784 40 5 3 20 0 15 0 416427855 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046475553680 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14611] ppid=14550 vsize=10846984 memory=680548 CPUtime=7.76 cores=1,3,5,7
/proc/14553/task/14611/stat : 14611 (java) S 14550 14553 13932 0 -1 1077944384 13847 13289 0 0 729 39 5 3 20 0 15 0 416427856 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046043650288 140046585154178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14612] ppid=14550 vsize=10846984 memory=680548 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14612/stat : 14612 (java) S 14550 14553 13932 0 -1 1077944384 37 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046042596576 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14613] ppid=14550 vsize=10846984 memory=680548 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14613/stat : 14613 (java) S 14550 14553 13932 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 416427857 11107311616 170137 33554432000 4194304 4196468 140721997104448 140045461742336 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14614] ppid=14550 vsize=10846984 memory=708 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14614/stat : 14614 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140045154342864 140046585161627 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14615] ppid=14550 vsize=10846984 memory=680548 CPUtime=4.83 cores=1,3,5,7
/proc/14553/task/14615/stat : 14615 (java) S 14550 14553 13932 0 -1 1077944384 33049 13289 0 0 471 4 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046009039600 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14616] ppid=14550 vsize=10846984 memory=680548 CPUtime=4.09 cores=1,3,5,7
/proc/14553/task/14616/stat : 14616 (java) S 14550 14553 13932 0 -1 1077944384 28283 13289 0 0 397 4 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046007987056 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14617] ppid=14550 vsize=10846984 memory=680548 CPUtime=2.06 cores=1,3,5,7
/proc/14553/task/14617/stat : 14617 (java) S 14550 14553 13932 0 -1 1077944384 17291 13289 0 0 194 4 5 3 20 0 15 0 416427859 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046006934000 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14618] ppid=14550 vsize=10846984 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14618/stat : 14618 (java) S 14550 14553 13932 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 416427860 11107311616 170137 33554432000 4194304 4196468 140721997104448 140045120785248 140046585153237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
[pid=14553/tid=14619] ppid=14550 vsize=10846984 memory=3580 CPUtime=1.33 cores=1,3,5,7
/proc/14553/task/14619/stat : 14619 (java) S 14550 14553 13932 0 -1 1077944384 786 13289 0 0 57 68 5 3 20 0 15 0 416427860 11107311616 170137 33554432000 4194304 4196468 140721997104448 140046005881392 140046585154178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29196288 140721997109999 140721997112517 140721997112517 140721997115343 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 680548 KiB
Child status: 143
Real time (s): 2365.94
CPU time (s): 2400.12
CPU user time (s): 2397.34
CPU system time (s): 2.77899
CPU usage (%): 101.445
Max. virtual memory (cumulated for all children) (KiB): 10849608
Max. memory (cumulated for all children) (KiB): 680548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.34
system time used= 2.77899
maximum resident set size= 684852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216244
involuntary context switches= 6615
# summary of solver processes directly reported to runsolver:
# pid: 14553
# total CPU time (s): 2400.12
# total CPU user time (s): 2397.34
# total CPU system time (s): 2.77899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5343 second user time and 18.7463 second system time
The end