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 (10800 MiB free)
memory of node 1: 16384 MiB (9629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292141-1532606437/watcher-4292141-1532606437 -o /tmp/evaluation-result-4292141-1532606437/solver-4292141-1532606437 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532594599-4290 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 649030159 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292141-1532606437.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5547, runsolver pid=5544
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 1.35 1.37 1.36 3/216 5562
/proc/meminfo: memFree=20899068/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14082740 memory=35996 CPUtime=0.11 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 6931 0 0 0 10 1 0 0 20 0 15 0 78206867 14420725760 8999 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3520685 8999 3142 1 0 3482761 0
[pid=5547/tid=5549] ppid=5544 vsize=14082740 memory=-8535545551790109888 CPUtime=0.09 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 4987 0 0 0 9 0 0 0 20 0 15 0 78206867 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001773170928 140001749251254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78206869 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78206870 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001310188448 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78206870 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001309135856 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 8999 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0.01 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) R 5544 5547 2805 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 78206872 14420725760 8999 33554432000 4194304 4196468 140735063615824 140000742337264 140001761217509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 8999 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206873 14420725760 8999 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 35996 KiB
[startup+0.211974 s]*
/proc/loadavg: 1.35 1.37 1.36 4/216 5562
/proc/meminfo: memFree=20884184/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14082740 memory=49624 CPUtime=0.31 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 9973 0 0 0 29 2 0 0 20 0 15 0 78206867 14420725760 12406 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3520685 12406 3401 1 0 3482761 0
[pid=5547/tid=5549] ppid=5544 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 7687 0 0 0 19 1 0 0 20 0 15 0 78206867 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001773201104 140001388097871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14082740 memory=364 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14082740 memory=140079166049404 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 78206869 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78206870 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001310188448 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78206870 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001309135856 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 78206872 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 78206872 14420725760 12406 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0.06 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 285 0 0 0 6 0 0 0 20 0 15 0 78206872 14420725760 12406 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 12406 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206873 14420725760 12406 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49624 KiB
[startup+0.31061 s]*
/proc/loadavg: 1.35 1.37 1.36 3/216 5562
/proc/meminfo: memFree=20880788/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14082740 memory=53108 CPUtime=0.43 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 10327 0 0 0 41 2 0 0 20 0 15 0 78206867 14420725760 13277 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3520685 13277 3404 1 0 3482761 0
[pid=5547/tid=5549] ppid=5544 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 8027 0 0 0 28 2 0 0 20 0 15 0 78206867 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001773137856 140001750539679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14082740 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14082740 memory=140079166038752 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78206868 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 78206869 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78206870 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001310188448 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78206870 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001309135856 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 78206872 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 78206872 14420725760 13277 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 15 0 78206872 14420725760 13277 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14420725760 13277 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14082740 memory=140079165712000 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206873 14420725760 13277 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 53108 KiB
[startup+0.700719 s]
/proc/loadavg: 1.35 1.37 1.36 3/216 5562
/proc/meminfo: memFree=20856728/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14084808 memory=90792 CPUtime=0.99 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 17091 0 0 0 95 4 0 0 20 0 15 0 78206867 14422843392 22698 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3521202 22698 3493 1 0 3483273 0
[pid=5547/tid=5549] ppid=5544 vsize=14084808 memory=16248 CPUtime=0.67 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 14391 0 0 0 64 3 0 0 20 0 15 0 78206867 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001773194032 140001736562563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14084808 memory=14404 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14084808 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14084808 memory=640 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14084808 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78206868 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14084808 memory=956 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 78206869 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14084808 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78206870 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001310188448 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14084808 memory=932 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78206870 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001309135856 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14084808 memory=6153431502485416297 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14084808 memory=7733916894068367465 CPUtime=0.06 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 560 0 0 0 6 0 0 0 20 0 15 0 78206872 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14084808 memory=6004820471124940137 CPUtime=0.08 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 376 0 0 0 8 0 0 0 20 0 15 0 78206872 14422843392 22698 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 381 0 0 0 15 0 0 0 20 0 15 0 78206872 14422843392 22698 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14422843392 22698 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206873 14422843392 22698 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90792 KiB
[startup+1.50086 s]
/proc/loadavg: 1.35 1.37 1.36 5/216 5562
/proc/meminfo: memFree=20825088/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14090952 memory=142720 CPUtime=2.85 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 23365 0 0 0 278 7 0 0 20 0 15 0 78206867 14429134848 35680 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3522738 35680 3543 1 0 3484809 0
[pid=5547/tid=5549] ppid=5544 vsize=14090952 memory=132664 CPUtime=1.46 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 17714 0 0 0 142 4 0 0 20 0 15 0 78206867 14429134848 35680 33554432000 4194304 4196468 140735063615824 140001773211184 140001391343791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14429134848 35680 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14429134848 35680 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78206868 14429134848 35680 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14090952 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78206868 14429134848 35680 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 78206869 14429134848 35680 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
################
# More data... #
################
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 136979 0 0 0 223779 53 0 0 20 0 15 0 78206867 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001773213328 140001396398317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14093000 memory=479060 CPUtime=14.92 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 13614 0 0 0 1422 70 0 0 20 0 15 0 78206868 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14093000 memory=480596 CPUtime=14.89 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 14543 0 0 0 1424 65 0 0 20 0 15 0 78206868 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14093000 memory=482136 CPUtime=14.86 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 10965 0 0 0 1419 67 0 0 20 0 15 0 78206868 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14093000 memory=0 CPUtime=14.83 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 12511 0 0 0 1412 71 0 0 20 0 15 0 78206868 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14093000 memory=480596 CPUtime=6.58 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 17740 0 0 0 586 72 0 0 20 0 15 0 78206869 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14093000 memory=477520 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001310188512 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14093000 memory=477520 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001309135872 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14093000 memory=485728 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14093000 memory=485728 CPUtime=2.25 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 12675 0 0 0 223 2 0 0 20 0 15 0 78206872 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14093000 memory=485216 CPUtime=2.44 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 11755 0 0 0 241 3 0 0 20 0 15 0 78206872 14431232000 119380 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14093000 memory=4140 CPUtime=1.11 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 17850 0 0 0 108 3 0 0 20 0 15 0 78206872 14431232000 119380 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14093000 memory=479060 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 119380 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14093000 memory=4592 CPUtime=1.27 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 884 0 0 0 55 72 0 0 20 0 15 0 78206873 14431232000 119380 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 2311.55 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 477520 KiB
[startup+2322.3 s]
/proc/loadavg: 1.03 1.39 1.43 3/215 5730
/proc/meminfo: memFree=20875088/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14093000 memory=488296 CPUtime=2372.89 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 255330 0 0 0 236849 440 0 0 20 0 15 0 78206867 14431232000 122074 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3523250 122074 3620 1 0 3485321 0
[pid=5547/tid=5549] ppid=5544 vsize=14093000 memory=488296 CPUtime=2297.63 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 138207 0 0 0 229708 55 0 0 20 0 15 0 78206867 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001773213184 140001392206878 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14093000 memory=488296 CPUtime=15.37 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 13883 0 0 0 1466 71 0 0 20 0 15 0 78206868 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14093000 memory=5644 CPUtime=15.34 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 14622 0 0 0 1468 66 0 0 20 0 15 0 78206868 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14093000 memory=4592 CPUtime=15.32 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 11059 0 0 0 1464 68 0 0 20 0 15 0 78206868 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14093000 memory=1424 CPUtime=15.28 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 12610 0 0 0 1456 72 0 0 20 0 15 0 78206868 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14093000 memory=517968 CPUtime=6.75 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 20154 0 0 0 601 74 0 0 20 0 15 0 78206869 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14093000 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001310188512 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14093000 memory=494452 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001309135872 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14093000 memory=495992 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14093000 memory=488296 CPUtime=2.25 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 12675 0 0 0 223 2 0 0 20 0 15 0 78206872 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14093000 memory=488296 CPUtime=2.44 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 11823 0 0 0 241 3 0 0 20 0 15 0 78206872 14431232000 122074 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14093000 memory=497532 CPUtime=1.11 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 17958 0 0 0 108 3 0 0 20 0 15 0 78206872 14431232000 122074 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14093000 memory=497532 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 122074 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14093000 memory=4140 CPUtime=1.31 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 892 0 0 0 57 74 0 0 20 0 15 0 78206873 14431232000 122074 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 2372.89 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 488296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2348.9 s]
/proc/loadavg: 1.16 1.39 1.43 3/215 5730
/proc/meminfo: memFree=20856144/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14093000 memory=513420 CPUtime=2400.09 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 256103 0 0 0 239563 446 0 0 20 0 15 0 78206867 14431232000 128355 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3523250 128355 3620 1 0 3485321 0
[pid=5547/tid=5549] ppid=5544 vsize=14093000 memory=514960 CPUtime=2323.92 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 138591 0 0 0 232337 55 0 0 20 0 15 0 78206867 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001773213296 140001396871420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14093000 memory=513940 CPUtime=15.57 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 13959 0 0 0 1485 72 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14093000 memory=514460 CPUtime=15.54 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 14713 0 0 0 1487 67 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14093000 memory=514472 CPUtime=15.53 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 11139 0 0 0 1484 69 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14093000 memory=469828 CPUtime=15.48 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 12698 0 0 0 1475 73 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14093000 memory=477524 CPUtime=6.81 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 20204 0 0 0 607 74 0 0 20 0 15 0 78206869 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14093000 memory=514472 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001310188512 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14093000 memory=513420 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001309135872 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14093000 memory=512912 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14093000 memory=515988 CPUtime=2.25 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 12677 0 0 0 223 2 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14093000 memory=513432 CPUtime=2.44 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 11825 0 0 0 241 3 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14093000 memory=514972 CPUtime=1.11 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 17958 0 0 0 108 3 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14093000 memory=23456 CPUtime=1.32 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 892 0 0 0 57 75 0 0 20 0 15 0 78206873 14431232000 128355 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 513420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2348.91 s]
# the end of solver process 5547 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.64 s, system=4.46545 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2348.9 s]
/proc/loadavg: 1.16 1.39 1.43 3/215 5730
/proc/meminfo: memFree=20856144/32770624 swapFree=67108860/67108860
[pid=5547] ppid=5544 vsize=14093000 memory=513420 CPUtime=2400.09 cores=1,3,5,7
/proc/5547/stat : 5547 (java) S 5544 5547 2805 0 -1 1077944320 256103 0 0 0 239563 446 0 0 20 0 15 0 78206867 14431232000 128355 33554432000 4194304 4196468 140735063615824 140735063598368 140001768976119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
/proc/5547/statm: 3523250 128355 3620 1 0 3485321 0
[pid=5547/tid=5549] ppid=5544 vsize=14093000 memory=514960 CPUtime=2323.92 cores=1,3,5,7
/proc/5547/task/5549/stat : 5549 (java) R 5544 5547 2805 0 -1 4202560 138591 0 0 0 232337 55 0 0 20 0 15 0 78206867 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001773213296 140001396871420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5550] ppid=5544 vsize=14093000 memory=513940 CPUtime=15.57 cores=1,3,5,7
/proc/5547/task/5550/stat : 5550 (java) S 5544 5547 2805 0 -1 1077944384 13959 0 0 0 1485 72 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001721596688 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5551] ppid=5544 vsize=14093000 memory=514460 CPUtime=15.54 cores=1,3,5,7
/proc/5547/task/5551/stat : 5551 (java) S 5544 5547 2805 0 -1 1077944384 14713 0 0 0 1487 67 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001720544144 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5552] ppid=5544 vsize=14093000 memory=514472 CPUtime=15.53 cores=1,3,5,7
/proc/5547/task/5552/stat : 5552 (java) S 5544 5547 2805 0 -1 1077944384 11139 0 0 0 1484 69 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001719491600 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5553] ppid=5544 vsize=14093000 memory=469828 CPUtime=15.48 cores=1,3,5,7
/proc/5547/task/5553/stat : 5553 (java) S 5544 5547 2805 0 -1 1077944384 12698 0 0 0 1475 73 0 0 20 0 15 0 78206868 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001718439056 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5554] ppid=5544 vsize=14093000 memory=477524 CPUtime=6.81 cores=1,3,5,7
/proc/5547/task/5554/stat : 5554 (java) S 5544 5547 2805 0 -1 1077944384 20204 0 0 0 607 74 0 0 20 0 15 0 78206869 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001311242224 140001768987266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5555] ppid=5544 vsize=14093000 memory=514472 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5555/stat : 5555 (java) S 5544 5547 2805 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001310188512 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5556] ppid=5544 vsize=14093000 memory=513420 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5556/stat : 5556 (java) S 5544 5547 2805 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 78206870 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001309135872 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5557] ppid=5544 vsize=14093000 memory=512912 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5557/stat : 5557 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001308084432 140001768994715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5558] ppid=5544 vsize=14093000 memory=515988 CPUtime=2.25 cores=1,3,5,7
/proc/5547/task/5558/stat : 5558 (java) S 5544 5547 2805 0 -1 1077944384 12677 0 0 0 223 2 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001307032048 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5559] ppid=5544 vsize=14093000 memory=513432 CPUtime=2.44 cores=1,3,5,7
/proc/5547/task/5559/stat : 5559 (java) S 5544 5547 2805 0 -1 1077944384 11825 0 0 0 241 3 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140001305979504 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5560] ppid=5544 vsize=14093000 memory=514972 CPUtime=1.11 cores=1,3,5,7
/proc/5547/task/5560/stat : 5560 (java) S 5544 5547 2805 0 -1 1077944384 17958 0 0 0 108 3 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140000742337264 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5561] ppid=5544 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/5547/task/5561/stat : 5561 (java) S 5544 5547 2805 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78206872 14431232000 128355 33554432000 4194304 4196468 140735063615824 140000741284960 140001768986325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
[pid=5547/tid=5562] ppid=5544 vsize=14093000 memory=23456 CPUtime=1.32 cores=1,3,5,7
/proc/5547/task/5562/stat : 5562 (java) S 5544 5547 2805 0 -1 1077944384 892 0 0 0 57 75 0 0 20 0 15 0 78206873 14431232000 128355 33554432000 4194304 4196468 140735063615824 140000740231472 140001768987266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735063622741 140735063622921 140735063622921 140735063625679 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 513420 KiB
Child status: 143
Real time (s): 2348.91
CPU time (s): 2400.11
CPU user time (s): 2395.64
CPU system time (s): 4.46545
CPU usage (%): 102.18
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 726868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.64
system time used= 4.46545
maximum resident set size= 729420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219600
involuntary context switches= 6512
# summary of solver processes directly reported to runsolver:
# pid: 5547
# total CPU time (s): 2400.11
# total CPU user time (s): 2395.64
# total CPU system time (s): 4.46545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.093 second user time and 22.555 second system time
The end