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-3690106-1337887997/watcher-3690106-1337887997 -o /tmp/evaluation-result-3690106-1337887997/solver-3690106-1337887997 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690106-1337887997.opb
running on 4 cores: 0,2,4,6
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.45 3.73 3.84 4/197 26812
/proc/meminfo: memFree=28604664/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 1161 0 0 0 0 0 0 0 20 0 2 0 254928311 91889664 882 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 22434 886 670 9 0 16769 0
[pid=26812/tid=26813] ppid=26810 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 254928312 91889664 894 33554432000 1073741824 1073778376 140735799420464 140735799409528 247055084839 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.0204089 s]
/proc/loadavg: 3.45 3.73 3.84 4/197 26812
/proc/meminfo: memFree=28604664/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 2811 0 1 0 0 0 0 0 20 0 10 0 254928311 9233014784 3000 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2254154 3001 1538 9 0 2244855 0
[pid=26812/tid=26813] ppid=26810 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 1656 0 1 0 0 0 0 0 20 0 10 0 254928312 9233014784 3001 33554432000 1073741824 1073778376 140735799420464 140135586837184 140135593189698 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100219 s]
/proc/loadavg: 3.45 3.73 3.84 4/197 26812
/proc/meminfo: memFree=28604664/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 4533 0 1 0 10 1 0 0 20 0 18 0 254928311 9787813888 5688 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2389603 5688 2139 9 0 2380296 0
[pid=26812/tid=26813] ppid=26810 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 2481 0 1 0 7 0 0 0 20 0 18 0 254928312 9787813888 5688 33554432000 1073741824 1073778376 140735799420464 140135586839768 247067632909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.30029 s]
/proc/loadavg: 3.45 3.73 3.84 4/197 26812
/proc/meminfo: memFree=28604664/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 5530 0 1 0 45 2 0 0 20 0 18 0 254928311 9787813888 15915 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2389603 15915 2216 9 0 2380296 0
[pid=26812/tid=26813] ppid=26810 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 2510 0 1 0 26 1 0 0 20 0 18 0 254928312 9787813888 15915 33554432000 1073741824 1073778376 140735799420464 140135586839768 247067632909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700304 s]
/proc/loadavg: 3.45 3.73 3.84 4/197 26812
/proc/meminfo: memFree=28604664/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9558412 CPUtime=1.19 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 6400 0 1 0 108 11 0 0 20 0 18 0 254928311 9787813888 55349 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2389603 55349 2237 9 0 2380296 0
[pid=26812/tid=26813] ppid=26810 vsize=9558412 CPUtime=0.6 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 2558 0 1 0 57 3 0 0 20 0 18 0 254928312 9787813888 55349 33554432000 1073741824 1073778376 140735799420464 140135586838472 140135527060350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9558412
[startup+1.50067 s]
/proc/loadavg: 3.45 3.73 3.84 4/215 26830
/proc/meminfo: memFree=28206488/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9558412 CPUtime=2.95 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 16300 0 1 0 274 21 0 0 20 0 18 0 254928311 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2389603 101485 2256 9 0 2380296 0
[pid=26812/tid=26813] ppid=26810 vsize=9558412 CPUtime=1.31 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 2634 0 1 0 127 4 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135586832400 140135526990763 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26815] ppid=26810 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/26812/task/26815/stat : 26815 (java) S 26810 26812 21308 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135525571112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26816] ppid=26810 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/26812/task/26816/stat : 26816 (java) S 26810 26812 21308 0 -1 4202560 95 0 0 0 4 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135524518312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26817] ppid=26810 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/26812/task/26817/stat : 26817 (java) S 26810 26812 21308 0 -1 4202560 193 0 0 0 4 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135523465512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26818] ppid=26810 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26812/task/26818/stat : 26818 (java) S 26810 26812 21308 0 -1 4202560 86 0 0 0 5 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135427160232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26819] ppid=26810 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/26812/task/26819/stat : 26819 (java) S 26810 26812 21308 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135426108456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26820] ppid=26810 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26812/task/26820/stat : 26820 (java) S 26810 26812 21308 0 -1 4202560 108 0 0 0 5 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135425055656 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26821] ppid=26810 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/26812/task/26821/stat : 26821 (java) S 26810 26812 21308 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135424002856 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26822] ppid=26810 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/26812/task/26822/stat : 26822 (java) S 26810 26812 21308 0 -1 4202560 181 0 0 0 3 0 0 0 20 0 18 0 254928312 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135422950056 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26823] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26823/stat : 26823 (java) S 26810 26812 21308 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 254928313 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135410751976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26824] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26824/stat : 26824 (java) S 26810 26812 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254928314 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135409698040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26825] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26825/stat : 26825 (java) S 26810 26812 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254928314 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135408645128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26826] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26826/stat : 26826 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254928316 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135407593616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26827] ppid=26810 vsize=9558412 CPUtime=0.5 cores=0,2,4,6
/proc/26812/task/26827/stat : 26827 (java) S 26810 26812 21308 0 -1 4202560 6278 0 0 0 50 0 0 0 20 0 18 0 254928316 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135406541752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26828] ppid=26810 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/26812/task/26828/stat : 26828 (java) S 26810 26812 21308 0 -1 4202560 5252 0 0 0 49 2 0 0 20 0 18 0 254928316 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135405488952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26829] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26829/stat : 26829 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254928316 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135404436344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26830] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26830/stat : 26830 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254928316 9787813888 101485 33554432000 1073741824 1073778376 140735799420464 140135403383752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 9558412
[startup+3.10067 s]
/proc/loadavg: 3.42 3.72 3.84 5/215 26830
/proc/meminfo: memFree=28089320/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9558412 CPUtime=5.06 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 17389 0 1 0 469 37 0 0 20 0 18 0 254928311 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2389603 184193 2256 9 0 2380296 0
[pid=26812/tid=26813] ppid=26810 vsize=9558412 CPUtime=2.73 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) R 26810 26812 21308 0 -1 4202560 2920 0 1 0 265 8 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135586832304 140135527060159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26815] ppid=26810 vsize=9558412 CPUtime=0.15 cores=0,2,4,6
/proc/26812/task/26815/stat : 26815 (java) S 26810 26812 21308 0 -1 4202560 270 0 0 0 11 4 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135525571112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26816] ppid=26810 vsize=9558412 CPUtime=0.19 cores=0,2,4,6
/proc/26812/task/26816/stat : 26816 (java) S 26810 26812 21308 0 -1 4202560 185 0 0 0 15 4 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135524518312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26817] ppid=26810 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/26812/task/26817/stat : 26817 (java) S 26810 26812 21308 0 -1 4202560 210 0 0 0 8 3 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135523465512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26818] ppid=26810 vsize=9558412 CPUtime=0.19 cores=0,2,4,6
/proc/26812/task/26818/stat : 26818 (java) S 26810 26812 21308 0 -1 4202560 132 0 0 0 14 5 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135427160232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26819] ppid=26810 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/26812/task/26819/stat : 26819 (java) S 26810 26812 21308 0 -1 4202560 72 0 0 0 7 3 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135426108456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26820] ppid=26810 vsize=9558412 CPUtime=0.13 cores=0,2,4,6
/proc/26812/task/26820/stat : 26820 (java) S 26810 26812 21308 0 -1 4202560 123 0 0 0 10 3 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135425055656 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26821] ppid=26810 vsize=9558412 CPUtime=0.17 cores=0,2,4,6
/proc/26812/task/26821/stat : 26821 (java) S 26810 26812 21308 0 -1 4202560 65 0 0 0 14 3 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135424002856 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26822] ppid=26810 vsize=9558412 CPUtime=0.12 cores=0,2,4,6
/proc/26812/task/26822/stat : 26822 (java) S 26810 26812 21308 0 -1 4202560 206 0 0 0 9 3 0 0 20 0 18 0 254928312 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135422950056 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26823] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26823/stat : 26823 (java) S 26810 26812 21308 0 -1 4202560 501 0 0 0 0 0 0 0 20 0 18 0 254928313 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135410751976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26824] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26824/stat : 26824 (java) S 26810 26812 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 254928314 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135409698040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26825] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26825/stat : 26825 (java) S 26810 26812 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 254928314 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135408645128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26826] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26826/stat : 26826 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254928316 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135407593616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26827] ppid=26810 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/26812/task/26827/stat : 26827 (java) S 26810 26812 21308 0 -1 4202560 6279 0 0 0 51 0 0 0 20 0 18 0 254928316 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135406541752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26828] ppid=26810 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/26812/task/26828/stat : 26828 (java) S 26810 26812 21308 0 -1 4202560 5252 0 0 0 49 2 0 0 20 0 18 0 254928316 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135405488952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26829] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26829/stat : 26829 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254928316 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135404436344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26830] ppid=26810 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26830/stat : 26830 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 254928316 9787813888 184193 33554432000 1073741824 1073778376 140735799420464 140135403383752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 9558412
[startup+6.3008 s]
/proc/loadavg: 3.42 3.72 3.84 8/219 26834
/proc/meminfo: memFree=27720032/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9824668 CPUtime=11.5 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 18349 0 1 0 1099 51 0 0 20 0 22 0 254928311 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2456167 232968 2273 9 0 2446860 0
[pid=26812/tid=26813] ppid=26810 vsize=9824668 CPUtime=4.14 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) S 26810 26812 21308 0 -1 4202560 2925 0 1 0 405 9 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135586841592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26815] ppid=26810 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/26812/task/26815/stat : 26815 (java) S 26810 26812 21308 0 -1 4202560 294 0 0 0 18 5 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135525571112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26816] ppid=26810 vsize=9824668 CPUtime=0.23 cores=0,2,4,6
/proc/26812/task/26816/stat : 26816 (java) S 26810 26812 21308 0 -1 4202560 198 0 0 0 18 5 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135524518312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26817] ppid=26810 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/26812/task/26817/stat : 26817 (java) S 26810 26812 21308 0 -1 4202560 320 0 0 0 17 5 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135523465512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26818] ppid=26810 vsize=9824668 CPUtime=0.24 cores=0,2,4,6
/proc/26812/task/26818/stat : 26818 (java) S 26810 26812 21308 0 -1 4202560 145 0 0 0 18 6 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135427160232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26819] ppid=26810 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/26812/task/26819/stat : 26819 (java) S 26810 26812 21308 0 -1 4202560 92 0 0 0 11 3 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135426108456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26820] ppid=26810 vsize=9824668 CPUtime=0.22 cores=0,2,4,6
/proc/26812/task/26820/stat : 26820 (java) S 26810 26812 21308 0 -1 4202560 218 0 0 0 17 5 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135425055656 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26821] ppid=26810 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/26812/task/26821/stat : 26821 (java) S 26810 26812 21308 0 -1 4202560 275 0 0 0 22 5 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135424002856 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26822] ppid=26810 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/26812/task/26822/stat : 26822 (java) S 26810 26812 21308 0 -1 4202560 312 0 0 0 24 5 0 0 20 0 22 0 254928312 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135422950056 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26823] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26823/stat : 26823 (java) S 26810 26812 21308 0 -1 4202560 530 0 0 0 0 0 0 0 20 0 22 0 254928313 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135410751976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26824] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26824/stat : 26824 (java) S 26810 26812 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135409698040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26825] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26825/stat : 26825 (java) S 26810 26812 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135408645128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26826] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26826/stat : 26826 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135407593616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26827] ppid=26810 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/26812/task/26827/stat : 26827 (java) S 26810 26812 21308 0 -1 4202560 6365 0 0 0 108 0 0 0 20 0 22 0 254928316 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135406541752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26828] ppid=26810 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/26812/task/26828/stat : 26828 (java) S 26810 26812 21308 0 -1 4202560 5338 0 0 0 110 2 0 0 20 0 22 0 254928316 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135405488952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26829] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26829/stat : 26829 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135404436344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26830] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26830/stat : 26830 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 232968 33554432000 1073741824 1073778376 140735799420464 140135403383752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=26812/tid=26832] ppid=26810 vsize=9824668 CPUtime=734.71 cores=0,2,4,6
/proc/26812/task/26832/stat : 26832 (java) R 26810 26812 21308 0 -1 4202560 1259 0 0 0 73437 34 0 0 20 0 22 0 254928780 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135401273552 140135527696431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26833] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26833/stat : 26833 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928791 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135400223656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26834] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26834/stat : 26834 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928792 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135399170856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1503.92
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.03 3.95 3.88 6/219 26846
/proc/meminfo: memFree=25370104/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9824668 CPUtime=1622.34 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 24191 0 1 0 162078 156 0 0 20 0 22 0 254928311 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2456167 761905 2285 9 0 2446860 0
[pid=26812/tid=26813] ppid=26810 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) S 26810 26812 21308 0 -1 4202560 2945 0 1 0 407 10 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135586841592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26815] ppid=26810 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/26812/task/26815/stat : 26815 (java) S 26810 26812 21308 0 -1 4202560 458 0 0 0 50 12 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135525571112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26816] ppid=26810 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/26812/task/26816/stat : 26816 (java) S 26810 26812 21308 0 -1 4202560 452 0 0 0 44 11 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135524518312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26817] ppid=26810 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/26812/task/26817/stat : 26817 (java) S 26810 26812 21308 0 -1 4202560 1099 0 0 0 69 16 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135523465512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26818] ppid=26810 vsize=9824668 CPUtime=0.62 cores=0,2,4,6
/proc/26812/task/26818/stat : 26818 (java) S 26810 26812 21308 0 -1 4202560 679 0 0 0 48 14 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135427160232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26819] ppid=26810 vsize=9824668 CPUtime=0.56 cores=0,2,4,6
/proc/26812/task/26819/stat : 26819 (java) S 26810 26812 21308 0 -1 4202560 324 0 0 0 45 11 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135426108456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26820] ppid=26810 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26812/task/26820/stat : 26820 (java) S 26810 26812 21308 0 -1 4202560 748 0 0 0 60 16 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135425055656 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26821] ppid=26810 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/26812/task/26821/stat : 26821 (java) S 26810 26812 21308 0 -1 4202560 930 0 0 0 70 15 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135424002856 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26822] ppid=26810 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/26812/task/26822/stat : 26822 (java) S 26810 26812 21308 0 -1 4202560 437 0 0 0 56 11 0 0 20 0 22 0 254928312 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135422950056 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26823] ppid=26810 vsize=9824668 CPUtime=23.3 cores=0,2,4,6
/proc/26812/task/26823/stat : 26823 (java) S 26810 26812 21308 0 -1 4202560 1819 0 0 0 2323 7 0 0 20 0 22 0 254928313 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135410751976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26824] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26824/stat : 26824 (java) S 26810 26812 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135409698040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26825] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26825/stat : 26825 (java) S 26810 26812 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135408645128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26826] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26826/stat : 26826 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135407593616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26827] ppid=26810 vsize=9824668 CPUtime=1.39 cores=0,2,4,6
/proc/26812/task/26827/stat : 26827 (java) S 26810 26812 21308 0 -1 4202560 6386 0 0 0 139 0 0 0 20 0 22 0 254928316 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135406541752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26828] ppid=26810 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/26812/task/26828/stat : 26828 (java) S 26810 26812 21308 0 -1 4202560 5385 0 0 0 142 2 0 0 20 0 22 0 254928316 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135405488952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26829] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26829/stat : 26829 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135404436344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26830] ppid=26810 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/26812/task/26830/stat : 26830 (java) S 26810 26812 21308 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 22 0 254928316 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135403383752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26831] ppid=26810 vsize=9824668 CPUtime=793.36 cores=0,2,4,6
/proc/26812/task/26831/stat : 26831 (java) R 26810 26812 21308 0 -1 4202560 36 0 0 0 79324 12 0 0 20 0 22 0 254928780 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135402328760 140135527580827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26832] ppid=26810 vsize=9824668 CPUtime=793.13 cores=0,2,4,6
/proc/26812/task/26832/stat : 26832 (java) R 26810 26812 21308 0 -1 4202560 1259 0 0 0 79278 35 0 0 20 0 22 0 254928780 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135401273552 140135527963810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26833] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26833/stat : 26833 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928791 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135400223656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26834] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26834/stat : 26834 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928792 10060460032 761905 33554432000 1073741824 1073778376 140735799420464 140135399170856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1622.34
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.01 3.96 3.88 6/219 26846
/proc/meminfo: memFree=25155688/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9824668 CPUtime=1738.44 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 25059 0 1 0 173683 161 0 0 20 0 22 0 254928311 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2456167 814887 2285 9 0 2446860 0
[pid=26812/tid=26813] ppid=26810 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) S 26810 26812 21308 0 -1 4202560 2947 0 1 0 407 10 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135586841592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26815] ppid=26810 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/26812/task/26815/stat : 26815 (java) S 26810 26812 21308 0 -1 4202560 458 0 0 0 62 13 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135525571112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26816] ppid=26810 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/26812/task/26816/stat : 26816 (java) S 26810 26812 21308 0 -1 4202560 453 0 0 0 56 12 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135524518312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26817] ppid=26810 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/26812/task/26817/stat : 26817 (java) S 26810 26812 21308 0 -1 4202560 1099 0 0 0 81 16 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135523465512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26818] ppid=26810 vsize=9824668 CPUtime=0.82 cores=0,2,4,6
/proc/26812/task/26818/stat : 26818 (java) S 26810 26812 21308 0 -1 4202560 679 0 0 0 68 14 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135427160232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26819] ppid=26810 vsize=9824668 CPUtime=0.68 cores=0,2,4,6
/proc/26812/task/26819/stat : 26819 (java) S 26810 26812 21308 0 -1 4202560 341 0 0 0 57 11 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135426108456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26820] ppid=26810 vsize=9824668 CPUtime=0.84 cores=0,2,4,6
/proc/26812/task/26820/stat : 26820 (java) S 26810 26812 21308 0 -1 4202560 748 0 0 0 68 16 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135425055656 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26821] ppid=26810 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/26812/task/26821/stat : 26821 (java) S 26810 26812 21308 0 -1 4202560 930 0 0 0 77 16 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135424002856 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26822] ppid=26810 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/26812/task/26822/stat : 26822 (java) S 26810 26812 21308 0 -1 4202560 437 0 0 0 67 12 0 0 20 0 22 0 254928312 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135422950056 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26823] ppid=26810 vsize=9824668 CPUtime=27.66 cores=0,2,4,6
/proc/26812/task/26823/stat : 26823 (java) S 26810 26812 21308 0 -1 4202560 2663 0 0 0 2756 10 0 0 20 0 22 0 254928313 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135410751976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26824] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26824/stat : 26824 (java) S 26810 26812 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135409698040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26825] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26825/stat : 26825 (java) S 26810 26812 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135408645128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26826] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26826/stat : 26826 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135407593616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26827] ppid=26810 vsize=9824668 CPUtime=1.39 cores=0,2,4,6
/proc/26812/task/26827/stat : 26827 (java) S 26810 26812 21308 0 -1 4202560 6386 0 0 0 139 0 0 0 20 0 22 0 254928316 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135406541752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26828] ppid=26810 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/26812/task/26828/stat : 26828 (java) S 26810 26812 21308 0 -1 4202560 5385 0 0 0 142 2 0 0 20 0 22 0 254928316 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135405488952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26829] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26829/stat : 26829 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135404436344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26830] ppid=26810 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/26812/task/26830/stat : 26830 (java) S 26810 26812 21308 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 254928316 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135403383752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26831] ppid=26810 vsize=9824668 CPUtime=848.76 cores=0,2,4,6
/proc/26812/task/26831/stat : 26831 (java) R 26810 26812 21308 0 -1 4202560 36 0 0 0 84864 12 0 0 20 0 22 0 254928780 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135402328544 140135527585747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26832] ppid=26810 vsize=9824668 CPUtime=848.51 cores=0,2,4,6
/proc/26812/task/26832/stat : 26832 (java) R 26810 26812 21308 0 -1 4202560 1259 0 0 0 84816 35 0 0 20 0 22 0 254928780 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135401273808 140135527972157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26833] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26833/stat : 26833 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928791 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135400223656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26834] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26834/stat : 26834 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928792 10060460032 814887 33554432000 1073741824 1073778376 140735799420464 140135399170856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1738.44
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+913.701 s]
/proc/loadavg: 4.39 4.04 3.91 5/219 26915
/proc/meminfo: memFree=24507056/32873844 swapFree=7100/7100
[pid=26812] ppid=26810 vsize=9824668 CPUtime=1800.03 cores=0,2,4,6
/proc/26812/stat : 26812 (java) S 26810 26812 21308 0 -1 4202496 30053 0 1 0 179820 183 0 0 20 0 22 0 254928311 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140735799411600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26812/statm: 2456167 858875 2285 9 0 2446860 0
[pid=26812/tid=26813] ppid=26810 vsize=9824668 CPUtime=4.17 cores=0,2,4,6
/proc/26812/task/26813/stat : 26813 (java) S 26810 26812 21308 0 -1 4202560 2947 0 1 0 407 10 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135586841592 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26815] ppid=26810 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/26812/task/26815/stat : 26815 (java) S 26810 26812 21308 0 -1 4202560 793 0 0 0 72 14 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135525571112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26816] ppid=26810 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/26812/task/26816/stat : 26816 (java) S 26810 26812 21308 0 -1 4202560 1059 0 0 0 70 15 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135524518312 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26817] ppid=26810 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/26812/task/26817/stat : 26817 (java) S 26810 26812 21308 0 -1 4202560 2465 0 0 0 88 17 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135523465512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26818] ppid=26810 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/26812/task/26818/stat : 26818 (java) S 26810 26812 21308 0 -1 4202560 1182 0 0 0 80 16 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135427160232 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26819] ppid=26810 vsize=9824668 CPUtime=0.87 cores=0,2,4,6
/proc/26812/task/26819/stat : 26819 (java) S 26810 26812 21308 0 -1 4202560 823 0 0 0 73 14 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135426108456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26820] ppid=26810 vsize=9824668 CPUtime=1.02 cores=0,2,4,6
/proc/26812/task/26820/stat : 26820 (java) S 26810 26812 21308 0 -1 4202560 1079 0 0 0 84 18 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135425055656 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26821] ppid=26810 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/26812/task/26821/stat : 26821 (java) S 26810 26812 21308 0 -1 4202560 1247 0 0 0 95 19 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135424002856 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26822] ppid=26810 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/26812/task/26822/stat : 26822 (java) S 26810 26812 21308 0 -1 4202560 926 0 0 0 75 13 0 0 20 0 22 0 254928312 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135422950056 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26823] ppid=26810 vsize=9824668 CPUtime=29.46 cores=0,2,4,6
/proc/26812/task/26823/stat : 26823 (java) S 26810 26812 21308 0 -1 4202560 3223 0 0 0 2936 10 0 0 20 0 22 0 254928313 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135410751976 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26824] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26824/stat : 26824 (java) S 26810 26812 21308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135409698040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26825] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26825/stat : 26825 (java) S 26810 26812 21308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254928314 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135408645128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26826] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26826/stat : 26826 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135407593616 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26827] ppid=26810 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/26812/task/26827/stat : 26827 (java) S 26810 26812 21308 0 -1 4202560 6387 0 0 0 140 0 0 0 20 0 22 0 254928316 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135406541752 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26828] ppid=26810 vsize=9824668 CPUtime=1.44 cores=0,2,4,6
/proc/26812/task/26828/stat : 26828 (java) S 26810 26812 21308 0 -1 4202560 5385 0 0 0 142 2 0 0 20 0 22 0 254928316 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135405488952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26829] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26829/stat : 26829 (java) S 26810 26812 21308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254928316 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135404436344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26812/tid=26830] ppid=26810 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/26812/task/26830/stat : 26830 (java) S 26810 26812 21308 0 -1 4202560 53 0 0 0 15 17 0 0 20 0 22 0 254928316 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135403383752 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26812/tid=26831] ppid=26810 vsize=9824668 CPUtime=878.06 cores=0,2,4,6
/proc/26812/task/26831/stat : 26831 (java) R 26810 26812 21308 0 -1 4202560 36 0 0 0 87793 13 0 0 20 0 22 0 254928780 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135402326656 140135527651120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26832] ppid=26810 vsize=9824668 CPUtime=877.8 cores=0,2,4,6
/proc/26812/task/26832/stat : 26832 (java) R 26810 26812 21308 0 -1 4202560 1261 0 0 0 87743 37 0 0 20 0 22 0 254928780 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135401274560 140135527805560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26812/tid=26833] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26833/stat : 26833 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928791 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135400223656 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26812/tid=26834] ppid=26810 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26812/task/26834/stat : 26834 (java) S 26810 26812 21308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254928792 10060460032 858875 33554432000 1073741824 1073778376 140735799420464 140135399170856 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 913.754
CPU time (s): 1800.66
CPU user time (s): 1798.32
CPU system time (s): 2.34164
CPU usage (%): 197.062
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.32
system time used= 2.34164
maximum resident set size= 3435616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30084
page faults= 1
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22003
involuntary context switches= 16589
runsolver used 3.2615 second user time and 7.94279 second system time
The end