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-3456328-1307224853/watcher-3456328-1307224853 -o /tmp/evaluation-result-3456328-1307224853/solver-3456328-1307224853 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456328-1307224853.opb
running on 4 cores: 0,2,4,6
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: 1.92 2.01 1.99 2/529 13026
/proc/meminfo: memFree=13046192/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 2585 0 1 0 0 0 0 0 25 0 2 0 814901454 10681323520 2286 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2607745 2298 906 9 0 2598901 0
[pid=13026/tid=13027] ppid=13024 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 5563 0 1 0 0 0 0 0 25 0 2 0 814901455 10694979584 6380 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.020772 s]
/proc/loadavg: 1.92 2.01 1.99 2/529 13026
/proc/meminfo: memFree=13046192/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 7499 0 1 0 0 1 0 0 25 0 2 0 814901454 10694979584 7200 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2611079 7217 917 9 0 2602235 0
[pid=13026/tid=13027] ppid=13024 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 6410 0 1 0 0 0 0 0 25 0 2 0 814901455 10694979584 7226 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.104743 s]
/proc/loadavg: 1.92 2.01 1.99 2/529 13026
/proc/meminfo: memFree=13046192/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10540184 CPUtime=0.1 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 13094 0 1 0 8 2 0 0 25 0 18 0 814901454 10793148416 12760 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2635046 12760 2092 9 0 2625780 0
[pid=13026/tid=13027] ppid=13024 vsize=10540184 CPUtime=0.08 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 11201 0 1 0 7 1 0 0 18 0 18 0 814901455 10793148416 12761 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 47208546490387 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540184
[startup+0.30073 s]
/proc/loadavg: 1.92 2.01 1.99 2/529 13026
/proc/meminfo: memFree=13046192/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10545984 CPUtime=0.45 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 15686 0 1 0 43 2 0 0 25 0 19 0 814901454 10799087616 15279 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2636496 15279 2211 9 0 2627230 0
[pid=13026/tid=13027] ppid=13024 vsize=10545984 CPUtime=0.28 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 12372 0 1 0 27 1 0 0 19 0 19 0 814901455 10799087616 15279 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10545984
[startup+0.70066 s]
/proc/loadavg: 1.92 2.01 1.99 2/529 13026
/proc/meminfo: memFree=13046192/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=1.65 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 53381 0 1 0 157 8 0 0 25 0 19 0 814901454 10814578688 48349 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 48355 2222 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=0.68 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 39259 0 1 0 63 5 0 0 18 0 19 0 814901455 10814578688 48358 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912505618876 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10561112
[startup+1.50154 s]
/proc/loadavg: 1.92 2.01 1.99 4/548 13045
/proc/meminfo: memFree=12731204/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=2.65 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 129761 0 1 0 250 15 0 0 25 0 19 0 814901454 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 124458 2224 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=1.48 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 115333 0 1 0 136 12 0 0 18 0 19 0 814901455 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912505578701 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13030] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13030/stat : 13030 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13031] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13031/stat : 13031 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13032] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13032/stat : 13032 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13033] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13033/stat : 13033 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13034] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13034/stat : 13034 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13035] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13035/stat : 13035 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 12030 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 124458 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 0 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901458 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814901458 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.56 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6838 0 0 0 55 1 0 0 15 0 19 0 814901460 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.59 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 6430 0 0 0 58 1 0 0 19 0 19 0 814901460 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13044] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13044/stat : 13044 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901460 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13045] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13045/stat : 13045 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901476 10814578688 124459 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10561112
[startup+3.10122 s]
/proc/loadavg: 1.92 2.01 1.99 3/548 13045
/proc/meminfo: memFree=12278216/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=4.41 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 323857 0 1 0 403 38 0 0 25 0 19 0 814901454 10814578688 316890 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 316897 2226 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=3.08 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 307652 0 1 0 273 35 0 0 18 0 19 0 814901455 10814578688 316900 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912505618873 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316903 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13030] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13030/stat : 13030 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316908 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13031] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13031/stat : 13031 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316913 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13032] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13032/stat : 13032 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316917 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13033] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13033/stat : 13033 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316920 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13034] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13034/stat : 13034 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316924 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13035] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13035/stat : 13035 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316928 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901457 10814578688 316933 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 12030 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 814901458 10814578688 316937 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 0 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901458 10814578688 316941 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814901458 10814578688 316944 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 316948 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.56 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6838 0 0 0 55 1 0 0 15 0 19 0 814901460 10814578688 316953 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.75 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 8218 0 0 0 74 1 0 0 15 0 19 0 814901460 10814578688 316957 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 316961 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13044] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13044/stat : 13044 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901460 10814578688 316965 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13045] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13045/stat : 13045 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901476 10814578688 316968 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 10561112
[startup+6.30067 s]
/proc/loadavg: 1.93 2.01 1.99 3/548 13045
/proc/meminfo: memFree=10569620/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=7.66 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 670632 0 1 0 694 72 0 0 25 0 19 0 814901454 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 663661 2240 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=6.26 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 651085 0 1 0 557 69 0 0 21 0 19 0 814901455 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912505616928 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13030] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13030/stat : 13030 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13031] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13031/stat : 13031 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13032] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13032/stat : 13032 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13033] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13033/stat : 13033 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13034] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13034/stat : 13034 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13035] ppid=13024 vsize=10561112 CPUtime=0.01 cores=0,2,4,6
/proc/13026/task/13035/stat : 13035 (java) S 13024 13026 12030 0 -1 4202560 1778 0 0 0 1 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 2 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=10561112 CPUtime=0.01 cores=0,2,4,6
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 12030 0 -1 4202560 1545 0 0 0 1 0 0 0 18 0 19 0 814901457 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 12030 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 814901458 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 0 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.58 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6839 0 0 0 57 1 0 0 15 0 19 0 814901460 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.77 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 8218 0 0 0 76 1 0 0 15 0 19 0 814901460 10814578688 663661 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.64 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6855 0 0 0 63 1 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.8 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 8218 0 0 0 79 1 0 0 16 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13044] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13044/stat : 13044 (java) S 13024 13026 12030 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13045] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13045/stat : 13045 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901476 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1665.45
Current children cumulated vsize (KiB) 10561112
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/548 13197
/proc/meminfo: memFree=8758296/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=1725.45 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 1054183 0 1 0 172408 137 0 0 25 0 19 0 814901454 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 1035767 2243 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=1721.5 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 788752 0 1 0 172063 87 0 0 25 0 19 0 814901455 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912506087237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=10561112 CPUtime=0.28 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (java) S 13024 13026 12030 0 -1 4202560 35665 0 0 0 22 6 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13030] ppid=13024 vsize=10561112 CPUtime=0.36 cores=0,2,4,6
/proc/13026/task/13030/stat : 13030 (java) S 13024 13026 12030 0 -1 4202560 36313 0 0 0 30 6 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13031] ppid=13024 vsize=10561112 CPUtime=0.27 cores=0,2,4,6
/proc/13026/task/13031/stat : 13031 (java) S 13024 13026 12030 0 -1 4202560 30492 0 0 0 23 4 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13032] ppid=13024 vsize=10561112 CPUtime=0.34 cores=0,2,4,6
/proc/13026/task/13032/stat : 13032 (java) S 13024 13026 12030 0 -1 4202560 37865 0 0 0 27 7 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13033] ppid=13024 vsize=10561112 CPUtime=0.3 cores=0,2,4,6
/proc/13026/task/13033/stat : 13033 (java) S 13024 13026 12030 0 -1 4202560 32006 0 0 0 24 6 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13034] ppid=13024 vsize=10561112 CPUtime=0.27 cores=0,2,4,6
/proc/13026/task/13034/stat : 13034 (java) S 13024 13026 12030 0 -1 4202560 26741 0 0 0 22 5 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13035] ppid=13024 vsize=10561112 CPUtime=0.26 cores=0,2,4,6
/proc/13026/task/13035/stat : 13035 (java) S 13024 13026 12030 0 -1 4202560 23376 0 0 0 22 4 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=10561112 CPUtime=0.31 cores=0,2,4,6
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 12030 0 -1 4202560 26580 0 0 0 27 4 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=10561112 CPUtime=0.01 cores=0,2,4,6
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 12030 0 -1 4202560 70 0 0 0 1 0 0 0 15 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 0 0 16800975 18446604440408262848 0 0 -1 2 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.64 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6855 0 0 0 63 1 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.8 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 8218 0 0 0 79 1 0 0 16 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13044] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13044/stat : 13044 (java) S 13024 13026 12030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13045] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13045/stat : 13045 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901476 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.45
Current children cumulated vsize (KiB) 10561112
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/548 13199
/proc/meminfo: memFree=8751572/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=1785.44 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 1054187 0 1 0 178407 137 0 0 25 0 19 0 814901454 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 1035767 2243 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=1781.5 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 788752 0 1 0 178063 87 0 0 25 0 19 0 814901455 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912506087286 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=10561112 CPUtime=0.28 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (java) S 13024 13026 12030 0 -1 4202560 35665 0 0 0 22 6 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13030] ppid=13024 vsize=10561112 CPUtime=0.36 cores=0,2,4,6
/proc/13026/task/13030/stat : 13030 (java) S 13024 13026 12030 0 -1 4202560 36313 0 0 0 30 6 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13031] ppid=13024 vsize=10561112 CPUtime=0.27 cores=0,2,4,6
/proc/13026/task/13031/stat : 13031 (java) S 13024 13026 12030 0 -1 4202560 30492 0 0 0 23 4 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13032] ppid=13024 vsize=10561112 CPUtime=0.34 cores=0,2,4,6
/proc/13026/task/13032/stat : 13032 (java) S 13024 13026 12030 0 -1 4202560 37865 0 0 0 27 7 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13033] ppid=13024 vsize=10561112 CPUtime=0.3 cores=0,2,4,6
/proc/13026/task/13033/stat : 13033 (java) S 13024 13026 12030 0 -1 4202560 32006 0 0 0 24 6 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13034] ppid=13024 vsize=10561112 CPUtime=0.27 cores=0,2,4,6
/proc/13026/task/13034/stat : 13034 (java) S 13024 13026 12030 0 -1 4202560 26741 0 0 0 22 5 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13035] ppid=13024 vsize=10561112 CPUtime=0.26 cores=0,2,4,6
/proc/13026/task/13035/stat : 13035 (java) S 13024 13026 12030 0 -1 4202560 23376 0 0 0 22 4 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=10561112 CPUtime=0.31 cores=0,2,4,6
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 12030 0 -1 4202560 26580 0 0 0 27 4 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=10561112 CPUtime=0.01 cores=0,2,4,6
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 12030 0 -1 4202560 70 0 0 0 1 0 0 0 15 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 0 0 16800975 18446604440408262848 0 0 -1 2 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.64 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6855 0 0 0 63 1 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.8 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 8218 0 0 0 79 1 0 0 16 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13044] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13044/stat : 13044 (java) S 13024 13026 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13045] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13045/stat : 13045 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901476 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 10561112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 2.05 2.05 2.00 3/548 13199
/proc/meminfo: memFree=8749960/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=10561112 CPUtime=1800.06 cores=0,2,4,6
/proc/13026/stat : 13026 (java) S 13024 13026 12030 0 -1 4202496 1054187 0 1 0 179869 137 0 0 25 0 19 0 814901454 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 2640278 1035767 2243 9 0 2631012 0
[pid=13026/tid=13027] ppid=13024 vsize=10561112 CPUtime=1796.12 cores=0,2,4,6
/proc/13026/task/13027/stat : 13027 (java) R 13024 13026 12030 0 -1 4202560 788752 0 1 0 179525 87 0 0 25 0 19 0 814901455 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 46912505940608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13026/tid=13029] ppid=13024 vsize=10561112 CPUtime=0.28 cores=0,2,4,6
/proc/13026/task/13029/stat : 13029 (java) S 13024 13026 12030 0 -1 4202560 35665 0 0 0 22 6 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13030] ppid=13024 vsize=10561112 CPUtime=0.36 cores=0,2,4,6
/proc/13026/task/13030/stat : 13030 (java) S 13024 13026 12030 0 -1 4202560 36313 0 0 0 30 6 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13031] ppid=13024 vsize=10561112 CPUtime=0.27 cores=0,2,4,6
/proc/13026/task/13031/stat : 13031 (java) S 13024 13026 12030 0 -1 4202560 30492 0 0 0 23 4 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13032] ppid=13024 vsize=10561112 CPUtime=0.34 cores=0,2,4,6
/proc/13026/task/13032/stat : 13032 (java) S 13024 13026 12030 0 -1 4202560 37865 0 0 0 27 7 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13033] ppid=13024 vsize=10561112 CPUtime=0.3 cores=0,2,4,6
/proc/13026/task/13033/stat : 13033 (java) S 13024 13026 12030 0 -1 4202560 32006 0 0 0 24 6 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13034] ppid=13024 vsize=10561112 CPUtime=0.27 cores=0,2,4,6
/proc/13026/task/13034/stat : 13034 (java) S 13024 13026 12030 0 -1 4202560 26741 0 0 0 22 5 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13035] ppid=13024 vsize=10561112 CPUtime=0.26 cores=0,2,4,6
/proc/13026/task/13035/stat : 13035 (java) S 13024 13026 12030 0 -1 4202560 23376 0 0 0 22 4 0 0 16 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13036] ppid=13024 vsize=10561112 CPUtime=0.31 cores=0,2,4,6
/proc/13026/task/13036/stat : 13036 (java) S 13024 13026 12030 0 -1 4202560 26580 0 0 0 27 4 0 0 15 0 19 0 814901457 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13037] ppid=13024 vsize=10561112 CPUtime=0.01 cores=0,2,4,6
/proc/13026/task/13037/stat : 13037 (java) S 13024 13026 12030 0 -1 4202560 70 0 0 0 1 0 0 0 15 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 0 0 16800975 18446604440408262848 0 0 -1 2 0 0 0
[pid=13026/tid=13038] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13038/stat : 13038 (java) S 13024 13026 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13039] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13039/stat : 13039 (java) S 13024 13026 12030 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814901458 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13040] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13040/stat : 13040 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118592433 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13041] ppid=13024 vsize=10561112 CPUtime=0.64 cores=0,2,4,6
/proc/13026/task/13041/stat : 13041 (java) S 13024 13026 12030 0 -1 4202560 6855 0 0 0 63 1 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13042] ppid=13024 vsize=10561112 CPUtime=0.8 cores=0,2,4,6
/proc/13026/task/13042/stat : 13042 (java) S 13024 13026 12030 0 -1 4202560 8218 0 0 0 79 1 0 0 16 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) S 13024 13026 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118584729 0 4 0 16800975 18446604440408262848 0 0 -1 6 0 0 0
[pid=13026/tid=13044] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13044/stat : 13044 (java) S 13024 13026 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814901460 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
[pid=13026/tid=13045] ppid=13024 vsize=10561112 CPUtime=0 cores=0,2,4,6
/proc/13026/task/13045/stat : 13045 (java) S 13024 13026 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901476 10814578688 1035767 33554432000 1073741824 1073778376 140737269981408 18446744073709551615 255118585344 0 4 0 16800975 18446604440408262848 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10561112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.02 s]
/proc/loadavg: 2.05 2.05 2.00 3/548 13199
/proc/meminfo: memFree=8749960/32951124 swapFree=67111204/67111528
[pid=13026] ppid=13024 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/13026/stat : 13026 (java) Z 13024 13026 12030 0 -1 4203548 1054220 0 1 0 179871 146 0 0 17 0 2 0 814901454 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13026/statm: 0 0 0 0 0 0 0
[pid=13026/tid=13043] ppid=13024 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/13026/task/13043/stat : 13043 (java) R 13024 13026 12030 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 814901460 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.1
CPU time (s): 1800.26
CPU user time (s): 1798.72
CPU system time (s): 1.54377
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 10561112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.54377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1054220
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= 38494
involuntary context switches= 11866
runsolver used 9.79351 second user time and 20.051 second system time
The end