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-3455832-1307227479/watcher-3455832-1307227479 -o /tmp/evaluation-result-3455832-1307227479/solver-3455832-1307227479 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455832-1307227479.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.04 2.06 2.01 2/576 15768
/proc/meminfo: memFree=24978884/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 2890 0 1 0 0 0 0 0 25 0 2 0 912978545 10681323520 2591 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2607745 2604 906 9 0 2598901 0
[pid=15768/tid=15769] ppid=15766 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 6909 0 1 0 0 0 0 0 25 0 2 0 912978546 10694979584 7726 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.057135 s]
/proc/loadavg: 2.04 2.06 2.01 2/576 15768
/proc/meminfo: memFree=24978884/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 11493 0 1 0 3 1 0 0 25 0 13 0 912978545 10718838784 11189 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2616904 11190 1685 9 0 2607652 0
[pid=15768/tid=15769] ppid=15766 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 10347 0 1 0 3 1 0 0 25 0 13 0 912978546 10718838784 11191 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 47502770593699 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101124 s]
/proc/loadavg: 2.04 2.06 2.01 2/576 15768
/proc/meminfo: memFree=24978884/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10539984 CPUtime=0.09 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 12952 0 1 0 8 1 0 0 25 0 18 0 912978545 10792943616 12648 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2634996 12649 2092 9 0 2625730 0
[pid=15768/tid=15769] ppid=15766 vsize=10539984 CPUtime=0.08 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 11065 0 1 0 7 1 0 0 25 0 18 0 912978546 10792943616 12649 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 47502775061331 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539984
[startup+0.320626 s]
/proc/loadavg: 2.04 2.06 2.01 2/576 15768
/proc/meminfo: memFree=24978884/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10545584 CPUtime=0.52 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 17883 0 1 0 50 2 0 0 25 0 19 0 912978545 10798678016 16632 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2636396 16632 2212 9 0 2627130 0
[pid=15768/tid=15769] ppid=15766 vsize=10545584 CPUtime=0.31 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 12703 0 1 0 30 1 0 0 25 0 19 0 912978546 10798678016 16632 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10545584
[startup+0.701035 s]
/proc/loadavg: 2.04 2.06 2.01 2/576 15768
/proc/meminfo: memFree=24978884/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=1.6 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 34991 0 1 0 156 4 0 0 25 0 19 0 912978545 10806800384 29762 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 29765 2221 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=0.67 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 22017 0 1 0 65 2 0 0 18 0 19 0 912978546 10806800384 29766 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505618821 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10553516
[startup+1.50089 s]
/proc/loadavg: 2.04 2.06 2.01 4/595 15789
/proc/meminfo: memFree=24775568/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=2.79 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 101887 0 1 0 267 12 0 0 25 0 19 0 912978545 10806800384 96266 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 96270 2225 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=1.48 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 88490 0 1 0 138 10 0 0 19 0 19 0 912978546 10806800384 96272 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505636113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15768/tid=15771] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15771/stat : 15771 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96274 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15772] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15772/stat : 15772 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96277 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15773] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15773/stat : 15773 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96280 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15774] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15774/stat : 15774 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96282 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15775] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15775/stat : 15775 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96284 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15776] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15776/stat : 15776 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96287 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15778] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15778/stat : 15778 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96289 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15779] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15779/stat : 15779 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 96291 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15780] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15780/stat : 15780 (java) S 15766 15768 14484 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 96293 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 0 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15781] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15781/stat : 15781 (java) S 15766 15768 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912978549 10806800384 96295 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15782] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15782/stat : 15782 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978549 10806800384 96297 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15784] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15784/stat : 15784 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 96299 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296749489 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15785] ppid=15766 vsize=10553516 CPUtime=0.63 cores=1,3,5,7
/proc/15768/task/15785/stat : 15785 (java) S 15766 15768 14484 0 -1 4202560 4672 0 0 0 63 0 0 0 21 0 19 0 912978551 10806800384 96301 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15786] ppid=15766 vsize=10553516 CPUtime=0.65 cores=1,3,5,7
/proc/15768/task/15786/stat : 15786 (java) S 15766 15768 14484 0 -1 4202560 7572 0 0 0 64 1 0 0 15 0 19 0 912978551 10806800384 96304 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15787] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15787/stat : 15787 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 96306 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15788] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15788/stat : 15788 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912978551 10806800384 96308 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15789] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15789/stat : 15789 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978568 10806800384 96310 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10553516
[startup+3.10063 s]
/proc/loadavg: 2.04 2.06 2.01 3/595 15789
/proc/meminfo: memFree=24386828/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=4.39 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 243349 0 1 0 412 27 0 0 25 0 19 0 912978545 10806800384 237727 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 237730 2225 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=3.08 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 229950 0 1 0 282 26 0 0 22 0 19 0 912978546 10806800384 237732 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505567786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15768/tid=15771] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15771/stat : 15771 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237733 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15772] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15772/stat : 15772 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237736 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15773] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15773/stat : 15773 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237738 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15774] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15774/stat : 15774 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237740 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15775] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15775/stat : 15775 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237742 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15776] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15776/stat : 15776 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237744 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15778] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15778/stat : 15778 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237746 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15779] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15779/stat : 15779 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 237748 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15780] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15780/stat : 15780 (java) S 15766 15768 14484 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 237750 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 0 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15781] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15781/stat : 15781 (java) S 15766 15768 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912978549 10806800384 237752 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15782] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15782/stat : 15782 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978549 10806800384 237753 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15784] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15784/stat : 15784 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 237755 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296749489 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15785] ppid=15766 vsize=10553516 CPUtime=0.64 cores=1,3,5,7
/proc/15768/task/15785/stat : 15785 (java) S 15766 15768 14484 0 -1 4202560 4672 0 0 0 64 0 0 0 17 0 19 0 912978551 10806800384 237757 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15786] ppid=15766 vsize=10553516 CPUtime=0.66 cores=1,3,5,7
/proc/15768/task/15786/stat : 15786 (java) S 15766 15768 14484 0 -1 4202560 7572 0 0 0 65 1 0 0 15 0 19 0 912978551 10806800384 237760 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15787] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15787/stat : 15787 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 237763 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15788] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15788/stat : 15788 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912978551 10806800384 237766 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15789] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15789/stat : 15789 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978568 10806800384 237768 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10553516
[startup+6.30109 s]
/proc/loadavg: 2.04 2.05 2.01 3/595 15789
/proc/meminfo: memFree=23184528/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=7.66 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 542001 0 1 0 703 63 0 0 25 0 19 0 912978545 10806800384 536370 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 536371 2226 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=6.27 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 528592 0 1 0 566 61 0 0 21 0 19 0 912978546 10806800384 536375 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505567786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15768/tid=15771] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15771/stat : 15771 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536375 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15772] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15772/stat : 15772 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536379 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15773] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15773/stat : 15773 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536380 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15774] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15774/stat : 15774 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536381 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15775] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15775/stat : 15775 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536384 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15776] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15776/stat : 15776 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536384 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15778] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15778/stat : 15778 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536389 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15779] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15779/stat : 15779 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978548 10806800384 536389 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15780] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15780/stat : 15780 (java) S 15766 15768 14484 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 912978549 10806800384 536391 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 0 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15781] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15781/stat : 15781 (java) S 15766 15768 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912978549 10806800384 536393 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15782] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15782/stat : 15782 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978549 10806800384 536394 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15784] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15784/stat : 15784 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 536398 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296749489 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15785] ppid=15766 vsize=10553516 CPUtime=0.7 cores=1,3,5,7
/proc/15768/task/15785/stat : 15785 (java) S 15766 15768 14484 0 -1 4202560 4681 0 0 0 70 0 0 0 15 0 19 0 912978551 10806800384 536398 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15786] ppid=15766 vsize=10553516 CPUtime=0.66 cores=1,3,5,7
/proc/15768/task/15786/stat : 15786 (java) S 15766 15768 14484 0 -1 4202560 7572 0 0 0 65 1 0 0 15 0 19 0 912978551 10806800384 536402 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=15768/tid=15787] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15787/stat : 15787 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 942963 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15788] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15788/stat : 15788 (java) S 15766 15768 14484 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 912978551 10806800384 942963 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15789] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15789/stat : 15789 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978568 10806800384 942963 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.32
Current children cumulated vsize (KiB) 10553516
[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/595 15900
/proc/meminfo: memFree=21111196/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=1727.48 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 951774 0 1 0 172632 116 0 0 25 0 19 0 912978545 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 944225 2256 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=1719.88 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 828230 0 1 0 171891 97 0 0 25 0 19 0 912978546 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505618792 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15768/tid=15771] ppid=15766 vsize=10553516 CPUtime=0.63 cores=1,3,5,7
/proc/15768/task/15771/stat : 15771 (java) S 15766 15768 14484 0 -1 4202560 12679 0 0 0 61 2 0 0 15 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15772] ppid=15766 vsize=10553516 CPUtime=0.6 cores=1,3,5,7
/proc/15768/task/15772/stat : 15772 (java) S 15766 15768 14484 0 -1 4202560 11560 0 0 0 59 1 0 0 15 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15773] ppid=15766 vsize=10553516 CPUtime=0.67 cores=1,3,5,7
/proc/15768/task/15773/stat : 15773 (java) S 15766 15768 14484 0 -1 4202560 13183 0 0 0 66 1 0 0 15 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15774] ppid=15766 vsize=10553516 CPUtime=0.82 cores=1,3,5,7
/proc/15768/task/15774/stat : 15774 (java) S 15766 15768 14484 0 -1 4202560 11752 0 0 0 81 1 0 0 16 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15775] ppid=15766 vsize=10553516 CPUtime=0.63 cores=1,3,5,7
/proc/15768/task/15775/stat : 15775 (java) S 15766 15768 14484 0 -1 4202560 9639 0 0 0 62 1 0 0 16 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15776] ppid=15766 vsize=10553516 CPUtime=0.69 cores=1,3,5,7
/proc/15768/task/15776/stat : 15776 (java) S 15766 15768 14484 0 -1 4202560 13390 0 0 0 68 1 0 0 16 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15778] ppid=15766 vsize=10553516 CPUtime=0.71 cores=1,3,5,7
/proc/15768/task/15778/stat : 15778 (java) S 15766 15768 14484 0 -1 4202560 14492 0 0 0 69 2 0 0 16 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15779] ppid=15766 vsize=10553516 CPUtime=0.58 cores=1,3,5,7
/proc/15768/task/15779/stat : 15779 (java) S 15766 15768 14484 0 -1 4202560 12208 0 0 0 56 2 0 0 15 0 19 0 912978548 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15780] ppid=15766 vsize=10553516 CPUtime=0.61 cores=1,3,5,7
/proc/15768/task/15780/stat : 15780 (java) S 15766 15768 14484 0 -1 4202560 11085 0 0 0 59 2 0 0 15 0 19 0 912978549 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 0 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15781] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15781/stat : 15781 (java) S 15766 15768 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15782] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15782/stat : 15782 (java) S 15766 15768 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15784] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15784/stat : 15784 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296749489 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15785] ppid=15766 vsize=10553516 CPUtime=0.81 cores=1,3,5,7
/proc/15768/task/15785/stat : 15785 (java) S 15766 15768 14484 0 -1 4202560 4706 0 0 0 81 0 0 0 16 0 19 0 912978551 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15786] ppid=15766 vsize=10553516 CPUtime=0.75 cores=1,3,5,7
/proc/15768/task/15786/stat : 15786 (java) S 15766 15768 14484 0 -1 4202560 7600 0 0 0 74 1 0 0 15 0 19 0 912978551 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15787] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15787/stat : 15787 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15788] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15788/stat : 15788 (java) S 15766 15768 14484 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912978551 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15789] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15789/stat : 15789 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978568 10806800384 944225 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.48
Current children cumulated vsize (KiB) 10553516
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/595 15900
/proc/meminfo: memFree=21093548/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=1787.6 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 952263 0 1 0 178644 116 0 0 25 0 19 0 912978545 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 944700 2256 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=1779.14 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 828233 0 1 0 177817 97 0 0 25 0 19 0 912978546 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505634793 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15768/tid=15771] ppid=15766 vsize=10553516 CPUtime=0.63 cores=1,3,5,7
/proc/15768/task/15771/stat : 15771 (java) S 15766 15768 14484 0 -1 4202560 12679 0 0 0 61 2 0 0 15 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15772] ppid=15766 vsize=10553516 CPUtime=0.62 cores=1,3,5,7
/proc/15768/task/15772/stat : 15772 (java) S 15766 15768 14484 0 -1 4202560 11560 0 0 0 61 1 0 0 15 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15773] ppid=15766 vsize=10553516 CPUtime=0.68 cores=1,3,5,7
/proc/15768/task/15773/stat : 15773 (java) S 15766 15768 14484 0 -1 4202560 13185 0 0 0 67 1 0 0 15 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15774] ppid=15766 vsize=10553516 CPUtime=0.83 cores=1,3,5,7
/proc/15768/task/15774/stat : 15774 (java) S 15766 15768 14484 0 -1 4202560 11915 0 0 0 82 1 0 0 15 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15775] ppid=15766 vsize=10553516 CPUtime=0.64 cores=1,3,5,7
/proc/15768/task/15775/stat : 15775 (java) S 15766 15768 14484 0 -1 4202560 9639 0 0 0 63 1 0 0 15 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15776] ppid=15766 vsize=10553516 CPUtime=0.75 cores=1,3,5,7
/proc/15768/task/15776/stat : 15776 (java) S 15766 15768 14484 0 -1 4202560 13452 0 0 0 74 1 0 0 16 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15778] ppid=15766 vsize=10553516 CPUtime=0.75 cores=1,3,5,7
/proc/15768/task/15778/stat : 15778 (java) S 15766 15768 14484 0 -1 4202560 14613 0 0 0 73 2 0 0 16 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15779] ppid=15766 vsize=10553516 CPUtime=0.59 cores=1,3,5,7
/proc/15768/task/15779/stat : 15779 (java) S 15766 15768 14484 0 -1 4202560 12283 0 0 0 57 2 0 0 15 0 19 0 912978548 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15780] ppid=15766 vsize=10553516 CPUtime=1.29 cores=1,3,5,7
/proc/15768/task/15780/stat : 15780 (java) S 15766 15768 14484 0 -1 4202560 11141 0 0 0 127 2 0 0 15 0 19 0 912978549 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 0 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15781] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15781/stat : 15781 (java) S 15766 15768 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15782] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15782/stat : 15782 (java) S 15766 15768 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15784] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15784/stat : 15784 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296749489 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15785] ppid=15766 vsize=10553516 CPUtime=0.81 cores=1,3,5,7
/proc/15768/task/15785/stat : 15785 (java) S 15766 15768 14484 0 -1 4202560 4706 0 0 0 81 0 0 0 16 0 19 0 912978551 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15786] ppid=15766 vsize=10553516 CPUtime=0.77 cores=1,3,5,7
/proc/15768/task/15786/stat : 15786 (java) S 15766 15768 14484 0 -1 4202560 7603 0 0 0 76 1 0 0 15 0 19 0 912978551 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15787] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15787/stat : 15787 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15788] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15788/stat : 15788 (java) S 15766 15768 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912978551 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15789] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15789/stat : 15789 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978568 10806800384 944700 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.6
Current children cumulated vsize (KiB) 10553516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.02 2.05 2.01 3/595 15902
/proc/meminfo: memFree=21093044/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=10553516 CPUtime=1800.06 cores=1,3,5,7
/proc/15768/stat : 15768 (java) S 15766 15768 14484 0 -1 4202496 952268 0 1 0 179890 116 0 0 25 0 19 0 912978545 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 2638379 944701 2256 9 0 2629113 0
[pid=15768/tid=15769] ppid=15766 vsize=10553516 CPUtime=1791.55 cores=1,3,5,7
/proc/15768/task/15769/stat : 15769 (java) R 15766 15768 14484 0 -1 4202560 828234 0 1 0 179058 97 0 0 25 0 19 0 912978546 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 46912505830664 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15768/tid=15771] ppid=15766 vsize=10553516 CPUtime=0.63 cores=1,3,5,7
/proc/15768/task/15771/stat : 15771 (java) S 15766 15768 14484 0 -1 4202560 12679 0 0 0 61 2 0 0 15 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15772] ppid=15766 vsize=10553516 CPUtime=0.63 cores=1,3,5,7
/proc/15768/task/15772/stat : 15772 (java) S 15766 15768 14484 0 -1 4202560 11560 0 0 0 62 1 0 0 16 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15773] ppid=15766 vsize=10553516 CPUtime=0.68 cores=1,3,5,7
/proc/15768/task/15773/stat : 15773 (java) S 15766 15768 14484 0 -1 4202560 13185 0 0 0 67 1 0 0 15 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15774] ppid=15766 vsize=10553516 CPUtime=0.84 cores=1,3,5,7
/proc/15768/task/15774/stat : 15774 (java) S 15766 15768 14484 0 -1 4202560 11915 0 0 0 83 1 0 0 16 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15775] ppid=15766 vsize=10553516 CPUtime=0.64 cores=1,3,5,7
/proc/15768/task/15775/stat : 15775 (java) S 15766 15768 14484 0 -1 4202560 9639 0 0 0 63 1 0 0 15 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15776] ppid=15766 vsize=10553516 CPUtime=0.76 cores=1,3,5,7
/proc/15768/task/15776/stat : 15776 (java) S 15766 15768 14484 0 -1 4202560 13453 0 0 0 75 1 0 0 16 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15778] ppid=15766 vsize=10553516 CPUtime=0.76 cores=1,3,5,7
/proc/15768/task/15778/stat : 15778 (java) S 15766 15768 14484 0 -1 4202560 14614 0 0 0 74 2 0 0 16 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
[pid=15768/tid=15779] ppid=15766 vsize=10553516 CPUtime=0.59 cores=1,3,5,7
/proc/15768/task/15779/stat : 15779 (java) S 15766 15768 14484 0 -1 4202560 12283 0 0 0 57 2 0 0 15 0 19 0 912978548 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15780] ppid=15766 vsize=10553516 CPUtime=1.29 cores=1,3,5,7
/proc/15768/task/15780/stat : 15780 (java) S 15766 15768 14484 0 -1 4202560 11143 0 0 0 127 2 0 0 15 0 19 0 912978549 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 0 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15781] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15781/stat : 15781 (java) S 15766 15768 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15782] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15782/stat : 15782 (java) S 15766 15768 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912978549 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15784] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15784/stat : 15784 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296749489 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15785] ppid=15766 vsize=10553516 CPUtime=0.81 cores=1,3,5,7
/proc/15768/task/15785/stat : 15785 (java) S 15766 15768 14484 0 -1 4202560 4706 0 0 0 81 0 0 0 16 0 19 0 912978551 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15786] ppid=15766 vsize=10553516 CPUtime=0.77 cores=1,3,5,7
/proc/15768/task/15786/stat : 15786 (java) S 15766 15768 14484 0 -1 4202560 7603 0 0 0 76 1 0 0 15 0 19 0 912978551 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 3 0 0 0
[pid=15768/tid=15787] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15787/stat : 15787 (java) S 15766 15768 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912978551 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296741785 0 4 0 16800975 18446604460449323200 0 0 -1 1 0 0 0
[pid=15768/tid=15788] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15788/stat : 15788 (java) S 15766 15768 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912978551 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 5 0 0 0
[pid=15768/tid=15789] ppid=15766 vsize=10553516 CPUtime=0 cores=1,3,5,7
/proc/15768/task/15789/stat : 15789 (java) S 15766 15768 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912978568 10806800384 944701 33554432000 1073741824 1073778376 140737417448304 18446744073709551615 224296742400 0 4 0 16800975 18446604460449323200 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10553516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.83 s]
/proc/loadavg: 2.02 2.05 2.01 3/595 15902
/proc/meminfo: memFree=21093044/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/15768/stat : 15768 (java) Z 15766 15768 14484 0 -1 4203548 952308 0 1 0 179895 123 0 0 17 0 2 0 912978545 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
[startup+1794.9 s]
/proc/loadavg: 2.02 2.05 2.01 3/595 15902
/proc/meminfo: memFree=21093044/32951124 swapFree=34426104/67111528
[pid=15768] ppid=15766 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/15768/stat : 15768 (java) Z 15766 15768 14484 0 -1 4203548 952308 0 1 0 179895 130 0 0 17 0 2 0 912978545 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15768/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.91
CPU time (s): 1800.26
CPU user time (s): 1798.95
CPU system time (s): 1.3088
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 10553516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.3088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 952308
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= 39857
involuntary context switches= 14249
runsolver used 9.95849 second user time and 24.3243 second system time
The end