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-3456894-1307200212/watcher-3456894-1307200212 -o /tmp/evaluation-result-3456894-1307200212/solver-3456894-1307200212 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456894-1307200212.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: 0.00 0.00 0.26 2/526 19339
/proc/meminfo: memFree=19140896/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 2738 0 1 0 0 0 0 0 21 0 2 0 910251986 10681323520 2440 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2607745 2453 906 9 0 2598901 0
[pid=19339/tid=19340] ppid=19337 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 7446 0 1 0 0 0 0 0 22 0 2 0 910251987 10694979584 8262 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0736561 s]
/proc/loadavg: 0.00 0.00 0.26 2/526 19339
/proc/meminfo: memFree=19140896/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 11942 0 1 0 5 1 0 0 21 0 18 0 910251986 10724442112 11638 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2618272 11638 1754 9 0 2609006 0
[pid=19339/tid=19340] ppid=19337 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 10767 0 1 0 5 1 0 0 25 0 18 0 910251987 10724442112 11638 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912496202541 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100649 s]
/proc/loadavg: 0.00 0.00 0.26 2/526 19339
/proc/meminfo: memFree=19140896/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10539536 CPUtime=0.1 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 13128 0 1 0 9 1 0 0 21 0 18 0 910251986 10792484864 12791 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2634884 12791 2092 9 0 2625618 0
[pid=19339/tid=19340] ppid=19337 vsize=10539536 CPUtime=0.08 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 11178 0 1 0 7 1 0 0 25 0 18 0 910251987 10792484864 12792 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 47837155250181 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539536
[startup+0.307602 s]
/proc/loadavg: 0.00 0.00 0.26 2/526 19339
/proc/meminfo: memFree=19140896/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10543196 CPUtime=0.59 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 19297 0 1 0 57 2 0 0 21 0 18 0 910251986 10796232704 18156 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2635799 18165 2201 9 0 2626533 0
[pid=19339/tid=19340] ppid=19337 vsize=10543196 CPUtime=0.28 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 14518 0 1 0 27 1 0 0 18 0 18 0 910251987 10796232704 18165 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912505665665 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10543196
[startup+0.700497 s]
/proc/loadavg: 0.00 0.00 0.26 2/526 19339
/proc/meminfo: memFree=19140896/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10547064 CPUtime=1.16 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 52788 0 1 0 110 6 0 0 21 0 19 0 910251986 10800193536 51647 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2636766 51647 2216 9 0 2627500 0
[pid=19339/tid=19340] ppid=19337 vsize=10547064 CPUtime=0.68 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 47216 0 1 0 63 5 0 0 19 0 19 0 910251987 10800193536 51647 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912505121170 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10547064
[startup+1.50136 s]
/proc/loadavg: 0.16 0.03 0.27 5/551 19364
/proc/meminfo: memFree=18659156/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10576332 CPUtime=3.08 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 87038 0 1 0 298 10 0 0 21 0 19 0 910251986 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2644083 82633 2224 9 0 2634817 0
[pid=19339/tid=19340] ppid=19337 vsize=10576332 CPUtime=1.48 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 66986 0 1 0 141 7 0 0 20 0 19 0 910251987 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912505741331 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19339/tid=19347] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19347/stat : 19347 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19348] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19348/stat : 19348 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19349] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19349/stat : 19349 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19350] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19350/stat : 19350 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19351] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19351/stat : 19351 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19352] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19352/stat : 19352 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19353] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19353/stat : 19353 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19354] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19354/stat : 19354 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19355] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19355/stat : 19355 (java) S 19337 19339 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910251989 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 0 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19356] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910251990 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910251990 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=0.82 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8962 0 0 0 81 1 0 0 24 0 19 0 910251992 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.76 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9929 0 0 0 75 1 0 0 15 0 19 0 910251992 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19361] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19361/stat : 19361 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19362] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19362/stat : 19362 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910251992 10830163968 82633 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19364] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19364/stat : 19364 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910252052 10830163968 82634 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10576332
[startup+3.10113 s]
/proc/loadavg: 0.16 0.03 0.27 3/551 19364
/proc/meminfo: memFree=18022672/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10576332 CPUtime=4.7 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 161396 0 1 0 450 20 0 0 21 0 19 0 910251986 10830163968 156990 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2644083 156990 2224 9 0 2634817 0
[pid=19339/tid=19340] ppid=19337 vsize=10576332 CPUtime=3.08 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 141342 0 1 0 292 16 0 0 25 0 19 0 910251987 10830163968 156990 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912505741008 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19339/tid=19347] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19347/stat : 19347 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 910251988 10830163968 156990 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19348] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19348/stat : 19348 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 910251988 10830163968 156990 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19349] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19349/stat : 19349 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 156990 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19350] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19350/stat : 19350 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19351] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19351/stat : 19351 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19352] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19352/stat : 19352 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19353] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19353/stat : 19353 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19354] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19354/stat : 19354 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19355] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19355/stat : 19355 (java) S 19337 19339 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910251989 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 0 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19356] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910251990 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910251990 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=0.83 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8964 0 0 0 82 1 0 0 18 0 19 0 910251992 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.76 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9929 0 0 0 75 1 0 0 16 0 19 0 910251992 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19361] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19361/stat : 19361 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 156991 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19362] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19362/stat : 19362 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910251992 10830163968 156992 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19364] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19364/stat : 19364 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910252052 10830163968 156992 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 10576332
[startup+6.30163 s]
/proc/loadavg: 0.31 0.07 0.28 3/551 19364
/proc/meminfo: memFree=16833016/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10576332 CPUtime=7.93 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 367342 0 1 0 751 42 0 0 21 0 19 0 910251986 10830163968 362442 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2644083 362452 2225 9 0 2634817 0
[pid=19339/tid=19340] ppid=19337 vsize=10576332 CPUtime=6.28 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 347296 0 1 0 589 39 0 0 25 0 19 0 910251987 10830163968 362456 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912506025421 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19339/tid=19347] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19347/stat : 19347 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 910251988 10830163968 362458 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19348] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19348/stat : 19348 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 910251988 10830163968 362458 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19349] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19349/stat : 19349 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 362462 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19350] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19350/stat : 19350 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 362468 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19351] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19351/stat : 19351 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 362474 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19352] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19352/stat : 19352 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 362479 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19353] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19353/stat : 19353 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 362480 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19354] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19354/stat : 19354 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251988 10830163968 362480 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19355] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19355/stat : 19355 (java) S 19337 19339 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910251989 10830163968 362484 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 0 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19356] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910251990 10830163968 362490 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910251990 10830163968 362496 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 362501 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=0.87 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8970 0 0 0 86 1 0 0 15 0 19 0 910251992 10830163968 362501 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.76 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9929 0 0 0 75 1 0 0 16 0 19 0 910251992 10830163968 362501 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=1.07 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8985 0 0 0 106 1 0 0 15 0 19 0 910251992 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.89 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9940 0 0 0 88 1 0 0 15 0 19 0 910251992 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19361] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19361/stat : 19361 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19362] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19362/stat : 19362 (java) S 19337 19339 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 910251992 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19364] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19364/stat : 19364 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910252052 10830163968 1012283 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1669.26
Current children cumulated vsize (KiB) 10576332
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 1.73 3/551 19412
/proc/meminfo: memFree=10900712/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10576332 CPUtime=1729.38 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 1021335 0 1 0 172812 126 0 0 21 0 19 0 910251986 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2644083 1012872 2241 9 0 2634817 0
[pid=19339/tid=19340] ppid=19337 vsize=10576332 CPUtime=1719.69 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 799571 0 1 0 171883 86 0 0 25 0 19 0 910251987 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912506161910 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19339/tid=19347] ppid=19337 vsize=10576332 CPUtime=0.99 cores=0,2,4,6
/proc/19339/task/19347/stat : 19347 (java) S 19337 19339 19289 0 -1 4202560 28922 0 0 0 93 6 0 0 16 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19348] ppid=19337 vsize=10576332 CPUtime=1.04 cores=0,2,4,6
/proc/19339/task/19348/stat : 19348 (java) S 19337 19339 19289 0 -1 4202560 24525 0 0 0 101 3 0 0 16 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19349] ppid=19337 vsize=10576332 CPUtime=0.98 cores=0,2,4,6
/proc/19339/task/19349/stat : 19349 (java) S 19337 19339 19289 0 -1 4202560 27920 0 0 0 94 4 0 0 15 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19350] ppid=19337 vsize=10576332 CPUtime=0.8 cores=0,2,4,6
/proc/19339/task/19350/stat : 19350 (java) S 19337 19339 19289 0 -1 4202560 15299 0 0 0 78 2 0 0 16 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19351] ppid=19337 vsize=10576332 CPUtime=1 cores=0,2,4,6
/proc/19339/task/19351/stat : 19351 (java) S 19337 19339 19289 0 -1 4202560 29372 0 0 0 95 5 0 0 16 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19352] ppid=19337 vsize=10576332 CPUtime=0.95 cores=0,2,4,6
/proc/19339/task/19352/stat : 19352 (java) S 19337 19339 19289 0 -1 4202560 27661 0 0 0 91 4 0 0 15 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19353] ppid=19337 vsize=10576332 CPUtime=0.86 cores=0,2,4,6
/proc/19339/task/19353/stat : 19353 (java) S 19337 19339 19289 0 -1 4202560 21851 0 0 0 83 3 0 0 16 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19354] ppid=19337 vsize=10576332 CPUtime=0.96 cores=0,2,4,6
/proc/19339/task/19354/stat : 19354 (java) S 19337 19339 19289 0 -1 4202560 25927 0 0 0 92 4 0 0 15 0 19 0 910251988 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19355] ppid=19337 vsize=10576332 CPUtime=0.03 cores=0,2,4,6
/proc/19339/task/19355/stat : 19355 (java) S 19337 19339 19289 0 -1 4202560 110 0 0 0 1 2 0 0 15 0 19 0 910251989 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 0 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19356] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=1.07 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8985 0 0 0 106 1 0 0 15 0 19 0 910251992 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.89 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9940 0 0 0 88 1 0 0 15 0 19 0 910251992 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19361] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19361/stat : 19361 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19362] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19362/stat : 19362 (java) S 19337 19339 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 910251992 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19364] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19364/stat : 19364 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910252052 10830163968 1012872 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1729.38
Current children cumulated vsize (KiB) 10576332
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 1.75 3/551 19414
/proc/meminfo: memFree=10860276/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10576332 CPUtime=1789.64 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 1026253 0 1 0 178837 127 0 0 21 0 19 0 910251986 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2644083 1017692 2241 9 0 2634817 0
[pid=19339/tid=19340] ppid=19337 vsize=10576332 CPUtime=1779.57 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 799578 0 1 0 177870 87 0 0 25 0 19 0 910251987 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912506025565 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19339/tid=19347] ppid=19337 vsize=10576332 CPUtime=1.03 cores=0,2,4,6
/proc/19339/task/19347/stat : 19347 (java) S 19337 19339 19289 0 -1 4202560 29489 0 0 0 97 6 0 0 16 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19348] ppid=19337 vsize=10576332 CPUtime=1.09 cores=0,2,4,6
/proc/19339/task/19348/stat : 19348 (java) S 19337 19339 19289 0 -1 4202560 25261 0 0 0 106 3 0 0 15 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19349] ppid=19337 vsize=10576332 CPUtime=1.02 cores=0,2,4,6
/proc/19339/task/19349/stat : 19349 (java) S 19337 19339 19289 0 -1 4202560 28664 0 0 0 98 4 0 0 15 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19350] ppid=19337 vsize=10576332 CPUtime=0.87 cores=0,2,4,6
/proc/19339/task/19350/stat : 19350 (java) S 19337 19339 19289 0 -1 4202560 16395 0 0 0 85 2 0 0 16 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19351] ppid=19337 vsize=10576332 CPUtime=1.02 cores=0,2,4,6
/proc/19339/task/19351/stat : 19351 (java) S 19337 19339 19289 0 -1 4202560 29524 0 0 0 97 5 0 0 15 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19352] ppid=19337 vsize=10576332 CPUtime=1.02 cores=0,2,4,6
/proc/19339/task/19352/stat : 19352 (java) S 19337 19339 19289 0 -1 4202560 28306 0 0 0 98 4 0 0 15 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19353] ppid=19337 vsize=10576332 CPUtime=0.9 cores=0,2,4,6
/proc/19339/task/19353/stat : 19353 (java) S 19337 19339 19289 0 -1 4202560 22521 0 0 0 87 3 0 0 16 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19354] ppid=19337 vsize=10576332 CPUtime=1 cores=0,2,4,6
/proc/19339/task/19354/stat : 19354 (java) S 19337 19339 19289 0 -1 4202560 26224 0 0 0 96 4 0 0 15 0 19 0 910251988 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19355] ppid=19337 vsize=10576332 CPUtime=0.03 cores=0,2,4,6
/proc/19339/task/19355/stat : 19355 (java) S 19337 19339 19289 0 -1 4202560 112 0 0 0 1 2 0 0 15 0 19 0 910251989 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 0 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19356] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=1.07 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8985 0 0 0 106 1 0 0 15 0 19 0 910251992 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.89 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9940 0 0 0 88 1 0 0 15 0 19 0 910251992 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19361] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19361/stat : 19361 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19362] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19362/stat : 19362 (java) S 19337 19339 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910251992 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19364] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19364/stat : 19364 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910252052 10830163968 1017692 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 10576332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.7 s]
/proc/loadavg: 2.02 2.03 1.75 2/531 19418
/proc/meminfo: memFree=15100612/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=10576332 CPUtime=1800.06 cores=0,2,4,6
/proc/19339/stat : 19339 (java) S 19337 19339 19289 0 -1 4202496 1026262 0 1 0 179879 127 0 0 21 0 19 0 910251986 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 2644083 1017696 2241 9 0 2634817 0
[pid=19339/tid=19340] ppid=19337 vsize=10576332 CPUtime=1789.99 cores=0,2,4,6
/proc/19339/task/19340/stat : 19340 (java) R 19337 19339 19289 0 -1 4202560 799579 0 1 0 178912 87 0 0 25 0 19 0 910251987 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 46912506178528 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19339/tid=19347] ppid=19337 vsize=10576332 CPUtime=1.03 cores=0,2,4,6
/proc/19339/task/19347/stat : 19347 (java) S 19337 19339 19289 0 -1 4202560 29489 0 0 0 97 6 0 0 15 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19348] ppid=19337 vsize=10576332 CPUtime=1.1 cores=0,2,4,6
/proc/19339/task/19348/stat : 19348 (java) S 19337 19339 19289 0 -1 4202560 25263 0 0 0 107 3 0 0 16 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19349] ppid=19337 vsize=10576332 CPUtime=1.02 cores=0,2,4,6
/proc/19339/task/19349/stat : 19349 (java) S 19337 19339 19289 0 -1 4202560 28664 0 0 0 98 4 0 0 15 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19350] ppid=19337 vsize=10576332 CPUtime=0.88 cores=0,2,4,6
/proc/19339/task/19350/stat : 19350 (java) S 19337 19339 19289 0 -1 4202560 16396 0 0 0 86 2 0 0 16 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19351] ppid=19337 vsize=10576332 CPUtime=1.02 cores=0,2,4,6
/proc/19339/task/19351/stat : 19351 (java) S 19337 19339 19289 0 -1 4202560 29524 0 0 0 97 5 0 0 15 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 6 0 0 0
[pid=19339/tid=19352] ppid=19337 vsize=10576332 CPUtime=1.03 cores=0,2,4,6
/proc/19339/task/19352/stat : 19352 (java) S 19337 19339 19289 0 -1 4202560 28307 0 0 0 99 4 0 0 16 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19353] ppid=19337 vsize=10576332 CPUtime=0.9 cores=0,2,4,6
/proc/19339/task/19353/stat : 19353 (java) S 19337 19339 19289 0 -1 4202560 22521 0 0 0 87 3 0 0 15 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19354] ppid=19337 vsize=10576332 CPUtime=1 cores=0,2,4,6
/proc/19339/task/19354/stat : 19354 (java) S 19337 19339 19289 0 -1 4202560 26224 0 0 0 96 4 0 0 15 0 19 0 910251988 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19355] ppid=19337 vsize=10576332 CPUtime=0.03 cores=0,2,4,6
/proc/19339/task/19355/stat : 19355 (java) S 19337 19339 19289 0 -1 4202560 114 0 0 0 1 2 0 0 15 0 19 0 910251989 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 0 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19356] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19356/stat : 19356 (java) S 19337 19339 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19357] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19357/stat : 19357 (java) S 19337 19339 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910251990 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19358] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19358/stat : 19358 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000416177 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19359] ppid=19337 vsize=10576332 CPUtime=1.07 cores=0,2,4,6
/proc/19339/task/19359/stat : 19359 (java) S 19337 19339 19289 0 -1 4202560 8985 0 0 0 106 1 0 0 15 0 19 0 910251992 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 0 0 0 0
[pid=19339/tid=19360] ppid=19337 vsize=10576332 CPUtime=0.89 cores=0,2,4,6
/proc/19339/task/19360/stat : 19360 (java) S 19337 19339 19289 0 -1 4202560 9940 0 0 0 88 1 0 0 15 0 19 0 910251992 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 2 0 0 0
[pid=19339/tid=19361] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19361/stat : 19361 (java) S 19337 19339 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910251992 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000408473 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19362] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19362/stat : 19362 (java) S 19337 19339 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 910251992 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
[pid=19339/tid=19364] ppid=19337 vsize=10576332 CPUtime=0 cores=0,2,4,6
/proc/19339/task/19364/stat : 19364 (java) S 19337 19339 19289 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 910252052 10830163968 1017696 33554432000 1073741824 1073778376 140733973853168 18446744073709551615 216000409088 0 4 0 16800975 18446604451131916352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10576332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.83 s]
/proc/loadavg: 2.02 2.03 1.75 2/531 19418
/proc/meminfo: memFree=15100612/32950940 swapFree=67111364/67111528
[pid=19339] ppid=19337 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/19339/stat : 19339 (java) Z 19337 19339 19289 0 -1 4203548 1026290 0 1 0 179881 137 0 0 17 0 2 0 910251986 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19339/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.89
CPU time (s): 1800.25
CPU user time (s): 1798.82
CPU system time (s): 1.43578
CPU usage (%): 100.411
Max. virtual memory (cumulated for all children) (KiB): 10576332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.43578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026290
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= 41528
involuntary context switches= 19547
runsolver used 9.82451 second user time and 21.0318 second system time
The end