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-3457513-1307223061/watcher-3457513-1307223061 -o /tmp/evaluation-result-3457513-1307223061/solver-3457513-1307223061 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457513-1307223061.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.10 2.07 2/539 5654
/proc/meminfo: memFree=18684336/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 1371 0 1 0 0 0 0 0 22 0 2 0 814721547 37810176 1073 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 9231 1073 833 9 0 387 0
[pid=5654/tid=5655] ppid=5652 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 7639 0 1 0 0 0 0 0 25 0 2 0 814721547 10694979584 8455 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.021991 s]
/proc/loadavg: 2.23 2.10 2.07 2/539 5654
/proc/meminfo: memFree=18684336/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 9953 0 1 0 0 1 0 0 22 0 10 0 814721547 10703900672 9654 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2613257 9654 952 9 0 2604413 0
[pid=5654/tid=5655] ppid=5652 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 8831 0 1 0 0 0 0 0 25 0 10 0 814721547 10703900672 9655 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 47157135410573 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.10102 s]
/proc/loadavg: 2.23 2.10 2.07 2/539 5654
/proc/meminfo: memFree=18684336/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10540244 CPUtime=0.1 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 13156 0 1 0 9 1 0 0 22 0 18 0 814721547 10793209856 12814 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2635061 12814 2092 9 0 2625795 0
[pid=5654/tid=5655] ppid=5652 vsize=10540244 CPUtime=0.09 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 11200 0 1 0 8 1 0 0 18 0 18 0 814721547 10793209856 12814 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 47157131173893 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540244
[startup+0.30448 s]
/proc/loadavg: 2.23 2.10 2.07 2/539 5654
/proc/meminfo: memFree=18684336/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10544820 CPUtime=0.54 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 18015 0 1 0 52 2 0 0 22 0 19 0 814721547 10797895680 17061 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2636205 17061 2210 9 0 2626939 0
[pid=5654/tid=5655] ppid=5652 vsize=10544820 CPUtime=0.29 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 13949 0 1 0 28 1 0 0 19 0 19 0 814721547 10797895680 17062 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 47157135674164 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10544820
[startup+0.725893 s]
/proc/loadavg: 2.23 2.10 2.07 2/539 5654
/proc/meminfo: memFree=18684336/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10555804 CPUtime=1.62 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 50796 0 1 0 157 5 0 0 22 0 19 0 814721547 10809143296 47995 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638951 47999 2223 9 0 2629685 0
[pid=5654/tid=5655] ppid=5652 vsize=10555804 CPUtime=0.71 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 38777 0 1 0 68 3 0 0 19 0 19 0 814721547 10809143296 48001 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505627871 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10555804
[startup+1.50076 s]
/proc/loadavg: 2.23 2.10 2.07 3/558 5673
/proc/meminfo: memFree=18296720/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10555804 CPUtime=2.66 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 130892 0 1 0 252 14 0 0 22 0 19 0 814721547 10809143296 128091 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638951 128097 2226 9 0 2629685 0
[pid=5654/tid=5655] ppid=5652 vsize=10555804 CPUtime=1.48 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 118843 0 1 0 136 12 0 0 21 0 19 0 814721547 10809143296 128100 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505564685 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5654/tid=5657] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5657/stat : 5657 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128104 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5658] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5658/stat : 5658 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128108 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5659] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5659/stat : 5659 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128112 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5660] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5660/stat : 5660 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128115 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5661] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5661/stat : 5661 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128118 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5662] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5662/stat : 5662 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128122 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5663] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5663/stat : 5663 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128125 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5664] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5664/stat : 5664 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 128129 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5665] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5665/stat : 5665 (java) S 5652 5654 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814721550 10809143296 128132 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 0 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5666] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5666/stat : 5666 (java) S 5652 5654 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814721551 10809143296 128135 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5667] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814721551 10809143296 128139 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10809143296 128142 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10555804 CPUtime=0.61 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5179 0 0 0 61 0 0 0 15 0 19 0 814721553 10809143296 128145 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10555804 CPUtime=0.53 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5719 0 0 0 53 0 0 0 15 0 19 0 814721553 10809143296 128148 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5671] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5671/stat : 5671 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10809143296 128152 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5672] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5672/stat : 5672 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814721553 10809143296 128155 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814721566 10809143296 128158 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10555804
[startup+3.10146 s]
/proc/loadavg: 2.21 2.09 2.07 3/558 5673
/proc/meminfo: memFree=17890496/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10555804 CPUtime=4.31 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 265771 0 1 0 400 31 0 0 22 0 19 0 814721547 10809143296 262968 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638951 262970 2226 9 0 2629685 0
[pid=5654/tid=5655] ppid=5652 vsize=10555804 CPUtime=3.09 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 253707 0 1 0 280 29 0 0 25 0 19 0 814721547 10809143296 262971 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505574444 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5654/tid=5657] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5657/stat : 5657 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262973 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5658] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5658/stat : 5658 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262974 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5659] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5659/stat : 5659 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262976 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5660] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5660/stat : 5660 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262977 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5661] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5661/stat : 5661 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262979 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5662] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5662/stat : 5662 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262980 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5663] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5663/stat : 5663 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262982 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5664] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5664/stat : 5664 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10809143296 262983 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5665] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5665/stat : 5665 (java) S 5652 5654 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814721550 10809143296 262985 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 0 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5666] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5666/stat : 5666 (java) S 5652 5654 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814721551 10809143296 262986 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5667] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814721551 10809143296 262988 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10809143296 262989 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10555804 CPUtime=0.66 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5187 0 0 0 66 0 0 0 15 0 19 0 814721553 10809143296 262991 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10555804 CPUtime=0.53 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5719 0 0 0 53 0 0 0 15 0 19 0 814721553 10809143296 262992 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5671] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5671/stat : 5671 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10809143296 262994 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5672] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5672/stat : 5672 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814721553 10809143296 262995 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=10555804 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814721566 10809143296 262997 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10555804
[startup+6.30087 s]
/proc/loadavg: 2.21 2.09 2.07 4/558 5673
/proc/meminfo: memFree=16866344/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10553384 CPUtime=7.51 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 508579 0 1 0 694 57 0 0 22 0 19 0 814721547 10806665216 505203 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638346 505206 2227 9 0 2629080 0
[pid=5654/tid=5655] ppid=5652 vsize=10553384 CPUtime=6.28 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 496516 0 1 0 573 55 0 0 25 0 19 0 814721547 10806665216 505207 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505627352 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5654/tid=5657] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5657/stat : 5657 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505209 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5658] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5658/stat : 5658 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505211 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5659] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5659/stat : 5659 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505213 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5660] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5660/stat : 5660 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505214 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5661] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5661/stat : 5661 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505216 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5662] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5662/stat : 5662 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505218 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5663] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5663/stat : 5663 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505218 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5664] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5664/stat : 5664 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721549 10806665216 505219 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5665] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5665/stat : 5665 (java) S 5652 5654 4768 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814721550 10806665216 505220 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 0 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5666] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5666/stat : 5666 (java) S 5652 5654 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814721551 10806665216 505220 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5667] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814721551 10806665216 505221 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 505222 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10553384 CPUtime=0.66 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5187 0 0 0 66 0 0 0 15 0 19 0 814721553 10806665216 505223 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10553384 CPUtime=0.53 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5719 0 0 0 53 0 0 0 15 0 19 0 814721553 10806665216 505224 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10553384 CPUtime=0.69 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5195 0 0 0 69 0 0 0 15 0 19 0 814721553 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10553384 CPUtime=0.63 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5739 0 0 0 63 0 0 0 15 0 19 0 814721553 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5671] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5671/stat : 5671 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5672] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5672/stat : 5672 (java) S 5652 5654 4768 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814721553 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814721566 10806665216 917808 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.51
Current children cumulated vsize (KiB) 10553384
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/558 5719
/proc/meminfo: memFree=13768520/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10553384 CPUtime=1725.55 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 923716 0 1 0 172445 110 0 0 22 0 19 0 814721547 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638346 918575 2257 9 0 2629080 0
[pid=5654/tid=5655] ppid=5652 vsize=10553384 CPUtime=1721.13 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 843561 0 1 0 172017 96 0 0 25 0 19 0 814721547 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505904804 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5654/tid=5657] ppid=5652 vsize=10553384 CPUtime=0.37 cores=1,3,5,7
/proc/5654/task/5657/stat : 5657 (java) S 5652 5654 4768 0 -1 4202560 10023 0 0 0 36 1 0 0 15 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5658] ppid=5652 vsize=10553384 CPUtime=0.29 cores=1,3,5,7
/proc/5654/task/5658/stat : 5658 (java) S 5652 5654 4768 0 -1 4202560 5912 0 0 0 28 1 0 0 16 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5659] ppid=5652 vsize=10553384 CPUtime=0.44 cores=1,3,5,7
/proc/5654/task/5659/stat : 5659 (java) S 5652 5654 4768 0 -1 4202560 11128 0 0 0 43 1 0 0 15 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5660] ppid=5652 vsize=10553384 CPUtime=0.33 cores=1,3,5,7
/proc/5654/task/5660/stat : 5660 (java) S 5652 5654 4768 0 -1 4202560 5855 0 0 0 33 0 0 0 15 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5661] ppid=5652 vsize=10553384 CPUtime=0.31 cores=1,3,5,7
/proc/5654/task/5661/stat : 5661 (java) S 5652 5654 4768 0 -1 4202560 6150 0 0 0 31 0 0 0 15 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5662] ppid=5652 vsize=10553384 CPUtime=0.37 cores=1,3,5,7
/proc/5654/task/5662/stat : 5662 (java) S 5652 5654 4768 0 -1 4202560 10254 0 0 0 35 2 0 0 16 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5663] ppid=5652 vsize=10553384 CPUtime=0.31 cores=1,3,5,7
/proc/5654/task/5663/stat : 5663 (java) S 5652 5654 4768 0 -1 4202560 7720 0 0 0 30 1 0 0 16 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5664] ppid=5652 vsize=10553384 CPUtime=0.35 cores=1,3,5,7
/proc/5654/task/5664/stat : 5664 (java) S 5652 5654 4768 0 -1 4202560 10489 0 0 0 34 1 0 0 15 0 19 0 814721549 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5665] ppid=5652 vsize=10553384 CPUtime=0.2 cores=1,3,5,7
/proc/5654/task/5665/stat : 5665 (java) S 5652 5654 4768 0 -1 4202560 440 0 0 0 19 1 0 0 15 0 19 0 814721550 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 0 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5666] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5666/stat : 5666 (java) S 5652 5654 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5667] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10553384 CPUtime=0.69 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5195 0 0 0 69 0 0 0 15 0 19 0 814721553 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10553384 CPUtime=0.63 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5739 0 0 0 63 0 0 0 15 0 19 0 814721553 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5671] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5671/stat : 5671 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5672] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5672/stat : 5672 (java) S 5652 5654 4768 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814721553 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814721566 10806665216 918575 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.55
Current children cumulated vsize (KiB) 10553384
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/558 5721
/proc/meminfo: memFree=13751092/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10553384 CPUtime=1785.63 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 924894 0 1 0 178452 111 0 0 22 0 19 0 814721547 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638346 919699 2257 9 0 2629080 0
[pid=5654/tid=5655] ppid=5652 vsize=10553384 CPUtime=1781.09 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 843565 0 1 0 178013 96 0 0 25 0 19 0 814721547 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505543034 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5654/tid=5657] ppid=5652 vsize=10553384 CPUtime=0.39 cores=1,3,5,7
/proc/5654/task/5657/stat : 5657 (java) S 5652 5654 4768 0 -1 4202560 10135 0 0 0 38 1 0 0 15 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5658] ppid=5652 vsize=10553384 CPUtime=0.3 cores=1,3,5,7
/proc/5654/task/5658/stat : 5658 (java) S 5652 5654 4768 0 -1 4202560 6000 0 0 0 29 1 0 0 16 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5659] ppid=5652 vsize=10553384 CPUtime=0.45 cores=1,3,5,7
/proc/5654/task/5659/stat : 5659 (java) S 5652 5654 4768 0 -1 4202560 11264 0 0 0 44 1 0 0 15 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5660] ppid=5652 vsize=10553384 CPUtime=0.35 cores=1,3,5,7
/proc/5654/task/5660/stat : 5660 (java) S 5652 5654 4768 0 -1 4202560 6227 0 0 0 35 0 0 0 15 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5661] ppid=5652 vsize=10553384 CPUtime=0.33 cores=1,3,5,7
/proc/5654/task/5661/stat : 5661 (java) S 5652 5654 4768 0 -1 4202560 6316 0 0 0 33 0 0 0 16 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5662] ppid=5652 vsize=10553384 CPUtime=0.37 cores=1,3,5,7
/proc/5654/task/5662/stat : 5662 (java) S 5652 5654 4768 0 -1 4202560 10254 0 0 0 35 2 0 0 15 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5663] ppid=5652 vsize=10553384 CPUtime=0.32 cores=1,3,5,7
/proc/5654/task/5663/stat : 5663 (java) S 5652 5654 4768 0 -1 4202560 7840 0 0 0 31 1 0 0 15 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5664] ppid=5652 vsize=10553384 CPUtime=0.37 cores=1,3,5,7
/proc/5654/task/5664/stat : 5664 (java) S 5652 5654 4768 0 -1 4202560 10660 0 0 0 36 1 0 0 15 0 19 0 814721549 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5665] ppid=5652 vsize=10553384 CPUtime=0.2 cores=1,3,5,7
/proc/5654/task/5665/stat : 5665 (java) S 5652 5654 4768 0 -1 4202560 444 0 0 0 19 1 0 0 15 0 19 0 814721550 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 0 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5666] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5666/stat : 5666 (java) S 5652 5654 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5667] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10553384 CPUtime=0.69 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5195 0 0 0 69 0 0 0 15 0 19 0 814721553 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10553384 CPUtime=0.63 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5740 0 0 0 63 0 0 0 15 0 19 0 814721553 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5671] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5671/stat : 5671 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5672] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5672/stat : 5672 (java) S 5652 5654 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814721553 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814721566 10806665216 919699 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 10553384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.04 2.03 2.00 3/537 5727
/proc/meminfo: memFree=17645568/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=10553384 CPUtime=1800.05 cores=1,3,5,7
/proc/5654/stat : 5654 (java) S 5652 5654 4768 0 -1 4202496 925089 0 1 0 179894 111 0 0 22 0 19 0 814721547 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 2638346 919893 2257 9 0 2629080 0
[pid=5654/tid=5655] ppid=5652 vsize=10553384 CPUtime=1795.49 cores=1,3,5,7
/proc/5654/task/5655/stat : 5655 (java) R 5652 5654 4768 0 -1 4202560 843566 0 1 0 179453 96 0 0 25 0 19 0 814721547 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 46912505596152 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5654/tid=5657] ppid=5652 vsize=10553384 CPUtime=0.39 cores=1,3,5,7
/proc/5654/task/5657/stat : 5657 (java) S 5652 5654 4768 0 -1 4202560 10135 0 0 0 38 1 0 0 15 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5658] ppid=5652 vsize=10553384 CPUtime=0.3 cores=1,3,5,7
/proc/5654/task/5658/stat : 5658 (java) S 5652 5654 4768 0 -1 4202560 6000 0 0 0 29 1 0 0 15 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5659] ppid=5652 vsize=10553384 CPUtime=0.45 cores=1,3,5,7
/proc/5654/task/5659/stat : 5659 (java) S 5652 5654 4768 0 -1 4202560 11264 0 0 0 44 1 0 0 15 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5660] ppid=5652 vsize=10553384 CPUtime=0.36 cores=1,3,5,7
/proc/5654/task/5660/stat : 5660 (java) S 5652 5654 4768 0 -1 4202560 6243 0 0 0 36 0 0 0 16 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5661] ppid=5652 vsize=10553384 CPUtime=0.33 cores=1,3,5,7
/proc/5654/task/5661/stat : 5661 (java) S 5652 5654 4768 0 -1 4202560 6316 0 0 0 33 0 0 0 15 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
[pid=5654/tid=5662] ppid=5652 vsize=10553384 CPUtime=0.37 cores=1,3,5,7
/proc/5654/task/5662/stat : 5662 (java) S 5652 5654 4768 0 -1 4202560 10254 0 0 0 35 2 0 0 15 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5663] ppid=5652 vsize=10553384 CPUtime=0.34 cores=1,3,5,7
/proc/5654/task/5663/stat : 5663 (java) S 5652 5654 4768 0 -1 4202560 8018 0 0 0 33 1 0 0 16 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5664] ppid=5652 vsize=10553384 CPUtime=0.37 cores=1,3,5,7
/proc/5654/task/5664/stat : 5664 (java) S 5652 5654 4768 0 -1 4202560 10660 0 0 0 36 1 0 0 15 0 19 0 814721549 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5665] ppid=5652 vsize=10553384 CPUtime=0.2 cores=1,3,5,7
/proc/5654/task/5665/stat : 5665 (java) S 5652 5654 4768 0 -1 4202560 444 0 0 0 19 1 0 0 15 0 19 0 814721550 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 0 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5666] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5666/stat : 5666 (java) S 5652 5654 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5667] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5667/stat : 5667 (java) S 5652 5654 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814721551 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5668] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5668/stat : 5668 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107274673 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5669] ppid=5652 vsize=10553384 CPUtime=0.69 cores=1,3,5,7
/proc/5654/task/5669/stat : 5669 (java) S 5652 5654 4768 0 -1 4202560 5195 0 0 0 69 0 0 0 15 0 19 0 814721553 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 3 0 0 0
[pid=5654/tid=5670] ppid=5652 vsize=10553384 CPUtime=0.63 cores=1,3,5,7
/proc/5654/task/5670/stat : 5670 (java) S 5652 5654 4768 0 -1 4202560 5740 0 0 0 63 0 0 0 15 0 19 0 814721553 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 5 0 0 0
[pid=5654/tid=5671] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5671/stat : 5671 (java) S 5652 5654 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814721553 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107266969 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5672] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5672/stat : 5672 (java) S 5652 5654 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814721553 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 1 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=10553384 CPUtime=0 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) S 5652 5654 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814721566 10806665216 919893 33554432000 1073741824 1073778376 140737405095376 18446744073709551615 228107267584 0 4 0 16800975 18446604455810790592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10553384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.83 s]
/proc/loadavg: 2.04 2.03 2.00 3/537 5727
/proc/meminfo: memFree=17645568/32951124 swapFree=58800704/67111528
[pid=5654] ppid=5652 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/5654/stat : 5654 (java) Z 5652 5654 4768 0 -1 4203548 925118 0 1 0 179897 120 0 0 17 0 2 0 814721547 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5654/statm: 0 0 0 0 0 0 0
[pid=5654/tid=5673] ppid=5652 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/5654/task/5673/stat : 5673 (java) R 5652 5654 4768 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 814721566 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.88
CPU time (s): 1800.23
CPU user time (s): 1798.98
CPU system time (s): 1.25281
CPU usage (%): 100.187
Max. virtual memory (cumulated for all children) (KiB): 10555804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.25281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925118
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= 40122
involuntary context switches= 7642
runsolver used 9.00763 second user time and 22.0976 second system time
The end