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-3456393-1307647646/watcher-3456393-1307647646 -o /tmp/evaluation-result-3456393-1307647646/solver-3456393-1307647646 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456393-1307647646.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 25134
/proc/meminfo: memFree=28430596/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/25134/stat : 25134 (java) R 25132 25134 23633 0 -1 4202496 904 0 0 0 0 0 0 0 17 0 1 0 954995074 23580672 648 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252453103360 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25134/statm: 5757 657 483 9 0 124 0
[startup+0.0269209 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 25134
/proc/meminfo: memFree=28430596/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10454660 CPUtime=0.01 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 10119 0 1 0 0 1 0 0 17 0 10 0 954995074 10705571840 9818 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2613717 9830 1061 9 0 2604465 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454660
[startup+0.104894 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 25134
/proc/meminfo: memFree=28430596/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10540272 CPUtime=0.09 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 13068 0 1 0 8 1 0 0 17 0 18 0 954995074 10793238528 12761 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2635068 12762 2092 9 0 2625802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540272
[startup+0.300809 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 25134
/proc/meminfo: memFree=28430596/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10541812 CPUtime=0.47 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 20155 0 1 0 45 2 0 0 17 0 18 0 954995074 10794815488 19308 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2635453 19308 2199 9 0 2626187 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541812
[startup+0.700723 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 25134
/proc/meminfo: memFree=28430596/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10542760 CPUtime=1.02 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 51810 0 1 0 96 6 0 0 17 0 18 0 954995074 10795786240 50603 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2635690 50607 2204 9 0 2626424 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10542760
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/210 25152
/proc/meminfo: memFree=28132124/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10544060 CPUtime=2.12 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 91178 0 1 0 200 12 0 0 17 0 19 0 954995074 10797117440 89352 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2636015 89354 2221 9 0 2626749 0
[pid=25134/tid=25136] ppid=25132 vsize=10544060 CPUtime=1.47 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4202560 86455 0 1 0 136 11 0 0 25 0 19 0 954995075 10797117440 89355 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 46912505667012 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25134/tid=25137] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25137/stat : 25137 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954995076 10797117440 89356 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25138] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25138/stat : 25138 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89357 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25139] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25139/stat : 25139 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89358 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25140] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25140/stat : 25140 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89359 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25141] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25141/stat : 25141 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89360 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25142] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25142/stat : 25142 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89361 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25143] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25143/stat : 25143 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89362 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25144] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25144/stat : 25144 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797117440 89362 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25145] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25145/stat : 25145 (java) S 25132 25134 23633 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 954995077 10797117440 89363 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 0 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25146] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25146/stat : 25146 (java) S 25132 25134 23633 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 954995078 10797117440 89364 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25147] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 954995078 10797117440 89364 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10797117440 89365 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10544060 CPUtime=0.34 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 1726 0 0 0 34 0 0 0 15 0 19 0 954995080 10797117440 89366 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10544060 CPUtime=0.28 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 1843 0 0 0 28 0 0 0 15 0 19 0 954995080 10797117440 89367 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10797117440 89368 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10544060 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954995080 10797117440 89369 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10544060
[startup+3.10128 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25153
/proc/meminfo: memFree=28014900/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10544396 CPUtime=3.94 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 141365 0 1 0 377 17 0 0 17 0 19 0 954995074 10797461504 138834 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2636099 138835 2225 9 0 2626833 0
[pid=25134/tid=25136] ppid=25132 vsize=10544396 CPUtime=3.07 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4202560 135609 0 1 0 291 16 0 0 19 0 19 0 954995075 10797461504 138836 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 46912505666603 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25134/tid=25137] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25137/stat : 25137 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954995076 10797461504 138836 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25138] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25138/stat : 25138 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138837 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25139] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25139/stat : 25139 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138838 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25140] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25140/stat : 25140 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138838 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25141] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25141/stat : 25141 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138839 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25142] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25142/stat : 25142 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138839 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25143] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25143/stat : 25143 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138840 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25144] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25144/stat : 25144 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10797461504 138841 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25145] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25145/stat : 25145 (java) S 25132 25134 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954995077 10797461504 138842 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 0 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25146] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25146/stat : 25146 (java) S 25132 25134 23633 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 954995078 10797461504 138842 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25147] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 954995078 10797461504 138843 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10797461504 138844 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10544396 CPUtime=0.47 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 2296 0 0 0 47 0 0 0 16 0 19 0 954995080 10797461504 138845 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10544396 CPUtime=0.37 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 2302 0 0 0 37 0 0 0 16 0 19 0 954995080 10797461504 138845 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10797461504 138846 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954995080 10797461504 138847 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25153] ppid=25132 vsize=10544396 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25153/stat : 25153 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954995191 10797461504 138847 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 10544396
[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25153
/proc/meminfo: memFree=27371352/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10543532 CPUtime=7.33 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 355161 0 1 0 693 40 0 0 17 0 19 0 954995074 10796576768 350794 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2635883 350799 2227 9 0 2626617 0
[pid=25134/tid=25136] ppid=25132 vsize=10543532 CPUtime=6.28 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4202560 347788 0 1 0 589 39 0 0 21 0 19 0 954995075 10796576768 350804 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 46912505631152 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25134/tid=25137] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25137/stat : 25137 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954995076 10796576768 350810 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25138] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25138/stat : 25138 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350815 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25139] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25139/stat : 25139 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25140] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25140/stat : 25140 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350823 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25141] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25141/stat : 25141 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350823 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25142] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25142/stat : 25142 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350829 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25143] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25143/stat : 25143 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350835 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25144] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25144/stat : 25144 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995076 10796576768 350841 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25145] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25145/stat : 25145 (java) S 25132 25134 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954995077 10796576768 350847 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 0 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25146] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25146/stat : 25146 (java) S 25132 25134 23633 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 954995078 10796576768 350853 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25147] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 954995078 10796576768 350853 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10796576768 350855 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10543532 CPUtime=0.58 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 3723 0 0 0 58 0 0 0 15 0 19 0 954995080 10796576768 350861 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10543532 CPUtime=0.45 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 2499 0 0 0 45 0 0 0 15 0 19 0 954995080 10796576768 350867 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10796576768 350872 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954995080 10796576768 350878 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25153] ppid=25132 vsize=10543532 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25153/stat : 25153 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954995191 10796576768 350882 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 10543532
[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25153
/proc/meminfo: memFree=25747032/32951124 swapFree=67062556/67111528
################
# More data... #
################
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10544072 CPUtime=0.81 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 3878 0 0 0 81 0 0 0 16 0 19 0 954995080 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10544072 CPUtime=1.43 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 13894 0 0 0 141 2 0 0 16 0 19 0 954995080 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954995080 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25153] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25153/stat : 25153 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954995191 10797129728 962821 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.99
Current children cumulated vsize (KiB) 10544072
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25261
/proc/meminfo: memFree=24378672/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10544072 CPUtime=1729.12 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 979320 0 1 0 172803 109 0 0 17 0 19 0 954995074 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2636018 964069 2256 9 0 2626752 0
[pid=25134/tid=25136] ppid=25132 vsize=10544072 CPUtime=1718.33 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4202560 774735 0 1 0 171750 83 0 0 25 0 19 0 954995075 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 46912505759898 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25134/tid=25137] ppid=25132 vsize=10544072 CPUtime=0.81 cores=1,3,5,7
/proc/25134/task/25137/stat : 25137 (java) S 25132 25134 23633 0 -1 4202560 28503 0 0 0 79 2 0 0 16 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25138] ppid=25132 vsize=10544072 CPUtime=0.7 cores=1,3,5,7
/proc/25134/task/25138/stat : 25138 (java) S 25132 25134 23633 0 -1 4202560 17530 0 0 0 68 2 0 0 16 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 1 0 0 0
[pid=25134/tid=25139] ppid=25132 vsize=10544072 CPUtime=0.74 cores=1,3,5,7
/proc/25134/task/25139/stat : 25139 (java) S 25132 25134 23633 0 -1 4202560 21973 0 0 0 72 2 0 0 16 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25140] ppid=25132 vsize=10544072 CPUtime=0.63 cores=1,3,5,7
/proc/25134/task/25140/stat : 25140 (java) S 25132 25134 23633 0 -1 4202560 12492 0 0 0 62 1 0 0 16 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25141] ppid=25132 vsize=10544072 CPUtime=0.81 cores=1,3,5,7
/proc/25134/task/25141/stat : 25141 (java) S 25132 25134 23633 0 -1 4202560 23181 0 0 0 79 2 0 0 15 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 1 0 0 0
[pid=25134/tid=25142] ppid=25132 vsize=10544072 CPUtime=0.84 cores=1,3,5,7
/proc/25134/task/25142/stat : 25142 (java) S 25132 25134 23633 0 -1 4202560 25783 0 0 0 81 3 0 0 15 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25143] ppid=25132 vsize=10544072 CPUtime=0.78 cores=1,3,5,7
/proc/25134/task/25143/stat : 25143 (java) S 25132 25134 23633 0 -1 4202560 23732 0 0 0 75 3 0 0 16 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25144] ppid=25132 vsize=10544072 CPUtime=0.79 cores=1,3,5,7
/proc/25134/task/25144/stat : 25144 (java) S 25132 25134 23633 0 -1 4202560 17022 0 0 0 77 2 0 0 15 0 19 0 954995076 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25145] ppid=25132 vsize=10544072 CPUtime=2.33 cores=1,3,5,7
/proc/25134/task/25145/stat : 25145 (java) S 25132 25134 23633 0 -1 4202560 15348 0 0 0 232 1 0 0 15 0 19 0 954995077 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 0 0 16800975 18446604471161543424 0 0 -1 1 0 0 0
[pid=25134/tid=25146] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25146/stat : 25146 (java) S 25132 25134 23633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25147] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10544072 CPUtime=0.81 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 3878 0 0 0 81 0 0 0 16 0 19 0 954995080 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10544072 CPUtime=1.43 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 13894 0 0 0 141 2 0 0 16 0 19 0 954995080 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954995080 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25153] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25153/stat : 25153 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954995191 10797129728 964069 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.12
Current children cumulated vsize (KiB) 10544072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25262
/proc/meminfo: memFree=24373660/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10544072 CPUtime=1789.26 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 980496 0 1 0 178817 109 0 0 17 0 19 0 954995074 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2636018 965214 2256 9 0 2626752 0
[pid=25134/tid=25136] ppid=25132 vsize=10544072 CPUtime=1778.28 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4202560 774738 0 1 0 177745 83 0 0 25 0 19 0 954995075 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 46912505759963 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25134/tid=25137] ppid=25132 vsize=10544072 CPUtime=0.82 cores=1,3,5,7
/proc/25134/task/25137/stat : 25137 (java) S 25132 25134 23633 0 -1 4202560 28623 0 0 0 80 2 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25138] ppid=25132 vsize=10544072 CPUtime=0.73 cores=1,3,5,7
/proc/25134/task/25138/stat : 25138 (java) S 25132 25134 23633 0 -1 4202560 17774 0 0 0 71 2 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25139] ppid=25132 vsize=10544072 CPUtime=0.77 cores=1,3,5,7
/proc/25134/task/25139/stat : 25139 (java) S 25132 25134 23633 0 -1 4202560 22187 0 0 0 75 2 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25140] ppid=25132 vsize=10544072 CPUtime=0.64 cores=1,3,5,7
/proc/25134/task/25140/stat : 25140 (java) S 25132 25134 23633 0 -1 4202560 12570 0 0 0 63 1 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25141] ppid=25132 vsize=10544072 CPUtime=0.84 cores=1,3,5,7
/proc/25134/task/25141/stat : 25141 (java) S 25132 25134 23633 0 -1 4202560 23382 0 0 0 82 2 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25142] ppid=25132 vsize=10544072 CPUtime=0.85 cores=1,3,5,7
/proc/25134/task/25142/stat : 25142 (java) S 25132 25134 23633 0 -1 4202560 25849 0 0 0 82 3 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25143] ppid=25132 vsize=10544072 CPUtime=0.79 cores=1,3,5,7
/proc/25134/task/25143/stat : 25143 (java) S 25132 25134 23633 0 -1 4202560 23866 0 0 0 76 3 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25144] ppid=25132 vsize=10544072 CPUtime=0.82 cores=1,3,5,7
/proc/25134/task/25144/stat : 25144 (java) S 25132 25134 23633 0 -1 4202560 17130 0 0 0 80 2 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25145] ppid=25132 vsize=10544072 CPUtime=2.33 cores=1,3,5,7
/proc/25134/task/25145/stat : 25145 (java) S 25132 25134 23633 0 -1 4202560 15352 0 0 0 232 1 0 0 15 0 19 0 954995077 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 0 0 16800975 18446604471161543424 0 0 -1 1 0 0 0
[pid=25134/tid=25146] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25146/stat : 25146 (java) S 25132 25134 23633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25147] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10544072 CPUtime=0.81 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 3878 0 0 0 81 0 0 0 16 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10544072 CPUtime=1.43 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 13894 0 0 0 141 2 0 0 16 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25153] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25153/stat : 25153 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954995191 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.26
Current children cumulated vsize (KiB) 10544072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25263
/proc/meminfo: memFree=24373644/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=10544072 CPUtime=1800.06 cores=1,3,5,7
/proc/25134/stat : 25134 (java) S 25132 25134 23633 0 -1 4202496 980496 0 1 0 179897 109 0 0 17 0 19 0 954995074 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 2636018 965214 2256 9 0 2626752 0
[pid=25134/tid=25136] ppid=25132 vsize=10544072 CPUtime=1789.09 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4202560 774738 0 1 0 178826 83 0 0 25 0 19 0 954995075 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 46912505759865 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25134/tid=25137] ppid=25132 vsize=10544072 CPUtime=0.82 cores=1,3,5,7
/proc/25134/task/25137/stat : 25137 (java) S 25132 25134 23633 0 -1 4202560 28623 0 0 0 80 2 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25138] ppid=25132 vsize=10544072 CPUtime=0.73 cores=1,3,5,7
/proc/25134/task/25138/stat : 25138 (java) S 25132 25134 23633 0 -1 4202560 17774 0 0 0 71 2 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25139] ppid=25132 vsize=10544072 CPUtime=0.77 cores=1,3,5,7
/proc/25134/task/25139/stat : 25139 (java) S 25132 25134 23633 0 -1 4202560 22187 0 0 0 75 2 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25140] ppid=25132 vsize=10544072 CPUtime=0.64 cores=1,3,5,7
/proc/25134/task/25140/stat : 25140 (java) S 25132 25134 23633 0 -1 4202560 12570 0 0 0 63 1 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25141] ppid=25132 vsize=10544072 CPUtime=0.84 cores=1,3,5,7
/proc/25134/task/25141/stat : 25141 (java) S 25132 25134 23633 0 -1 4202560 23382 0 0 0 82 2 0 0 16 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25142] ppid=25132 vsize=10544072 CPUtime=0.85 cores=1,3,5,7
/proc/25134/task/25142/stat : 25142 (java) S 25132 25134 23633 0 -1 4202560 25849 0 0 0 82 3 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
[pid=25134/tid=25143] ppid=25132 vsize=10544072 CPUtime=0.79 cores=1,3,5,7
/proc/25134/task/25143/stat : 25143 (java) S 25132 25134 23633 0 -1 4202560 23866 0 0 0 76 3 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25144] ppid=25132 vsize=10544072 CPUtime=0.82 cores=1,3,5,7
/proc/25134/task/25144/stat : 25144 (java) S 25132 25134 23633 0 -1 4202560 17130 0 0 0 80 2 0 0 15 0 19 0 954995076 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25145] ppid=25132 vsize=10544072 CPUtime=2.33 cores=1,3,5,7
/proc/25134/task/25145/stat : 25145 (java) S 25132 25134 23633 0 -1 4202560 15352 0 0 0 232 1 0 0 15 0 19 0 954995077 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 0 0 16800975 18446604471161543424 0 0 -1 1 0 0 0
[pid=25134/tid=25146] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25146/stat : 25146 (java) S 25132 25134 23633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25147] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25147/stat : 25147 (java) S 25132 25134 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954995078 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25148] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25148/stat : 25148 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469889457 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25149] ppid=25132 vsize=10544072 CPUtime=0.81 cores=1,3,5,7
/proc/25134/task/25149/stat : 25149 (java) S 25132 25134 23633 0 -1 4202560 3878 0 0 0 81 0 0 0 16 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25150] ppid=25132 vsize=10544072 CPUtime=1.43 cores=1,3,5,7
/proc/25134/task/25150/stat : 25150 (java) S 25132 25134 23633 0 -1 4202560 13894 0 0 0 141 2 0 0 16 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25151] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25151/stat : 25151 (java) S 25132 25134 23633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469881753 0 4 0 16800975 18446604471161543424 0 0 -1 3 0 0 0
[pid=25134/tid=25152] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25152/stat : 25152 (java) S 25132 25134 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954995080 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 5 0 0 0
[pid=25134/tid=25153] ppid=25132 vsize=10544072 CPUtime=0 cores=1,3,5,7
/proc/25134/task/25153/stat : 25153 (java) S 25132 25134 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954995191 10797129728 965214 33554432000 1073741824 1073778376 140734232659584 18446744073709551615 252469882368 0 4 0 16800975 18446604471161543424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10544072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 25263
/proc/meminfo: memFree=24373644/32951124 swapFree=67062556/67111528
[pid=25134] ppid=25132 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/25134/stat : 25134 (java) Z 25132 25134 23633 0 -1 4203548 980536 0 1 0 179904 115 0 0 15 0 2 0 954995074 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25134/statm: 0 0 0 0 0 0 0
[pid=25134/tid=25136] ppid=25132 vsize=0 CPUtime=1789.19 cores=1,3,5,7
/proc/25134/task/25136/stat : 25136 (java) R 25132 25134 23633 0 -1 4203588 774738 0 1 0 178829 90 0 0 25 0 2 0 954995075 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.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.29
CPU time (s): 1800.28
CPU user time (s): 1799.05
CPU system time (s): 1.23881
CPU usage (%): 100.39
Max. virtual memory (cumulated for all children) (KiB): 10546832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.23881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980536
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= 39073
involuntary context switches= 10037
runsolver used 2.98754 second user time and 6.80896 second system time
The end