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 (9590 MiB free)
memory of node 1: 16384 MiB (9799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294792-1532487446/watcher-4294792-1532487446 -o /tmp/evaluation-result-4294792-1532487446/solver-4294792-1532487446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532466433-19936 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=435336433 HOME/instance-4294792-1532487446.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24480, runsolver pid=24477
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 0.94 1.29 1.42 3/211 24537
/proc/meminfo: memFree=19850148/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=9972712 memory=16944 CPUtime=0.1 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 4410 13362 0 0 1 1 5 3 20 0 6 0 66307769 10212057088 4236 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2493178 4236 1934 1 0 2481616 0
[pid=24480/tid=24533] ppid=24477 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 2230 13362 0 0 0 0 5 3 20 0 6 0 66307778 10212057088 4302 33554432000 4194304 4196468 140725650654432 140517480329808 140517492573534 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=9972712 memory=5793855518979135929 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 6 0 66307779 10212057088 4302 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=9972712 memory=140267969242752 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 6 0 66307779 10212057088 4302 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 6 0 66307779 10212057088 4302 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 6 0 66307779 10212057088 4302 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16944 KiB
[startup+0.210001 s]*
/proc/loadavg: 0.94 1.29 1.42 3/220 24546
/proc/meminfo: memFree=19826512/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10818904 memory=44340 CPUtime=0.26 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 7749 13362 0 0 16 2 5 3 20 0 15 0 66307769 11078557696 11019 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2704726 11085 2950 1 0 2667149 0
[pid=24480/tid=24533] ppid=24477 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 4368 13362 0 0 10 1 5 3 20 0 15 0 66307778 11078557696 11085 33554432000 4194304 4196468 140725650654432 140517480271008 140517488768754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10818904 memory=4211973994174033290 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11078557696 11085 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10818904 memory=140267969242752 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11078557696 11085 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11078557696 11085 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307779 11078557696 11151 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307780 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 13 13362 0 0 0 0 5 3 20 0 15 0 66307781 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516431750176 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307781 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516297532272 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 481 13362 0 0 1 0 5 3 20 0 15 0 66307784 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 130 13362 0 0 0 0 5 3 20 0 15 0 66307784 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10818904 memory=140267969242752 CPUtime=0.11 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 601 13362 0 0 3 0 5 3 20 0 15 0 66307784 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10818904 memory=140267969242752 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307784 11078557696 11151 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44340 KiB
[startup+0.310329 s]*
/proc/loadavg: 0.94 1.29 1.42 3/220 24546
/proc/meminfo: memFree=19814604/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10819352 memory=55852 CPUtime=0.39 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 10440 13362 0 0 28 3 5 3 20 0 15 0 66307769 11079016448 13963 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2704838 13963 3100 1 0 2667149 0
[pid=24480/tid=24533] ppid=24477 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 7000 13362 0 0 19 2 5 3 20 0 15 0 66307778 11079016448 13963 33554432000 4194304 4196468 140725650654432 140517480305056 140517493658702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 13963 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 13963 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 13963 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 13963 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10819352 memory=140267969242751 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307780 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 13 13362 0 0 0 0 5 3 20 0 15 0 66307781 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516431750176 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10819352 memory=140267969242752 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307781 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516297532272 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 484 13362 0 0 2 0 5 3 20 0 15 0 66307784 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 133 13362 0 0 1 0 5 3 20 0 15 0 66307784 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 608 13362 0 0 5 0 5 3 20 0 15 0 66307784 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307784 11079016448 13963 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55852 KiB
[startup+0.700738 s]
/proc/loadavg: 0.94 1.29 1.42 3/220 24546
/proc/meminfo: memFree=19803192/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10819352 memory=88220 CPUtime=0.99 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 16709 13362 0 0 87 4 5 3 20 0 15 0 66307769 11079016448 22055 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2704838 22055 3238 1 0 2667149 0
[pid=24480/tid=24533] ppid=24477 vsize=10819352 memory=20252 CPUtime=0.67 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 12192 13362 0 0 56 3 5 3 20 0 15 0 66307778 11079016448 22055 33554432000 4194304 4196468 140725650654432 140517480316048 140517508514973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 22055 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10819352 memory=288230583132496608 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 22055 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10819352 memory=288287775051220497 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 22055 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307779 11079016448 22055 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10819352 memory=140267860828672 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 5 13362 0 0 0 0 5 3 20 0 15 0 66307780 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10819352 memory=140269336921058 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 13 13362 0 0 0 0 5 3 20 0 15 0 66307781 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516431750176 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307781 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516297532272 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10819352 memory=7305218370954160725 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10819352 memory=7452169109558028137 CPUtime=0.15 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 851 13362 0 0 7 0 5 3 20 0 15 0 66307784 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10819352 memory=6935652554413002832 CPUtime=0.17 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 763 13362 0 0 9 0 5 3 20 0 15 0 66307784 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10819352 memory=5450909908396308010 CPUtime=0.21 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 685 13362 0 0 13 0 5 3 20 0 15 0 66307784 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10819352 memory=1404238533875048054 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307784 11079016448 22055 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88220 KiB
[startup+1.50111 s]
/proc/loadavg: 0.94 1.29 1.42 3/220 24546
/proc/meminfo: memFree=19759932/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10834252 memory=182584 CPUtime=2.36 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 23740 13362 0 0 218 10 5 3 20 0 15 0 66307769 11094274048 45646 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2708563 45646 3468 1 0 2670221 0
[pid=24480/tid=24533] ppid=24477 vsize=10834252 memory=135808 CPUtime=1.43 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 17462 13362 0 0 129 6 5 3 20 0 15 0 66307778 11094274048 45646 33554432000 4194304 4196468 140725650654432 140517480299976 140517490058009 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10834252 memory=-3117775541953848420 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 21 13362 0 0 1 0 5 3 20 0 15 0 66307779 11094274048 45646 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 19 13362 0 0 1 0 5 3 20 0 15 0 66307779 11094274048 45646 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 183 13362 0 0 1 0 5 3 20 0 15 0 66307779 11094274048 45646 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 65 13362 0 0 1 0 5 3 20 0 15 0 66307779 11094274048 45646 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10834252 memory=245657768105465 CPUtime=0.09 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 46 13362 0 0 1 0 5 3 20 0 15 0 66307780 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10834252 memory=315765 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 13 13362 0 0 0 0 5 3 20 0 15 0 66307781 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516431750240 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10834252 memory=6935650355271196736 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307781 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516297532288 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10834252 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10834252 memory=280535721050352 CPUtime=0.3 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 1397 13362 0 0 22 0 5 3 20 0 15 0 66307784 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10834252 memory=4639059873309409381 CPUtime=0.31 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 1023 13362 0 0 23 0 5 3 20 0 15 0 66307784 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10834252 memory=-6305718303945023360 CPUtime=0.44 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 1315 13362 0 0 36 0 5 3 20 0 15 0 66307784 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10834252 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10834252 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1 13362 0 0 0 0 5 3 20 0 15 0 66307784 11094274048 45646 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 98100 13362 0 0 235629 50 5 3 20 0 15 0 66307778 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517480328144 140517130947441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.1 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 16875 13362 0 0 1247 55 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.14 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 19197 13362 0 0 1251 55 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.16 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 15241 13362 0 0 1255 53 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.12 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 22393 13362 0 0 1251 53 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10918240 memory=1149924 CPUtime=10.78 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 21419 13362 0 0 1014 56 5 3 20 0 15 0 66307780 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 15 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516431750304 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516297532288 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10918240 memory=1151972 CPUtime=6.98 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 30072 13362 0 0 685 5 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10918240 memory=1151972 CPUtime=7.13 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 28419 13362 0 0 700 5 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10918240 memory=1151972 CPUtime=3.73 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 30314 13362 0 0 359 6 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10918240 memory=1151972 CPUtime=1.44 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1509 13362 0 0 64 72 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 2438.82 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1151972 KiB
[startup+2442.3 s]
/proc/loadavg: 1.45 1.47 1.45 3/219 24778
/proc/meminfo: memFree=18592852/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10918240 memory=1151972 CPUtime=2499.85 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 287360 13362 0 0 249614 363 5 3 20 0 15 0 66307769 11180277760 287993 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2729560 287993 3528 1 0 2691213 0
[pid=24480/tid=24533] ppid=24477 vsize=10918240 memory=1151972 CPUtime=2416.22 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 98848 13362 0 0 241563 51 5 3 20 0 15 0 66307778 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517480328336 140517132451176 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.44 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 16993 13362 0 0 1280 56 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.47 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 19284 13362 0 0 1284 55 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.5 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 15363 13362 0 0 1289 53 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.46 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 22521 13362 0 0 1284 54 5 3 20 0 15 0 66307779 11180277760 287993 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10918240 memory=1151972 CPUtime=11.04 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 21792 13362 0 0 1038 58 5 3 20 0 15 0 66307780 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 15 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516431750304 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516297532288 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10918240 memory=1151972 CPUtime=6.98 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 30074 13362 0 0 685 5 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10918240 memory=1151972 CPUtime=7.13 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 28421 13362 0 0 700 5 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10918240 memory=4036 CPUtime=3.73 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 30317 13362 0 0 359 6 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10918240 memory=4036 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10918240 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1537 13362 0 0 66 73 5 3 20 0 15 0 66307784 11180277760 287993 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 2499.85 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1151972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.11 s]
/proc/loadavg: 1.40 1.45 1.44 3/219 24779
/proc/meminfo: memFree=18590064/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10918240 memory=1154020 CPUtime=2520.01 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 287604 13362 0 0 251628 365 5 3 20 0 15 0 66307769 11180277760 288505 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2729560 288505 3528 1 0 2691213 0
[pid=24480/tid=24533] ppid=24477 vsize=10918240 memory=1154020 CPUtime=2435.8 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 99028 13362 0 0 243521 51 5 3 20 0 15 0 66307778 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517480328352 140517132450958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10918240 memory=1154020 CPUtime=13.56 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 16994 13362 0 0 1292 56 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10918240 memory=1154020 CPUtime=13.6 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 19297 13362 0 0 1296 56 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10918240 memory=280535722748992 CPUtime=13.62 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 15390 13362 0 0 1300 54 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.58 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 22530 13362 0 0 1296 54 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10918240 memory=1151972 CPUtime=11.13 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 21804 13362 0 0 1047 58 5 3 20 0 15 0 66307780 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 15 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516431750304 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516297532288 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10918240 memory=1154020 CPUtime=6.98 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 30074 13362 0 0 685 5 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10918240 memory=1154020 CPUtime=7.13 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 28421 13362 0 0 700 5 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10918240 memory=4036 CPUtime=3.73 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 30317 13362 0 0 359 6 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10918240 memory=1154020 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10918240 memory=8 CPUtime=1.49 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1539 13362 0 0 67 74 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1154020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.14 s]
# the end of solver process 24480 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.36 s, system=3.69205 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.11 s]
/proc/loadavg: 1.40 1.45 1.44 3/219 24779
/proc/meminfo: memFree=18590064/32770624 swapFree=67108860/67108860
[pid=24480] ppid=24477 vsize=10918240 memory=1154020 CPUtime=2520.01 cores=0,2,4,6
/proc/24480/stat : 24480 (java) S 24477 24480 19905 0 -1 1077944320 287604 13362 0 0 251628 365 5 3 20 0 15 0 66307769 11180277760 288505 33554432000 4194304 4196468 140725650654432 140725650636976 140517508493047 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
/proc/24480/statm: 2729560 288505 3528 1 0 2691213 0
[pid=24480/tid=24533] ppid=24477 vsize=10918240 memory=1154020 CPUtime=2435.8 cores=0,2,4,6
/proc/24480/task/24533/stat : 24533 (java) R 24477 24480 19905 0 -1 4202560 99028 13362 0 0 243521 51 5 3 20 0 15 0 66307778 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517480328352 140517132450958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24534] ppid=24477 vsize=10918240 memory=1154020 CPUtime=13.56 cores=0,2,4,6
/proc/24480/task/24534/stat : 24534 (java) S 24477 24480 19905 0 -1 1077944384 16994 13362 0 0 1292 56 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517512735888 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24535] ppid=24477 vsize=10918240 memory=1154020 CPUtime=13.6 cores=0,2,4,6
/proc/24480/task/24535/stat : 24535 (java) S 24477 24480 19905 0 -1 1077944384 19297 13362 0 0 1296 56 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517440216080 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24536] ppid=24477 vsize=10918240 memory=280535722748992 CPUtime=13.62 cores=0,2,4,6
/proc/24480/task/24536/stat : 24536 (java) S 24477 24480 19905 0 -1 1077944384 15390 13362 0 0 1300 54 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517080411024 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24537] ppid=24477 vsize=10918240 memory=1151972 CPUtime=13.58 cores=0,2,4,6
/proc/24480/task/24537/stat : 24537 (java) S 24477 24480 19905 0 -1 1077944384 22530 13362 0 0 1296 54 5 3 20 0 15 0 66307779 11180277760 288505 33554432000 4194304 4196468 140725650654432 140517079358224 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24538] ppid=24477 vsize=10918240 memory=1151972 CPUtime=11.13 cores=0,2,4,6
/proc/24480/task/24538/stat : 24538 (java) S 24477 24480 19905 0 -1 1077944384 21804 13362 0 0 1047 58 5 3 20 0 15 0 66307780 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516511439216 140517508504194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24539] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24539/stat : 24539 (java) S 24477 24480 19905 0 -1 1077944384 15 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516431750304 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24540] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24540/stat : 24540 (java) S 24477 24480 19905 0 -1 1077944384 2 13362 0 0 0 0 5 3 20 0 15 0 66307781 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516297532288 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24541] ppid=24477 vsize=10918240 memory=1151972 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24541/stat : 24541 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516057241424 140517508511643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24542] ppid=24477 vsize=10918240 memory=1154020 CPUtime=6.98 cores=0,2,4,6
/proc/24480/task/24542/stat : 24542 (java) S 24477 24480 19905 0 -1 1077944384 30074 13362 0 0 685 5 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516510387056 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24543] ppid=24477 vsize=10918240 memory=1154020 CPUtime=7.13 cores=0,2,4,6
/proc/24480/task/24543/stat : 24543 (java) S 24477 24480 19905 0 -1 1077944384 28421 13362 0 0 700 5 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516509334256 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24544] ppid=24477 vsize=10918240 memory=4036 CPUtime=3.73 cores=0,2,4,6
/proc/24480/task/24544/stat : 24544 (java) S 24477 24480 19905 0 -1 1077944384 30317 13362 0 0 359 6 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516508281456 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24545] ppid=24477 vsize=10918240 memory=1154020 CPUtime=0.08 cores=0,2,4,6
/proc/24480/task/24545/stat : 24545 (java) S 24477 24480 19905 0 -1 1077944384 3 13362 0 0 0 0 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516023683808 140517508503253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
[pid=24480/tid=24546] ppid=24477 vsize=10918240 memory=8 CPUtime=1.49 cores=0,2,4,6
/proc/24480/task/24546/stat : 24546 (java) S 24477 24480 19905 0 -1 1077944384 1539 13362 0 0 67 74 5 3 20 0 15 0 66307784 11180277760 288505 33554432000 4194304 4196468 140725650654432 140516507228848 140517508504194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140725650659951 140725650662748 140725650662748 140725650665423 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1154020 KiB
Child status: 143
Real time (s): 2462.14
CPU time (s): 2520.05
CPU user time (s): 2516.36
CPU system time (s): 3.69205
CPU usage (%): 102.352
Max. virtual memory (cumulated for all children) (KiB): 10918824
Max. memory (cumulated for all children) (KiB): 1154020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.36
system time used= 3.69205
maximum resident set size= 1158320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 298091
involuntary context switches= 8329
# summary of solver processes directly reported to runsolver:
# pid: 24480
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.36
# total CPU system time (s): 3.69205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5503 second user time and 23.6497 second system time
The end