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 (7601 MiB free)
memory of node 1: 16384 MiB (9563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305081-1534109377/watcher-4305081-1534109377 -o /tmp/evaluation-result-4305081-1534109377/solver-4305081-1534109377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534096964-13175 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1628111398 HOME/instance-4305081-1534109377.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=15518, runsolver pid=15515
Current StackSize limit: 8192 KiB
[startup+0.109213 s]*
/proc/loadavg: 1.22 1.37 1.40 3/206 15575
/proc/meminfo: memFree=17566164/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=10453864 memory=22676 CPUtime=0.1 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 4809 12971 0 0 2 1 4 3 20 0 9 0 228500910 10704756736 5669 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2613466 5669 2101 1 0 2576007 0
[pid=15518/tid=15571] ppid=15515 vsize=10453864 memory=5855084838433490077 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 2607 12971 0 0 1 0 4 3 20 0 9 0 228500919 10704756736 5669 33554432000 4194304 4196468 140732843873072 140036170809200 140036183053662 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=10453864 memory=5793855694236744121 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 9 0 228500920 10704756736 5669 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=10453864 memory=140443226850944 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 9 0 228500920 10704756736 5669 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 9 0 228500920 10704756736 5669 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 9 0 228500920 10704756736 5669 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 9 0 228500921 10704756736 5669 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 13 12971 0 0 0 0 4 3 20 0 9 0 228500922 10704756736 5669 33554432000 4194304 4196468 140732843873072 140035059868960 140036198983381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 9 0 228500922 10704756736 5669 33554432000 4194304 4196468 140732843873072 140034858542768 140036198983381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 22676 KiB
[startup+0.210064 s]*
/proc/loadavg: 1.22 1.37 1.40 3/215 15584
/proc/meminfo: memFree=17545640/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=10983736 memory=46764 CPUtime=0.25 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 8331 12971 0 0 15 3 4 3 20 0 15 0 228500910 11247345664 11691 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2745934 11691 2973 1 0 2708357 0
[pid=15518/tid=15571] ppid=15515 vsize=10983736 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 5308 12971 0 0 10 2 4 3 20 0 15 0 228500919 11247345664 11729 33554432000 4194304 4196468 140732843873072 140036170797984 140036191690279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=10983736 memory=4211974169431641482 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11247345664 11489 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=10983736 memory=140443226850944 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11247345664 11489 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246329856 11481 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246329856 11481 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=10982744 memory=140443226850944 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 15 0 228500921 11246329856 11481 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 13 12971 0 0 0 0 4 3 20 0 15 0 228500922 11246329856 11481 33554432000 4194304 4196468 140732843873072 140035059868960 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500922 11246329856 11481 33554432000 4194304 4196468 140732843873072 140034858542704 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246329856 11481 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 474 12971 0 0 1 0 4 3 20 0 15 0 228500925 11246329856 11481 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 134 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246329856 11481 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=10982776 memory=140443226850944 CPUtime=0.1 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 624 12971 0 0 3 0 4 3 20 0 15 0 228500925 11246362624 11481 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246362624 11481 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=10982776 memory=140443226850944 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246362624 11481 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 46764 KiB
[startup+0.31037 s]*
/proc/loadavg: 1.22 1.37 1.40 3/215 15584
/proc/meminfo: memFree=17532988/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=10983192 memory=56384 CPUtime=0.37 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 10615 12971 0 0 27 3 4 3 20 0 15 0 228500910 11246788608 14096 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2745798 14096 3092 1 0 2708109 0
[pid=15518/tid=15571] ppid=15515 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 7165 12971 0 0 19 2 4 3 20 0 15 0 228500919 11246788608 14096 33554432000 4194304 4196468 140732843873072 140036170785184 140036183053662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=10983192 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 14096 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=10983192 memory=140443226861537 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 14096 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 15 0 228500921 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 13 12971 0 0 0 0 4 3 20 0 15 0 228500922 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035059868960 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500922 11246788608 14096 33554432000 4194304 4196468 140732843873072 140034858542704 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246788608 14096 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 474 12971 0 0 1 0 4 3 20 0 15 0 228500925 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 137 12971 0 0 1 0 4 3 20 0 15 0 228500925 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=10983192 memory=140443226850944 CPUtime=0.11 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) R 15515 15518 13143 0 -1 4202560 631 12971 0 0 4 0 4 3 20 0 15 0 228500925 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035621640560 140036178944360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246788608 14096 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=10983192 memory=140443226850944 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246788608 14096 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56384 KiB
[startup+0.700774 s]
/proc/loadavg: 1.22 1.37 1.40 3/215 15584
/proc/meminfo: memFree=17523064/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=10983192 memory=88544 CPUtime=0.98 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 16741 12971 0 0 86 5 4 3 20 0 15 0 228500910 11246788608 22136 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2745798 22136 3238 1 0 2708109 0
[pid=15518/tid=15571] ppid=15515 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 12231 12971 0 0 56 3 4 3 20 0 15 0 228500919 11246788608 22136 33554432000 4194304 4196468 140732843873072 140036170794000 140036179248513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 22136 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 22136 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=10983192 memory=4637164475387183459 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 2 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500920 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=10983192 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 5 12971 0 0 0 0 4 3 20 0 15 0 228500921 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=10983192 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 13 12971 0 0 0 0 4 3 20 0 15 0 228500922 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035059868960 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500922 11246788608 22136 33554432000 4194304 4196468 140732843873072 140034858542704 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=10983192 memory=288370819233487888 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246788608 22136 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 841 12971 0 0 7 0 4 3 20 0 15 0 228500925 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 746 12971 0 0 9 0 4 3 20 0 15 0 228500925 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 698 12971 0 0 12 0 4 3 20 0 15 0 228500925 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=10983192 memory=7809523229951467568 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246788608 22136 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500925 11246788608 22136 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88544 KiB
[startup+1.50069 s]
/proc/loadavg: 1.22 1.37 1.40 3/215 15584
/proc/meminfo: memFree=17476864/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=10998092 memory=178988 CPUtime=2.33 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 23945 12971 0 0 215 11 4 3 20 0 15 0 228500910 11262046208 44747 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2749523 44747 3468 1 0 2711181 0
[pid=15518/tid=15571] ppid=15515 vsize=10998092 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 17606 12971 0 0 129 7 4 3 20 0 15 0 228500919 11262046208 44747 33554432000 4194304 4196468 140732843873072 140036170802120 140036183053662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=10998092 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 17 12971 0 0 1 0 4 3 20 0 15 0 228500920 11262046208 44747 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=10998092 memory=14775 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 21 12971 0 0 1 0 4 3 20 0 15 0 228500920 11262046208 44747 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=10998092 memory=4350 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 65 12971 0 0 1 0 4 3 20 0 15 0 228500920 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 196 12971 0 0 0 0 4 3 20 0 15 0 228500920 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=10998092 memory=-3253322038155611931 CPUtime=0.08 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 60 12971 0 0 1 0 4 3 20 0 15 0 228500921 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=10998092 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 14 12971 0 0 0 0 4 3 20 0 15 0 228500922 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035059869024 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=10998092 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 1 12971 0 0 0 0 4 3 20 0 15 0 228500922 11262046208 44747 33554432000 4194304 4196468 140732843873072 140034858542720 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=10998092 memory=103220 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11262046208 44747 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=10998092 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 1120 12971 0 0 18 0 4 3 20 0 15 0 228500925 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=10998092 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 1223 12971 0 0 22 0 4 3 20 0 15 0 228500925 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=10998092 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 1423 12971 0 0 37 0 4 3 20 0 15 0 228500925 11262046208 44747 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
################
# More data... #
################
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 94141 12971 0 0 235376 62 4 3 20 0 15 0 228500919 11343855616 306406 33554432000 4194304 4196468 140732843873072 140036170807216 140035762048970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=11077984 memory=1225552 CPUtime=11.93 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 13036 12971 0 0 1120 66 4 3 20 0 15 0 228500920 11343855616 306406 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=11077984 memory=56 CPUtime=11.92 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 10676 12971 0 0 1121 64 4 3 20 0 15 0 228500920 11343855616 306406 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=11077984 memory=280886164240288 CPUtime=11.97 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 15802 12971 0 0 1127 63 4 3 20 0 15 0 228500920 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=11077984 memory=1225552 CPUtime=11.93 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 12972 12971 0 0 1123 63 4 3 20 0 15 0 228500920 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=11077984 memory=1225624 CPUtime=12.2 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 15103 12971 0 0 1150 63 4 3 20 0 15 0 228500921 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=11077984 memory=1225624 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 15 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035059869088 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=11077984 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 4 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306406 33554432000 4194304 4196468 140732843873072 140034858542720 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=11077984 memory=1225624 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306406 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=11077984 memory=4168 CPUtime=2.63 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 7749 12971 0 0 254 2 4 3 20 0 15 0 228500925 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=11077984 memory=1225624 CPUtime=3.56 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 12431 12971 0 0 345 4 4 3 20 0 15 0 228500925 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=11077984 memory=1764 CPUtime=1.63 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 10214 12971 0 0 153 3 4 3 20 0 15 0 228500925 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306406 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=11077984 memory=144 CPUtime=1.51 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 973 12971 0 0 61 83 4 3 20 0 15 0 228500925 11343855616 306406 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 2423.2 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1225624 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.47 1.42 3/216 15837
/proc/meminfo: memFree=16356328/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=11077984 memory=1225684 CPUtime=2484.1 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 197215 12971 0 0 247998 405 4 3 20 0 15 0 228500910 11343855616 306421 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2769496 306421 3518 1 0 2731149 0
[pid=15518/tid=15571] ppid=15515 vsize=11077984 memory=1225644 CPUtime=2413.73 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 95066 12971 0 0 241302 64 4 3 20 0 15 0 228500919 11343855616 306421 33554432000 4194304 4196468 140732843873072 140036170806896 140035762841691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=11077984 memory=1225660 CPUtime=12.25 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 13164 12971 0 0 1150 68 4 3 20 0 15 0 228500920 11343855616 306421 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=11077984 memory=1225644 CPUtime=12.23 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 10783 12971 0 0 1151 65 4 3 20 0 15 0 228500920 11343855616 306421 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=11077984 memory=1225660 CPUtime=12.29 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 16106 12971 0 0 1157 65 4 3 20 0 15 0 228500920 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=11077984 memory=1225660 CPUtime=12.25 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 12998 12971 0 0 1153 65 4 3 20 0 15 0 228500920 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=11077984 memory=1225684 CPUtime=12.52 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 15467 12971 0 0 1181 64 4 3 20 0 15 0 228500921 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=11077984 memory=1225684 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 15 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035059869088 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=11077984 memory=1225684 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 4 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306421 33554432000 4194304 4196468 140732843873072 140034858542720 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=11077984 memory=280886164361712 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306421 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=11077984 memory=6791534058613427641 CPUtime=2.63 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 7754 12971 0 0 254 2 4 3 20 0 15 0 228500925 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=11077984 memory=960 CPUtime=3.56 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 12435 12971 0 0 345 4 4 3 20 0 15 0 228500925 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=11077984 memory=1225684 CPUtime=1.63 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 10218 12971 0 0 153 3 4 3 20 0 15 0 228500925 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=11077984 memory=2196 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306421 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=11077984 memory=1225684 CPUtime=1.53 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 1005 12971 0 0 62 84 4 3 20 0 15 0 228500925 11343855616 306421 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 2484.1 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1225684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.7 s]
/proc/loadavg: 1.52 1.45 1.41 3/216 15837
/proc/meminfo: memFree=16350608/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=11077984 memory=1227776 CPUtime=2520.03 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 198028 12971 0 0 251585 411 4 3 20 0 15 0 228500910 11343855616 306944 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2769496 306944 3518 1 0 2731149 0
[pid=15518/tid=15571] ppid=15515 vsize=11077984 memory=1227776 CPUtime=2448.72 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 95490 12971 0 0 244800 65 4 3 20 0 15 0 228500919 11343855616 306944 33554432000 4194304 4196468 140732843873072 140036170807104 140035762841350 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=11077984 memory=6944656575208382560 CPUtime=12.43 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 13422 12971 0 0 1167 69 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=11077984 memory=1227776 CPUtime=12.43 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 10858 12971 0 0 1169 67 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=11077984 memory=1227776 CPUtime=12.48 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 16126 12971 0 0 1175 66 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=11077984 memory=1225660 CPUtime=12.43 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 13002 12971 0 0 1170 66 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=11077984 memory=1227776 CPUtime=12.7 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 15491 12971 0 0 1198 65 4 3 20 0 15 0 228500921 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=11077984 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 15 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035059869088 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=11077984 memory=1227732 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 4 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306944 33554432000 4194304 4196468 140732843873072 140034858542720 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=11077984 memory=1225684 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=11077984 memory=1227776 CPUtime=2.63 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 7754 12971 0 0 254 2 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=11077984 memory=4028 CPUtime=3.56 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 12437 12971 0 0 345 4 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=11077984 memory=62116 CPUtime=1.63 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 10220 12971 0 0 153 3 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=11077984 memory=1384 CPUtime=1.56 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 1009 12971 0 0 63 86 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1227776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.74 s]
# the end of solver process 15518 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.92 s, system=4.1611 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.7 s]
/proc/loadavg: 1.52 1.45 1.41 3/216 15837
/proc/meminfo: memFree=16350608/32770624 swapFree=67108196/67108860
[pid=15518] ppid=15515 vsize=11077984 memory=1227776 CPUtime=2520.03 cores=1,3,5,7
/proc/15518/stat : 15518 (java) S 15515 15518 13143 0 -1 1077944320 198028 12971 0 0 251585 411 4 3 20 0 15 0 228500910 11343855616 306944 33554432000 4194304 4196468 140732843873072 140732843855616 140036198973175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
/proc/15518/statm: 2769496 306944 3518 1 0 2731149 0
[pid=15518/tid=15571] ppid=15515 vsize=11077984 memory=1227776 CPUtime=2448.72 cores=1,3,5,7
/proc/15518/task/15571/stat : 15571 (java) R 15515 15518 13143 0 -1 4202560 95490 12971 0 0 244800 65 4 3 20 0 15 0 228500919 11343855616 306944 33554432000 4194304 4196468 140732843873072 140036170807104 140035762841350 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15572] ppid=15515 vsize=11077984 memory=6944656575208382560 CPUtime=12.43 cores=1,3,5,7
/proc/15518/task/15572/stat : 15572 (java) S 15515 15518 13143 0 -1 1077944384 13422 12971 0 0 1167 69 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140036203215248 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15573] ppid=15515 vsize=11077984 memory=1227776 CPUtime=12.43 cores=1,3,5,7
/proc/15518/task/15573/stat : 15573 (java) S 15515 15518 13143 0 -1 1077944384 10858 12971 0 0 1169 67 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140036068550928 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15574] ppid=15515 vsize=11077984 memory=1227776 CPUtime=12.48 cores=1,3,5,7
/proc/15518/task/15574/stat : 15574 (java) S 15515 15518 13143 0 -1 1077944384 16126 12971 0 0 1175 66 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035737119376 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15575] ppid=15515 vsize=11077984 memory=1225660 CPUtime=12.43 cores=1,3,5,7
/proc/15518/task/15575/stat : 15575 (java) S 15515 15518 13143 0 -1 1077944384 13002 12971 0 0 1170 66 4 3 20 0 15 0 228500920 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035736066576 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15576] ppid=15515 vsize=11077984 memory=1227776 CPUtime=12.7 cores=1,3,5,7
/proc/15518/task/15576/stat : 15576 (java) S 15515 15518 13143 0 -1 1077944384 15491 12971 0 0 1198 65 4 3 20 0 15 0 228500921 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035624798832 140036198984322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15577] ppid=15515 vsize=11077984 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15577/stat : 15577 (java) S 15515 15518 13143 0 -1 1077944384 15 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035059869088 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15578] ppid=15515 vsize=11077984 memory=1227732 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15578/stat : 15578 (java) S 15515 15518 13143 0 -1 1077944384 4 12971 0 0 0 0 4 3 20 0 15 0 228500922 11343855616 306944 33554432000 4194304 4196468 140732843873072 140034858542720 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15579] ppid=15515 vsize=11077984 memory=1225684 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15579/stat : 15579 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140034551142992 140036198991771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15580] ppid=15515 vsize=11077984 memory=1227776 CPUtime=2.63 cores=1,3,5,7
/proc/15518/task/15580/stat : 15580 (java) S 15515 15518 13143 0 -1 1077944384 7754 12971 0 0 254 2 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035623745648 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15581] ppid=15515 vsize=11077984 memory=4028 CPUtime=3.56 cores=1,3,5,7
/proc/15518/task/15581/stat : 15581 (java) S 15515 15518 13143 0 -1 1077944384 12437 12971 0 0 345 4 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035622692848 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15582] ppid=15515 vsize=11077984 memory=62116 CPUtime=1.63 cores=1,3,5,7
/proc/15518/task/15582/stat : 15582 (java) S 15515 15518 13143 0 -1 1077944384 10220 12971 0 0 153 3 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035621640560 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15583] ppid=15515 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/15518/task/15583/stat : 15583 (java) S 15515 15518 13143 0 -1 1077944384 3 12971 0 0 0 0 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140034120346080 140036198983381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
[pid=15518/tid=15584] ppid=15515 vsize=11077984 memory=1384 CPUtime=1.56 cores=1,3,5,7
/proc/15518/task/15584/stat : 15584 (java) S 15515 15518 13143 0 -1 1077944384 1009 12971 0 0 63 86 4 3 20 0 15 0 228500925 11343855616 306944 33554432000 4194304 4196468 140732843873072 140035620588464 140036198984322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140732843879020 140732843881820 140732843881820 140732843884495 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1227776 KiB
Child status: 143
Real time (s): 2477.74
CPU time (s): 2520.09
CPU user time (s): 2515.92
CPU system time (s): 4.1611
CPU usage (%): 101.709
Max. virtual memory (cumulated for all children) (KiB): 11080828
Max. memory (cumulated for all children) (KiB): 1227776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.92
system time used= 4.1611
maximum resident set size= 1230076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212149
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 307565
involuntary context switches= 8032
# summary of solver processes directly reported to runsolver:
# pid: 15518
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.92
# total CPU system time (s): 4.1611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2036 second user time and 23.0677 second system time
The end