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 (13587 MiB free)
memory of node 1: 16384 MiB (13278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301430-1532880103/watcher-4301430-1532880103 -o /tmp/evaluation-result-4301430-1532880103/solver-4301430-1532880103 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301430-1532880103.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24780, runsolver pid=24777
Current StackSize limit: 8192 KiB
[startup+0.10846 s]*
/proc/loadavg: 2.20 2.91 2.64 4/217 24795
/proc/meminfo: memFree=27492424/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10659012 memory=29372 CPUtime=0.13 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 6984 0 0 0 12 1 0 0 20 0 15 0 105573524 10914828288 7343 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2664753 7343 2841 1 0 2627263 0
[pid=24780/tid=24782] ppid=24777 vsize=10659012 memory=-8125511277465603712 CPUtime=0.1 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) D 24777 24780 22004 0 -1 1077944384 4788 0 0 0 9 1 0 0 20 0 15 0 105573524 10914828288 7343 33554432000 4194304 4196468 140725804126592 140553848930528 140553837398573 0 4 0 16800975 18446744072101756452 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914828288 7343 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10659012 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914828288 7343 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10659044 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914861056 7343 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10659044 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105573525 10914861056 7343 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10659012 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105573526 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105573527 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553148704288 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105573527 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573529 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) S 24777 24780 22004 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 105573529 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553145547120 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) S 24777 24780 22004 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 105573529 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10659012 memory=140368218859136 CPUtime=0.02 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) S 24777 24780 22004 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 105573529 10914828288 7396 33554432000 4194304 4196468 140725804126592 140553143441520 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10659044 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573530 10914861056 7396 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10659044 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573530 10914861056 7396 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29372 KiB
[startup+0.210406 s]*
/proc/loadavg: 2.20 2.91 2.64 4/217 24795
/proc/meminfo: memFree=27481460/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10659012 memory=40708 CPUtime=0.33 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 8262 0 0 0 31 2 0 0 20 0 15 0 105573524 10914828288 10177 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2664753 10177 3007 1 0 2627263 0
[pid=24780/tid=24782] ppid=24777 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) R 24777 24780 22004 0 -1 4202560 5105 0 0 0 19 1 0 0 20 0 15 0 105573524 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553848955632 140553828762981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10659012 memory=364 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10659012 memory=288370744370570880 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105573525 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10659012 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105573526 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105573527 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553148704288 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105573527 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573529 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) S 24777 24780 22004 0 -1 1077944384 534 0 0 0 1 0 0 0 20 0 15 0 105573529 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553145547120 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) S 24777 24780 22004 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 105573529 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10659012 memory=140368218859136 CPUtime=0.07 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) R 24777 24780 22004 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 15 0 105573529 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553143441520 140553837816187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573530 10914828288 10177 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10659012 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573530 10914828288 10177 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40708 KiB
[startup+0.312861 s]*
/proc/loadavg: 2.20 2.91 2.64 5/217 24795
/proc/meminfo: memFree=27473644/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10659088 memory=46680 CPUtime=0.53 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 9248 0 0 0 50 3 0 0 20 0 15 0 105573524 10914906112 11670 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2664772 11670 3063 1 0 2627263 0
[pid=24780/tid=24782] ppid=24777 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) R 24777 24780 22004 0 -1 4202560 5676 0 0 0 28 1 0 0 20 0 15 0 105573524 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553848955552 140553844731286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10659088 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10659088 memory=288370744370570880 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573525 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105573525 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10659088 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105573526 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105573527 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553148704288 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105573527 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573529 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10659088 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) R 24777 24780 22004 0 -1 4202560 596 0 0 0 3 0 0 0 20 0 15 0 105573529 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553145547120 140553830734928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) R 24777 24780 22004 0 -1 1077944384 658 0 0 0 5 0 0 0 20 0 15 0 105573529 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10659088 memory=140368218859136 CPUtime=0.12 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) R 24777 24780 22004 0 -1 4202560 951 0 0 0 12 0 0 0 20 0 15 0 105573529 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553143436560 140553822820009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573530 10914906112 11670 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10659088 memory=140368218859136 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573530 10914906112 11670 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46680 KiB
[startup+0.700803 s]
/proc/loadavg: 2.20 2.91 2.64 6/217 24795
/proc/meminfo: memFree=27374968/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10659088 memory=211736 CPUtime=1.8 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 14998 0 0 0 172 8 0 0 20 0 15 0 105573524 10914906112 52934 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2664772 52934 3115 1 0 2627263 0
[pid=24780/tid=24782] ppid=24777 vsize=10659088 memory=1840 CPUtime=0.64 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) R 24777 24780 22004 0 -1 4202560 6129 0 0 0 61 3 0 0 20 0 15 0 105573524 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553848859888 140553822714136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10659088 memory=1004 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 105573525 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10659088 memory=12060 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 105573525 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10659088 memory=5788 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 105573525 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10659088 memory=792 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 105573525 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105573526 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105573527 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553148704288 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 105573527 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573529 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10659088 memory=7163631965283378496 CPUtime=0.35 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) R 24777 24780 22004 0 -1 4202560 2436 0 0 0 35 0 0 0 20 0 15 0 105573529 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553145527184 140553826239411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10659088 memory=7667213801450137426 CPUtime=0.36 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) R 24777 24780 22004 0 -1 4202560 2102 0 0 0 36 0 0 0 20 0 15 0 105573529 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553144473872 140553825418911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10659088 memory=7007715718637572176 CPUtime=0.31 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) S 24777 24780 22004 0 -1 1077944384 2805 0 0 0 31 0 0 0 20 0 15 0 105573529 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553143441520 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105573530 10914906112 52934 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105573530 10914906112 52934 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 211736 KiB
[startup+1.5008 s]
/proc/loadavg: 2.51 2.96 2.66 5/217 24795
/proc/meminfo: memFree=27215352/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10725652 memory=338964 CPUtime=4.1 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 16564 0 0 0 390 20 0 0 20 0 16 0 105573524 10983067648 84741 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2681413 84741 3148 1 0 2643904 0
[pid=24780/tid=24782] ppid=24777 vsize=10725652 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) R 24777 24780 22004 0 -1 4202560 6211 0 0 0 130 4 0 0 20 0 16 0 105573524 10983067648 84741 33554432000 4194304 4196468 140725804126592 140553848956024 140553481961545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10725652 memory=-8253362762724047225 CPUtime=0.11 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 144 0 0 0 8 3 0 0 20 0 16 0 105573525 10983067648 84741 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10725652 memory=-8609294068986781045 CPUtime=0.08 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 112 0 0 0 6 2 0 0 20 0 16 0 105573525 10983067648 84741 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10725652 memory=-6517102902069810590 CPUtime=0.11 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 134 0 0 0 8 3 0 0 20 0 16 0 105573525 10983067648 84741 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10725652 memory=4134692831991786133 CPUtime=0.12 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 146 0 0 0 9 3 0 0 20 0 16 0 105573525 10983067648 84741 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10725652 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 105573526 10983067648 84741 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
################
# More data... #
################
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 203 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 446 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10725652 memory=487596 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 16 0 105573526 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10725652 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 105573527 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553148704352 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10725652 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105573527 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10725652 memory=30144 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10725652 memory=4028 CPUtime=1.34 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) S 24777 24780 22004 0 -1 1077944384 6891 0 0 0 133 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553145547120 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10725652 memory=30144 CPUtime=1.28 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) S 24777 24780 22004 0 -1 1077944384 3786 0 0 0 127 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.43 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) S 24777 24780 22004 0 -1 1077944384 4341 0 0 0 42 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553143441520 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10725652 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105573530 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.03 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 440 0 0 0 1 2 0 0 20 0 16 0 105573530 10983067648 121899 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24796] ppid=24777 vsize=10725652 memory=928 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24796/stat : 24796 (java) S 24777 24780 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105573643 10983067648 121899 33554432000 4194304 4196468 140725804126592 140552496301488 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 165.94 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 487596 KiB
[startup+222.301 s]
/proc/loadavg: 2.12 2.49 2.53 3/218 24878
/proc/meminfo: memFree=27548588/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10725652 memory=487596 CPUtime=225.97 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 28857 0 0 0 22563 34 0 0 20 0 16 0 105573524 10983067648 121899 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2681413 121899 3163 1 0 2643904 0
[pid=24780/tid=24782] ppid=24777 vsize=10725652 memory=487596 CPUtime=222.04 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) R 24777 24780 22004 0 -1 4202560 8983 0 0 0 22200 4 0 0 20 0 16 0 105573524 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553848955344 140553486501607 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 974 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.17 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 612 0 0 0 12 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 203 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 446 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 772 0 0 0 1 0 0 0 20 0 16 0 105573526 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10725652 memory=487596 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 105573527 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553148704352 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10725652 memory=8508 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105573527 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10725652 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10725652 memory=487596 CPUtime=1.34 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) S 24777 24780 22004 0 -1 1077944384 6893 0 0 0 133 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553145547120 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10725652 memory=487596 CPUtime=1.28 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) S 24777 24780 22004 0 -1 1077944384 3788 0 0 0 127 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.43 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) S 24777 24780 22004 0 -1 1077944384 4343 0 0 0 42 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553143441520 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10725652 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105573530 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10725652 memory=30144 CPUtime=0.06 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 446 0 0 0 2 4 0 0 20 0 16 0 105573530 10983067648 121899 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24796] ppid=24777 vsize=10725652 memory=487596 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24796/stat : 24796 (java) S 24777 24780 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105573643 10983067648 121899 33554432000 4194304 4196468 140725804126592 140552496301488 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 225.97 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 487596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.401 s]
/proc/loadavg: 2.08 2.45 2.51 3/218 24878
/proc/meminfo: memFree=27435392/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10725652 memory=487596 CPUtime=252.08 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 29077 0 0 0 25174 34 0 0 20 0 16 0 105573524 10983067648 121899 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2681413 121899 3163 1 0 2643904 0
[pid=24780/tid=24782] ppid=24777 vsize=10725652 memory=6791534058613427641 CPUtime=248.14 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) R 24777 24780 22004 0 -1 4202560 9157 0 0 0 24810 4 0 0 20 0 16 0 105573524 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553848955344 140553486782173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10725652 memory=12060 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 974 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10725652 memory=5788 CPUtime=0.17 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 612 0 0 0 12 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10725652 memory=792 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 203 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10725652 memory=1228 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 446 0 0 0 14 5 0 0 20 0 16 0 105573525 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10725652 memory=487596 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 775 0 0 0 1 0 0 0 20 0 16 0 105573526 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10725652 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 105573527 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553148704352 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10725652 memory=928 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105573527 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10725652 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10725652 memory=2244 CPUtime=1.34 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) S 24777 24780 22004 0 -1 1077944384 6899 0 0 0 133 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553145547120 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10725652 memory=4124 CPUtime=1.28 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) S 24777 24780 22004 0 -1 1077944384 3789 0 0 0 127 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10725652 memory=2200 CPUtime=0.43 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) S 24777 24780 22004 0 -1 1077944384 4344 0 0 0 42 1 0 0 20 0 16 0 105573529 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553143441520 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10725652 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105573530 10983067648 121899 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10725652 memory=844 CPUtime=0.06 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 481 0 0 0 2 4 0 0 20 0 16 0 105573530 10983067648 121899 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24796] ppid=24777 vsize=10725652 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24796/stat : 24796 (java) S 24777 24780 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105573643 10983067648 121899 33554432000 4194304 4196468 140725804126592 140552496301488 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 487596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.631 s]
# the end of solver process 24780 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.772 s, system=0.353093 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.601 s]
/proc/loadavg: 2.08 2.45 2.51 3/218 24878
/proc/meminfo: memFree=27435392/32770624 swapFree=67108860/67108860
[pid=24780] ppid=24777 vsize=10925344 memory=487808 CPUtime=252.09 cores=1,3,5,7
/proc/24780/stat : 24780 (java) S 24777 24780 22004 0 -1 1077944320 30227 0 0 0 25175 34 0 0 20 0 17 0 105573524 11187552256 121952 33554432000 4194304 4196468 140725804126592 140725804109136 140553844719351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
/proc/24780/statm: 2731336 121952 3165 1 0 2693827 0
[pid=24780/tid=24782] ppid=24777 vsize=10925344 memory=3848 CPUtime=248.15 cores=1,3,5,7
/proc/24780/task/24782/stat : 24782 (java) S 24777 24780 22004 0 -1 1077944384 9250 0 0 0 24811 4 0 0 20 0 17 0 105573524 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553848962224 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24783] ppid=24777 vsize=10925344 memory=2756 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24783/stat : 24783 (java) S 24777 24780 22004 0 -1 1077944384 974 0 0 0 14 5 0 0 20 0 17 0 105573525 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553451137680 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24784] ppid=24777 vsize=10925344 memory=2588 CPUtime=0.17 cores=1,3,5,7
/proc/24780/task/24784/stat : 24784 (java) S 24777 24780 22004 0 -1 1077944384 612 0 0 0 12 5 0 0 20 0 17 0 105573525 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553450084880 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24785] ppid=24777 vsize=10925344 memory=1408 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24785/stat : 24785 (java) S 24777 24780 22004 0 -1 1077944384 203 0 0 0 14 5 0 0 20 0 17 0 105573525 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553449032080 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24786] ppid=24777 vsize=10925344 memory=3164 CPUtime=0.19 cores=1,3,5,7
/proc/24780/task/24786/stat : 24786 (java) S 24777 24780 22004 0 -1 1077944384 446 0 0 0 14 5 0 0 20 0 17 0 105573525 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553447979280 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24787] ppid=24777 vsize=10925344 memory=487596 CPUtime=0.01 cores=1,3,5,7
/proc/24780/task/24787/stat : 24787 (java) S 24777 24780 22004 0 -1 1077944384 789 0 0 0 1 0 0 0 20 0 17 0 105573526 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553149758320 140553844730498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24788] ppid=24777 vsize=10925344 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24788/stat : 24788 (java) S 24777 24780 22004 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 105573527 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553148704352 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24789] ppid=24777 vsize=10925344 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24789/stat : 24789 (java) S 24777 24780 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105573527 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553147651440 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24790] ppid=24777 vsize=10925344 memory=427072 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24790/stat : 24790 (java) S 24777 24780 22004 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 17 0 105573529 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553146599760 140553844737947 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24791] ppid=24777 vsize=10925344 memory=3208 CPUtime=1.34 cores=1,3,5,7
/proc/24780/task/24791/stat : 24791 (java) S 24777 24780 22004 0 -1 1077944384 6899 0 0 0 133 1 0 0 20 0 17 0 105573529 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553145547120 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24792] ppid=24777 vsize=10925344 memory=427072 CPUtime=1.28 cores=1,3,5,7
/proc/24780/task/24792/stat : 24792 (java) S 24777 24780 22004 0 -1 1077944384 3789 0 0 0 127 1 0 0 20 0 17 0 105573529 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553144494320 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24793] ppid=24777 vsize=10925344 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/24780/task/24793/stat : 24793 (java) S 24777 24780 22004 0 -1 1077944384 4756 0 0 0 42 1 0 0 20 0 17 0 105573529 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553143441520 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24794] ppid=24777 vsize=10925344 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/24780/task/24794/stat : 24794 (java) S 24777 24780 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105573530 11187552256 121952 33554432000 4194304 4196468 140725804126592 140553142388960 140553844729557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
[pid=24780/tid=24795] ppid=24777 vsize=10925344 memory=288230583166042426 CPUtime=0.06 cores=1,3,5,7
/proc/24780/task/24795/stat : 24795 (java) S 24777 24780 22004 0 -1 1077944384 481 0 0 0 2 4 0 0 20 0 17 0 105573530 11187552256 121952 33554432000 4194304 4196468 140725804126592 140552497355952 140553844730498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17027072 140725804131446 140725804131598 140725804131598 140725804134351 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 487808 KiB
Child status: 143
Real time (s): 248.631
CPU time (s): 252.125
CPU user time (s): 251.772
CPU system time (s): 0.353093
CPU usage (%): 101.405
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 487808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.772
system time used= 0.353093
maximum resident set size= 488212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7397
involuntary context switches= 119
# summary of solver processes directly reported to runsolver:
# pid: 24780
# total CPU time (s): 252.125
# total CPU user time (s): 251.772
# total CPU system time (s): 0.353093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.382 second user time and 2.33228 second system time
The end