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 (12036 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301862-1532885193/watcher-4301862-1532885193 -o /tmp/evaluation-result-4301862-1532885193/solver-4301862-1532885193 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301862-1532885193.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18624, runsolver pid=18621
[startup+0.100095 s]*
/proc/loadavg: 2.07 2.35 2.52 3/216 18639
/proc/meminfo: memFree=28523288/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10659012 memory=30120 CPUtime=0.13 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 6601 0 0 0 11 2 0 0 20 0 15 0 106082517 10914828288 7530 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2664753 7530 2822 1 0 2627263 0
[pid=18624/tid=18626] ppid=18621 vsize=10659012 memory=-8773748148830114690 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) R 18621 18624 13514 0 -1 4202560 4438 0 0 0 8 1 0 0 20 0 15 0 106082517 10914828288 7530 33554432000 4194304 4196468 140721194327216 140212185200496 140212165076318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 7530 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 7530 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 7530 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 7530 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082520 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082520 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082520 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082522 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) S 18621 18624 13514 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 106082522 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211212217200 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082522 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211211164400 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0.02 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) R 18621 18624 13514 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 106082523 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211210111600 140212181017178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082523 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082523 10914828288 7530 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30120 KiB
[startup+0.210554 s]*
/proc/loadavg: 2.07 2.35 2.52 5/216 18639
/proc/meminfo: memFree=28513860/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10659012 memory=41544 CPUtime=0.34 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 8052 0 0 0 31 3 0 0 20 0 15 0 106082517 10914828288 10386 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2664753 10386 2998 1 0 2627263 0
[pid=18624/tid=18626] ppid=18621 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) R 18621 18624 13514 0 -1 4202560 5022 0 0 0 18 2 0 0 20 0 15 0 106082517 10914828288 10386 33554432000 4194304 4196468 140721194327216 140212185232112 140212165076318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 10386 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10659012 memory=140624966588657 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 10386 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 10386 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082518 10914828288 10386 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082520 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082520 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082520 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082522 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) S 18621 18624 13514 0 -1 1077944384 783 0 0 0 2 0 0 0 20 0 15 0 106082522 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211212217200 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) S 18621 18624 13514 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 106082522 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211211164400 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0.07 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) R 18621 18624 13514 0 -1 4202560 703 0 0 0 7 0 0 0 20 0 15 0 106082523 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211210111600 140212160013560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082523 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10659012 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082523 10914828288 10386 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41544 KiB
[startup+0.317405 s]*
/proc/loadavg: 2.07 2.35 2.52 6/216 18639
/proc/meminfo: memFree=28506912/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10659088 memory=47220 CPUtime=0.56 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 8881 0 0 0 53 3 0 0 20 0 15 0 106082517 10914906112 11805 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2664772 11805 3055 1 0 2627263 0
[pid=18624/tid=18626] ppid=18621 vsize=10659088 memory=7022364594140610616 CPUtime=0.31 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) R 18621 18624 13514 0 -1 4202560 5583 0 0 0 29 2 0 0 20 0 15 0 106082517 10914906112 11805 33554432000 4194304 4196468 140721194327216 140212185226704 140212181007766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914906112 11805 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10659088 memory=140624966586383 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914906112 11805 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10914906112 11805 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082518 10914906112 11805 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10659088 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106082520 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082520 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082520 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082522 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) R 18621 18624 13514 0 -1 4202560 822 0 0 0 5 0 0 0 20 0 15 0 106082522 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211212217200 140212173980873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) R 18621 18624 13514 0 -1 4202560 285 0 0 0 4 0 0 0 20 0 15 0 106082522 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211211152272 140212166119432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10659088 memory=140624965957248 CPUtime=0.13 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) R 18621 18624 13514 0 -1 4202560 820 0 0 0 13 0 0 0 20 0 15 0 106082523 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211210108536 140212165158240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082523 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10659088 memory=140624965957248 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082523 10914906112 11805 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47220 KiB
[startup+0.701368 s]
/proc/loadavg: 2.07 2.35 2.52 6/216 18639
/proc/meminfo: memFree=28473788/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10661136 memory=117464 CPUtime=1.89 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 14268 0 0 0 184 5 0 0 20 0 15 0 106082517 10917003264 29366 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2665284 29366 3104 1 0 2627775 0
[pid=18624/tid=18626] ppid=18621 vsize=10661136 memory=16872 CPUtime=0.67 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) R 18621 18624 13514 0 -1 4202560 6046 0 0 0 64 3 0 0 20 0 15 0 106082517 10917003264 29366 33554432000 4194304 4196468 140721194327216 140212185230080 140212181007766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10661136 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10917003264 29366 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10661136 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10917003264 29366 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10661136 memory=496 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082518 10917003264 29366 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10661136 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106082518 10917003264 29366 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10661136 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106082520 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10661136 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106082520 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10661136 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106082520 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10661136 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082522 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10661136 memory=6081108994580573287 CPUtime=0.38 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) R 18621 18624 13514 0 -1 4202560 2301 0 0 0 38 0 0 0 20 0 15 0 106082522 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211212206992 140212164496214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10661136 memory=5788647689011156329 CPUtime=0.37 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) R 18621 18624 13514 0 -1 4202560 1996 0 0 0 37 0 0 0 20 0 15 0 106082522 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211211155232 140212166100304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10661136 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) R 18621 18624 13514 0 -1 1077944384 2554 0 0 0 42 0 0 0 20 0 15 0 106082523 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211210111600 140212181006978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106082523 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10661136 memory=756 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106082523 10917003264 29366 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 117464 KiB
[startup+1.50074 s]
/proc/loadavg: 2.07 2.35 2.52 5/216 18639
/proc/meminfo: memFree=28325904/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10727700 memory=225676 CPUtime=4.16 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 14931 0 0 0 404 12 0 0 20 0 16 0 106082517 10985164800 56419 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2681925 56419 3134 1 0 2644416 0
[pid=18624/tid=18626] ppid=18621 vsize=10727700 memory=225472 CPUtime=1.43 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) R 18621 18624 13514 0 -1 4202560 6150 0 0 0 138 5 0 0 20 0 16 0 106082517 10985164800 56419 33554432000 4194304 4196468 140721194327216 140212185232376 140211780504017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10727700 memory=33 CPUtime=0.03 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 25 0 0 0 2 1 0 0 20 0 16 0 106082518 10985164800 56419 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10727700 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 16 0 106082518 10985164800 56419 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10727700 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 14 0 0 0 2 0 0 0 20 0 16 0 106082518 10985164800 56419 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10727700 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 16 0 106082518 10985164800 56419 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 106082520 10985164800 56419 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
################
# More data... #
################
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 993 0 0 0 6 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 213 0 0 0 6 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.01 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 745 0 0 0 1 0 0 0 20 0 16 0 106082520 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10727700 memory=496 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106082520 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082520 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082522 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10727700 memory=6791534058613427641 CPUtime=1.63 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) S 18621 18624 13514 0 -1 1077944384 7865 0 0 0 163 0 0 0 20 0 16 0 106082522 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211212217200 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10727700 memory=288286658309391269 CPUtime=1.37 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) S 18621 18624 13514 0 -1 1077944384 7074 0 0 0 136 1 0 0 20 0 16 0 106082522 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211211164400 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.56 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) S 18621 18624 13514 0 -1 1077944384 4530 0 0 0 56 0 0 0 20 0 16 0 106082523 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211210111600 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082523 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10727700 memory=4140 CPUtime=0.12 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 884 0 0 0 5 7 0 0 20 0 16 0 106082523 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18640] ppid=18621 vsize=10727700 memory=30244 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18640/stat : 18640 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082618 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211204854704 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 226.23 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 279444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.11 s]
/proc/loadavg: 2.00 2.15 2.40 3/217 18808
/proc/meminfo: memFree=28250952/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10727700 memory=279444 CPUtime=252.06 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 34477 0 0 0 25180 26 0 0 20 0 16 0 106082517 10985164800 69861 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2681925 69861 3160 1 0 2644416 0
[pid=18624/tid=18626] ppid=18621 vsize=10727700 memory=279444 CPUtime=247.93 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) R 18621 18624 13514 0 -1 4202560 10256 0 0 0 24788 5 0 0 20 0 16 0 106082517 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212185231824 140211780059025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 362 0 0 0 7 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 993 0 0 0 6 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 213 0 0 0 6 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 16 0 106082518 10985164800 69861 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10727700 memory=12708 CPUtime=0.01 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 745 0 0 0 1 0 0 0 20 0 16 0 106082520 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106082520 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082520 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082522 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10727700 memory=279444 CPUtime=1.63 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) S 18621 18624 13514 0 -1 1077944384 7865 0 0 0 163 0 0 0 20 0 16 0 106082522 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211212217200 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10727700 memory=279444 CPUtime=1.37 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) S 18621 18624 13514 0 -1 1077944384 7074 0 0 0 136 1 0 0 20 0 16 0 106082522 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211211164400 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10727700 memory=279444 CPUtime=0.56 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) S 18621 18624 13514 0 -1 1077944384 4530 0 0 0 56 0 0 0 20 0 16 0 106082523 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211210111600 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10727700 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106082523 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10727700 memory=496 CPUtime=0.13 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 886 0 0 0 5 8 0 0 20 0 16 0 106082523 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18640] ppid=18621 vsize=10727700 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18640/stat : 18640 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106082618 10985164800 69861 33554432000 4194304 4196468 140721194327216 140211204854704 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 279444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.337 s]
# the end of solver process 18624 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.848 s, system=0.267051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.205 s]
/proc/loadavg: 2.00 2.15 2.40 3/217 18808
/proc/meminfo: memFree=28250952/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10927392 memory=279704 CPUtime=252.09 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 35639 0 0 0 25183 26 0 0 20 0 17 0 106082517 11189649408 69926 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2731848 69926 3162 1 0 2694339 0
[pid=18624/tid=18626] ppid=18621 vsize=10927392 memory=14572 CPUtime=247.96 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) S 18621 18624 13514 0 -1 1077944384 10491 0 0 0 24791 5 0 0 20 0 17 0 106082517 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212185238704 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10927392 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 362 0 0 0 7 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10927392 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 993 0 0 0 6 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10927392 memory=2204 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 213 0 0 0 6 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10927392 memory=1240 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10927392 memory=1520 CPUtime=0.01 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 745 0 0 0 1 0 0 0 20 0 17 0 106082520 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10927392 memory=844 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 106082520 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10927392 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 106082520 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10927392 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 17 0 106082522 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10927392 memory=281249625889936 CPUtime=1.63 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) S 18621 18624 13514 0 -1 1077944384 7952 0 0 0 163 0 0 0 20 0 17 0 106082522 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211212217200 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10927392 memory=7084817988072980581 CPUtime=1.37 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) S 18621 18624 13514 0 -1 1077944384 7169 0 0 0 136 1 0 0 20 0 17 0 106082522 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211211164400 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10927392 memory=7084818000957751402 CPUtime=0.56 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) S 18621 18624 13514 0 -1 1077944384 4699 0 0 0 56 0 0 0 20 0 17 0 106082523 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211210111600 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10927392 memory=5864621752174723172 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106082523 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10927392 memory=5866031330292416617 CPUtime=0.13 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 886 0 0 0 5 8 0 0 20 0 17 0 106082523 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 279704 KiB
[startup+248.301 s]
/proc/loadavg: 2.00 2.15 2.40 3/217 18808
/proc/meminfo: memFree=28250952/32770624 swapFree=67108860/67108860
[pid=18624] ppid=18621 vsize=10927392 memory=279704 CPUtime=252.09 cores=1,3,5,7
/proc/18624/stat : 18624 (java) S 18621 18624 13514 0 -1 1077944320 35639 0 0 0 25183 26 0 0 20 0 17 0 106082517 11189649408 69926 33554432000 4194304 4196468 140721194327216 140721194309760 140212180995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
/proc/18624/statm: 2731848 69926 3162 1 0 2694339 0
[pid=18624/tid=18626] ppid=18621 vsize=10927392 memory=279444 CPUtime=247.96 cores=1,3,5,7
/proc/18624/task/18626/stat : 18626 (java) S 18621 18624 13514 0 -1 1077944384 10491 0 0 0 24791 5 0 0 20 0 17 0 106082517 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212185238704 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18627] ppid=18621 vsize=10927392 memory=279444 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18627/stat : 18627 (java) S 18621 18624 13514 0 -1 1077944384 362 0 0 0 7 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212107070608 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18628] ppid=18621 vsize=10927392 memory=279444 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18628/stat : 18628 (java) S 18621 18624 13514 0 -1 1077944384 993 0 0 0 6 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212106017808 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18629] ppid=18621 vsize=10927392 memory=279444 CPUtime=0.08 cores=1,3,5,7
/proc/18624/task/18629/stat : 18629 (java) S 18621 18624 13514 0 -1 1077944384 213 0 0 0 6 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212104965008 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18630] ppid=18621 vsize=10927392 memory=279444 CPUtime=0.09 cores=1,3,5,7
/proc/18624/task/18630/stat : 18630 (java) S 18621 18624 13514 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 17 0 106082518 11189649408 69926 33554432000 4194304 4196468 140721194327216 140212103912208 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18631] ppid=18621 vsize=10927392 memory=12708 CPUtime=0.01 cores=1,3,5,7
/proc/18624/task/18631/stat : 18631 (java) S 18621 18624 13514 0 -1 1077944384 745 0 0 0 1 0 0 0 20 0 17 0 106082520 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211216427376 140212181006978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18632] ppid=18621 vsize=10927392 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18632/stat : 18632 (java) S 18621 18624 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 106082520 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211215373344 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18633] ppid=18621 vsize=10927392 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18633/stat : 18633 (java) S 18621 18624 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 106082520 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211214320496 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18634] ppid=18621 vsize=10927392 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18634/stat : 18634 (java) S 18621 18624 13514 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 17 0 106082522 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211213268816 140212181014427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18635] ppid=18621 vsize=10927392 memory=12708 CPUtime=1.63 cores=1,3,5,7
/proc/18624/task/18635/stat : 18635 (java) S 18621 18624 13514 0 -1 1077944384 7952 0 0 0 163 0 0 0 20 0 17 0 106082522 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211212217200 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18636] ppid=18621 vsize=10927392 memory=496 CPUtime=1.37 cores=1,3,5,7
/proc/18624/task/18636/stat : 18636 (java) S 18621 18624 13514 0 -1 1077944384 7169 0 0 0 136 1 0 0 20 0 17 0 106082522 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211211164400 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18637] ppid=18621 vsize=10927392 memory=279444 CPUtime=0.56 cores=1,3,5,7
/proc/18624/task/18637/stat : 18637 (java) S 18621 18624 13514 0 -1 1077944384 4699 0 0 0 56 0 0 0 20 0 17 0 106082523 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211210111600 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18638] ppid=18621 vsize=10927392 memory=279444 CPUtime=0 cores=1,3,5,7
/proc/18624/task/18638/stat : 18638 (java) S 18621 18624 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106082523 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211209059040 140212181006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
[pid=18624/tid=18639] ppid=18621 vsize=10927392 memory=279444 CPUtime=0.13 cores=1,3,5,7
/proc/18624/task/18639/stat : 18639 (java) S 18621 18624 13514 0 -1 1077944384 886 0 0 0 5 8 0 0 20 0 17 0 106082523 11189649408 69926 33554432000 4194304 4196468 140721194327216 140211208006320 140212181006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37036032 140721194329206 140721194329358 140721194329358 140721194332111 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 279704 KiB
Child status: 143
Real time (s): 248.337
CPU time (s): 252.115
CPU user time (s): 251.848
CPU system time (s): 0.267051
CPU usage (%): 101.521
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 279704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.848
system time used= 0.267051
maximum resident set size= 280096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7522
involuntary context switches= 209
# summary of solver processes directly reported to runsolver:
# pid: 18624
# total CPU time (s): 252.115
# total CPU user time (s): 251.848
# total CPU system time (s): 0.267051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6514 second user time and 2.28127 second system time
The end