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-3457459-1307221265/watcher-3457459-1307221265 -o /tmp/evaluation-result-3457459-1307221265/solver-3457459-1307221265 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457459-1307221265.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: 2.00 2.04 2.01 4/576 15091
/proc/meminfo: memFree=24787692/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 1251 0 0 0 0 0 0 0 25 0 2 0 912357201 32362496 969 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 7901 979 750 9 0 386 0
[pid=15091/tid=15092] ppid=15089 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 5899 0 1 0 0 0 0 0 25 0 2 0 912357202 10694979584 6715 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.121885 s]
/proc/loadavg: 2.00 2.04 2.01 4/576 15091
/proc/meminfo: memFree=24787692/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10540192 CPUtime=0.12 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 13296 0 1 0 11 1 0 0 25 0 18 0 912357201 10793156608 12931 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2635048 12931 2134 9 0 2625782 0
[pid=15091/tid=15092] ppid=15089 vsize=10540192 CPUtime=0.09 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 11298 0 1 0 8 1 0 0 25 0 18 0 912357202 10793156608 12931 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540192
[startup+0.201078 s]
/proc/loadavg: 2.00 2.04 2.01 4/576 15091
/proc/meminfo: memFree=24787692/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10541356 CPUtime=0.25 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 13951 0 1 0 24 1 0 0 25 0 19 0 912357201 10794348544 13566 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2635339 13566 2180 9 0 2626073 0
[pid=15091/tid=15092] ppid=15089 vsize=10541356 CPUtime=0.17 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 11737 0 1 0 16 1 0 0 25 0 19 0 912357202 10794348544 13566 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505121170 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10541356
[startup+0.301047 s]
/proc/loadavg: 2.00 2.04 2.01 4/576 15091
/proc/meminfo: memFree=24787692/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10543820 CPUtime=0.5 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 16674 0 1 0 48 2 0 0 25 0 19 0 912357201 10796871680 15738 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2635955 15738 2205 9 0 2626689 0
[pid=15091/tid=15092] ppid=15089 vsize=10543820 CPUtime=0.27 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 12766 0 1 0 26 1 0 0 25 0 19 0 912357202 10796871680 15738 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505217341 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543820
[startup+0.700981 s]
/proc/loadavg: 2.00 2.04 2.01 4/576 15091
/proc/meminfo: memFree=24787692/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10558416 CPUtime=1.68 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 48208 0 1 0 163 5 0 0 25 0 19 0 912357201 10811817984 44563 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2639604 44563 2218 9 0 2630338 0
[pid=15091/tid=15092] ppid=15089 vsize=10558416 CPUtime=0.66 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 35405 0 1 0 63 3 0 0 25 0 19 0 912357202 10811817984 44563 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10558416
[startup+1.50082 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15110
/proc/meminfo: memFree=24464396/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10552084 CPUtime=2.65 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 128107 0 1 0 250 15 0 0 25 0 19 0 912357201 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2638021 122930 2225 9 0 2628755 0
[pid=15091/tid=15092] ppid=15089 vsize=10552084 CPUtime=1.46 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 115267 0 1 0 133 13 0 0 18 0 19 0 912357202 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505575600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15101] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15101/stat : 15101 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15102] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15102/stat : 15102 (java) S 15089 15091 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15103] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912357205 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357205 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.54 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6439 0 0 0 54 0 0 0 15 0 19 0 912357208 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.62 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5240 0 0 0 62 0 0 0 15 0 19 0 912357208 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15108] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15108/stat : 15108 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15109] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15109/stat : 15109 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912357208 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15110] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15110/stat : 15110 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357220 10805334016 122930 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10552084
[startup+3.10163 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15110
/proc/meminfo: memFree=24016748/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10552084 CPUtime=4.29 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 286304 0 1 0 396 33 0 0 25 0 19 0 912357201 10805334016 281126 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2638021 281131 2225 9 0 2628755 0
[pid=15091/tid=15092] ppid=15089 vsize=10552084 CPUtime=3.06 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 273468 0 1 0 275 31 0 0 21 0 19 0 912357202 10805334016 281133 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505597214 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281136 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281138 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281140 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281142 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281144 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281147 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281149 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15101] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15101/stat : 15101 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 281151 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15102] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15102/stat : 15102 (java) S 15089 15091 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 281154 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15103] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912357205 10805334016 281156 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357205 10805334016 281158 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 281161 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.54 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6439 0 0 0 54 0 0 0 15 0 19 0 912357208 10805334016 281163 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.65 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5243 0 0 0 65 0 0 0 15 0 19 0 912357208 10805334016 281165 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15108] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15108/stat : 15108 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 281167 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15109] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15109/stat : 15109 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912357208 10805334016 281170 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15110] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15110/stat : 15110 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357220 10805334016 281172 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10552084
[startup+6.30102 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15110
/proc/meminfo: memFree=22757260/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10552084 CPUtime=7.56 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 586490 0 1 0 688 68 0 0 25 0 19 0 912357201 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2638021 581311 2229 9 0 2628755 0
[pid=15091/tid=15092] ppid=15089 vsize=10552084 CPUtime=6.26 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 573632 0 1 0 560 66 0 0 21 0 19 0 912357202 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505584036 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15101] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15101/stat : 15101 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357204 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15102] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15102/stat : 15102 (java) S 15089 15091 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912357205 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15103] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912357205 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357205 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.55 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6439 0 0 0 55 0 0 0 16 0 19 0 912357208 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.72 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5257 0 0 0 72 0 0 0 15 0 19 0 912357208 10805334016 581311 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.61 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6456 0 0 0 61 0 0 0 15 0 19 0 912357208 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.96 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5295 0 0 0 96 0 0 0 15 0 19 0 912357208 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15108] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15108/stat : 15108 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15109] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15109/stat : 15109 (java) S 15089 15091 14484 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 912357208 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15110] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15110/stat : 15110 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357220 10805334016 925519 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1667.15
Current children cumulated vsize (KiB) 10552084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/595 15204
/proc/meminfo: memFree=22228756/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10552084 CPUtime=1727.33 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 933357 0 1 0 172622 111 0 0 25 0 19 0 912357201 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2638021 926991 2257 9 0 2628755 0
[pid=15091/tid=15092] ppid=15089 vsize=10552084 CPUtime=1719.36 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 827242 0 1 0 171841 95 0 0 25 0 19 0 912357202 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505575600 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=10552084 CPUtime=0.68 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 14484 0 -1 4202560 16173 0 0 0 66 2 0 0 15 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=10552084 CPUtime=0.6 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 14484 0 -1 4202560 6103 0 0 0 60 0 0 0 15 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=10552084 CPUtime=0.61 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 14484 0 -1 4202560 8638 0 0 0 61 0 0 0 16 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=10552084 CPUtime=0.69 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 14484 0 -1 4202560 13028 0 0 0 68 1 0 0 15 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=10552084 CPUtime=0.65 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 14484 0 -1 4202560 9389 0 0 0 64 1 0 0 15 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=10552084 CPUtime=0.63 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 14484 0 -1 4202560 8409 0 0 0 62 1 0 0 16 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=10552084 CPUtime=0.6 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 14484 0 -1 4202560 10813 0 0 0 59 1 0 0 16 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15101] ppid=15089 vsize=10552084 CPUtime=0.68 cores=0,2,4,6
/proc/15091/task/15101/stat : 15101 (java) S 15089 15091 14484 0 -1 4202560 8527 0 0 0 67 1 0 0 16 0 19 0 912357204 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15102] ppid=15089 vsize=10552084 CPUtime=1.12 cores=0,2,4,6
/proc/15091/task/15102/stat : 15102 (java) S 15089 15091 14484 0 -1 4202560 12035 0 0 0 110 2 0 0 15 0 19 0 912357205 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15103] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.61 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6456 0 0 0 61 0 0 0 15 0 19 0 912357208 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.96 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5295 0 0 0 96 0 0 0 15 0 19 0 912357208 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15108] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15108/stat : 15108 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15109] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15109/stat : 15109 (java) S 15089 15091 14484 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912357208 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15110] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15110/stat : 15110 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357220 10805334016 926991 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1727.33
Current children cumulated vsize (KiB) 10552084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/595 15206
/proc/meminfo: memFree=22224988/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10552084 CPUtime=1787.44 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 934081 0 1 0 178633 111 0 0 25 0 19 0 912357201 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2638021 927694 2257 9 0 2628755 0
[pid=15091/tid=15092] ppid=15089 vsize=10552084 CPUtime=1779.3 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 827245 0 1 0 177835 95 0 0 25 0 19 0 912357202 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505575464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=10552084 CPUtime=0.71 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 14484 0 -1 4202560 16312 0 0 0 69 2 0 0 16 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=10552084 CPUtime=0.62 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 14484 0 -1 4202560 6183 0 0 0 62 0 0 0 15 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=10552084 CPUtime=0.63 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 14484 0 -1 4202560 8685 0 0 0 63 0 0 0 15 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=10552084 CPUtime=0.71 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 14484 0 -1 4202560 13109 0 0 0 70 1 0 0 15 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=10552084 CPUtime=0.68 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 14484 0 -1 4202560 9504 0 0 0 67 1 0 0 16 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=10552084 CPUtime=0.65 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 14484 0 -1 4202560 8586 0 0 0 64 1 0 0 16 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=10552084 CPUtime=0.63 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 14484 0 -1 4202560 10889 0 0 0 62 1 0 0 16 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15101] ppid=15089 vsize=10552084 CPUtime=0.68 cores=0,2,4,6
/proc/15091/task/15101/stat : 15101 (java) S 15089 15091 14484 0 -1 4202560 8527 0 0 0 67 1 0 0 15 0 19 0 912357204 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15102] ppid=15089 vsize=10552084 CPUtime=1.12 cores=0,2,4,6
/proc/15091/task/15102/stat : 15102 (java) S 15089 15091 14484 0 -1 4202560 12037 0 0 0 110 2 0 0 15 0 19 0 912357205 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15103] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.61 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6456 0 0 0 61 0 0 0 15 0 19 0 912357208 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.96 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5295 0 0 0 96 0 0 0 15 0 19 0 912357208 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15108] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15108/stat : 15108 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15109] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15109/stat : 15109 (java) S 15089 15091 14484 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912357208 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15110] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15110/stat : 15110 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357220 10805334016 927694 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (KiB) 10552084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/595 15206
/proc/meminfo: memFree=22224352/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=10552084 CPUtime=1800.08 cores=0,2,4,6
/proc/15091/stat : 15091 (java) S 15089 15091 14484 0 -1 4202496 934305 0 1 0 179897 111 0 0 25 0 19 0 912357201 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 2638021 927913 2257 9 0 2628755 0
[pid=15091/tid=15092] ppid=15089 vsize=10552084 CPUtime=1791.91 cores=0,2,4,6
/proc/15091/task/15092/stat : 15092 (java) R 15089 15091 14484 0 -1 4202560 827246 0 1 0 179096 95 0 0 25 0 19 0 912357202 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 46912505533603 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=10552084 CPUtime=0.71 cores=0,2,4,6
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 14484 0 -1 4202560 16312 0 0 0 69 2 0 0 15 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=10552084 CPUtime=0.65 cores=0,2,4,6
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 14484 0 -1 4202560 6296 0 0 0 64 1 0 0 16 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 0 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=10552084 CPUtime=0.63 cores=0,2,4,6
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 14484 0 -1 4202560 8685 0 0 0 63 0 0 0 15 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=10552084 CPUtime=0.72 cores=0,2,4,6
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 14484 0 -1 4202560 13211 0 0 0 71 1 0 0 16 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=10552084 CPUtime=0.68 cores=0,2,4,6
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 14484 0 -1 4202560 9504 0 0 0 67 1 0 0 15 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=10552084 CPUtime=0.66 cores=0,2,4,6
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 14484 0 -1 4202560 8590 0 0 0 65 1 0 0 16 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15100] ppid=15089 vsize=10552084 CPUtime=0.64 cores=0,2,4,6
/proc/15091/task/15100/stat : 15100 (java) S 15089 15091 14484 0 -1 4202560 10891 0 0 0 63 1 0 0 16 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15101] ppid=15089 vsize=10552084 CPUtime=0.68 cores=0,2,4,6
/proc/15091/task/15101/stat : 15101 (java) S 15089 15091 14484 0 -1 4202560 8527 0 0 0 67 1 0 0 15 0 19 0 912357204 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15102] ppid=15089 vsize=10552084 CPUtime=1.12 cores=0,2,4,6
/proc/15091/task/15102/stat : 15102 (java) S 15089 15091 14484 0 -1 4202560 12039 0 0 0 110 2 0 0 15 0 19 0 912357205 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 0 0 16800975 18446604445475035072 0 0 -1 6 0 0 0
[pid=15091/tid=15103] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15103/stat : 15103 (java) S 15089 15091 14484 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15104] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15104/stat : 15104 (java) S 15089 15091 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912357205 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15105] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15105/stat : 15105 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296749489 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15106] ppid=15089 vsize=10552084 CPUtime=0.61 cores=0,2,4,6
/proc/15091/task/15106/stat : 15106 (java) S 15089 15091 14484 0 -1 4202560 6456 0 0 0 61 0 0 0 15 0 19 0 912357208 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
[pid=15091/tid=15107] ppid=15089 vsize=10552084 CPUtime=0.96 cores=0,2,4,6
/proc/15091/task/15107/stat : 15107 (java) S 15089 15091 14484 0 -1 4202560 5295 0 0 0 96 0 0 0 15 0 19 0 912357208 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15108] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15108/stat : 15108 (java) S 15089 15091 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912357208 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296741785 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15109] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15109/stat : 15109 (java) S 15089 15091 14484 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912357208 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 2 0 0 0
[pid=15091/tid=15110] ppid=15089 vsize=10552084 CPUtime=0 cores=0,2,4,6
/proc/15091/task/15110/stat : 15110 (java) S 15089 15091 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912357220 10805334016 927913 33554432000 1073741824 1073778376 140733205338384 18446744073709551615 224296742400 0 4 0 16800975 18446604445475035072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.03 s]
/proc/loadavg: 2.00 2.01 2.00 3/595 15206
/proc/meminfo: memFree=22224352/32951124 swapFree=34426104/67111528
[pid=15091] ppid=15089 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/15091/stat : 15091 (java) Z 15089 15091 14484 0 -1 4203548 934343 0 1 0 179904 119 0 0 17 0 2 0 912357201 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.1
CPU time (s): 1800.31
CPU user time (s): 1799.05
CPU system time (s): 1.25981
CPU usage (%): 100.29
Max. virtual memory (cumulated for all children) (KiB): 10558416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.25981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934343
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= 39747
involuntary context switches= 15542
runsolver used 11.1473 second user time and 23.1545 second system time
The end