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 (14503 MiB free)
memory of node 1: 16384 MiB (15606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401172-1568678309/watcher-4401172-1568678309 -o /tmp/evaluation-result-4401172-1568678309/solver-4401172-1568678309 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568673291-18137 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1723364239 HOME/instance-4401172-1568678309.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
solver pid=19739, runsolver pid=19736
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 1.62 1.56 1.57 3/218 19796
/proc/meminfo: memFree=30824652/32770624 swapFree=66938104/67108860
[pid=19739] ppid=19736 vsize=10055356 memory=18008 CPUtime=0.08 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 4731 13104 0 0 1 0 5 2 20 0 7 0 444102358 10296684544 4502 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2513839 4502 2032 1 0 2502277 0
[pid=19739/tid=19792] ppid=19736 vsize=10055356 memory=4279135704047058319 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 2519 13104 0 0 1 0 5 2 20 0 7 0 444102367 10296684544 4502 33554432000 4194304 4196468 140724669307296 140259919067920 140259931305310 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10055356 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 7 0 444102368 10296684544 4502 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10055356 memory=139665827251840 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 7 0 444102368 10296684544 4502 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 7 0 444102368 10296684544 4502 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 7 0 444102368 10296684544 4502 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10055356 memory=139665827251840 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 7 0 444102369 10296684544 4502 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 18008 KiB
[startup+0.210098 s]*
/proc/loadavg: 1.62 1.56 1.57 4/227 19805
/proc/meminfo: memFree=30799492/32770624 swapFree=66938104/67108860
[pid=19739] ppid=19736 vsize=10821220 memory=47752 CPUtime=0.27 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 7826 13104 0 0 18 2 5 2 20 0 15 0 444102358 11080929280 11938 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2705305 11938 3300 1 0 2667405 0
[pid=19739/tid=19792] ppid=19736 vsize=10821220 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 4382 13104 0 0 11 1 5 2 20 0 15 0 444102367 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259919037184 140259939904541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10821220 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10821220 memory=3762388317657188000 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102368 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10821220 memory=139665827251840 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102369 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 444102369 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259404800928 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102370 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259270583280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11080929280 12004 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 471 13104 0 0 1 0 5 2 20 0 15 0 444102372 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) R 19736 19739 18105 0 -1 4202560 180 13104 0 0 1 0 5 2 20 0 15 0 444102372 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259370191472 140259925201443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10821220 memory=139665827251840 CPUtime=0.1 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 612 13104 0 0 3 0 5 2 20 0 15 0 444102372 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11080929280 12004 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10821220 memory=139665827251840 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102373 11080929280 12004 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 47752 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.62 1.56 1.57 3/227 19805
/proc/meminfo: memFree=30790460/32770624 swapFree=66938104/67108860
[pid=19739] ppid=19736 vsize=10820196 memory=55124 CPUtime=0.4 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 10958 13104 0 0 30 3 5 2 20 0 15 0 444102358 11079880704 13781 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2705049 13781 3310 1 0 2667149 0
[pid=19739/tid=19792] ppid=19736 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 7441 13104 0 0 19 2 5 2 20 0 15 0 444102367 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259919030928 140259933389657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102368 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102369 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 444102369 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259404800928 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102370 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259270583280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11079880704 13781 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 471 13104 0 0 1 0 5 2 20 0 15 0 444102372 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) S 19736 19739 18105 0 -1 1077944384 190 13104 0 0 2 0 5 2 20 0 15 0 444102372 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259370191472 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10820196 memory=139665827251840 CPUtime=0.12 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 619 13104 0 0 5 0 5 2 20 0 15 0 444102372 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11079880704 13781 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10820196 memory=139665827251840 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102373 11079880704 13781 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 55124 KiB
[startup+0.704872 s]
/proc/loadavg: 1.62 1.56 1.57 5/227 19805
/proc/meminfo: memFree=30775176/32770624 swapFree=66938104/67108860
[pid=19739] ppid=19736 vsize=10824364 memory=87932 CPUtime=1.16 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 15153 13104 0 0 104 5 5 2 20 0 15 0 444102358 11084148736 21983 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2706091 21983 3508 1 0 2668173 0
[pid=19739/tid=19792] ppid=19736 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 10500 13104 0 0 56 4 5 2 20 0 15 0 444102367 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259919051984 140259947246749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10824364 memory=2557451699969 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10824364 memory=546658091 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102368 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10824364 memory=-7886167514736700194 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102368 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10824364 memory=6220151040703026534 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 6 13104 0 0 0 0 5 2 20 0 15 0 444102369 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10824364 memory=7380106142448641111 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 444102369 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259404800928 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10824364 memory=12024 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102370 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259270583280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10824364 memory=2124 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11084148736 21983 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10824364 memory=11684 CPUtime=0.2 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) R 19736 19739 18105 0 -1 4202560 947 13104 0 0 13 0 5 2 20 0 15 0 444102372 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259371224976 140259927926116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10824364 memory=504 CPUtime=0.22 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) R 19736 19739 18105 0 -1 4202560 690 13104 0 0 15 0 5 2 20 0 15 0 444102372 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259370191472 140259928770187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10824364 memory=1564 CPUtime=0.24 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) R 19736 19739 18105 0 -1 4202560 775 13104 0 0 17 0 5 2 20 0 15 0 444102372 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259369138928 140259947246170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10824364 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11084148736 21983 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10824364 memory=1420 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102373 11084148736 21983 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87932 KiB
[startup+1.50067 s]
/proc/loadavg: 1.62 1.56 1.57 3/227 19805
/proc/meminfo: memFree=30731604/32770624 swapFree=66938104/67108860
[pid=19739] ppid=19736 vsize=10834680 memory=177316 CPUtime=2.49 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 21875 13104 0 0 232 10 5 2 20 0 15 0 444102358 11094712320 44329 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2708670 44329 3576 1 0 2670733 0
[pid=19739/tid=19792] ppid=19736 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 15452 13104 0 0 131 6 5 2 20 0 15 0 444102367 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259919020560 140259551515463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 55 13104 0 0 1 0 5 2 20 0 15 0 444102368 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10834680 memory=279331385725824 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 22 13104 0 0 0 0 5 2 20 0 15 0 444102368 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10834680 memory=139665692871280 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 347 13104 0 0 1 0 5 2 20 0 15 0 444102368 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 63 13104 0 0 1 0 5 2 20 0 15 0 444102368 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10834680 memory=279331385736800 CPUtime=0.08 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 154 13104 0 0 1 0 5 2 20 0 15 0 444102369 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10834680 memory=14323715934760 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 13 13104 0 0 0 0 5 2 20 0 15 0 444102369 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259404800992 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10834680 memory=6944656591646896176 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102370 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259270583296 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10834680 memory=6944656592452807316 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11094712320 44329 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10834680 memory=6944656592452807316 CPUtime=0.33 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 1221 13104 0 0 26 0 5 2 20 0 15 0 444102372 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10834680 memory=7681905605394137914 CPUtime=0.32 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) S 19736 19739 18105 0 -1 1077944384 812 13104 0 0 25 0 5 2 20 0 15 0 444102372 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259370191472 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10834680 memory=6655300316396806240 CPUtime=0.48 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 1518 13104 0 0 41 0 5 2 20 0 15 0 444102372 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10834680 memory=6944613755328037012 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11094712320 44329 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10834680 memory=6944656592452807316 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1 13104 0 0 0 0 5 2 20 0 15 0 444102373 11094712320 44329 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
################
# More data... #
################
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 71563 13104 0 0 235526 52 5 2 20 0 15 0 444102367 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259919060736 140259565166331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10846988 memory=1047340 CPUtime=12.81 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 19831 13104 0 0 1216 58 5 2 20 0 15 0 444102368 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10846988 memory=1047372 CPUtime=12.87 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 19769 13104 0 0 1223 57 5 2 20 0 15 0 444102368 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10846988 memory=1047372 CPUtime=12.83 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 17658 13104 0 0 1216 60 5 2 20 0 15 0 444102368 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10846988 memory=1047372 CPUtime=12.86 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 13882 13104 0 0 1220 59 5 2 20 0 15 0 444102368 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10846988 memory=924 CPUtime=11.24 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 18221 13104 0 0 1057 60 5 2 20 0 15 0 444102369 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10846988 memory=1047372 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 14 13104 0 0 0 0 5 2 20 0 15 0 444102369 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259404800992 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10846988 memory=1047372 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102370 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259270583296 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11107315712 261843 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10846988 memory=6227472662862522218 CPUtime=3.03 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 15198 13104 0 0 293 3 5 2 20 0 15 0 444102372 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10846988 memory=1045292 CPUtime=3.05 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) S 19736 19739 18105 0 -1 1077944384 12002 13104 0 0 296 2 5 2 20 0 15 0 444102372 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259370191472 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10846988 memory=1045260 CPUtime=1.75 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 10020 13104 0 0 165 3 5 2 20 0 15 0 444102372 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10846988 memory=279331386438528 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11107315712 261843 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10846988 memory=1420 CPUtime=1.38 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1078 13104 0 0 61 70 5 2 20 0 15 0 444102373 11107315712 261843 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 2427.16 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1047372 KiB
[startup+2442.3 s]
/proc/loadavg: 1.36 1.28 1.34 3/227 20184
/proc/meminfo: memFree=29577288/32770624 swapFree=66938116/67108860
[pid=19739] ppid=19736 vsize=10846988 memory=1047400 CPUtime=2488.15 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 203091 13104 0 0 248431 377 5 2 20 0 15 0 444102358 11107315712 261850 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2711747 261850 3629 1 0 2673805 0
[pid=19739/tid=19792] ppid=19736 vsize=10846988 memory=1047400 CPUtime=2415.17 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 72329 13104 0 0 241457 53 5 2 20 0 15 0 444102367 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259919060688 140259565862192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10846988 memory=1047396 CPUtime=13.15 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 19850 13104 0 0 1249 59 5 2 20 0 15 0 444102368 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10846988 memory=1047376 CPUtime=13.22 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 20191 13104 0 0 1257 58 5 2 20 0 15 0 444102368 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10846988 memory=279331387060320 CPUtime=13.18 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 17821 13104 0 0 1249 62 5 2 20 0 15 0 444102368 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10846988 memory=1047376 CPUtime=13.19 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 13958 13104 0 0 1252 60 5 2 20 0 15 0 444102368 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10846988 memory=56 CPUtime=11.52 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 18389 13104 0 0 1084 61 5 2 20 0 15 0 444102369 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10846988 memory=1047396 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 14 13104 0 0 0 0 5 2 20 0 15 0 444102369 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259404800992 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10846988 memory=1047400 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102370 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259270583296 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10846988 memory=1047400 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11107315712 261850 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10846988 memory=1124 CPUtime=3.03 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 15200 13104 0 0 293 3 5 2 20 0 15 0 444102372 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10846988 memory=1047400 CPUtime=3.05 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) S 19736 19739 18105 0 -1 1077944384 12004 13104 0 0 296 2 5 2 20 0 15 0 444102372 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259370191472 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10846988 memory=1047400 CPUtime=1.75 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 10022 13104 0 0 165 3 5 2 20 0 15 0 444102372 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10846988 memory=1047400 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11107315712 261850 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10846988 memory=1047396 CPUtime=1.41 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1096 13104 0 0 62 72 5 2 20 0 15 0 444102373 11107315712 261850 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 2488.15 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1047400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.7 s]
/proc/loadavg: 1.22 1.25 1.33 3/227 20186
/proc/meminfo: memFree=29575484/32770624 swapFree=66938116/67108860
[pid=19739] ppid=19736 vsize=10846988 memory=1049476 CPUtime=2520.08 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 204383 13104 0 0 251620 381 5 2 20 0 15 0 444102358 11107315712 262369 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2711747 262369 3629 1 0 2673805 0
[pid=19739/tid=19792] ppid=19736 vsize=10846988 memory=1049476 CPUtime=2446.2 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 72854 13104 0 0 244560 53 5 2 20 0 15 0 444102367 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259919060288 140259566014950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10846988 memory=1049476 CPUtime=13.33 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 19877 13104 0 0 1266 60 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10846988 memory=1049476 CPUtime=13.4 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 20619 13104 0 0 1274 59 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10846988 memory=1047412 CPUtime=13.36 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 17919 13104 0 0 1266 63 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10846988 memory=1047412 CPUtime=13.38 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 13991 13104 0 0 1270 61 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10846988 memory=1047400 CPUtime=11.66 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 18548 13104 0 0 1098 61 5 2 20 0 15 0 444102369 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10846988 memory=1049476 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 14 13104 0 0 0 0 5 2 20 0 15 0 444102369 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259404800992 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10846988 memory=744 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102370 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259270583296 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10846988 memory=1049476 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10846988 memory=1047412 CPUtime=3.03 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 15202 13104 0 0 293 3 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10846988 memory=1049476 CPUtime=3.05 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) S 19736 19739 18105 0 -1 1077944384 12006 13104 0 0 296 2 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259370191472 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10846988 memory=3620 CPUtime=1.75 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 10024 13104 0 0 165 3 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10846988 memory=1049476 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11107315712 262369 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10846988 memory=3620 CPUtime=1.43 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1112 13104 0 0 62 74 5 2 20 0 15 0 444102373 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1049476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.73 s]
# the end of solver process 19739 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.84867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.7 s]
/proc/loadavg: 1.22 1.25 1.33 3/227 20186
/proc/meminfo: memFree=29575484/32770624 swapFree=66938116/67108860
[pid=19739] ppid=19736 vsize=10846988 memory=1049476 CPUtime=2520.08 cores=1,3,5,7
/proc/19739/stat : 19739 (java) S 19736 19739 18105 0 -1 1077944320 204383 13104 0 0 251620 381 5 2 20 0 15 0 444102358 11107315712 262369 33554432000 4194304 4196468 140724669307296 140724669289840 140259947224823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
/proc/19739/statm: 2711747 262369 3629 1 0 2673805 0
[pid=19739/tid=19792] ppid=19736 vsize=10846988 memory=1049476 CPUtime=2446.2 cores=1,3,5,7
/proc/19739/task/19792/stat : 19792 (java) R 19736 19739 18105 0 -1 4202560 72854 13104 0 0 244560 53 5 2 20 0 15 0 444102367 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259919060288 140259566014950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19793] ppid=19736 vsize=10846988 memory=1049476 CPUtime=13.33 cores=1,3,5,7
/proc/19739/task/19793/stat : 19793 (java) S 19736 19739 18105 0 -1 1077944384 19877 13104 0 0 1266 60 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259951467280 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19794] ppid=19736 vsize=10846988 memory=1049476 CPUtime=13.4 cores=1,3,5,7
/proc/19739/task/19794/stat : 19794 (java) S 19736 19739 18105 0 -1 1077944384 20619 13104 0 0 1274 59 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259520912272 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19795] ppid=19736 vsize=10846988 memory=1047412 CPUtime=13.36 cores=1,3,5,7
/proc/19739/task/19795/stat : 19795 (java) S 19736 19739 18105 0 -1 1077944384 17919 13104 0 0 1266 63 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259519859728 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19796] ppid=19736 vsize=10846988 memory=1047412 CPUtime=13.38 cores=1,3,5,7
/proc/19739/task/19796/stat : 19796 (java) S 19736 19739 18105 0 -1 1077944384 13991 13104 0 0 1270 61 5 2 20 0 15 0 444102368 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259518807184 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19797] ppid=19736 vsize=10846988 memory=1047400 CPUtime=11.66 cores=1,3,5,7
/proc/19739/task/19797/stat : 19797 (java) S 19736 19739 18105 0 -1 1077944384 18548 13104 0 0 1098 61 5 2 20 0 15 0 444102369 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259473856496 140259947235970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19798] ppid=19736 vsize=10846988 memory=1049476 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19798/stat : 19798 (java) S 19736 19739 18105 0 -1 1077944384 14 13104 0 0 0 0 5 2 20 0 15 0 444102369 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259404800992 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19799] ppid=19736 vsize=10846988 memory=744 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19799/stat : 19799 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102370 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259270583296 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19800] ppid=19736 vsize=10846988 memory=1049476 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19800/stat : 19800 (java) S 19736 19739 18105 0 -1 1077944384 2 13104 0 0 0 0 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140258666604752 140259947243419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19801] ppid=19736 vsize=10846988 memory=1047412 CPUtime=3.03 cores=1,3,5,7
/proc/19739/task/19801/stat : 19801 (java) S 19736 19739 18105 0 -1 1077944384 15202 13104 0 0 293 3 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259371244016 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19802] ppid=19736 vsize=10846988 memory=1049476 CPUtime=3.05 cores=1,3,5,7
/proc/19739/task/19802/stat : 19802 (java) S 19736 19739 18105 0 -1 1077944384 12006 13104 0 0 296 2 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259370191472 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19803] ppid=19736 vsize=10846988 memory=3620 CPUtime=1.75 cores=1,3,5,7
/proc/19739/task/19803/stat : 19803 (java) S 19736 19739 18105 0 -1 1077944384 10024 13104 0 0 165 3 5 2 20 0 15 0 444102372 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259369138928 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19804] ppid=19736 vsize=10846988 memory=1049476 CPUtime=0.07 cores=1,3,5,7
/proc/19739/task/19804/stat : 19804 (java) S 19736 19739 18105 0 -1 1077944384 3 13104 0 0 0 0 5 2 20 0 15 0 444102373 11107315712 262369 33554432000 4194304 4196468 140724669307296 140258196843616 140259947235029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
[pid=19739/tid=19805] ppid=19736 vsize=10846988 memory=3620 CPUtime=1.43 cores=1,3,5,7
/proc/19739/task/19805/stat : 19805 (java) S 19736 19739 18105 0 -1 1077944384 1112 13104 0 0 62 74 5 2 20 0 15 0 444102373 11107315712 262369 33554432000 4194304 4196468 140724669307296 140259368085808 140259947235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14180352 140724669315823 140724669318341 140724669318341 140724669321167 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1049476 KiB
Child status: 143
Real time (s): 2473.73
CPU time (s): 2520.12
CPU user time (s): 2516.28
CPU system time (s): 3.84867
CPU usage (%): 101.876
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1192952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.84867
maximum resident set size= 1193944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297018
involuntary context switches= 6002
# summary of solver processes directly reported to runsolver:
# pid: 19739
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.84867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8332 second user time and 23.5776 second system time
The end