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 (12421 MiB free)
memory of node 1: 16384 MiB (10705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312012-1534566075/watcher-4312012-1534566075 -o /tmp/evaluation-result-4312012-1534566075/solver-4312012-1534566075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534541038-12298 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 586238568 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312012-1534566075.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=15116, runsolver pid=15113
[startup+0.100081 s]*
/proc/loadavg: 1.19 1.30 1.32 4/216 15131
/proc/meminfo: memFree=23664536/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14082736 memory=31008 CPUtime=0.12 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 6648 0 0 0 11 1 0 0 20 0 15 0 274170736 14420721664 7752 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3520684 7752 3155 1 0 3482761 0
[pid=15116/tid=15118] ppid=15113 vsize=14082736 memory=-8701690554791925123 CPUtime=0.09 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 4691 0 0 0 8 1 0 0 20 0 15 0 274170736 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443600154752 140443580003708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274170738 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274170739 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443069130272 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274170739 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443068077424 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0.01 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 274170742 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 7752 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31008 KiB
[startup+0.213303 s]*
/proc/loadavg: 1.19 1.30 1.32 6/216 15131
/proc/meminfo: memFree=23648536/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14082736 memory=46824 CPUtime=0.31 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 10379 0 0 0 29 2 0 0 20 0 15 0 274170736 14420721664 11706 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3520684 11706 3371 1 0 3482761 0
[pid=15116/tid=15118] ppid=15113 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 8075 0 0 0 19 1 0 0 20 0 15 0 274170736 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443600147056 140443595935126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14082736 memory=140375827533774 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274170738 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274170739 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443069130272 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274170739 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443068077424 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 274170742 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) R 15113 15116 12267 0 -1 4202560 163 0 0 0 1 0 0 0 20 0 15 0 274170742 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443064920304 140443579419442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0.05 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) R 15113 15116 12267 0 -1 4202560 303 0 0 0 5 0 0 0 20 0 15 0 274170742 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443063862768 140443574908346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 11706 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46824 KiB
[startup+0.310496 s]*
/proc/loadavg: 1.19 1.30 1.32 3/216 15131
/proc/meminfo: memFree=23645124/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14082736 memory=50232 CPUtime=0.44 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 10780 0 0 0 42 2 0 0 20 0 15 0 274170736 14420721664 12558 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3520684 12558 3374 1 0 3482761 0
[pid=15116/tid=15118] ppid=15113 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 8436 0 0 0 28 2 0 0 20 0 15 0 274170736 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443600131024 140443580003678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14082736 memory=140375827369644 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274170738 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274170739 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443069130272 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274170739 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443068077424 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 274170742 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 274170742 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0.08 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 323 0 0 0 8 0 0 0 20 0 15 0 274170742 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14082736 memory=140375826048640 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170742 14420721664 12558 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50232 KiB
[startup+0.700718 s]
/proc/loadavg: 1.19 1.30 1.32 3/216 15131
/proc/meminfo: memFree=23620648/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14084804 memory=88820 CPUtime=0.98 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 17592 0 0 0 94 4 0 0 20 0 15 0 274170736 14422839296 22205 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3521201 22205 3499 1 0 3483273 0
[pid=15116/tid=15118] ppid=15113 vsize=14084804 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 14861 0 0 0 64 3 0 0 20 0 15 0 274170736 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443600127200 140443588174764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14084804 memory=856 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274170737 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14084804 memory=12468 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274170738 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274170739 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443069130272 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14084804 memory=6420 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274170739 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443068077424 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14084804 memory=7525326301224851042 CPUtime=0.08 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 611 0 0 0 8 0 0 0 20 0 15 0 274170742 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14084804 memory=5787213831426565969 CPUtime=0.06 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 325 0 0 0 6 0 0 0 20 0 15 0 274170742 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 413 0 0 0 15 0 0 0 20 0 15 0 274170742 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170742 14422839296 22205 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88820 KiB
[startup+1.5012 s]
/proc/loadavg: 1.26 1.32 1.32 4/216 15131
/proc/meminfo: memFree=23591676/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14090948 memory=148428 CPUtime=2.85 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 28641 0 0 0 278 7 0 0 20 0 15 0 274170736 14429130752 37107 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3522737 37107 3556 1 0 3484809 0
[pid=15116/tid=15118] ppid=15113 vsize=14090948 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 20532 0 0 0 142 5 0 0 20 0 15 0 274170736 14429130752 37107 33554432000 4194304 4196468 140734110806048 140443600159152 140443238327063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14090948 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274170737 14429130752 37107 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14090948 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14429130752 37107 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14090948 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14429130752 37107 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14090948 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274170737 14429130752 37107 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 274170738 14429130752 37107 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
################
# More data... #
################
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 45645 0 0 0 236499 25 0 0 20 0 15 0 274170736 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443600161312 140443241287700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14090948 memory=345004 CPUtime=7.55 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 5586 0 0 0 710 45 0 0 20 0 15 0 274170737 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14090948 memory=342956 CPUtime=7.58 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 4966 0 0 0 710 48 0 0 20 0 15 0 274170737 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14090948 memory=342956 CPUtime=7.55 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 5433 0 0 0 708 47 0 0 20 0 15 0 274170737 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14090948 memory=342956 CPUtime=7.52 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 5701 0 0 0 706 46 0 0 20 0 15 0 274170737 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14090948 memory=345004 CPUtime=6.59 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 7109 0 0 0 610 49 0 0 20 0 15 0 274170738 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14090948 memory=345004 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443069130336 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14090948 memory=345004 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443068077440 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14090948 memory=342956 CPUtime=0.97 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 3764 0 0 0 96 1 0 0 20 0 15 0 274170742 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14090948 memory=342956 CPUtime=1.14 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 4124 0 0 0 114 0 0 0 20 0 15 0 274170742 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14090948 memory=342956 CPUtime=0.74 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 5415 0 0 0 74 0 0 0 20 0 15 0 274170742 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14090948 memory=6792 CPUtime=1.17 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1338 0 0 0 64 53 0 0 20 0 15 0 274170742 14429130752 86251 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 2406.17 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 345004 KiB
[startup+2442.3 s]
/proc/loadavg: 1.18 1.44 1.41 2/196 15277
/proc/meminfo: memFree=23533636/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14090948 memory=347052 CPUtime=2466.87 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 91831 0 0 0 246425 262 0 0 20 0 15 0 274170736 14429130752 86763 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3522737 86763 3589 1 0 3484809 0
[pid=15116/tid=15118] ppid=15113 vsize=14090948 memory=1812 CPUtime=2424.75 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) R 15113 15116 12267 0 -1 4202560 46231 0 0 0 242449 26 0 0 20 0 15 0 274170736 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443600161312 140443240809870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14090948 memory=347052 CPUtime=7.8 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 5643 0 0 0 734 46 0 0 20 0 15 0 274170737 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14090948 memory=347052 CPUtime=7.82 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 5157 0 0 0 733 49 0 0 20 0 15 0 274170737 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14090948 memory=280751411088992 CPUtime=7.8 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 5695 0 0 0 732 48 0 0 20 0 15 0 274170737 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14090948 memory=345004 CPUtime=7.78 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 5736 0 0 0 730 48 0 0 20 0 15 0 274170737 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14090948 memory=347052 CPUtime=6.77 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) S 15113 15116 12267 0 -1 1077944384 7286 0 0 0 627 50 0 0 20 0 15 0 274170738 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443070184304 140443595934338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14090948 memory=347052 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443069130336 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14090948 memory=347052 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443068077440 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14090948 memory=347052 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14090948 memory=347052 CPUtime=0.97 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 3766 0 0 0 96 1 0 0 20 0 15 0 274170742 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14090948 memory=347052 CPUtime=1.14 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 4126 0 0 0 114 0 0 0 20 0 15 0 274170742 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14090948 memory=3292 CPUtime=0.74 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 5417 0 0 0 74 0 0 0 20 0 15 0 274170742 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14090948 memory=347052 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14090948 memory=3812 CPUtime=1.2 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1353 0 0 0 65 55 0 0 20 0 15 0 274170742 14429130752 86763 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 2466.87 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 347052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.9 s]
/proc/loadavg: 0.83 1.31 1.37 2/195 15278
/proc/meminfo: memFree=23531816/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14090948 memory=351148 CPUtime=2520.09 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 93141 0 0 0 251740 269 0 0 20 0 15 0 274170736 14429130752 87787 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3522737 87787 3589 1 0 3484809 0
[pid=15116/tid=15118] ppid=15113 vsize=14090948 memory=351148 CPUtime=2476.9 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) S 15113 15116 12267 0 -1 1077944384 46772 0 0 0 247664 26 0 0 20 0 15 0 274170736 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443600161344 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14090948 memory=351148 CPUtime=8.02 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 5692 0 0 0 755 47 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14090948 memory=351148 CPUtime=8.04 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 5431 0 0 0 754 50 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14090948 memory=351148 CPUtime=8.03 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 5784 0 0 0 753 50 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14090948 memory=351148 CPUtime=8 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 5895 0 0 0 751 49 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14090948 memory=0 CPUtime=6.92 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) R 15113 15116 12267 0 -1 4202560 7463 0 0 0 641 51 0 0 20 0 15 0 274170738 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443070182816 140443595944538 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14090948 memory=351148 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443069130336 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443068077440 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14090948 memory=351148 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14090948 memory=3812 CPUtime=0.97 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 3768 0 0 0 96 1 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14090948 memory=351148 CPUtime=1.14 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 4128 0 0 0 114 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14090948 memory=14884 CPUtime=0.74 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 5419 0 0 0 74 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14090948 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14090948 memory=6420 CPUtime=1.23 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1368 0 0 0 67 56 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 351148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.91 s]
# the end of solver process 15116 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.41 s, system=2.69719 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.9 s]
/proc/loadavg: 0.83 1.31 1.37 2/195 15278
/proc/meminfo: memFree=23531816/32770624 swapFree=67105356/67108860
[pid=15116] ppid=15113 vsize=14090948 memory=351148 CPUtime=2520.09 cores=0,2,4,6
/proc/15116/stat : 15116 (java) S 15113 15116 12267 0 -1 1077944320 93141 0 0 0 251740 269 0 0 20 0 15 0 274170736 14429130752 87787 33554432000 4194304 4196468 140734110806048 140734110788592 140443595923191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
/proc/15116/statm: 3522737 87787 3589 1 0 3484809 0
[pid=15116/tid=15118] ppid=15113 vsize=14090948 memory=351148 CPUtime=2476.9 cores=0,2,4,6
/proc/15116/task/15118/stat : 15118 (java) S 15113 15116 12267 0 -1 1077944384 46772 0 0 0 247664 26 0 0 20 0 15 0 274170736 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443600161344 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15119] ppid=15113 vsize=14090948 memory=351148 CPUtime=8.02 cores=0,2,4,6
/proc/15116/task/15119/stat : 15119 (java) S 15113 15116 12267 0 -1 1077944384 5692 0 0 0 755 47 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443191274128 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15120] ppid=15113 vsize=14090948 memory=351148 CPUtime=8.04 cores=0,2,4,6
/proc/15116/task/15120/stat : 15120 (java) S 15113 15116 12267 0 -1 1077944384 5431 0 0 0 754 50 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443190221328 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15121] ppid=15113 vsize=14090948 memory=351148 CPUtime=8.03 cores=0,2,4,6
/proc/15116/task/15121/stat : 15121 (java) S 15113 15116 12267 0 -1 1077944384 5784 0 0 0 753 50 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443189168528 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15122] ppid=15113 vsize=14090948 memory=351148 CPUtime=8 cores=0,2,4,6
/proc/15116/task/15122/stat : 15122 (java) S 15113 15116 12267 0 -1 1077944384 5895 0 0 0 751 49 0 0 20 0 15 0 274170737 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443188115728 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15123] ppid=15113 vsize=14090948 memory=0 CPUtime=6.92 cores=0,2,4,6
/proc/15116/task/15123/stat : 15123 (java) R 15113 15116 12267 0 -1 4202560 7463 0 0 0 641 51 0 0 20 0 15 0 274170738 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443070182816 140443595944538 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15124] ppid=15113 vsize=14090948 memory=351148 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15124/stat : 15124 (java) S 15113 15116 12267 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443069130336 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15125] ppid=15113 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15125/stat : 15125 (java) S 15113 15116 12267 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274170739 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443068077440 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15126] ppid=15113 vsize=14090948 memory=351148 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15126/stat : 15126 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443067025744 140443595941787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15127] ppid=15113 vsize=14090948 memory=3812 CPUtime=0.97 cores=0,2,4,6
/proc/15116/task/15127/stat : 15127 (java) S 15113 15116 12267 0 -1 1077944384 3768 0 0 0 96 1 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443065973104 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15128] ppid=15113 vsize=14090948 memory=351148 CPUtime=1.14 cores=0,2,4,6
/proc/15116/task/15128/stat : 15128 (java) S 15113 15116 12267 0 -1 1077944384 4128 0 0 0 114 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443064920304 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15129] ppid=15113 vsize=14090948 memory=14884 CPUtime=0.74 cores=0,2,4,6
/proc/15116/task/15129/stat : 15129 (java) S 15113 15116 12267 0 -1 1077944384 5419 0 0 0 74 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443063867504 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15130] ppid=15113 vsize=14090948 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/15116/task/15130/stat : 15130 (java) S 15113 15116 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443062814944 140443595933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
[pid=15116/tid=15131] ppid=15113 vsize=14090948 memory=6420 CPUtime=1.23 cores=0,2,4,6
/proc/15116/task/15131/stat : 15131 (java) S 15113 15116 12267 0 -1 1077944384 1368 0 0 0 67 56 0 0 20 0 15 0 274170742 14429130752 87787 33554432000 4194304 4196468 140734110806048 140443061763248 140443595934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 34861056 140734110807113 140734110807305 140734110807305 140734110810063 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 351148 KiB
Child status: 143
Real time (s): 2494.91
CPU time (s): 2520.11
CPU user time (s): 2517.41
CPU system time (s): 2.69719
CPU usage (%): 101.01
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 351148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.41
system time used= 2.69719
maximum resident set size= 351708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93520
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 243402
involuntary context switches= 7474
# summary of solver processes directly reported to runsolver:
# pid: 15116
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.41
# total CPU system time (s): 2.69719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4068 second user time and 22.8307 second system time
The end