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 (8031 MiB free)
memory of node 1: 16384 MiB (14833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298395-1532759355/watcher-4298395-1532759355 -o /tmp/evaluation-result-4298395-1532759355/solver-4298395-1532759355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532739340-26337 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298395-1532759355.xml --timelimit 2520
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=28494, runsolver pid=28491
Current StackSize limit: 8192 KiB
[startup+0.100336 s]*
/proc/loadavg: 1.67 1.60 1.59 3/215 28509
/proc/meminfo: memFree=23399652/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661056 memory=26624 CPUtime=0.12 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 5079 0 0 0 11 1 0 0 20 0 15 0 93498670 10916921344 6656 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665264 6656 2832 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661056 memory=-8341684059579257725 CPUtime=0.09 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 2876 0 0 0 9 0 0 0 20 0 15 0 93498670 10916921344 6656 33554432000 4194304 4196468 140721443198560 140123209452912 140123205251674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 6656 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498672 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93498673 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93498673 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) R 28491 28494 26305 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) R 28491 28494 26305 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 6656 33554432000 4194304 4196468 140721443198560 140122303444976 140123198327163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0.02 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) R 28491 28494 26305 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 93498675 10916921344 6656 33554432000 4194304 4196468 140721443198560 140121859770856 140123198327163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 6656 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 6656 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 26624 KiB
[startup+0.210533 s]*
/proc/loadavg: 1.67 1.60 1.59 4/215 28509
/proc/meminfo: memFree=23388060/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661056 memory=39352 CPUtime=0.34 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 7910 0 0 0 32 2 0 0 20 0 15 0 93498670 10916921344 9838 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665264 9838 3009 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 4705 0 0 0 19 1 0 0 20 0 15 0 93498670 10916921344 9838 33554432000 4194304 4196468 140721443198560 140123209469408 140122843568851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 9838 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661056 memory=288370651925132928 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498671 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498672 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93498673 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93498673 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) S 28491 28494 26305 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 15 0 93498675 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) S 28491 28494 26305 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 93498675 10916921344 9838 33554432000 4194304 4196468 140721443198560 140122303444976 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0.08 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) R 28491 28494 26305 0 -1 4202560 978 0 0 0 8 0 0 0 20 0 15 0 93498675 10916921344 9838 33554432000 4194304 4196468 140721443198560 140121859771200 140123183909149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 9838 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661056 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498675 10916921344 9838 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39352 KiB
[startup+0.311921 s]*
/proc/loadavg: 1.69 1.61 1.60 4/215 28509
/proc/meminfo: memFree=23382788/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661132 memory=45708 CPUtime=0.57 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 8544 0 0 0 55 2 0 0 20 0 15 0 93498670 10916999168 11427 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665283 11427 3045 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 5046 0 0 0 29 1 0 0 20 0 15 0 93498670 10916999168 11427 33554432000 4194304 4196468 140721443198560 140123209466560 140123205242262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 11427 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=288370651925132928 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498672 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) S 28491 28494 26305 0 -1 1077944384 719 0 0 0 6 0 0 0 20 0 15 0 93498675 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661132 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) S 28491 28494 26305 0 -1 1077944384 239 0 0 0 3 0 0 0 20 0 15 0 93498675 10916999168 11427 33554432000 4194304 4196468 140721443198560 140122303444976 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661132 memory=140275773421184 CPUtime=0.16 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) R 28491 28494 26305 0 -1 4202560 1175 0 0 0 16 0 0 0 20 0 15 0 93498675 10916999168 11427 33554432000 4194304 4196468 140721443198560 140121859771200 140123198330174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 11427 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661132 memory=140275773421184 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 11427 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 45708 KiB
[startup+0.700763 s]
/proc/loadavg: 1.69 1.61 1.60 5/215 28509
/proc/meminfo: memFree=23359708/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661132 memory=75144 CPUtime=1.71 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 12246 0 0 0 167 4 0 0 20 0 15 0 93498670 10916999168 18786 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665283 18786 3119 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661132 memory=1732 CPUtime=0.67 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 5308 0 0 0 65 2 0 0 20 0 15 0 93498670 10916999168 18786 33554432000 4194304 4196468 140721443198560 140123209456736 140721444595650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 18786 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=11008 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93498672 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661132 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661132 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661132 memory=5372 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661132 memory=7302135314614015848 CPUtime=0.34 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) R 28491 28494 26305 0 -1 4202560 2429 0 0 0 34 0 0 0 20 0 15 0 93498675 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122304498072 140123184923431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661132 memory=7450453974481135974 CPUtime=0.33 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) R 28491 28494 26305 0 -1 4202560 1289 0 0 0 33 0 0 0 20 0 15 0 93498675 10916999168 18786 33554432000 4194304 4196468 140721443198560 140122303426768 140123185082441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661132 memory=7440061282865139792 CPUtime=0.34 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) S 28491 28494 26305 0 -1 1077944384 1850 0 0 0 34 0 0 0 20 0 15 0 93498675 10916999168 18786 33554432000 4194304 4196468 140721443198560 140121859774832 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 18786 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661132 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 18786 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 75144 KiB
[startup+1.50074 s]
/proc/loadavg: 1.69 1.61 1.60 3/215 28509
/proc/meminfo: memFree=23340748/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661132 memory=94680 CPUtime=3.03 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 14652 0 0 0 299 4 0 0 20 0 15 0 93498670 10916999168 23670 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665283 23670 3121 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661132 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 5369 0 0 0 145 2 0 0 20 0 15 0 93498670 10916999168 23670 33554432000 4194304 4196468 140721443198560 140123209466912 140721444595650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 23670 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 23670 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 23670 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93498671 10916999168 23670 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 93498672 10916999168 23670 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
################
# More data... #
################
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 11471 0 0 0 243132 958 0 0 20 0 15 0 93498670 10916999168 34515 33554432000 4194304 4196468 140721443198560 140123209471296 140721444595650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.72 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 2053 0 0 0 68 4 0 0 20 0 15 0 93498671 10916999168 34515 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.71 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 2859 0 0 0 67 4 0 0 20 0 15 0 93498671 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.71 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 2622 0 0 0 68 3 0 0 20 0 15 0 93498671 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.7 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2419 0 0 0 68 2 0 0 20 0 15 0 93498671 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.56 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 3933 0 0 0 51 5 0 0 20 0 15 0 93498672 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661132 memory=138060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661132 memory=138060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661132 memory=138060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661132 memory=140112 CPUtime=0.75 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) S 28491 28494 26305 0 -1 1077944384 6258 0 0 0 74 1 0 0 20 0 15 0 93498675 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.76 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) S 28491 28494 26305 0 -1 1077944384 5920 0 0 0 75 1 0 0 20 0 15 0 93498675 10916999168 34515 33554432000 4194304 4196468 140721443198560 140122303444976 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.39 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) S 28491 28494 26305 0 -1 1077944384 2404 0 0 0 39 0 0 0 20 0 15 0 93498675 10916999168 34515 33554432000 4194304 4196468 140721443198560 140121859774832 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661132 memory=138060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34515 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661132 memory=138060 CPUtime=0.47 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1000 0 0 0 19 28 0 0 20 0 15 0 93498675 10916999168 34515 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 2446.76 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 138060 KiB
[startup+2502.3 s]
/proc/loadavg: 1.54 1.55 1.58 3/216 28763
/proc/meminfo: memFree=23420476/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661132 memory=137572 CPUtime=2506.83 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 43354 0 0 0 249656 1027 0 0 20 0 15 0 93498670 10916999168 34393 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665283 34393 3152 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661132 memory=137548 CPUtime=2500.87 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 11544 0 0 0 249104 983 0 0 20 0 15 0 93498670 10916999168 34393 33554432000 4194304 4196468 140721443198560 140123209471296 140122845158078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.74 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 2080 0 0 0 70 4 0 0 20 0 15 0 93498671 10916999168 34393 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.73 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 3129 0 0 0 69 4 0 0 20 0 15 0 93498671 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 2651 0 0 0 70 3 0 0 20 0 15 0 93498671 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=4012 CPUtime=0.72 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2483 0 0 0 70 2 0 0 20 0 15 0 93498671 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.57 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 3950 0 0 0 52 5 0 0 20 0 15 0 93498672 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661132 memory=137572 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661132 memory=137572 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661132 memory=137572 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.75 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) S 28491 28494 26305 0 -1 1077944384 6260 0 0 0 74 1 0 0 20 0 15 0 93498675 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661132 memory=280551291360032 CPUtime=0.76 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) S 28491 28494 26305 0 -1 1077944384 5922 0 0 0 75 1 0 0 20 0 15 0 93498675 10916999168 34393 33554432000 4194304 4196468 140721443198560 140122303444976 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.39 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) S 28491 28494 26305 0 -1 1077944384 2914 0 0 0 39 0 0 0 20 0 15 0 93498675 10916999168 34393 33554432000 4194304 4196468 140721443198560 140121859774832 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661132 memory=137572 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34393 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.48 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1007 0 0 0 19 29 0 0 20 0 15 0 93498675 10916999168 34393 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 2506.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 137572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.5 s]
/proc/loadavg: 1.53 1.55 1.58 3/216 28763
/proc/meminfo: memFree=23420972/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661132 memory=137060 CPUtime=2520.04 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 43361 0 0 0 250972 1032 0 0 20 0 15 0 93498670 10916999168 34265 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665283 34265 3152 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661132 memory=137060 CPUtime=2514.06 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 11549 0 0 0 250418 988 0 0 20 0 15 0 93498670 10916999168 34265 33554432000 4194304 4196468 140721443198560 140123209469856 140721444595650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.74 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 2080 0 0 0 70 4 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=4012 CPUtime=0.74 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 3129 0 0 0 70 4 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.73 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 2651 0 0 0 70 3 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.72 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2483 0 0 0 70 2 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.58 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 3952 0 0 0 53 5 0 0 20 0 15 0 93498672 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661132 memory=137572 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661132 memory=137060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661132 memory=137060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661132 memory=137060 CPUtime=0.75 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) S 28491 28494 26305 0 -1 1077944384 6260 0 0 0 74 1 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661132 memory=137060 CPUtime=0.76 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) S 28491 28494 26305 0 -1 1077944384 5922 0 0 0 75 1 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122303444976 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661132 memory=137060 CPUtime=0.39 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) S 28491 28494 26305 0 -1 1077944384 2914 0 0 0 39 0 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140121859774832 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661132 memory=4351414459489741920 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661132 memory=280551291360032 CPUtime=0.48 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1007 0 0 0 19 29 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 137060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.52 s]
# the end of solver process 28494 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.75 s, system=10.3312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.5 s]
/proc/loadavg: 1.53 1.55 1.58 3/216 28763
/proc/meminfo: memFree=23420972/32770624 swapFree=67108404/67108860
[pid=28494] ppid=28491 vsize=10661132 memory=137060 CPUtime=2520.04 cores=1,3,5,7
/proc/28494/stat : 28494 (java) S 28491 28494 26305 0 -1 1077944320 43361 0 0 0 250972 1032 0 0 20 0 15 0 93498670 10916999168 34265 33554432000 4194304 4196468 140721443198560 140721443181104 140123205230327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
/proc/28494/statm: 2665283 34265 3152 1 0 2627263 0
[pid=28494/tid=28496] ppid=28491 vsize=10661132 memory=137060 CPUtime=2514.06 cores=1,3,5,7
/proc/28494/task/28496/stat : 28496 (java) R 28491 28494 26305 0 -1 4202560 11549 0 0 0 250418 988 0 0 20 0 15 0 93498670 10916999168 34265 33554432000 4194304 4196468 140721443198560 140123209469856 140721444595650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28497] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.74 cores=1,3,5,7
/proc/28494/task/28497/stat : 28497 (java) S 28491 28494 26305 0 -1 1077944384 2080 0 0 0 70 4 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140123174943120 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28498] ppid=28491 vsize=10661132 memory=4012 CPUtime=0.74 cores=1,3,5,7
/proc/28494/task/28498/stat : 28498 (java) S 28491 28494 26305 0 -1 1077944384 3129 0 0 0 70 4 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122811402512 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28499] ppid=28491 vsize=10661132 memory=137548 CPUtime=0.73 cores=1,3,5,7
/proc/28494/task/28499/stat : 28499 (java) S 28491 28494 26305 0 -1 1077944384 2651 0 0 0 70 3 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122810350224 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28500] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.72 cores=1,3,5,7
/proc/28494/task/28500/stat : 28500 (java) S 28491 28494 26305 0 -1 1077944384 2483 0 0 0 70 2 0 0 20 0 15 0 93498671 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122809297424 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28501] ppid=28491 vsize=10661132 memory=137572 CPUtime=0.58 cores=1,3,5,7
/proc/28494/task/28501/stat : 28501 (java) S 28491 28494 26305 0 -1 1077944384 3952 0 0 0 53 5 0 0 20 0 15 0 93498672 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122308708976 140123205241474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28502] ppid=28491 vsize=10661132 memory=137572 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28502/stat : 28502 (java) S 28491 28494 26305 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122307654944 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28503] ppid=28491 vsize=10661132 memory=137060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28503/stat : 28503 (java) S 28491 28494 26305 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 93498673 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122306602608 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28504] ppid=28491 vsize=10661132 memory=137060 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28504/stat : 28504 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122305550928 140123205248923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28505] ppid=28491 vsize=10661132 memory=137060 CPUtime=0.75 cores=1,3,5,7
/proc/28494/task/28505/stat : 28505 (java) S 28491 28494 26305 0 -1 1077944384 6260 0 0 0 74 1 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122304497776 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28506] ppid=28491 vsize=10661132 memory=137060 CPUtime=0.76 cores=1,3,5,7
/proc/28494/task/28506/stat : 28506 (java) S 28491 28494 26305 0 -1 1077944384 5922 0 0 0 75 1 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140122303444976 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28507] ppid=28491 vsize=10661132 memory=137060 CPUtime=0.39 cores=1,3,5,7
/proc/28494/task/28507/stat : 28507 (java) S 28491 28494 26305 0 -1 1077944384 2914 0 0 0 39 0 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140121859774832 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28508] ppid=28491 vsize=10661132 memory=4351414459489741920 CPUtime=0 cores=1,3,5,7
/proc/28494/task/28508/stat : 28508 (java) S 28491 28494 26305 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140121858722272 140123205240533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
[pid=28494/tid=28509] ppid=28491 vsize=10661132 memory=280551291360032 CPUtime=0.48 cores=1,3,5,7
/proc/28494/task/28509/stat : 28509 (java) S 28491 28494 26305 0 -1 1077944384 1007 0 0 0 19 29 0 0 20 0 15 0 93498675 10916999168 34265 33554432000 4194304 4196468 140721443198560 140121857670064 140123205241474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35069952 140721443202204 140721443202313 140721443202313 140721443205071 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 137060 KiB
Child status: 143
Real time (s): 2515.52
CPU time (s): 2520.08
CPU user time (s): 2509.75
CPU system time (s): 10.3312
CPU usage (%): 100.181
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 195368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.75
system time used= 10.3312
maximum resident set size= 198428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70349
involuntary context switches= 1232
# summary of solver processes directly reported to runsolver:
# pid: 28494
# total CPU time (s): 2520.08
# total CPU user time (s): 2509.75
# total CPU system time (s): 10.3312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4381 second user time and 21.5819 second system time
The end