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-3458415-1307161363/watcher-3458415-1307161363 -o /tmp/evaluation-result-3458415-1307161363/solver-3458415-1307161363 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458415-1307161363.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.78 1.97 1.98 2/536 23447
/proc/meminfo: memFree=28988136/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 4691 0 1 0 0 0 0 0 22 0 2 0 827734231 13850947584 4393 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3381579 4407 917 9 0 3372735 0
[pid=23447/tid=23456] ppid=23445 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 8045 0 1 0 0 1 0 0 24 0 2 0 827734232 13850947584 8861 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.103848 s]
/proc/loadavg: 1.78 1.97 1.98 2/536 23447
/proc/meminfo: memFree=28988136/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13622012 CPUtime=0.11 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 15598 0 1 0 8 3 0 0 22 0 18 0 827734231 13948940288 15295 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3405503 15295 2092 9 0 3396237 0
[pid=23447/tid=23456] ppid=23445 vsize=13622012 CPUtime=0.08 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 13699 0 1 0 6 2 0 0 18 0 18 0 827734232 13948940288 15296 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 47683115973459 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622012
[startup+0.200831 s]
/proc/loadavg: 1.78 1.97 1.98 2/536 23447
/proc/meminfo: memFree=28988136/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13622736 CPUtime=0.25 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 16569 0 1 0 22 3 0 0 22 0 18 0 827734231 13949681664 16235 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3405684 16235 2181 9 0 3396418 0
[pid=23447/tid=23456] ppid=23445 vsize=13622736 CPUtime=0.19 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 14408 0 1 0 16 3 0 0 18 0 18 0 827734232 13949681664 16235 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 47683115973428 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13622736
[startup+0.316379 s]
/proc/loadavg: 1.78 1.97 1.98 2/536 23447
/proc/meminfo: memFree=28988136/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13625392 CPUtime=0.52 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 19120 0 1 0 48 4 0 0 22 0 18 0 827734231 13952401408 18500 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3406348 18501 2223 9 0 3397082 0
[pid=23447/tid=23456] ppid=23445 vsize=13625392 CPUtime=0.3 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 15780 0 1 0 27 3 0 0 18 0 18 0 827734232 13952401408 18501 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13625392
[startup+0.700747 s]
/proc/loadavg: 1.78 1.97 1.98 2/536 23447
/proc/meminfo: memFree=28988136/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632064 CPUtime=1.58 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 60372 0 1 0 149 9 0 0 22 0 19 0 827734231 13959233536 57729 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408016 57729 2233 9 0 3398750 0
[pid=23447/tid=23456] ppid=23445 vsize=13632064 CPUtime=0.68 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 50739 0 1 0 61 7 0 0 19 0 19 0 827734232 13959233536 57729 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 47683111494608 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 13632064
[startup+1.50059 s]
/proc/loadavg: 1.78 1.97 1.98 3/572 23483
/proc/meminfo: memFree=28657600/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632064 CPUtime=2.57 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 60713 0 1 0 248 9 0 0 22 0 19 0 827734231 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408016 58069 2240 9 0 3398750 0
[pid=23447/tid=23456] ppid=23445 vsize=13632064 CPUtime=1.49 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 51046 0 1 0 141 8 0 0 20 0 19 0 827734232 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505979237 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23447/tid=23461] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23461/stat : 23461 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23462] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23462/stat : 23462 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23463] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23463/stat : 23463 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23464] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23464/stat : 23464 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23465] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23465/stat : 23465 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23466] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 827734235 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 827734235 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 827734235 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632064 CPUtime=0.52 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4666 0 0 0 52 0 0 0 21 0 19 0 827734237 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632064 CPUtime=0.54 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3841 0 0 0 54 0 0 0 15 0 19 0 827734237 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23480] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23480/stat : 23480 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827734237 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23481] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23481/stat : 23481 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827734237 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23483] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23483/stat : 23483 (java) S 23445 23447 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827734299 13959233536 58069 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 13632064
[startup+3.10131 s]
/proc/loadavg: 1.80 1.97 1.98 3/572 23483
/proc/meminfo: memFree=28653012/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632064 CPUtime=4.2 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 61185 0 1 0 410 10 0 0 22 0 19 0 827734231 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408016 58540 2240 9 0 3398750 0
[pid=23447/tid=23456] ppid=23445 vsize=13632064 CPUtime=3.09 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 51512 0 1 0 301 8 0 0 25 0 19 0 827734232 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505979237 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23447/tid=23461] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23461/stat : 23461 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23462] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23462/stat : 23462 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23463] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23463/stat : 23463 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23464] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23464/stat : 23464 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23465] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23465/stat : 23465 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23466] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827734235 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 827734235 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 827734235 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632064 CPUtime=0.53 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4669 0 0 0 53 0 0 0 15 0 19 0 827734237 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632064 CPUtime=0.54 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3843 0 0 0 54 0 0 0 15 0 19 0 827734237 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23480] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23480/stat : 23480 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827734237 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23481] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23481/stat : 23481 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827734237 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23483] ppid=23445 vsize=13632064 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23483/stat : 23483 (java) S 23445 23447 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827734299 13959233536 58540 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 13632064
[startup+6.30075 s]
/proc/loadavg: 1.80 1.97 1.98 3/572 23483
/proc/meminfo: memFree=28632784/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632288 CPUtime=7.44 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 61893 0 1 0 734 10 0 0 22 0 19 0 827734231 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408072 59230 2243 9 0 3398806 0
[pid=23447/tid=23456] ppid=23445 vsize=13632288 CPUtime=6.29 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 52149 0 1 0 621 8 0 0 25 0 19 0 827734232 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505978873 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23447/tid=23461] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23461/stat : 23461 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23462] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23462/stat : 23462 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23463] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23463/stat : 23463 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23464] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23464/stat : 23464 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23465] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23465/stat : 23465 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23466] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827734234 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827734235 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 827734235 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 827734235 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632288 CPUtime=0.53 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4669 0 0 0 53 0 0 0 15 0 19 0 827734237 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632288 CPUtime=0.59 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3914 0 0 0 59 0 0 0 15 0 19 0 827734237 13959462912 59230 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=23447/tid=23466] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1023 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1804 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632288 CPUtime=0.05 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 2516 0 0 0 5 0 0 0 15 0 19 0 827734234 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632288 CPUtime=1.95 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 12861 0 0 0 193 2 0 0 15 0 19 0 827734235 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632288 CPUtime=0.64 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4709 0 0 0 64 0 0 0 15 0 19 0 827734237 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632288 CPUtime=0.67 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3920 0 0 0 67 0 0 0 15 0 19 0 827734237 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23480] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23480/stat : 23480 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827734237 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23481] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23481/stat : 23481 (java) S 23445 23447 19861 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827734237 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23483] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23483/stat : 23483 (java) S 23445 23447 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827734299 13959462912 80362 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.84
Current children cumulated vsize (KiB) 13632288
[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/572 23529
/proc/meminfo: memFree=28500348/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632288 CPUtime=1723.85 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 83247 0 1 0 172371 14 0 0 22 0 19 0 827734231 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408072 80365 2268 9 0 3398806 0
[pid=23447/tid=23456] ppid=23445 vsize=13632288 CPUtime=1720.17 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 52299 0 1 0 172009 8 0 0 25 0 19 0 827734232 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505971865 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23447/tid=23461] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23461/stat : 23461 (java) S 23445 23447 19861 0 -1 4202560 6 0 0 0 3 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23462] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23462/stat : 23462 (java) S 23445 23447 19861 0 -1 4202560 705 0 0 0 3 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23463] ppid=23445 vsize=13632288 CPUtime=0.02 cores=1,3,5,7
/proc/23447/task/23463/stat : 23463 (java) S 23445 23447 19861 0 -1 4202560 732 0 0 0 2 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23464] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23464/stat : 23464 (java) S 23445 23447 19861 0 -1 4202560 360 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23465] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23465/stat : 23465 (java) S 23445 23447 19861 0 -1 4202560 1059 0 0 0 3 0 0 0 16 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23466] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1023 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1804 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632288 CPUtime=0.05 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 2516 0 0 0 5 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632288 CPUtime=2.01 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 12863 0 0 0 199 2 0 0 15 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632288 CPUtime=0.64 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4709 0 0 0 64 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632288 CPUtime=0.67 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3920 0 0 0 67 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23480] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23480/stat : 23480 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23481] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23481/stat : 23481 (java) S 23445 23447 19861 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23483] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23483/stat : 23483 (java) S 23445 23447 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827734299 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.85
Current children cumulated vsize (KiB) 13632288
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/572 23531
/proc/meminfo: memFree=28499460/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632288 CPUtime=1783.86 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 83252 0 1 0 178372 14 0 0 22 0 19 0 827734231 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408072 80365 2268 9 0 3398806 0
[pid=23447/tid=23456] ppid=23445 vsize=13632288 CPUtime=1780.1 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 52300 0 1 0 178002 8 0 0 25 0 19 0 827734232 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505779503 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23447/tid=23461] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23461/stat : 23461 (java) S 23445 23447 19861 0 -1 4202560 6 0 0 0 3 0 0 0 16 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23462] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23462/stat : 23462 (java) S 23445 23447 19861 0 -1 4202560 705 0 0 0 3 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23463] ppid=23445 vsize=13632288 CPUtime=0.02 cores=1,3,5,7
/proc/23447/task/23463/stat : 23463 (java) S 23445 23447 19861 0 -1 4202560 732 0 0 0 2 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23464] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23464/stat : 23464 (java) S 23445 23447 19861 0 -1 4202560 360 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23465] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23465/stat : 23465 (java) S 23445 23447 19861 0 -1 4202560 1059 0 0 0 3 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23466] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1023 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632288 CPUtime=0.05 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1804 0 0 0 5 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632288 CPUtime=0.05 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 2516 0 0 0 5 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632288 CPUtime=2.08 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 12865 0 0 0 206 2 0 0 15 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632288 CPUtime=0.64 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4709 0 0 0 64 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632288 CPUtime=0.67 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3920 0 0 0 67 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23480] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23480/stat : 23480 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23481] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23481/stat : 23481 (java) S 23445 23447 19861 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23483] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23483/stat : 23483 (java) S 23445 23447 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827734299 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.86
Current children cumulated vsize (KiB) 13632288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.5 s]
/proc/loadavg: 2.02 2.05 2.01 4/572 23531
/proc/meminfo: memFree=28499452/32951124 swapFree=58212616/67111528
[pid=23447] ppid=23445 vsize=13632288 CPUtime=1800.09 cores=1,3,5,7
/proc/23447/stat : 23447 (java) S 23445 23447 19861 0 -1 4202496 83254 0 1 0 179995 14 0 0 22 0 19 0 827734231 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23447/statm: 3408072 80365 2268 9 0 3398806 0
[pid=23447/tid=23456] ppid=23445 vsize=13632288 CPUtime=1796.34 cores=1,3,5,7
/proc/23447/task/23456/stat : 23456 (java) R 23445 23447 19861 0 -1 4202560 52300 0 1 0 179626 8 0 0 25 0 19 0 827734232 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 46912505971807 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23447/tid=23461] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23461/stat : 23461 (java) S 23445 23447 19861 0 -1 4202560 6 0 0 0 3 0 0 0 16 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23462] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23462/stat : 23462 (java) S 23445 23447 19861 0 -1 4202560 705 0 0 0 3 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23463] ppid=23445 vsize=13632288 CPUtime=0.02 cores=1,3,5,7
/proc/23447/task/23463/stat : 23463 (java) S 23445 23447 19861 0 -1 4202560 732 0 0 0 2 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23464] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23464/stat : 23464 (java) S 23445 23447 19861 0 -1 4202560 360 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23465] ppid=23445 vsize=13632288 CPUtime=0.03 cores=1,3,5,7
/proc/23447/task/23465/stat : 23465 (java) S 23445 23447 19861 0 -1 4202560 1059 0 0 0 3 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23466] ppid=23445 vsize=13632288 CPUtime=0.04 cores=1,3,5,7
/proc/23447/task/23466/stat : 23466 (java) S 23445 23447 19861 0 -1 4202560 1023 0 0 0 4 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23467] ppid=23445 vsize=13632288 CPUtime=0.05 cores=1,3,5,7
/proc/23447/task/23467/stat : 23467 (java) S 23445 23447 19861 0 -1 4202560 1804 0 0 0 5 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23468] ppid=23445 vsize=13632288 CPUtime=0.05 cores=1,3,5,7
/proc/23447/task/23468/stat : 23468 (java) S 23445 23447 19861 0 -1 4202560 2516 0 0 0 5 0 0 0 15 0 19 0 827734234 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23469] ppid=23445 vsize=13632288 CPUtime=2.08 cores=1,3,5,7
/proc/23447/task/23469/stat : 23469 (java) S 23445 23447 19861 0 -1 4202560 12865 0 0 0 206 2 0 0 15 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 0 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23470] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23470/stat : 23470 (java) S 23445 23447 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23471] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23471/stat : 23471 (java) S 23445 23447 19861 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827734235 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
[pid=23447/tid=23477] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23477/stat : 23477 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256172465 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23478] ppid=23445 vsize=13632288 CPUtime=0.64 cores=1,3,5,7
/proc/23447/task/23478/stat : 23478 (java) S 23445 23447 19861 0 -1 4202560 4709 0 0 0 64 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 5 0 0 0
[pid=23447/tid=23479] ppid=23445 vsize=13632288 CPUtime=0.67 cores=1,3,5,7
/proc/23447/task/23479/stat : 23479 (java) S 23445 23447 19861 0 -1 4202560 3920 0 0 0 67 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23480] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23480/stat : 23480 (java) S 23445 23447 19861 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256164761 0 4 0 16800975 18446604461711012096 0 0 -1 3 0 0 0
[pid=23447/tid=23481] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23481/stat : 23481 (java) S 23445 23447 19861 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827734237 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 1 0 0 0
[pid=23447/tid=23483] ppid=23445 vsize=13632288 CPUtime=0 cores=1,3,5,7
/proc/23447/task/23483/stat : 23483 (java) S 23445 23447 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827734299 13959462912 80365 33554432000 1073741824 1073778376 140733374603504 18446744073709551615 228256165376 0 4 0 16800975 18446604461711012096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13632288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.6
CPU time (s): 1800.19
CPU user time (s): 1800.03
CPU system time (s): 0.158975
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 13632788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83304
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= 37830
involuntary context switches= 5046
runsolver used 9.26159 second user time and 21.8877 second system time
The end