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-3457080-1307215925/watcher-3457080-1307215925 -o /tmp/evaluation-result-3457080-1307215925/solver-3457080-1307215925 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457080-1307215925.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.20 0.33 0.11 3/593 5707
/proc/meminfo: memFree=20009088/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 1190 0 0 0 0 0 0 0 25 0 2 0 833190207 31313920 917 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 7645 921 699 9 0 383 0
[pid=5707/tid=5708] ppid=5705 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 7768 0 1 0 0 0 0 0 25 0 2 0 833190208 10694979584 8584 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0906199 s]
/proc/loadavg: 1.20 0.33 0.11 3/593 5707
/proc/meminfo: memFree=20009088/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10539616 CPUtime=0.09 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 12747 0 1 0 7 2 0 0 25 0 18 0 833190207 10792566784 12444 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2634904 12446 2088 9 0 2625638 0
[pid=5707/tid=5708] ppid=5705 vsize=10539616 CPUtime=0.08 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 11017 0 1 0 6 2 0 0 18 0 18 0 833190208 10792566784 12447 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 47552743532056 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539616
[startup+0.100649 s]
/proc/loadavg: 1.20 0.33 0.11 3/593 5707
/proc/meminfo: memFree=20009088/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10539616 CPUtime=0.1 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 12951 0 1 0 8 2 0 0 25 0 18 0 833190207 10792566784 12648 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2634904 12649 2092 9 0 2625638 0
[pid=5707/tid=5708] ppid=5705 vsize=10539616 CPUtime=0.09 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 11180 0 1 0 7 2 0 0 18 0 18 0 833190208 10792566784 12649 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699502027 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539616
[startup+0.300582 s]
/proc/loadavg: 1.20 0.33 0.11 3/593 5707
/proc/meminfo: memFree=20009088/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10542768 CPUtime=0.48 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 16119 0 1 0 46 2 0 0 25 0 19 0 833190207 10795794432 15397 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2635692 15397 2210 9 0 2626426 0
[pid=5707/tid=5708] ppid=5705 vsize=10542768 CPUtime=0.28 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 12978 0 1 0 26 2 0 0 19 0 19 0 833190208 10795794432 15397 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212687360320 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542768
[startup+0.700531 s]
/proc/loadavg: 1.20 0.33 0.11 3/593 5707
/proc/meminfo: memFree=20009088/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=1.61 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 43505 0 1 0 155 6 0 0 25 0 19 0 833190207 10810167296 40464 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 40471 2223 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=0.68 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 32416 0 1 0 64 4 0 0 18 0 19 0 833190208 10810167296 40474 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505660486 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10556804
[startup+1.5014 s]
/proc/loadavg: 1.20 0.33 0.11 3/612 5726
/proc/meminfo: memFree=19736332/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=2.76 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 130428 0 1 0 260 16 0 0 25 0 19 0 833190207 10810167296 127386 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 127391 2227 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=1.48 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 119276 0 1 0 134 14 0 0 18 0 19 0 833190208 10810167296 127392 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505646886 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5707/tid=5710] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5710/stat : 5710 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127395 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5711] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5711/stat : 5711 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127397 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5712] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5712/stat : 5712 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127399 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5713] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5713/stat : 5713 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127401 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5714] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5714/stat : 5714 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127403 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5715] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5715/stat : 5715 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127404 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5716] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5716/stat : 5716 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127406 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5717] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5717/stat : 5717 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 127408 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5718] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5718/stat : 5718 (java) S 5705 5707 5603 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833190210 10810167296 127410 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 0 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5719] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5719/stat : 5719 (java) S 5705 5707 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833190211 10810167296 127413 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5720] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5720/stat : 5720 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833190211 10810167296 127414 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5721] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5721/stat : 5721 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 127417 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699498929 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5722] ppid=5705 vsize=10556804 CPUtime=0.65 cores=0,2,4,6
/proc/5707/task/5722/stat : 5722 (java) S 5705 5707 5603 0 -1 4202560 5561 0 0 0 64 1 0 0 22 0 19 0 833190213 10810167296 127419 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5723] ppid=5705 vsize=10556804 CPUtime=0.61 cores=0,2,4,6
/proc/5707/task/5723/stat : 5723 (java) S 5705 5707 5603 0 -1 4202560 4437 0 0 0 61 0 0 0 15 0 19 0 833190213 10810167296 127422 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5724] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5724/stat : 5724 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 127425 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5725] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5725/stat : 5725 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833190213 10810167296 127428 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5726] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5726/stat : 5726 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833190237 10810167296 127431 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10556804
[startup+3.10113 s]
/proc/loadavg: 1.26 0.36 0.12 3/612 5726
/proc/meminfo: memFree=19257320/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=4.39 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 291289 0 1 0 402 37 0 0 25 0 19 0 833190207 10810167296 288246 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 288253 2228 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=3.08 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 280136 0 1 0 273 35 0 0 18 0 19 0 833190208 10810167296 288255 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505660489 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5707/tid=5710] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5710/stat : 5710 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288259 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5711] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5711/stat : 5711 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288262 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5712] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5712/stat : 5712 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288266 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5713] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5713/stat : 5713 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288269 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5714] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5714/stat : 5714 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288272 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5715] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5715/stat : 5715 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288275 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5716] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5716/stat : 5716 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288278 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5717] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5717/stat : 5717 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 288281 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5718] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5718/stat : 5718 (java) S 5705 5707 5603 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833190210 10810167296 288283 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 0 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5719] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5719/stat : 5719 (java) S 5705 5707 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833190211 10810167296 288286 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5720] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5720/stat : 5720 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833190211 10810167296 288288 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5721] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5721/stat : 5721 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 288289 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699498929 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5722] ppid=5705 vsize=10556804 CPUtime=0.68 cores=0,2,4,6
/proc/5707/task/5722/stat : 5722 (java) S 5705 5707 5603 0 -1 4202560 5565 0 0 0 67 1 0 0 15 0 19 0 833190213 10810167296 288290 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5723] ppid=5705 vsize=10556804 CPUtime=0.61 cores=0,2,4,6
/proc/5707/task/5723/stat : 5723 (java) S 5705 5707 5603 0 -1 4202560 4437 0 0 0 61 0 0 0 15 0 19 0 833190213 10810167296 288292 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5724] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5724/stat : 5724 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 288294 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5725] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5725/stat : 5725 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833190213 10810167296 288296 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5726] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5726/stat : 5726 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833190237 10810167296 288299 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10556804
[startup+6.30156 s]
/proc/loadavg: 1.26 0.36 0.12 3/612 5726
/proc/meminfo: memFree=17940688/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=7.6 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 603931 0 1 0 690 70 0 0 25 0 19 0 833190207 10810167296 600836 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 600838 2229 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=6.28 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 592770 0 1 0 560 68 0 0 21 0 19 0 833190208 10810167296 600839 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505725668 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5707/tid=5710] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5710/stat : 5710 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600841 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5711] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5711/stat : 5711 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600842 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5712] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5712/stat : 5712 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600844 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5713] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5713/stat : 5713 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600845 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5714] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5714/stat : 5714 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600847 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5715] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5715/stat : 5715 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600848 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5716] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5716/stat : 5716 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600849 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5717] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5717/stat : 5717 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190209 10810167296 600851 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5718] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5718/stat : 5718 (java) S 5705 5707 5603 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833190210 10810167296 600852 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 0 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5719] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5719/stat : 5719 (java) S 5705 5707 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833190211 10810167296 600853 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5720] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5720/stat : 5720 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833190211 10810167296 600855 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5721] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5721/stat : 5721 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 600857 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699498929 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5722] ppid=5705 vsize=10556804 CPUtime=0.68 cores=0,2,4,6
/proc/5707/task/5722/stat : 5722 (java) S 5705 5707 5603 0 -1 4202560 5565 0 0 0 67 1 0 0 15 0 19 0 833190213 10810167296 600859 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5723] ppid=5705 vsize=10556804 CPUtime=0.62 cores=0,2,4,6
/proc/5707/task/5723/stat : 5723 (java) S 5705 5707 5603 0 -1 4202560 4438 0 0 0 62 0 0 0 15 0 19 0 833190213 10810167296 600861 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=5707/tid=5726] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5726/stat : 5726 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833190237 10810167296 918032 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.8
Current children cumulated vsize (KiB) 10556804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.71 3/612 5772
/proc/meminfo: memFree=16159764/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=1726.9 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 925463 0 1 0 172579 111 0 0 25 0 19 0 833190207 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 918603 2258 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=1720.25 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 835004 0 1 0 171929 96 0 0 25 0 19 0 833190208 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505896019 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5707/tid=5710] ppid=5705 vsize=10556804 CPUtime=0.47 cores=0,2,4,6
/proc/5707/task/5710/stat : 5710 (java) S 5705 5707 5603 0 -1 4202560 6935 0 0 0 46 1 0 0 15 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5711] ppid=5705 vsize=10556804 CPUtime=0.53 cores=0,2,4,6
/proc/5707/task/5711/stat : 5711 (java) S 5705 5707 5603 0 -1 4202560 7714 0 0 0 52 1 0 0 16 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5712] ppid=5705 vsize=10556804 CPUtime=0.62 cores=0,2,4,6
/proc/5707/task/5712/stat : 5712 (java) S 5705 5707 5603 0 -1 4202560 11466 0 0 0 61 1 0 0 15 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5713] ppid=5705 vsize=10556804 CPUtime=0.51 cores=0,2,4,6
/proc/5707/task/5713/stat : 5713 (java) S 5705 5707 5603 0 -1 4202560 5293 0 0 0 51 0 0 0 15 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5714] ppid=5705 vsize=10556804 CPUtime=0.55 cores=0,2,4,6
/proc/5707/task/5714/stat : 5714 (java) S 5705 5707 5603 0 -1 4202560 11498 0 0 0 54 1 0 0 15 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5715] ppid=5705 vsize=10556804 CPUtime=0.51 cores=0,2,4,6
/proc/5707/task/5715/stat : 5715 (java) S 5705 5707 5603 0 -1 4202560 6801 0 0 0 50 1 0 0 16 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5716] ppid=5705 vsize=10556804 CPUtime=0.54 cores=0,2,4,6
/proc/5707/task/5716/stat : 5716 (java) S 5705 5707 5603 0 -1 4202560 8554 0 0 0 53 1 0 0 16 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5717] ppid=5705 vsize=10556804 CPUtime=0.6 cores=0,2,4,6
/proc/5707/task/5717/stat : 5717 (java) S 5705 5707 5603 0 -1 4202560 12587 0 0 0 59 1 0 0 16 0 19 0 833190209 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5718] ppid=5705 vsize=10556804 CPUtime=0.48 cores=0,2,4,6
/proc/5707/task/5718/stat : 5718 (java) S 5705 5707 5603 0 -1 4202560 5794 0 0 0 47 1 0 0 15 0 19 0 833190210 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 0 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5719] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5719/stat : 5719 (java) S 5705 5707 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833190211 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5720] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5720/stat : 5720 (java) S 5705 5707 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833190211 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5721] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5721/stat : 5721 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699498929 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5722] ppid=5705 vsize=10556804 CPUtime=0.91 cores=0,2,4,6
/proc/5707/task/5722/stat : 5722 (java) S 5705 5707 5603 0 -1 4202560 8100 0 0 0 90 1 0 0 15 0 19 0 833190213 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5723] ppid=5705 vsize=10556804 CPUtime=0.79 cores=0,2,4,6
/proc/5707/task/5723/stat : 5723 (java) S 5705 5707 5603 0 -1 4202560 4468 0 0 0 79 0 0 0 15 0 19 0 833190213 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5724] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5724/stat : 5724 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5725] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5725/stat : 5725 (java) S 5705 5707 5603 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833190213 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5726] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5726/stat : 5726 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833190237 10810167296 918603 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1726.9
Current children cumulated vsize (KiB) 10556804
[startup+1782.3 s]
/proc/loadavg: 2.15 2.06 1.74 3/612 5831
/proc/meminfo: memFree=16902368/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=1787.01 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 926285 0 1 0 178589 112 0 0 25 0 19 0 833190207 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 919411 2258 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=1780.21 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 835008 0 1 0 177925 96 0 0 25 0 19 0 833190208 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505725017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5707/tid=5710] ppid=5705 vsize=10556804 CPUtime=0.47 cores=0,2,4,6
/proc/5707/task/5710/stat : 5710 (java) S 5705 5707 5603 0 -1 4202560 6935 0 0 0 46 1 0 0 15 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5711] ppid=5705 vsize=10556804 CPUtime=0.55 cores=0,2,4,6
/proc/5707/task/5711/stat : 5711 (java) S 5705 5707 5603 0 -1 4202560 7855 0 0 0 54 1 0 0 15 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5712] ppid=5705 vsize=10556804 CPUtime=0.64 cores=0,2,4,6
/proc/5707/task/5712/stat : 5712 (java) S 5705 5707 5603 0 -1 4202560 11566 0 0 0 63 1 0 0 16 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5713] ppid=5705 vsize=10556804 CPUtime=0.53 cores=0,2,4,6
/proc/5707/task/5713/stat : 5713 (java) S 5705 5707 5603 0 -1 4202560 5448 0 0 0 53 0 0 0 15 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5714] ppid=5705 vsize=10556804 CPUtime=0.58 cores=0,2,4,6
/proc/5707/task/5714/stat : 5714 (java) S 5705 5707 5603 0 -1 4202560 11569 0 0 0 57 1 0 0 15 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5715] ppid=5705 vsize=10556804 CPUtime=0.54 cores=0,2,4,6
/proc/5707/task/5715/stat : 5715 (java) S 5705 5707 5603 0 -1 4202560 6988 0 0 0 53 1 0 0 16 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5716] ppid=5705 vsize=10556804 CPUtime=0.56 cores=0,2,4,6
/proc/5707/task/5716/stat : 5716 (java) S 5705 5707 5603 0 -1 4202560 8635 0 0 0 55 1 0 0 16 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5717] ppid=5705 vsize=10556804 CPUtime=0.62 cores=0,2,4,6
/proc/5707/task/5717/stat : 5717 (java) S 5705 5707 5603 0 -1 4202560 12662 0 0 0 61 1 0 0 15 0 19 0 833190209 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5718] ppid=5705 vsize=10556804 CPUtime=0.48 cores=0,2,4,6
/proc/5707/task/5718/stat : 5718 (java) S 5705 5707 5603 0 -1 4202560 5798 0 0 0 47 1 0 0 15 0 19 0 833190210 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 0 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5719] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5719/stat : 5719 (java) S 5705 5707 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833190211 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5720] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5720/stat : 5720 (java) S 5705 5707 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833190211 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5721] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5721/stat : 5721 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699498929 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5722] ppid=5705 vsize=10556804 CPUtime=0.91 cores=0,2,4,6
/proc/5707/task/5722/stat : 5722 (java) S 5705 5707 5603 0 -1 4202560 8100 0 0 0 90 1 0 0 15 0 19 0 833190213 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5723] ppid=5705 vsize=10556804 CPUtime=0.79 cores=0,2,4,6
/proc/5707/task/5723/stat : 5723 (java) S 5705 5707 5603 0 -1 4202560 4468 0 0 0 79 0 0 0 15 0 19 0 833190213 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5724] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5724/stat : 5724 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5725] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5725/stat : 5725 (java) S 5705 5707 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833190213 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5726] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5726/stat : 5726 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833190237 10810167296 919411 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.01
Current children cumulated vsize (KiB) 10556804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.13 2.05 1.74 3/612 5831
/proc/meminfo: memFree=16703220/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=10556804 CPUtime=1800.05 cores=0,2,4,6
/proc/5707/stat : 5707 (java) S 5705 5707 5603 0 -1 4202496 926535 0 1 0 179893 112 0 0 25 0 19 0 833190207 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 2639201 919660 2258 9 0 2629935 0
[pid=5707/tid=5708] ppid=5705 vsize=10556804 CPUtime=1793.22 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4202560 835009 0 1 0 179226 96 0 0 25 0 19 0 833190208 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 46912505725057 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5707/tid=5710] ppid=5705 vsize=10556804 CPUtime=0.48 cores=0,2,4,6
/proc/5707/task/5710/stat : 5710 (java) S 5705 5707 5603 0 -1 4202560 6965 0 0 0 47 1 0 0 16 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5711] ppid=5705 vsize=10556804 CPUtime=0.55 cores=0,2,4,6
/proc/5707/task/5711/stat : 5711 (java) S 5705 5707 5603 0 -1 4202560 7855 0 0 0 54 1 0 0 15 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5712] ppid=5705 vsize=10556804 CPUtime=0.64 cores=0,2,4,6
/proc/5707/task/5712/stat : 5712 (java) S 5705 5707 5603 0 -1 4202560 11566 0 0 0 63 1 0 0 15 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5713] ppid=5705 vsize=10556804 CPUtime=0.55 cores=0,2,4,6
/proc/5707/task/5713/stat : 5713 (java) S 5705 5707 5603 0 -1 4202560 5601 0 0 0 55 0 0 0 16 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5714] ppid=5705 vsize=10556804 CPUtime=0.59 cores=0,2,4,6
/proc/5707/task/5714/stat : 5714 (java) S 5705 5707 5603 0 -1 4202560 11574 0 0 0 58 1 0 0 16 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5715] ppid=5705 vsize=10556804 CPUtime=0.55 cores=0,2,4,6
/proc/5707/task/5715/stat : 5715 (java) S 5705 5707 5603 0 -1 4202560 7049 0 0 0 54 1 0 0 16 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5716] ppid=5705 vsize=10556804 CPUtime=0.56 cores=0,2,4,6
/proc/5707/task/5716/stat : 5716 (java) S 5705 5707 5603 0 -1 4202560 8635 0 0 0 55 1 0 0 15 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5717] ppid=5705 vsize=10556804 CPUtime=0.62 cores=0,2,4,6
/proc/5707/task/5717/stat : 5717 (java) S 5705 5707 5603 0 -1 4202560 12662 0 0 0 61 1 0 0 15 0 19 0 833190209 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
[pid=5707/tid=5718] ppid=5705 vsize=10556804 CPUtime=0.48 cores=0,2,4,6
/proc/5707/task/5718/stat : 5718 (java) S 5705 5707 5603 0 -1 4202560 5798 0 0 0 47 1 0 0 15 0 19 0 833190210 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 0 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5719] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5719/stat : 5719 (java) S 5705 5707 5603 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833190211 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5720] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5720/stat : 5720 (java) S 5705 5707 5603 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833190211 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5721] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5721/stat : 5721 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699498929 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5722] ppid=5705 vsize=10556804 CPUtime=0.91 cores=0,2,4,6
/proc/5707/task/5722/stat : 5722 (java) S 5705 5707 5603 0 -1 4202560 8100 0 0 0 90 1 0 0 15 0 19 0 833190213 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 0 0 0 0
[pid=5707/tid=5723] ppid=5705 vsize=10556804 CPUtime=0.79 cores=0,2,4,6
/proc/5707/task/5723/stat : 5723 (java) S 5705 5707 5603 0 -1 4202560 4468 0 0 0 79 0 0 0 15 0 19 0 833190213 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5724] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5724/stat : 5724 (java) S 5705 5707 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833190213 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491225 0 4 0 16800975 18446604450577278144 0 0 -1 2 0 0 0
[pid=5707/tid=5725] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5725/stat : 5725 (java) S 5705 5707 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833190213 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 4 0 0 0
[pid=5707/tid=5726] ppid=5705 vsize=10556804 CPUtime=0 cores=0,2,4,6
/proc/5707/task/5726/stat : 5726 (java) S 5705 5707 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833190237 10810167296 919660 33554432000 1073741824 1073778376 140734790226704 18446744073709551615 212699491840 0 4 0 16800975 18446604450577278144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10556804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.43 s]
/proc/loadavg: 2.13 2.05 1.74 3/612 5831
/proc/meminfo: memFree=16703220/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/5707/stat : 5707 (java) Z 5705 5707 5603 0 -1 4203548 926571 0 1 0 179899 119 0 0 17 0 2 0 833190207 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 0 0 0 0 0 0 0
[pid=5707/tid=5708] ppid=5705 vsize=0 CPUtime=1793.31 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4203588 835009 0 1 0 179228 103 0 0 25 0 2 0 833190208 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1795.5 s]
/proc/loadavg: 2.13 2.05 1.74 3/612 5831
/proc/meminfo: memFree=16703220/32951124 swapFree=58940260/67111528
[pid=5707] ppid=5705 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/5707/stat : 5707 (java) Z 5705 5707 5603 0 -1 4203548 926571 0 1 0 179899 126 0 0 17 0 2 0 833190207 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5707/statm: 0 0 0 0 0 0 0
[pid=5707/tid=5708] ppid=5705 vsize=0 CPUtime=1793.38 cores=0,2,4,6
/proc/5707/task/5708/stat : 5708 (java) R 5705 5707 5603 0 -1 4203588 835009 0 1 0 179228 110 0 0 25 0 2 0 833190208 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.51
CPU time (s): 1800.27
CPU user time (s): 1799
CPU system time (s): 1.27281
CPU usage (%): 100.265
Max. virtual memory (cumulated for all children) (KiB): 10556804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.27281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926571
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= 40117
involuntary context switches= 24662
runsolver used 11.5432 second user time and 23.8624 second system time
The end