runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454443-1307191023/watcher-3454443-1307191023 -o /tmp/evaluation-result-3454443-1307191023/solver-3454443-1307191023 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454443-1307191023.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: 3.81 3.97 3.80 3/526 13119
/proc/meminfo: memFree=26217372/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 1370 0 1 0 0 0 0 0 21 0 2 0 830705000 37810176 1072 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 9231 1072 832 9 0 387 0
[pid=13119/tid=13120] ppid=13117 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) R 13117 13119 9506 0 -1 4202560 5329 0 1 0 0 0 0 0 22 0 2 0 830705001 10694979584 6145 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.07253 s]
/proc/loadavg: 3.81 3.97 3.80 3/526 13119
/proc/meminfo: memFree=26217372/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10604160 CPUtime=0.05 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 11826 0 1 0 4 1 0 0 21 0 18 0 830705000 10858659840 11519 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2651040 11519 1743 9 0 2641774 0
[pid=13119/tid=13120] ppid=13117 vsize=10604160 CPUtime=0.05 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) R 13117 13119 9506 0 -1 4202560 10644 0 1 0 4 1 0 0 25 0 18 0 830705001 10858659840 11519 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505179316 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10604160
[startup+0.100524 s]
/proc/loadavg: 3.81 3.97 3.80 3/526 13119
/proc/meminfo: memFree=26217372/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10605448 CPUtime=0.1 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 13076 0 1 0 9 1 0 0 21 0 18 0 830705000 10859978752 12734 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2651362 12734 2093 9 0 2642096 0
[pid=13119/tid=13120] ppid=13117 vsize=10605448 CPUtime=0.08 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) R 13117 13119 9506 0 -1 4202560 11097 0 1 0 7 1 0 0 25 0 18 0 830705001 10859978752 12734 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912496216722 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605448
[startup+0.30049 s]
/proc/loadavg: 3.81 3.97 3.80 3/526 13119
/proc/meminfo: memFree=26217372/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10609392 CPUtime=0.55 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 20045 0 1 0 52 3 0 0 21 0 18 0 830705000 10864017408 18186 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2652348 18186 2204 9 0 2643082 0
[pid=13119/tid=13120] ppid=13117 vsize=10609392 CPUtime=0.28 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) R 13117 13119 9506 0 -1 4202560 14739 0 1 0 26 2 0 0 25 0 18 0 830705001 10864017408 18186 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 47831585465296 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10609392
[startup+0.70042 s]
/proc/loadavg: 3.81 3.97 3.80 3/526 13119
/proc/meminfo: memFree=26217372/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10616916 CPUtime=1.4 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 52183 0 1 0 133 7 0 0 21 0 18 0 830705000 10871721984 47341 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2654229 47341 2206 9 0 2644963 0
[pid=13119/tid=13120] ppid=13117 vsize=10616916 CPUtime=0.68 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) R 13117 13119 9506 0 -1 4202560 40151 0 1 0 63 5 0 0 25 0 18 0 830705001 10871721984 47341 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505744470 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10616916
[startup+1.50133 s]
/proc/loadavg: 3.81 3.97 3.80 3/544 13137
/proc/meminfo: memFree=25903944/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10616916 CPUtime=2.21 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 122391 0 1 0 205 16 0 0 21 0 18 0 830705000 10871721984 117549 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2654229 117552 2206 9 0 2644963 0
[pid=13119/tid=13120] ppid=13117 vsize=10616916 CPUtime=1.48 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) R 13117 13119 9506 0 -1 4202560 110363 0 1 0 134 14 0 0 25 0 18 0 830705001 10871721984 117553 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505574802 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13119/tid=13122] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13122/stat : 13122 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 830705003 10871721984 117555 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13123] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13123/stat : 13123 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 830705003 10871721984 117556 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13124] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13124/stat : 13124 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830705003 10871721984 117558 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13125] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13125/stat : 13125 (java) S 13117 13119 9506 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 18 0 830705003 10871721984 117560 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13126] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13126/stat : 13126 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830705003 10871721984 117561 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13127] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13127/stat : 13127 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830705003 10871721984 117563 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13128] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13128/stat : 13128 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830705003 10871721984 117565 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13129] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13129/stat : 13129 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830705003 10871721984 117566 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13130] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13130/stat : 13130 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830705004 10871721984 117568 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13131] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13131/stat : 13131 (java) S 13117 13119 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830705004 10871721984 117570 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13132] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13132/stat : 13132 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830705004 10871721984 117571 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13133] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13133/stat : 13133 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830705006 10871721984 117573 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13134] ppid=13117 vsize=10616916 CPUtime=0.33 cores=1,3,5,7
/proc/13119/task/13134/stat : 13134 (java) S 13117 13119 9506 0 -1 4202560 5373 0 0 0 33 0 0 0 25 0 18 0 830705006 10871721984 117575 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13135] ppid=13117 vsize=10616916 CPUtime=0.37 cores=1,3,5,7
/proc/13119/task/13135/stat : 13135 (java) S 13117 13119 9506 0 -1 4202560 5501 0 0 0 37 0 0 0 15 0 18 0 830705007 10871721984 117576 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13136] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13136/stat : 13136 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830705007 10871721984 117578 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13137] ppid=13117 vsize=10616916 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13137/stat : 13137 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830705007 10871721984 117579 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10616916
[startup+3.101 s]
/proc/loadavg: 3.81 3.97 3.80 5/546 13139
/proc/meminfo: memFree=25560692/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10621028 CPUtime=5.6 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 209386 0 1 0 534 26 0 0 21 0 22 0 830705000 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2655257 202098 2229 9 0 2645991 0
[pid=13119/tid=13120] ppid=13117 vsize=10621028 CPUtime=1.96 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) S 13117 13119 9506 0 -1 4202560 149073 0 1 0 178 18 0 0 15 0 22 0 830705001 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13122] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13122/stat : 13122 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13123] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13123/stat : 13123 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13124] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13124/stat : 13124 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13125] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13125/stat : 13125 (java) S 13117 13119 9506 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13126] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13126/stat : 13126 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13127] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13127/stat : 13127 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13128] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13128/stat : 13128 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13129] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13129/stat : 13129 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830705003 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13130] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13130/stat : 13130 (java) S 13117 13119 9506 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13131] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13131/stat : 13131 (java) S 13117 13119 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830705004 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13132] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13132/stat : 13132 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705004 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13133] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13133/stat : 13133 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705006 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13134] ppid=13117 vsize=10621028 CPUtime=0.67 cores=1,3,5,7
/proc/13119/task/13134/stat : 13134 (java) S 13117 13119 9506 0 -1 4202560 5455 0 0 0 67 0 0 0 15 0 22 0 830705006 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13135] ppid=13117 vsize=10621028 CPUtime=0.7 cores=1,3,5,7
/proc/13119/task/13135/stat : 13135 (java) S 13117 13119 9506 0 -1 4202560 8121 0 0 0 69 1 0 0 15 0 22 0 830705007 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13136] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13136/stat : 13136 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705007 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13137] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13137/stat : 13137 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830705007 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13138] ppid=13117 vsize=10621028 CPUtime=1.11 cores=1,3,5,7
/proc/13119/task/13138/stat : 13138 (java) R 13117 13119 9506 0 -1 4202560 1582 0 0 0 111 0 0 0 25 0 22 0 830705198 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505841785 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13119/tid=13139] ppid=13117 vsize=10621028 CPUtime=1.1 cores=1,3,5,7
/proc/13119/task/13139/stat : 13139 (java) R 13117 13119 9506 0 -1 4202560 43981 0 0 0 106 4 0 0 25 0 22 0 830705198 10875932672 202098 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505876312 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 10621028
[startup+6.30148 s]
/proc/loadavg: 3.91 3.98 3.81 5/548 13142
/proc/meminfo: memFree=25051156/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10621028 CPUtime=12.07 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 299968 0 1 0 1171 36 0 0 21 0 22 0 830705000 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2655257 291028 2257 9 0 2645991 0
[pid=13119/tid=13120] ppid=13117 vsize=10621028 CPUtime=1.96 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) S 13117 13119 9506 0 -1 4202560 149073 0 1 0 178 18 0 0 15 0 22 0 830705001 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13122] ppid=13117 vsize=10621028 CPUtime=0.11 cores=1,3,5,7
/proc/13119/task/13122/stat : 13122 (java) S 13117 13119 9506 0 -1 4202560 7905 0 0 0 11 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13123] ppid=13117 vsize=10621028 CPUtime=0.08 cores=1,3,5,7
/proc/13119/task/13123/stat : 13123 (java) S 13117 13119 9506 0 -1 4202560 9381 0 0 0 8 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13124] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13124/stat : 13124 (java) S 13117 13119 9506 0 -1 4202560 162 0 0 0 0 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13125] ppid=13117 vsize=10621028 CPUtime=0.09 cores=1,3,5,7
/proc/13119/task/13125/stat : 13125 (java) S 13117 13119 9506 0 -1 4202560 6786 0 0 0 9 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13126] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13126/stat : 13126 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13127] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13127/stat : 13127 (java) S 13117 13119 9506 0 -1 4202560 327 0 0 0 0 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13128] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13128/stat : 13128 (java) S 13117 13119 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13129] ppid=13117 vsize=10621028 CPUtime=0.02 cores=1,3,5,7
/proc/13119/task/13129/stat : 13129 (java) S 13117 13119 9506 0 -1 4202560 1692 0 0 0 2 0 0 0 18 0 22 0 830705003 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13130] ppid=13117 vsize=10621028 CPUtime=0.32 cores=1,3,5,7
/proc/13119/task/13130/stat : 13130 (java) S 13117 13119 9506 0 -1 4202560 31167 0 0 0 29 3 0 0 15 0 22 0 830705004 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13131] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13131/stat : 13131 (java) S 13117 13119 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13132] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13132/stat : 13132 (java) S 13117 13119 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13133] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13133/stat : 13133 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705006 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13134] ppid=13117 vsize=10621028 CPUtime=0.75 cores=1,3,5,7
/proc/13119/task/13134/stat : 13134 (java) S 13117 13119 9506 0 -1 4202560 5464 0 0 0 74 1 0 0 16 0 22 0 830705006 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13135] ppid=13117 vsize=10621028 CPUtime=0.94 cores=1,3,5,7
/proc/13119/task/13135/stat : 13135 (java) S 13117 13119 9506 0 -1 4202560 10377 0 0 0 93 1 0 0 15 0 22 0 830705007 10875932672 291028 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=24606104/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10621028 CPUtime=1644.85 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 734209 0 1 0 164398 87 0 0 21 0 22 0 830705000 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2655257 721165 2258 9 0 2645991 0
[pid=13119/tid=13120] ppid=13117 vsize=10621028 CPUtime=1.96 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) S 13117 13119 9506 0 -1 4202560 149317 0 1 0 178 18 0 0 15 0 22 0 830705001 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13122] ppid=13117 vsize=10621028 CPUtime=1.36 cores=1,3,5,7
/proc/13119/task/13122/stat : 13122 (java) S 13117 13119 9506 0 -1 4202560 7965 0 0 0 136 0 0 0 16 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13123] ppid=13117 vsize=10621028 CPUtime=1.41 cores=1,3,5,7
/proc/13119/task/13123/stat : 13123 (java) S 13117 13119 9506 0 -1 4202560 9443 0 0 0 141 0 0 0 16 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13124] ppid=13117 vsize=10621028 CPUtime=1.24 cores=1,3,5,7
/proc/13119/task/13124/stat : 13124 (java) S 13117 13119 9506 0 -1 4202560 216 0 0 0 124 0 0 0 16 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13125] ppid=13117 vsize=10621028 CPUtime=1.46 cores=1,3,5,7
/proc/13119/task/13125/stat : 13125 (java) S 13117 13119 9506 0 -1 4202560 6851 0 0 0 145 1 0 0 15 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13126] ppid=13117 vsize=10621028 CPUtime=1.37 cores=1,3,5,7
/proc/13119/task/13126/stat : 13126 (java) S 13117 13119 9506 0 -1 4202560 75 0 0 0 137 0 0 0 15 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13127] ppid=13117 vsize=10621028 CPUtime=1.41 cores=1,3,5,7
/proc/13119/task/13127/stat : 13127 (java) S 13117 13119 9506 0 -1 4202560 384 0 0 0 141 0 0 0 16 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13128] ppid=13117 vsize=10621028 CPUtime=1.39 cores=1,3,5,7
/proc/13119/task/13128/stat : 13128 (java) S 13117 13119 9506 0 -1 4202560 65 0 0 0 139 0 0 0 16 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13129] ppid=13117 vsize=10621028 CPUtime=1.29 cores=1,3,5,7
/proc/13119/task/13129/stat : 13129 (java) S 13117 13119 9506 0 -1 4202560 1760 0 0 0 129 0 0 0 15 0 22 0 830705003 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13130] ppid=13117 vsize=10621028 CPUtime=244.12 cores=1,3,5,7
/proc/13119/task/13130/stat : 13130 (java) S 13117 13119 9506 0 -1 4202560 133379 0 0 0 24398 14 0 0 17 0 22 0 830705004 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13131] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13131/stat : 13131 (java) S 13117 13119 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13132] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13132/stat : 13132 (java) S 13117 13119 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13133] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13133/stat : 13133 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705006 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13134] ppid=13117 vsize=10621028 CPUtime=0.92 cores=1,3,5,7
/proc/13119/task/13134/stat : 13134 (java) S 13117 13119 9506 0 -1 4202560 5495 0 0 0 91 1 0 0 15 0 22 0 830705006 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13135] ppid=13117 vsize=10621028 CPUtime=1.5 cores=1,3,5,7
/proc/13119/task/13135/stat : 13135 (java) S 13117 13119 9506 0 -1 4202560 17352 0 0 0 148 2 0 0 15 0 22 0 830705007 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13136] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13136/stat : 13136 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705007 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13137] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13137/stat : 13137 (java) S 13117 13119 9506 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830705007 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13138] ppid=13117 vsize=10621028 CPUtime=692.65 cores=1,3,5,7
/proc/13119/task/13138/stat : 13138 (java) R 13117 13119 9506 0 -1 4202560 1999 0 0 0 69264 1 0 0 18 0 22 0 830705198 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505954875 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13119/tid=13139] ppid=13117 vsize=10621028 CPUtime=692.65 cores=1,3,5,7
/proc/13119/task/13139/stat : 13139 (java) R 13117 13119 9506 0 -1 4202560 398695 0 0 0 69221 44 0 0 18 0 22 0 830705198 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505876843 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13119/tid=13140] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13140/stat : 13140 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705214 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13141] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13141/stat : 13141 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705226 10875932672 721165 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.85
Current children cumulated vsize (KiB) 10621028
[startup+1002.3 s]
/proc/loadavg: 2.48 3.40 3.64 3/521 13239
/proc/meminfo: memFree=27409116/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10621028 CPUtime=1742.86 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 737872 0 1 0 174198 88 0 0 21 0 22 0 830705000 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2655257 724798 2258 9 0 2645991 0
[pid=13119/tid=13120] ppid=13117 vsize=10621028 CPUtime=1.96 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) S 13117 13119 9506 0 -1 4202560 149339 0 1 0 178 18 0 0 15 0 22 0 830705001 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13122] ppid=13117 vsize=10621028 CPUtime=1.52 cores=1,3,5,7
/proc/13119/task/13122/stat : 13122 (java) S 13117 13119 9506 0 -1 4202560 7971 0 0 0 152 0 0 0 16 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13123] ppid=13117 vsize=10621028 CPUtime=1.63 cores=1,3,5,7
/proc/13119/task/13123/stat : 13123 (java) S 13117 13119 9506 0 -1 4202560 9451 0 0 0 163 0 0 0 16 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13124] ppid=13117 vsize=10621028 CPUtime=1.38 cores=1,3,5,7
/proc/13119/task/13124/stat : 13124 (java) S 13117 13119 9506 0 -1 4202560 218 0 0 0 138 0 0 0 16 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13125] ppid=13117 vsize=10621028 CPUtime=1.61 cores=1,3,5,7
/proc/13119/task/13125/stat : 13125 (java) S 13117 13119 9506 0 -1 4202560 6859 0 0 0 160 1 0 0 15 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13126] ppid=13117 vsize=10621028 CPUtime=1.5 cores=1,3,5,7
/proc/13119/task/13126/stat : 13126 (java) S 13117 13119 9506 0 -1 4202560 79 0 0 0 150 0 0 0 15 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13127] ppid=13117 vsize=10621028 CPUtime=1.56 cores=1,3,5,7
/proc/13119/task/13127/stat : 13127 (java) S 13117 13119 9506 0 -1 4202560 385 0 0 0 156 0 0 0 16 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13128] ppid=13117 vsize=10621028 CPUtime=1.52 cores=1,3,5,7
/proc/13119/task/13128/stat : 13128 (java) S 13117 13119 9506 0 -1 4202560 70 0 0 0 152 0 0 0 15 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13129] ppid=13117 vsize=10621028 CPUtime=1.41 cores=1,3,5,7
/proc/13119/task/13129/stat : 13129 (java) S 13117 13119 9506 0 -1 4202560 1760 0 0 0 141 0 0 0 15 0 22 0 830705003 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13130] ppid=13117 vsize=10621028 CPUtime=266.59 cores=1,3,5,7
/proc/13119/task/13130/stat : 13130 (java) S 13117 13119 9506 0 -1 4202560 136982 0 0 0 26645 14 0 0 15 0 22 0 830705004 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13131] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13131/stat : 13131 (java) S 13117 13119 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13132] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13132/stat : 13132 (java) S 13117 13119 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13133] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13133/stat : 13133 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705006 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13134] ppid=13117 vsize=10621028 CPUtime=0.92 cores=1,3,5,7
/proc/13119/task/13134/stat : 13134 (java) S 13117 13119 9506 0 -1 4202560 5495 0 0 0 91 1 0 0 15 0 22 0 830705006 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13135] ppid=13117 vsize=10621028 CPUtime=1.5 cores=1,3,5,7
/proc/13119/task/13135/stat : 13135 (java) S 13117 13119 9506 0 -1 4202560 17352 0 0 0 148 2 0 0 15 0 22 0 830705007 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13136] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13136/stat : 13136 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705007 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13137] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13137/stat : 13137 (java) S 13117 13119 9506 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 830705007 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13138] ppid=13117 vsize=10621028 CPUtime=729.81 cores=1,3,5,7
/proc/13119/task/13138/stat : 13138 (java) R 13117 13119 9506 0 -1 4202560 1999 0 0 0 72980 1 0 0 20 0 22 0 830705198 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912506088576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13119/tid=13139] ppid=13117 vsize=10621028 CPUtime=729.81 cores=1,3,5,7
/proc/13119/task/13139/stat : 13139 (java) R 13117 13119 9506 0 -1 4202560 398695 0 0 0 72937 44 0 0 20 0 22 0 830705198 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505876571 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13119/tid=13140] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13140/stat : 13140 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705214 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13141] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13141/stat : 13141 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705226 10875932672 724798 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1742.86
Current children cumulated vsize (KiB) 10621028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1038.2 s]
/proc/loadavg: 2.10 3.18 3.55 3/521 13240
/proc/meminfo: memFree=27398816/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=10621028 CPUtime=1800.17 cores=1,3,5,7
/proc/13119/stat : 13119 (java) S 13117 13119 9506 0 -1 4202496 740452 0 1 0 179929 88 0 0 21 0 22 0 830705000 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 2655257 727360 2258 9 0 2645991 0
[pid=13119/tid=13120] ppid=13117 vsize=10621028 CPUtime=1.96 cores=1,3,5,7
/proc/13119/task/13120/stat : 13120 (java) S 13117 13119 9506 0 -1 4202560 149353 0 1 0 178 18 0 0 15 0 22 0 830705001 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13122] ppid=13117 vsize=10621028 CPUtime=1.64 cores=1,3,5,7
/proc/13119/task/13122/stat : 13122 (java) S 13117 13119 9506 0 -1 4202560 7977 0 0 0 164 0 0 0 15 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13123] ppid=13117 vsize=10621028 CPUtime=1.72 cores=1,3,5,7
/proc/13119/task/13123/stat : 13123 (java) S 13117 13119 9506 0 -1 4202560 9455 0 0 0 172 0 0 0 16 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13124] ppid=13117 vsize=10621028 CPUtime=1.49 cores=1,3,5,7
/proc/13119/task/13124/stat : 13124 (java) S 13117 13119 9506 0 -1 4202560 225 0 0 0 149 0 0 0 16 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13125] ppid=13117 vsize=10621028 CPUtime=1.68 cores=1,3,5,7
/proc/13119/task/13125/stat : 13125 (java) S 13117 13119 9506 0 -1 4202560 6863 0 0 0 167 1 0 0 15 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13126] ppid=13117 vsize=10621028 CPUtime=1.58 cores=1,3,5,7
/proc/13119/task/13126/stat : 13126 (java) S 13117 13119 9506 0 -1 4202560 83 0 0 0 158 0 0 0 15 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=13119/tid=13127] ppid=13117 vsize=10621028 CPUtime=1.67 cores=1,3,5,7
/proc/13119/task/13127/stat : 13127 (java) S 13117 13119 9506 0 -1 4202560 388 0 0 0 167 0 0 0 16 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13128] ppid=13117 vsize=10621028 CPUtime=1.59 cores=1,3,5,7
/proc/13119/task/13128/stat : 13128 (java) S 13117 13119 9506 0 -1 4202560 71 0 0 0 159 0 0 0 15 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13129] ppid=13117 vsize=10621028 CPUtime=1.51 cores=1,3,5,7
/proc/13119/task/13129/stat : 13129 (java) S 13117 13119 9506 0 -1 4202560 1760 0 0 0 151 0 0 0 16 0 22 0 830705003 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13130] ppid=13117 vsize=10621028 CPUtime=281.42 cores=1,3,5,7
/proc/13119/task/13130/stat : 13130 (java) S 13117 13119 9506 0 -1 4202560 139517 0 0 0 28127 15 0 0 17 0 22 0 830705004 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13131] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13131/stat : 13131 (java) S 13117 13119 9506 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13132] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13132/stat : 13132 (java) S 13117 13119 9506 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830705004 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13133] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13133/stat : 13133 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705006 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13134] ppid=13117 vsize=10621028 CPUtime=0.92 cores=1,3,5,7
/proc/13119/task/13134/stat : 13134 (java) S 13117 13119 9506 0 -1 4202560 5495 0 0 0 91 1 0 0 15 0 22 0 830705006 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13135] ppid=13117 vsize=10621028 CPUtime=1.5 cores=1,3,5,7
/proc/13119/task/13135/stat : 13135 (java) S 13117 13119 9506 0 -1 4202560 17352 0 0 0 148 2 0 0 15 0 22 0 830705007 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13136] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13136/stat : 13136 (java) S 13117 13119 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830705007 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=13119/tid=13137] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13137/stat : 13137 (java) S 13117 13119 9506 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 830705007 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=13119/tid=13138] ppid=13117 vsize=10621028 CPUtime=750.68 cores=1,3,5,7
/proc/13119/task/13138/stat : 13138 (java) R 13117 13119 9506 0 -1 4202560 1999 0 0 0 75067 1 0 0 19 0 22 0 830705198 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505861059 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13119/tid=13139] ppid=13117 vsize=10621028 CPUtime=750.68 cores=1,3,5,7
/proc/13119/task/13139/stat : 13139 (java) R 13117 13119 9506 0 -1 4202560 398695 0 0 0 75024 44 0 0 19 0 22 0 830705198 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 46912505876571 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13119/tid=13140] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13140/stat : 13140 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705214 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=13119/tid=13141] ppid=13117 vsize=10621028 CPUtime=0 cores=1,3,5,7
/proc/13119/task/13141/stat : 13141 (java) S 13117 13119 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830705226 10875932672 727360 33554432000 1073741824 1073778376 140733972466848 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10621028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1038.33 s]
/proc/loadavg: 2.10 3.18 3.55 2/502 13243
/proc/meminfo: memFree=29687944/32951124 swapFree=51712236/67111528
[pid=13119] ppid=13117 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/13119/stat : 13119 (java) Z 13117 13119 9506 0 -1 4203548 740492 0 1 0 179936 98 0 0 17 0 2 0 830705000 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13119/statm: 0 0 0 0 0 0 0
[pid=13119/tid=13242] ppid=13117 vsize=0 CPUtime=0.1 cores=1,3,5,7
/proc/13119/task/13242/stat : 13242 (java) R 13117 13119 9506 0 -1 4203588 11 0 0 0 0 10 0 0 19 0 2 0 830808823 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1038.35
CPU time (s): 1800.36
CPU user time (s): 1799.36
CPU system time (s): 0.999848
CPU usage (%): 173.386
Max. virtual memory (cumulated for all children) (KiB): 10621028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.999848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740492
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35059
involuntary context switches= 21043
runsolver used 5.30119 second user time and 12.6941 second system time
The end