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-3455765-1307228461/watcher-3455765-1307228461 -o /tmp/evaluation-result-3455765-1307228461/solver-3455765-1307228461 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455765-1307228461.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.06 2.03 2.00 3/345 1697
/proc/meminfo: memFree=20231120/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 229 0 0 0 0 0 0 0 25 0 1 0 913076679 9318400 165 33554432000 1073741824 1073778376 140735917277248 18446744073709551615 260020393984 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/1697/statm: 2275 165 125 9 0 67 0
[pid=1697/tid=1698] ppid=1695 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 288 0 1 0 0 0 0 0 25 0 2 0 913076679 88928256 1104 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 47623606153213 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.026284 s]
/proc/loadavg: 2.06 2.03 2.00 3/345 1697
/proc/meminfo: memFree=20231120/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 9978 0 1 0 0 1 0 0 25 0 10 0 913076679 10703900672 9679 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2613257 9681 969 9 0 2604413 0
[pid=1697/tid=1698] ppid=1695 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 8858 0 1 0 0 1 0 0 25 0 10 0 913076679 10703900672 9682 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 47623611482224 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.10027 s]
/proc/loadavg: 2.06 2.03 2.00 3/345 1697
/proc/meminfo: memFree=20231120/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 11774 0 1 0 4 1 0 0 25 0 18 0 913076679 10724302848 11470 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2618238 11470 1742 9 0 2608972 0
[pid=1697/tid=1698] ppid=1695 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 10600 0 1 0 4 1 0 0 25 0 18 0 913076679 10724302848 11471 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 47623607213987 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.303559 s]
/proc/loadavg: 2.06 2.03 2.00 3/345 1697
/proc/meminfo: memFree=20231120/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10541056 CPUtime=0.43 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 15599 0 1 0 42 1 0 0 25 0 18 0 913076679 10794041344 15011 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2635264 15012 2200 9 0 2625998 0
[pid=1697/tid=1698] ppid=1695 vsize=10541056 CPUtime=0.25 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 12642 0 1 0 24 1 0 0 18 0 18 0 913076679 10794041344 15016 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 47623611344063 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10541056
[startup+0.70114 s]
/proc/loadavg: 2.06 2.03 2.00 3/345 1697
/proc/meminfo: memFree=20231120/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=1.56 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 32691 0 1 0 153 3 0 0 25 0 19 0 913076679 10810511360 29799 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 29800 2230 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=0.65 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 22699 0 1 0 63 2 0 0 19 0 19 0 913076679 10810511360 29801 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505774605 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10557140
[startup+1.50101 s]
/proc/loadavg: 2.06 2.02 2.00 4/364 1725
/proc/meminfo: memFree=20019372/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=3.19 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 107664 0 1 0 306 13 0 0 25 0 19 0 913076679 10810511360 100541 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 100549 2234 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=1.45 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 93061 0 1 0 134 11 0 0 20 0 19 0 913076679 10810511360 100551 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505746695 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1697/tid=1700] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1700/stat : 1700 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100555 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1701] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1701/stat : 1701 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100559 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1702] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1702/stat : 1702 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100564 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1703] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1703/stat : 1703 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100568 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1704] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1704/stat : 1704 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100572 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1705] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1705/stat : 1705 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100576 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1706] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1706/stat : 1706 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100579 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1707] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1707/stat : 1707 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 100583 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1708] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1708/stat : 1708 (java) S 1695 1697 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 913076682 10810511360 100587 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 0 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1709] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076683 10810511360 100591 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076683 10810511360 100595 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 100600 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.84 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8273 0 0 0 83 1 0 0 25 0 19 0 913076688 10810511360 100603 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=0.88 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5179 0 0 0 88 0 0 0 15 0 19 0 913076688 10810511360 100607 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1714] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1714/stat : 1714 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 100610 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1715] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1715/stat : 1715 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 913076688 10810511360 100614 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1716] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1716/stat : 1716 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913076720 10810511360 100618 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 10557140
[startup+3.10075 s]
/proc/loadavg: 2.06 2.02 2.00 3/364 1725
/proc/meminfo: memFree=19588100/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=4.79 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 273463 0 1 0 448 31 0 0 25 0 19 0 913076679 10810511360 266339 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 266341 2234 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=3.05 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 258853 0 1 0 275 30 0 0 25 0 19 0 913076679 10810511360 266342 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505627135 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1697/tid=1700] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1700/stat : 1700 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266343 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1701] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1701/stat : 1701 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266344 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1702] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1702/stat : 1702 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266346 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1703] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1703/stat : 1703 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266347 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1704] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1704/stat : 1704 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266347 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1705] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1705/stat : 1705 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266348 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1706] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1706/stat : 1706 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266349 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1707] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1707/stat : 1707 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 266350 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1708] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1708/stat : 1708 (java) S 1695 1697 326 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 913076682 10810511360 266352 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 0 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1709] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076683 10810511360 266352 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076683 10810511360 266352 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 266353 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.84 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8273 0 0 0 83 1 0 0 25 0 19 0 913076688 10810511360 266354 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=0.88 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5179 0 0 0 88 0 0 0 15 0 19 0 913076688 10810511360 266355 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1714] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1714/stat : 1714 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 266359 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1715] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1715/stat : 1715 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 913076688 10810511360 266364 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1716] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1716/stat : 1716 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913076720 10810511360 266367 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 10557140
[startup+6.30113 s]
/proc/loadavg: 2.05 2.02 2.00 4/364 1725
/proc/meminfo: memFree=18224280/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=8.06 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 591098 0 1 0 742 64 0 0 25 0 19 0 913076679 10810511360 583972 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 583973 2235 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=6.25 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 576482 0 1 0 563 62 0 0 25 0 19 0 913076679 10810511360 583974 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505627178 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1697/tid=1700] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1700/stat : 1700 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583975 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1701] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1701/stat : 1701 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583975 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1702] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1702/stat : 1702 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583976 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1703] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1703/stat : 1703 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583977 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1704] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1704/stat : 1704 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583977 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1705] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1705/stat : 1705 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583978 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1706] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1706/stat : 1706 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583978 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1707] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1707/stat : 1707 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076681 10810511360 583979 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1708] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1708/stat : 1708 (java) S 1695 1697 326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 913076682 10810511360 583980 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 0 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1709] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076683 10810511360 583980 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076683 10810511360 583981 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 583982 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.84 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8274 0 0 0 83 1 0 0 18 0 19 0 913076688 10810511360 583982 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=0.94 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5182 0 0 0 94 0 0 0 15 0 19 0 913076688 10810511360 583983 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.86 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8276 0 0 0 85 1 0 0 18 0 19 0 913076688 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=1.11 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5206 0 0 0 111 0 0 0 16 0 19 0 913076688 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1714] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1714/stat : 1714 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1715] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1715/stat : 1715 (java) S 1695 1697 326 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 913076688 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1716] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1716/stat : 1716 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913076720 10810511360 992418 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.98
Current children cumulated vsize (KiB) 10557140
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/364 1865
/proc/meminfo: memFree=16330872/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=1729.16 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 1004744 0 1 0 172804 112 0 0 25 0 19 0 913076679 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 994208 2264 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=1719.01 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 803022 0 1 0 171815 86 0 0 25 0 19 0 913076679 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505750808 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1697/tid=1700] ppid=1695 vsize=10557140 CPUtime=0.81 cores=1,3,5,7
/proc/1697/task/1700/stat : 1700 (java) S 1695 1697 326 0 -1 4202560 24791 0 0 0 79 2 0 0 16 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1701] ppid=1695 vsize=10557140 CPUtime=1.01 cores=1,3,5,7
/proc/1697/task/1701/stat : 1701 (java) S 1695 1697 326 0 -1 4202560 26028 0 0 0 98 3 0 0 16 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1702] ppid=1695 vsize=10557140 CPUtime=0.89 cores=1,3,5,7
/proc/1697/task/1702/stat : 1702 (java) S 1695 1697 326 0 -1 4202560 18960 0 0 0 88 1 0 0 16 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1703] ppid=1695 vsize=10557140 CPUtime=0.86 cores=1,3,5,7
/proc/1697/task/1703/stat : 1703 (java) S 1695 1697 326 0 -1 4202560 20872 0 0 0 84 2 0 0 15 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1704] ppid=1695 vsize=10557140 CPUtime=0.89 cores=1,3,5,7
/proc/1697/task/1704/stat : 1704 (java) S 1695 1697 326 0 -1 4202560 27826 0 0 0 86 3 0 0 16 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1705] ppid=1695 vsize=10557140 CPUtime=0.87 cores=1,3,5,7
/proc/1697/task/1705/stat : 1705 (java) S 1695 1697 326 0 -1 4202560 19054 0 0 0 85 2 0 0 15 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1706] ppid=1695 vsize=10557140 CPUtime=0.92 cores=1,3,5,7
/proc/1697/task/1706/stat : 1706 (java) S 1695 1697 326 0 -1 4202560 25067 0 0 0 89 3 0 0 16 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1707] ppid=1695 vsize=10557140 CPUtime=0.96 cores=1,3,5,7
/proc/1697/task/1707/stat : 1707 (java) S 1695 1697 326 0 -1 4202560 23509 0 0 0 94 2 0 0 15 0 19 0 913076681 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1708] ppid=1695 vsize=10557140 CPUtime=0.82 cores=1,3,5,7
/proc/1697/task/1708/stat : 1708 (java) S 1695 1697 326 0 -1 4202560 883 0 0 0 82 0 0 0 15 0 19 0 913076682 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 0 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1709] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.86 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8276 0 0 0 85 1 0 0 18 0 19 0 913076688 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=1.11 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5206 0 0 0 111 0 0 0 16 0 19 0 913076688 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1714] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1714/stat : 1714 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1715] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1715/stat : 1715 (java) S 1695 1697 326 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 913076688 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1716] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1716/stat : 1716 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913076720 10810511360 994208 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1729.16
Current children cumulated vsize (KiB) 10557140
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/364 1867
/proc/meminfo: memFree=16317448/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=1789.35 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 1008023 0 1 0 178823 112 0 0 25 0 19 0 913076679 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 997438 2264 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=1778.93 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 803025 0 1 0 177807 86 0 0 25 0 19 0 913076679 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505750845 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1697/tid=1700] ppid=1695 vsize=10557140 CPUtime=0.84 cores=1,3,5,7
/proc/1697/task/1700/stat : 1700 (java) S 1695 1697 326 0 -1 4202560 25257 0 0 0 82 2 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1701] ppid=1695 vsize=10557140 CPUtime=1.03 cores=1,3,5,7
/proc/1697/task/1701/stat : 1701 (java) S 1695 1697 326 0 -1 4202560 26310 0 0 0 100 3 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1702] ppid=1695 vsize=10557140 CPUtime=0.93 cores=1,3,5,7
/proc/1697/task/1702/stat : 1702 (java) S 1695 1697 326 0 -1 4202560 19364 0 0 0 91 2 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1703] ppid=1695 vsize=10557140 CPUtime=0.89 cores=1,3,5,7
/proc/1697/task/1703/stat : 1703 (java) S 1695 1697 326 0 -1 4202560 21035 0 0 0 87 2 0 0 15 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1704] ppid=1695 vsize=10557140 CPUtime=0.94 cores=1,3,5,7
/proc/1697/task/1704/stat : 1704 (java) S 1695 1697 326 0 -1 4202560 28159 0 0 0 91 3 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1705] ppid=1695 vsize=10557140 CPUtime=0.92 cores=1,3,5,7
/proc/1697/task/1705/stat : 1705 (java) S 1695 1697 326 0 -1 4202560 19699 0 0 0 90 2 0 0 15 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1706] ppid=1695 vsize=10557140 CPUtime=0.97 cores=1,3,5,7
/proc/1697/task/1706/stat : 1706 (java) S 1695 1697 326 0 -1 4202560 25780 0 0 0 94 3 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1707] ppid=1695 vsize=10557140 CPUtime=0.99 cores=1,3,5,7
/proc/1697/task/1707/stat : 1707 (java) S 1695 1697 326 0 -1 4202560 23771 0 0 0 96 3 0 0 15 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1708] ppid=1695 vsize=10557140 CPUtime=0.82 cores=1,3,5,7
/proc/1697/task/1708/stat : 1708 (java) S 1695 1697 326 0 -1 4202560 887 0 0 0 82 0 0 0 15 0 19 0 913076682 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 0 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1709] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.86 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8276 0 0 0 85 1 0 0 18 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=1.11 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5206 0 0 0 111 0 0 0 16 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1714] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1714/stat : 1714 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1715] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1715/stat : 1715 (java) S 1695 1697 326 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1716] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1716/stat : 1716 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913076720 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (KiB) 10557140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.01 s]
/proc/loadavg: 2.02 2.01 2.00 3/364 1867
/proc/meminfo: memFree=16316944/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=10557140 CPUtime=1800.07 cores=1,3,5,7
/proc/1697/stat : 1697 (java) S 1695 1697 326 0 -1 4202496 1008023 0 1 0 179895 112 0 0 25 0 19 0 913076679 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 2639285 997438 2264 9 0 2630019 0
[pid=1697/tid=1698] ppid=1695 vsize=10557140 CPUtime=1789.66 cores=1,3,5,7
/proc/1697/task/1698/stat : 1698 (java) R 1695 1697 326 0 -1 4202560 803025 0 1 0 178880 86 0 0 25 0 19 0 913076679 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 46912505750845 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1697/tid=1700] ppid=1695 vsize=10557140 CPUtime=0.84 cores=1,3,5,7
/proc/1697/task/1700/stat : 1700 (java) S 1695 1697 326 0 -1 4202560 25257 0 0 0 82 2 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1701] ppid=1695 vsize=10557140 CPUtime=1.03 cores=1,3,5,7
/proc/1697/task/1701/stat : 1701 (java) S 1695 1697 326 0 -1 4202560 26310 0 0 0 100 3 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1702] ppid=1695 vsize=10557140 CPUtime=0.93 cores=1,3,5,7
/proc/1697/task/1702/stat : 1702 (java) S 1695 1697 326 0 -1 4202560 19364 0 0 0 91 2 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1703] ppid=1695 vsize=10557140 CPUtime=0.89 cores=1,3,5,7
/proc/1697/task/1703/stat : 1703 (java) S 1695 1697 326 0 -1 4202560 21035 0 0 0 87 2 0 0 15 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1704] ppid=1695 vsize=10557140 CPUtime=0.94 cores=1,3,5,7
/proc/1697/task/1704/stat : 1704 (java) S 1695 1697 326 0 -1 4202560 28159 0 0 0 91 3 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1705] ppid=1695 vsize=10557140 CPUtime=0.92 cores=1,3,5,7
/proc/1697/task/1705/stat : 1705 (java) S 1695 1697 326 0 -1 4202560 19699 0 0 0 90 2 0 0 15 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1706] ppid=1695 vsize=10557140 CPUtime=0.97 cores=1,3,5,7
/proc/1697/task/1706/stat : 1706 (java) S 1695 1697 326 0 -1 4202560 25780 0 0 0 94 3 0 0 16 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1707] ppid=1695 vsize=10557140 CPUtime=0.99 cores=1,3,5,7
/proc/1697/task/1707/stat : 1707 (java) S 1695 1697 326 0 -1 4202560 23771 0 0 0 96 3 0 0 15 0 19 0 913076681 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1708] ppid=1695 vsize=10557140 CPUtime=0.82 cores=1,3,5,7
/proc/1697/task/1708/stat : 1708 (java) S 1695 1697 326 0 -1 4202560 887 0 0 0 82 0 0 0 15 0 19 0 913076682 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 0 0 16800975 18446604463915676736 0 0 -1 3 0 0 0
[pid=1697/tid=1709] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1709/stat : 1709 (java) S 1695 1697 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1710] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1710/stat : 1710 (java) S 1695 1697 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076683 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1711] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1711/stat : 1711 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032219569 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1712] ppid=1695 vsize=10557140 CPUtime=0.86 cores=1,3,5,7
/proc/1697/task/1712/stat : 1712 (java) S 1695 1697 326 0 -1 4202560 8276 0 0 0 85 1 0 0 18 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 7 0 0 0
[pid=1697/tid=1713] ppid=1695 vsize=10557140 CPUtime=1.11 cores=1,3,5,7
/proc/1697/task/1713/stat : 1713 (java) S 1695 1697 326 0 -1 4202560 5206 0 0 0 111 0 0 0 16 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1714] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1714/stat : 1714 (java) S 1695 1697 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032211865 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
[pid=1697/tid=1715] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1715/stat : 1715 (java) S 1695 1697 326 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 913076688 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 1 0 0 0
[pid=1697/tid=1716] ppid=1695 vsize=10557140 CPUtime=0 cores=1,3,5,7
/proc/1697/task/1716/stat : 1716 (java) S 1695 1697 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 913076720 10810511360 997438 33554432000 1073741824 1073778376 140733433297152 18446744073709551615 260032212480 0 4 0 16800975 18446604463915676736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10557140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/364 1867
/proc/meminfo: memFree=16316944/32951124 swapFree=67056304/67111528
[pid=1697] ppid=1695 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/1697/stat : 1697 (java) Z 1695 1697 326 0 -1 4203548 1009156 0 1 0 179910 125 0 0 17 0 2 0 913076679 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1697/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.23
CPU time (s): 1800.39
CPU user time (s): 1799.11
CPU system time (s): 1.28081
CPU usage (%): 100.399
Max. virtual memory (cumulated for all children) (KiB): 10557140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.2808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009156
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= 39433
involuntary context switches= 37882
runsolver used 5.67814 second user time and 13.9259 second system time
The end