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-3456634-1307658722/watcher-3456634-1307658722 -o /tmp/evaluation-result-3456634-1307658722/solver-3456634-1307658722 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456634-1307658722.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: 8.18 8.14 7.95 3/194 12343
/proc/meminfo: memFree=31884264/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 1201 0 0 0 0 0 0 0 25 0 2 0 877469943 31313920 926 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 7645 936 711 9 0 383 0
[pid=12343/tid=12344] ppid=12341 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 877469944 31260672 957 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218905730816 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.029542 s]
/proc/loadavg: 8.18 8.14 7.95 3/194 12343
/proc/meminfo: memFree=31884264/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 10787 0 1 0 1 0 0 0 25 0 10 0 877469943 10705932288 10485 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2613753 10485 1515 9 0 2604501 0
[pid=12343/tid=12344] ppid=12341 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 9665 0 1 0 1 0 0 0 25 0 10 0 877469944 10705932288 10486 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 47503657947907 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.10053 s]
/proc/loadavg: 8.18 8.14 7.95 3/194 12343
/proc/meminfo: memFree=31884264/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10540428 CPUtime=0.1 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 13109 0 1 0 9 1 0 0 25 0 18 0 877469943 10793398272 12805 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2635107 12805 2092 9 0 2625841 0
[pid=12343/tid=12344] ppid=12341 vsize=10540428 CPUtime=0.08 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 11190 0 1 0 7 1 0 0 18 0 18 0 877469944 10793398272 12805 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 47503657943045 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540428
[startup+0.300494 s]
/proc/loadavg: 8.18 8.14 7.95 3/194 12343
/proc/meminfo: memFree=31884264/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10552612 CPUtime=0.63 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 22833 0 1 0 61 2 0 0 25 0 19 0 877469943 10805874688 20244 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2638153 20245 2210 9 0 2628887 0
[pid=12343/tid=12344] ppid=12341 vsize=10552612 CPUtime=0.28 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 12976 0 1 0 27 1 0 0 19 0 19 0 877469944 10805874688 20245 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 47503662443316 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10552612
[startup+0.70042 s]
/proc/loadavg: 8.18 8.14 7.95 3/194 12343
/proc/meminfo: memFree=31884264/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=1.6 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 47585 0 1 0 155 5 0 0 25 0 19 0 877469943 10816516096 43322 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 43328 2224 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=0.69 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 33627 0 1 0 66 3 0 0 19 0 19 0 877469944 10816516096 43332 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505720920 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10563004
[startup+1.50128 s]
/proc/loadavg: 8.18 8.14 7.95 5/214 12363
/proc/meminfo: memFree=31305856/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=2.66 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 127188 0 1 0 253 13 0 0 25 0 19 0 877469943 10816516096 122924 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 122925 2227 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=1.48 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 113101 0 1 0 137 11 0 0 21 0 19 0 877469944 10816516096 122925 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505657142 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12343/tid=12346] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12346/stat : 12346 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122926 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12347] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12347/stat : 12347 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122926 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12348] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12348/stat : 12348 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122927 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12349] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12349/stat : 12349 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122927 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12350] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12350/stat : 12350 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122927 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12351] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12351/stat : 12351 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122928 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12352] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12352/stat : 12352 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122928 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12353] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12353/stat : 12353 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 122928 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12354] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12354/stat : 12354 (java) S 12341 12343 11294 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877469946 10816516096 122929 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 0 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12355] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877469947 10816516096 122929 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877469947 10816516096 122930 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 122930 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.48 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8100 0 0 0 47 1 0 0 18 0 19 0 877469949 10816516096 122930 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.67 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4827 0 0 0 67 0 0 0 21 0 19 0 877469949 10816516096 122931 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12360] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12360/stat : 12360 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 122931 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12361] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12361/stat : 12361 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877469949 10816516096 122931 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12363] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12363/stat : 12363 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877469972 10816516096 122932 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10563004
[startup+3.10099 s]
/proc/loadavg: 7.77 8.05 7.92 3/214 12363
/proc/meminfo: memFree=30399288/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=4.39 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 224060 0 1 0 416 23 0 0 25 0 19 0 877469943 10816516096 219795 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 219800 2227 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=3.08 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 209968 0 1 0 287 21 0 0 25 0 19 0 877469944 10816516096 219802 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505720905 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12343/tid=12346] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12346/stat : 12346 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219805 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12347] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12347/stat : 12347 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219808 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12348] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12348/stat : 12348 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219810 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12349] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12349/stat : 12349 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219813 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12350] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12350/stat : 12350 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219816 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12351] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12351/stat : 12351 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219818 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12352] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12352/stat : 12352 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219820 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12353] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12353/stat : 12353 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 219823 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12354] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12354/stat : 12354 (java) S 12341 12343 11294 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877469946 10816516096 219825 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 0 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12355] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877469947 10816516096 219827 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877469947 10816516096 219829 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 219831 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.49 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8100 0 0 0 48 1 0 0 15 0 19 0 877469949 10816516096 219833 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.79 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4838 0 0 0 79 0 0 0 15 0 19 0 877469949 10816516096 219835 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12360] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12360/stat : 12360 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 219837 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12361] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12361/stat : 12361 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877469949 10816516096 219839 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12363] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12363/stat : 12363 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877469972 10816516096 219840 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10563004
[startup+6.30141 s]
/proc/loadavg: 7.77 8.05 7.92 3/214 12363
/proc/meminfo: memFree=27977868/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=7.64 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 440402 0 1 0 717 47 0 0 25 0 19 0 877469943 10816516096 435143 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 435150 2228 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=6.28 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 426305 0 1 0 583 45 0 0 25 0 19 0 877469944 10816516096 435154 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505544511 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12343/tid=12346] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12346/stat : 12346 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435157 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12347] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12347/stat : 12347 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435161 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12348] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12348/stat : 12348 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435165 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12349] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12349/stat : 12349 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435169 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12350] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12350/stat : 12350 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435174 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12351] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12351/stat : 12351 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435177 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12352] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12352/stat : 12352 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435181 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12353] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12353/stat : 12353 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469945 10816516096 435185 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12354] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12354/stat : 12354 (java) S 12341 12343 11294 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877469946 10816516096 435188 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 0 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12355] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877469947 10816516096 435193 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877469947 10816516096 435197 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 435200 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.53 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8107 0 0 0 52 1 0 0 15 0 19 0 877469949 10816516096 435204 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.81 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4839 0 0 0 81 0 0 0 15 0 19 0 877469949 10816516096 435209 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.58 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8118 0 0 0 57 1 0 0 15 0 19 0 877469949 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.87 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4864 0 0 0 87 0 0 0 15 0 19 0 877469949 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12360] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12360/stat : 12360 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12361] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12361/stat : 12361 (java) S 12341 12343 11294 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877469949 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12363] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12363/stat : 12363 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877469972 10816516096 923405 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.2
Current children cumulated vsize (KiB) 10563004
[startup+1722.3 s]
/proc/loadavg: 2.01 2.07 2.95 3/214 12409
/proc/meminfo: memFree=24058984/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=1725.24 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 931654 0 1 0 172422 102 0 0 25 0 19 0 877469943 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 924622 2257 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=1721.52 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 823699 0 1 0 172063 89 0 0 25 0 19 0 877469944 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505658747 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12343/tid=12346] ppid=12341 vsize=10563004 CPUtime=0.22 cores=1,3,5,7
/proc/12343/task/12346/stat : 12346 (java) S 12341 12343 11294 0 -1 4202560 10202 0 0 0 20 2 0 0 16 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12347] ppid=12341 vsize=10563004 CPUtime=0.23 cores=1,3,5,7
/proc/12343/task/12347/stat : 12347 (java) S 12341 12343 11294 0 -1 4202560 9160 0 0 0 23 0 0 0 15 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12348] ppid=12341 vsize=10563004 CPUtime=0.28 cores=1,3,5,7
/proc/12343/task/12348/stat : 12348 (java) S 12341 12343 11294 0 -1 4202560 17464 0 0 0 27 1 0 0 15 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12349] ppid=12341 vsize=10563004 CPUtime=0.18 cores=1,3,5,7
/proc/12343/task/12349/stat : 12349 (java) S 12341 12343 11294 0 -1 4202560 6678 0 0 0 18 0 0 0 16 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12350] ppid=12341 vsize=10563004 CPUtime=0.22 cores=1,3,5,7
/proc/12343/task/12350/stat : 12350 (java) S 12341 12343 11294 0 -1 4202560 10499 0 0 0 21 1 0 0 16 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12351] ppid=12341 vsize=10563004 CPUtime=0.33 cores=1,3,5,7
/proc/12343/task/12351/stat : 12351 (java) S 12341 12343 11294 0 -1 4202560 13885 0 0 0 32 1 0 0 16 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12352] ppid=12341 vsize=10563004 CPUtime=0.26 cores=1,3,5,7
/proc/12343/task/12352/stat : 12352 (java) S 12341 12343 11294 0 -1 4202560 12097 0 0 0 25 1 0 0 15 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12353] ppid=12341 vsize=10563004 CPUtime=0.26 cores=1,3,5,7
/proc/12343/task/12353/stat : 12353 (java) S 12341 12343 11294 0 -1 4202560 12669 0 0 0 25 1 0 0 15 0 19 0 877469945 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12354] ppid=12341 vsize=10563004 CPUtime=0.2 cores=1,3,5,7
/proc/12343/task/12354/stat : 12354 (java) S 12341 12343 11294 0 -1 4202560 1067 0 0 0 20 0 0 0 15 0 19 0 877469946 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 0 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12355] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.58 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8118 0 0 0 57 1 0 0 15 0 19 0 877469949 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.87 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4864 0 0 0 87 0 0 0 15 0 19 0 877469949 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12360] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12360/stat : 12360 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12361] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12361/stat : 12361 (java) S 12341 12343 11294 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877469949 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12363] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12363/stat : 12363 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877469972 10816516096 924622 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.24
Current children cumulated vsize (KiB) 10563004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.88 3/214 12420
/proc/meminfo: memFree=24040120/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=1785.29 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 932702 0 1 0 178427 102 0 0 25 0 19 0 877469943 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 925657 2257 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=1781.51 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 823701 0 1 0 178062 89 0 0 25 0 19 0 877469944 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505655855 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12343/tid=12346] ppid=12341 vsize=10563004 CPUtime=0.22 cores=1,3,5,7
/proc/12343/task/12346/stat : 12346 (java) S 12341 12343 11294 0 -1 4202560 10431 0 0 0 20 2 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12347] ppid=12341 vsize=10563004 CPUtime=0.23 cores=1,3,5,7
/proc/12343/task/12347/stat : 12347 (java) S 12341 12343 11294 0 -1 4202560 9160 0 0 0 23 0 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12348] ppid=12341 vsize=10563004 CPUtime=0.29 cores=1,3,5,7
/proc/12343/task/12348/stat : 12348 (java) S 12341 12343 11294 0 -1 4202560 17985 0 0 0 28 1 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12349] ppid=12341 vsize=10563004 CPUtime=0.18 cores=1,3,5,7
/proc/12343/task/12349/stat : 12349 (java) S 12341 12343 11294 0 -1 4202560 6806 0 0 0 18 0 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12350] ppid=12341 vsize=10563004 CPUtime=0.23 cores=1,3,5,7
/proc/12343/task/12350/stat : 12350 (java) S 12341 12343 11294 0 -1 4202560 10574 0 0 0 22 1 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12351] ppid=12341 vsize=10563004 CPUtime=0.33 cores=1,3,5,7
/proc/12343/task/12351/stat : 12351 (java) S 12341 12343 11294 0 -1 4202560 13885 0 0 0 32 1 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12352] ppid=12341 vsize=10563004 CPUtime=0.28 cores=1,3,5,7
/proc/12343/task/12352/stat : 12352 (java) S 12341 12343 11294 0 -1 4202560 12149 0 0 0 27 1 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12353] ppid=12341 vsize=10563004 CPUtime=0.27 cores=1,3,5,7
/proc/12343/task/12353/stat : 12353 (java) S 12341 12343 11294 0 -1 4202560 12704 0 0 0 26 1 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12354] ppid=12341 vsize=10563004 CPUtime=0.2 cores=1,3,5,7
/proc/12343/task/12354/stat : 12354 (java) S 12341 12343 11294 0 -1 4202560 1071 0 0 0 20 0 0 0 15 0 19 0 877469946 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 0 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12355] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.58 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8118 0 0 0 57 1 0 0 15 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.87 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4864 0 0 0 87 0 0 0 15 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12360] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12360/stat : 12360 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12361] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12361/stat : 12361 (java) S 12341 12343 11294 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12363] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12363/stat : 12363 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877469972 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 10563004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 1.93 2.03 2.86 3/213 12478
/proc/meminfo: memFree=27166556/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=10563004 CPUtime=1800.09 cores=1,3,5,7
/proc/12343/stat : 12343 (java) S 12341 12343 11294 0 -1 4202496 932704 0 1 0 179907 102 0 0 25 0 19 0 877469943 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 2640751 925657 2257 9 0 2631485 0
[pid=12343/tid=12344] ppid=12341 vsize=10563004 CPUtime=1796.31 cores=1,3,5,7
/proc/12343/task/12344/stat : 12344 (java) R 12341 12343 11294 0 -1 4202560 823701 0 1 0 179542 89 0 0 25 0 19 0 877469944 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 46912505659059 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12343/tid=12346] ppid=12341 vsize=10563004 CPUtime=0.22 cores=1,3,5,7
/proc/12343/task/12346/stat : 12346 (java) S 12341 12343 11294 0 -1 4202560 10431 0 0 0 20 2 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12347] ppid=12341 vsize=10563004 CPUtime=0.23 cores=1,3,5,7
/proc/12343/task/12347/stat : 12347 (java) S 12341 12343 11294 0 -1 4202560 9160 0 0 0 23 0 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12348] ppid=12341 vsize=10563004 CPUtime=0.29 cores=1,3,5,7
/proc/12343/task/12348/stat : 12348 (java) S 12341 12343 11294 0 -1 4202560 17985 0 0 0 28 1 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12349] ppid=12341 vsize=10563004 CPUtime=0.18 cores=1,3,5,7
/proc/12343/task/12349/stat : 12349 (java) S 12341 12343 11294 0 -1 4202560 6806 0 0 0 18 0 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12350] ppid=12341 vsize=10563004 CPUtime=0.23 cores=1,3,5,7
/proc/12343/task/12350/stat : 12350 (java) S 12341 12343 11294 0 -1 4202560 10574 0 0 0 22 1 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12351] ppid=12341 vsize=10563004 CPUtime=0.33 cores=1,3,5,7
/proc/12343/task/12351/stat : 12351 (java) S 12341 12343 11294 0 -1 4202560 13885 0 0 0 32 1 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
[pid=12343/tid=12352] ppid=12341 vsize=10563004 CPUtime=0.28 cores=1,3,5,7
/proc/12343/task/12352/stat : 12352 (java) S 12341 12343 11294 0 -1 4202560 12149 0 0 0 27 1 0 0 16 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12353] ppid=12341 vsize=10563004 CPUtime=0.27 cores=1,3,5,7
/proc/12343/task/12353/stat : 12353 (java) S 12341 12343 11294 0 -1 4202560 12704 0 0 0 26 1 0 0 15 0 19 0 877469945 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12354] ppid=12341 vsize=10563004 CPUtime=0.2 cores=1,3,5,7
/proc/12343/task/12354/stat : 12354 (java) S 12341 12343 11294 0 -1 4202560 1071 0 0 0 20 0 0 0 15 0 19 0 877469946 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 0 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12355] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12355/stat : 12355 (java) S 12341 12343 11294 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12356] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12356/stat : 12356 (java) S 12341 12343 11294 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877469947 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12357] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12357/stat : 12357 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917554609 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12358] ppid=12341 vsize=10563004 CPUtime=0.58 cores=1,3,5,7
/proc/12343/task/12358/stat : 12358 (java) S 12341 12343 11294 0 -1 4202560 8118 0 0 0 57 1 0 0 15 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12359] ppid=12341 vsize=10563004 CPUtime=0.87 cores=1,3,5,7
/proc/12343/task/12359/stat : 12359 (java) S 12341 12343 11294 0 -1 4202560 4864 0 0 0 87 0 0 0 15 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 1 0 0 0
[pid=12343/tid=12360] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12360/stat : 12360 (java) S 12341 12343 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917546905 0 4 0 16800975 18446604460733962240 0 0 -1 3 0 0 0
[pid=12343/tid=12361] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12361/stat : 12361 (java) S 12341 12343 11294 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877469949 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 5 0 0 0
[pid=12343/tid=12363] ppid=12341 vsize=10563004 CPUtime=0 cores=1,3,5,7
/proc/12343/task/12363/stat : 12363 (java) S 12341 12343 11294 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877469972 10816516096 925657 33554432000 1073741824 1073778376 140736432150608 18446744073709551615 218917547520 0 4 0 16800975 18446604460733962240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10563004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.21 s]
/proc/loadavg: 1.93 2.03 2.86 3/213 12478
/proc/meminfo: memFree=27166556/32951124 swapFree=67053156/67111528
[pid=12343] ppid=12341 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/12343/stat : 12343 (java) Z 12341 12343 11294 0 -1 4203548 932736 0 1 0 179910 111 0 0 17 0 2 0 877469943 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12343/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.25
CPU time (s): 1800.26
CPU user time (s): 1799.11
CPU system time (s): 1.15782
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 10563004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.15782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932736
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= 38103
involuntary context switches= 21390
runsolver used 2.81357 second user time and 7.00493 second system time
The end