runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454647-1307188360/watcher-3454647-1307188360 -o /tmp/evaluation-result-3454647-1307188360/solver-3454647-1307188360 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454647-1307188360.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.75 3.66 3.24 4/407 9230
/proc/meminfo: memFree=21137980/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (java) R 9228 9230 6095 0 -1 4202496 950 0 0 0 0 0 0 0 23 0 1 0 830438764 23580672 693 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218365994897 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9230/statm: 5757 694 511 9 0 124 0
[pid=9230/tid=9231] ppid=9228 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) R 9228 9230 6095 0 -1 4202560 2240 0 1 0 0 0 0 0 24 0 2 0 830438765 10694979584 3056 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.049571 s]
/proc/loadavg: 3.75 3.66 3.24 4/407 9230
/proc/meminfo: memFree=21137980/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 11332 0 1 0 2 1 0 0 23 0 13 0 830438764 10718699520 11028 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2616870 11029 1679 9 0 2607618 0
[pid=9230/tid=9231] ppid=9228 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) R 9228 9230 6095 0 -1 4202560 10184 0 1 0 2 1 0 0 25 0 13 0 830438765 10718699520 11029 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382783947 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100499 s]
/proc/loadavg: 3.75 3.66 3.24 4/407 9230
/proc/meminfo: memFree=21137980/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10540028 CPUtime=0.11 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 13037 0 1 0 9 2 0 0 23 0 18 0 830438764 10792988672 12702 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2635007 12703 2092 9 0 2625741 0
[pid=9230/tid=9231] ppid=9228 vsize=10540028 CPUtime=0.08 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) R 9228 9230 6095 0 -1 4202560 11095 0 1 0 7 1 0 0 18 0 18 0 830438765 10792988672 12703 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540028
[startup+0.300464 s]
/proc/loadavg: 3.75 3.66 3.24 4/407 9230
/proc/meminfo: memFree=21137980/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10541868 CPUtime=0.47 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 15794 0 1 0 45 2 0 0 23 0 18 0 830438764 10794872832 15330 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2635467 15330 2199 9 0 2626201 0
[pid=9230/tid=9231] ppid=9228 vsize=10541868 CPUtime=0.29 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) R 9228 9230 6095 0 -1 4202560 12974 0 1 0 27 2 0 0 18 0 18 0 830438765 10794872832 15331 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 47911675005779 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541868
[startup+0.700433 s]
/proc/loadavg: 3.75 3.66 3.24 4/407 9230
/proc/meminfo: memFree=21137980/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10546360 CPUtime=0.68 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 18280 0 1 0 65 3 0 0 23 0 19 0 830438764 10799472640 17126 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2636590 17126 2226 9 0 2627324 0
[pid=9230/tid=9231] ppid=9228 vsize=10546360 CPUtime=0.32 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 13708 0 1 0 30 2 0 0 18 0 19 0 830438765 10799472640 17126 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10546360
[startup+1.50129 s]
/proc/loadavg: 3.61 3.64 3.23 3/426 9256
/proc/meminfo: memFree=21075092/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10546692 CPUtime=1.38 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 19507 0 1 0 135 3 0 0 23 0 19 0 830438764 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2636673 18352 2233 9 0 2627407 0
[pid=9230/tid=9231] ppid=9228 vsize=10546692 CPUtime=0.34 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 14123 0 1 0 32 2 0 0 16 0 19 0 830438765 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9233] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9233/stat : 9233 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9234] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9234/stat : 9234 (java) S 9228 9230 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9235] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9235/stat : 9235 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9236] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9236/stat : 9236 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9237] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9237/stat : 9237 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9238] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9238/stat : 9238 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9239] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9239/stat : 9239 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9240] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9240/stat : 9240 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438767 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9241] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9241/stat : 9241 (java) S 9228 9230 6095 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830438768 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 0 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9242] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9242/stat : 9242 (java) S 9228 9230 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830438768 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9243] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9243/stat : 9243 (java) S 9228 9230 6095 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 830438768 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9244] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9244/stat : 9244 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438770 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382780849 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9245] ppid=9228 vsize=10546692 CPUtime=0.33 cores=1,3,5,7
/proc/9230/task/9245/stat : 9245 (java) S 9228 9230 6095 0 -1 4202560 1098 0 0 0 33 0 0 0 16 0 19 0 830438770 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9246] ppid=9228 vsize=10546692 CPUtime=0.32 cores=1,3,5,7
/proc/9230/task/9246/stat : 9246 (java) S 9228 9230 6095 0 -1 4202560 2390 0 0 0 32 0 0 0 16 0 19 0 830438770 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9247] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9247/stat : 9247 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830438770 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9248] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9248/stat : 9248 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830438770 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9256] ppid=9228 vsize=10546692 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9256/stat : 9256 (java) S 9228 9230 6095 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830438850 10799812608 18352 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10546692
[startup+3.10097 s]
/proc/loadavg: 3.61 3.64 3.23 5/429 9262
/proc/meminfo: memFree=21061776/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10563548 CPUtime=4.54 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 48850 0 1 0 447 7 0 0 23 0 22 0 830438764 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2640887 44772 2238 9 0 2631621 0
[pid=9230/tid=9231] ppid=9228 vsize=10563548 CPUtime=0.35 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 14317 0 1 0 33 2 0 0 15 0 22 0 830438765 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9233] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9233/stat : 9233 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9234] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9234/stat : 9234 (java) S 9228 9230 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9235] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9235/stat : 9235 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9236] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9236/stat : 9236 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9237] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9237/stat : 9237 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9238] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9238/stat : 9238 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9239] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9239/stat : 9239 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9240] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9240/stat : 9240 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438767 10817073152 44772 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9241] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9241/stat : 9241 (java) S 9228 9230 6095 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 830438768 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 0 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9242] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9242/stat : 9242 (java) S 9228 9230 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830438768 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9243] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9243/stat : 9243 (java) S 9228 9230 6095 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830438768 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9244] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9244/stat : 9244 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382780849 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9245] ppid=9228 vsize=10563548 CPUtime=0.68 cores=1,3,5,7
/proc/9230/task/9245/stat : 9245 (java) S 9228 9230 6095 0 -1 4202560 7254 0 0 0 68 0 0 0 16 0 22 0 830438770 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9246] ppid=9228 vsize=10563548 CPUtime=0.66 cores=1,3,5,7
/proc/9230/task/9246/stat : 9246 (java) S 9228 9230 6095 0 -1 4202560 4224 0 0 0 66 0 0 0 16 0 22 0 830438770 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9247] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9247/stat : 9247 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9248] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9248/stat : 9248 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830438770 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9256] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9256/stat : 9256 (java) S 9228 9230 6095 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830438850 10817073152 44773 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9260] ppid=9228 vsize=10563548 CPUtime=1.22 cores=1,3,5,7
/proc/9230/task/9260/stat : 9260 (java) R 9228 9230 6095 0 -1 4202560 5161 0 0 0 121 1 0 0 19 0 22 0 830438952 10817073152 44774 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 47911675005779 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9230/tid=9261] ppid=9228 vsize=10563548 CPUtime=1.21 cores=1,3,5,7
/proc/9230/task/9261/stat : 9261 (java) R 9228 9230 6095 0 -1 4202560 15999 0 0 0 120 1 0 0 21 0 22 0 830438952 10817073152 44774 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 46912505793981 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9230/tid=9262] ppid=9228 vsize=10563548 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9262/stat : 9262 (java) S 9228 9230 6095 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830438952 10817073152 44774 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10563548
[startup+6.30144 s]
/proc/loadavg: 3.61 3.64 3.23 5/429 9262
/proc/meminfo: memFree=20669188/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10560316 CPUtime=10.7 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 125153 0 1 0 1053 17 0 0 23 0 19 0 830438764 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2640079 119684 2263 9 0 2630813 0
[pid=9230/tid=9231] ppid=9228 vsize=10560316 CPUtime=0.35 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 14317 0 1 0 33 2 0 0 16 0 19 0 830438765 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9233] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9233/stat : 9233 (java) S 9228 9230 6095 0 -1 4202560 1859 0 0 0 0 0 0 0 16 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9234] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9234/stat : 9234 (java) S 9228 9230 6095 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9235] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9235/stat : 9235 (java) S 9228 9230 6095 0 -1 4202560 2054 0 0 0 0 0 0 0 16 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9236] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9236/stat : 9236 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9237] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9237/stat : 9237 (java) S 9228 9230 6095 0 -1 4202560 2013 0 0 0 0 0 0 0 18 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9238] ppid=9228 vsize=10560316 CPUtime=0.01 cores=1,3,5,7
/proc/9230/task/9238/stat : 9238 (java) S 9228 9230 6095 0 -1 4202560 3659 0 0 0 1 0 0 0 18 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9239] ppid=9228 vsize=10560316 CPUtime=0.01 cores=1,3,5,7
/proc/9230/task/9239/stat : 9239 (java) S 9228 9230 6095 0 -1 4202560 2628 0 0 0 1 0 0 0 18 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9240] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9240/stat : 9240 (java) S 9228 9230 6095 0 -1 4202560 1880 0 0 0 0 0 0 0 18 0 19 0 830438767 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9241] ppid=9228 vsize=10560316 CPUtime=0.08 cores=1,3,5,7
/proc/9230/task/9241/stat : 9241 (java) S 9228 9230 6095 0 -1 4202560 9688 0 0 0 8 0 0 0 15 0 19 0 830438768 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 0 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9242] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9242/stat : 9242 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830438768 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9243] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9243/stat : 9243 (java) S 9228 9230 6095 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830438768 10813763584 119684 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=20229608/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10560316 CPUtime=1594.9 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 444362 0 1 0 159431 59 0 0 23 0 22 0 830438764 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2640079 438339 2265 9 0 2630813 0
[pid=9230/tid=9231] ppid=9228 vsize=10560316 CPUtime=0.4 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 14500 0 1 0 38 2 0 0 15 0 22 0 830438765 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9233] ppid=9228 vsize=10560316 CPUtime=1.87 cores=1,3,5,7
/proc/9230/task/9233/stat : 9233 (java) S 9228 9230 6095 0 -1 4202560 3814 0 0 0 187 0 0 0 16 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9234] ppid=9228 vsize=10560316 CPUtime=1.83 cores=1,3,5,7
/proc/9230/task/9234/stat : 9234 (java) S 9228 9230 6095 0 -1 4202560 2575 0 0 0 183 0 0 0 15 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9235] ppid=9228 vsize=10560316 CPUtime=1.97 cores=1,3,5,7
/proc/9230/task/9235/stat : 9235 (java) S 9228 9230 6095 0 -1 4202560 2885 0 0 0 197 0 0 0 15 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9236] ppid=9228 vsize=10560316 CPUtime=2.07 cores=1,3,5,7
/proc/9230/task/9236/stat : 9236 (java) S 9228 9230 6095 0 -1 4202560 1471 0 0 0 207 0 0 0 16 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9237] ppid=9228 vsize=10560316 CPUtime=1.92 cores=1,3,5,7
/proc/9230/task/9237/stat : 9237 (java) S 9228 9230 6095 0 -1 4202560 3208 0 0 0 192 0 0 0 16 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9238] ppid=9228 vsize=10560316 CPUtime=2.12 cores=1,3,5,7
/proc/9230/task/9238/stat : 9238 (java) S 9228 9230 6095 0 -1 4202560 6161 0 0 0 212 0 0 0 16 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9239] ppid=9228 vsize=10560316 CPUtime=2.14 cores=1,3,5,7
/proc/9230/task/9239/stat : 9239 (java) S 9228 9230 6095 0 -1 4202560 3271 0 0 0 214 0 0 0 16 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9240] ppid=9228 vsize=10560316 CPUtime=1.94 cores=1,3,5,7
/proc/9230/task/9240/stat : 9240 (java) S 9228 9230 6095 0 -1 4202560 2635 0 0 0 194 0 0 0 16 0 22 0 830438767 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9241] ppid=9228 vsize=10560316 CPUtime=167.47 cores=1,3,5,7
/proc/9230/task/9241/stat : 9241 (java) S 9228 9230 6095 0 -1 4202560 162571 0 0 0 16729 18 0 0 15 0 22 0 830438768 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 0 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9242] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9242/stat : 9242 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830438768 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9243] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9243/stat : 9243 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830438768 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9244] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9244/stat : 9244 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382780849 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9245] ppid=9228 vsize=10560316 CPUtime=1.11 cores=1,3,5,7
/proc/9230/task/9245/stat : 9245 (java) S 9228 9230 6095 0 -1 4202560 7343 0 0 0 111 0 0 0 15 0 22 0 830438770 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9246] ppid=9228 vsize=10560316 CPUtime=0.9 cores=1,3,5,7
/proc/9230/task/9246/stat : 9246 (java) S 9228 9230 6095 0 -1 4202560 5009 0 0 0 90 0 0 0 15 0 22 0 830438770 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9247] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9247/stat : 9247 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9248] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9248/stat : 9248 (java) S 9228 9230 6095 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830438770 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9290] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9290/stat : 9290 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830444842 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9408] ppid=9228 vsize=10560316 CPUtime=274.52 cores=1,3,5,7
/proc/9230/task/9408/stat : 9408 (java) R 9228 9230 6095 0 -1 4202560 2 0 0 0 27452 0 0 0 19 0 22 0 830489723 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 46912505763101 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9230/tid=9409] ppid=9228 vsize=10560316 CPUtime=274.52 cores=1,3,5,7
/proc/9230/task/9409/stat : 9409 (java) R 9228 9230 6095 0 -1 4202560 0 0 0 0 27452 0 0 0 19 0 22 0 830489723 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 46912506060307 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9230/tid=9410] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9410/stat : 9410 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830489724 10813763584 438339 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1594.9
Current children cumulated vsize (KiB) 10560316
[startup+942.302 s]
/proc/loadavg: 3.70 3.65 3.48 5/429 9584
/proc/meminfo: memFree=20158992/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10560316 CPUtime=1698.91 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 448804 0 1 0 169831 60 0 0 23 0 22 0 830438764 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2640079 442764 2265 9 0 2630813 0
[pid=9230/tid=9231] ppid=9228 vsize=10560316 CPUtime=0.4 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 14507 0 1 0 38 2 0 0 15 0 22 0 830438765 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9233] ppid=9228 vsize=10560316 CPUtime=2.04 cores=1,3,5,7
/proc/9230/task/9233/stat : 9233 (java) S 9228 9230 6095 0 -1 4202560 3820 0 0 0 204 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9234] ppid=9228 vsize=10560316 CPUtime=2.02 cores=1,3,5,7
/proc/9230/task/9234/stat : 9234 (java) S 9228 9230 6095 0 -1 4202560 2583 0 0 0 202 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9235] ppid=9228 vsize=10560316 CPUtime=2.08 cores=1,3,5,7
/proc/9230/task/9235/stat : 9235 (java) S 9228 9230 6095 0 -1 4202560 2885 0 0 0 208 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9236] ppid=9228 vsize=10560316 CPUtime=2.18 cores=1,3,5,7
/proc/9230/task/9236/stat : 9236 (java) S 9228 9230 6095 0 -1 4202560 1472 0 0 0 218 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9237] ppid=9228 vsize=10560316 CPUtime=2.04 cores=1,3,5,7
/proc/9230/task/9237/stat : 9237 (java) S 9228 9230 6095 0 -1 4202560 3218 0 0 0 204 0 0 0 15 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9238] ppid=9228 vsize=10560316 CPUtime=2.3 cores=1,3,5,7
/proc/9230/task/9238/stat : 9238 (java) S 9228 9230 6095 0 -1 4202560 6164 0 0 0 230 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9239] ppid=9228 vsize=10560316 CPUtime=2.3 cores=1,3,5,7
/proc/9230/task/9239/stat : 9239 (java) S 9228 9230 6095 0 -1 4202560 3273 0 0 0 230 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9240] ppid=9228 vsize=10560316 CPUtime=2.14 cores=1,3,5,7
/proc/9230/task/9240/stat : 9240 (java) S 9228 9230 6095 0 -1 4202560 2636 0 0 0 214 0 0 0 16 0 22 0 830438767 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9241] ppid=9228 vsize=10560316 CPUtime=184.02 cores=1,3,5,7
/proc/9230/task/9241/stat : 9241 (java) R 9228 9230 6095 0 -1 4202560 166967 0 0 0 18384 18 0 0 16 0 22 0 830438768 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 47911674095784 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=9230/tid=9242] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9242/stat : 9242 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830438768 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9243] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9243/stat : 9243 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830438768 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9244] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9244/stat : 9244 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382780849 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9245] ppid=9228 vsize=10560316 CPUtime=1.11 cores=1,3,5,7
/proc/9230/task/9245/stat : 9245 (java) S 9228 9230 6095 0 -1 4202560 7343 0 0 0 111 0 0 0 15 0 22 0 830438770 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9246] ppid=9228 vsize=10560316 CPUtime=0.9 cores=1,3,5,7
/proc/9230/task/9246/stat : 9246 (java) S 9228 9230 6095 0 -1 4202560 5009 0 0 0 90 0 0 0 15 0 22 0 830438770 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9247] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9247/stat : 9247 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9248] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9248/stat : 9248 (java) S 9228 9230 6095 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830438770 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9290] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9290/stat : 9290 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830444842 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9408] ppid=9228 vsize=10560316 CPUtime=317.64 cores=1,3,5,7
/proc/9230/task/9408/stat : 9408 (java) S 9228 9230 6095 0 -1 4202560 8 0 0 0 31764 0 0 0 25 0 22 0 830489723 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9409] ppid=9228 vsize=10560316 CPUtime=317.64 cores=1,3,5,7
/proc/9230/task/9409/stat : 9409 (java) S 9228 9230 6095 0 -1 4202560 0 0 0 0 31764 0 0 0 25 0 22 0 830489723 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9410] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9410/stat : 9410 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830489724 10813763584 442764 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1698.91
Current children cumulated vsize (KiB) 10560316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1001.2 s]
/proc/loadavg: 3.54 3.63 3.48 5/429 9585
/proc/meminfo: memFree=20120608/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=10560316 CPUtime=1800.15 cores=1,3,5,7
/proc/9230/stat : 9230 (java) S 9228 9230 6095 0 -1 4202496 454714 0 1 0 179954 61 0 0 23 0 22 0 830438764 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9230/statm: 2640079 448654 2265 9 0 2630813 0
[pid=9230/tid=9231] ppid=9228 vsize=10560316 CPUtime=0.4 cores=1,3,5,7
/proc/9230/task/9231/stat : 9231 (java) S 9228 9230 6095 0 -1 4202560 14519 0 1 0 38 2 0 0 15 0 22 0 830438765 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9233] ppid=9228 vsize=10560316 CPUtime=2.14 cores=1,3,5,7
/proc/9230/task/9233/stat : 9233 (java) S 9228 9230 6095 0 -1 4202560 3827 0 0 0 214 0 0 0 16 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9234] ppid=9228 vsize=10560316 CPUtime=2.2 cores=1,3,5,7
/proc/9230/task/9234/stat : 9234 (java) S 9228 9230 6095 0 -1 4202560 2590 0 0 0 220 0 0 0 16 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9235] ppid=9228 vsize=10560316 CPUtime=2.22 cores=1,3,5,7
/proc/9230/task/9235/stat : 9235 (java) S 9228 9230 6095 0 -1 4202560 2885 0 0 0 222 0 0 0 16 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9236] ppid=9228 vsize=10560316 CPUtime=2.34 cores=1,3,5,7
/proc/9230/task/9236/stat : 9236 (java) S 9228 9230 6095 0 -1 4202560 1477 0 0 0 234 0 0 0 16 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9237] ppid=9228 vsize=10560316 CPUtime=2.12 cores=1,3,5,7
/proc/9230/task/9237/stat : 9237 (java) S 9228 9230 6095 0 -1 4202560 3220 0 0 0 212 0 0 0 15 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9238] ppid=9228 vsize=10560316 CPUtime=2.45 cores=1,3,5,7
/proc/9230/task/9238/stat : 9238 (java) S 9228 9230 6095 0 -1 4202560 6164 0 0 0 245 0 0 0 16 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9239] ppid=9228 vsize=10560316 CPUtime=2.43 cores=1,3,5,7
/proc/9230/task/9239/stat : 9239 (java) S 9228 9230 6095 0 -1 4202560 3276 0 0 0 243 0 0 0 16 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9240] ppid=9228 vsize=10560316 CPUtime=2.3 cores=1,3,5,7
/proc/9230/task/9240/stat : 9240 (java) S 9228 9230 6095 0 -1 4202560 2642 0 0 0 230 0 0 0 15 0 22 0 830438767 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9241] ppid=9228 vsize=10560316 CPUtime=201.12 cores=1,3,5,7
/proc/9230/task/9241/stat : 9241 (java) S 9228 9230 6095 0 -1 4202560 172832 0 0 0 20093 19 0 0 17 0 22 0 830438768 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 0 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
[pid=9230/tid=9242] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9242/stat : 9242 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830438768 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9243] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9243/stat : 9243 (java) S 9228 9230 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830438768 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9244] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9244/stat : 9244 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382780849 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9245] ppid=9228 vsize=10560316 CPUtime=1.11 cores=1,3,5,7
/proc/9230/task/9245/stat : 9245 (java) S 9228 9230 6095 0 -1 4202560 7343 0 0 0 111 0 0 0 15 0 22 0 830438770 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9246] ppid=9228 vsize=10560316 CPUtime=0.9 cores=1,3,5,7
/proc/9230/task/9246/stat : 9246 (java) S 9228 9230 6095 0 -1 4202560 5009 0 0 0 90 0 0 0 15 0 22 0 830438770 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 7 0 0 0
[pid=9230/tid=9247] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9247/stat : 9247 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830438770 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773145 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9248] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9248/stat : 9248 (java) S 9228 9230 6095 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830438770 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 5 0 0 0
[pid=9230/tid=9290] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9290/stat : 9290 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830444842 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 3 0 0 0
[pid=9230/tid=9408] ppid=9228 vsize=10560316 CPUtime=359.16 cores=1,3,5,7
/proc/9230/task/9408/stat : 9408 (java) R 9228 9230 6095 0 -1 4202560 8 0 0 0 35916 0 0 0 18 0 22 0 830489723 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 46912505769344 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9230/tid=9409] ppid=9228 vsize=10560316 CPUtime=359.16 cores=1,3,5,7
/proc/9230/task/9409/stat : 9409 (java) R 9228 9230 6095 0 -1 4202560 0 0 0 0 35916 0 0 0 18 0 22 0 830489723 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 46912505856339 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9230/tid=9410] ppid=9228 vsize=10560316 CPUtime=0 cores=1,3,5,7
/proc/9230/task/9410/stat : 9410 (java) S 9228 9230 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830489724 10813763584 448654 33554432000 1073741824 1073778376 140736346313248 18446744073709551615 218382773760 0 4 0 16800975 18446604465644636160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10560316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1001.32 s]
/proc/loadavg: 3.54 3.63 3.48 5/429 9585
/proc/meminfo: memFree=20120608/32951124 swapFree=49244120/67111528
[pid=9230] ppid=9228 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/9230/stat : 9230 (java) Z 9228 9230 6095 0 -1 4203548 454744 0 1 0 179962 68 0 0 17 0 2 0 830438764 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/9230/statm: 0 0 0 0 0 0 0
[pid=9230/tid=9408] ppid=9228 vsize=0 CPUtime=359.26 cores=1,3,5,7
/proc/9230/task/9408/stat : 9408 (java) R 9228 9230 6095 0 -1 4203588 8 0 0 0 35919 7 0 0 18 0 2 0 830489723 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1001.32
CPU time (s): 1800.31
CPU user time (s): 1799.62
CPU system time (s): 0.690894
CPU usage (%): 179.793
Max. virtual memory (cumulated for all children) (KiB): 10563548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.690894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454744
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30692
involuntary context switches= 22168
runsolver used 3.9514 second user time and 8.94764 second system time
The end