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 (11478 MiB free)
memory of node 1: 16384 MiB (14286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396318-1568395901/watcher-4396318-1568395901 -o /tmp/evaluation-result-4396318-1568395901/solver-4396318-1568395901 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568393313-9343 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1191012775 HOME/instance-4396318-1568395901.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10852, runsolver pid=10849
[startup+0.100095 s]*
/proc/loadavg: 1.52 1.52 1.53 3/219 10909
/proc/meminfo: memFree=26379380/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=9972712 memory=16948 CPUtime=0.09 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 4493 13218 0 0 1 0 5 3 20 0 6 0 415530302 10212057088 4237 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2493178 4237 1935 1 0 2481616 0
[pid=10852/tid=10905] ppid=10849 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 2313 13218 0 0 1 0 5 3 20 0 6 0 415530311 10212057088 4303 33554432000 4194304 4196468 140721349185024 139860689322576 139860717507741 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=9972712 memory=5793855368762890681 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 6 0 415530312 10212057088 4303 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=9972712 memory=140117752997504 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 6 0 415530312 10212057088 4303 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 6 0 415530312 10212057088 4303 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 6 0 415530312 10212057088 4303 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB
[startup+0.21004 s]*
/proc/loadavg: 1.52 1.52 1.53 4/228 10918
/proc/meminfo: memFree=26356372/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10819664 memory=39856 CPUtime=0.26 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 7277 13218 0 0 17 1 5 3 20 0 15 0 415530302 11079335936 9964 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2704916 9964 3160 1 0 2667149 0
[pid=10852/tid=10905] ppid=10849 vsize=10819664 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 3782 13218 0 0 11 0 5 3 20 0 15 0 415530311 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860689300656 139860701566302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10819664 memory=4211973843957788042 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10819664 memory=140117752997504 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10819664 memory=140117752997504 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 415530313 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 415530314 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860174169632 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530314 11079335936 9964 33554432000 4194304 4196468 140721349185024 139859570189680 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11079335936 9964 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 468 13218 0 0 1 0 5 3 20 0 15 0 415530317 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 182 13218 0 0 1 0 5 3 20 0 15 0 415530317 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10819664 memory=140117752997504 CPUtime=0.11 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) S 10849 10852 6698 0 -1 1077944384 614 13218 0 0 3 0 5 3 20 0 15 0 415530317 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860139559024 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11079335936 9964 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10819664 memory=140117752997504 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530317 11079335936 9964 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39856 KiB
[startup+0.310392 s]*
/proc/loadavg: 1.52 1.52 1.53 5/228 10918
/proc/meminfo: memFree=26343700/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10820148 memory=51028 CPUtime=0.41 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 10972 13218 0 0 30 3 5 3 20 0 15 0 415530302 11079831552 12757 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2705037 12757 3292 1 0 2667149 0
[pid=10852/tid=10905] ppid=10849 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 7456 13218 0 0 19 2 5 3 20 0 15 0 415530311 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860689285728 139860701566302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 415530312 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10820148 memory=140117752997503 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 415530313 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 415530314 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860174169632 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10820148 memory=140117752997504 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530314 11079831552 12757 33554432000 4194304 4196468 140721349185024 139859570189680 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11079831552 12757 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 477 13218 0 0 2 0 5 3 20 0 15 0 415530317 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 183 13218 0 0 1 0 5 3 20 0 15 0 415530317 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) S 10849 10852 6698 0 -1 1077944384 623 13218 0 0 5 0 5 3 20 0 15 0 415530317 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860139559024 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11079831552 12757 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530317 11079831552 12757 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51028 KiB
[startup+0.709813 s]
/proc/loadavg: 1.52 1.52 1.53 3/228 10918
/proc/meminfo: memFree=26329276/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10824360 memory=83568 CPUtime=1.16 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 15122 13218 0 0 103 5 5 3 20 0 15 0 415530302 11084144640 20892 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2706090 20892 3500 1 0 2668173 0
[pid=10852/tid=10905] ppid=10849 vsize=10824360 memory=1660 CPUtime=0.67 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 10452 13218 0 0 56 3 5 3 20 0 15 0 415530311 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860689312976 139860717497750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10824360 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10824360 memory=140117604082177 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10824360 memory=140119013065621 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530312 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10824360 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 415530312 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10824360 memory=5794559664533100645 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 5 13218 0 0 0 0 5 3 20 0 15 0 415530313 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10824360 memory=7739276948477931367 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 415530314 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860174169632 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10824360 memory=5787219428069434709 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530314 11084144640 20892 33554432000 4194304 4196468 140721349185024 139859570189680 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10824360 memory=3054156605368933524 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11084144640 20892 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10824360 memory=8326441112149131693 CPUtime=0.23 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) R 10849 10852 6698 0 -1 4202560 971 13218 0 0 15 0 5 3 20 0 15 0 415530317 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860243028632 139860700874264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10824360 memory=7679937539659563834 CPUtime=0.2 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) R 10849 10852 6698 0 -1 1077944384 644 13218 0 0 12 0 5 3 20 0 15 0 415530317 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10824360 memory=6944656425123485561 CPUtime=0.25 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) R 10849 10852 6698 0 -1 4202560 818 13218 0 0 17 0 5 3 20 0 15 0 415530317 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860139559024 139860717497750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10824360 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11084144640 20892 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530317 11084144640 20892 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83568 KiB
[startup+1.50341 s]
/proc/loadavg: 1.52 1.52 1.53 3/228 10918
/proc/meminfo: memFree=26280392/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10834676 memory=180732 CPUtime=2.55 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 21715 13218 0 0 239 8 5 3 20 0 15 0 415530302 11094708224 45183 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2708669 45183 3577 1 0 2670733 0
[pid=10852/tid=10905] ppid=10849 vsize=10834676 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 15339 13218 0 0 130 5 5 3 20 0 15 0 415530311 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860689294336 139860717497750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10834676 memory=105100 CPUtime=0.1 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 55 13218 0 0 2 0 5 3 20 0 15 0 415530312 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10834676 memory=5790086053191909267 CPUtime=0.1 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 324 13218 0 0 2 0 5 3 20 0 15 0 415530312 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 34 13218 0 0 1 0 5 3 20 0 15 0 415530312 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 63 13218 0 0 1 0 5 3 20 0 15 0 415530312 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 133 13218 0 0 1 0 5 3 20 0 15 0 415530313 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10834676 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 14 13218 0 0 0 0 5 3 20 0 15 0 415530314 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860174169696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10834676 memory=2580 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530314 11094708224 45183 33554432000 4194304 4196468 140721349185024 139859570189680 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10834676 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11094708224 45183 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10834676 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 1189 13218 0 0 31 0 5 3 20 0 15 0 415530317 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10834676 memory=186975697035453 CPUtime=0.35 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 809 13218 0 0 27 0 5 3 20 0 15 0 415530317 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10834676 memory=3093419 CPUtime=0.47 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) R 10849 10852 6698 0 -1 4202560 1542 13218 0 0 39 0 5 3 20 0 15 0 415530317 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860139559024 139860710582651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10834676 memory=6935649255759568985 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11094708224 45183 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10834676 memory=7007706849797498196 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 415530317 11094708224 45183 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 129408 13218 0 0 236669 48 5 3 20 0 15 0 415530311 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860689321264 139860331983198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10846984 memory=2264696 CPUtime=11.41 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 46828 13218 0 0 1081 52 5 3 20 0 15 0 415530312 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10846984 memory=2264696 CPUtime=11.42 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 49646 13218 0 0 1086 48 5 3 20 0 15 0 415530312 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10846984 memory=2264696 CPUtime=11.46 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 54210 13218 0 0 1087 51 5 3 20 0 15 0 415530312 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10846984 memory=2264696 CPUtime=11.39 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 51323 13218 0 0 1078 53 5 3 20 0 15 0 415530312 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10846984 memory=2264696 CPUtime=2.5 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 25639 13218 0 0 220 22 5 3 20 0 15 0 415530313 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10846984 memory=2264696 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 53 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860174169696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10846984 memory=40028 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 34 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 566174 33554432000 4194304 4196468 140721349185024 139859570189696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10846984 memory=40028 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 566174 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10846984 memory=988 CPUtime=10.27 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 64067 13218 0 0 1013 6 5 3 20 0 15 0 415530317 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10846984 memory=0 CPUtime=9.56 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 57817 13218 0 0 942 6 5 3 20 0 15 0 415530317 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10846984 memory=3472328296227691969 CPUtime=2.62 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) S 10849 10852 6698 0 -1 1077944384 40024 13218 0 0 247 7 5 3 20 0 15 0 415530317 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860139559024 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10846984 memory=2264696 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 566174 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10846984 memory=3620 CPUtime=1.38 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 2773 13218 0 0 57 73 5 3 20 0 15 0 415530317 11107311616 566174 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 2438.64 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2264696 KiB
[startup+2442.3 s]
/proc/loadavg: 1.35 1.42 1.51 3/228 11546
/proc/meminfo: memFree=26032708/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10846984 memory=2265108 CPUtime=2499.93 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 532953 13218 0 0 249639 346 5 3 20 0 15 0 415530302 11107311616 566277 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2711746 566277 3638 1 0 2673805 0
[pid=10852/tid=10905] ppid=10849 vsize=10846984 memory=2265620 CPUtime=2426.73 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 131132 13218 0 0 242617 48 5 3 20 0 15 0 415530311 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860689322080 139860333071920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10846984 memory=2266136 CPUtime=11.77 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 47552 13218 0 0 1117 52 5 3 20 0 15 0 415530312 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10846984 memory=0 CPUtime=11.78 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 50363 13218 0 0 1121 49 5 3 20 0 15 0 415530312 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10846984 memory=2266132 CPUtime=11.82 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 55636 13218 0 0 1123 51 5 3 20 0 15 0 415530312 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10846984 memory=2265108 CPUtime=11.76 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 52337 13218 0 0 1113 55 5 3 20 0 15 0 415530312 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10846984 memory=2266644 CPUtime=2.59 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 26269 13218 0 0 229 22 5 3 20 0 15 0 415530313 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10846984 memory=2266136 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 53 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860174169696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10846984 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 34 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 566277 33554432000 4194304 4196468 140721349185024 139859570189696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10846984 memory=2266644 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 566277 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10846984 memory=2266644 CPUtime=10.27 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 64073 13218 0 0 1013 6 5 3 20 0 15 0 415530317 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10846984 memory=2266136 CPUtime=9.79 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 60460 13218 0 0 965 6 5 3 20 0 15 0 415530317 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10846984 memory=2266136 CPUtime=2.62 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) S 10849 10852 6698 0 -1 1077944384 40028 13218 0 0 247 7 5 3 20 0 15 0 415530317 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860139559024 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10846984 memory=2268184 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 566277 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10846984 memory=988 CPUtime=1.41 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 2804 13218 0 0 58 75 5 3 20 0 15 0 415530317 11107311616 566277 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 2499.93 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2265108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.11 s]
/proc/loadavg: 1.45 1.44 1.51 3/227 11548
/proc/meminfo: memFree=26041820/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10846984 memory=2259460 CPUtime=2520.09 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 533847 13218 0 0 251653 348 5 3 20 0 15 0 415530302 11107311616 564865 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2711746 564865 3638 1 0 2673805 0
[pid=10852/tid=10905] ppid=10849 vsize=10846984 memory=2259972 CPUtime=2446.37 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 131379 13218 0 0 244581 48 5 3 20 0 15 0 415530311 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860689322080 139860338832684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10846984 memory=2259464 CPUtime=11.9 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 47656 13218 0 0 1129 53 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10846984 memory=2266136 CPUtime=11.9 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 50534 13218 0 0 1133 49 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10846984 memory=2259460 CPUtime=11.93 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 55858 13218 0 0 1134 51 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10846984 memory=164 CPUtime=11.88 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 52441 13218 0 0 1125 55 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10846984 memory=2260484 CPUtime=2.63 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 26303 13218 0 0 232 23 5 3 20 0 15 0 415530313 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10846984 memory=2261000 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 53 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860174169696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10846984 memory=2261512 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 34 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 564865 33554432000 4194304 4196468 140721349185024 139859570189696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10846984 memory=2260488 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10846984 memory=2264080 CPUtime=10.27 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 64075 13218 0 0 1013 6 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10846984 memory=2259972 CPUtime=9.79 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 60462 13218 0 0 965 6 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10846984 memory=2259460 CPUtime=2.62 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) S 10849 10852 6698 0 -1 1077944384 40032 13218 0 0 247 7 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860139559024 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10846984 memory=2261000 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10846984 memory=2261000 CPUtime=1.42 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 2808 13218 0 0 58 76 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2259460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.17 s]
# the end of solver process 10852 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.63 s, system=3.5369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.11 s]
/proc/loadavg: 1.45 1.44 1.51 3/227 11548
/proc/meminfo: memFree=26041820/32770624 swapFree=66959224/67108860
[pid=10852] ppid=10849 vsize=10846984 memory=2259460 CPUtime=2520.09 cores=1,3,5,7
/proc/10852/stat : 10852 (java) S 10849 10852 6698 0 -1 1077944320 533847 13218 0 0 251653 348 5 3 20 0 15 0 415530302 11107311616 564865 33554432000 4194304 4196468 140721349185024 140721349167568 139860717485815 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
/proc/10852/statm: 2711746 564865 3638 1 0 2673805 0
[pid=10852/tid=10905] ppid=10849 vsize=10846984 memory=2259972 CPUtime=2446.37 cores=1,3,5,7
/proc/10852/task/10905/stat : 10905 (java) R 10849 10852 6698 0 -1 4202560 131379 13218 0 0 244581 48 5 3 20 0 15 0 415530311 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860689322080 139860338832684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10906] ppid=10849 vsize=10846984 memory=2259464 CPUtime=11.9 cores=1,3,5,7
/proc/10852/task/10906/stat : 10906 (java) S 10849 10852 6698 0 -1 1077944384 47656 13218 0 0 1129 53 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860721728144 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10907] ppid=10849 vsize=10846984 memory=2266136 CPUtime=11.9 cores=1,3,5,7
/proc/10852/task/10907/stat : 10907 (java) S 10849 10852 6698 0 -1 1077944384 50534 13218 0 0 1133 49 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860290279952 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10908] ppid=10849 vsize=10846984 memory=2259460 CPUtime=11.93 cores=1,3,5,7
/proc/10852/task/10908/stat : 10908 (java) S 10849 10852 6698 0 -1 1077944384 55858 13218 0 0 1134 51 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860289227152 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10909] ppid=10849 vsize=10846984 memory=164 CPUtime=11.88 cores=1,3,5,7
/proc/10852/task/10909/stat : 10909 (java) S 10849 10852 6698 0 -1 1077944384 52441 13218 0 0 1125 55 5 3 20 0 15 0 415530312 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860288174352 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10910] ppid=10849 vsize=10846984 memory=2260484 CPUtime=2.63 cores=1,3,5,7
/proc/10852/task/10910/stat : 10910 (java) S 10849 10852 6698 0 -1 1077944384 26303 13218 0 0 232 23 5 3 20 0 15 0 415530313 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860244081520 139860717496962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10911] ppid=10849 vsize=10846984 memory=2261000 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10911/stat : 10911 (java) S 10849 10852 6698 0 -1 1077944384 53 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860174169696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10912] ppid=10849 vsize=10846984 memory=2261512 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10912/stat : 10912 (java) S 10849 10852 6698 0 -1 1077944384 34 13218 0 0 0 0 5 3 20 0 15 0 415530314 11107311616 564865 33554432000 4194304 4196468 140721349185024 139859570189696 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10913] ppid=10849 vsize=10846984 memory=2260488 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10913/stat : 10913 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139859262789968 139860717504411 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10914] ppid=10849 vsize=10846984 memory=2264080 CPUtime=10.27 cores=1,3,5,7
/proc/10852/task/10914/stat : 10914 (java) S 10849 10852 6698 0 -1 1077944384 64075 13218 0 0 1013 6 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860243028336 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10915] ppid=10849 vsize=10846984 memory=2259972 CPUtime=9.79 cores=1,3,5,7
/proc/10852/task/10915/stat : 10915 (java) S 10849 10852 6698 0 -1 1077944384 60462 13218 0 0 965 6 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860140611824 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10916] ppid=10849 vsize=10846984 memory=2259460 CPUtime=2.62 cores=1,3,5,7
/proc/10852/task/10916/stat : 10916 (java) S 10849 10852 6698 0 -1 1077944384 40032 13218 0 0 247 7 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860139559024 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10917] ppid=10849 vsize=10846984 memory=2261000 CPUtime=0.08 cores=1,3,5,7
/proc/10852/task/10917/stat : 10917 (java) S 10849 10852 6698 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139859229231328 139860717496021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
[pid=10852/tid=10918] ppid=10849 vsize=10846984 memory=2261000 CPUtime=1.42 cores=1,3,5,7
/proc/10852/task/10918/stat : 10918 (java) S 10849 10852 6698 0 -1 1077944384 2808 13218 0 0 58 76 5 3 20 0 15 0 415530317 11107311616 564865 33554432000 4194304 4196468 140721349185024 139860138507440 139860717496962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15769600 140721349188335 140721349190853 140721349190853 140721349193679 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2259460 KiB
Child status: 143
Real time (s): 2462.17
CPU time (s): 2520.16
CPU user time (s): 2516.63
CPU system time (s): 3.5369
CPU usage (%): 102.355
Max. virtual memory (cumulated for all children) (KiB): 10849604
Max. memory (cumulated for all children) (KiB): 2774676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.63
system time used= 3.5369
maximum resident set size= 2774676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107421
involuntary context switches= 3538
# summary of solver processes directly reported to runsolver:
# pid: 10852
# total CPU time (s): 2520.16
# total CPU user time (s): 2516.63
# total CPU system time (s): 3.5369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8941 second user time and 17.804 second system time
The end