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-3454059-1307195608/watcher-3454059-1307195608 -o /tmp/evaluation-result-3454059-1307195608/solver-3454059-1307195608 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454059-1307195608.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.69 3.45 3.58 2/568 12601
/proc/meminfo: memFree=28624664/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 1363 0 1 0 0 0 0 0 21 0 2 0 909791463 36679680 1066 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 8955 1066 828 9 0 386 0
[pid=12601/tid=12604] ppid=12599 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) R 12599 12601 7463 0 -1 4202560 8422 0 1 0 0 0 0 0 22 0 2 0 909791463 10694979584 9238 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.03411 s]
/proc/loadavg: 2.69 3.45 3.58 2/568 12601
/proc/meminfo: memFree=28624664/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 10985 0 1 0 1 1 0 0 21 0 11 0 909791463 10716594176 10684 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2616356 10685 1608 9 0 2607104 0
[pid=12601/tid=12604] ppid=12599 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) R 12599 12601 7463 0 -1 4202560 9861 0 1 0 1 1 0 0 19 0 11 0 909791463 10716594176 10685 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 47391364522755 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.10111 s]
/proc/loadavg: 2.69 3.45 3.58 2/568 12601
/proc/meminfo: memFree=28624664/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10540472 CPUtime=0.1 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 13131 0 1 0 9 1 0 0 21 0 18 0 909791463 10793443328 12803 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2635118 12804 2093 9 0 2625852 0
[pid=12601/tid=12604] ppid=12599 vsize=10540472 CPUtime=0.08 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) R 12599 12601 7463 0 -1 4202560 11181 0 1 0 7 1 0 0 18 0 18 0 909791463 10793443328 12804 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 47391365381059 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540472
[startup+0.301066 s]
/proc/loadavg: 2.69 3.45 3.58 2/568 12601
/proc/meminfo: memFree=28624664/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10543536 CPUtime=0.48 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 16745 0 1 0 46 2 0 0 21 0 18 0 909791463 10796580864 15985 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2635884 15986 2213 9 0 2626618 0
[pid=12601/tid=12604] ppid=12599 vsize=10543536 CPUtime=0.29 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) R 12599 12601 7463 0 -1 4202560 13136 0 1 0 27 2 0 0 18 0 18 0 909791463 10796580864 15986 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912505543276 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543536
[startup+0.700967 s]
/proc/loadavg: 2.69 3.45 3.58 2/568 12601
/proc/meminfo: memFree=28624664/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10554176 CPUtime=1.59 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 40959 0 1 0 153 6 0 0 21 0 18 0 909791463 10807476224 35967 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2638544 35967 2229 9 0 2629278 0
[pid=12601/tid=12604] ppid=12599 vsize=10554176 CPUtime=0.69 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) R 12599 12601 7463 0 -1 4202560 28967 0 1 0 64 5 0 0 18 0 18 0 909791463 10807476224 35968 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912505821152 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10554176
[startup+1.50083 s]
/proc/loadavg: 2.69 3.45 3.58 2/594 12633
/proc/meminfo: memFree=28144832/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10558288 CPUtime=3.16 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 162774 0 1 0 296 20 0 0 21 0 22 0 909791463 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2639572 157691 2241 9 0 2630306 0
[pid=12601/tid=12604] ppid=12599 vsize=10558288 CPUtime=1.09 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) S 12599 12601 7463 0 -1 4202560 143696 0 1 0 91 18 0 0 19 0 22 0 909791463 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12606] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12606/stat : 12606 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12607] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12607/stat : 12607 (java) S 12599 12601 7463 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12608] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12608/stat : 12608 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12609] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12609/stat : 12609 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12610] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12610/stat : 12610 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12611] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12611/stat : 12611 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12612] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12612/stat : 12612 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12613] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12613/stat : 12613 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12619] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12619/stat : 12619 (java) S 12599 12601 7463 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909791466 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 0 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12620] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12620/stat : 12620 (java) S 12599 12601 7463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909791467 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12621] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12621/stat : 12621 (java) S 12599 12601 7463 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 909791467 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12622] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12622/stat : 12622 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909791469 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296749489 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12623] ppid=12599 vsize=10558288 CPUtime=0.75 cores=1,3,5,7
/proc/12601/task/12623/stat : 12623 (java) S 12599 12601 7463 0 -1 4202560 5160 0 0 0 75 0 0 0 15 0 22 0 909791469 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12624] ppid=12599 vsize=10558288 CPUtime=0.71 cores=1,3,5,7
/proc/12601/task/12624/stat : 12624 (java) S 12599 12601 7463 0 -1 4202560 5879 0 0 0 71 0 0 0 15 0 22 0 909791469 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12625] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12625/stat : 12625 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909791469 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12626] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12626/stat : 12626 (java) S 12599 12601 7463 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909791469 10811686912 157691 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 10558288
[startup+3.10062 s]
/proc/loadavg: 2.69 3.45 3.58 1/595 12643
/proc/meminfo: memFree=27888268/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10558288 CPUtime=5.45 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 213659 0 1 0 518 27 0 0 21 0 19 0 909791463 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2639572 208575 2244 9 0 2630306 0
[pid=12601/tid=12604] ppid=12599 vsize=10558288 CPUtime=1.13 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) S 12599 12601 7463 0 -1 4202560 143845 0 1 0 95 18 0 0 15 0 19 0 909791463 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12606] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12606/stat : 12606 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12607] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12607/stat : 12607 (java) S 12599 12601 7463 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12608] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12608/stat : 12608 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12609] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12609/stat : 12609 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12610] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12610/stat : 12610 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12611] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12611/stat : 12611 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12612] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12612/stat : 12612 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12613] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12613/stat : 12613 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909791465 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12619] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12619/stat : 12619 (java) S 12599 12601 7463 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 909791466 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 0 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12620] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12620/stat : 12620 (java) S 12599 12601 7463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 909791467 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12621] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12621/stat : 12621 (java) S 12599 12601 7463 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 909791467 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12622] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12622/stat : 12622 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909791469 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296749489 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12623] ppid=12599 vsize=10558288 CPUtime=0.85 cores=1,3,5,7
/proc/12601/task/12623/stat : 12623 (java) S 12599 12601 7463 0 -1 4202560 5172 0 0 0 85 0 0 0 16 0 19 0 909791469 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12624] ppid=12599 vsize=10558288 CPUtime=0.81 cores=1,3,5,7
/proc/12601/task/12624/stat : 12624 (java) S 12599 12601 7463 0 -1 4202560 5895 0 0 0 81 0 0 0 15 0 19 0 909791469 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12625] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12625/stat : 12625 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909791469 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12626] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12626/stat : 12626 (java) S 12599 12601 7463 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909791469 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12637] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12637/stat : 12637 (java) S 12599 12601 7463 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909791578 10811686912 208575 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 10558288
[startup+6.30103 s]
/proc/loadavg: 2.71 3.45 3.57 6/601 12667
/proc/meminfo: memFree=27138192/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10558288 CPUtime=9.65 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 314112 0 1 0 928 37 0 0 21 0 22 0 909791463 10811686912 309005 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2639572 309007 2246 9 0 2630306 0
[pid=12601/tid=12604] ppid=12599 vsize=10558288 CPUtime=1.19 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) S 12599 12601 7463 0 -1 4202560 144408 0 1 0 101 18 0 0 17 0 22 0 909791463 10811686912 309007 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12606] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12606/stat : 12606 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 909791465 10811686912 309009 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12607] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12607/stat : 12607 (java) S 12599 12601 7463 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 909791465 10811686912 309010 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12608] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12608/stat : 12608 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 309011 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12609] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12609/stat : 12609 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 309012 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12610] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12610/stat : 12610 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 309013 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12611] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12611/stat : 12611 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 309014 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12612] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12612/stat : 12612 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 309016 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12613] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12613/stat : 12613 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909791465 10811686912 309017 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12619] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12619/stat : 12619 (java) S 12599 12601 7463 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909791466 10811686912 309018 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 0 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12620] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12620/stat : 12620 (java) S 12599 12601 7463 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 909791467 10811686912 309019 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12621] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12621/stat : 12621 (java) S 12599 12601 7463 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 909791467 10811686912 309020 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12622] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12622/stat : 12622 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909791469 10811686912 309021 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296749489 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12623] ppid=12599 vsize=10558288 CPUtime=0.94 cores=1,3,5,7
/proc/12601/task/12623/stat : 12623 (java) S 12599 12601 7463 0 -1 4202560 5185 0 0 0 94 0 0 0 15 0 22 0 909791469 10811686912 309023 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12624] ppid=12599 vsize=10558288 CPUtime=0.88 cores=1,3,5,7
/proc/12601/task/12624/stat : 12624 (java) S 12599 12601 7463 0 -1 4202560 5916 0 0 0 88 0 0 0 15 0 22 0 909791469 10811686912 309024 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12625] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12625/stat : 12625 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909791469 10811686912 309025 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=25124276/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10558288 CPUtime=1635.1 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 737279 0 1 0 163423 87 0 0 21 0 22 0 909791463 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2639572 731960 2270 9 0 2630306 0
[pid=12601/tid=12604] ppid=12599 vsize=10558288 CPUtime=1.32 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) S 12599 12601 7463 0 -1 4202560 144979 0 1 0 113 19 0 0 15 0 22 0 909791463 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12606] ppid=12599 vsize=10558288 CPUtime=0.17 cores=1,3,5,7
/proc/12601/task/12606/stat : 12606 (java) S 12599 12601 7463 0 -1 4202560 7195 0 0 0 17 0 0 0 16 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12607] ppid=12599 vsize=10558288 CPUtime=0.13 cores=1,3,5,7
/proc/12601/task/12607/stat : 12607 (java) S 12599 12601 7463 0 -1 4202560 1933 0 0 0 13 0 0 0 15 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12608] ppid=12599 vsize=10558288 CPUtime=0.17 cores=1,3,5,7
/proc/12601/task/12608/stat : 12608 (java) S 12599 12601 7463 0 -1 4202560 7538 0 0 0 17 0 0 0 16 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12609] ppid=12599 vsize=10558288 CPUtime=0.14 cores=1,3,5,7
/proc/12601/task/12609/stat : 12609 (java) S 12599 12601 7463 0 -1 4202560 4563 0 0 0 14 0 0 0 15 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12610] ppid=12599 vsize=10558288 CPUtime=0.11 cores=1,3,5,7
/proc/12601/task/12610/stat : 12610 (java) S 12599 12601 7463 0 -1 4202560 4028 0 0 0 11 0 0 0 16 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12611] ppid=12599 vsize=10558288 CPUtime=0.19 cores=1,3,5,7
/proc/12601/task/12611/stat : 12611 (java) S 12599 12601 7463 0 -1 4202560 4289 0 0 0 19 0 0 0 16 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12612] ppid=12599 vsize=10558288 CPUtime=0.18 cores=1,3,5,7
/proc/12601/task/12612/stat : 12612 (java) S 12599 12601 7463 0 -1 4202560 2288 0 0 0 18 0 0 0 15 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12613] ppid=12599 vsize=10558288 CPUtime=0.2 cores=1,3,5,7
/proc/12601/task/12613/stat : 12613 (java) S 12599 12601 7463 0 -1 4202560 8148 0 0 0 20 0 0 0 15 0 22 0 909791465 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12619] ppid=12599 vsize=10558288 CPUtime=3.41 cores=1,3,5,7
/proc/12601/task/12619/stat : 12619 (java) S 12599 12601 7463 0 -1 4202560 33714 0 0 0 337 4 0 0 15 0 22 0 909791466 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 0 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12620] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12620/stat : 12620 (java) S 12599 12601 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909791467 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12621] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12621/stat : 12621 (java) S 12599 12601 7463 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 909791467 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12622] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12622/stat : 12622 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909791469 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296749489 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12623] ppid=12599 vsize=10558288 CPUtime=1.26 cores=1,3,5,7
/proc/12601/task/12623/stat : 12623 (java) S 12599 12601 7463 0 -1 4202560 5228 0 0 0 126 0 0 0 15 0 22 0 909791469 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12624] ppid=12599 vsize=10558288 CPUtime=1.1 cores=1,3,5,7
/proc/12601/task/12624/stat : 12624 (java) S 12599 12601 7463 0 -1 4202560 5925 0 0 0 110 0 0 0 15 0 22 0 909791469 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12625] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12625/stat : 12625 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909791469 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12626] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12626/stat : 12626 (java) S 12599 12601 7463 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909791469 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12691] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12691/stat : 12691 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909792802 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12698] ppid=12599 vsize=10558288 CPUtime=563.74 cores=1,3,5,7
/proc/12601/task/12698/stat : 12698 (java) R 12599 12601 7463 0 -1 4202560 0 0 0 0 56374 0 0 0 25 0 22 0 909817103 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912506091504 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12601/tid=12699] ppid=12599 vsize=10558288 CPUtime=563.72 cores=1,3,5,7
/proc/12601/task/12699/stat : 12699 (java) R 12599 12601 7463 0 -1 4202560 58145 0 0 0 56366 6 0 0 25 0 22 0 909817103 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912506084407 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12601/tid=12700] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12700/stat : 12700 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909817103 10811686912 731960 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1635.1
Current children cumulated vsize (KiB) 10558288
[startup+882.301 s]
/proc/loadavg: 3.70 3.72 3.66 4/601 12730
/proc/meminfo: memFree=24790680/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10558288 CPUtime=1755.1 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 820972 0 1 0 175413 97 0 0 21 0 22 0 909791463 10811686912 815649 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2639572 815650 2270 9 0 2630306 0
[pid=12601/tid=12604] ppid=12599 vsize=10558288 CPUtime=1.32 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) S 12599 12601 7463 0 -1 4202560 144979 0 1 0 113 19 0 0 15 0 22 0 909791463 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12606] ppid=12599 vsize=10558288 CPUtime=0.17 cores=1,3,5,7
/proc/12601/task/12606/stat : 12606 (java) S 12599 12601 7463 0 -1 4202560 7195 0 0 0 17 0 0 0 16 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12607] ppid=12599 vsize=10558288 CPUtime=0.13 cores=1,3,5,7
/proc/12601/task/12607/stat : 12607 (java) S 12599 12601 7463 0 -1 4202560 1933 0 0 0 13 0 0 0 15 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12608] ppid=12599 vsize=10558288 CPUtime=0.17 cores=1,3,5,7
/proc/12601/task/12608/stat : 12608 (java) S 12599 12601 7463 0 -1 4202560 7538 0 0 0 17 0 0 0 16 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12609] ppid=12599 vsize=10558288 CPUtime=0.14 cores=1,3,5,7
/proc/12601/task/12609/stat : 12609 (java) S 12599 12601 7463 0 -1 4202560 4563 0 0 0 14 0 0 0 15 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12610] ppid=12599 vsize=10558288 CPUtime=0.11 cores=1,3,5,7
/proc/12601/task/12610/stat : 12610 (java) S 12599 12601 7463 0 -1 4202560 4028 0 0 0 11 0 0 0 16 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12611] ppid=12599 vsize=10558288 CPUtime=0.19 cores=1,3,5,7
/proc/12601/task/12611/stat : 12611 (java) S 12599 12601 7463 0 -1 4202560 4289 0 0 0 19 0 0 0 16 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12612] ppid=12599 vsize=10558288 CPUtime=0.18 cores=1,3,5,7
/proc/12601/task/12612/stat : 12612 (java) S 12599 12601 7463 0 -1 4202560 2288 0 0 0 18 0 0 0 15 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12613] ppid=12599 vsize=10558288 CPUtime=0.2 cores=1,3,5,7
/proc/12601/task/12613/stat : 12613 (java) S 12599 12601 7463 0 -1 4202560 8148 0 0 0 20 0 0 0 15 0 22 0 909791465 10811686912 815650 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12619] ppid=12599 vsize=10558288 CPUtime=3.41 cores=1,3,5,7
/proc/12601/task/12619/stat : 12619 (java) S 12599 12601 7463 0 -1 4202560 33714 0 0 0 337 4 0 0 15 0 22 0 909791466 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 0 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12620] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12620/stat : 12620 (java) S 12599 12601 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909791467 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12621] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12621/stat : 12621 (java) S 12599 12601 7463 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 909791467 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12622] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12622/stat : 12622 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909791469 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296749489 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12623] ppid=12599 vsize=10558288 CPUtime=1.26 cores=1,3,5,7
/proc/12601/task/12623/stat : 12623 (java) S 12599 12601 7463 0 -1 4202560 5228 0 0 0 126 0 0 0 15 0 22 0 909791469 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12624] ppid=12599 vsize=10558288 CPUtime=1.1 cores=1,3,5,7
/proc/12601/task/12624/stat : 12624 (java) S 12599 12601 7463 0 -1 4202560 5925 0 0 0 110 0 0 0 15 0 22 0 909791469 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12625] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12625/stat : 12625 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909791469 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12626] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12626/stat : 12626 (java) S 12599 12601 7463 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909791469 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12691] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12691/stat : 12691 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909792802 10811686912 815651 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12698] ppid=12599 vsize=10558288 CPUtime=623.74 cores=1,3,5,7
/proc/12601/task/12698/stat : 12698 (java) R 12599 12601 7463 0 -1 4202560 136 0 0 0 62374 0 0 0 25 0 22 0 909817103 10811686912 815652 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912505955743 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12601/tid=12699] ppid=12599 vsize=10558288 CPUtime=623.72 cores=1,3,5,7
/proc/12601/task/12699/stat : 12699 (java) R 12599 12601 7463 0 -1 4202560 141701 0 0 0 62356 16 0 0 25 0 22 0 909817103 10811686912 815652 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912506162247 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12601/tid=12700] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12700/stat : 12700 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909817103 10811686912 815652 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1755.1
Current children cumulated vsize (KiB) 10558288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.801 s]
/proc/loadavg: 3.52 3.68 3.64 5/601 12730
/proc/meminfo: memFree=24490836/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=10558288 CPUtime=1800.15 cores=1,3,5,7
/proc/12601/stat : 12601 (java) S 12599 12601 7463 0 -1 4202496 894288 0 1 0 179908 107 0 0 21 0 22 0 909791463 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 2639572 888962 2270 9 0 2630306 0
[pid=12601/tid=12604] ppid=12599 vsize=10558288 CPUtime=1.32 cores=1,3,5,7
/proc/12601/task/12604/stat : 12604 (java) S 12599 12601 7463 0 -1 4202560 144979 0 1 0 113 19 0 0 15 0 22 0 909791463 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12606] ppid=12599 vsize=10558288 CPUtime=0.17 cores=1,3,5,7
/proc/12601/task/12606/stat : 12606 (java) S 12599 12601 7463 0 -1 4202560 7195 0 0 0 17 0 0 0 15 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12607] ppid=12599 vsize=10558288 CPUtime=0.15 cores=1,3,5,7
/proc/12601/task/12607/stat : 12607 (java) S 12599 12601 7463 0 -1 4202560 1933 0 0 0 15 0 0 0 16 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12608] ppid=12599 vsize=10558288 CPUtime=0.19 cores=1,3,5,7
/proc/12601/task/12608/stat : 12608 (java) S 12599 12601 7463 0 -1 4202560 7538 0 0 0 19 0 0 0 16 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12609] ppid=12599 vsize=10558288 CPUtime=0.16 cores=1,3,5,7
/proc/12601/task/12609/stat : 12609 (java) S 12599 12601 7463 0 -1 4202560 4564 0 0 0 16 0 0 0 16 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12610] ppid=12599 vsize=10558288 CPUtime=0.11 cores=1,3,5,7
/proc/12601/task/12610/stat : 12610 (java) S 12599 12601 7463 0 -1 4202560 4028 0 0 0 11 0 0 0 15 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12611] ppid=12599 vsize=10558288 CPUtime=0.21 cores=1,3,5,7
/proc/12601/task/12611/stat : 12611 (java) S 12599 12601 7463 0 -1 4202560 4290 0 0 0 21 0 0 0 16 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12612] ppid=12599 vsize=10558288 CPUtime=0.18 cores=1,3,5,7
/proc/12601/task/12612/stat : 12612 (java) S 12599 12601 7463 0 -1 4202560 2288 0 0 0 18 0 0 0 15 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12613] ppid=12599 vsize=10558288 CPUtime=0.2 cores=1,3,5,7
/proc/12601/task/12613/stat : 12613 (java) S 12599 12601 7463 0 -1 4202560 8148 0 0 0 20 0 0 0 15 0 22 0 909791465 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12619] ppid=12599 vsize=10558288 CPUtime=3.41 cores=1,3,5,7
/proc/12601/task/12619/stat : 12619 (java) S 12599 12601 7463 0 -1 4202560 33716 0 0 0 337 4 0 0 15 0 22 0 909791466 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 0 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12620] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12620/stat : 12620 (java) S 12599 12601 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909791467 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12621] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12621/stat : 12621 (java) S 12599 12601 7463 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 909791467 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 7 0 0 0
[pid=12601/tid=12622] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12622/stat : 12622 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909791469 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296749489 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12623] ppid=12599 vsize=10558288 CPUtime=1.26 cores=1,3,5,7
/proc/12601/task/12623/stat : 12623 (java) S 12599 12601 7463 0 -1 4202560 5228 0 0 0 126 0 0 0 15 0 22 0 909791469 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
[pid=12601/tid=12624] ppid=12599 vsize=10558288 CPUtime=1.1 cores=1,3,5,7
/proc/12601/task/12624/stat : 12624 (java) S 12599 12601 7463 0 -1 4202560 5925 0 0 0 110 0 0 0 15 0 22 0 909791469 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12625] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12625/stat : 12625 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909791469 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296741785 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12626] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12626/stat : 12626 (java) S 12599 12601 7463 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909791469 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 1 0 0 0
[pid=12601/tid=12691] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12691/stat : 12691 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909792802 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 3 0 0 0
[pid=12601/tid=12698] ppid=12599 vsize=10558288 CPUtime=646.24 cores=1,3,5,7
/proc/12601/task/12698/stat : 12698 (java) R 12599 12601 7463 0 -1 4202560 485 0 0 0 64624 0 0 0 25 0 22 0 909817103 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912506133772 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12601/tid=12699] ppid=12599 vsize=10558288 CPUtime=646.23 cores=1,3,5,7
/proc/12601/task/12699/stat : 12699 (java) R 12599 12601 7463 0 -1 4202560 214661 0 0 0 64597 26 0 0 25 0 22 0 909817103 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 46912506162029 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12601/tid=12700] ppid=12599 vsize=10558288 CPUtime=0 cores=1,3,5,7
/proc/12601/task/12700/stat : 12700 (java) S 12599 12601 7463 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909817103 10811686912 888962 33554432000 1073741824 1073778376 140737038247824 18446744073709551615 224296742400 0 4 0 16800975 18446604466080314432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10558288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.001 s]
/proc/loadavg: 3.52 3.68 3.64 5/601 12730
/proc/meminfo: memFree=24490836/32951124 swapFree=34426104/67111528
[pid=12601] ppid=12599 vsize=0 CPUtime=1800.44 cores=1,3,5,7
/proc/12601/stat : 12601 (java) Z 12599 12601 7463 0 -1 4203548 894320 0 1 0 179924 120 0 0 17 0 2 0 909791463 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12601/statm: 0 0 0 0 0 0 0
[pid=12601/tid=12698] ppid=12599 vsize=0 CPUtime=646.4 cores=1,3,5,7
/proc/12601/task/12698/stat : 12698 (java) R 12599 12601 7463 0 -1 4203588 485 0 0 0 64628 12 0 0 25 0 2 0 909817103 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.012
CPU time (s): 1800.46
CPU user time (s): 1799.25
CPU system time (s): 1.21481
CPU usage (%): 198.943
Max. virtual memory (cumulated for all children) (KiB): 10558288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.21481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 894320
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= 21542
involuntary context switches= 9365
runsolver used 5.19821 second user time and 12.4571 second system time
The end