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 (14479 MiB free)
memory of node 1: 16384 MiB (15440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259448-1502646178/watcher-4259448-1502646178 -o /tmp/evaluation-result-4259448-1502646178/solver-4259448-1502646178 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259448-1502646178.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29977, runsolver pid=29974
[startup+0.10006 s]*
/proc/loadavg: 1.13 1.69 1.85 4/204 29998
/proc/meminfo: memFree=30637840/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/29977/stat : 29977 (bash) S 29974 29977 8289 0 -1 4202496 900 6474 0 0 0 0 0 1 20 0 1 0 112432986 9867264 378 18446744073709551615 4194304 5098028 140730521249456 140730521243464 140688315538432 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 21753856 140730521252340 140730521252425 140730521252425 140730521255914 0
/proc/29977/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.13 1.69 1.85 2/216 30022
/proc/meminfo: memFree=30624672/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=30192 memory=1852 CPUtime=0.07 cores=1,3,5,7
/proc/29977/stat : 29977 (java) R 29974 29977 8289 0 -1 4202496 1480 12691 0 0 0 0 5 2 20 0 1 0 112432986 30916608 463 18446744073709551615 4194304 4196468 140721594712944 140721594693640 140003647960699 0 0 1 0 0 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 7548 463 356 1 0 160 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 1852 KiB
[startup+0.309975 s]*
/proc/loadavg: 1.13 1.69 1.85 2/213 30039
/proc/meminfo: memFree=30628352/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=13907308 memory=20640 CPUtime=0.13 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 5975 12691 0 0 5 1 5 2 20 0 14 0 112432986 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3476827 5160 2571 1 0 3466324 0
[pid=29977/tid=30027] ppid=29974 vsize=13907308 memory=8318255677412212789 CPUtime=0.12 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) D 29974 29977 8289 0 -1 4202560 3242 12691 0 0 4 1 5 2 20 0 14 0 112433008 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003649976224 140003645760765 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=13907308 memory=330 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 14 0 112433008 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=13907308 memory=320859981767039360 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 14 0 112433008 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=13907308 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 14 0 112433008 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=13907308 memory=3472328296227680299 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 2 12691 0 0 0 0 5 2 20 0 14 0 112433008 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=13907308 memory=3472467997669381808 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 2 12691 0 0 0 0 5 2 20 0 14 0 112433010 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=13907308 memory=8607328266676888414 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 33 12691 0 0 0 0 5 2 20 0 14 0 112433010 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003190445216 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 21 12691 0 0 0 0 5 2 20 0 14 0 112433010 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003189392112 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 14 0 112433013 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 285 12691 0 0 0 0 5 2 20 0 14 0 112433013 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003187288816 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=13907308 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 14 0 112433013 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003186236272 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=13907308 memory=139701441963648 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 223 12691 0 0 0 0 5 2 20 0 14 0 112433013 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=13907308 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 14 0 112433013 14241083392 5160 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 20640 KiB
[startup+0.706352 s]
/proc/loadavg: 1.13 1.69 1.85 3/214 30040
/proc/meminfo: memFree=30597712/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=13974784 memory=58100 CPUtime=0.63 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 14056 12691 0 0 51 5 5 2 20 0 15 0 112432986 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3493696 14525 3123 1 0 3482965 0
[pid=29977/tid=30027] ppid=29974 vsize=13974784 memory=2884 CPUtime=0.48 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) R 29974 29977 8289 0 -1 4202560 10454 12691 0 0 38 3 5 2 20 0 15 0 112433008 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003649959472 140003267187904 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=13974784 memory=2888 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433008 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=13974784 memory=4068 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433008 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=13974784 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433008 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=13974784 memory=2968 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 2 12691 0 0 0 0 5 2 20 0 15 0 112433008 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=13974784 memory=696192 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 5 12691 0 0 0 0 5 2 20 0 15 0 112433010 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=13974784 memory=1160 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 33 12691 0 0 0 0 5 2 20 0 15 0 112433010 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003190445216 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=13974784 memory=2332 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 21 12691 0 0 0 0 5 2 20 0 15 0 112433010 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003189392112 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=13974784 memory=2276 CPUtime=0.1 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 554 12691 0 0 3 0 5 2 20 0 15 0 112433013 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003187288816 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=13974784 memory=4206186544037378658 CPUtime=0.08 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 265 12691 0 0 1 0 5 2 20 0 15 0 112433013 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003186236272 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=13974784 memory=6656426216303648864 CPUtime=0.15 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) R 29974 29977 8289 0 -1 4202560 557 12691 0 0 8 0 5 2 20 0 15 0 112433013 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003624874520 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=13974784 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=13974784 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433019 14310178816 14525 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 58100 KiB
[startup+1.50071 s]
/proc/loadavg: 1.13 1.69 1.85 3/214 30040
/proc/meminfo: memFree=30556556/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=13985408 memory=137976 CPUtime=1.81 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 27299 12691 0 0 165 9 5 2 20 0 15 0 112432986 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3496352 34494 3343 1 0 3485525 0
[pid=29977/tid=30027] ppid=29974 vsize=13985408 memory=9878424783013 CPUtime=1.27 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) R 29974 29977 8289 0 -1 4202560 21980 12691 0 0 114 6 5 2 20 0 15 0 112433008 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003649960800 140003645750678 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433008 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433008 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 1 12691 0 0 0 0 5 2 20 0 15 0 112433008 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=13985408 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 2 12691 0 0 0 0 5 2 20 0 15 0 112433008 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 5 12691 0 0 0 0 5 2 20 0 15 0 112433010 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 33 12691 0 0 0 0 5 2 20 0 15 0 112433010 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003190445216 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 21 12691 0 0 0 0 5 2 20 0 15 0 112433010 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003189392112 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=13985408 memory=-5701041635846677632 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=13985408 memory=279402655316320 CPUtime=0.2 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 930 12691 0 0 13 0 5 2 20 0 15 0 112433013 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003187288816 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=13985408 memory=288230376151859461 CPUtime=0.22 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 847 12691 0 0 15 0 5 2 20 0 15 0 112433013 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003186236272 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=13985408 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 1311 12691 0 0 21 0 5 2 20 0 15 0 112433013 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 6 12691 0 0 0 0 5 2 20 0 15 0 112433019 14321057792 34494 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 137976 KiB
[startup+3.11056 s]
/proc/loadavg: 1.13 1.69 1.85 5/214 30040
/proc/meminfo: memFree=30428508/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=13995836 memory=225264 CPUtime=5.86 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 39969 12691 0 0 564 15 5 2 20 0 15 0 112432986 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3498959 56316 3457 1 0 3487573 0
[pid=29977/tid=30027] ppid=29974 vsize=13995836 memory=279402655316320 CPUtime=2.84 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) R 29974 29977 8289 0 -1 4202560 27728 12691 0 0 268 9 5 2 20 0 15 0 112433008 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003649972328 140003277357663 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=13995836 memory=288230376151859461 CPUtime=0.08 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 191 12691 0 0 1 0 5 2 20 0 15 0 112433008 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=13995836 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 49 12691 0 0 1 0 5 2 20 0 15 0 112433008 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=13995836 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 46 12691 0 0 1 0 5 2 20 0 15 0 112433008 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=13995836 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 67 12691 0 0 1 0 5 2 20 0 15 0 112433008 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=13995836 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 1482 12691 0 0 1 0 5 2 20 0 15 0 112433010 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=13995836 memory=5782684982896308266 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 56 12691 0 0 0 0 5 2 20 0 15 0 112433010 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003190445280 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=13995836 memory=3470692292451393600 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 44 12691 0 0 0 0 5 2 20 0 15 0 112433010 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003189392112 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=13995836 memory=4638778398332967009 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=13995836 memory=3470692292451393600 CPUtime=1.01 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) R 29974 29977 8289 0 -1 4202560 2008 12691 0 0 94 0 5 2 20 0 15 0 112433013 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003187272000 140003631419441 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=13995836 memory=3467824671636873280 CPUtime=1.02 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) R 29974 29977 8289 0 -1 4202560 1897 12691 0 0 94 1 5 2 20 0 15 0 112433013 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003186222592 140003631419441 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=13995836 memory=193452 CPUtime=1.08 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 4229 12691 0 0 100 1 5 2 20 0 15 0 112433013 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=13995836 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=13995836 memory=54444 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 11 12691 0 0 0 0 5 2 20 0 15 0 112433019 14331736064 56316 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 13995836 KiB
Current children cumulated memory: 225264 KiB
################
# More data... #
################
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 1942 12691 0 0 30 7 5 2 20 0 15 0 112433008 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=14004028 memory=1374800 CPUtime=0.46 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 2510 12691 0 0 33 6 5 2 20 0 15 0 112433008 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=14004028 memory=1372748 CPUtime=0.45 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 1233 12691 0 0 32 6 5 2 20 0 15 0 112433008 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=14004028 memory=1374800 CPUtime=0.23 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 3966 12691 0 0 14 2 5 2 20 0 15 0 112433010 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=14004028 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 60 12691 0 0 0 0 5 2 20 0 15 0 112433010 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003190445280 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=14004028 memory=14356 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 48 12691 0 0 0 0 5 2 20 0 15 0 112433010 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003189392128 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=14004028 memory=1390132 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=14004028 memory=3912 CPUtime=11.01 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 20364 12691 0 0 1090 4 5 2 20 0 15 0 112433013 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003187288816 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=14004028 memory=1380440 CPUtime=10.99 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 20678 12691 0 0 1086 6 5 2 20 0 15 0 112433013 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003186236272 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=14004028 memory=1386536 CPUtime=3.8 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 22675 12691 0 0 366 7 5 2 20 0 15 0 112433013 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=14004028 memory=1414756 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=14004028 memory=1419872 CPUtime=0.14 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 774 12691 0 0 3 4 5 2 20 0 15 0 112433019 14340124672 343187 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 188.84 s
Current children cumulated vsize: 14004028 KiB
Current children cumulated memory: 1372748 KiB
[startup+222.301 s]
/proc/loadavg: 1.75 1.77 1.86 3/216 30190
/proc/meminfo: memFree=25911052/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=14004028 memory=1289360 CPUtime=249.52 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 140787 12691 0 0 24860 85 5 2 20 0 15 0 112432986 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3501007 322340 3483 1 0 3489621 0
[pid=29977/tid=30027] ppid=29974 vsize=14004028 memory=1290384 CPUtime=220.97 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) R 29974 29977 8289 0 -1 4202560 56915 12691 0 0 22063 27 5 2 20 0 15 0 112433008 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003649972528 140003270688448 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=14004028 memory=1289872 CPUtime=0.66 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 3399 12691 0 0 52 7 5 2 20 0 15 0 112433008 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=14004028 memory=1320432 CPUtime=0.67 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 2120 12691 0 0 52 8 5 2 20 0 15 0 112433008 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=14004028 memory=1296028 CPUtime=0.69 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 2792 12691 0 0 54 8 5 2 20 0 15 0 112433008 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=14004028 memory=1291412 CPUtime=0.66 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 2878 12691 0 0 52 7 5 2 20 0 15 0 112433008 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=14004028 memory=1294488 CPUtime=0.41 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 4458 12691 0 0 30 4 5 2 20 0 15 0 112433010 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=14004028 memory=1294488 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 60 12691 0 0 0 0 5 2 20 0 15 0 112433010 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003190445280 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=14004028 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 48 12691 0 0 0 0 5 2 20 0 15 0 112433010 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003189392128 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=14004028 memory=4288 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=14004028 memory=1319408 CPUtime=11.01 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 20367 12691 0 0 1090 4 5 2 20 0 15 0 112433013 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003187288816 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=14004028 memory=1304212 CPUtime=10.99 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 20680 12691 0 0 1086 6 5 2 20 0 15 0 112433013 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003186236272 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=14004028 memory=1290384 CPUtime=3.8 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 24103 12691 0 0 366 7 5 2 20 0 15 0 112433013 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=14004028 memory=1290384 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=14004028 memory=1291412 CPUtime=0.18 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 806 12691 0 0 5 6 5 2 20 0 15 0 112433019 14340124672 322340 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 249.52 s
Current children cumulated vsize: 14004028 KiB
Current children cumulated memory: 1289360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+224.801 s]
/proc/loadavg: 1.75 1.77 1.86 3/216 30190
/proc/meminfo: memFree=25914404/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=14004028 memory=1285256 CPUtime=252.04 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 141318 12691 0 0 25112 85 5 2 20 0 15 0 112432986 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3501007 321314 3483 1 0 3489621 0
[pid=29977/tid=30027] ppid=29974 vsize=14004028 memory=133095667796468 CPUtime=223.45 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) R 29974 29977 8289 0 -1 4202560 56927 12691 0 0 22311 27 5 2 20 0 15 0 112433008 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003649972816 140003288620594 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=14004028 memory=133095667794932 CPUtime=0.67 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 3404 12691 0 0 53 7 5 2 20 0 15 0 112433008 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=14004028 memory=-8774313645642428999 CPUtime=0.67 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 2120 12691 0 0 52 8 5 2 20 0 15 0 112433008 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=14004028 memory=4068 CPUtime=0.7 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 2792 12691 0 0 55 8 5 2 20 0 15 0 112433008 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=14004028 memory=1160 CPUtime=0.67 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 2878 12691 0 0 53 7 5 2 20 0 15 0 112433008 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=14004028 memory=3036 CPUtime=0.41 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) S 29974 29977 8289 0 -1 1077944384 4459 12691 0 0 30 4 5 2 20 0 15 0 112433010 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003191498992 140003645749890 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=14004028 memory=1289872 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 60 12691 0 0 0 0 5 2 20 0 15 0 112433010 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003190445280 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=14004028 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 48 12691 0 0 0 0 5 2 20 0 15 0 112433010 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003189392128 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=14004028 memory=18484 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=14004028 memory=3912 CPUtime=11.02 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 20880 12691 0 0 1090 5 5 2 20 0 15 0 112433013 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003187288816 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=14004028 memory=2888 CPUtime=10.99 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 20680 12691 0 0 1086 6 5 2 20 0 15 0 112433013 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003186236272 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=14004028 memory=2888 CPUtime=3.8 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 24103 12691 0 0 366 7 5 2 20 0 15 0 112433013 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=14004028 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 15 0 112433013 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=14004028 memory=640 CPUtime=0.18 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 806 12691 0 0 5 6 5 2 20 0 15 0 112433019 14340124672 321314 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14004028 KiB
Current children cumulated memory: 1285256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.246 s]
# the end of solver process 29977 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.482 s, system=0.918949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+225.201 s]
/proc/loadavg: 1.75 1.77 1.86 6/218 30192
/proc/meminfo: memFree=25909704/32770624 swapFree=67108860/67108860
[pid=29977] ppid=29974 vsize=14137156 memory=1291188 CPUtime=253.3 cores=1,3,5,7
/proc/29977/stat : 29977 (java) S 29974 29977 8289 0 -1 1077944320 153324 12691 0 0 25236 87 5 2 20 0 17 0 112432986 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140721594695488 140003645738743 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
/proc/29977/statm: 3534289 322797 3483 1 0 3522903 0
[pid=29977/tid=30027] ppid=29974 vsize=14137156 memory=2164 CPUtime=223.46 cores=1,3,5,7
/proc/29977/task/30027/stat : 30027 (java) S 29974 29977 8289 0 -1 1077944384 57556 12691 0 0 22312 27 5 2 20 0 17 0 112433008 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003649976528 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30028] ppid=29974 vsize=14137156 memory=928 CPUtime=0.95 cores=1,3,5,7
/proc/29977/task/30028/stat : 30028 (java) S 29974 29977 8289 0 -1 1077944384 3447 12691 0 0 81 7 5 2 20 0 17 0 112433008 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003587685392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30029] ppid=29974 vsize=14137156 memory=-8774313645642428999 CPUtime=0.96 cores=1,3,5,7
/proc/29977/task/30029/stat : 30029 (java) S 29974 29977 8289 0 -1 1077944384 2181 12691 0 0 81 8 5 2 20 0 17 0 112433008 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003244514448 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30030] ppid=29974 vsize=14137156 memory=-7595761213668167008 CPUtime=0.99 cores=1,3,5,7
/proc/29977/task/30030/stat : 30030 (java) S 29974 29977 8289 0 -1 1077944384 2901 12691 0 0 84 8 5 2 20 0 17 0 112433008 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003243461392 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30031] ppid=29974 vsize=14137156 memory=133095667796468 CPUtime=0.95 cores=1,3,5,7
/proc/29977/task/30031/stat : 30031 (java) S 29974 29977 8289 0 -1 1077944384 2973 12691 0 0 81 7 5 2 20 0 17 0 112433008 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003242408848 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30032] ppid=29974 vsize=14137156 memory=133095667796468 CPUtime=0.51 cores=1,3,5,7
/proc/29977/task/30032/stat : 30032 (java) R 29974 29977 8289 0 -1 4202560 14212 12691 0 0 40 4 5 2 20 0 17 0 112433010 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003191497392 140003627614552 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30033] ppid=29974 vsize=14137156 memory=133095667796212 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30033/stat : 30033 (java) S 29974 29977 8289 0 -1 1077944384 61 12691 0 0 0 0 5 2 20 0 17 0 112433010 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003190444784 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30034] ppid=29974 vsize=14137156 memory=279402655557952 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30034/stat : 30034 (java) S 29974 29977 8289 0 -1 1077944384 48 12691 0 0 0 0 5 2 20 0 17 0 112433010 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003189392128 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30035] ppid=29974 vsize=14137156 memory=133095667796724 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30035/stat : 30035 (java) S 29974 29977 8289 0 -1 1077944384 218 12691 0 0 0 0 5 2 20 0 17 0 112433013 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003188340688 140003645757339 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30036] ppid=29974 vsize=14137156 memory=133095667796724 CPUtime=11.02 cores=1,3,5,7
/proc/29977/task/30036/stat : 30036 (java) S 29974 29977 8289 0 -1 1077944384 21123 12691 0 0 1090 5 5 2 20 0 17 0 112433013 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003187277072 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30037] ppid=29974 vsize=14137156 memory=133095667796724 CPUtime=10.99 cores=1,3,5,7
/proc/29977/task/30037/stat : 30037 (java) S 29974 29977 8289 0 -1 1077944384 21198 12691 0 0 1086 6 5 2 20 0 17 0 112433013 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003186222928 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30038] ppid=29974 vsize=14137156 memory=1291796 CPUtime=3.8 cores=1,3,5,7
/proc/29977/task/30038/stat : 30038 (java) S 29974 29977 8289 0 -1 1077944384 24103 12691 0 0 366 7 5 2 20 0 17 0 112433013 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003185183216 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30039] ppid=29974 vsize=14137156 memory=290763849282617370 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30039/stat : 30039 (java) S 29974 29977 8289 0 -1 1077944384 3 12691 0 0 0 0 5 2 20 0 17 0 112433013 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003116051296 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30040] ppid=29974 vsize=14137156 memory=288230617509003574 CPUtime=0.18 cores=1,3,5,7
/proc/29977/task/30040/stat : 30040 (java) S 29974 29977 8289 0 -1 1077944384 806 12691 0 0 5 6 5 2 20 0 17 0 112433019 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003114998320 140003645749890 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30191] ppid=29974 vsize=14137156 memory=15825482134324680 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30191/stat : 30191 (java) S 29974 29977 8289 0 -1 1077944384 313 12691 0 0 0 0 5 2 20 0 17 0 112455466 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003084145008 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
[pid=29977/tid=30192] ppid=29974 vsize=14137156 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/29977/task/30192/stat : 30192 (java) S 29974 29977 8289 0 -1 1077944384 25 12691 0 0 0 0 5 2 20 0 17 0 112455466 14476447744 322797 18446744073709551615 4194304 4196468 140721594712944 140003083092672 140003645748949 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15978496 140721594718128 140721594720913 140721594720913 140721594724303 0
Current children cumulated CPU time: 253.3 s
Current children cumulated vsize: 14137156 KiB
Current children cumulated memory: 1291188 KiB
Child status: 143
Real time (s): 225.246
CPU time (s): 253.401
CPU user time (s): 252.482
CPU system time (s): 0.918949
CPU usage (%): 112.499
Max. virtual memory (cumulated for all children) (KiB): 14137156
Max. memory (cumulated for all children) (KiB): 1517852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.482
system time used= 0.918949
maximum resident set size= 1519392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25664
involuntary context switches= 502
# summary of solver processes directly reported to runsolver:
# pid: 29977
# total CPU time (s): 253.401
# total CPU user time (s): 252.482
# total CPU system time (s): 0.918949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35113 second user time and 2.23697 second system time
The end