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-3457477-1307221270/watcher-3457477-1307221270 -o /tmp/evaluation-result-3457477-1307221270/solver-3457477-1307221270 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457477-1307221270.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.96 2.01 2.00 3/535 23388
/proc/meminfo: memFree=17554316/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 4998 0 1 0 0 0 0 0 25 0 2 0 833723671 10694979584 4700 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2611079 4714 917 9 0 2602235 0
[pid=23388/tid=23389] ppid=23386 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 4372 0 1 0 0 0 0 0 25 0 2 0 833723672 10694979584 5188 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.102166 s]
/proc/loadavg: 1.96 2.01 2.00 3/535 23388
/proc/meminfo: memFree=17554316/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10540116 CPUtime=0.1 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 13006 0 1 0 9 1 0 0 25 0 18 0 833723671 10793078784 12703 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2635029 12704 2092 9 0 2625763 0
[pid=23388/tid=23389] ppid=23386 vsize=10540116 CPUtime=0.08 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 11104 0 1 0 7 1 0 0 18 0 18 0 833723672 10793078784 12704 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 47349230201683 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) 10540116
[startup+0.201146 s]
/proc/loadavg: 1.96 2.01 2.00 3/535 23388
/proc/meminfo: memFree=17554316/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10540692 CPUtime=0.29 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 14181 0 1 0 27 2 0 0 25 0 18 0 833723671 10793668608 13811 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2635173 13812 2185 9 0 2625907 0
[pid=23388/tid=23389] ppid=23386 vsize=10540692 CPUtime=0.18 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 11769 0 1 0 17 1 0 0 18 0 18 0 833723672 10793668608 13812 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505530357 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540692
[startup+0.30619 s]
/proc/loadavg: 1.96 2.01 2.00 3/535 23388
/proc/meminfo: memFree=17554316/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10542832 CPUtime=0.54 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 16293 0 1 0 52 2 0 0 25 0 19 0 833723671 10795859968 15471 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2635708 15492 2209 9 0 2626442 0
[pid=23388/tid=23389] ppid=23386 vsize=10542832 CPUtime=0.28 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 12847 0 1 0 27 1 0 0 19 0 19 0 833723672 10795859968 15504 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505164420 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10542832
[startup+0.833071 s]
/proc/loadavg: 1.96 2.01 2.00 3/535 23388
/proc/meminfo: memFree=17554316/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=1.78 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 42191 0 1 0 173 5 0 0 25 0 19 0 833723671 10804940800 38265 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 38271 2224 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=0.81 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 30634 0 1 0 78 3 0 0 18 0 19 0 833723672 10804940800 38277 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505704014 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 10551700
[startup+1.50091 s]
/proc/loadavg: 1.96 2.01 2.00 3/554 23407
/proc/meminfo: memFree=17224148/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=2.5 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 90906 0 1 0 240 10 0 0 25 0 19 0 833723671 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 86979 2227 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=1.48 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 79331 0 1 0 139 9 0 0 18 0 19 0 833723672 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505651952 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23388/tid=23391] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23391/stat : 23391 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23392] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23392/stat : 23392 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23393] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23393/stat : 23393 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23394] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23394/stat : 23394 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23395] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23395/stat : 23395 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23396] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23396/stat : 23396 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23397] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23397/stat : 23397 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23398] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23398/stat : 23398 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23399] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23399/stat : 23399 (java) S 23386 23388 22626 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23400] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23400/stat : 23400 (java) S 23386 23388 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833723675 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23401] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833723675 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.52 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3236 0 0 0 52 0 0 0 20 0 19 0 833723677 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.47 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7179 0 0 0 47 0 0 0 15 0 19 0 833723677 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23405] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23405/stat : 23405 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23406] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23406/stat : 23406 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833723677 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23407] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23407/stat : 23407 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723699 10804940800 86979 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 10551700
[startup+3.10159 s]
/proc/loadavg: 1.96 2.01 2.00 3/554 23407
/proc/meminfo: memFree=16846816/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=4.1 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 237286 0 1 0 386 24 0 0 25 0 19 0 833723671 10804940800 233359 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 233367 2227 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=3.08 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 225720 0 1 0 285 23 0 0 19 0 19 0 833723672 10804940800 233369 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505703995 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23388/tid=23391] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23391/stat : 23391 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233374 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23392] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23392/stat : 23392 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233378 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23393] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23393/stat : 23393 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233381 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23394] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23394/stat : 23394 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233386 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23395] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23395/stat : 23395 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233391 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23396] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23396/stat : 23396 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233394 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23397] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23397/stat : 23397 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233397 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23398] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23398/stat : 23398 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 233403 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23399] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23399/stat : 23399 (java) S 23386 23388 22626 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833723675 10804940800 233407 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23400] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23400/stat : 23400 (java) S 23386 23388 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833723675 10804940800 233410 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23401] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833723675 10804940800 233414 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 233419 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.52 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3236 0 0 0 52 0 0 0 20 0 19 0 833723677 10804940800 233422 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.48 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7181 0 0 0 48 0 0 0 15 0 19 0 833723677 10804940800 233426 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23405] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23405/stat : 23405 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 233431 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23406] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23406/stat : 23406 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833723677 10804940800 233435 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23407] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23407/stat : 23407 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723699 10804940800 233438 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 10551700
[startup+6.30095 s]
/proc/loadavg: 2.05 2.03 2.00 3/554 23408
/proc/meminfo: memFree=15400112/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=7.35 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 615033 0 1 0 676 59 0 0 25 0 19 0 833723671 10804940800 611068 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 611075 2228 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=6.28 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 603460 0 1 0 570 58 0 0 19 0 19 0 833723672 10804940800 611078 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505659242 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23388/tid=23391] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23391/stat : 23391 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611082 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23392] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23392/stat : 23392 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611087 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23393] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23393/stat : 23393 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611093 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23394] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23394/stat : 23394 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611096 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23395] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23395/stat : 23395 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611100 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23396] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23396/stat : 23396 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611105 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23397] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23397/stat : 23397 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611111 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23398] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23398/stat : 23398 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723674 10804940800 611114 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23399] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23399/stat : 23399 (java) S 23386 23388 22626 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833723675 10804940800 611118 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23400] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23400/stat : 23400 (java) S 23386 23388 22626 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833723675 10804940800 611123 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23401] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833723675 10804940800 611129 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 611132 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.54 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3238 0 0 0 54 0 0 0 18 0 19 0 833723677 10804940800 611136 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.51 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7185 0 0 0 51 0 0 0 16 0 19 0 833723677 10804940800 611140 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.81 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3298 0 0 0 81 0 0 0 16 0 19 0 833723677 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.84 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7248 0 0 0 84 0 0 0 15 0 19 0 833723677 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23405] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23405/stat : 23405 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23406] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23406/stat : 23406 (java) S 23386 23388 22626 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833723677 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23407] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23407/stat : 23407 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723699 10804940800 1096454 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1672.93
Current children cumulated vsize (KiB) 10551700
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/554 23504
/proc/meminfo: memFree=13280564/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=1733.21 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 1112428 0 1 0 173185 136 0 0 25 0 19 0 833723671 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 1101845 2258 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=1715.72 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 807848 0 1 0 171492 80 0 0 25 0 19 0 833723672 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505841987 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23388/tid=23391] ppid=23386 vsize=10551700 CPUtime=1.69 cores=0,2,4,6
/proc/23388/task/23391/stat : 23391 (java) S 23386 23388 22626 0 -1 4202560 36448 0 0 0 163 6 0 0 16 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23392] ppid=23386 vsize=10551700 CPUtime=1.7 cores=0,2,4,6
/proc/23388/task/23392/stat : 23392 (java) S 23386 23388 22626 0 -1 4202560 40879 0 0 0 164 6 0 0 15 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23393] ppid=23386 vsize=10551700 CPUtime=1.63 cores=0,2,4,6
/proc/23388/task/23393/stat : 23393 (java) S 23386 23388 22626 0 -1 4202560 33874 0 0 0 156 7 0 0 16 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23394] ppid=23386 vsize=10551700 CPUtime=1.56 cores=0,2,4,6
/proc/23388/task/23394/stat : 23394 (java) S 23386 23388 22626 0 -1 4202560 35859 0 0 0 150 6 0 0 16 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23395] ppid=23386 vsize=10551700 CPUtime=1.98 cores=0,2,4,6
/proc/23388/task/23395/stat : 23395 (java) S 23386 23388 22626 0 -1 4202560 40769 0 0 0 191 7 0 0 16 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23396] ppid=23386 vsize=10551700 CPUtime=1.47 cores=0,2,4,6
/proc/23388/task/23396/stat : 23396 (java) S 23386 23388 22626 0 -1 4202560 34479 0 0 0 143 4 0 0 16 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23397] ppid=23386 vsize=10551700 CPUtime=1.61 cores=0,2,4,6
/proc/23388/task/23397/stat : 23397 (java) S 23386 23388 22626 0 -1 4202560 30374 0 0 0 156 5 0 0 15 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23398] ppid=23386 vsize=10551700 CPUtime=1.57 cores=0,2,4,6
/proc/23388/task/23398/stat : 23398 (java) S 23386 23388 22626 0 -1 4202560 35114 0 0 0 150 7 0 0 15 0 19 0 833723674 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23399] ppid=23386 vsize=10551700 CPUtime=2.5 cores=0,2,4,6
/proc/23388/task/23399/stat : 23399 (java) S 23386 23388 22626 0 -1 4202560 4989 0 0 0 249 1 0 0 15 0 19 0 833723675 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23400] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23400/stat : 23400 (java) S 23386 23388 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23401] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.81 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3298 0 0 0 81 0 0 0 16 0 19 0 833723677 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.84 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7248 0 0 0 84 0 0 0 15 0 19 0 833723677 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23405] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23405/stat : 23405 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23406] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23406/stat : 23406 (java) S 23386 23388 22626 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833723677 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23407] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23407/stat : 23407 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723699 10804940800 1101845 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1733.21
Current children cumulated vsize (KiB) 10551700
[startup+1782.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/554 23506
/proc/meminfo: memFree=13252360/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=1793.58 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 1116944 0 1 0 179220 138 0 0 25 0 19 0 833723671 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 1106213 2258 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=1775.62 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 807852 0 1 0 177482 80 0 0 25 0 19 0 833723672 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505680146 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23388/tid=23391] ppid=23386 vsize=10551700 CPUtime=1.72 cores=0,2,4,6
/proc/23388/task/23391/stat : 23391 (java) S 23386 23388 22626 0 -1 4202560 36579 0 0 0 166 6 0 0 15 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23392] ppid=23386 vsize=10551700 CPUtime=1.8 cores=0,2,4,6
/proc/23388/task/23392/stat : 23392 (java) S 23386 23388 22626 0 -1 4202560 41439 0 0 0 173 7 0 0 16 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23393] ppid=23386 vsize=10551700 CPUtime=1.68 cores=0,2,4,6
/proc/23388/task/23393/stat : 23393 (java) S 23386 23388 22626 0 -1 4202560 34467 0 0 0 161 7 0 0 16 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23394] ppid=23386 vsize=10551700 CPUtime=1.62 cores=0,2,4,6
/proc/23388/task/23394/stat : 23394 (java) S 23386 23388 22626 0 -1 4202560 36398 0 0 0 155 7 0 0 16 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23395] ppid=23386 vsize=10551700 CPUtime=2.07 cores=0,2,4,6
/proc/23388/task/23395/stat : 23395 (java) S 23386 23388 22626 0 -1 4202560 41921 0 0 0 200 7 0 0 16 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23396] ppid=23386 vsize=10551700 CPUtime=1.49 cores=0,2,4,6
/proc/23388/task/23396/stat : 23396 (java) S 23386 23388 22626 0 -1 4202560 34809 0 0 0 145 4 0 0 16 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23397] ppid=23386 vsize=10551700 CPUtime=1.66 cores=0,2,4,6
/proc/23388/task/23397/stat : 23397 (java) S 23386 23388 22626 0 -1 4202560 30751 0 0 0 161 5 0 0 16 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23398] ppid=23386 vsize=10551700 CPUtime=1.62 cores=0,2,4,6
/proc/23388/task/23398/stat : 23398 (java) S 23386 23388 22626 0 -1 4202560 35938 0 0 0 155 7 0 0 15 0 19 0 833723674 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23399] ppid=23386 vsize=10551700 CPUtime=2.5 cores=0,2,4,6
/proc/23388/task/23399/stat : 23399 (java) S 23386 23388 22626 0 -1 4202560 4991 0 0 0 249 1 0 0 15 0 19 0 833723675 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23400] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23400/stat : 23400 (java) S 23386 23388 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23401] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.81 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3298 0 0 0 81 0 0 0 16 0 19 0 833723677 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.84 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7248 0 0 0 84 0 0 0 15 0 19 0 833723677 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23405] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23405/stat : 23405 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23406] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23406/stat : 23406 (java) S 23386 23388 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833723677 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23407] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23407/stat : 23407 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723699 10804940800 1106213 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (KiB) 10551700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/554 23506
/proc/meminfo: memFree=13246520/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=10551700 CPUtime=1800.08 cores=0,2,4,6
/proc/23388/stat : 23388 (java) S 23386 23388 22626 0 -1 4202496 1118676 0 1 0 179870 138 0 0 25 0 19 0 833723671 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 2637925 1107815 2258 9 0 2628659 0
[pid=23388/tid=23389] ppid=23386 vsize=10551700 CPUtime=1781.98 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4202560 807853 0 1 0 178118 80 0 0 25 0 19 0 833723672 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 46912505679603 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23388/tid=23391] ppid=23386 vsize=10551700 CPUtime=1.76 cores=0,2,4,6
/proc/23388/task/23391/stat : 23391 (java) S 23386 23388 22626 0 -1 4202560 37173 0 0 0 170 6 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23392] ppid=23386 vsize=10551700 CPUtime=1.8 cores=0,2,4,6
/proc/23388/task/23392/stat : 23392 (java) S 23386 23388 22626 0 -1 4202560 41439 0 0 0 173 7 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23393] ppid=23386 vsize=10551700 CPUtime=1.7 cores=0,2,4,6
/proc/23388/task/23393/stat : 23393 (java) S 23386 23388 22626 0 -1 4202560 34469 0 0 0 163 7 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23394] ppid=23386 vsize=10551700 CPUtime=1.66 cores=0,2,4,6
/proc/23388/task/23394/stat : 23394 (java) S 23386 23388 22626 0 -1 4202560 37030 0 0 0 159 7 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23395] ppid=23386 vsize=10551700 CPUtime=2.1 cores=0,2,4,6
/proc/23388/task/23395/stat : 23395 (java) S 23386 23388 22626 0 -1 4202560 42419 0 0 0 202 8 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23396] ppid=23386 vsize=10551700 CPUtime=1.49 cores=0,2,4,6
/proc/23388/task/23396/stat : 23396 (java) S 23386 23388 22626 0 -1 4202560 34809 0 0 0 145 4 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23397] ppid=23386 vsize=10551700 CPUtime=1.66 cores=0,2,4,6
/proc/23388/task/23397/stat : 23397 (java) S 23386 23388 22626 0 -1 4202560 30751 0 0 0 161 5 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23398] ppid=23386 vsize=10551700 CPUtime=1.65 cores=0,2,4,6
/proc/23388/task/23398/stat : 23398 (java) S 23386 23388 22626 0 -1 4202560 35941 0 0 0 158 7 0 0 16 0 19 0 833723674 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23399] ppid=23386 vsize=10551700 CPUtime=2.5 cores=0,2,4,6
/proc/23388/task/23399/stat : 23399 (java) S 23386 23388 22626 0 -1 4202560 4993 0 0 0 249 1 0 0 15 0 19 0 833723675 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 0 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23400] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23400/stat : 23400 (java) S 23386 23388 22626 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23401] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23401/stat : 23401 (java) S 23386 23388 22626 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833723675 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23402] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23402/stat : 23402 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512515505 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23403] ppid=23386 vsize=10551700 CPUtime=0.81 cores=0,2,4,6
/proc/23388/task/23403/stat : 23403 (java) S 23386 23388 22626 0 -1 4202560 3298 0 0 0 81 0 0 0 16 0 19 0 833723677 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 0 0 0 0
[pid=23388/tid=23404] ppid=23386 vsize=10551700 CPUtime=0.84 cores=0,2,4,6
/proc/23388/task/23404/stat : 23404 (java) S 23386 23388 22626 0 -1 4202560 7248 0 0 0 84 0 0 0 15 0 19 0 833723677 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
[pid=23388/tid=23405] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23405/stat : 23405 (java) S 23386 23388 22626 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833723677 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512507801 0 4 0 16800975 18446604451487543424 0 0 -1 2 0 0 0
[pid=23388/tid=23406] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23406/stat : 23406 (java) S 23386 23388 22626 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833723677 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 4 0 0 0
[pid=23388/tid=23407] ppid=23386 vsize=10551700 CPUtime=0 cores=0,2,4,6
/proc/23388/task/23407/stat : 23407 (java) S 23386 23388 22626 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833723699 10804940800 1107815 33554432000 1073741824 1073778376 140735555152864 18446744073709551615 254512508416 0 4 0 16800975 18446604451487543424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.92 s]
/proc/loadavg: 2.03 2.03 2.00 3/538 23509
/proc/meminfo: memFree=14836604/32950928 swapFree=34259960/67111528
[pid=23388] ppid=23386 vsize=0 CPUtime=1800.35 cores=0,2,4,6
/proc/23388/stat : 23388 (java) Z 23386 23388 22626 0 -1 4203548 1118722 0 1 0 179881 154 0 0 17 0 2 0 833723671 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23388/statm: 0 0 0 0 0 0 0
[pid=23388/tid=23389] ppid=23386 vsize=0 CPUtime=1782.18 cores=0,2,4,6
/proc/23388/task/23389/stat : 23389 (java) R 23386 23388 22626 0 -1 4203588 807853 0 1 0 178123 95 0 0 25 0 2 0 833723672 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.93
CPU time (s): 1800.36
CPU user time (s): 1798.81
CPU system time (s): 1.55076
CPU usage (%): 100.639
Max. virtual memory (cumulated for all children) (KiB): 10551700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.55076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118722
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= 40245
involuntary context switches= 26447
runsolver used 9.95249 second user time and 20.9828 second system time
The end