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-3456599-1307218367/watcher-3456599-1307218367 -o /tmp/evaluation-result-3456599-1307218367/solver-3456599-1307218367 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456599-1307218367.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.02 2.05 1.86 6/417 17346
/proc/meminfo: memFree=29870776/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 2754 0 1 0 0 0 0 0 25 0 2 0 833436459 10681323520 2456 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2607745 2470 906 9 0 2598901 0
[pid=17346/tid=17347] ppid=17344 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 3729 0 1 0 0 0 0 0 25 0 2 0 833436460 10694979584 4545 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.01664 s]
/proc/loadavg: 2.02 2.05 1.86 6/417 17346
/proc/meminfo: memFree=29870776/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 5718 0 1 0 0 0 0 0 25 0 2 0 833436459 10694979584 5420 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2611079 5435 917 9 0 2602235 0
[pid=17346/tid=17347] ppid=17344 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 4630 0 1 0 0 0 0 0 25 0 2 0 833436460 10694979584 5446 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100628 s]
/proc/loadavg: 2.02 2.05 1.86 6/417 17346
/proc/meminfo: memFree=29870776/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10539664 CPUtime=0.09 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 13006 0 1 0 8 1 0 0 25 0 18 0 833436459 10792615936 12667 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2634916 12667 2092 9 0 2625650 0
[pid=17346/tid=17347] ppid=17344 vsize=10539664 CPUtime=0.08 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 11053 0 1 0 7 1 0 0 25 0 18 0 833436460 10792615936 12667 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912496197962 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539664
[startup+0.300592 s]
/proc/loadavg: 2.02 2.05 1.86 6/417 17346
/proc/meminfo: memFree=29870776/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10540596 CPUtime=0.43 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 16323 0 1 0 41 2 0 0 25 0 18 0 833436459 10793570304 15648 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2635149 15648 2199 9 0 2625883 0
[pid=17346/tid=17347] ppid=17344 vsize=10540596 CPUtime=0.25 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 13473 0 1 0 24 1 0 0 25 0 18 0 833436460 10793570304 15649 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10540596
[startup+0.700596 s]
/proc/loadavg: 2.02 2.05 1.86 6/417 17346
/proc/meminfo: memFree=29870776/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10543732 CPUtime=1.1 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 51687 0 1 0 104 6 0 0 25 0 18 0 833436459 10796781568 49572 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2635933 49577 2214 9 0 2626667 0
[pid=17346/tid=17347] ppid=17344 vsize=10543732 CPUtime=0.65 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 45783 0 1 0 61 4 0 0 25 0 18 0 833436460 10796781568 49579 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505649085 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10543732
[startup+1.50144 s]
/proc/loadavg: 2.02 2.05 1.86 3/435 17364
/proc/meminfo: memFree=29146044/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10543732 CPUtime=1.9 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 133878 0 1 0 175 15 0 0 25 0 18 0 833436459 10796781568 131763 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2635933 131768 2214 9 0 2626667 0
[pid=17346/tid=17347] ppid=17344 vsize=10543732 CPUtime=1.45 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 127974 0 1 0 132 13 0 0 25 0 18 0 833436460 10796781568 131770 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505554246 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17346/tid=17349] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17349/stat : 17349 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131773 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17350] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17350/stat : 17350 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131776 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17351] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17351/stat : 17351 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131776 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17352] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17352/stat : 17352 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131778 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17353] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17353/stat : 17353 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131780 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17354] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17354/stat : 17354 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131783 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17355] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17355/stat : 17355 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131785 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17356] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17356/stat : 17356 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436462 10796781568 131788 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17357] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17357/stat : 17357 (java) S 17344 17346 15661 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833436463 10796781568 131790 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17358] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833436463 10796781568 131793 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833436463 10796781568 131796 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436465 10796781568 131798 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10543732 CPUtime=0.2 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) S 17344 17346 15661 0 -1 4202560 2291 0 0 0 20 0 0 0 16 0 18 0 833436465 10796781568 131801 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10543732 CPUtime=0.21 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) S 17344 17346 15661 0 -1 4202560 2470 0 0 0 21 0 0 0 16 0 18 0 833436465 10796781568 131803 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833436465 10796781568 131806 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10543732 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833436465 10796781568 131809 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10543732
[startup+3.10109 s]
/proc/loadavg: 2.02 2.05 1.86 3/435 17364
/proc/meminfo: memFree=28238740/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10544920 CPUtime=3.56 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 292440 0 1 0 323 33 0 0 25 0 19 0 833436459 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2636230 290325 2229 9 0 2626964 0
[pid=17346/tid=17347] ppid=17344 vsize=10544920 CPUtime=3.05 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 286475 0 1 0 273 32 0 0 25 0 19 0 833436460 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505166908 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17346/tid=17349] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17349/stat : 17349 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17350] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17350/stat : 17350 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17351] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17351/stat : 17351 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17352] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17352/stat : 17352 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17353] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17353/stat : 17353 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17354] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17354/stat : 17354 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17355] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17355/stat : 17355 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17356] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17356/stat : 17356 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17357] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17357/stat : 17357 (java) S 17344 17346 15661 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833436463 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17358] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833436463 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833436463 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10544920 CPUtime=0.24 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) R 17344 17346 15661 0 -1 4202560 2309 0 0 0 24 0 0 0 16 0 19 0 833436465 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 47852522040832 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10544920 CPUtime=0.25 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) R 17344 17346 15661 0 -1 4202560 2505 0 0 0 25 0 0 0 15 0 19 0 833436465 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 47852517928624 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10544920 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) R 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833436465 10797998080 290325 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 10544920
[startup+6.30058 s]
/proc/loadavg: 2.02 2.05 1.86 3/437 17366
/proc/meminfo: memFree=27602232/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10545184 CPUtime=7.16 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 298381 0 1 0 682 34 0 0 25 0 19 0 833436459 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2636296 295128 2239 9 0 2627030 0
[pid=17346/tid=17347] ppid=17344 vsize=10545184 CPUtime=6.25 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 291186 0 1 0 593 32 0 0 25 0 19 0 833436460 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505828446 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17346/tid=17349] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17349/stat : 17349 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17350] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17350/stat : 17350 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17351] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17351/stat : 17351 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17352] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17352/stat : 17352 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17353] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17353/stat : 17353 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17354] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17354/stat : 17354 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17355] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17355/stat : 17355 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17356] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17356/stat : 17356 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436462 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17357] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17357/stat : 17357 (java) S 17344 17346 15661 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833436463 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078080 0 0 -1 5 0 0 0
[pid=17346/tid=17358] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833436463 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833436463 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10545184 CPUtime=0.43 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) S 17344 17346 15661 0 -1 4202560 2724 0 0 0 43 0 0 0 15 0 19 0 833436465 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10545184 CPUtime=0.45 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) S 17344 17346 15661 0 -1 4202560 3311 0 0 0 45 0 0 0 15 0 19 0 833436465 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833436465 10798268416 295128 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10545184 CPUtime=0.76 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) S 17344 17346 15661 0 -1 4202560 5488 0 0 0 75 1 0 0 15 0 19 0 833436465 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10545184 CPUtime=0.54 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) S 17344 17346 15661 0 -1 4202560 3330 0 0 0 54 0 0 0 15 0 19 0 833436465 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) S 17344 17346 15661 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833436465 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17366] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17366/stat : 17366 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833436768 10798268416 1346757 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.63
Current children cumulated vsize (KiB) 10545184
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/437 17412
/proc/meminfo: memFree=19279556/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10545184 CPUtime=1726.69 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 1392669 0 1 0 172497 172 0 0 25 0 19 0 833436459 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2636296 1357884 2267 9 0 2627030 0
[pid=17346/tid=17347] ppid=17344 vsize=10545184 CPUtime=1714.68 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 804228 0 1 0 171377 91 0 0 25 0 19 0 833436460 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505833363 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17346/tid=17349] ppid=17344 vsize=10545184 CPUtime=0.71 cores=1,3,5,7
/proc/17346/task/17349/stat : 17349 (java) S 17344 17346 15661 0 -1 4202560 68778 0 0 0 63 8 0 0 16 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17350] ppid=17344 vsize=10545184 CPUtime=0.36 cores=1,3,5,7
/proc/17346/task/17350/stat : 17350 (java) S 17344 17346 15661 0 -1 4202560 29431 0 0 0 32 4 0 0 15 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17351] ppid=17344 vsize=10545184 CPUtime=0.58 cores=1,3,5,7
/proc/17346/task/17351/stat : 17351 (java) S 17344 17346 15661 0 -1 4202560 53216 0 0 0 49 9 0 0 15 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17352] ppid=17344 vsize=10545184 CPUtime=0.39 cores=1,3,5,7
/proc/17346/task/17352/stat : 17352 (java) S 17344 17346 15661 0 -1 4202560 40410 0 0 0 33 6 0 0 16 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17353] ppid=17344 vsize=10545184 CPUtime=0.52 cores=1,3,5,7
/proc/17346/task/17353/stat : 17353 (java) S 17344 17346 15661 0 -1 4202560 52580 0 0 0 44 8 0 0 16 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17354] ppid=17344 vsize=10545184 CPUtime=0.6 cores=1,3,5,7
/proc/17346/task/17354/stat : 17354 (java) S 17344 17346 15661 0 -1 4202560 58103 0 0 0 51 9 0 0 15 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17355] ppid=17344 vsize=10545184 CPUtime=0.44 cores=1,3,5,7
/proc/17346/task/17355/stat : 17355 (java) S 17344 17346 15661 0 -1 4202560 43124 0 0 0 38 6 0 0 16 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17356] ppid=17344 vsize=10545184 CPUtime=0.64 cores=1,3,5,7
/proc/17346/task/17356/stat : 17356 (java) S 17344 17346 15661 0 -1 4202560 53791 0 0 0 56 8 0 0 15 0 19 0 833436462 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 5 0 0 0
[pid=17346/tid=17357] ppid=17344 vsize=10545184 CPUtime=6.34 cores=1,3,5,7
/proc/17346/task/17357/stat : 17357 (java) S 17344 17346 15661 0 -1 4202560 178940 0 0 0 618 16 0 0 15 0 19 0 833436463 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17358] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10545184 CPUtime=0.76 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) S 17344 17346 15661 0 -1 4202560 5488 0 0 0 75 1 0 0 15 0 19 0 833436465 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10545184 CPUtime=0.54 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) S 17344 17346 15661 0 -1 4202560 3330 0 0 0 54 0 0 0 15 0 19 0 833436465 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) S 17344 17346 15661 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833436465 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17366] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17366/stat : 17366 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833436768 10798268416 1357884 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.69
Current children cumulated vsize (KiB) 10545184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/437 17413
/proc/meminfo: memFree=19187884/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10545184 CPUtime=1786.78 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 1405164 0 1 0 178504 174 0 0 25 0 19 0 833436459 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2636296 1369511 2267 9 0 2627030 0
[pid=17346/tid=17347] ppid=17344 vsize=10545184 CPUtime=1774.65 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 804229 0 1 0 177374 91 0 0 25 0 19 0 833436460 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505847789 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17346/tid=17349] ppid=17344 vsize=10545184 CPUtime=0.71 cores=1,3,5,7
/proc/17346/task/17349/stat : 17349 (java) S 17344 17346 15661 0 -1 4202560 68778 0 0 0 63 8 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17350] ppid=17344 vsize=10545184 CPUtime=0.36 cores=1,3,5,7
/proc/17346/task/17350/stat : 17350 (java) S 17344 17346 15661 0 -1 4202560 29431 0 0 0 32 4 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17351] ppid=17344 vsize=10545184 CPUtime=0.61 cores=1,3,5,7
/proc/17346/task/17351/stat : 17351 (java) S 17344 17346 15661 0 -1 4202560 55662 0 0 0 52 9 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17352] ppid=17344 vsize=10545184 CPUtime=0.39 cores=1,3,5,7
/proc/17346/task/17352/stat : 17352 (java) S 17344 17346 15661 0 -1 4202560 40410 0 0 0 33 6 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17353] ppid=17344 vsize=10545184 CPUtime=0.55 cores=1,3,5,7
/proc/17346/task/17353/stat : 17353 (java) S 17344 17346 15661 0 -1 4202560 55492 0 0 0 47 8 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17354] ppid=17344 vsize=10545184 CPUtime=0.63 cores=1,3,5,7
/proc/17346/task/17354/stat : 17354 (java) S 17344 17346 15661 0 -1 4202560 62176 0 0 0 53 10 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17355] ppid=17344 vsize=10545184 CPUtime=0.44 cores=1,3,5,7
/proc/17346/task/17355/stat : 17355 (java) S 17344 17346 15661 0 -1 4202560 43124 0 0 0 38 6 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17356] ppid=17344 vsize=10545184 CPUtime=0.66 cores=1,3,5,7
/proc/17346/task/17356/stat : 17356 (java) S 17344 17346 15661 0 -1 4202560 56850 0 0 0 58 8 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 5 0 0 0
[pid=17346/tid=17357] ppid=17344 vsize=10545184 CPUtime=6.34 cores=1,3,5,7
/proc/17346/task/17357/stat : 17357 (java) S 17344 17346 15661 0 -1 4202560 178942 0 0 0 618 16 0 0 15 0 19 0 833436463 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17358] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10545184 CPUtime=0.76 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) S 17344 17346 15661 0 -1 4202560 5488 0 0 0 75 1 0 0 15 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10545184 CPUtime=0.54 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) S 17344 17346 15661 0 -1 4202560 3330 0 0 0 54 0 0 0 15 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) S 17344 17346 15661 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17366] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17366/stat : 17366 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833436768 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.78
Current children cumulated vsize (KiB) 10545184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 2.00 2.01 1.95 3/421 17416
/proc/meminfo: memFree=19931228/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=10545184 CPUtime=1800.09 cores=1,3,5,7
/proc/17346/stat : 17346 (java) S 17344 17346 15661 0 -1 4202496 1405166 0 1 0 179835 174 0 0 25 0 19 0 833436459 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 2636296 1369511 2267 9 0 2627030 0
[pid=17346/tid=17347] ppid=17344 vsize=10545184 CPUtime=1787.97 cores=1,3,5,7
/proc/17346/task/17347/stat : 17347 (java) R 17344 17346 15661 0 -1 4202560 804229 0 1 0 178706 91 0 0 25 0 19 0 833436460 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 46912505870212 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17346/tid=17349] ppid=17344 vsize=10545184 CPUtime=0.71 cores=1,3,5,7
/proc/17346/task/17349/stat : 17349 (java) S 17344 17346 15661 0 -1 4202560 68778 0 0 0 63 8 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17350] ppid=17344 vsize=10545184 CPUtime=0.36 cores=1,3,5,7
/proc/17346/task/17350/stat : 17350 (java) S 17344 17346 15661 0 -1 4202560 29431 0 0 0 32 4 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17351] ppid=17344 vsize=10545184 CPUtime=0.61 cores=1,3,5,7
/proc/17346/task/17351/stat : 17351 (java) S 17344 17346 15661 0 -1 4202560 55662 0 0 0 52 9 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17352] ppid=17344 vsize=10545184 CPUtime=0.39 cores=1,3,5,7
/proc/17346/task/17352/stat : 17352 (java) S 17344 17346 15661 0 -1 4202560 40410 0 0 0 33 6 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17353] ppid=17344 vsize=10545184 CPUtime=0.55 cores=1,3,5,7
/proc/17346/task/17353/stat : 17353 (java) S 17344 17346 15661 0 -1 4202560 55492 0 0 0 47 8 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17354] ppid=17344 vsize=10545184 CPUtime=0.63 cores=1,3,5,7
/proc/17346/task/17354/stat : 17354 (java) S 17344 17346 15661 0 -1 4202560 62176 0 0 0 53 10 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17355] ppid=17344 vsize=10545184 CPUtime=0.44 cores=1,3,5,7
/proc/17346/task/17355/stat : 17355 (java) S 17344 17346 15661 0 -1 4202560 43124 0 0 0 38 6 0 0 15 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17356] ppid=17344 vsize=10545184 CPUtime=0.66 cores=1,3,5,7
/proc/17346/task/17356/stat : 17356 (java) S 17344 17346 15661 0 -1 4202560 56850 0 0 0 58 8 0 0 16 0 19 0 833436462 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 5 0 0 0
[pid=17346/tid=17357] ppid=17344 vsize=10545184 CPUtime=6.34 cores=1,3,5,7
/proc/17346/task/17357/stat : 17357 (java) S 17344 17346 15661 0 -1 4202560 178942 0 0 0 618 16 0 0 15 0 19 0 833436463 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17358] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17358/stat : 17358 (java) S 17344 17346 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17359] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17359/stat : 17359 (java) S 17344 17346 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833436463 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17360] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17360/stat : 17360 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17361] ppid=17344 vsize=10545184 CPUtime=0.76 cores=1,3,5,7
/proc/17346/task/17361/stat : 17361 (java) S 17344 17346 15661 0 -1 4202560 5488 0 0 0 75 1 0 0 15 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17362] ppid=17344 vsize=10545184 CPUtime=0.54 cores=1,3,5,7
/proc/17346/task/17362/stat : 17362 (java) S 17344 17346 15661 0 -1 4202560 3330 0 0 0 54 0 0 0 15 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 1 0 0 0
[pid=17346/tid=17363] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17363/stat : 17363 (java) S 17344 17346 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
[pid=17346/tid=17364] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17364/stat : 17364 (java) S 17344 17346 15661 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833436465 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 3 0 0 0
[pid=17346/tid=17366] ppid=17344 vsize=10545184 CPUtime=0 cores=1,3,5,7
/proc/17346/task/17366/stat : 17366 (java) S 17344 17346 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833436768 10798268416 1369511 33554432000 1073741824 1073778376 140735806107936 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10545184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/421 17416
/proc/meminfo: memFree=19931228/32950904 swapFree=56615552/67111528
[pid=17346] ppid=17344 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/17346/stat : 17346 (java) Z 17344 17346 15661 0 -1 4203548 1405199 0 1 0 179845 188 0 0 17 0 2 0 833436459 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17346/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.87
CPU time (s): 1800.41
CPU user time (s): 1798.46
CPU system time (s): 1.9547
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 10545184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.9547
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405199
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= 38477
involuntary context switches= 8310
runsolver used 7.16191 second user time and 17.3334 second system time
The end