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-3454029-1307195388/watcher-3454029-1307195388 -o /tmp/evaluation-result-3454029-1307195388/solver-3454029-1307195388 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454029-1307195388.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.00 2.50 3.10 3/513 18639
/proc/meminfo: memFree=19190716/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 3024 0 1 0 0 0 0 0 25 0 2 0 909769604 10681323520 2726 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2607745 2739 906 9 0 2598901 0
[pid=18639/tid=18641] ppid=18637 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) R 18637 18639 13684 0 -1 4202560 7878 0 1 0 0 0 0 0 25 0 2 0 909769604 10694979584 8694 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0475469 s]
/proc/loadavg: 2.00 2.50 3.10 3/513 18639
/proc/meminfo: memFree=19190716/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 11376 0 1 0 3 1 0 0 25 0 13 0 909769604 10718699520 11073 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2616870 11074 1681 9 0 2607618 0
[pid=18639/tid=18641] ppid=18637 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) R 18637 18639 13684 0 -1 4202560 10230 0 1 0 3 1 0 0 18 0 13 0 909769604 10718699520 11075 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 47486295160851 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.105597 s]
/proc/loadavg: 2.00 2.50 3.10 3/513 18639
/proc/meminfo: memFree=19190716/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10605088 CPUtime=0.1 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 13136 0 1 0 9 1 0 0 25 0 18 0 909769604 10859610112 12833 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2651272 12834 2092 9 0 2642006 0
[pid=18639/tid=18641] ppid=18637 vsize=10605088 CPUtime=0.09 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) R 18637 18639 13684 0 -1 4202560 11249 0 1 0 8 1 0 0 18 0 18 0 909769604 10859610112 12834 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 47486292763395 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) 10605088
[startup+0.300504 s]
/proc/loadavg: 2.00 2.50 3.10 3/513 18639
/proc/meminfo: memFree=19190716/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10607580 CPUtime=0.48 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 16497 0 1 0 46 2 0 0 25 0 18 0 909769604 10862161920 15666 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2651895 15666 2211 9 0 2642629 0
[pid=18639/tid=18641] ppid=18637 vsize=10607580 CPUtime=0.28 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) R 18637 18639 13684 0 -1 4202560 13005 0 1 0 27 1 0 0 18 0 18 0 909769604 10862161920 15666 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912505588830 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) 10607580
[startup+0.700437 s]
/proc/loadavg: 2.00 2.50 3.10 3/513 18639
/proc/meminfo: memFree=19190716/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=1.71 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 33047 0 1 0 167 4 0 0 25 0 22 0 909769604 10872430592 30312 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 30312 2241 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.57 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 22654 0 1 0 55 2 0 0 19 0 22 0 909769604 10872430592 30312 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10617608
[startup+1.50138 s]
/proc/loadavg: 2.00 2.49 3.09 2/551 18686
/proc/meminfo: memFree=18975996/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=3 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 48521 0 1 0 294 6 0 0 25 0 19 0 909769604 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 40712 2246 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.58 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 22690 0 1 0 56 2 0 0 16 0 19 0 909769604 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18649] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18649/stat : 18649 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18651] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18651/stat : 18651 (java) S 18637 18639 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18653] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18653/stat : 18653 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18655] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18655/stat : 18655 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18656] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18656/stat : 18656 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18657] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18657/stat : 18657 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18658] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18658/stat : 18658 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18659] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18659/stat : 18659 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18660] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18660/stat : 18660 (java) S 18637 18639 13684 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 909769607 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 0 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18662] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18662/stat : 18662 (java) S 18637 18639 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909769607 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18664] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18664/stat : 18664 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909769607 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18668] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18668/stat : 18668 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909769609 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000416177 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18669] ppid=18637 vsize=10617608 CPUtime=0.82 cores=1,3,5,7
/proc/18639/task/18669/stat : 18669 (java) S 18637 18639 13684 0 -1 4202560 9020 0 0 0 81 1 0 0 19 0 19 0 909769609 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18672] ppid=18637 vsize=10617608 CPUtime=0.71 cores=1,3,5,7
/proc/18639/task/18672/stat : 18672 (java) S 18637 18639 13684 0 -1 4202560 4829 0 0 0 71 0 0 0 18 0 19 0 909769610 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18673] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18673/stat : 18673 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909769610 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18675] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18675/stat : 18675 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909769610 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18683] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18683/stat : 18683 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909769665 10872430592 40712 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10617608
[startup+3.10101 s]
/proc/loadavg: 2.00 2.49 3.09 1/551 18698
/proc/meminfo: memFree=18911392/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=3.5 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 63666 0 1 0 342 8 0 0 25 0 19 0 909769604 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 55855 2247 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.59 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 22775 0 1 0 56 3 0 0 16 0 19 0 909769604 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18649] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18649/stat : 18649 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18651] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18651/stat : 18651 (java) S 18637 18639 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18653] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18653/stat : 18653 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18655] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18655/stat : 18655 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18656] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18656/stat : 18656 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18657] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18657/stat : 18657 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18658] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18658/stat : 18658 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18659] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18659/stat : 18659 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18660] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18660/stat : 18660 (java) S 18637 18639 13684 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 909769607 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 0 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18662] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18662/stat : 18662 (java) S 18637 18639 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909769607 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18664] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18664/stat : 18664 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909769607 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18668] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18668/stat : 18668 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909769609 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000416177 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18669] ppid=18637 vsize=10617608 CPUtime=0.87 cores=1,3,5,7
/proc/18639/task/18669/stat : 18669 (java) S 18637 18639 13684 0 -1 4202560 9026 0 0 0 86 1 0 0 15 0 19 0 909769609 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18672] ppid=18637 vsize=10617608 CPUtime=0.76 cores=1,3,5,7
/proc/18639/task/18672/stat : 18672 (java) S 18637 18639 13684 0 -1 4202560 4838 0 0 0 76 0 0 0 15 0 19 0 909769610 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18673] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18673/stat : 18673 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909769610 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18675] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18675/stat : 18675 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909769610 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18683] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18683/stat : 18683 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909769665 10872430592 55855 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10617608
[startup+6.30145 s]
/proc/loadavg: 2.00 2.48 3.09 3/554 18725
/proc/meminfo: memFree=18350588/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=4.25 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 89115 0 1 0 413 12 0 0 25 0 19 0 909769604 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 81286 2248 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.6 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 22977 0 1 0 57 3 0 0 16 0 19 0 909769604 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18649] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18649/stat : 18649 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18651] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18651/stat : 18651 (java) S 18637 18639 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18653] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18653/stat : 18653 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18655] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18655/stat : 18655 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18656] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18656/stat : 18656 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18657] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18657/stat : 18657 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18658] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18658/stat : 18658 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18659] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18659/stat : 18659 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909769606 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18660] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18660/stat : 18660 (java) S 18637 18639 13684 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 909769607 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 0 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18662] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18662/stat : 18662 (java) S 18637 18639 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909769607 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18664] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18664/stat : 18664 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909769607 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18668] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18668/stat : 18668 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909769609 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000416177 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18669] ppid=18637 vsize=10617608 CPUtime=0.89 cores=1,3,5,7
/proc/18639/task/18669/stat : 18669 (java) S 18637 18639 13684 0 -1 4202560 9028 0 0 0 88 1 0 0 15 0 19 0 909769609 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18672] ppid=18637 vsize=10617608 CPUtime=0.79 cores=1,3,5,7
/proc/18639/task/18672/stat : 18672 (java) S 18637 18639 13684 0 -1 4202560 4839 0 0 0 79 0 0 0 15 0 19 0 909769610 10872430592 81286 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16455664/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=1603.81 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 693309 0 1 0 160304 77 0 0 25 0 22 0 909769604 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 683768 2273 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.6 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 23151 0 1 0 57 3 0 0 15 0 22 0 909769604 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18649] ppid=18637 vsize=10617608 CPUtime=0.37 cores=1,3,5,7
/proc/18639/task/18649/stat : 18649 (java) S 18637 18639 13684 0 -1 4202560 1204 0 0 0 37 0 0 0 16 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18651] ppid=18637 vsize=10617608 CPUtime=0.34 cores=1,3,5,7
/proc/18639/task/18651/stat : 18651 (java) S 18637 18639 13684 0 -1 4202560 37 0 0 0 34 0 0 0 15 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18653] ppid=18637 vsize=10617608 CPUtime=0.33 cores=1,3,5,7
/proc/18639/task/18653/stat : 18653 (java) S 18637 18639 13684 0 -1 4202560 657 0 0 0 33 0 0 0 15 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18655] ppid=18637 vsize=10617608 CPUtime=0.36 cores=1,3,5,7
/proc/18639/task/18655/stat : 18655 (java) S 18637 18639 13684 0 -1 4202560 864 0 0 0 36 0 0 0 16 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18656] ppid=18637 vsize=10617608 CPUtime=0.43 cores=1,3,5,7
/proc/18639/task/18656/stat : 18656 (java) S 18637 18639 13684 0 -1 4202560 950 0 0 0 43 0 0 0 16 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18657] ppid=18637 vsize=10617608 CPUtime=0.41 cores=1,3,5,7
/proc/18639/task/18657/stat : 18657 (java) S 18637 18639 13684 0 -1 4202560 1347 0 0 0 41 0 0 0 15 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18658] ppid=18637 vsize=10617608 CPUtime=0.41 cores=1,3,5,7
/proc/18639/task/18658/stat : 18658 (java) S 18637 18639 13684 0 -1 4202560 2253 0 0 0 41 0 0 0 15 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18659] ppid=18637 vsize=10617608 CPUtime=0.41 cores=1,3,5,7
/proc/18639/task/18659/stat : 18659 (java) S 18637 18639 13684 0 -1 4202560 1233 0 0 0 41 0 0 0 15 0 22 0 909769606 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18660] ppid=18637 vsize=10617608 CPUtime=27.79 cores=1,3,5,7
/proc/18639/task/18660/stat : 18660 (java) S 18637 18639 13684 0 -1 4202560 38158 0 0 0 2775 4 0 0 15 0 22 0 909769607 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 0 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18662] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18662/stat : 18662 (java) S 18637 18639 13684 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909769607 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18664] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18664/stat : 18664 (java) S 18637 18639 13684 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 909769607 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18668] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18668/stat : 18668 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909769609 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000416177 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18669] ppid=18637 vsize=10617608 CPUtime=1.27 cores=1,3,5,7
/proc/18639/task/18669/stat : 18669 (java) S 18637 18639 13684 0 -1 4202560 11446 0 0 0 126 1 0 0 15 0 22 0 909769609 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18672] ppid=18637 vsize=10617608 CPUtime=1.17 cores=1,3,5,7
/proc/18639/task/18672/stat : 18672 (java) S 18637 18639 13684 0 -1 4202560 4914 0 0 0 117 0 0 0 15 0 22 0 909769610 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18673] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18673/stat : 18673 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909769610 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18675] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18675/stat : 18675 (java) S 18637 18639 13684 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 909769610 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18683] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18683/stat : 18683 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909769665 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18757] ppid=18637 vsize=10617608 CPUtime=774.99 cores=1,3,5,7
/proc/18639/task/18757/stat : 18757 (java) R 18637 18639 13684 0 -1 4202560 252 0 0 0 77499 0 0 0 25 0 22 0 909771474 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912506433436 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18639/tid=18758] ppid=18637 vsize=10617608 CPUtime=775 cores=1,3,5,7
/proc/18639/task/18758/stat : 18758 (java) R 18637 18639 13684 0 -1 4202560 262285 0 0 0 77474 26 0 0 25 0 22 0 909771474 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912506000455 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18639/tid=18759] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18759/stat : 18759 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909771474 10872430592 683768 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1603.81
Current children cumulated vsize (KiB) 10617608
[startup+882.301 s]
/proc/loadavg: 2.54 3.30 3.34 2/530 18809
/proc/meminfo: memFree=16449444/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=1720.35 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 695387 0 1 0 171957 78 0 0 25 0 22 0 909769604 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 685826 2273 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.6 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 23153 0 1 0 57 3 0 0 15 0 22 0 909769604 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18649] ppid=18637 vsize=10617608 CPUtime=0.39 cores=1,3,5,7
/proc/18639/task/18649/stat : 18649 (java) S 18637 18639 13684 0 -1 4202560 1206 0 0 0 39 0 0 0 15 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18651] ppid=18637 vsize=10617608 CPUtime=0.38 cores=1,3,5,7
/proc/18639/task/18651/stat : 18651 (java) S 18637 18639 13684 0 -1 4202560 37 0 0 0 38 0 0 0 15 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18653] ppid=18637 vsize=10617608 CPUtime=0.38 cores=1,3,5,7
/proc/18639/task/18653/stat : 18653 (java) S 18637 18639 13684 0 -1 4202560 660 0 0 0 38 0 0 0 15 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18655] ppid=18637 vsize=10617608 CPUtime=0.42 cores=1,3,5,7
/proc/18639/task/18655/stat : 18655 (java) S 18637 18639 13684 0 -1 4202560 867 0 0 0 42 0 0 0 16 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18656] ppid=18637 vsize=10617608 CPUtime=0.47 cores=1,3,5,7
/proc/18639/task/18656/stat : 18656 (java) S 18637 18639 13684 0 -1 4202560 950 0 0 0 47 0 0 0 16 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18657] ppid=18637 vsize=10617608 CPUtime=0.44 cores=1,3,5,7
/proc/18639/task/18657/stat : 18657 (java) S 18637 18639 13684 0 -1 4202560 1348 0 0 0 44 0 0 0 16 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18658] ppid=18637 vsize=10617608 CPUtime=0.45 cores=1,3,5,7
/proc/18639/task/18658/stat : 18658 (java) S 18637 18639 13684 0 -1 4202560 2255 0 0 0 45 0 0 0 16 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18659] ppid=18637 vsize=10617608 CPUtime=0.45 cores=1,3,5,7
/proc/18639/task/18659/stat : 18659 (java) S 18637 18639 13684 0 -1 4202560 1238 0 0 0 45 0 0 0 16 0 22 0 909769606 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18660] ppid=18637 vsize=10617608 CPUtime=31.37 cores=1,3,5,7
/proc/18639/task/18660/stat : 18660 (java) S 18637 18639 13684 0 -1 4202560 40204 0 0 0 3133 4 0 0 16 0 22 0 909769607 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 0 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18662] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18662/stat : 18662 (java) S 18637 18639 13684 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909769607 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18664] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18664/stat : 18664 (java) S 18637 18639 13684 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 909769607 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18668] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18668/stat : 18668 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909769609 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000416177 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18669] ppid=18637 vsize=10617608 CPUtime=1.27 cores=1,3,5,7
/proc/18639/task/18669/stat : 18669 (java) S 18637 18639 13684 0 -1 4202560 11446 0 0 0 126 1 0 0 15 0 22 0 909769609 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18672] ppid=18637 vsize=10617608 CPUtime=1.17 cores=1,3,5,7
/proc/18639/task/18672/stat : 18672 (java) S 18637 18639 13684 0 -1 4202560 4914 0 0 0 117 0 0 0 15 0 22 0 909769610 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18673] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18673/stat : 18673 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909769610 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18675] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18675/stat : 18675 (java) S 18637 18639 13684 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909769610 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18683] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18683/stat : 18683 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909769665 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18757] ppid=18637 vsize=10617608 CPUtime=831.31 cores=1,3,5,7
/proc/18639/task/18757/stat : 18757 (java) R 18637 18639 13684 0 -1 4202560 261 0 0 0 83131 0 0 0 22 0 22 0 909771474 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912505654879 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18639/tid=18758] ppid=18637 vsize=10617608 CPUtime=831.31 cores=1,3,5,7
/proc/18639/task/18758/stat : 18758 (java) R 18637 18639 13684 0 -1 4202560 262286 0 0 0 83105 26 0 0 22 0 22 0 909771474 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912506047423 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18639/tid=18759] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18759/stat : 18759 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909771474 10872430592 685826 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1720.35
Current children cumulated vsize (KiB) 10617608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+923.401 s]
/proc/loadavg: 2.14 3.10 3.28 3/530 18810
/proc/meminfo: memFree=16444220/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=10617608 CPUtime=1800.18 cores=1,3,5,7
/proc/18639/stat : 18639 (java) S 18637 18639 13684 0 -1 4202496 696295 0 1 0 179940 78 0 0 25 0 22 0 909769604 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 2654402 686723 2273 9 0 2645136 0
[pid=18639/tid=18641] ppid=18637 vsize=10617608 CPUtime=0.6 cores=1,3,5,7
/proc/18639/task/18641/stat : 18641 (java) S 18637 18639 13684 0 -1 4202560 23155 0 1 0 57 3 0 0 15 0 22 0 909769604 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18649] ppid=18637 vsize=10617608 CPUtime=0.41 cores=1,3,5,7
/proc/18639/task/18649/stat : 18649 (java) S 18637 18639 13684 0 -1 4202560 1206 0 0 0 41 0 0 0 15 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18651] ppid=18637 vsize=10617608 CPUtime=0.4 cores=1,3,5,7
/proc/18639/task/18651/stat : 18651 (java) S 18637 18639 13684 0 -1 4202560 37 0 0 0 40 0 0 0 15 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18653] ppid=18637 vsize=10617608 CPUtime=0.41 cores=1,3,5,7
/proc/18639/task/18653/stat : 18653 (java) S 18637 18639 13684 0 -1 4202560 662 0 0 0 41 0 0 0 15 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18655] ppid=18637 vsize=10617608 CPUtime=0.45 cores=1,3,5,7
/proc/18639/task/18655/stat : 18655 (java) S 18637 18639 13684 0 -1 4202560 867 0 0 0 45 0 0 0 16 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18656] ppid=18637 vsize=10617608 CPUtime=0.5 cores=1,3,5,7
/proc/18639/task/18656/stat : 18656 (java) S 18637 18639 13684 0 -1 4202560 951 0 0 0 50 0 0 0 15 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18657] ppid=18637 vsize=10617608 CPUtime=0.47 cores=1,3,5,7
/proc/18639/task/18657/stat : 18657 (java) S 18637 18639 13684 0 -1 4202560 1349 0 0 0 47 0 0 0 16 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18658] ppid=18637 vsize=10617608 CPUtime=0.49 cores=1,3,5,7
/proc/18639/task/18658/stat : 18658 (java) S 18637 18639 13684 0 -1 4202560 2258 0 0 0 49 0 0 0 16 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18659] ppid=18637 vsize=10617608 CPUtime=0.48 cores=1,3,5,7
/proc/18639/task/18659/stat : 18659 (java) S 18637 18639 13684 0 -1 4202560 1238 0 0 0 48 0 0 0 16 0 22 0 909769606 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18660] ppid=18637 vsize=10617608 CPUtime=33.85 cores=1,3,5,7
/proc/18639/task/18660/stat : 18660 (java) S 18637 18639 13684 0 -1 4202560 41096 0 0 0 3381 4 0 0 15 0 22 0 909769607 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 0 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18662] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18662/stat : 18662 (java) S 18637 18639 13684 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909769607 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 1 0 0 0
[pid=18639/tid=18664] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18664/stat : 18664 (java) S 18637 18639 13684 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 909769607 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18668] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18668/stat : 18668 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909769609 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000416177 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18669] ppid=18637 vsize=10617608 CPUtime=1.27 cores=1,3,5,7
/proc/18639/task/18669/stat : 18669 (java) S 18637 18639 13684 0 -1 4202560 11446 0 0 0 126 1 0 0 15 0 22 0 909769609 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18672] ppid=18637 vsize=10617608 CPUtime=1.17 cores=1,3,5,7
/proc/18639/task/18672/stat : 18672 (java) S 18637 18639 13684 0 -1 4202560 4914 0 0 0 117 0 0 0 15 0 22 0 909769610 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
[pid=18639/tid=18673] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18673/stat : 18673 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909769610 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000408473 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18675] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18675/stat : 18675 (java) S 18637 18639 13684 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 909769610 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 3 0 0 0
[pid=18639/tid=18683] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18683/stat : 18683 (java) S 18637 18639 13684 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909769665 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 7 0 0 0
[pid=18639/tid=18757] ppid=18637 vsize=10617608 CPUtime=869.89 cores=1,3,5,7
/proc/18639/task/18757/stat : 18757 (java) R 18637 18639 13684 0 -1 4202560 266 0 0 0 86989 0 0 0 25 0 22 0 909771474 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912506051482 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18639/tid=18758] ppid=18637 vsize=10617608 CPUtime=869.89 cores=1,3,5,7
/proc/18639/task/18758/stat : 18758 (java) R 18637 18639 13684 0 -1 4202560 262286 0 0 0 86963 26 0 0 25 0 22 0 909771474 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 46912506047394 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18639/tid=18759] ppid=18637 vsize=10617608 CPUtime=0 cores=1,3,5,7
/proc/18639/task/18759/stat : 18759 (java) S 18637 18639 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909771474 10872430592 686723 33554432000 1073741824 1073778376 140737152768544 18446744073709551615 216000409088 0 4 0 16800975 18446604457766331584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10617608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+923.526 s]
/proc/loadavg: 2.14 3.10 3.28 3/530 18810
/proc/meminfo: memFree=16444220/32950940 swapFree=67111364/67111528
[pid=18639] ppid=18637 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/18639/stat : 18639 (java) Z 18637 18639 13684 0 -1 4203548 696322 0 1 0 179947 86 0 0 17 0 2 0 909769604 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18639/statm: 0 0 0 0 0 0 0
[pid=18639/tid=18758] ppid=18637 vsize=0 CPUtime=870 cores=1,3,5,7
/proc/18639/task/18758/stat : 18758 (java) R 18637 18639 13684 0 -1 4203588 262286 0 0 0 86965 35 0 0 25 0 2 0 909771474 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 923.547
CPU time (s): 1800.36
CPU user time (s): 1799.47
CPU system time (s): 0.890864
CPU usage (%): 194.94
Max. virtual memory (cumulated for all children) (KiB): 10617608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.890864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696322
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= 25980
involuntary context switches= 24557
runsolver used 4.78027 second user time and 11.2893 second system time
The end