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-3457613-1307229000/watcher-3457613-1307229000 -o /tmp/evaluation-result-3457613-1307229000/solver-3457613-1307229000 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457613-1307229000.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.00 2.00 2/447 8100
/proc/meminfo: memFree=25332808/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 3105 0 1 0 0 0 0 0 21 0 2 0 834500531 10681323520 2808 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2607745 2822 906 9 0 2598901 0
[pid=8100/tid=8101] ppid=8098 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 3895 0 1 0 0 0 0 0 18 0 2 0 834500531 10694979584 4711 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0444869 s]
/proc/loadavg: 1.96 2.00 2.00 2/447 8100
/proc/meminfo: memFree=25332808/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 11241 0 1 0 2 1 0 0 21 0 13 0 834500531 10718699520 10939 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2616870 10942 1672 9 0 2607618 0
[pid=8100/tid=8101] ppid=8098 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 10098 0 1 0 2 0 0 0 24 0 13 0 834500531 10718699520 10942 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458771915 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100478 s]
/proc/loadavg: 1.96 2.00 2.00 2/447 8100
/proc/meminfo: memFree=25332808/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10539564 CPUtime=0.1 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 13021 0 1 0 9 1 0 0 21 0 18 0 834500531 10792513536 12690 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2634891 12690 2093 9 0 2625625 0
[pid=8100/tid=8101] ppid=8098 vsize=10539564 CPUtime=0.08 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 11095 0 1 0 7 1 0 0 18 0 18 0 834500531 10792513536 12690 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912496197640 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539564
[startup+0.300447 s]
/proc/loadavg: 1.96 2.00 2.00 2/447 8100
/proc/meminfo: memFree=25332808/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10540336 CPUtime=0.45 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 21721 0 1 0 43 2 0 0 21 0 18 0 834500531 10793304064 21196 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2635084 21200 2200 9 0 2625818 0
[pid=8100/tid=8101] ppid=8098 vsize=10540336 CPUtime=0.28 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 19005 0 1 0 26 2 0 0 18 0 18 0 834500531 10793304064 21201 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505551390 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10540336
[startup+0.700368 s]
/proc/loadavg: 1.96 2.00 2.00 2/447 8100
/proc/meminfo: memFree=25332808/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10540336 CPUtime=0.85 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 53081 0 1 0 78 7 0 0 21 0 18 0 834500531 10793304064 52557 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2635084 52560 2200 9 0 2625818 0
[pid=8100/tid=8101] ppid=8098 vsize=10540336 CPUtime=0.67 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 50365 0 1 0 61 6 0 0 18 0 18 0 834500531 10793304064 52561 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505587320 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10540336
[startup+1.50122 s]
/proc/loadavg: 1.96 2.00 2.00 4/465 8118
/proc/meminfo: memFree=25046976/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10557424 CPUtime=2.07 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 126262 0 1 0 192 15 0 0 21 0 18 0 834500531 10810802176 123549 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2639356 123549 2213 9 0 2630090 0
[pid=8100/tid=8101] ppid=8098 vsize=10557424 CPUtime=1.47 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 116054 0 1 0 134 13 0 0 19 0 18 0 834500531 10810802176 123549 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505649718 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8100/tid=8103] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8103/stat : 8103 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834500533 10810802176 123549 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8104] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834500533 10810802176 123549 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8105] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8105/stat : 8105 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834500533 10810802176 123549 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8106] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8106/stat : 8106 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834500533 10810802176 123550 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8107] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8107/stat : 8107 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834500533 10810802176 123555 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8108] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834500533 10810802176 123560 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8109] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8109/stat : 8109 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834500533 10810802176 123562 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8110] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834500533 10810802176 123564 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8111] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8098 8100 6563 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834500534 10810802176 123567 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 0 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8112] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8098 8100 6563 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 834500535 10810802176 123569 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8113] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 834500535 10810802176 123572 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834500537 10810802176 123574 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10557424 CPUtime=0.18 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 2028 0 0 0 18 0 0 0 21 0 18 0 834500537 10810802176 123577 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10557424 CPUtime=0.4 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7031 0 0 0 39 1 0 0 16 0 18 0 834500537 10810802176 123579 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834500537 10810802176 123582 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10557424 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834500537 10810802176 123584 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 10557424
[startup+3.10093 s]
/proc/loadavg: 1.96 2.00 2.00 3/465 8118
/proc/meminfo: memFree=24596608/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10558452 CPUtime=3.91 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 262378 0 1 0 361 30 0 0 21 0 19 0 834500531 10811854848 259660 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2639613 259662 2219 9 0 2630347 0
[pid=8100/tid=8101] ppid=8098 vsize=10558452 CPUtime=3.08 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 252109 0 1 0 280 28 0 0 25 0 19 0 834500531 10811854848 259663 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505848289 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8100/tid=8103] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8103/stat : 8103 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834500533 10811854848 259665 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8104] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 259666 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8105] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8105/stat : 8105 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 259667 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8106] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8106/stat : 8106 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 259668 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8107] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8107/stat : 8107 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 259669 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8108] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 259671 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8109] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8109/stat : 8109 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834500533 10811854848 259672 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8110] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834500533 10811854848 259673 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8111] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8098 8100 6563 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 834500534 10811854848 259675 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 0 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8112] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8098 8100 6563 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 834500535 10811854848 259676 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8113] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 834500535 10811854848 259677 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 259679 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10558452 CPUtime=0.27 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 2060 0 0 0 27 0 0 0 16 0 19 0 834500537 10811854848 259681 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10558452 CPUtime=0.54 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7056 0 0 0 53 1 0 0 16 0 19 0 834500537 10811854848 259681 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 259682 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834500537 10811854848 259683 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 10558452
[startup+6.30132 s]
/proc/loadavg: 1.96 2.00 2.00 5/466 8119
/proc/meminfo: memFree=23997180/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10558452 CPUtime=7.62 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 394724 0 1 0 718 44 0 0 21 0 19 0 834500531 10811854848 390891 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2639613 390892 2228 9 0 2630347 0
[pid=8100/tid=8101] ppid=8098 vsize=10558452 CPUtime=6.27 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 382238 0 1 0 586 41 0 0 25 0 19 0 834500531 10811854848 390893 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505981001 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8100/tid=8103] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8103/stat : 8103 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834500533 10811854848 390894 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8104] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 390895 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8105] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8105/stat : 8105 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 390896 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8106] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8106/stat : 8106 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 390897 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8107] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8107/stat : 8107 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 390898 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8108] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834500533 10811854848 390898 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8109] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8109/stat : 8109 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834500533 10811854848 390899 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8110] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834500533 10811854848 390900 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8111] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8098 8100 6563 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834500534 10811854848 390900 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 0 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8112] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8098 8100 6563 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 834500535 10811854848 390901 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8113] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 834500535 10811854848 390902 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 390903 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10558452 CPUtime=0.48 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 4218 0 0 0 48 0 0 0 15 0 19 0 834500537 10811854848 390903 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10558452 CPUtime=0.84 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7109 0 0 0 83 1 0 0 15 0 19 0 834500537 10811854848 390904 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 390904 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834500537 10811854848 390905 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10558452 CPUtime=0.62 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 4772 0 0 0 62 0 0 0 16 0 19 0 834500537 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10558452 CPUtime=1.05 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7149 0 0 0 104 1 0 0 15 0 19 0 834500537 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834500537 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8119] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834500829 10811854848 993120 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1670.26
Current children cumulated vsize (KiB) 10558452
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/466 8305
/proc/meminfo: memFree=21240044/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10558452 CPUtime=1730.49 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 1014877 0 1 0 172925 124 0 0 21 0 19 0 834500531 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2639613 998700 2257 9 0 2630347 0
[pid=8100/tid=8101] ppid=8098 vsize=10558452 CPUtime=1718.63 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 713913 0 1 0 171784 79 0 0 25 0 19 0 834500531 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505837509 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8100/tid=8103] ppid=8098 vsize=10558452 CPUtime=1.26 cores=1,3,5,7
/proc/8100/task/8103/stat : 8103 (java) S 8098 8100 6563 0 -1 4202560 37464 0 0 0 121 5 0 0 16 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8104] ppid=8098 vsize=10558452 CPUtime=1.43 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8098 8100 6563 0 -1 4202560 50399 0 0 0 137 6 0 0 16 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8105] ppid=8098 vsize=10558452 CPUtime=1.3 cores=1,3,5,7
/proc/8100/task/8105/stat : 8105 (java) S 8098 8100 6563 0 -1 4202560 38316 0 0 0 125 5 0 0 15 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8106] ppid=8098 vsize=10558452 CPUtime=1.1 cores=1,3,5,7
/proc/8100/task/8106/stat : 8106 (java) S 8098 8100 6563 0 -1 4202560 28193 0 0 0 107 3 0 0 16 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8107] ppid=8098 vsize=10558452 CPUtime=1.25 cores=1,3,5,7
/proc/8100/task/8107/stat : 8107 (java) S 8098 8100 6563 0 -1 4202560 45271 0 0 0 119 6 0 0 16 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8108] ppid=8098 vsize=10558452 CPUtime=0.91 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8098 8100 6563 0 -1 4202560 28802 0 0 0 88 3 0 0 15 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8109] ppid=8098 vsize=10558452 CPUtime=0.98 cores=1,3,5,7
/proc/8100/task/8109/stat : 8109 (java) S 8098 8100 6563 0 -1 4202560 26375 0 0 0 95 3 0 0 16 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8110] ppid=8098 vsize=10558452 CPUtime=1.19 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8098 8100 6563 0 -1 4202560 24926 0 0 0 116 3 0 0 16 0 19 0 834500533 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8111] ppid=8098 vsize=10558452 CPUtime=0.65 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8098 8100 6563 0 -1 4202560 8049 0 0 0 63 2 0 0 15 0 19 0 834500534 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 0 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8112] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8098 8100 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8113] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10558452 CPUtime=0.62 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 4772 0 0 0 62 0 0 0 16 0 19 0 834500537 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10558452 CPUtime=1.05 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7149 0 0 0 104 1 0 0 15 0 19 0 834500537 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834500537 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8119] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834500829 10811854848 998700 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1730.49
Current children cumulated vsize (KiB) 10558452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/466 8307
/proc/meminfo: memFree=21169228/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10558452 CPUtime=1790.84 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 1019908 0 1 0 178959 125 0 0 21 0 19 0 834500531 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2639613 1003609 2257 9 0 2630347 0
[pid=8100/tid=8101] ppid=8098 vsize=10558452 CPUtime=1778.44 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 713919 0 1 0 177765 79 0 0 25 0 19 0 834500531 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912506021480 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8100/tid=8103] ppid=8098 vsize=10558452 CPUtime=1.29 cores=1,3,5,7
/proc/8100/task/8103/stat : 8103 (java) S 8098 8100 6563 0 -1 4202560 37662 0 0 0 124 5 0 0 15 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8104] ppid=8098 vsize=10558452 CPUtime=1.45 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8098 8100 6563 0 -1 4202560 50669 0 0 0 139 6 0 0 15 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8105] ppid=8098 vsize=10558452 CPUtime=1.45 cores=1,3,5,7
/proc/8100/task/8105/stat : 8105 (java) S 8098 8100 6563 0 -1 4202560 40012 0 0 0 140 5 0 0 16 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8106] ppid=8098 vsize=10558452 CPUtime=1.23 cores=1,3,5,7
/proc/8100/task/8106/stat : 8106 (java) S 8098 8100 6563 0 -1 4202560 29688 0 0 0 119 4 0 0 16 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8107] ppid=8098 vsize=10558452 CPUtime=1.3 cores=1,3,5,7
/proc/8100/task/8107/stat : 8107 (java) S 8098 8100 6563 0 -1 4202560 45414 0 0 0 124 6 0 0 16 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8108] ppid=8098 vsize=10558452 CPUtime=0.98 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8098 8100 6563 0 -1 4202560 29236 0 0 0 95 3 0 0 15 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8109] ppid=8098 vsize=10558452 CPUtime=1.05 cores=1,3,5,7
/proc/8100/task/8109/stat : 8109 (java) S 8098 8100 6563 0 -1 4202560 26802 0 0 0 101 4 0 0 15 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8110] ppid=8098 vsize=10558452 CPUtime=1.21 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8098 8100 6563 0 -1 4202560 25279 0 0 0 117 4 0 0 16 0 19 0 834500533 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8111] ppid=8098 vsize=10558452 CPUtime=0.66 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8098 8100 6563 0 -1 4202560 8053 0 0 0 63 3 0 0 15 0 19 0 834500534 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 0 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8112] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8098 8100 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8113] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10558452 CPUtime=0.62 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 4772 0 0 0 62 0 0 0 16 0 19 0 834500537 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10558452 CPUtime=1.05 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7150 0 0 0 104 1 0 0 15 0 19 0 834500537 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834500537 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8119] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834500829 10811854848 1003609 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1790.84
Current children cumulated vsize (KiB) 10558452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/466 8307
/proc/meminfo: memFree=21162156/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=10558452 CPUtime=1800.02 cores=1,3,5,7
/proc/8100/stat : 8100 (java) S 8098 8100 6563 0 -1 4202496 1019995 0 1 0 179877 125 0 0 21 0 19 0 834500531 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 2639613 1003689 2257 9 0 2630347 0
[pid=8100/tid=8101] ppid=8098 vsize=10558452 CPUtime=1787.54 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4202560 713920 0 1 0 178675 79 0 0 25 0 19 0 834500531 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 46912505981748 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8100/tid=8103] ppid=8098 vsize=10558452 CPUtime=1.29 cores=1,3,5,7
/proc/8100/task/8103/stat : 8103 (java) S 8098 8100 6563 0 -1 4202560 37662 0 0 0 124 5 0 0 15 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8104] ppid=8098 vsize=10558452 CPUtime=1.45 cores=1,3,5,7
/proc/8100/task/8104/stat : 8104 (java) S 8098 8100 6563 0 -1 4202560 50669 0 0 0 139 6 0 0 15 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8105] ppid=8098 vsize=10558452 CPUtime=1.45 cores=1,3,5,7
/proc/8100/task/8105/stat : 8105 (java) S 8098 8100 6563 0 -1 4202560 40012 0 0 0 140 5 0 0 15 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8106] ppid=8098 vsize=10558452 CPUtime=1.25 cores=1,3,5,7
/proc/8100/task/8106/stat : 8106 (java) S 8098 8100 6563 0 -1 4202560 29698 0 0 0 121 4 0 0 16 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8107] ppid=8098 vsize=10558452 CPUtime=1.32 cores=1,3,5,7
/proc/8100/task/8107/stat : 8107 (java) S 8098 8100 6563 0 -1 4202560 45455 0 0 0 126 6 0 0 16 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8108] ppid=8098 vsize=10558452 CPUtime=1 cores=1,3,5,7
/proc/8100/task/8108/stat : 8108 (java) S 8098 8100 6563 0 -1 4202560 29269 0 0 0 97 3 0 0 16 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8109] ppid=8098 vsize=10558452 CPUtime=1.05 cores=1,3,5,7
/proc/8100/task/8109/stat : 8109 (java) S 8098 8100 6563 0 -1 4202560 26802 0 0 0 101 4 0 0 15 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8110] ppid=8098 vsize=10558452 CPUtime=1.23 cores=1,3,5,7
/proc/8100/task/8110/stat : 8110 (java) S 8098 8100 6563 0 -1 4202560 25281 0 0 0 119 4 0 0 16 0 19 0 834500533 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8111] ppid=8098 vsize=10558452 CPUtime=0.66 cores=1,3,5,7
/proc/8100/task/8111/stat : 8111 (java) S 8098 8100 6563 0 -1 4202560 8053 0 0 0 63 3 0 0 16 0 19 0 834500534 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 0 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8112] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8112/stat : 8112 (java) S 8098 8100 6563 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8113] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8113/stat : 8113 (java) S 8098 8100 6563 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834500535 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 7 0 0 0
[pid=8100/tid=8114] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8114/stat : 8114 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458768817 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8115] ppid=8098 vsize=10558452 CPUtime=0.62 cores=1,3,5,7
/proc/8100/task/8115/stat : 8115 (java) S 8098 8100 6563 0 -1 4202560 4772 0 0 0 62 0 0 0 16 0 19 0 834500537 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8116] ppid=8098 vsize=10558452 CPUtime=1.05 cores=1,3,5,7
/proc/8100/task/8116/stat : 8116 (java) S 8098 8100 6563 0 -1 4202560 7150 0 0 0 104 1 0 0 15 0 19 0 834500537 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 3 0 0 0
[pid=8100/tid=8117] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8117/stat : 8117 (java) S 8098 8100 6563 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834500537 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761113 0 4 0 16800975 18446604467748332544 0 0 -1 1 0 0 0
[pid=8100/tid=8118] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8118/stat : 8118 (java) S 8098 8100 6563 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834500537 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
[pid=8100/tid=8119] ppid=8098 vsize=10558452 CPUtime=0 cores=1,3,5,7
/proc/8100/task/8119/stat : 8119 (java) S 8098 8100 6563 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834500829 10811854848 1003689 33554432000 1073741824 1073778376 140734082327680 18446744073709551615 244458761728 0 4 0 16800975 18446604467748332544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10558452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.52 s]
/proc/loadavg: 2.00 2.02 2.00 3/466 8307
/proc/meminfo: memFree=21162156/32951124 swapFree=43324008/67111528
[pid=8100] ppid=8098 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/8100/stat : 8100 (java) Z 8098 8100 6563 0 -1 4203548 1020025 0 1 0 179879 134 0 0 17 0 2 0 834500531 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8100/statm: 0 0 0 0 0 0 0
[pid=8100/tid=8101] ppid=8098 vsize=0 CPUtime=1787.64 cores=1,3,5,7
/proc/8100/task/8101/stat : 8101 (java) R 8098 8100 6563 0 -1 4203588 713920 0 1 0 178676 88 0 0 25 0 2 0 834500531 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.58
CPU time (s): 1800.2
CPU user time (s): 1798.8
CPU system time (s): 1.40279
CPU usage (%): 100.481
Max. virtual memory (cumulated for all children) (KiB): 10558452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.40279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1020025
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= 44464
involuntary context switches= 18072
runsolver used 7.60384 second user time and 18.4602 second system time
The end