runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687502-1337871926/watcher-3687502-1337871926 -o /tmp/evaluation-result-3687502-1337871926/solver-3687502-1337871926 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687502-1337871926.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.52 0.40 0.13 3/171 21681
/proc/meminfo: memFree=29128528/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=23172 CPUtime=0 cores=1,3,5,7
/proc/21681/stat : 21681 (java) R 21679 21681 21231 0 -1 4202496 1137 0 0 0 0 0 0 0 20 0 1 0 253318250 23728128 858 33554432000 1073741824 1073778376 140733287353056 140733287342120 1073754112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 6050 866 654 9 0 385 0
[pid=21681/tid=21682] ppid=21679 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) R 21679 21681 21231 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 253318250 24780800 867 33554432000 1073741824 1073778376 140733287353056 140733287342120 272886536369 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.071042 s]
/proc/loadavg: 1.52 0.40 0.13 3/171 21681
/proc/meminfo: memFree=29128528/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 3363 0 1 0 5 1 0 0 20 0 18 0 253318250 9787813888 4572 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2389603 4572 1772 9 0 2380296 0
[pid=21681/tid=21682] ppid=21679 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) R 21679 21681 21231 0 -1 4202560 2155 0 1 0 4 0 0 0 20 0 18 0 253318250 9787813888 4573 33554432000 1073741824 1073778376 140733287353056 140258024942240 140258032704339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100377 s]
/proc/loadavg: 1.52 0.40 0.13 3/171 21681
/proc/meminfo: memFree=29128528/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 4390 0 1 0 9 1 0 0 20 0 18 0 253318250 9787813888 6050 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2389603 6050 2109 9 0 2380296 0
[pid=21681/tid=21682] ppid=21679 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) R 21679 21681 21231 0 -1 4202560 2427 0 1 0 6 1 0 0 20 0 18 0 253318250 9787813888 6050 33554432000 1073741824 1073778376 140733287353056 140258024938416 272889865485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300227 s]
/proc/loadavg: 1.52 0.40 0.13 3/171 21681
/proc/meminfo: memFree=29128528/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9558412 CPUtime=0.57 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 6129 0 1 0 55 2 0 0 20 0 18 0 253318250 9787813888 17728 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2389603 17728 2220 9 0 2380296 0
[pid=21681/tid=21682] ppid=21679 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) R 21679 21681 21231 0 -1 4202560 2461 0 1 0 25 2 0 0 20 0 18 0 253318250 9787813888 17728 33554432000 1073741824 1073778376 140733287353056 140258024931136 140257878193735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558412
[startup+0.700288 s]
/proc/loadavg: 1.52 0.40 0.13 3/171 21681
/proc/meminfo: memFree=29128528/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 8005 0 1 0 104 4 0 0 20 0 19 0 253318250 10060460032 20903 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2456167 20903 2250 9 0 2446860 0
[pid=21681/tid=21682] ppid=21679 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) S 21679 21681 21231 0 -1 4202560 2476 0 1 0 28 2 0 0 20 0 19 0 253318250 10060460032 20903 33554432000 1073741824 1073778376 140733287353056 140258024940536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9824668
[startup+1.50081 s]
/proc/loadavg: 1.52 0.40 0.13 5/193 21706
/proc/meminfo: memFree=29041504/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9824668 CPUtime=2.4 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 12962 0 1 0 231 9 0 0 20 0 19 0 253318250 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2456167 28122 2259 9 0 2446860 0
[pid=21681/tid=21682] ppid=21679 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) S 21679 21681 21231 0 -1 4202560 2477 0 1 0 34 2 0 0 20 0 19 0 253318250 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140258024940536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21684] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21684/stat : 21684 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257997392808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21685] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21685/stat : 21685 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257867115560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21686] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21686/stat : 21686 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257866062504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21687] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21687/stat : 21687 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257865009960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21688] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21688/stat : 21688 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257863956904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21689] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21689/stat : 21689 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257862904360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21690] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21690/stat : 21690 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257525754024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21691] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21691/stat : 21691 (java) S 21679 21681 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257524701480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21692] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21692/stat : 21692 (java) S 21679 21681 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318252 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257512504168 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21693] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21693/stat : 21693 (java) S 21679 21681 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253318252 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257511450488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21694] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21694/stat : 21694 (java) S 21679 21681 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318252 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257510397320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21695] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21695/stat : 21695 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318255 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257509346064 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21696] ppid=21679 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/21681/task/21696/stat : 21696 (java) S 21679 21681 21231 0 -1 4202560 4140 0 0 0 59 0 0 0 20 0 19 0 253318255 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257508292920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21697] ppid=21679 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/21681/task/21697/stat : 21697 (java) S 21679 21681 21231 0 -1 4202560 5010 0 0 0 49 0 0 0 20 0 19 0 253318255 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257507240376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21698] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21698/stat : 21698 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318255 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257506187512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21699] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21699/stat : 21699 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318255 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257505135176 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21706] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21706/stat : 21706 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318337 10060460032 28122 33554432000 1073741824 1073778376 140733287353056 140257500922664 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9824668
[startup+3.10075 s]
/proc/loadavg: 1.52 0.40 0.13 9/219 21747
/proc/meminfo: memFree=28963908/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9824668 CPUtime=4.72 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 13464 0 1 0 459 13 0 0 20 0 19 0 253318250 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2456167 38956 2261 9 0 2446860 0
[pid=21681/tid=21682] ppid=21679 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) S 21679 21681 21231 0 -1 4202560 2478 0 1 0 35 2 0 0 20 0 19 0 253318250 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140258024940536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21684] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21684/stat : 21684 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257997392808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21685] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21685/stat : 21685 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257867115560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21686] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21686/stat : 21686 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257866062504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21687] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21687/stat : 21687 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257865009960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21688] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21688/stat : 21688 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257863956904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21689] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21689/stat : 21689 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257862904360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21690] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21690/stat : 21690 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257525754024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21691] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21691/stat : 21691 (java) S 21679 21681 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318251 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257524701480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21692] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21692/stat : 21692 (java) S 21679 21681 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318252 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257512504168 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21693] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21693/stat : 21693 (java) S 21679 21681 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253318252 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257511450488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21694] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21694/stat : 21694 (java) S 21679 21681 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318252 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257510397320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21695] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21695/stat : 21695 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318255 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257509346064 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21696] ppid=21679 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/21681/task/21696/stat : 21696 (java) R 21679 21681 21231 0 -1 4202560 4605 0 0 0 72 0 0 0 20 0 19 0 253318255 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257508270168 140258029057413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21697] ppid=21679 vsize=9824668 CPUtime=0.55 cores=1,3,5,7
/proc/21681/task/21697/stat : 21697 (java) S 21679 21681 21231 0 -1 4202560 5010 0 0 0 55 0 0 0 20 0 19 0 253318255 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257507240376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21698] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21698/stat : 21698 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318255 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257506187512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21699] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21699/stat : 21699 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318255 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257505135176 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21706] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21706/stat : 21706 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318337 10060460032 38956 33554432000 1073741824 1073778376 140733287353056 140257500922664 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824668
[startup+6.30071 s]
/proc/loadavg: 1.80 0.48 0.16 3/216 21753
/proc/meminfo: memFree=28768444/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9824668 CPUtime=9.89 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 19501 0 1 0 967 22 0 0 20 0 22 0 253318250 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2456167 52426 2286 9 0 2446860 0
[pid=21681/tid=21682] ppid=21679 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) S 21679 21681 21231 0 -1 4202560 2481 0 1 0 36 2 0 0 20 0 22 0 253318250 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140258024940536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21684] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21684/stat : 21684 (java) S 21679 21681 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257997392808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21685] ppid=21679 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21681/task/21685/stat : 21685 (java) S 21679 21681 21231 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257867115560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21686] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21686/stat : 21686 (java) S 21679 21681 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257866062504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21687] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21687/stat : 21687 (java) S 21679 21681 21231 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257865009960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21688] ppid=21679 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/21681/task/21688/stat : 21688 (java) S 21679 21681 21231 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257863956904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21689] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21689/stat : 21689 (java) S 21679 21681 21231 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257862904360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21690] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21690/stat : 21690 (java) S 21679 21681 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257525754024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21691] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21691/stat : 21691 (java) S 21679 21681 21231 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253318251 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257524701480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21692] ppid=21679 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/21681/task/21692/stat : 21692 (java) S 21679 21681 21231 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 253318252 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257512504168 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21693] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21693/stat : 21693 (java) S 21679 21681 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257511450488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21694] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21694/stat : 21694 (java) S 21679 21681 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257510397320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21695] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21695/stat : 21695 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257509346064 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21696] ppid=21679 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/21681/task/21696/stat : 21696 (java) S 21679 21681 21231 0 -1 4202560 10478 0 0 0 94 3 0 0 20 0 22 0 253318255 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257508292920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21697] ppid=21679 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/21681/task/21697/stat : 21697 (java) S 21679 21681 21231 0 -1 4202560 5013 0 0 0 68 0 0 0 20 0 22 0 253318255 10060460032 52426 33554432000 1073741824 1073778376 140733287353056 140257507240376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=21681/tid=21687] ppid=21679 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/21681/task/21687/stat : 21687 (java) S 21679 21681 21231 0 -1 4202560 785 0 0 0 224 13 0 0 20 0 22 0 253318251 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257865009960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21688] ppid=21679 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/21681/task/21688/stat : 21688 (java) S 21679 21681 21231 0 -1 4202560 771 0 0 0 186 17 0 0 20 0 22 0 253318251 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257863956904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21689] ppid=21679 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/21681/task/21689/stat : 21689 (java) S 21679 21681 21231 0 -1 4202560 583 0 0 0 210 16 0 0 20 0 22 0 253318251 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257862904360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21690] ppid=21679 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/21681/task/21690/stat : 21690 (java) S 21679 21681 21231 0 -1 4202560 466 0 0 0 210 14 0 0 20 0 22 0 253318251 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257525754024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21691] ppid=21679 vsize=9824668 CPUtime=2.26 cores=1,3,5,7
/proc/21681/task/21691/stat : 21691 (java) S 21679 21681 21231 0 -1 4202560 715 0 0 0 213 13 0 0 20 0 22 0 253318251 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257524701480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21692] ppid=21679 vsize=9824668 CPUtime=110.24 cores=1,3,5,7
/proc/21681/task/21692/stat : 21692 (java) S 21679 21681 21231 0 -1 4202560 3805 0 0 0 11001 23 0 0 20 0 22 0 253318252 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257512504168 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21693] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21693/stat : 21693 (java) S 21679 21681 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257511450488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21694] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21694/stat : 21694 (java) S 21679 21681 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257510397320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21695] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21695/stat : 21695 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257509346064 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21696] ppid=21679 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/21681/task/21696/stat : 21696 (java) S 21679 21681 21231 0 -1 4202560 10482 0 0 0 110 3 0 0 20 0 22 0 253318255 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257508292920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21697] ppid=21679 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/21681/task/21697/stat : 21697 (java) S 21679 21681 21231 0 -1 4202560 7017 0 0 0 94 2 0 0 20 0 22 0 253318255 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257507240376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21698] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21698/stat : 21698 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257506187512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21699] ppid=21679 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/21681/task/21699/stat : 21699 (java) S 21679 21681 21231 0 -1 4202560 51 0 0 0 14 25 0 0 20 0 22 0 253318255 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257505135176 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21706] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21706/stat : 21706 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253318337 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257500922664 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21781] ppid=21679 vsize=9824668 CPUtime=621.59 cores=1,3,5,7
/proc/21681/task/21781/stat : 21781 (java) R 21679 21681 21231 0 -1 4202560 24 0 0 0 62150 9 0 0 20 0 22 0 253334757 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257503025904 140257878709525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21782] ppid=21679 vsize=9824668 CPUtime=621.57 cores=1,3,5,7
/proc/21681/task/21782/stat : 21782 (java) R 21679 21681 21231 0 -1 4202560 24 0 0 0 62148 9 0 0 20 0 22 0 253334757 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257504078720 140257879326672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21783] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21783/stat : 21783 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253334757 10060460032 546090 33554432000 1073741824 1073778376 140733287353056 140257501975464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1656.16
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.54 3.57 2.42 4/219 21804
/proc/meminfo: memFree=25111312/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9824668 CPUtime=1770.37 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 30735 0 1 0 176838 199 0 0 20 0 22 0 253318250 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2456167 552857 2288 9 0 2446860 0
[pid=21681/tid=21682] ppid=21679 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) S 21679 21681 21231 0 -1 4202560 2555 0 1 0 43 4 0 0 20 0 22 0 253318250 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140258024940536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21684] ppid=21679 vsize=9824668 CPUtime=2.32 cores=1,3,5,7
/proc/21681/task/21684/stat : 21684 (java) S 21679 21681 21231 0 -1 4202560 542 0 0 0 216 16 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257997392808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21685] ppid=21679 vsize=9824668 CPUtime=2.3 cores=1,3,5,7
/proc/21681/task/21685/stat : 21685 (java) S 21679 21681 21231 0 -1 4202560 525 0 0 0 218 12 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257867115560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21686] ppid=21679 vsize=9824668 CPUtime=2.35 cores=1,3,5,7
/proc/21681/task/21686/stat : 21686 (java) S 21679 21681 21231 0 -1 4202560 651 0 0 0 223 12 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257866062504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21687] ppid=21679 vsize=9824668 CPUtime=2.45 cores=1,3,5,7
/proc/21681/task/21687/stat : 21687 (java) S 21679 21681 21231 0 -1 4202560 785 0 0 0 232 13 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257865009960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21688] ppid=21679 vsize=9824668 CPUtime=2.11 cores=1,3,5,7
/proc/21681/task/21688/stat : 21688 (java) S 21679 21681 21231 0 -1 4202560 771 0 0 0 194 17 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257863956904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21689] ppid=21679 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/21681/task/21689/stat : 21689 (java) S 21679 21681 21231 0 -1 4202560 683 0 0 0 232 16 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257862904360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21690] ppid=21679 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/21681/task/21690/stat : 21690 (java) S 21679 21681 21231 0 -1 4202560 466 0 0 0 235 14 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257525754024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21691] ppid=21679 vsize=9824668 CPUtime=2.44 cores=1,3,5,7
/proc/21681/task/21691/stat : 21691 (java) S 21679 21681 21231 0 -1 4202560 715 0 0 0 231 13 0 0 20 0 22 0 253318251 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257524701480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21692] ppid=21679 vsize=9824668 CPUtime=116.63 cores=1,3,5,7
/proc/21681/task/21692/stat : 21692 (java) S 21679 21681 21231 0 -1 4202560 3830 0 0 0 11639 24 0 0 20 0 22 0 253318252 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257512504168 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21693] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21693/stat : 21693 (java) S 21679 21681 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257511450488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21694] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21694/stat : 21694 (java) S 21679 21681 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257510397320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21695] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21695/stat : 21695 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257509346064 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21696] ppid=21679 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/21681/task/21696/stat : 21696 (java) S 21679 21681 21231 0 -1 4202560 10482 0 0 0 110 3 0 0 20 0 22 0 253318255 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257508292920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21697] ppid=21679 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/21681/task/21697/stat : 21697 (java) S 21679 21681 21231 0 -1 4202560 7017 0 0 0 94 2 0 0 20 0 22 0 253318255 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257507240376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21698] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21698/stat : 21698 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257506187512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21699] ppid=21679 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/21681/task/21699/stat : 21699 (java) S 21679 21681 21231 0 -1 4202560 55 0 0 0 15 27 0 0 20 0 22 0 253318255 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257505135176 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21706] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21706/stat : 21706 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253318337 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257500922664 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21781] ppid=21679 vsize=9824668 CPUtime=674.71 cores=1,3,5,7
/proc/21681/task/21781/stat : 21781 (java) R 21679 21681 21231 0 -1 4202560 26 0 0 0 67461 10 0 0 20 0 22 0 253334757 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257503027664 140257878776224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21782] ppid=21679 vsize=9824668 CPUtime=674.69 cores=1,3,5,7
/proc/21681/task/21782/stat : 21782 (java) R 21679 21681 21231 0 -1 4202560 25 0 0 0 67459 10 0 0 20 0 22 0 253334757 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257504078080 140257879334803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21783] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21783/stat : 21783 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253334757 10060460032 552857 33554432000 1073741824 1073778376 140733287353056 140257501975464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+957.008 s]
/proc/loadavg: 3.71 3.61 2.45 4/219 21804
/proc/meminfo: memFree=25125268/32873844 swapFree=7104/7104
[pid=21681] ppid=21679 vsize=9824668 CPUtime=1799.89 cores=1,3,5,7
/proc/21681/stat : 21681 (java) S 21679 21681 21231 0 -1 4202496 30744 0 1 0 179790 199 0 0 20 0 22 0 253318250 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140733287344192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21681/statm: 2456167 552856 2288 9 0 2446860 0
[pid=21681/tid=21682] ppid=21679 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/21681/task/21682/stat : 21682 (java) S 21679 21681 21231 0 -1 4202560 2555 0 1 0 43 4 0 0 20 0 22 0 253318250 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140258024940536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21684] ppid=21679 vsize=9824668 CPUtime=2.34 cores=1,3,5,7
/proc/21681/task/21684/stat : 21684 (java) S 21679 21681 21231 0 -1 4202560 550 0 0 0 218 16 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257997392808 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21685] ppid=21679 vsize=9824668 CPUtime=2.33 cores=1,3,5,7
/proc/21681/task/21685/stat : 21685 (java) S 21679 21681 21231 0 -1 4202560 525 0 0 0 221 12 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257867115560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21686] ppid=21679 vsize=9824668 CPUtime=2.37 cores=1,3,5,7
/proc/21681/task/21686/stat : 21686 (java) S 21679 21681 21231 0 -1 4202560 651 0 0 0 225 12 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257866062504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21687] ppid=21679 vsize=9824668 CPUtime=2.47 cores=1,3,5,7
/proc/21681/task/21687/stat : 21687 (java) S 21679 21681 21231 0 -1 4202560 785 0 0 0 234 13 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257865009960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21688] ppid=21679 vsize=9824668 CPUtime=2.13 cores=1,3,5,7
/proc/21681/task/21688/stat : 21688 (java) S 21679 21681 21231 0 -1 4202560 771 0 0 0 196 17 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257863956904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21689] ppid=21679 vsize=9824668 CPUtime=2.5 cores=1,3,5,7
/proc/21681/task/21689/stat : 21689 (java) S 21679 21681 21231 0 -1 4202560 683 0 0 0 234 16 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257862904360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21690] ppid=21679 vsize=9824668 CPUtime=2.51 cores=1,3,5,7
/proc/21681/task/21690/stat : 21690 (java) S 21679 21681 21231 0 -1 4202560 466 0 0 0 237 14 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257525754024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21691] ppid=21679 vsize=9824668 CPUtime=2.46 cores=1,3,5,7
/proc/21681/task/21691/stat : 21691 (java) S 21679 21681 21231 0 -1 4202560 715 0 0 0 233 13 0 0 20 0 22 0 253318251 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257524701480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21692] ppid=21679 vsize=9824668 CPUtime=116.63 cores=1,3,5,7
/proc/21681/task/21692/stat : 21692 (java) S 21679 21681 21231 0 -1 4202560 3830 0 0 0 11639 24 0 0 20 0 22 0 253318252 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257512504168 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21693] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21693/stat : 21693 (java) S 21679 21681 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257511450488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21694] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21694/stat : 21694 (java) S 21679 21681 21231 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253318252 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257510397320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21695] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21695/stat : 21695 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257509346064 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21696] ppid=21679 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/21681/task/21696/stat : 21696 (java) S 21679 21681 21231 0 -1 4202560 10482 0 0 0 110 3 0 0 20 0 22 0 253318255 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257508292920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21697] ppid=21679 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/21681/task/21697/stat : 21697 (java) S 21679 21681 21231 0 -1 4202560 7017 0 0 0 94 2 0 0 20 0 22 0 253318255 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257507240376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21698] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21698/stat : 21698 (java) S 21679 21681 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253318255 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257506187512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21681/tid=21699] ppid=21679 vsize=9824668 CPUtime=0.43 cores=1,3,5,7
/proc/21681/task/21699/stat : 21699 (java) S 21679 21681 21231 0 -1 4202560 55 0 0 0 16 27 0 0 20 0 22 0 253318255 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257505135176 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21681/tid=21706] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21706/stat : 21706 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253318337 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257500922664 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21781] ppid=21679 vsize=9824668 CPUtime=689.34 cores=1,3,5,7
/proc/21681/task/21781/stat : 21781 (java) R 21679 21681 21231 0 -1 4202560 27 0 0 0 68924 10 0 0 20 0 22 0 253334757 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257503026720 140257878349762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21681/tid=21782] ppid=21679 vsize=9824668 CPUtime=689.32 cores=1,3,5,7
/proc/21681/task/21782/stat : 21782 (java) R 21679 21681 21231 0 -1 4202560 25 0 0 0 68922 10 0 0 20 0 22 0 253334757 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257504078080 140257878900851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21681/tid=21783] ppid=21679 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21681/task/21783/stat : 21783 (java) S 21679 21681 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253334757 10060460032 552856 33554432000 1073741824 1073778376 140733287353056 140257501975464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21681 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=38264
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=372639
# CPU time returned by wait4() is 1796.41
# while last known CPU time is 1799.89
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.269981
# lost CPU user time (s): 0.309967
# lost CPU system time (s): -0.04
Real time (s): 957.062
CPU time (s): 1800.16
CPU user time (s): 1798.21
CPU system time (s): 1.95
CPU usage (%): 188.092
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 2.37264
maximum resident set size= 2211540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30776
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26153
involuntary context switches= 32325
runsolver used 3.57146 second user time and 9.71452 second system time
The end