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-3456259-1307226795/watcher-3456259-1307226795 -o /tmp/evaluation-result-3456259-1307226795/solver-3456259-1307226795 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456259-1307226795.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.05 2.01 2/544 14705
/proc/meminfo: memFree=20018628/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 4434 0 1 0 0 0 0 0 18 0 2 0 815095408 10694979584 4136 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2611079 4149 917 9 0 2602235 0
[pid=14705/tid=14706] ppid=14703 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 7820 0 1 0 0 0 0 0 19 0 2 0 815095409 10694979584 8636 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0564479 s]
/proc/loadavg: 2.00 2.05 2.01 2/544 14705
/proc/meminfo: memFree=20018628/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 11538 0 1 0 4 0 0 0 18 0 13 0 815095408 10785947648 11235 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2633288 11235 1691 9 0 2624036 0
[pid=14705/tid=14706] ppid=14703 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 10390 0 1 0 4 0 0 0 25 0 13 0 815095409 10785947648 11235 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505228577 0 4 0 16800971 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533152
[startup+0.117497 s]
/proc/loadavg: 2.00 2.05 2.01 2/544 14705
/proc/meminfo: memFree=20018628/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10539928 CPUtime=0.13 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 13323 0 1 0 12 1 0 0 18 0 18 0 815095408 10792886272 13003 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2634982 13004 2133 9 0 2625716 0
[pid=14705/tid=14706] ppid=14703 vsize=10539928 CPUtime=0.1 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 11314 0 1 0 10 0 0 0 18 0 18 0 815095409 10792886272 13004 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 47816513854260 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10539928
[startup+0.300406 s]
/proc/loadavg: 2.00 2.05 2.01 2/544 14705
/proc/meminfo: memFree=20018628/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10541140 CPUtime=0.49 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 16187 0 1 0 48 1 0 0 18 0 18 0 815095408 10794127360 15416 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2635285 15417 2219 9 0 2626019 0
[pid=14705/tid=14706] ppid=14703 vsize=10541140 CPUtime=0.28 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 12771 0 1 0 27 1 0 0 18 0 18 0 815095409 10794127360 15417 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 47816510215786 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541140
[startup+0.700333 s]
/proc/loadavg: 2.00 2.05 2.01 2/544 14705
/proc/meminfo: memFree=20018628/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10555536 CPUtime=1.6 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 33624 0 1 0 156 4 0 0 18 0 19 0 815095408 10808868864 28784 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2638884 28787 2231 9 0 2629618 0
[pid=14705/tid=14706] ppid=14703 vsize=10555536 CPUtime=0.68 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 20441 0 1 0 66 2 0 0 19 0 19 0 815095409 10808868864 28790 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505864242 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10555536
[startup+1.50123 s]
/proc/loadavg: 2.00 2.05 2.01 5/563 14724
/proc/meminfo: memFree=19840732/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10554148 CPUtime=2.94 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 82713 0 1 0 284 10 0 0 18 0 19 0 815095408 10807447552 76270 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2638537 76274 2237 9 0 2629271 0
[pid=14705/tid=14706] ppid=14703 vsize=10554148 CPUtime=1.48 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 68146 0 1 0 141 7 0 0 20 0 19 0 815095409 10807447552 76275 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505806617 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14708] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14708/stat : 14708 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815095410 10807447552 76275 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14709] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14709/stat : 14709 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 76277 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14710] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14710/stat : 14710 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 76278 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14711] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14711/stat : 14711 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 76279 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14712] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14712/stat : 14712 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 76281 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14713] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14713/stat : 14713 (java) S 14703 14705 13318 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 76282 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14714] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14714/stat : 14714 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 815095410 10807447552 76283 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14715] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14715/stat : 14715 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 815095410 10807447552 76284 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14716] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14716/stat : 14716 (java) S 14703 14705 13318 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815095411 10807447552 76285 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 0 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14717] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14717/stat : 14717 (java) S 14703 14705 13318 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 815095412 10807447552 76286 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14718] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815095412 10807447552 76287 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10807447552 76289 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10554148 CPUtime=0.69 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 5993 0 0 0 69 0 0 0 15 0 19 0 815095414 10807447552 76291 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10554148 CPUtime=0.73 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7418 0 0 0 72 1 0 0 15 0 19 0 815095414 10807447552 76292 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10807447552 76293 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815095414 10807447552 76294 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815095445 10807447552 76296 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10554148
[startup+3.10095 s]
/proc/loadavg: 2.00 2.05 2.01 3/563 14724
/proc/meminfo: memFree=19547844/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10554148 CPUtime=4.54 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 192964 0 1 0 432 22 0 0 18 0 19 0 815095408 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2638537 186520 2237 9 0 2629271 0
[pid=14705/tid=14706] ppid=14703 vsize=10554148 CPUtime=3.09 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 178392 0 1 0 289 20 0 0 25 0 19 0 815095409 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505787405 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14708] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14708/stat : 14708 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815095410 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14709] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14709/stat : 14709 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14710] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14710/stat : 14710 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14711] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14711/stat : 14711 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14712] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14712/stat : 14712 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 186520 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14713] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14713/stat : 14713 (java) S 14703 14705 13318 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 186521 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14714] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14714/stat : 14714 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 815095410 10807447552 186523 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14715] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14715/stat : 14715 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 815095410 10807447552 186526 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14716] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14716/stat : 14716 (java) S 14703 14705 13318 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815095411 10807447552 186528 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 0 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14717] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14717/stat : 14717 (java) S 14703 14705 13318 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 815095412 10807447552 186530 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14718] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815095412 10807447552 186536 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10807447552 186539 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10554148 CPUtime=0.7 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 5993 0 0 0 70 0 0 0 15 0 19 0 815095414 10807447552 186543 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10554148 CPUtime=0.73 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7418 0 0 0 72 1 0 0 15 0 19 0 815095414 10807447552 186545 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10807447552 186545 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815095414 10807447552 186545 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815095445 10807447552 186546 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10554148
[startup+6.30137 s]
/proc/loadavg: 2.00 2.05 2.01 3/563 14724
/proc/meminfo: memFree=18675192/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10554148 CPUtime=7.78 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 396809 0 1 0 731 47 0 0 18 0 19 0 815095408 10807447552 390316 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2638537 390319 2238 9 0 2629271 0
[pid=14705/tid=14706] ppid=14703 vsize=10554148 CPUtime=6.28 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 382233 0 1 0 584 44 0 0 25 0 19 0 815095409 10807447552 390321 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505812271 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14708] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14708/stat : 14708 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815095410 10807447552 390322 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14709] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14709/stat : 14709 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 390324 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14710] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14710/stat : 14710 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 390326 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14711] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14711/stat : 14711 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 390328 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14712] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14712/stat : 14712 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 390331 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14713] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14713/stat : 14713 (java) S 14703 14705 13318 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 815095410 10807447552 390332 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14714] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14714/stat : 14714 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 815095410 10807447552 390334 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14715] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14715/stat : 14715 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 815095410 10807447552 390336 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14716] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14716/stat : 14716 (java) S 14703 14705 13318 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815095411 10807447552 390338 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 0 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14717] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14717/stat : 14717 (java) S 14703 14705 13318 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 815095412 10807447552 390339 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14718] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815095412 10807447552 390341 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10554148 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10807447552 390343 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10554148 CPUtime=0.72 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 5995 0 0 0 72 0 0 0 15 0 19 0 815095414 10807447552 390344 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10554148 CPUtime=0.75 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7424 0 0 0 74 1 0 0 15 0 19 0 815095414 10807447552 390346 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10556544 CPUtime=1.32 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 8910 0 0 0 132 0 0 0 15 0 19 0 815095414 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10556544 CPUtime=0.97 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7460 0 0 0 96 1 0 0 15 0 19 0 815095414 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 13318 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 815095414 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815095445 10809901056 947967 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1667.47
Current children cumulated vsize (KiB) 10556544
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 5/562 14826
/proc/meminfo: memFree=18893600/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10556544 CPUtime=1727.56 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 961080 0 1 0 172641 115 0 0 18 0 19 0 815095408 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2639136 949500 2268 9 0 2629870 0
[pid=14705/tid=14706] ppid=14703 vsize=10556544 CPUtime=1720.2 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 826154 0 1 0 171925 95 0 0 25 0 19 0 815095409 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505957051 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14708] ppid=14703 vsize=10556544 CPUtime=0.56 cores=1,3,5,7
/proc/14705/task/14708/stat : 14708 (java) S 14703 14705 13318 0 -1 4202560 16668 0 0 0 54 2 0 0 15 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14709] ppid=14703 vsize=10556544 CPUtime=0.49 cores=1,3,5,7
/proc/14705/task/14709/stat : 14709 (java) S 14703 14705 13318 0 -1 4202560 15934 0 0 0 48 1 0 0 16 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14710] ppid=14703 vsize=10556544 CPUtime=0.48 cores=1,3,5,7
/proc/14705/task/14710/stat : 14710 (java) S 14703 14705 13318 0 -1 4202560 11797 0 0 0 47 1 0 0 16 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14711] ppid=14703 vsize=10556544 CPUtime=0.59 cores=1,3,5,7
/proc/14705/task/14711/stat : 14711 (java) S 14703 14705 13318 0 -1 4202560 12975 0 0 0 57 2 0 0 16 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14712] ppid=14703 vsize=10556544 CPUtime=0.46 cores=1,3,5,7
/proc/14705/task/14712/stat : 14712 (java) S 14703 14705 13318 0 -1 4202560 11685 0 0 0 45 1 0 0 15 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14713] ppid=14703 vsize=10556544 CPUtime=0.58 cores=1,3,5,7
/proc/14705/task/14713/stat : 14713 (java) S 14703 14705 13318 0 -1 4202560 17658 0 0 0 55 3 0 0 15 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14714] ppid=14703 vsize=10556544 CPUtime=0.61 cores=1,3,5,7
/proc/14705/task/14714/stat : 14714 (java) S 14703 14705 13318 0 -1 4202560 12878 0 0 0 59 2 0 0 16 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14715] ppid=14703 vsize=10556544 CPUtime=0.58 cores=1,3,5,7
/proc/14705/task/14715/stat : 14715 (java) S 14703 14705 13318 0 -1 4202560 16360 0 0 0 56 2 0 0 15 0 19 0 815095410 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14716] ppid=14703 vsize=10556544 CPUtime=0.63 cores=1,3,5,7
/proc/14705/task/14716/stat : 14716 (java) S 14703 14705 13318 0 -1 4202560 1352 0 0 0 63 0 0 0 15 0 19 0 815095411 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 0 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14717] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14717/stat : 14717 (java) S 14703 14705 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14718] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10556544 CPUtime=1.32 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 8910 0 0 0 132 0 0 0 15 0 19 0 815095414 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10556544 CPUtime=0.97 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7460 0 0 0 96 1 0 0 15 0 19 0 815095414 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 13318 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 815095414 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815095445 10809901056 949500 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.56
Current children cumulated vsize (KiB) 10556544
[startup+1782.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/562 14874
/proc/meminfo: memFree=12866604/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10556544 CPUtime=1787.7 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 962890 0 1 0 178655 115 0 0 18 0 19 0 815095408 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2639136 951276 2268 9 0 2629870 0
[pid=14705/tid=14706] ppid=14703 vsize=10556544 CPUtime=1780.15 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 826157 0 1 0 177920 95 0 0 25 0 19 0 815095409 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505813338 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14708] ppid=14703 vsize=10556544 CPUtime=0.59 cores=1,3,5,7
/proc/14705/task/14708/stat : 14708 (java) S 14703 14705 13318 0 -1 4202560 17080 0 0 0 57 2 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14709] ppid=14703 vsize=10556544 CPUtime=0.53 cores=1,3,5,7
/proc/14705/task/14709/stat : 14709 (java) S 14703 14705 13318 0 -1 4202560 16291 0 0 0 52 1 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14710] ppid=14703 vsize=10556544 CPUtime=0.51 cores=1,3,5,7
/proc/14705/task/14710/stat : 14710 (java) S 14703 14705 13318 0 -1 4202560 12002 0 0 0 50 1 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14711] ppid=14703 vsize=10556544 CPUtime=0.59 cores=1,3,5,7
/proc/14705/task/14711/stat : 14711 (java) S 14703 14705 13318 0 -1 4202560 12975 0 0 0 57 2 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14712] ppid=14703 vsize=10556544 CPUtime=0.49 cores=1,3,5,7
/proc/14705/task/14712/stat : 14712 (java) S 14703 14705 13318 0 -1 4202560 12015 0 0 0 48 1 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14713] ppid=14703 vsize=10556544 CPUtime=0.61 cores=1,3,5,7
/proc/14705/task/14713/stat : 14713 (java) S 14703 14705 13318 0 -1 4202560 17920 0 0 0 58 3 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14714] ppid=14703 vsize=10556544 CPUtime=0.61 cores=1,3,5,7
/proc/14705/task/14714/stat : 14714 (java) S 14703 14705 13318 0 -1 4202560 12878 0 0 0 59 2 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14715] ppid=14703 vsize=10556544 CPUtime=0.6 cores=1,3,5,7
/proc/14705/task/14715/stat : 14715 (java) S 14703 14705 13318 0 -1 4202560 16593 0 0 0 58 2 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14716] ppid=14703 vsize=10556544 CPUtime=0.63 cores=1,3,5,7
/proc/14705/task/14716/stat : 14716 (java) S 14703 14705 13318 0 -1 4202560 1356 0 0 0 63 0 0 0 15 0 19 0 815095411 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 0 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14717] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14717/stat : 14717 (java) S 14703 14705 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14718] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10556544 CPUtime=1.32 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 8910 0 0 0 132 0 0 0 15 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10556544 CPUtime=0.97 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7460 0 0 0 96 1 0 0 15 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 13318 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815095445 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1787.7
Current children cumulated vsize (KiB) 10556544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.6 s]
/proc/loadavg: 2.13 2.06 2.02 3/562 14874
/proc/meminfo: memFree=11306508/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=10556544 CPUtime=1800.02 cores=1,3,5,7
/proc/14705/stat : 14705 (java) S 14703 14705 13318 0 -1 4202496 962890 0 1 0 179887 115 0 0 18 0 19 0 815095408 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 2639136 951276 2268 9 0 2629870 0
[pid=14705/tid=14706] ppid=14703 vsize=10556544 CPUtime=1792.47 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4202560 826157 0 1 0 179152 95 0 0 25 0 19 0 815095409 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 46912505806387 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14705/tid=14708] ppid=14703 vsize=10556544 CPUtime=0.59 cores=1,3,5,7
/proc/14705/task/14708/stat : 14708 (java) S 14703 14705 13318 0 -1 4202560 17080 0 0 0 57 2 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14709] ppid=14703 vsize=10556544 CPUtime=0.53 cores=1,3,5,7
/proc/14705/task/14709/stat : 14709 (java) S 14703 14705 13318 0 -1 4202560 16291 0 0 0 52 1 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14710] ppid=14703 vsize=10556544 CPUtime=0.51 cores=1,3,5,7
/proc/14705/task/14710/stat : 14710 (java) S 14703 14705 13318 0 -1 4202560 12002 0 0 0 50 1 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14711] ppid=14703 vsize=10556544 CPUtime=0.59 cores=1,3,5,7
/proc/14705/task/14711/stat : 14711 (java) S 14703 14705 13318 0 -1 4202560 12975 0 0 0 57 2 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14712] ppid=14703 vsize=10556544 CPUtime=0.49 cores=1,3,5,7
/proc/14705/task/14712/stat : 14712 (java) S 14703 14705 13318 0 -1 4202560 12015 0 0 0 48 1 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14713] ppid=14703 vsize=10556544 CPUtime=0.61 cores=1,3,5,7
/proc/14705/task/14713/stat : 14713 (java) S 14703 14705 13318 0 -1 4202560 17920 0 0 0 58 3 0 0 16 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14714] ppid=14703 vsize=10556544 CPUtime=0.61 cores=1,3,5,7
/proc/14705/task/14714/stat : 14714 (java) S 14703 14705 13318 0 -1 4202560 12878 0 0 0 59 2 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14715] ppid=14703 vsize=10556544 CPUtime=0.6 cores=1,3,5,7
/proc/14705/task/14715/stat : 14715 (java) S 14703 14705 13318 0 -1 4202560 16593 0 0 0 58 2 0 0 15 0 19 0 815095410 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14716] ppid=14703 vsize=10556544 CPUtime=0.63 cores=1,3,5,7
/proc/14705/task/14716/stat : 14716 (java) S 14703 14705 13318 0 -1 4202560 1356 0 0 0 63 0 0 0 15 0 19 0 815095411 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 0 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14717] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14717/stat : 14717 (java) S 14703 14705 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14718] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14718/stat : 14718 (java) S 14703 14705 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815095412 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14719] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14719/stat : 14719 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522121137 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14720] ppid=14703 vsize=10556544 CPUtime=1.32 cores=1,3,5,7
/proc/14705/task/14720/stat : 14720 (java) S 14703 14705 13318 0 -1 4202560 8910 0 0 0 132 0 0 0 15 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 5 0 0 0
[pid=14705/tid=14721] ppid=14703 vsize=10556544 CPUtime=0.97 cores=1,3,5,7
/proc/14705/task/14721/stat : 14721 (java) S 14703 14705 13318 0 -1 4202560 7460 0 0 0 96 1 0 0 15 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
[pid=14705/tid=14722] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14722/stat : 14722 (java) S 14703 14705 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522113433 0 4 0 16800975 18446604467498128640 0 0 -1 7 0 0 0
[pid=14705/tid=14723] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14723/stat : 14723 (java) S 14703 14705 13318 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 815095414 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 3 0 0 0
[pid=14705/tid=14724] ppid=14703 vsize=10556544 CPUtime=0 cores=1,3,5,7
/proc/14705/task/14724/stat : 14724 (java) S 14703 14705 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815095445 10809901056 951276 33554432000 1073741824 1073778376 140734368924256 18446744073709551615 233522114048 0 4 0 16800975 18446604467498128640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10556544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.73 s]
/proc/loadavg: 2.13 2.06 2.02 3/562 14874
/proc/meminfo: memFree=11306508/32951124 swapFree=64303760/67111528
[pid=14705] ppid=14703 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/14705/stat : 14705 (java) Z 14703 14705 13318 0 -1 4203548 962920 0 1 0 179891 122 0 0 17 0 2 0 815095408 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14705/statm: 0 0 0 0 0 0 0
[pid=14705/tid=14706] ppid=14703 vsize=0 CPUtime=1792.56 cores=1,3,5,7
/proc/14705/task/14706/stat : 14706 (java) R 14703 14705 13318 0 -1 4203588 826157 0 1 0 179154 102 0 0 25 0 2 0 815095409 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.8
CPU time (s): 1800.22
CPU user time (s): 1798.92
CPU system time (s): 1.3018
CPU usage (%): 100.302
Max. virtual memory (cumulated for all children) (KiB): 10565004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.3018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962920
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= 39253
involuntary context switches= 31670
runsolver used 9.54055 second user time and 22.6426 second system time
The end