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 (10668 MiB free)
memory of node 1: 16384 MiB (13198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395808-1568399752/watcher-4395808-1568399752 -o /tmp/evaluation-result-4395808-1568399752/solver-4395808-1568399752 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568394053-20871 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=174380024 HOME/instance-4395808-1568399752.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=22682, runsolver pid=22679
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.78 1.73 1.62 3/218 22739
/proc/meminfo: memFree=24433708/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=9972712 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 4484 13437 0 0 1 1 5 2 20 0 6 0 416222593 10212057088 4204 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2493178 4204 1935 1 0 2481616 0
[pid=22682/tid=22735] ppid=22679 vsize=9972712 memory=4279135704013571469 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) R 22679 22682 19826 0 -1 4202560 2284 13437 0 0 0 0 5 2 20 0 6 0 416222602 10212057088 4270 33554432000 4194304 4196468 140723361432960 139644420293200 139644432536926 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 6 0 416222602 10212057088 4270 33554432000 4194304 4196468 140723361432960 139644452699024 139644448466645 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=9972712 memory=140018982979200 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 6 0 416222602 10212057088 4270 33554432000 4194304 4196468 140723361432960 139644356901648 139644448466645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 6 0 416222602 10212057088 4270 33554432000 4194304 4196468 140723361432960 139644355849360 139644448466645 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 6 0 416222602 10212057088 4270 33554432000 4194304 4196468 140723361432960 139644354796560 139644448466645 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.211346 s]*
/proc/loadavg: 1.78 1.73 1.62 3/227 22748
/proc/meminfo: memFree=24410924/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=10819664 memory=41480 CPUtime=0.26 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 7207 13437 0 0 17 2 5 2 20 0 15 0 416222593 11079335936 10370 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2704916 10370 3162 1 0 2667149 0
[pid=22682/tid=22735] ppid=22679 vsize=10819664 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) R 22679 22682 19826 0 -1 4202560 3690 13437 0 0 11 1 5 2 20 0 15 0 416222602 11079335936 10370 33554432000 4194304 4196468 140723361432960 139644420286520 139644448468374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=10819664 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079335936 10370 33554432000 4194304 4196468 140723361432960 139644452699024 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=10819664 memory=140018982979200 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079335936 10370 33554432000 4194304 4196468 140723361432960 139644356901648 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079335936 10370 33554432000 4194304 4196468 140723361432960 139644355849360 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079335936 10370 33554432000 4194304 4196468 140723361432960 139644354796560 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=10819664 memory=140018982979200 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222604 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643907369072 139644448467586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 13 13437 0 0 0 0 5 2 20 0 15 0 416222604 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643359060768 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 21 13437 0 0 0 0 5 2 20 0 15 0 416222604 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643325502576 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222607 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 474 13437 0 0 1 0 5 2 20 0 15 0 416222607 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643906316912 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) S 22679 22682 19826 0 -1 1077944384 181 13437 0 0 1 0 5 2 20 0 15 0 416222607 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643905264112 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=10819664 memory=140018982979200 CPUtime=0.1 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) R 22679 22682 19826 0 -1 4202560 612 13437 0 0 3 0 5 2 20 0 15 0 416222607 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643904211824 139644441173591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 15 0 416222607 11079335936 10370 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=10819664 memory=140018982979200 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222608 11079335936 10370 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41480 KiB
[startup+0.310416 s]*
/proc/loadavg: 1.78 1.73 1.62 3/227 22748
/proc/meminfo: memFree=24398140/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=10820148 memory=52612 CPUtime=0.39 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 10901 13437 0 0 28 4 5 2 20 0 15 0 416222593 11079831552 13153 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2705037 13153 3294 1 0 2667149 0
[pid=22682/tid=22735] ppid=22679 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) R 22679 22682 19826 0 -1 4202560 7363 13437 0 0 19 3 5 2 20 0 15 0 416222602 11079831552 13153 33554432000 4194304 4196468 140723361432960 139644420256352 139644432536926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=10820148 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079831552 13153 33554432000 4194304 4196468 140723361432960 139644452699024 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=10820148 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079831552 13153 33554432000 4194304 4196468 140723361432960 139644356901648 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079831552 13153 33554432000 4194304 4196468 140723361432960 139644355849360 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=10820148 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222602 11079831552 13153 33554432000 4194304 4196468 140723361432960 139644354796560 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222604 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643907369072 139644448467586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 13 13437 0 0 0 0 5 2 20 0 15 0 416222604 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643359060768 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 21 13437 0 0 0 0 5 2 20 0 15 0 416222604 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643325502576 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222607 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 483 13437 0 0 2 0 5 2 20 0 15 0 416222607 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643906316912 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) R 22679 22682 19826 0 -1 1077944384 182 13437 0 0 1 0 5 2 20 0 15 0 416222607 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643905264112 139644448467586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 621 13437 0 0 5 0 5 2 20 0 15 0 416222607 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643904211824 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 15 0 416222607 11079831552 13153 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222608 11079831552 13153 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52612 KiB
[startup+0.701356 s]
/proc/loadavg: 1.78 1.73 1.62 3/227 22748
/proc/meminfo: memFree=24383220/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=10824360 memory=85684 CPUtime=1.13 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 15145 13437 0 0 100 6 5 2 20 0 15 0 416222593 11084144640 21421 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2706090 21421 3511 1 0 2668173 0
[pid=22682/tid=22735] ppid=22679 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) R 22679 22682 19826 0 -1 4202560 10358 13437 0 0 55 4 5 2 20 0 15 0 416222602 11084144640 21421 33554432000 4194304 4196468 140723361432960 139644420273456 139644440791344 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222602 11084144640 21421 33554432000 4194304 4196468 140723361432960 139644452699024 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=10824360 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222602 11084144640 21421 33554432000 4194304 4196468 140723361432960 139644356901648 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222602 11084144640 21421 33554432000 4194304 4196468 140723361432960 139644355849360 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222602 11084144640 21421 33554432000 4194304 4196468 140723361432960 139644354796560 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=10824360 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 5 13437 0 0 0 0 5 2 20 0 15 0 416222604 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643907369072 139644448467586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=10824360 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 13 13437 0 0 0 0 5 2 20 0 15 0 416222604 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643359060768 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=10824360 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 21 13437 0 0 0 0 5 2 20 0 15 0 416222604 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643325502576 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=10824360 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222607 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=10824360 memory=13252 CPUtime=0.19 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 893 13437 0 0 12 0 5 2 20 0 15 0 416222607 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643906316912 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=10824360 memory=15460 CPUtime=0.22 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) R 22679 22682 19826 0 -1 4202560 770 13437 0 0 15 0 5 2 20 0 15 0 416222607 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643905264112 139644431942704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=10824360 memory=17668 CPUtime=0.23 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 867 13437 0 0 16 0 5 2 20 0 15 0 416222607 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643904211824 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=10824360 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 15 0 416222607 11084144640 21421 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=10824360 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222608 11084144640 21421 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85684 KiB
[startup+1.50137 s]
/proc/loadavg: 1.78 1.73 1.62 3/227 22748
/proc/meminfo: memFree=24297020/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=10824360 memory=432640 CPUtime=2.97 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 17578 13437 0 0 246 44 5 2 20 0 15 0 416222593 11084144640 108160 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2706090 108160 3546 1 0 2668173 0
[pid=22682/tid=22735] ppid=22679 vsize=10824360 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) S 22679 22682 19826 0 -1 1077944384 11005 13437 0 0 113 6 5 2 20 0 15 0 416222602 11084144640 108160 33554432000 4194304 4196468 140723361432960 139644420292608 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=10824360 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) R 22679 22682 19826 0 -1 4202560 214 13437 0 0 11 8 5 2 20 0 15 0 416222602 11084144640 108160 33554432000 4194304 4196468 140723361432960 139644452699224 139644433484286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) R 22679 22682 19826 0 -1 4202560 231 13437 0 0 10 8 5 2 20 0 15 0 416222602 11084144640 108160 33554432000 4194304 4196468 140723361432960 139644356901648 139644441553148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=10824360 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) R 22679 22682 19826 0 -1 4202560 158 13437 0 0 11 8 5 2 20 0 15 0 416222602 11084144640 108160 33554432000 4194304 4196468 140723361432960 139644355849360 139644441553140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=10824360 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) R 22679 22682 19826 0 -1 4202560 206 13437 0 0 11 8 5 2 20 0 15 0 416222602 11084144640 108160 33554432000 4194304 4196468 140723361432960 139644354796760 139644433484286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=10824360 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 85 13437 0 0 0 0 5 2 20 0 15 0 416222604 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643907367584 139644448466645 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=10824360 memory=280037773355264 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 14 13437 0 0 0 0 5 2 20 0 15 0 416222604 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643359060832 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 22 13437 0 0 0 0 5 2 20 0 15 0 416222604 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643325502592 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=10824360 memory=1540 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222607 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=10824360 memory=692 CPUtime=0.37 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 1024 13437 0 0 30 0 5 2 20 0 15 0 416222607 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643906316912 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=10824360 memory=4164 CPUtime=0.4 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) S 22679 22682 19826 0 -1 1077944384 1273 13437 0 0 33 0 5 2 20 0 15 0 416222607 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643905264112 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=10824360 memory=1060 CPUtime=0.31 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 1134 13437 0 0 24 0 5 2 20 0 15 0 416222607 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643904211824 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=10824360 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 15 0 416222607 11084144640 108160 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=10824360 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1 13437 0 0 0 0 5 2 20 0 15 0 416222608 11084144640 108160 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10824360 KiB
################
# More data... #
################
/proc/22682/task/22736/stat : 22736 (java) R 22679 22682 19826 0 -1 4202560 31432 13437 0 0 55030 148 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644452699024 139644433452843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=10840840 memory=21752 CPUtime=550.74 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) R 22679 22682 19826 0 -1 4202560 31222 13437 0 0 54901 166 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644356901648 139644433453057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=10840840 memory=14068 CPUtime=552.34 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) R 22679 22682 19826 0 -1 4202560 32647 13437 0 0 55078 149 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644355849560 139644433155255 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=10840840 memory=4872558044660077418 CPUtime=550.36 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) R 22679 22682 19826 0 -1 4202560 31551 13437 0 0 54858 171 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644354796448 139644430066176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=10840840 memory=1124 CPUtime=56.95 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 218969 13437 0 0 5676 12 5 2 20 0 15 0 416222604 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643907367616 139644448466645 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=10840840 memory=5924 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 35 13437 0 0 0 0 5 2 20 0 15 0 416222604 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643359060832 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=10840840 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 89 13437 0 0 0 0 5 2 20 0 15 0 416222604 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643325502592 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=10840840 memory=1656 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 2 13437 0 0 0 0 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=10840840 memory=8395168 CPUtime=3.52 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 18048 13437 0 0 342 3 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643906316960 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=10840840 memory=5924 CPUtime=4 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) S 22679 22682 19826 0 -1 1077944384 30079 13437 0 0 389 4 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643905263872 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=10840840 memory=916 CPUtime=1.43 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 14773 13437 0 0 133 3 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643904211872 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=10840840 memory=528 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=10840840 memory=1560 CPUtime=0.65 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1178 13437 0 0 27 31 5 2 20 0 15 0 416222608 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 8395168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+866.059 s]
# the end of solver process 22682 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.89 s, system=7.0508 s
Solver just ended.
Dumping a history of the last processes samples
[startup+864.801 s]
/proc/loadavg: 4.49 4.09 2.96 6/227 22824
/proc/meminfo: memFree=16040700/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=10840840 memory=8395168 CPUtime=2523.24 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 470368 13437 0 0 251619 698 5 2 20 0 15 0 416222593 11101020160 2098792 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2710210 2098792 3627 1 0 2672269 0
[pid=22682/tid=22735] ppid=22679 vsize=10840840 memory=6791534058613427641 CPUtime=248.75 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) S 22679 22682 19826 0 -1 1077944384 58036 13437 0 0 24841 27 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644420289232 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=10840840 memory=5924 CPUtime=552.64 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) R 22679 22682 19826 0 -1 4202560 31432 13437 0 0 55109 148 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644452699024 139644433452843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=10840840 memory=916 CPUtime=551.53 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) R 22679 22682 19826 0 -1 4202560 31259 13437 0 0 54980 166 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644356901848 139644433452863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=10840840 memory=1656 CPUtime=553.12 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) R 22679 22682 19826 0 -1 4202560 32650 13437 0 0 55156 149 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644355849560 139644433155219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=10840840 memory=14004 CPUtime=551.15 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) R 22679 22682 19826 0 -1 4202560 31605 13437 0 0 54937 171 5 2 20 0 15 0 416222602 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139644354796448 139644433453091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=10840840 memory=8395168 CPUtime=56.95 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 218969 13437 0 0 5676 12 5 2 20 0 15 0 416222604 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643907367616 139644448466645 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=10840840 memory=1700 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 35 13437 0 0 0 0 5 2 20 0 15 0 416222604 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643359060832 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=10840840 memory=828 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 89 13437 0 0 0 0 5 2 20 0 15 0 416222604 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643325502592 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=10840840 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 4 13437 0 0 0 0 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643211212528 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=10840840 memory=1980 CPUtime=3.52 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 18048 13437 0 0 342 3 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643906316960 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=10840840 memory=2496 CPUtime=4 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) S 22679 22682 19826 0 -1 1077944384 30079 13437 0 0 389 4 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643905263872 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=10840840 memory=288230574492221466 CPUtime=1.43 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 14773 13437 0 0 133 3 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643904211872 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=10840840 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 15 0 416222607 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=10840840 memory=15538522534712410 CPUtime=0.65 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1178 13437 0 0 27 31 5 2 20 0 15 0 416222608 11101020160 2098792 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 2523.24 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 8395168 KiB
[startup+865.601 s]
/proc/loadavg: 4.49 4.09 2.96 3/227 22824
/proc/meminfo: memFree=16040672/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=11037456 memory=8399264 CPUtime=2525.22 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 470444 13437 0 0 251817 698 5 2 20 0 17 0 416222593 11302354944 2099816 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2759364 2099816 3627 1 0 2721423 0
[pid=22682/tid=22735] ppid=22679 vsize=11037456 memory=804 CPUtime=248.78 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) S 22679 22682 19826 0 -1 1077944384 58036 13437 0 0 24844 27 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644420289344 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=11037456 memory=8395168 CPUtime=553.04 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) R 22679 22682 19826 0 -1 4202560 31432 13437 0 0 55149 148 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644452699024 139644433407044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=11037456 memory=4104 CPUtime=551.93 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) R 22679 22682 19826 0 -1 4202560 31263 13437 0 0 55020 166 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644356901648 139644433154031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=11037456 memory=8395168 CPUtime=553.51 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) R 22679 22682 19826 0 -1 4202560 32656 13437 0 0 55195 149 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644355849248 139644433407509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=11037456 memory=6791534058613427641 CPUtime=551.54 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) R 22679 22682 19826 0 -1 4202560 31608 13437 0 0 54976 171 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644354796760 139644433407044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=11037456 memory=21752 CPUtime=57.33 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 218971 13437 0 0 5714 12 5 2 20 0 17 0 416222604 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643907367392 139644448466645 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=11037456 memory=14068 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 35 13437 0 0 0 0 5 2 20 0 17 0 416222604 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643359060832 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=11037456 memory=528 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 89 13437 0 0 0 0 5 2 20 0 17 0 416222604 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643325502592 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=11037456 memory=1560 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 35 13437 0 0 0 0 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=11037456 memory=928 CPUtime=3.52 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 18048 13437 0 0 342 3 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643906316912 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=11037456 memory=8395168 CPUtime=4 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) S 22679 22682 19826 0 -1 1077944384 30079 13437 0 0 389 4 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643905264112 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=11037456 memory=1124 CPUtime=1.43 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 14773 13437 0 0 133 3 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643904211824 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=11037456 memory=5924 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=11037456 memory=916 CPUtime=0.65 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1180 13437 0 0 27 31 5 2 20 0 17 0 416222608 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 2525.22 s
Current children cumulated vsize: 11037456 KiB
Current children cumulated memory: 8399264 KiB
[startup+866.001 s]*
/proc/loadavg: 4.49 4.09 2.96 6/229 22826
/proc/meminfo: memFree=16036544/32770624 swapFree=66927248/67108860
[pid=22682] ppid=22679 vsize=11037456 memory=8399264 CPUtime=2526.84 cores=1,3,5,7
/proc/22682/stat : 22682 (java) S 22679 22682 19826 0 -1 1077944320 470444 13437 0 0 251979 698 5 2 20 0 17 0 416222593 11302354944 2099816 33554432000 4194304 4196468 140723361432960 140723361415504 139644448456439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
/proc/22682/statm: 2759364 2099816 3627 1 0 2721423 0
[pid=22682/tid=22735] ppid=22679 vsize=11037456 memory=6791534058613427641 CPUtime=248.78 cores=1,3,5,7
/proc/22682/task/22735/stat : 22735 (java) S 22679 22682 19826 0 -1 1077944384 58036 13437 0 0 24844 27 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644420289344 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22736] ppid=22679 vsize=11037456 memory=4872558044660077418 CPUtime=553.45 cores=1,3,5,7
/proc/22682/task/22736/stat : 22736 (java) R 22679 22682 19826 0 -1 4202560 31432 13437 0 0 55190 148 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644452699224 139644433154214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22737] ppid=22679 vsize=11037456 memory=15538522534712410 CPUtime=552.34 cores=1,3,5,7
/proc/22682/task/22737/stat : 22737 (java) R 22679 22682 19826 0 -1 4202560 31263 13437 0 0 55061 166 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644356901848 139644433441735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22738] ppid=22679 vsize=11037456 memory=14068 CPUtime=553.91 cores=1,3,5,7
/proc/22682/task/22738/stat : 22738 (java) R 22679 22682 19826 0 -1 4202560 32656 13437 0 0 55235 149 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644355849248 139644433300237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22739] ppid=22679 vsize=11037456 memory=6791534058613427641 CPUtime=551.95 cores=1,3,5,7
/proc/22682/task/22739/stat : 22739 (java) R 22679 22682 19826 0 -1 4202560 31608 13437 0 0 55017 171 5 2 20 0 17 0 416222602 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139644354796760 139644433154225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22740] ppid=22679 vsize=11037456 memory=1560 CPUtime=57.33 cores=1,3,5,7
/proc/22682/task/22740/stat : 22740 (java) S 22679 22682 19826 0 -1 1077944384 218971 13437 0 0 5714 12 5 2 20 0 17 0 416222604 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643907367392 139644448466645 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22741] ppid=22679 vsize=11037456 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22741/stat : 22741 (java) S 22679 22682 19826 0 -1 1077944384 35 13437 0 0 0 0 5 2 20 0 17 0 416222604 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643359060832 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22742] ppid=22679 vsize=11037456 memory=1700 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22742/stat : 22742 (java) S 22679 22682 19826 0 -1 1077944384 89 13437 0 0 0 0 5 2 20 0 17 0 416222604 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643325502592 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22743] ppid=22679 vsize=11037456 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22743/stat : 22743 (java) S 22679 22682 19826 0 -1 1077944384 35 13437 0 0 0 0 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643211212880 139644448475035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22744] ppid=22679 vsize=11037456 memory=1440 CPUtime=3.52 cores=1,3,5,7
/proc/22682/task/22744/stat : 22744 (java) S 22679 22682 19826 0 -1 1077944384 18048 13437 0 0 342 3 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643906316912 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22745] ppid=22679 vsize=11037456 memory=1980 CPUtime=4 cores=1,3,5,7
/proc/22682/task/22745/stat : 22745 (java) S 22679 22682 19826 0 -1 1077944384 30079 13437 0 0 389 4 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643905264112 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22746] ppid=22679 vsize=11037456 memory=2496 CPUtime=1.43 cores=1,3,5,7
/proc/22682/task/22746/stat : 22746 (java) S 22679 22682 19826 0 -1 1077944384 14773 13437 0 0 133 3 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643904211824 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22747] ppid=22679 vsize=11037456 memory=8514701219730522529 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22747/stat : 22747 (java) S 22679 22682 19826 0 -1 1077944384 3 13437 0 0 0 0 5 2 20 0 17 0 416222607 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139642741451744 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22748] ppid=22679 vsize=11037456 memory=-8412656567318647667 CPUtime=0.65 cores=1,3,5,7
/proc/22682/task/22748/stat : 22748 (java) S 22679 22682 19826 0 -1 1077944384 1180 13437 0 0 27 31 5 2 20 0 17 0 416222608 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139643903158704 139644448467586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22825] ppid=22679 vsize=11037456 memory=5450906554093958698 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22825/stat : 22825 (java) S 22679 22682 19826 0 -1 1077944384 17 13437 0 0 0 0 5 2 20 0 17 0 416309128 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139642540122096 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
[pid=22682/tid=22826] ppid=22679 vsize=11037456 memory=4427205132082312746 CPUtime=0.07 cores=1,3,5,7
/proc/22682/task/22826/stat : 22826 (java) S 22679 22682 19826 0 -1 1077944384 11 13437 0 0 0 0 5 2 20 0 17 0 416309128 11302354944 2099816 33554432000 4194304 4196468 140723361432960 139642338796592 139644448466645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18751488 140723361438448 140723361440965 140723361440965 140723361443791 0
Current children cumulated CPU time: 2526.84 s
Current children cumulated vsize: 11037456 KiB
Current children cumulated memory: 8399264 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 866.059
CPU time (s): 2526.94
CPU user time (s): 2519.89
CPU system time (s): 7.0508
CPU usage (%): 291.775
Max. virtual memory (cumulated for all children) (KiB): 11037456
Max. memory (cumulated for all children) (KiB): 8399264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 7.0508
maximum resident set size= 8399472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 483884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44558
involuntary context switches= 21105
# summary of solver processes directly reported to runsolver:
# pid: 22682
# total CPU time (s): 2526.94
# total CPU user time (s): 2519.89
# total CPU system time (s): 7.0508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57683 second user time and 8.45936 second system time
The end