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-3457585-1307228576/watcher-3457585-1307228576 -o /tmp/evaluation-result-3457585-1307228576/solver-3457585-1307228576 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457585-1307228576.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.31 2.11 2.02 4/516 26687
/proc/meminfo: memFree=25460764/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 6759 0 1 0 0 0 0 0 24 0 2 0 834457429 10694979584 6461 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2611079 6476 917 9 0 2602235 0
[pid=26687/tid=26688] ppid=26685 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 7736 0 1 0 0 0 0 0 25 0 2 0 834457429 10694979584 8552 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.11198 s]
/proc/loadavg: 2.31 2.11 2.02 4/516 26687
/proc/meminfo: memFree=25460764/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10539984 CPUtime=0.12 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 13989 0 1 0 11 1 0 0 24 0 18 0 834457429 10792943616 13671 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2634996 13696 2134 9 0 2625730 0
[pid=26687/tid=26688] ppid=26685 vsize=10539984 CPUtime=0.09 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 12000 0 1 0 8 1 0 0 18 0 18 0 834457429 10792943616 13709 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 47902835076186 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539984
[startup+0.200992 s]
/proc/loadavg: 2.31 2.11 2.02 4/516 26687
/proc/meminfo: memFree=25460764/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10539984 CPUtime=0.22 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 21939 0 1 0 19 3 0 0 24 0 18 0 834457429 10792943616 21620 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2634996 21620 2134 9 0 2625730 0
[pid=26687/tid=26688] ppid=26685 vsize=10539984 CPUtime=0.18 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 19911 0 1 0 16 2 0 0 18 0 18 0 834457429 10792943616 21620 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505194183 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10539984
[startup+0.300974 s]
/proc/loadavg: 2.31 2.11 2.02 4/516 26687
/proc/meminfo: memFree=25460764/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10539984 CPUtime=0.32 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 21952 0 1 0 29 3 0 0 24 0 18 0 834457429 10792943616 21633 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2634996 21633 2134 9 0 2625730 0
[pid=26687/tid=26688] ppid=26685 vsize=10539984 CPUtime=0.28 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 19924 0 1 0 26 2 0 0 18 0 18 0 834457429 10792943616 21633 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505164896 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10539984
[startup+0.700925 s]
/proc/loadavg: 2.31 2.11 2.02 4/516 26687
/proc/meminfo: memFree=25460764/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10539984 CPUtime=0.72 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 22035 0 1 0 69 3 0 0 24 0 18 0 834457429 10792943616 21716 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2634996 21716 2158 9 0 2625730 0
[pid=26687/tid=26688] ppid=26685 vsize=10539984 CPUtime=0.68 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 19966 0 1 0 65 3 0 0 18 0 18 0 834457429 10792943616 21716 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505165237 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10539984
[startup+1.50072 s]
/proc/loadavg: 2.31 2.11 2.02 5/534 26705
/proc/meminfo: memFree=25377984/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10541668 CPUtime=1.68 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 29438 0 1 0 160 8 0 0 24 0 18 0 834457429 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2635417 28962 2200 9 0 2626151 0
[pid=26687/tid=26688] ppid=26685 vsize=10541668 CPUtime=1.48 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 26739 0 1 0 141 7 0 0 20 0 18 0 834457429 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505592877 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26687/tid=26690] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26690/stat : 26690 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26691] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26691/stat : 26691 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26692] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26692/stat : 26692 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26693] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26693/stat : 26693 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26694] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26694/stat : 26694 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26695] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26695/stat : 26695 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26696] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26696/stat : 26696 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26697] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26697/stat : 26697 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26698] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26698/stat : 26698 (java) S 26685 26687 24816 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834457432 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 0 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26699] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26699/stat : 26699 (java) S 26685 26687 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834457432 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26700] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26700/stat : 26700 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834457432 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26701] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26701/stat : 26701 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457435 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658970033 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26702] ppid=26685 vsize=10541668 CPUtime=0.1 cores=0,2,4,6
/proc/26687/task/26702/stat : 26702 (java) S 26685 26687 24816 0 -1 4202560 720 0 0 0 10 0 0 0 15 0 18 0 834457435 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26703] ppid=26685 vsize=10541668 CPUtime=0.07 cores=0,2,4,6
/proc/26687/task/26703/stat : 26703 (java) S 26685 26687 24816 0 -1 4202560 829 0 0 0 7 0 0 0 16 0 18 0 834457435 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26704] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457435 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834457435 10794668032 28962 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10541668
[startup+3.10144 s]
/proc/loadavg: 2.31 2.11 2.02 4/534 26705
/proc/meminfo: memFree=25127628/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10541668 CPUtime=3.27 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 152171 0 1 0 306 21 0 0 24 0 18 0 834457429 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2635417 151695 2200 9 0 2626151 0
[pid=26687/tid=26688] ppid=26685 vsize=10541668 CPUtime=3.09 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 149472 0 1 0 288 21 0 0 25 0 18 0 834457429 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505508432 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26687/tid=26690] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26690/stat : 26690 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26691] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26691/stat : 26691 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26692] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26692/stat : 26692 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26693] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26693/stat : 26693 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26694] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26694/stat : 26694 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26695] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26695/stat : 26695 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26696] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26696/stat : 26696 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26697] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26697/stat : 26697 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26698] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26698/stat : 26698 (java) S 26685 26687 24816 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834457432 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 0 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26699] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26699/stat : 26699 (java) S 26685 26687 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834457432 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26700] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26700/stat : 26700 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834457432 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26701] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26701/stat : 26701 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457435 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658970033 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26702] ppid=26685 vsize=10541668 CPUtime=0.1 cores=0,2,4,6
/proc/26687/task/26702/stat : 26702 (java) S 26685 26687 24816 0 -1 4202560 720 0 0 0 10 0 0 0 15 0 18 0 834457435 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26703] ppid=26685 vsize=10541668 CPUtime=0.07 cores=0,2,4,6
/proc/26687/task/26703/stat : 26703 (java) S 26685 26687 24816 0 -1 4202560 829 0 0 0 7 0 0 0 15 0 18 0 834457435 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26704] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457435 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10541668 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834457435 10794668032 151695 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 10541668
[startup+6.30097 s]
/proc/loadavg: 2.53 2.16 2.04 5/534 26705
/proc/meminfo: memFree=24028368/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10544128 CPUtime=6.67 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 441745 0 1 0 615 52 0 0 24 0 18 0 834457429 10797187072 440209 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2636032 440213 2216 9 0 2626766 0
[pid=26687/tid=26688] ppid=26685 vsize=10544128 CPUtime=6.27 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 437052 0 1 0 576 51 0 0 25 0 18 0 834457429 10797187072 440216 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505556969 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26687/tid=26690] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26690/stat : 26690 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440219 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26691] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26691/stat : 26691 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440222 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26692] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26692/stat : 26692 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440223 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26693] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26693/stat : 26693 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440224 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26694] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26694/stat : 26694 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440227 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26695] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26695/stat : 26695 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440230 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26696] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26696/stat : 26696 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440233 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26697] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26697/stat : 26697 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457431 10797187072 440236 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26698] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26698/stat : 26698 (java) S 26685 26687 24816 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 834457432 10797187072 440239 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 0 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26699] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26699/stat : 26699 (java) S 26685 26687 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834457432 10797187072 440242 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26700] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26700/stat : 26700 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834457432 10797187072 440244 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26701] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26701/stat : 26701 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457435 10797187072 440247 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658970033 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26702] ppid=26685 vsize=10544128 CPUtime=0.21 cores=0,2,4,6
/proc/26687/task/26702/stat : 26702 (java) S 26685 26687 24816 0 -1 4202560 1989 0 0 0 21 0 0 0 15 0 18 0 834457435 10797187072 440250 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26703] ppid=26685 vsize=10544128 CPUtime=0.17 cores=0,2,4,6
/proc/26687/task/26703/stat : 26703 (java) S 26685 26687 24816 0 -1 4202560 1558 0 0 0 17 0 0 0 15 0 18 0 834457435 10797187072 440253 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26704] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834457435 10797187072 440256 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10544128 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 834457435 10797187072 440259 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=26687/tid=26704] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1158848 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 834457435 10797314048 1158848 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26706] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26706/stat : 26706 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834459897 10797314048 1158848 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1619.45
Current children cumulated vsize (KiB) 10544252
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/535 26799
/proc/meminfo: memFree=20817324/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10544252 CPUtime=1679.69 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 1167752 0 1 0 167757 212 0 0 24 0 19 0 834457429 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2636063 1159335 2243 9 0 2626797 0
[pid=26687/tid=26688] ppid=26685 vsize=10544252 CPUtime=1655.74 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 651229 0 1 0 165452 122 0 0 25 0 19 0 834457429 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505895976 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26687/tid=26690] ppid=26685 vsize=10544252 CPUtime=2.13 cores=0,2,4,6
/proc/26687/task/26690/stat : 26690 (java) S 26685 26687 24816 0 -1 4202560 12773 0 0 0 210 3 0 0 16 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26691] ppid=26685 vsize=10544252 CPUtime=2.9 cores=0,2,4,6
/proc/26687/task/26691/stat : 26691 (java) S 26685 26687 24816 0 -1 4202560 54914 0 0 0 279 11 0 0 16 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26692] ppid=26685 vsize=10544252 CPUtime=3.23 cores=0,2,4,6
/proc/26687/task/26692/stat : 26692 (java) S 26685 26687 24816 0 -1 4202560 97871 0 0 0 310 13 0 0 15 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26693] ppid=26685 vsize=10544252 CPUtime=2.42 cores=0,2,4,6
/proc/26687/task/26693/stat : 26693 (java) S 26685 26687 24816 0 -1 4202560 33129 0 0 0 237 5 0 0 16 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26694] ppid=26685 vsize=10544252 CPUtime=3.37 cores=0,2,4,6
/proc/26687/task/26694/stat : 26694 (java) S 26685 26687 24816 0 -1 4202560 99445 0 0 0 321 16 0 0 15 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26695] ppid=26685 vsize=10544252 CPUtime=3.17 cores=0,2,4,6
/proc/26687/task/26695/stat : 26695 (java) S 26685 26687 24816 0 -1 4202560 112656 0 0 0 300 17 0 0 15 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26696] ppid=26685 vsize=10544252 CPUtime=2.81 cores=0,2,4,6
/proc/26687/task/26696/stat : 26696 (java) S 26685 26687 24816 0 -1 4202560 42649 0 0 0 274 7 0 0 15 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26697] ppid=26685 vsize=10544252 CPUtime=2.27 cores=0,2,4,6
/proc/26687/task/26697/stat : 26697 (java) S 26685 26687 24816 0 -1 4202560 55037 0 0 0 218 9 0 0 16 0 19 0 834457431 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26698] ppid=26685 vsize=10544252 CPUtime=0.06 cores=0,2,4,6
/proc/26687/task/26698/stat : 26698 (java) S 26685 26687 24816 0 -1 4202560 101 0 0 0 4 2 0 0 15 0 19 0 834457432 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 0 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26699] ppid=26685 vsize=10544252 CPUtime=0.01 cores=0,2,4,6
/proc/26687/task/26699/stat : 26699 (java) S 26685 26687 24816 0 -1 4202560 17 0 0 0 1 0 0 0 18 0 19 0 834457432 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26700] ppid=26685 vsize=10544252 CPUtime=0.01 cores=0,2,4,6
/proc/26687/task/26700/stat : 26700 (java) S 26685 26687 24816 0 -1 4202560 9 0 0 0 1 0 0 0 18 0 19 0 834457432 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26701] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26701/stat : 26701 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658970033 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26702] ppid=26685 vsize=10544252 CPUtime=0.79 cores=0,2,4,6
/proc/26687/task/26702/stat : 26702 (java) S 26685 26687 24816 0 -1 4202560 2710 0 0 0 79 0 0 0 15 0 19 0 834457435 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26703] ppid=26685 vsize=10544252 CPUtime=0.65 cores=0,2,4,6
/proc/26687/task/26703/stat : 26703 (java) S 26685 26687 24816 0 -1 4202560 3993 0 0 0 64 1 0 0 15 0 19 0 834457435 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26704] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834457435 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26706] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26706/stat : 26706 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834459897 10797314048 1159335 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1679.69
Current children cumulated vsize (KiB) 10544252
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.04 3/535 26801
/proc/meminfo: memFree=20791508/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10544252 CPUtime=1739.8 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 1167991 0 1 0 173768 212 0 0 24 0 19 0 834457429 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2636063 1159564 2243 9 0 2626797 0
[pid=26687/tid=26688] ppid=26685 vsize=10544252 CPUtime=1715.68 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 651232 0 1 0 171446 122 0 0 25 0 19 0 834457429 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912505896024 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26687/tid=26690] ppid=26685 vsize=10544252 CPUtime=2.13 cores=0,2,4,6
/proc/26687/task/26690/stat : 26690 (java) S 26685 26687 24816 0 -1 4202560 12773 0 0 0 210 3 0 0 15 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26691] ppid=26685 vsize=10544252 CPUtime=2.93 cores=0,2,4,6
/proc/26687/task/26691/stat : 26691 (java) S 26685 26687 24816 0 -1 4202560 54991 0 0 0 282 11 0 0 16 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26692] ppid=26685 vsize=10544252 CPUtime=3.24 cores=0,2,4,6
/proc/26687/task/26692/stat : 26692 (java) S 26685 26687 24816 0 -1 4202560 97871 0 0 0 311 13 0 0 15 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26693] ppid=26685 vsize=10544252 CPUtime=2.46 cores=0,2,4,6
/proc/26687/task/26693/stat : 26693 (java) S 26685 26687 24816 0 -1 4202560 33205 0 0 0 241 5 0 0 16 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26694] ppid=26685 vsize=10544252 CPUtime=3.39 cores=0,2,4,6
/proc/26687/task/26694/stat : 26694 (java) S 26685 26687 24816 0 -1 4202560 99498 0 0 0 323 16 0 0 15 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26695] ppid=26685 vsize=10544252 CPUtime=3.19 cores=0,2,4,6
/proc/26687/task/26695/stat : 26695 (java) S 26685 26687 24816 0 -1 4202560 112656 0 0 0 302 17 0 0 16 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26696] ppid=26685 vsize=10544252 CPUtime=2.84 cores=0,2,4,6
/proc/26687/task/26696/stat : 26696 (java) S 26685 26687 24816 0 -1 4202560 42673 0 0 0 277 7 0 0 16 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26697] ppid=26685 vsize=10544252 CPUtime=2.29 cores=0,2,4,6
/proc/26687/task/26697/stat : 26697 (java) S 26685 26687 24816 0 -1 4202560 55037 0 0 0 220 9 0 0 15 0 19 0 834457431 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26698] ppid=26685 vsize=10544252 CPUtime=0.06 cores=0,2,4,6
/proc/26687/task/26698/stat : 26698 (java) S 26685 26687 24816 0 -1 4202560 103 0 0 0 4 2 0 0 15 0 19 0 834457432 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 0 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26699] ppid=26685 vsize=10544252 CPUtime=0.01 cores=0,2,4,6
/proc/26687/task/26699/stat : 26699 (java) S 26685 26687 24816 0 -1 4202560 17 0 0 0 1 0 0 0 18 0 19 0 834457432 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26700] ppid=26685 vsize=10544252 CPUtime=0.01 cores=0,2,4,6
/proc/26687/task/26700/stat : 26700 (java) S 26685 26687 24816 0 -1 4202560 9 0 0 0 1 0 0 0 18 0 19 0 834457432 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26701] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26701/stat : 26701 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658970033 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26702] ppid=26685 vsize=10544252 CPUtime=0.79 cores=0,2,4,6
/proc/26687/task/26702/stat : 26702 (java) S 26685 26687 24816 0 -1 4202560 2710 0 0 0 79 0 0 0 15 0 19 0 834457435 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26703] ppid=26685 vsize=10544252 CPUtime=0.65 cores=0,2,4,6
/proc/26687/task/26703/stat : 26703 (java) S 26685 26687 24816 0 -1 4202560 3993 0 0 0 64 1 0 0 15 0 19 0 834457435 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26704] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834457435 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26706] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26706/stat : 26706 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834459897 10797314048 1159564 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1739.8
Current children cumulated vsize (KiB) 10544252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782 s]
/proc/loadavg: 2.07 2.04 2.04 4/535 26803
/proc/meminfo: memFree=20765692/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=10544252 CPUtime=1800.02 cores=0,2,4,6
/proc/26687/stat : 26687 (java) S 26685 26687 24816 0 -1 4202496 1169692 0 1 0 179789 213 0 0 24 0 19 0 834457429 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 2636063 1161241 2243 9 0 2626797 0
[pid=26687/tid=26688] ppid=26685 vsize=10544252 CPUtime=1775.22 cores=0,2,4,6
/proc/26687/task/26688/stat : 26688 (java) R 26685 26687 24816 0 -1 4202560 651240 0 1 0 177399 123 0 0 25 0 19 0 834457429 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 46912506065254 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26687/tid=26690] ppid=26685 vsize=10544252 CPUtime=2.25 cores=0,2,4,6
/proc/26687/task/26690/stat : 26690 (java) S 26685 26687 24816 0 -1 4202560 12963 0 0 0 222 3 0 0 15 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26691] ppid=26685 vsize=10544252 CPUtime=2.97 cores=0,2,4,6
/proc/26687/task/26691/stat : 26691 (java) S 26685 26687 24816 0 -1 4202560 55229 0 0 0 286 11 0 0 15 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26692] ppid=26685 vsize=10544252 CPUtime=3.28 cores=0,2,4,6
/proc/26687/task/26692/stat : 26692 (java) S 26685 26687 24816 0 -1 4202560 97901 0 0 0 315 13 0 0 16 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26693] ppid=26685 vsize=10544252 CPUtime=2.52 cores=0,2,4,6
/proc/26687/task/26693/stat : 26693 (java) S 26685 26687 24816 0 -1 4202560 33300 0 0 0 247 5 0 0 16 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26694] ppid=26685 vsize=10544252 CPUtime=3.49 cores=0,2,4,6
/proc/26687/task/26694/stat : 26694 (java) S 26685 26687 24816 0 -1 4202560 99697 0 0 0 333 16 0 0 15 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26695] ppid=26685 vsize=10544252 CPUtime=3.31 cores=0,2,4,6
/proc/26687/task/26695/stat : 26695 (java) S 26685 26687 24816 0 -1 4202560 112775 0 0 0 314 17 0 0 16 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26696] ppid=26685 vsize=10544252 CPUtime=2.94 cores=0,2,4,6
/proc/26687/task/26696/stat : 26696 (java) S 26685 26687 24816 0 -1 4202560 43240 0 0 0 287 7 0 0 16 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26697] ppid=26685 vsize=10544252 CPUtime=2.4 cores=0,2,4,6
/proc/26687/task/26697/stat : 26697 (java) S 26685 26687 24816 0 -1 4202560 55282 0 0 0 231 9 0 0 16 0 19 0 834457431 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
[pid=26687/tid=26698] ppid=26685 vsize=10544252 CPUtime=0.07 cores=0,2,4,6
/proc/26687/task/26698/stat : 26698 (java) S 26685 26687 24816 0 -1 4202560 109 0 0 0 4 3 0 0 15 0 19 0 834457432 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 0 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26699] ppid=26685 vsize=10544252 CPUtime=0.01 cores=0,2,4,6
/proc/26687/task/26699/stat : 26699 (java) S 26685 26687 24816 0 -1 4202560 17 0 0 0 1 0 0 0 18 0 19 0 834457432 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26700] ppid=26685 vsize=10544252 CPUtime=0.01 cores=0,2,4,6
/proc/26687/task/26700/stat : 26700 (java) S 26685 26687 24816 0 -1 4202560 9 0 0 0 1 0 0 0 18 0 19 0 834457432 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26701] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26701/stat : 26701 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658970033 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26702] ppid=26685 vsize=10544252 CPUtime=0.79 cores=0,2,4,6
/proc/26687/task/26702/stat : 26702 (java) S 26685 26687 24816 0 -1 4202560 2710 0 0 0 79 0 0 0 15 0 19 0 834457435 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 4 0 0 0
[pid=26687/tid=26703] ppid=26685 vsize=10544252 CPUtime=0.65 cores=0,2,4,6
/proc/26687/task/26703/stat : 26703 (java) S 26685 26687 24816 0 -1 4202560 3993 0 0 0 64 1 0 0 15 0 19 0 834457435 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 0 0 0 0
[pid=26687/tid=26704] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26704/stat : 26704 (java) S 26685 26687 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834457435 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962329 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26705] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26705/stat : 26705 (java) S 26685 26687 24816 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834457435 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 2 0 0 0
[pid=26687/tid=26706] ppid=26685 vsize=10544252 CPUtime=0 cores=0,2,4,6
/proc/26687/task/26706/stat : 26706 (java) S 26685 26687 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834459897 10797314048 1161241 33554432000 1073741824 1073778376 140735864274400 18446744073709551615 210658962944 0 4 0 16800975 18446604448204110592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10544252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1782.14 s]
/proc/loadavg: 2.07 2.04 2.04 4/535 26803
/proc/meminfo: memFree=20765692/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/26687/stat : 26687 (java) Z 26685 26687 24816 0 -1 4203548 1169719 0 1 0 179790 223 0 0 17 0 2 0 834457429 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
[startup+1782.2 s]
/proc/loadavg: 2.07 2.04 2.04 4/535 26803
/proc/meminfo: memFree=20765692/32951132 swapFree=57925096/67111528
[pid=26687] ppid=26685 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/26687/stat : 26687 (java) Z 26685 26687 24816 0 -1 4203548 1169719 0 1 0 179790 228 0 0 17 0 2 0 834457429 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26687/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1782.22
CPU time (s): 1800.21
CPU user time (s): 1797.91
CPU system time (s): 2.30465
CPU usage (%): 101.01
Max. virtual memory (cumulated for all children) (KiB): 10546684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.30465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1169719
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= 41172
involuntary context switches= 20566
runsolver used 9.77151 second user time and 20.7129 second system time
The end