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-3311301-1307645235/watcher-3311301-1307645235 -o /tmp/evaluation-result-3311301-1307645235/solver-3311301-1307645235 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311301-1307645235.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 3.96 3.98 1/195 22613
/proc/meminfo: memFree=32148056/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/22613/stat : 22613 (java) R 22611 22613 22550 0 -1 4202496 1204 0 0 0 0 0 0 0 18 0 1 0 876121691 23580672 690 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 47258757188144 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22613/statm: 5757 706 527 9 0 124 0
[startup+0.0291811 s]
/proc/loadavg: 3.68 3.96 3.98 1/195 22613
/proc/meminfo: memFree=32148056/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15604116 CPUtime=0.02 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 3537 0 1 0 2 0 0 0 18 0 13 0 876121691 15978614784 2976 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3901029 2976 1657 9 0 3891777 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604116
[startup+0.100203 s]
/proc/loadavg: 3.68 3.96 3.98 1/195 22613
/proc/meminfo: memFree=32148056/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15676160 CPUtime=0.1 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 5617 0 1 0 9 1 0 0 18 0 18 0 876121691 16052387840 4987 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3919040 4987 2118 9 0 3909759 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676160
[startup+0.300208 s]
/proc/loadavg: 3.68 3.96 3.98 1/195 22613
/proc/meminfo: memFree=32148056/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15681200 CPUtime=0.52 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 15740 0 1 0 49 3 0 0 18 0 18 0 876121691 16057548800 13855 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3920300 13861 2207 9 0 3911019 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15681200
[startup+0.701111 s]
/proc/loadavg: 3.68 3.96 3.98 1/195 22613
/proc/meminfo: memFree=32148056/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15681200 CPUtime=0.93 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 41892 0 1 0 87 6 0 0 18 0 18 0 876121691 16057548800 40004 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3920300 40004 2223 9 0 3911019 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15681200
[startup+1.50096 s]
/proc/loadavg: 3.68 3.96 3.98 4/221 22639
/proc/meminfo: memFree=31835472/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15691032 CPUtime=2.23 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 49306 0 1 0 216 7 0 0 18 0 22 0 876121691 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3922758 43900 2262 9 0 3913477 0
[pid=22613/tid=22615] ppid=22611 vsize=15691032 CPUtime=1.47 cores=0,2,4,6
/proc/22613/task/22615/stat : 22615 (java) R 22611 22613 22550 0 -1 4202560 35622 0 1 0 142 5 0 0 21 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 46912505752704 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22613/tid=22616] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22616/stat : 22616 (java) S 22611 22613 22550 0 -1 4202560 398 0 0 0 0 0 0 0 16 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22617] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22617/stat : 22617 (java) S 22611 22613 22550 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22618] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22618/stat : 22618 (java) S 22611 22613 22550 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22619] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22619/stat : 22619 (java) S 22611 22613 22550 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22620] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22620/stat : 22620 (java) S 22611 22613 22550 0 -1 4202560 68 0 0 0 0 0 0 0 16 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22621] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22621/stat : 22621 (java) S 22611 22613 22550 0 -1 4202560 689 0 0 0 0 0 0 0 15 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22622] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22622/stat : 22622 (java) S 22611 22613 22550 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22623] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22623/stat : 22623 (java) S 22611 22613 22550 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 876121692 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22624] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22624/stat : 22624 (java) S 22611 22613 22550 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 876121693 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 0 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22625] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22625/stat : 22625 (java) S 22611 22613 22550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 876121694 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22626] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22626/stat : 22626 (java) S 22611 22613 22550 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 876121694 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22627] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22627/stat : 22627 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347716017 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22628] ppid=22611 vsize=15691032 CPUtime=0.4 cores=0,2,4,6
/proc/22613/task/22628/stat : 22628 (java) S 22611 22613 22550 0 -1 4202560 5648 0 0 0 39 1 0 0 16 0 22 0 876121696 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22629] ppid=22611 vsize=15691032 CPUtime=0.32 cores=0,2,4,6
/proc/22613/task/22629/stat : 22629 (java) S 22611 22613 22550 0 -1 4202560 5092 0 0 0 32 0 0 0 17 0 22 0 876121696 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22630] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22630/stat : 22630 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22631] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22631/stat : 22631 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876121696 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22636] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22636/stat : 22636 (java) S 22611 22613 22550 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 876121776 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) S 22611 22613 22550 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 876121776 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22638] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22638/stat : 22638 (java) S 22611 22613 22550 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 876121776 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22639] ppid=22611 vsize=15691032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22639/stat : 22639 (java) S 22611 22613 22550 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 876121776 16067616768 43900 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 15691032
[startup+3.10564 s]
/proc/loadavg: 3.68 3.96 3.98 8/221 22639
/proc/meminfo: memFree=31792940/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15691548 CPUtime=5.73 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 70709 0 1 0 562 11 0 0 18 0 22 0 876121691 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3922887 65255 2275 9 0 3913606 0
[pid=22613/tid=22615] ppid=22611 vsize=15691548 CPUtime=2.1 cores=0,2,4,6
/proc/22613/task/22615/stat : 22615 (java) S 22611 22613 22550 0 -1 4202560 35675 0 1 0 205 5 0 0 22 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22616] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22616/stat : 22616 (java) S 22611 22613 22550 0 -1 4202560 398 0 0 0 0 0 0 0 15 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22617] ppid=22611 vsize=15691548 CPUtime=0.02 cores=0,2,4,6
/proc/22613/task/22617/stat : 22617 (java) S 22611 22613 22550 0 -1 4202560 3923 0 0 0 2 0 0 0 16 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22618] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22618/stat : 22618 (java) S 22611 22613 22550 0 -1 4202560 1761 0 0 0 0 0 0 0 15 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22619] ppid=22611 vsize=15691548 CPUtime=0.02 cores=0,2,4,6
/proc/22613/task/22619/stat : 22619 (java) S 22611 22613 22550 0 -1 4202560 3891 0 0 0 2 0 0 0 16 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22620] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22620/stat : 22620 (java) S 22611 22613 22550 0 -1 4202560 2047 0 0 0 0 0 0 0 16 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22621] ppid=22611 vsize=15691548 CPUtime=0.01 cores=0,2,4,6
/proc/22613/task/22621/stat : 22621 (java) S 22611 22613 22550 0 -1 4202560 3255 0 0 0 1 0 0 0 15 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22622] ppid=22611 vsize=15691548 CPUtime=0.01 cores=0,2,4,6
/proc/22613/task/22622/stat : 22622 (java) S 22611 22613 22550 0 -1 4202560 3667 0 0 0 1 0 0 0 16 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22623] ppid=22611 vsize=15691548 CPUtime=0.01 cores=0,2,4,6
/proc/22613/task/22623/stat : 22623 (java) S 22611 22613 22550 0 -1 4202560 3554 0 0 0 1 0 0 0 15 0 22 0 876121692 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22624] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22624/stat : 22624 (java) S 22611 22613 22550 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 22 0 876121693 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 0 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22625] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22625/stat : 22625 (java) S 22611 22613 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876121694 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22626] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22626/stat : 22626 (java) S 22611 22613 22550 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 876121694 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22627] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22627/stat : 22627 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347716017 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22628] ppid=22611 vsize=15691548 CPUtime=0.75 cores=0,2,4,6
/proc/22613/task/22628/stat : 22628 (java) S 22611 22613 22550 0 -1 4202560 5701 0 0 0 74 1 0 0 15 0 22 0 876121696 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22629] ppid=22611 vsize=15691548 CPUtime=0.89 cores=0,2,4,6
/proc/22613/task/22629/stat : 22629 (java) S 22611 22613 22550 0 -1 4202560 5297 0 0 0 89 0 0 0 15 0 22 0 876121696 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22630] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22630/stat : 22630 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22631] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22631/stat : 22631 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876121696 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22636] ppid=22611 vsize=15691548 CPUtime=0.46 cores=0,2,4,6
/proc/22613/task/22636/stat : 22636 (java) R 22611 22613 22550 0 -1 4202560 25 0 0 0 46 0 0 0 15 0 22 0 876121776 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 47258756208413 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=15691548 CPUtime=0.32 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) S 22611 22613 22550 0 -1 4202560 14 0 0 0 32 0 0 0 15 0 22 0 876121776 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22638] ppid=22611 vsize=15691548 CPUtime=0.41 cores=0,2,4,6
/proc/22613/task/22638/stat : 22638 (java) R 22611 22613 22550 0 -1 4202560 10 0 0 0 41 0 0 0 15 0 22 0 876121776 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 46912506114803 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22613/tid=22639] ppid=22611 vsize=15691548 CPUtime=0.61 cores=0,2,4,6
/proc/22613/task/22639/stat : 22639 (java) R 22611 22613 22550 0 -1 4202560 9 0 0 0 61 0 0 0 16 0 22 0 876121776 16068145152 65255 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 47258756207063 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 15691548
[startup+6.30104 s]
/proc/loadavg: 4.03 4.03 4.00 11/221 22640
/proc/meminfo: memFree=30685516/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15691548 CPUtime=18.14 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 284235 0 1 0 1773 41 0 0 18 0 22 0 876121691 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3922887 277560 2275 9 0 3913606 0
[pid=22613/tid=22615] ppid=22611 vsize=15691548 CPUtime=2.1 cores=0,2,4,6
/proc/22613/task/22615/stat : 22615 (java) S 22611 22613 22550 0 -1 4202560 35675 0 1 0 205 5 0 0 22 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22616] ppid=22611 vsize=15691548 CPUtime=0.21 cores=0,2,4,6
/proc/22613/task/22616/stat : 22616 (java) S 22611 22613 22550 0 -1 4202560 32885 0 0 0 17 4 0 0 16 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22617] ppid=22611 vsize=15691548 CPUtime=0.19 cores=0,2,4,6
/proc/22613/task/22617/stat : 22617 (java) S 22611 22613 22550 0 -1 4202560 28720 0 0 0 15 4 0 0 15 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22618] ppid=22611 vsize=15691548 CPUtime=0.09 cores=0,2,4,6
/proc/22613/task/22618/stat : 22618 (java) S 22611 22613 22550 0 -1 4202560 12555 0 0 0 9 0 0 0 15 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22619] ppid=22611 vsize=15691548 CPUtime=0.13 cores=0,2,4,6
/proc/22613/task/22619/stat : 22619 (java) S 22611 22613 22550 0 -1 4202560 28506 0 0 0 9 4 0 0 16 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22620] ppid=22611 vsize=15691548 CPUtime=0.09 cores=0,2,4,6
/proc/22613/task/22620/stat : 22620 (java) S 22611 22613 22550 0 -1 4202560 11629 0 0 0 8 1 0 0 15 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22621] ppid=22611 vsize=15691548 CPUtime=0.17 cores=0,2,4,6
/proc/22613/task/22621/stat : 22621 (java) S 22611 22613 22550 0 -1 4202560 22272 0 0 0 14 3 0 0 16 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22622] ppid=22611 vsize=15691548 CPUtime=0.13 cores=0,2,4,6
/proc/22613/task/22622/stat : 22622 (java) S 22611 22613 22550 0 -1 4202560 26980 0 0 0 9 4 0 0 16 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22623] ppid=22611 vsize=15691548 CPUtime=0.1 cores=0,2,4,6
/proc/22613/task/22623/stat : 22623 (java) S 22611 22613 22550 0 -1 4202560 18805 0 0 0 8 2 0 0 16 0 22 0 876121692 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22624] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22624/stat : 22624 (java) S 22611 22613 22550 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 22 0 876121693 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 0 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22625] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22625/stat : 22625 (java) S 22611 22613 22550 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876121694 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22626] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22626/stat : 22626 (java) S 22611 22613 22550 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 876121694 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22627] ppid=22611 vsize=15691548 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22627/stat : 22627 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347716017 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22628] ppid=22611 vsize=15691548 CPUtime=0.76 cores=0,2,4,6
/proc/22613/task/22628/stat : 22628 (java) S 22611 22613 22550 0 -1 4202560 5702 0 0 0 75 1 0 0 15 0 22 0 876121696 16068145152 277560 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=22613/tid=22626] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22626/stat : 22626 (java) S 22611 22613 22550 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 876121694 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22627] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22627/stat : 22627 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347716017 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22628] ppid=22611 vsize=15687032 CPUtime=0.91 cores=0,2,4,6
/proc/22613/task/22628/stat : 22628 (java) S 22611 22613 22550 0 -1 4202560 5717 0 0 0 90 1 0 0 16 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22629] ppid=22611 vsize=15687032 CPUtime=1.01 cores=0,2,4,6
/proc/22613/task/22629/stat : 22629 (java) S 22611 22613 22550 0 -1 4202560 5308 0 0 0 101 0 0 0 15 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22630] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22630/stat : 22630 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22631] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22631/stat : 22631 (java) S 22611 22613 22550 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22636] ppid=22611 vsize=15687032 CPUtime=289.25 cores=0,2,4,6
/proc/22613/task/22636/stat : 22636 (java) S 22611 22613 22550 0 -1 4202560 69766 0 0 0 28908 17 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=15687032 CPUtime=287.75 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) S 22611 22613 22550 0 -1 4202560 74226 0 0 0 28762 13 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22638] ppid=22611 vsize=15687032 CPUtime=289.19 cores=0,2,4,6
/proc/22613/task/22638/stat : 22638 (java) S 22611 22613 22550 0 -1 4202560 72464 0 0 0 28903 16 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22639] ppid=22611 vsize=15687032 CPUtime=289.42 cores=0,2,4,6
/proc/22613/task/22639/stat : 22639 (java) S 22611 22613 22550 0 -1 4202560 78415 0 0 0 28926 16 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2069.54
Current children cumulated vsize (KiB) 15687032
[startup+1242.3 s]
/proc/loadavg: 5.20 5.14 5.08 6/221 22746
/proc/meminfo: memFree=14164672/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15687032 CPUtime=2132.2 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 3880785 0 1 0 212511 709 0 0 18 0 22 0 876121691 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3921758 3821624 2294 9 0 3912477 0
[pid=22613/tid=22615] ppid=22611 vsize=15687032 CPUtime=2.1 cores=0,2,4,6
/proc/22613/task/22615/stat : 22615 (java) S 22611 22613 22550 0 -1 4202560 35675 0 1 0 205 5 0 0 22 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22616] ppid=22611 vsize=15687032 CPUtime=3.53 cores=0,2,4,6
/proc/22613/task/22616/stat : 22616 (java) S 22611 22613 22550 0 -1 4202560 353004 0 0 0 291 62 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22617] ppid=22611 vsize=15687032 CPUtime=3.2 cores=0,2,4,6
/proc/22613/task/22617/stat : 22617 (java) S 22611 22613 22550 0 -1 4202560 354142 0 0 0 259 61 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22618] ppid=22611 vsize=15687032 CPUtime=3.9 cores=0,2,4,6
/proc/22613/task/22618/stat : 22618 (java) S 22611 22613 22550 0 -1 4202560 370781 0 0 0 327 63 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22619] ppid=22611 vsize=15687032 CPUtime=2.6 cores=0,2,4,6
/proc/22613/task/22619/stat : 22619 (java) S 22611 22613 22550 0 -1 4202560 342720 0 0 0 198 62 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22620] ppid=22611 vsize=15687032 CPUtime=3.89 cores=0,2,4,6
/proc/22613/task/22620/stat : 22620 (java) S 22611 22613 22550 0 -1 4202560 378815 0 0 0 324 65 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22621] ppid=22611 vsize=15687032 CPUtime=3.41 cores=0,2,4,6
/proc/22613/task/22621/stat : 22621 (java) S 22611 22613 22550 0 -1 4202560 426072 0 0 0 269 72 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22622] ppid=22611 vsize=15687032 CPUtime=2.94 cores=0,2,4,6
/proc/22613/task/22622/stat : 22622 (java) S 22611 22613 22550 0 -1 4202560 321848 0 0 0 242 52 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22623] ppid=22611 vsize=15687032 CPUtime=3.1 cores=0,2,4,6
/proc/22613/task/22623/stat : 22623 (java) S 22611 22613 22550 0 -1 4202560 360903 0 0 0 250 60 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22624] ppid=22611 vsize=15687032 CPUtime=942.25 cores=0,2,4,6
/proc/22613/task/22624/stat : 22624 (java) R 22611 22613 22550 0 -1 4202560 629023 0 0 0 94091 134 0 0 18 0 22 0 876121693 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 47258753282364 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22613/tid=22625] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22625/stat : 22625 (java) S 22611 22613 22550 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 876121694 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22626] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22626/stat : 22626 (java) S 22611 22613 22550 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 876121694 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22627] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22627/stat : 22627 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347716017 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22628] ppid=22611 vsize=15687032 CPUtime=0.91 cores=0,2,4,6
/proc/22613/task/22628/stat : 22628 (java) S 22611 22613 22550 0 -1 4202560 5717 0 0 0 90 1 0 0 16 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22629] ppid=22611 vsize=15687032 CPUtime=1.01 cores=0,2,4,6
/proc/22613/task/22629/stat : 22629 (java) S 22611 22613 22550 0 -1 4202560 5308 0 0 0 101 0 0 0 15 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22630] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22630/stat : 22630 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22631] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22631/stat : 22631 (java) S 22611 22613 22550 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22636] ppid=22611 vsize=15687032 CPUtime=290.13 cores=0,2,4,6
/proc/22613/task/22636/stat : 22636 (java) S 22611 22613 22550 0 -1 4202560 69838 0 0 0 28996 17 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=15687032 CPUtime=288.66 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) S 22611 22613 22550 0 -1 4202560 74417 0 0 0 28852 14 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22638] ppid=22611 vsize=15687032 CPUtime=290.08 cores=0,2,4,6
/proc/22613/task/22638/stat : 22638 (java) S 22611 22613 22550 0 -1 4202560 72500 0 0 0 28992 16 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22639] ppid=22611 vsize=15687032 CPUtime=290.33 cores=0,2,4,6
/proc/22613/task/22639/stat : 22639 (java) S 22611 22613 22550 0 -1 4202560 78567 0 0 0 29016 17 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2132.2
Current children cumulated vsize (KiB) 15687032
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.14 5.13 5.08 6/221 22748
/proc/meminfo: memFree=14862724/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=15687032 CPUtime=2193.76 cores=0,2,4,6
/proc/22613/stat : 22613 (java) S 22611 22613 22550 0 -1 4202496 3881224 0 1 0 218660 716 0 0 18 0 22 0 876121691 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 3921758 3821624 2294 9 0 3912477 0
[pid=22613/tid=22615] ppid=22611 vsize=15687032 CPUtime=2.1 cores=0,2,4,6
/proc/22613/task/22615/stat : 22615 (java) S 22611 22613 22550 0 -1 4202560 35675 0 1 0 205 5 0 0 22 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22616] ppid=22611 vsize=15687032 CPUtime=3.53 cores=0,2,4,6
/proc/22613/task/22616/stat : 22616 (java) S 22611 22613 22550 0 -1 4202560 353004 0 0 0 291 62 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22617] ppid=22611 vsize=15687032 CPUtime=3.2 cores=0,2,4,6
/proc/22613/task/22617/stat : 22617 (java) S 22611 22613 22550 0 -1 4202560 354142 0 0 0 259 61 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22618] ppid=22611 vsize=15687032 CPUtime=3.9 cores=0,2,4,6
/proc/22613/task/22618/stat : 22618 (java) S 22611 22613 22550 0 -1 4202560 370781 0 0 0 327 63 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22619] ppid=22611 vsize=15687032 CPUtime=2.6 cores=0,2,4,6
/proc/22613/task/22619/stat : 22619 (java) S 22611 22613 22550 0 -1 4202560 342720 0 0 0 198 62 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22620] ppid=22611 vsize=15687032 CPUtime=3.89 cores=0,2,4,6
/proc/22613/task/22620/stat : 22620 (java) S 22611 22613 22550 0 -1 4202560 378815 0 0 0 324 65 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22621] ppid=22611 vsize=15687032 CPUtime=3.41 cores=0,2,4,6
/proc/22613/task/22621/stat : 22621 (java) S 22611 22613 22550 0 -1 4202560 426072 0 0 0 269 72 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22622] ppid=22611 vsize=15687032 CPUtime=2.94 cores=0,2,4,6
/proc/22613/task/22622/stat : 22622 (java) S 22611 22613 22550 0 -1 4202560 321848 0 0 0 242 52 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22623] ppid=22611 vsize=15687032 CPUtime=3.1 cores=0,2,4,6
/proc/22613/task/22623/stat : 22623 (java) S 22611 22613 22550 0 -1 4202560 360903 0 0 0 250 60 0 0 16 0 22 0 876121692 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22624] ppid=22611 vsize=15687032 CPUtime=998.6 cores=0,2,4,6
/proc/22613/task/22624/stat : 22624 (java) R 22611 22613 22550 0 -1 4202560 629028 0 0 0 99722 138 0 0 18 0 22 0 876121693 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 47258753282364 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22613/tid=22625] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22625/stat : 22625 (java) S 22611 22613 22550 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 876121694 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22626] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22626/stat : 22626 (java) S 22611 22613 22550 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 876121694 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22627] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22627/stat : 22627 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347716017 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22628] ppid=22611 vsize=15687032 CPUtime=0.91 cores=0,2,4,6
/proc/22613/task/22628/stat : 22628 (java) S 22611 22613 22550 0 -1 4202560 5717 0 0 0 90 1 0 0 16 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22629] ppid=22611 vsize=15687032 CPUtime=1.01 cores=0,2,4,6
/proc/22613/task/22629/stat : 22629 (java) S 22611 22613 22550 0 -1 4202560 5308 0 0 0 101 0 0 0 15 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22630] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22630/stat : 22630 (java) S 22611 22613 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22631] ppid=22611 vsize=15687032 CPUtime=0 cores=0,2,4,6
/proc/22613/task/22631/stat : 22631 (java) S 22611 22613 22550 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 876121696 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708928 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
[pid=22613/tid=22636] ppid=22611 vsize=15687032 CPUtime=291.42 cores=0,2,4,6
/proc/22613/task/22636/stat : 22636 (java) S 22611 22613 22550 0 -1 4202560 69917 0 0 0 29124 18 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 0 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=15687032 CPUtime=289.96 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) S 22611 22613 22550 0 -1 4202560 74527 0 0 0 28982 14 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 6 0 0 0
[pid=22613/tid=22638] ppid=22611 vsize=15687032 CPUtime=291.39 cores=0,2,4,6
/proc/22613/task/22638/stat : 22638 (java) S 22611 22613 22550 0 -1 4202560 72548 0 0 0 29122 17 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 2 0 0 0
[pid=22613/tid=22639] ppid=22611 vsize=15687032 CPUtime=291.64 cores=0,2,4,6
/proc/22613/task/22639/stat : 22639 (java) S 22611 22613 22550 0 -1 4202560 78761 0 0 0 29146 18 0 0 15 0 22 0 876121776 16063520768 3821624 33554432000 1073741824 1073778376 140736971034384 18446744073709551615 232347708313 0 4 0 16800975 18446604453865500800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2193.76
Current children cumulated vsize (KiB) 15687032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22613
[startup+1302.3 s]
/proc/loadavg: 5.14 5.13 5.08 6/223 22750
/proc/meminfo: memFree=14887384/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=0 CPUtime=2196.31 cores=0,2,4,6
/proc/22613/stat : 22613 (java) Z 22611 22613 22550 0 -1 4203548 3881254 0 1 0 218886 745 0 0 18 0 2 0 876121691 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 0 0 0 0 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=0 CPUtime=290.33 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) R 22611 22613 22550 0 -1 4203588 74528 0 0 0 28990 43 0 0 16 0 2 0 876121776 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2196.31
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 5.14 5.13 5.08 6/223 22750
/proc/meminfo: memFree=14887384/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=0 CPUtime=2196.41 cores=0,2,4,6
/proc/22613/stat : 22613 (java) Z 22611 22613 22550 0 -1 4203548 3881254 0 1 0 218886 755 0 0 18 0 2 0 876121691 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 0 0 0 0 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=0 CPUtime=290.43 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) R 22611 22613 22550 0 -1 4203588 74528 0 0 0 28990 53 0 0 16 0 2 0 876121776 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2196.41
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 5.14 5.13 5.08 6/223 22750
/proc/meminfo: memFree=14887384/32951124 swapFree=67063272/67111528
[pid=22613] ppid=22611 vsize=0 CPUtime=2196.51 cores=0,2,4,6
/proc/22613/stat : 22613 (java) Z 22611 22613 22550 0 -1 4203548 3881254 0 1 0 218886 765 0 0 18 0 2 0 876121691 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22613/statm: 0 0 0 0 0 0 0
[pid=22613/tid=22637] ppid=22611 vsize=0 CPUtime=290.53 cores=0,2,4,6
/proc/22613/task/22637/stat : 22637 (java) R 22611 22613 22550 0 -1 4203588 74528 0 0 0 28990 63 0 0 16 0 2 0 876121776 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2196.51
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 2196.55
CPU user time (s): 2188.87
CPU system time (s): 7.68383
CPU usage (%): 168.636
Max. virtual memory (cumulated for all children) (KiB): 15692496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2188.87
system time used= 7.68383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3881254
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= 72543
involuntary context switches= 41480
runsolver used 2.00969 second user time and 5.15921 second system time
The end