runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311204-1304113991/watcher-3311204-1304113991 -o /tmp/evaluation-result-3311204-1304113991/solver-3311204-1304113991 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311204-1304113991.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: 7.74 7.93 7.35 5/198 3646
/proc/meminfo: memFree=29124896/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 1382 0 0 0 0 0 0 0 25 0 2 0 503814594 24580096 863 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 6014 870 667 9 0 381 0
[pid=3646/tid=3647] ppid=3644 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 2 0 503814594 26714112 885 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228095111877 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.0746389 s]
/proc/loadavg: 7.74 7.93 7.35 5/198 3646
/proc/meminfo: memFree=29124896/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15610072 CPUtime=0.06 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 4657 0 1 0 5 1 0 0 25 0 18 0 503814594 15984713728 4098 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3902518 4099 1939 9 0 3893237 0
[pid=3646/tid=3647] ppid=3644 vsize=15610072 CPUtime=0.06 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4202560 3033 0 1 0 5 1 0 0 22 0 18 0 503814594 15984713728 4099 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15610072
[startup+0.100635 s]
/proc/loadavg: 7.74 7.93 7.35 5/198 3646
/proc/meminfo: memFree=29124896/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15676056 CPUtime=0.1 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 5430 0 1 0 9 1 0 0 25 0 18 0 503814594 16052281344 4871 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3919014 4872 2116 9 0 3909733 0
[pid=3646/tid=3647] ppid=3644 vsize=15676056 CPUtime=0.08 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4202560 3389 0 1 0 7 1 0 0 22 0 18 0 503814594 16052281344 4872 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 47923403947939 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676056
[startup+0.300587 s]
/proc/loadavg: 7.74 7.93 7.35 5/198 3646
/proc/meminfo: memFree=29124896/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15679528 CPUtime=0.52 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 14860 0 1 0 49 3 0 0 25 0 18 0 503814594 16055836672 13340 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3919882 13346 2206 9 0 3910601 0
[pid=3646/tid=3647] ppid=3644 vsize=15679528 CPUtime=0.28 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4202560 9817 0 1 0 26 2 0 0 18 0 18 0 503814594 16055836672 13349 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 46912505639712 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679528
[startup+0.70053 s]
/proc/loadavg: 7.74 7.93 7.35 5/198 3646
/proc/meminfo: memFree=29124896/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15679528 CPUtime=0.92 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 41749 0 1 0 86 6 0 0 25 0 18 0 503814594 16055836672 40224 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3919882 40224 2222 9 0 3910601 0
[pid=3646/tid=3647] ppid=3644 vsize=15679528 CPUtime=0.68 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4202560 35515 0 1 0 62 6 0 0 18 0 18 0 503814594 16055836672 40224 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 46912505536236 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679528
[startup+1.50137 s]
/proc/loadavg: 7.74 7.93 7.35 6/220 3668
/proc/meminfo: memFree=28777632/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15691768 CPUtime=2.21 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 46496 0 1 0 214 7 0 0 25 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3922942 44113 2264 9 0 3913661 0
[pid=3646/tid=3647] ppid=3644 vsize=15691768 CPUtime=1.48 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4202560 35624 0 1 0 142 6 0 0 20 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 46912505652114 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3646/tid=3649] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3649/stat : 3649 (java) S 3644 3646 3438 0 -1 4202560 67 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3650] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3650/stat : 3650 (java) S 3644 3646 3438 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3651] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3651/stat : 3651 (java) S 3644 3646 3438 0 -1 4202560 677 0 0 0 0 0 0 0 16 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3652] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3652/stat : 3652 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3653] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3653/stat : 3653 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3654] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3654/stat : 3654 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3655] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3655/stat : 3655 (java) S 3644 3646 3438 0 -1 4202560 657 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3656] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3656/stat : 3656 (java) S 3644 3646 3438 0 -1 4202560 54 0 0 0 0 0 0 0 17 0 22 0 503814594 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3657] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3657/stat : 3657 (java) S 3644 3646 3438 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 22 0 503814595 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 0 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3658] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3658/stat : 3658 (java) S 3644 3646 3438 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503814596 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3659] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3659/stat : 3659 (java) S 3644 3646 3438 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503814596 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3660] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3660/stat : 3660 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503814598 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107274673 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3661] ppid=3644 vsize=15691768 CPUtime=0.38 cores=0,2,4,6
/proc/3646/task/3661/stat : 3661 (java) R 3644 3646 3438 0 -1 4202560 3234 0 0 0 38 0 0 0 15 0 22 0 503814598 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 47923404747246 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3646/tid=3662] ppid=3644 vsize=15691768 CPUtime=0.32 cores=0,2,4,6
/proc/3646/task/3662/stat : 3662 (java) S 3644 3646 3438 0 -1 4202560 4694 0 0 0 32 0 0 0 15 0 22 0 503814598 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3663] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3663/stat : 3663 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503814598 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3664] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3664/stat : 3664 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503814598 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3665] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3665/stat : 3665 (java) S 3644 3646 3438 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 503814681 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3666] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3666/stat : 3666 (java) S 3644 3646 3438 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 503814681 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3667] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3667/stat : 3667 (java) S 3644 3646 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 503814681 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3668] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3668/stat : 3668 (java) S 3644 3646 3438 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503814681 16068370432 44113 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 15691768
[startup+3.10508 s]
/proc/loadavg: 7.60 7.90 7.35 5/220 3668
/proc/meminfo: memFree=28466764/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15691768 CPUtime=5.79 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 79382 0 1 0 567 12 0 0 25 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3922942 76479 2275 9 0 3913661 0
[pid=3646/tid=3647] ppid=3644 vsize=15691768 CPUtime=2.06 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) S 3644 3646 3438 0 -1 4202560 35677 0 1 0 200 6 0 0 22 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3649] ppid=3644 vsize=15691768 CPUtime=0.01 cores=0,2,4,6
/proc/3646/task/3649/stat : 3649 (java) S 3644 3646 3438 0 -1 4202560 3479 0 0 0 1 0 0 0 15 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3650] ppid=3644 vsize=15691768 CPUtime=0.03 cores=0,2,4,6
/proc/3646/task/3650/stat : 3650 (java) S 3644 3646 3438 0 -1 4202560 7170 0 0 0 3 0 0 0 16 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3651] ppid=3644 vsize=15691768 CPUtime=0.04 cores=0,2,4,6
/proc/3646/task/3651/stat : 3651 (java) S 3644 3646 3438 0 -1 4202560 8891 0 0 0 3 1 0 0 16 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3652] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3652/stat : 3652 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3653] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3653/stat : 3653 (java) S 3644 3646 3438 0 -1 4202560 2380 0 0 0 0 0 0 0 16 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3654] ppid=3644 vsize=15691768 CPUtime=0.03 cores=0,2,4,6
/proc/3646/task/3654/stat : 3654 (java) S 3644 3646 3438 0 -1 4202560 4338 0 0 0 3 0 0 0 16 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3655] ppid=3644 vsize=15691768 CPUtime=0.03 cores=0,2,4,6
/proc/3646/task/3655/stat : 3655 (java) S 3644 3646 3438 0 -1 4202560 4291 0 0 0 3 0 0 0 16 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3656] ppid=3644 vsize=15691768 CPUtime=0.02 cores=0,2,4,6
/proc/3646/task/3656/stat : 3656 (java) S 3644 3646 3438 0 -1 4202560 3218 0 0 0 2 0 0 0 15 0 22 0 503814594 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3657] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3657/stat : 3657 (java) S 3644 3646 3438 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 22 0 503814595 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 0 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3658] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3658/stat : 3658 (java) S 3644 3646 3438 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503814596 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3659] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3659/stat : 3659 (java) S 3644 3646 3438 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503814596 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3660] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3660/stat : 3660 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503814598 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107274673 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3661] ppid=3644 vsize=15691768 CPUtime=0.77 cores=0,2,4,6
/proc/3646/task/3661/stat : 3661 (java) S 3644 3646 3438 0 -1 4202560 3593 0 0 0 77 0 0 0 15 0 22 0 503814598 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3662] ppid=3644 vsize=15691768 CPUtime=0.84 cores=0,2,4,6
/proc/3646/task/3662/stat : 3662 (java) S 3644 3646 3438 0 -1 4202560 4782 0 0 0 84 0 0 0 15 0 22 0 503814598 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3663] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3663/stat : 3663 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503814598 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3664] ppid=3644 vsize=15691768 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3664/stat : 3664 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503814598 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3665] ppid=3644 vsize=15691768 CPUtime=0.5 cores=0,2,4,6
/proc/3646/task/3665/stat : 3665 (java) R 3644 3646 3438 0 -1 4202560 26 0 0 0 50 0 0 0 15 0 22 0 503814681 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 46912506224466 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3646/tid=3666] ppid=3644 vsize=15691768 CPUtime=0.26 cores=0,2,4,6
/proc/3646/task/3666/stat : 3666 (java) S 3644 3646 3438 0 -1 4202560 13 0 0 0 26 0 0 0 15 0 22 0 503814681 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3667] ppid=3644 vsize=15691768 CPUtime=0.65 cores=0,2,4,6
/proc/3646/task/3667/stat : 3667 (java) S 3644 3646 3438 0 -1 4202560 13 0 0 0 65 0 0 0 15 0 22 0 503814681 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3668] ppid=3644 vsize=15691768 CPUtime=0.44 cores=0,2,4,6
/proc/3646/task/3668/stat : 3668 (java) R 3644 3646 3438 0 -1 4202560 8 0 0 0 44 0 0 0 15 0 22 0 503814681 16068370432 76479 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 47923407739017 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 15691768
[startup+6.30145 s]
/proc/loadavg: 7.60 7.90 7.35 10/220 3668
/proc/meminfo: memFree=27196172/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15691768 CPUtime=18.17 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 243529 0 1 0 1782 35 0 0 25 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3922942 239513 2275 9 0 3913661 0
[pid=3646/tid=3647] ppid=3644 vsize=15691768 CPUtime=2.06 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) S 3644 3646 3438 0 -1 4202560 35677 0 1 0 200 6 0 0 22 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3649] ppid=3644 vsize=15691768 CPUtime=0.02 cores=0,2,4,6
/proc/3646/task/3649/stat : 3649 (java) S 3644 3646 3438 0 -1 4202560 3852 0 0 0 2 0 0 0 15 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3650] ppid=3644 vsize=15691768 CPUtime=0.1 cores=0,2,4,6
/proc/3646/task/3650/stat : 3650 (java) S 3644 3646 3438 0 -1 4202560 19075 0 0 0 8 2 0 0 15 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3651] ppid=3644 vsize=15691768 CPUtime=0.15 cores=0,2,4,6
/proc/3646/task/3651/stat : 3651 (java) S 3644 3646 3438 0 -1 4202560 28514 0 0 0 11 4 0 0 15 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3652] ppid=3644 vsize=15691768 CPUtime=0.14 cores=0,2,4,6
/proc/3646/task/3652/stat : 3652 (java) S 3644 3646 3438 0 -1 4202560 23002 0 0 0 11 3 0 0 16 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3653] ppid=3644 vsize=15691768 CPUtime=0.11 cores=0,2,4,6
/proc/3646/task/3653/stat : 3653 (java) S 3644 3646 3438 0 -1 4202560 20801 0 0 0 8 3 0 0 15 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3654] ppid=3644 vsize=15691768 CPUtime=0.13 cores=0,2,4,6
/proc/3646/task/3654/stat : 3654 (java) S 3644 3646 3438 0 -1 4202560 23440 0 0 0 10 3 0 0 15 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3655] ppid=3644 vsize=15691768 CPUtime=0.12 cores=0,2,4,6
/proc/3646/task/3655/stat : 3655 (java) S 3644 3646 3438 0 -1 4202560 20257 0 0 0 10 2 0 0 16 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3656] ppid=3644 vsize=15691768 CPUtime=0.11 cores=0,2,4,6
/proc/3646/task/3656/stat : 3656 (java) S 3644 3646 3438 0 -1 4202560 21435 0 0 0 8 3 0 0 15 0 22 0 503814594 16068370432 239513 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=3646/tid=3658] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3658/stat : 3658 (java) S 3644 3646 3438 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 503814596 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3659] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3659/stat : 3659 (java) S 3644 3646 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 503814596 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3660] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3660/stat : 3660 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107274673 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3661] ppid=3644 vsize=15688220 CPUtime=0.79 cores=0,2,4,6
/proc/3646/task/3661/stat : 3661 (java) S 3644 3646 3438 0 -1 4202560 3595 0 0 0 79 0 0 0 16 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3662] ppid=3644 vsize=15688220 CPUtime=1.12 cores=0,2,4,6
/proc/3646/task/3662/stat : 3662 (java) S 3644 3646 3438 0 -1 4202560 4810 0 0 0 112 0 0 0 15 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3663] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3663/stat : 3663 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3664] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3664/stat : 3664 (java) S 3644 3646 3438 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3665] ppid=3644 vsize=15688220 CPUtime=296.69 cores=0,2,4,6
/proc/3646/task/3665/stat : 3665 (java) S 3644 3646 3438 0 -1 4202560 57385 0 0 0 29657 12 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3666] ppid=3644 vsize=15688220 CPUtime=296.42 cores=0,2,4,6
/proc/3646/task/3666/stat : 3666 (java) S 3644 3646 3438 0 -1 4202560 65880 0 0 0 29626 16 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3667] ppid=3644 vsize=15688220 CPUtime=295.39 cores=0,2,4,6
/proc/3646/task/3667/stat : 3667 (java) S 3644 3646 3438 0 -1 4202560 44916 0 0 0 29527 12 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3668] ppid=3644 vsize=15688220 CPUtime=296.91 cores=0,2,4,6
/proc/3646/task/3668/stat : 3668 (java) S 3644 3646 3438 0 -1 4202560 74613 0 0 0 29674 17 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2089.82
Current children cumulated vsize (KiB) 15688220
[startup+1242.3 s]
/proc/loadavg: 5.15 5.23 5.97 6/220 3761
/proc/meminfo: memFree=11316664/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15688220 CPUtime=2150.58 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 3900319 0 1 0 214331 727 0 0 25 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3922055 3841328 2294 9 0 3912774 0
[pid=3646/tid=3647] ppid=3644 vsize=15688220 CPUtime=2.06 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) S 3644 3646 3438 0 -1 4202560 35677 0 1 0 200 6 0 0 22 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3649] ppid=3644 vsize=15688220 CPUtime=2.59 cores=0,2,4,6
/proc/3646/task/3649/stat : 3649 (java) S 3644 3646 3438 0 -1 4202560 335650 0 0 0 200 59 0 0 15 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3650] ppid=3644 vsize=15688220 CPUtime=3.5 cores=0,2,4,6
/proc/3646/task/3650/stat : 3650 (java) S 3644 3646 3438 0 -1 4202560 361866 0 0 0 289 61 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3651] ppid=3644 vsize=15688220 CPUtime=2.75 cores=0,2,4,6
/proc/3646/task/3651/stat : 3651 (java) S 3644 3646 3438 0 -1 4202560 373193 0 0 0 211 64 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3652] ppid=3644 vsize=15688220 CPUtime=2.45 cores=0,2,4,6
/proc/3646/task/3652/stat : 3652 (java) S 3644 3646 3438 0 -1 4202560 315921 0 0 0 190 55 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3653] ppid=3644 vsize=15688220 CPUtime=2.77 cores=0,2,4,6
/proc/3646/task/3653/stat : 3653 (java) S 3644 3646 3438 0 -1 4202560 333979 0 0 0 216 61 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3654] ppid=3644 vsize=15688220 CPUtime=3.32 cores=0,2,4,6
/proc/3646/task/3654/stat : 3654 (java) S 3644 3646 3438 0 -1 4202560 421853 0 0 0 259 73 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3655] ppid=3644 vsize=15688220 CPUtime=3.64 cores=0,2,4,6
/proc/3646/task/3655/stat : 3655 (java) S 3644 3646 3438 0 -1 4202560 453566 0 0 0 287 77 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3656] ppid=3644 vsize=15688220 CPUtime=2.81 cores=0,2,4,6
/proc/3646/task/3656/stat : 3656 (java) S 3644 3646 3438 0 -1 4202560 375906 0 0 0 217 64 0 0 16 0 22 0 503814594 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3657] ppid=3644 vsize=15688220 CPUtime=936.16 cores=0,2,4,6
/proc/3646/task/3657/stat : 3657 (java) R 3644 3646 3438 0 -1 4202560 639562 0 0 0 93478 138 0 0 18 0 22 0 503814595 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 47923406774624 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=3646/tid=3658] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3658/stat : 3658 (java) S 3644 3646 3438 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 503814596 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3659] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3659/stat : 3659 (java) S 3644 3646 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 503814596 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3660] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3660/stat : 3660 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107274673 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3661] ppid=3644 vsize=15688220 CPUtime=0.79 cores=0,2,4,6
/proc/3646/task/3661/stat : 3661 (java) S 3644 3646 3438 0 -1 4202560 3595 0 0 0 79 0 0 0 16 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3662] ppid=3644 vsize=15688220 CPUtime=1.12 cores=0,2,4,6
/proc/3646/task/3662/stat : 3662 (java) S 3644 3646 3438 0 -1 4202560 4810 0 0 0 112 0 0 0 15 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3663] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3663/stat : 3663 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3664] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3664/stat : 3664 (java) S 3644 3646 3438 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 503814598 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3665] ppid=3644 vsize=15688220 CPUtime=296.95 cores=0,2,4,6
/proc/3646/task/3665/stat : 3665 (java) S 3644 3646 3438 0 -1 4202560 57503 0 0 0 29682 13 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3666] ppid=3644 vsize=15688220 CPUtime=296.7 cores=0,2,4,6
/proc/3646/task/3666/stat : 3666 (java) S 3644 3646 3438 0 -1 4202560 65898 0 0 0 29653 17 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3667] ppid=3644 vsize=15688220 CPUtime=295.63 cores=0,2,4,6
/proc/3646/task/3667/stat : 3667 (java) S 3644 3646 3438 0 -1 4202560 45057 0 0 0 29551 12 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3668] ppid=3644 vsize=15688220 CPUtime=297.17 cores=0,2,4,6
/proc/3646/task/3668/stat : 3668 (java) S 3644 3646 3438 0 -1 4202560 74827 0 0 0 29699 18 0 0 15 0 22 0 503814681 16064737280 3841328 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2150.58
Current children cumulated vsize (KiB) 15688220
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.06 5.19 5.91 6/219 3762
/proc/meminfo: memFree=12023732/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=15688220 CPUtime=2212.03 cores=0,2,4,6
/proc/3646/stat : 3646 (java) S 3644 3646 3438 0 -1 4202496 3900849 0 1 0 220468 735 0 0 25 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3646/statm: 3922055 3841329 2295 9 0 3912774 0
[pid=3646/tid=3647] ppid=3644 vsize=15688220 CPUtime=2.06 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) S 3644 3646 3438 0 -1 4202560 35677 0 1 0 200 6 0 0 22 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3649] ppid=3644 vsize=15688220 CPUtime=2.59 cores=0,2,4,6
/proc/3646/task/3649/stat : 3649 (java) S 3644 3646 3438 0 -1 4202560 335650 0 0 0 200 59 0 0 15 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3650] ppid=3644 vsize=15688220 CPUtime=3.5 cores=0,2,4,6
/proc/3646/task/3650/stat : 3650 (java) S 3644 3646 3438 0 -1 4202560 361866 0 0 0 289 61 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3651] ppid=3644 vsize=15688220 CPUtime=2.75 cores=0,2,4,6
/proc/3646/task/3651/stat : 3651 (java) S 3644 3646 3438 0 -1 4202560 373193 0 0 0 211 64 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3652] ppid=3644 vsize=15688220 CPUtime=2.45 cores=0,2,4,6
/proc/3646/task/3652/stat : 3652 (java) S 3644 3646 3438 0 -1 4202560 315921 0 0 0 190 55 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3653] ppid=3644 vsize=15688220 CPUtime=2.77 cores=0,2,4,6
/proc/3646/task/3653/stat : 3653 (java) S 3644 3646 3438 0 -1 4202560 333979 0 0 0 216 61 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3654] ppid=3644 vsize=15688220 CPUtime=3.32 cores=0,2,4,6
/proc/3646/task/3654/stat : 3654 (java) S 3644 3646 3438 0 -1 4202560 421853 0 0 0 259 73 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3655] ppid=3644 vsize=15688220 CPUtime=3.64 cores=0,2,4,6
/proc/3646/task/3655/stat : 3655 (java) S 3644 3646 3438 0 -1 4202560 453566 0 0 0 287 77 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3656] ppid=3644 vsize=15688220 CPUtime=2.81 cores=0,2,4,6
/proc/3646/task/3656/stat : 3656 (java) S 3644 3646 3438 0 -1 4202560 375906 0 0 0 217 64 0 0 16 0 21 0 503814594 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3657] ppid=3644 vsize=15688220 CPUtime=991.91 cores=0,2,4,6
/proc/3646/task/3657/stat : 3657 (java) R 3644 3646 3438 0 -1 4202560 639566 0 0 0 99046 145 0 0 18 0 21 0 503814595 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 47923404788061 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=3646/tid=3658] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3658/stat : 3658 (java) S 3644 3646 3438 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 503814596 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3659] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3659/stat : 3659 (java) S 3644 3646 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 503814596 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3660] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3660/stat : 3660 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 503814598 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107274673 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3661] ppid=3644 vsize=15688220 CPUtime=0.79 cores=0,2,4,6
/proc/3646/task/3661/stat : 3661 (java) S 3644 3646 3438 0 -1 4202560 3595 0 0 0 79 0 0 0 16 0 21 0 503814598 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3662] ppid=3644 vsize=15688220 CPUtime=1.12 cores=0,2,4,6
/proc/3646/task/3662/stat : 3662 (java) S 3644 3646 3438 0 -1 4202560 4810 0 0 0 112 0 0 0 15 0 21 0 503814598 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 6 0 0 0
[pid=3646/tid=3663] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3663/stat : 3663 (java) S 3644 3646 3438 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 503814598 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
[pid=3646/tid=3664] ppid=3644 vsize=15688220 CPUtime=0 cores=0,2,4,6
/proc/3646/task/3664/stat : 3664 (java) S 3644 3646 3438 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 21 0 503814598 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3665] ppid=3644 vsize=15688220 CPUtime=298.86 cores=0,2,4,6
/proc/3646/task/3665/stat : 3665 (java) S 3644 3646 3438 0 -1 4202560 57546 0 0 0 29873 13 0 0 15 0 21 0 503814681 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 2 0 0 0
[pid=3646/tid=3666] ppid=3644 vsize=15688220 CPUtime=298.59 cores=0,2,4,6
/proc/3646/task/3666/stat : 3666 (java) S 3644 3646 3438 0 -1 4202560 65971 0 0 0 29841 18 0 0 15 0 21 0 503814681 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107267584 0 4 0 16800975 18446604453946692736 0 0 -1 0 0 0 0
[pid=3646/tid=3667] ppid=3644 vsize=15688220 CPUtime=297.54 cores=0,2,4,6
/proc/3646/task/3667/stat : 3667 (java) S 3644 3646 3438 0 -1 4202560 45460 0 0 0 29741 13 0 0 15 0 21 0 503814681 16064737280 3841329 33554432000 1073741824 1073778376 140735431075728 18446744073709551615 228107266969 0 4 0 16800975 18446604453946692736 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2212.03
Current children cumulated vsize (KiB) 15688220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3646
[startup+1302.3 s]
/proc/loadavg: 5.06 5.19 5.91 6/220 3763
/proc/meminfo: memFree=12045184/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=0 CPUtime=2214.33 cores=0,2,4,6
/proc/3646/stat : 3646 (java) Z 3644 3646 3438 0 -1 4203548 3900878 0 1 0 220669 764 0 0 18 0 2 0 503814594 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3646/statm: 0 0 0 0 0 0 0
[pid=3646/tid=3647] ppid=3644 vsize=0 CPUtime=2.34 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4203588 35677 0 1 0 200 34 0 0 18 0 2 0 503814594 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2214.33
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.51 s]
/proc/loadavg: 5.05 5.19 5.91 6/200 3763
/proc/meminfo: memFree=22285372/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=0 CPUtime=2214.53 cores=0,2,4,6
/proc/3646/stat : 3646 (java) Z 3644 3646 3438 0 -1 4203548 3900878 0 1 0 220669 784 0 0 18 0 2 0 503814594 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3646/statm: 0 0 0 0 0 0 0
[pid=3646/tid=3647] ppid=3644 vsize=0 CPUtime=2.54 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4203588 35677 0 1 0 200 54 0 0 18 0 2 0 503814594 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2214.53
Current children cumulated vsize (KiB) 0
[startup+1302.6 s]
/proc/loadavg: 5.05 5.19 5.91 6/200 3763
/proc/meminfo: memFree=22285372/32951124 swapFree=67111348/67111528
[pid=3646] ppid=3644 vsize=0 CPUtime=2214.63 cores=0,2,4,6
/proc/3646/stat : 3646 (java) Z 3644 3646 3438 0 -1 4203548 3900878 0 1 0 220669 794 0 0 18 0 2 0 503814594 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3646/statm: 0 0 0 0 0 0 0
[pid=3646/tid=3647] ppid=3644 vsize=0 CPUtime=2.64 cores=0,2,4,6
/proc/3646/task/3647/stat : 3647 (java) R 3644 3646 3438 0 -1 4203588 35677 0 1 0 200 64 0 0 18 0 2 0 503814594 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2214.63
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.62
CPU time (s): 2214.65
CPU user time (s): 2206.69
CPU system time (s): 7.96279
CPU usage (%): 170.015
Max. virtual memory (cumulated for all children) (KiB): 15691768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2206.69
system time used= 7.96279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3900878
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= 79115
involuntary context switches= 31821
runsolver used 2.09568 second user time and 5.06523 second system time
The end