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-3733213-1338747153/watcher-3733213-1338747153 -o /tmp/evaluation-result-3733213-1338747153/solver-3733213-1338747153 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733213-1338747153.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.95 2.00 1.99 2/174 19827
/proc/meminfo: memFree=31561436/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19827/stat : 19827 (java6) D 19825 19827 3958 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 340841283 9515008 175 33554432000 1073741824 1073778376 140734668552960 140734668535688 217410519952 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/19827/statm: 2323 175 133 9 0 71 0
[startup+0.0803951 s]
/proc/loadavg: 1.95 2.00 1.99 2/174 19827
/proc/meminfo: memFree=31561436/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 3864 0 1 0 4 1 0 0 20 0 18 0 340841283 2712133632 5583 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 662142 5583 1773 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.10022 s]
/proc/loadavg: 1.95 2.00 1.99 2/174 19827
/proc/meminfo: memFree=31561436/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 4692 0 1 0 8 1 0 0 20 0 18 0 340841283 2712133632 6410 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 662142 6410 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300178 s]
/proc/loadavg: 1.95 2.00 1.99 2/174 19827
/proc/meminfo: memFree=31561436/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2648568 CPUtime=0.49 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 6062 0 1 0 48 1 0 0 20 0 18 0 340841283 2712133632 9419 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 662142 9419 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2648568
[startup+0.700183 s]
/proc/loadavg: 1.95 2.00 1.99 2/174 19827
/proc/meminfo: memFree=31561436/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=1.19 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 10190 0 1 0 115 4 0 0 20 0 19 0 340841283 2780295168 40097 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 40097 2250 9 0 669476 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 2715132
[startup+1.50061 s]
/proc/loadavg: 1.95 2.00 1.99 3/192 19856
/proc/meminfo: memFree=31401388/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=2.35 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 11557 0 1 0 231 4 0 0 20 0 19 0 340841283 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 44319 2258 9 0 669476 0
[pid=19827/tid=19829] ppid=19825 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/19827/task/19829/stat : 19829 (java) R 19825 19827 3958 0 -1 4202560 2822 0 1 0 143 3 0 0 20 0 19 0 340841284 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016119959984 140015951334844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19830] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19830/stat : 19830 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016104417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19831] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19831/stat : 19831 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016103365416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19832] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19832/stat : 19832 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016102312872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19833] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19833/stat : 19833 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016101260328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19834] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19834/stat : 19834 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016100206760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4015 0 0 0 38 0 0 0 20 0 19 0 340841289 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3525 0 0 0 47 0 0 0 20 0 19 0 340841289 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 44319 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 2715132
[startup+3.10061 s]
/proc/loadavg: 1.95 2.00 1.99 3/213 19902
/proc/meminfo: memFree=31223196/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=4 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 12030 0 1 0 396 4 0 0 20 0 19 0 340841283 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 51999 2258 9 0 669476 0
[pid=19827/tid=19829] ppid=19825 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/19827/task/19829/stat : 19829 (java) R 19825 19827 3958 0 -1 4202560 2838 0 1 0 302 4 0 0 20 0 19 0 340841284 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016119968472 140015951364602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19830] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19830/stat : 19830 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016104417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19831] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19831/stat : 19831 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016103365416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19832] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19832/stat : 19832 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016102312872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19833] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19833/stat : 19833 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016101260328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19834] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19834/stat : 19834 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016100206760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4015 0 0 0 38 0 0 0 20 0 19 0 340841289 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3982 0 0 0 53 0 0 0 20 0 19 0 340841289 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 51999 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 2715132
[startup+6.30062 s]
/proc/loadavg: 1.96 2.00 1.99 3/213 19902
/proc/meminfo: memFree=31108148/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=7.24 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 12056 0 1 0 718 6 0 0 20 0 19 0 340841283 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 63760 2259 9 0 669476 0
[pid=19827/tid=19829] ppid=19825 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/19827/task/19829/stat : 19829 (java) R 19825 19827 3958 0 -1 4202560 2863 0 1 0 622 4 0 0 20 0 19 0 340841284 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016119966256 140015951309584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19830] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19830/stat : 19830 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016104417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19831] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19831/stat : 19831 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016103365416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19832] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19832/stat : 19832 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016102312872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19833] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19833/stat : 19833 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016101260328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19834] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19834/stat : 19834 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016100206760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340841286 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4015 0 0 0 40 0 0 0 20 0 19 0 340841289 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.54 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3982 0 0 0 54 0 0 0 20 0 19 0 340841289 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 63760 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 270 0 0 0 13 15 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 237 0 0 0 13 14 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 227 0 0 0 10 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=3.32 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 104 0 0 0 329 3 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4606 0 0 0 53 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3987 0 0 0 55 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0.72 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 95 0 0 0 31 41 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1665.47
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 19918
/proc/meminfo: memFree=28826300/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=1725.49 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 14785 0 1 0 172390 159 0 0 20 0 19 0 340841283 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 343636 2285 9 0 669476 0
[pid=19827/tid=19829] ppid=19825 vsize=2715132 CPUtime=1718.22 cores=1,3,5,7
/proc/19827/task/19829/stat : 19829 (java) R 19825 19827 3958 0 -1 4202560 2936 0 1 0 171790 32 0 0 20 0 19 0 340841284 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016119967088 140015951334747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19830] ppid=19825 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/19827/task/19830/stat : 19830 (java) S 19825 19827 3958 0 -1 4202560 191 0 0 0 9 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016104417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19831] ppid=19825 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/19827/task/19831/stat : 19831 (java) S 19825 19827 3958 0 -1 4202560 330 0 0 0 17 19 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016103365416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19832] ppid=19825 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/19827/task/19832/stat : 19832 (java) S 19825 19827 3958 0 -1 4202560 197 0 0 0 9 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016102312872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19833] ppid=19825 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/19827/task/19833/stat : 19833 (java) S 19825 19827 3958 0 -1 4202560 199 0 0 0 10 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016101260328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19834] ppid=19825 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/19827/task/19834/stat : 19834 (java) S 19825 19827 3958 0 -1 4202560 219 0 0 0 12 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016100206760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 270 0 0 0 13 15 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 237 0 0 0 13 14 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 227 0 0 0 10 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=3.59 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 106 0 0 0 356 3 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4606 0 0 0 53 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3987 0 0 0 55 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 99 0 0 0 33 43 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.49
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 19918
/proc/meminfo: memFree=28821016/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=1785.52 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 14789 0 1 0 178391 161 0 0 20 0 19 0 340841283 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 343636 2285 9 0 669476 0
[pid=19827/tid=19829] ppid=19825 vsize=2715132 CPUtime=1778.22 cores=1,3,5,7
/proc/19827/task/19829/stat : 19829 (java) R 19825 19827 3958 0 -1 4202560 2936 0 1 0 177789 33 0 0 20 0 19 0 340841284 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016119967088 140015951360732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19830] ppid=19825 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/19827/task/19830/stat : 19830 (java) S 19825 19827 3958 0 -1 4202560 191 0 0 0 9 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016104417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19831] ppid=19825 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/19827/task/19831/stat : 19831 (java) S 19825 19827 3958 0 -1 4202560 330 0 0 0 17 19 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016103365416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19832] ppid=19825 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/19827/task/19832/stat : 19832 (java) S 19825 19827 3958 0 -1 4202560 197 0 0 0 9 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016102312872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19833] ppid=19825 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/19827/task/19833/stat : 19833 (java) S 19825 19827 3958 0 -1 4202560 199 0 0 0 10 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016101260328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19834] ppid=19825 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/19827/task/19834/stat : 19834 (java) S 19825 19827 3958 0 -1 4202560 219 0 0 0 12 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016100206760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 270 0 0 0 13 15 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 237 0 0 0 13 14 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 227 0 0 0 10 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=3.59 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 106 0 0 0 356 3 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4606 0 0 0 53 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3987 0 0 0 55 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0.78 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 103 0 0 0 34 44 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 19918
/proc/meminfo: memFree=28821268/32873648 swapFree=7628/7628
[pid=19827] ppid=19825 vsize=2715132 CPUtime=1800.03 cores=1,3,5,7
/proc/19827/stat : 19827 (java) S 19825 19827 3958 0 -1 4202496 14789 0 1 0 179841 162 0 0 20 0 19 0 340841283 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140735083714944 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19827/statm: 678783 343636 2285 9 0 669476 0
[pid=19827/tid=19829] ppid=19825 vsize=2715132 CPUtime=1792.73 cores=1,3,5,7
/proc/19827/task/19829/stat : 19829 (java) R 19825 19827 3958 0 -1 4202560 2936 0 1 0 179240 33 0 0 20 0 19 0 340841284 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016119967088 140015951360661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19827/tid=19830] ppid=19825 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/19827/task/19830/stat : 19830 (java) S 19825 19827 3958 0 -1 4202560 191 0 0 0 9 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016104417960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19831] ppid=19825 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/19827/task/19831/stat : 19831 (java) S 19825 19827 3958 0 -1 4202560 330 0 0 0 17 19 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016103365416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19832] ppid=19825 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/19827/task/19832/stat : 19832 (java) S 19825 19827 3958 0 -1 4202560 197 0 0 0 9 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016102312872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19833] ppid=19825 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/19827/task/19833/stat : 19833 (java) S 19825 19827 3958 0 -1 4202560 199 0 0 0 10 11 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016101260328 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19834] ppid=19825 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/19827/task/19834/stat : 19834 (java) S 19825 19827 3958 0 -1 4202560 219 0 0 0 12 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016100206760 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19835] ppid=19825 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/19827/task/19835/stat : 19835 (java) S 19825 19827 3958 0 -1 4202560 270 0 0 0 13 15 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016099154216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19836] ppid=19825 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/19827/task/19836/stat : 19836 (java) S 19825 19827 3958 0 -1 4202560 237 0 0 0 13 14 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016098101672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19837] ppid=19825 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/19827/task/19837/stat : 19837 (java) S 19825 19827 3958 0 -1 4202560 227 0 0 0 10 13 0 0 20 0 19 0 340841286 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016097049128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19838] ppid=19825 vsize=2715132 CPUtime=3.59 cores=1,3,5,7
/proc/19827/task/19838/stat : 19838 (java) S 19825 19827 3958 0 -1 4202560 106 0 0 0 356 3 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016084638312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19839] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19839/stat : 19839 (java) S 19825 19827 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016083584632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19827/tid=19840] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19840/stat : 19840 (java) S 19825 19827 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340841287 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016082531976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19841] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19841/stat : 19841 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016081480720 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19842] ppid=19825 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/19827/task/19842/stat : 19842 (java) S 19825 19827 3958 0 -1 4202560 4606 0 0 0 53 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016080427064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19843] ppid=19825 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/19827/task/19843/stat : 19843 (java) S 19825 19827 3958 0 -1 4202560 3987 0 0 0 55 0 0 0 20 0 19 0 340841289 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016079374520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19844] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19844/stat : 19844 (java) S 19825 19827 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016078322168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19827/tid=19845] ppid=19825 vsize=2715132 CPUtime=0.79 cores=1,3,5,7
/proc/19827/task/19845/stat : 19845 (java) S 19825 19827 3958 0 -1 4202560 103 0 0 0 35 44 0 0 20 0 19 0 340841290 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016077269832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19827/tid=19846] ppid=19825 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/19827/task/19846/stat : 19846 (java) S 19825 19827 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340841345 2780295168 343636 33554432000 1073741824 1073778376 140735083723808 140016076215592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.86
CPU time (s): 1800.54
CPU user time (s): 1798.53
CPU system time (s): 2.01269
CPU usage (%): 100.205
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 2.01269
maximum resident set size= 1374732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14841
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38169
involuntary context switches= 2431
runsolver used 6.24205 second user time and 15.1317 second system time
The end