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-3456453-1307221251/watcher-3456453-1307221251 -o /tmp/evaluation-result-3456453-1307221251/solver-3456453-1307221251 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456453-1307221251.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.08 2.02 2/529 12680
/proc/meminfo: memFree=12535056/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 814541257 36646912 1017 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 8947 1017 782 9 0 386 0
[pid=12680/tid=12681] ppid=12678 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) S 12678 12680 12030 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 814541258 36646912 1017 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255106788934 0 0 0 16784584 5061519869145513983 0 0 -1 0 0 0 0
[startup+0.0600719 s]
/proc/loadavg: 2.09 2.08 2.02 2/529 12680
/proc/meminfo: memFree=12535056/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 11361 0 1 0 2 1 0 0 25 0 13 0 814541257 10718699520 11057 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2616870 11059 1681 9 0 2607618 0
[pid=12680/tid=12681] ppid=12678 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 10216 0 1 0 2 1 0 0 25 0 13 0 814541258 10718699520 11059 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118595531 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.103528 s]
/proc/loadavg: 2.09 2.08 2.02 2/529 12680
/proc/meminfo: memFree=12535056/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10540112 CPUtime=0.09 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 12892 0 1 0 8 1 0 0 25 0 18 0 814541257 10793074688 12588 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2635028 12591 2080 9 0 2625762 0
[pid=12680/tid=12681] ppid=12678 vsize=10540112 CPUtime=0.07 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 11031 0 1 0 6 1 0 0 18 0 18 0 814541258 10793074688 12591 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540112
[startup+0.402772 s]
/proc/loadavg: 2.09 2.08 2.02 2/529 12680
/proc/meminfo: memFree=12535056/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10553456 CPUtime=0.87 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 25436 0 1 0 84 3 0 0 25 0 18 0 814541257 10806738944 23175 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638364 23181 2210 9 0 2629098 0
[pid=12680/tid=12681] ppid=12678 vsize=10553456 CPUtime=0.38 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 16611 0 1 0 36 2 0 0 18 0 18 0 814541258 10806738944 23183 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505577962 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10553456
[startup+0.700971 s]
/proc/loadavg: 2.09 2.08 2.02 2/529 12680
/proc/meminfo: memFree=12535056/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10553456 CPUtime=1.17 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 49802 0 1 0 111 6 0 0 25 0 18 0 814541257 10806738944 47541 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638364 47545 2212 9 0 2629098 0
[pid=12680/tid=12681] ppid=12678 vsize=10553456 CPUtime=0.67 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 40969 0 1 0 62 5 0 0 18 0 18 0 814541258 10806738944 47547 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505604257 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10553456
[startup+1.50083 s]
/proc/loadavg: 2.09 2.08 2.02 5/547 12698
/proc/meminfo: memFree=12209468/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10554484 CPUtime=2.34 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 119874 0 1 0 218 16 0 0 25 0 19 0 814541257 10807791616 115917 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638621 115919 2228 9 0 2629355 0
[pid=12680/tid=12681] ppid=12678 vsize=10554484 CPUtime=1.47 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 109067 0 1 0 133 14 0 0 18 0 19 0 814541258 10807791616 115920 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505845583 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12680/tid=12683] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12683/stat : 12683 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115921 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12684] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12684/stat : 12684 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115923 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12685] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12685/stat : 12685 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115924 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12686] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12686/stat : 12686 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115927 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12687] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12687/stat : 12687 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115928 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12688] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12688/stat : 12688 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115929 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12689] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12689/stat : 12689 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115931 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12690] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12690/stat : 12690 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 115932 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12691] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12691/stat : 12691 (java) S 12678 12680 12030 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 115933 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 0 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12692] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12692/stat : 12692 (java) S 12678 12680 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814541262 10807791616 115935 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12693] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12693/stat : 12693 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814541262 10807791616 115936 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12694] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12694/stat : 12694 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 115937 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118592433 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12695] ppid=12678 vsize=10554484 CPUtime=0.41 cores=0,2,4,6
/proc/12680/task/12695/stat : 12695 (java) S 12678 12680 12030 0 -1 4202560 4685 0 0 0 41 0 0 0 16 0 19 0 814541264 10807791616 115939 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12696] ppid=12678 vsize=10554484 CPUtime=0.43 cores=0,2,4,6
/proc/12680/task/12696/stat : 12696 (java) S 12678 12680 12030 0 -1 4202560 4969 0 0 0 43 0 0 0 15 0 19 0 814541264 10807791616 115940 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12697] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12697/stat : 12697 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 115941 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12698] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12698/stat : 12698 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814541264 10807791616 115943 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10554484
[startup+3.10152 s]
/proc/loadavg: 2.09 2.08 2.02 3/548 12699
/proc/meminfo: memFree=11971752/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10554484 CPUtime=4.24 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 179963 0 1 0 403 21 0 0 25 0 19 0 814541257 10807791616 175630 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638621 175632 2233 9 0 2629355 0
[pid=12680/tid=12681] ppid=12678 vsize=10554484 CPUtime=3.07 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 168734 0 1 0 287 20 0 0 19 0 19 0 814541258 10807791616 175632 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505577905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12680/tid=12683] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12683/stat : 12683 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175634 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12684] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12684/stat : 12684 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175635 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12685] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12685/stat : 12685 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175636 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12686] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12686/stat : 12686 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175637 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12687] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12687/stat : 12687 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175638 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12688] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12688/stat : 12688 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175639 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12689] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12689/stat : 12689 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175640 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12690] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12690/stat : 12690 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 175641 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12691] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12691/stat : 12691 (java) S 12678 12680 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 175642 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 0 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12692] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12692/stat : 12692 (java) S 12678 12680 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814541262 10807791616 175642 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12693] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12693/stat : 12693 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814541262 10807791616 175643 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12694] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12694/stat : 12694 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 175645 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118592433 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12695] ppid=12678 vsize=10554484 CPUtime=0.58 cores=0,2,4,6
/proc/12680/task/12695/stat : 12695 (java) S 12678 12680 12030 0 -1 4202560 5083 0 0 0 58 0 0 0 15 0 19 0 814541264 10807791616 175645 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12696] ppid=12678 vsize=10554484 CPUtime=0.57 cores=0,2,4,6
/proc/12680/task/12696/stat : 12696 (java) S 12678 12680 12030 0 -1 4202560 4988 0 0 0 57 0 0 0 15 0 19 0 814541264 10807791616 175646 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12697] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12697/stat : 12697 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 175647 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12698] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12698/stat : 12698 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814541264 10807791616 175648 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12699] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12699/stat : 12699 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814541399 10807791616 175649 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 10554484
[startup+6.30099 s]
/proc/loadavg: 2.08 2.07 2.02 3/548 12699
/proc/meminfo: memFree=11423812/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10554484 CPUtime=7.64 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 319544 0 1 0 725 39 0 0 25 0 19 0 814541257 10807791616 314369 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638621 314372 2238 9 0 2629355 0
[pid=12680/tid=12681] ppid=12678 vsize=10554484 CPUtime=6.27 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 307440 0 1 0 589 38 0 0 25 0 19 0 814541258 10807791616 314374 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505845579 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12680/tid=12683] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12683/stat : 12683 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314375 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12684] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12684/stat : 12684 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314377 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12685] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12685/stat : 12685 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314379 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12686] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12686/stat : 12686 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314380 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12687] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12687/stat : 12687 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314382 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12688] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12688/stat : 12688 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314384 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12689] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12689/stat : 12689 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314386 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12690] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12690/stat : 12690 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541260 10807791616 314388 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12691] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12691/stat : 12691 (java) S 12678 12680 12030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814541262 10807791616 314389 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 0 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12692] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12692/stat : 12692 (java) S 12678 12680 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814541262 10807791616 314391 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12693] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12693/stat : 12693 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814541262 10807791616 314393 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12694] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12694/stat : 12694 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 314394 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118592433 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12695] ppid=12678 vsize=10554484 CPUtime=0.66 cores=0,2,4,6
/proc/12680/task/12695/stat : 12695 (java) S 12678 12680 12030 0 -1 4202560 5934 0 0 0 66 0 0 0 15 0 19 0 814541264 10807791616 314396 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12696] ppid=12678 vsize=10554484 CPUtime=0.69 cores=0,2,4,6
/proc/12680/task/12696/stat : 12696 (java) S 12678 12680 12030 0 -1 4202560 5013 0 0 0 69 0 0 0 15 0 19 0 814541264 10807791616 314398 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12697] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12697/stat : 12697 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 314399 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=12680/tid=12699] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12699/stat : 12699 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814541399 10807791616 927172 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.86
Current children cumulated vsize (KiB) 10554484
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/548 12851
/proc/meminfo: memFree=9044224/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10554484 CPUtime=1730.08 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 936267 0 1 0 172893 115 0 0 25 0 19 0 814541257 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638621 928815 2267 9 0 2629355 0
[pid=12680/tid=12681] ppid=12678 vsize=10554484 CPUtime=1717.7 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 804124 0 1 0 171672 98 0 0 25 0 19 0 814541258 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505922850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12680/tid=12683] ppid=12678 vsize=10554484 CPUtime=1.14 cores=0,2,4,6
/proc/12680/task/12683/stat : 12683 (java) S 12678 12680 12030 0 -1 4202560 14901 0 0 0 113 1 0 0 16 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12684] ppid=12678 vsize=10554484 CPUtime=1.05 cores=0,2,4,6
/proc/12680/task/12684/stat : 12684 (java) S 12678 12680 12030 0 -1 4202560 16979 0 0 0 104 1 0 0 16 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12685] ppid=12678 vsize=10554484 CPUtime=1.09 cores=0,2,4,6
/proc/12680/task/12685/stat : 12685 (java) S 12678 12680 12030 0 -1 4202560 17472 0 0 0 108 1 0 0 15 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12686] ppid=12678 vsize=10554484 CPUtime=1.01 cores=0,2,4,6
/proc/12680/task/12686/stat : 12686 (java) S 12678 12680 12030 0 -1 4202560 13651 0 0 0 100 1 0 0 16 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12687] ppid=12678 vsize=10554484 CPUtime=0.97 cores=0,2,4,6
/proc/12680/task/12687/stat : 12687 (java) S 12678 12680 12030 0 -1 4202560 9015 0 0 0 96 1 0 0 16 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12688] ppid=12678 vsize=10554484 CPUtime=0.97 cores=0,2,4,6
/proc/12680/task/12688/stat : 12688 (java) S 12678 12680 12030 0 -1 4202560 14010 0 0 0 96 1 0 0 15 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12689] ppid=12678 vsize=10554484 CPUtime=1.09 cores=0,2,4,6
/proc/12680/task/12689/stat : 12689 (java) S 12678 12680 12030 0 -1 4202560 8849 0 0 0 107 2 0 0 15 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12690] ppid=12678 vsize=10554484 CPUtime=1.12 cores=0,2,4,6
/proc/12680/task/12690/stat : 12690 (java) S 12678 12680 12030 0 -1 4202560 14525 0 0 0 110 2 0 0 15 0 19 0 814541260 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12691] ppid=12678 vsize=10554484 CPUtime=1.89 cores=0,2,4,6
/proc/12680/task/12691/stat : 12691 (java) S 12678 12680 12030 0 -1 4202560 9488 0 0 0 187 2 0 0 15 0 19 0 814541262 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 0 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12692] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12692/stat : 12692 (java) S 12678 12680 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12693] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12693/stat : 12693 (java) S 12678 12680 12030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12694] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12694/stat : 12694 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118592433 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12695] ppid=12678 vsize=10554484 CPUtime=0.97 cores=0,2,4,6
/proc/12680/task/12695/stat : 12695 (java) S 12678 12680 12030 0 -1 4202560 6948 0 0 0 97 0 0 0 16 0 19 0 814541264 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12696] ppid=12678 vsize=10554484 CPUtime=0.96 cores=0,2,4,6
/proc/12680/task/12696/stat : 12696 (java) S 12678 12680 12030 0 -1 4202560 5053 0 0 0 96 0 0 0 15 0 19 0 814541264 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12697] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12697/stat : 12697 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12698] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12698/stat : 12698 (java) S 12678 12680 12030 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814541264 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12699] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12699/stat : 12699 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814541399 10807791616 928815 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1730.08
Current children cumulated vsize (KiB) 10554484
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/548 12853
/proc/meminfo: memFree=9025224/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10554484 CPUtime=1790.34 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 938127 0 1 0 178919 115 0 0 25 0 19 0 814541257 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638621 930651 2267 9 0 2629355 0
[pid=12680/tid=12681] ppid=12678 vsize=10554484 CPUtime=1777.59 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 804128 0 1 0 177661 98 0 0 25 0 19 0 814541258 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505922876 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12680/tid=12683] ppid=12678 vsize=10554484 CPUtime=1.17 cores=0,2,4,6
/proc/12680/task/12683/stat : 12683 (java) S 12678 12680 12030 0 -1 4202560 15016 0 0 0 116 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12684] ppid=12678 vsize=10554484 CPUtime=1.11 cores=0,2,4,6
/proc/12680/task/12684/stat : 12684 (java) S 12678 12680 12030 0 -1 4202560 17352 0 0 0 110 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12685] ppid=12678 vsize=10554484 CPUtime=1.1 cores=0,2,4,6
/proc/12680/task/12685/stat : 12685 (java) S 12678 12680 12030 0 -1 4202560 17499 0 0 0 109 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12686] ppid=12678 vsize=10554484 CPUtime=1.07 cores=0,2,4,6
/proc/12680/task/12686/stat : 12686 (java) S 12678 12680 12030 0 -1 4202560 13879 0 0 0 106 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12687] ppid=12678 vsize=10554484 CPUtime=1.02 cores=0,2,4,6
/proc/12680/task/12687/stat : 12687 (java) S 12678 12680 12030 0 -1 4202560 9192 0 0 0 101 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12688] ppid=12678 vsize=10554484 CPUtime=1.01 cores=0,2,4,6
/proc/12680/task/12688/stat : 12688 (java) S 12678 12680 12030 0 -1 4202560 14153 0 0 0 100 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12689] ppid=12678 vsize=10554484 CPUtime=1.15 cores=0,2,4,6
/proc/12680/task/12689/stat : 12689 (java) S 12678 12680 12030 0 -1 4202560 9234 0 0 0 113 2 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12690] ppid=12678 vsize=10554484 CPUtime=1.19 cores=0,2,4,6
/proc/12680/task/12690/stat : 12690 (java) S 12678 12680 12030 0 -1 4202560 14929 0 0 0 117 2 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12691] ppid=12678 vsize=10554484 CPUtime=1.89 cores=0,2,4,6
/proc/12680/task/12691/stat : 12691 (java) S 12678 12680 12030 0 -1 4202560 9490 0 0 0 187 2 0 0 15 0 19 0 814541262 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 0 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12692] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12692/stat : 12692 (java) S 12678 12680 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12693] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12693/stat : 12693 (java) S 12678 12680 12030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12694] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12694/stat : 12694 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118592433 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12695] ppid=12678 vsize=10554484 CPUtime=0.97 cores=0,2,4,6
/proc/12680/task/12695/stat : 12695 (java) S 12678 12680 12030 0 -1 4202560 6948 0 0 0 97 0 0 0 16 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12696] ppid=12678 vsize=10554484 CPUtime=0.96 cores=0,2,4,6
/proc/12680/task/12696/stat : 12696 (java) S 12678 12680 12030 0 -1 4202560 5053 0 0 0 96 0 0 0 15 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12697] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12697/stat : 12697 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12698] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12698/stat : 12698 (java) S 12678 12680 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12699] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12699/stat : 12699 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814541399 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 10554484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.02 s]
/proc/loadavg: 2.01 2.04 2.00 3/548 12853
/proc/meminfo: memFree=9025344/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=10554484 CPUtime=1800.08 cores=0,2,4,6
/proc/12680/stat : 12680 (java) S 12678 12680 12030 0 -1 4202496 938129 0 1 0 179893 115 0 0 25 0 19 0 814541257 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 2638621 930651 2267 9 0 2629355 0
[pid=12680/tid=12681] ppid=12678 vsize=10554484 CPUtime=1787.33 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4202560 804128 0 1 0 178635 98 0 0 25 0 19 0 814541258 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 46912505898560 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12680/tid=12683] ppid=12678 vsize=10554484 CPUtime=1.17 cores=0,2,4,6
/proc/12680/task/12683/stat : 12683 (java) S 12678 12680 12030 0 -1 4202560 15016 0 0 0 116 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12684] ppid=12678 vsize=10554484 CPUtime=1.11 cores=0,2,4,6
/proc/12680/task/12684/stat : 12684 (java) S 12678 12680 12030 0 -1 4202560 17352 0 0 0 110 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12685] ppid=12678 vsize=10554484 CPUtime=1.1 cores=0,2,4,6
/proc/12680/task/12685/stat : 12685 (java) S 12678 12680 12030 0 -1 4202560 17499 0 0 0 109 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12686] ppid=12678 vsize=10554484 CPUtime=1.07 cores=0,2,4,6
/proc/12680/task/12686/stat : 12686 (java) S 12678 12680 12030 0 -1 4202560 13879 0 0 0 106 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12687] ppid=12678 vsize=10554484 CPUtime=1.02 cores=0,2,4,6
/proc/12680/task/12687/stat : 12687 (java) S 12678 12680 12030 0 -1 4202560 9192 0 0 0 101 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12688] ppid=12678 vsize=10554484 CPUtime=1.01 cores=0,2,4,6
/proc/12680/task/12688/stat : 12688 (java) S 12678 12680 12030 0 -1 4202560 14153 0 0 0 100 1 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12689] ppid=12678 vsize=10554484 CPUtime=1.15 cores=0,2,4,6
/proc/12680/task/12689/stat : 12689 (java) S 12678 12680 12030 0 -1 4202560 9234 0 0 0 113 2 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12690] ppid=12678 vsize=10554484 CPUtime=1.19 cores=0,2,4,6
/proc/12680/task/12690/stat : 12690 (java) S 12678 12680 12030 0 -1 4202560 14929 0 0 0 117 2 0 0 16 0 19 0 814541260 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12691] ppid=12678 vsize=10554484 CPUtime=1.89 cores=0,2,4,6
/proc/12680/task/12691/stat : 12691 (java) S 12678 12680 12030 0 -1 4202560 9490 0 0 0 187 2 0 0 15 0 19 0 814541262 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 0 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12692] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12692/stat : 12692 (java) S 12678 12680 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12693] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12693/stat : 12693 (java) S 12678 12680 12030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814541262 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12694] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12694/stat : 12694 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118592433 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12695] ppid=12678 vsize=10554484 CPUtime=0.97 cores=0,2,4,6
/proc/12680/task/12695/stat : 12695 (java) S 12678 12680 12030 0 -1 4202560 6948 0 0 0 97 0 0 0 16 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 4 0 0 0
[pid=12680/tid=12696] ppid=12678 vsize=10554484 CPUtime=0.96 cores=0,2,4,6
/proc/12680/task/12696/stat : 12696 (java) S 12678 12680 12030 0 -1 4202560 5053 0 0 0 96 0 0 0 15 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 2 0 0 0
[pid=12680/tid=12697] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12697/stat : 12697 (java) S 12678 12680 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118584729 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
[pid=12680/tid=12698] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12698/stat : 12698 (java) S 12678 12680 12030 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814541264 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 0 0 0 0
[pid=12680/tid=12699] ppid=12678 vsize=10554484 CPUtime=0 cores=0,2,4,6
/proc/12680/task/12699/stat : 12699 (java) S 12678 12680 12030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 814541399 10807791616 930651 33554432000 1073741824 1073778376 140736456969872 18446744073709551615 255118585344 0 4 0 16800975 18446604441206268288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10554484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.13 s]
/proc/loadavg: 2.01 2.04 2.00 3/548 12853
/proc/meminfo: memFree=9025344/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/12680/stat : 12680 (java) Z 12678 12680 12030 0 -1 4203548 938161 0 1 0 179901 121 0 0 17 0 2 0 814541257 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 0 0 0 0 0 0 0
[pid=12680/tid=12681] ppid=12678 vsize=0 CPUtime=1787.41 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4203588 804128 0 1 0 178638 103 0 0 25 0 2 0 814541258 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1792.2 s]
/proc/loadavg: 2.01 2.04 2.00 3/548 12853
/proc/meminfo: memFree=9025344/32951124 swapFree=67111204/67111528
[pid=12680] ppid=12678 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/12680/stat : 12680 (java) Z 12678 12680 12030 0 -1 4203548 938161 0 1 0 179901 128 0 0 17 0 2 0 814541257 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12680/statm: 0 0 0 0 0 0 0
[pid=12680/tid=12681] ppid=12678 vsize=0 CPUtime=1787.48 cores=0,2,4,6
/proc/12680/task/12681/stat : 12681 (java) R 12678 12680 12030 0 -1 4203588 804128 0 1 0 178638 110 0 0 25 0 2 0 814541258 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.23
CPU time (s): 1800.33
CPU user time (s): 1799.02
CPU system time (s): 1.3118
CPU usage (%): 100.452
Max. virtual memory (cumulated for all children) (KiB): 10554484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.3118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 938161
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= 39937
involuntary context switches= 17376
runsolver used 10.0735 second user time and 20.9248 second system time
The end