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-3456454-1307221255/watcher-3456454-1307221255 -o /tmp/evaluation-result-3456454-1307221255/solver-3456454-1307221255 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456454-1307221255.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.03 2.00 3/482 20952
/proc/meminfo: memFree=26284948/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 3751 0 1 0 0 0 0 0 25 0 2 0 833725299 10694979584 3454 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2611079 3467 917 9 0 2602235 0
[pid=20952/tid=20953] ppid=20950 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 6013 0 1 0 0 1 0 0 25 0 2 0 833725299 10694979584 6829 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0631 s]
/proc/loadavg: 1.96 2.03 2.00 3/482 20952
/proc/meminfo: memFree=26284948/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 11716 0 1 0 4 1 0 0 25 0 18 0 833725299 10724302848 11414 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2618238 11415 1740 9 0 2608972 0
[pid=20952/tid=20953] ppid=20950 vsize=10472952 CPUtime=0.04 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 10545 0 1 0 3 1 0 0 25 0 18 0 833725299 10724302848 11416 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 47644967075845 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.101094 s]
/proc/loadavg: 1.96 2.03 2.00 3/482 20952
/proc/meminfo: memFree=26284948/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10540412 CPUtime=0.11 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 13154 0 1 0 9 2 0 0 25 0 18 0 833725299 10793381888 12816 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2635103 12818 2092 9 0 2625837 0
[pid=20952/tid=20953] ppid=20950 vsize=10540412 CPUtime=0.09 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 11207 0 1 0 7 2 0 0 25 0 18 0 833725299 10793381888 12818 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 47644971576147 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540412
[startup+0.301061 s]
/proc/loadavg: 1.96 2.03 2.00 3/482 20952
/proc/meminfo: memFree=26284948/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10552172 CPUtime=0.59 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 22012 0 1 0 56 3 0 0 25 0 18 0 833725299 10805424128 19960 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638043 19961 2203 9 0 2628777 0
[pid=20952/tid=20953] ppid=20950 vsize=10552172 CPUtime=0.28 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 13487 0 1 0 26 2 0 0 25 0 18 0 833725299 10805424128 19962 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10552172
[startup+0.700992 s]
/proc/loadavg: 1.96 2.03 2.00 3/482 20952
/proc/meminfo: memFree=26284948/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10552172 CPUtime=1.18 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 54563 0 1 0 111 7 0 0 25 0 18 0 833725299 10805424128 52304 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638043 52307 2212 9 0 2628777 0
[pid=20952/tid=20953] ppid=20950 vsize=10552172 CPUtime=0.69 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 45681 0 1 0 63 6 0 0 25 0 18 0 833725299 10805424128 52309 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10552172
[startup+1.50085 s]
/proc/loadavg: 1.96 2.03 2.00 5/500 20970
/proc/meminfo: memFree=25969084/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10552172 CPUtime=2.26 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 136459 0 1 0 209 17 0 0 25 0 18 0 833725299 10805424128 133470 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638043 133474 2216 9 0 2628777 0
[pid=20952/tid=20953] ppid=20950 vsize=10552172 CPUtime=1.49 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 126321 0 1 0 134 15 0 0 25 0 18 0 833725299 10805424128 133476 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505553243 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20952/tid=20955] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133479 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20956] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133482 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20957] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133484 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20958] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133487 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133490 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20960] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133492 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20961] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20961/stat : 20961 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133495 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20962] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20962/stat : 20962 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725301 10805424128 133498 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20963] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20963/stat : 20963 (java) S 20950 20952 20455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833725302 10805424128 133500 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 0 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20964] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833725302 10805424128 133503 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833725302 10805424128 133506 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725304 10805424128 133508 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10552172 CPUtime=0.39 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 4868 0 0 0 39 0 0 0 20 0 18 0 833725304 10805424128 133511 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10552172 CPUtime=0.35 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4128 0 0 0 35 0 0 0 19 0 18 0 833725304 10805424128 133514 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833725304 10805424128 133516 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20970] ppid=20950 vsize=10552172 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20970/stat : 20970 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833725304 10805424128 133519 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10552172
[startup+3.10157 s]
/proc/loadavg: 1.96 2.03 2.00 3/501 20971
/proc/meminfo: memFree=25582444/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10553200 CPUtime=4.09 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 218530 0 1 0 382 27 0 0 25 0 19 0 833725299 10806476800 215539 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638300 215540 2233 9 0 2629034 0
[pid=20952/tid=20953] ppid=20950 vsize=10553200 CPUtime=3.09 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 208338 0 1 0 284 25 0 0 25 0 19 0 833725299 10806476800 215541 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505871792 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20952/tid=20955] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215542 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20956] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215543 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20957] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215544 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20958] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215545 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215547 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20960] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215548 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20961] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20961/stat : 20961 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215549 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20962] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20962/stat : 20962 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 215550 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20963] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20963/stat : 20963 (java) S 20950 20952 20455 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 215551 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 0 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20964] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833725302 10806476800 215552 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725302 10806476800 215553 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 215554 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10553200 CPUtime=0.49 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 4882 0 0 0 49 0 0 0 16 0 19 0 833725304 10806476800 215555 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10553200 CPUtime=0.49 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4153 0 0 0 49 0 0 0 16 0 19 0 833725304 10806476800 215556 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 215557 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20970] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20970/stat : 20970 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833725304 10806476800 215558 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20971] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20971/stat : 20971 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725479 10806476800 215559 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 10553200
[startup+6.301 s]
/proc/loadavg: 1.96 2.03 2.00 3/501 20971
/proc/meminfo: memFree=25049984/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10553200 CPUtime=7.52 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 352287 0 1 0 710 42 0 0 25 0 19 0 833725299 10806476800 348949 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638300 348951 2236 9 0 2629034 0
[pid=20952/tid=20953] ppid=20950 vsize=10553200 CPUtime=6.28 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 341688 0 1 0 588 40 0 0 25 0 19 0 833725299 10806476800 348952 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505871529 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20952/tid=20955] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348953 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20956] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348954 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20957] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348955 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20958] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348956 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348957 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20960] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348958 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20961] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20961/stat : 20961 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348959 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20962] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20962/stat : 20962 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725301 10806476800 348960 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20963] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20963/stat : 20963 (java) S 20950 20952 20455 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833725302 10806476800 348961 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 0 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20964] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833725302 10806476800 348962 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725302 10806476800 348963 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 348964 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10553200 CPUtime=0.56 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 4916 0 0 0 56 0 0 0 15 0 19 0 833725304 10806476800 348965 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10553200 CPUtime=0.66 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4526 0 0 0 66 0 0 0 15 0 19 0 833725304 10806476800 348966 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 348967 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10553200 CPUtime=1.01 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 5003 0 0 0 100 1 0 0 15 0 19 0 833725304 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10553200 CPUtime=1.02 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4723 0 0 0 102 0 0 0 15 0 19 0 833725304 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20970] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20970/stat : 20970 (java) S 20950 20952 20455 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833725304 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20971] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20971/stat : 20971 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725479 10806476800 940202 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1671.26
Current children cumulated vsize (KiB) 10553200
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/501 21077
/proc/meminfo: memFree=21907992/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10553200 CPUtime=1731.56 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 946377 0 1 0 173045 111 0 0 25 0 19 0 833725299 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638300 941744 2267 9 0 2629034 0
[pid=20952/tid=20953] ppid=20950 vsize=10553200 CPUtime=1716.85 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 781946 0 1 0 171596 89 0 0 25 0 19 0 833725299 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505933594 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20952/tid=20955] ppid=20950 vsize=10553200 CPUtime=1.26 cores=1,3,5,7
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20455 0 -1 4202560 15895 0 0 0 124 2 0 0 15 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20956] ppid=20950 vsize=10553200 CPUtime=1.35 cores=1,3,5,7
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20455 0 -1 4202560 16629 0 0 0 134 1 0 0 16 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20957] ppid=20950 vsize=10553200 CPUtime=1.26 cores=1,3,5,7
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20455 0 -1 4202560 13919 0 0 0 125 1 0 0 15 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20958] ppid=20950 vsize=10553200 CPUtime=1.28 cores=1,3,5,7
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20455 0 -1 4202560 16719 0 0 0 126 2 0 0 16 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=10553200 CPUtime=1.34 cores=1,3,5,7
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20455 0 -1 4202560 17317 0 0 0 133 1 0 0 16 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20960] ppid=20950 vsize=10553200 CPUtime=1.21 cores=1,3,5,7
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20455 0 -1 4202560 19446 0 0 0 119 2 0 0 15 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20961] ppid=20950 vsize=10553200 CPUtime=1.53 cores=1,3,5,7
/proc/20952/task/20961/stat : 20961 (java) S 20950 20952 20455 0 -1 4202560 26682 0 0 0 151 2 0 0 16 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20962] ppid=20950 vsize=10553200 CPUtime=1.13 cores=1,3,5,7
/proc/20952/task/20962/stat : 20962 (java) S 20950 20952 20455 0 -1 4202560 19481 0 0 0 110 3 0 0 15 0 19 0 833725301 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20963] ppid=20950 vsize=10553200 CPUtime=2.19 cores=1,3,5,7
/proc/20952/task/20963/stat : 20963 (java) S 20950 20952 20455 0 -1 4202560 7368 0 0 0 218 1 0 0 15 0 19 0 833725302 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 0 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20964] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10553200 CPUtime=1.01 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 5003 0 0 0 100 1 0 0 15 0 19 0 833725304 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10553200 CPUtime=1.02 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4723 0 0 0 102 0 0 0 15 0 19 0 833725304 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20970] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20970/stat : 20970 (java) S 20950 20952 20455 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833725304 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20971] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20971/stat : 20971 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725479 10806476800 941744 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1731.56
Current children cumulated vsize (KiB) 10553200
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/501 21079
/proc/meminfo: memFree=21901852/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10553200 CPUtime=1791.84 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 947530 0 1 0 179073 111 0 0 25 0 19 0 833725299 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638300 942879 2267 9 0 2629034 0
[pid=20952/tid=20953] ppid=20950 vsize=10553200 CPUtime=1776.72 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 781950 0 1 0 177583 89 0 0 25 0 19 0 833725299 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505871257 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20952/tid=20955] ppid=20950 vsize=10553200 CPUtime=1.32 cores=1,3,5,7
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20455 0 -1 4202560 16100 0 0 0 130 2 0 0 15 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20956] ppid=20950 vsize=10553200 CPUtime=1.38 cores=1,3,5,7
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20455 0 -1 4202560 16676 0 0 0 137 1 0 0 16 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20957] ppid=20950 vsize=10553200 CPUtime=1.28 cores=1,3,5,7
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20455 0 -1 4202560 13970 0 0 0 127 1 0 0 16 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20958] ppid=20950 vsize=10553200 CPUtime=1.33 cores=1,3,5,7
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20455 0 -1 4202560 16851 0 0 0 131 2 0 0 15 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=10553200 CPUtime=1.37 cores=1,3,5,7
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20455 0 -1 4202560 17417 0 0 0 136 1 0 0 16 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20960] ppid=20950 vsize=10553200 CPUtime=1.31 cores=1,3,5,7
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20455 0 -1 4202560 19803 0 0 0 129 2 0 0 16 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20961] ppid=20950 vsize=10553200 CPUtime=1.54 cores=1,3,5,7
/proc/20952/task/20961/stat : 20961 (java) S 20950 20952 20455 0 -1 4202560 26683 0 0 0 152 2 0 0 16 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20962] ppid=20950 vsize=10553200 CPUtime=1.23 cores=1,3,5,7
/proc/20952/task/20962/stat : 20962 (java) S 20950 20952 20455 0 -1 4202560 19731 0 0 0 120 3 0 0 16 0 19 0 833725301 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20963] ppid=20950 vsize=10553200 CPUtime=2.19 cores=1,3,5,7
/proc/20952/task/20963/stat : 20963 (java) S 20950 20952 20455 0 -1 4202560 7372 0 0 0 218 1 0 0 15 0 19 0 833725302 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 0 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20964] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10553200 CPUtime=1.01 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 5003 0 0 0 100 1 0 0 15 0 19 0 833725304 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10553200 CPUtime=1.02 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4723 0 0 0 102 0 0 0 15 0 19 0 833725304 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20970] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20970/stat : 20970 (java) S 20950 20952 20455 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833725304 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20971] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20971/stat : 20971 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725479 10806476800 942879 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.84
Current children cumulated vsize (KiB) 10553200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/501 21079
/proc/meminfo: memFree=21896364/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=10553200 CPUtime=1800.11 cores=1,3,5,7
/proc/20952/stat : 20952 (java) S 20950 20952 20455 0 -1 4202496 949092 0 1 0 179900 111 0 0 25 0 19 0 833725299 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 2638300 944440 2267 9 0 2629034 0
[pid=20952/tid=20953] ppid=20950 vsize=10553200 CPUtime=1784.35 cores=1,3,5,7
/proc/20952/task/20953/stat : 20953 (java) R 20950 20952 20455 0 -1 4202560 781951 0 1 0 178346 89 0 0 25 0 19 0 833725299 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 46912505871305 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20952/tid=20955] ppid=20950 vsize=10553200 CPUtime=1.36 cores=1,3,5,7
/proc/20952/task/20955/stat : 20955 (java) S 20950 20952 20455 0 -1 4202560 16314 0 0 0 134 2 0 0 16 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20956] ppid=20950 vsize=10553200 CPUtime=1.38 cores=1,3,5,7
/proc/20952/task/20956/stat : 20956 (java) S 20950 20952 20455 0 -1 4202560 16676 0 0 0 137 1 0 0 15 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20957] ppid=20950 vsize=10553200 CPUtime=1.3 cores=1,3,5,7
/proc/20952/task/20957/stat : 20957 (java) S 20950 20952 20455 0 -1 4202560 14008 0 0 0 129 1 0 0 16 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20958] ppid=20950 vsize=10553200 CPUtime=1.37 cores=1,3,5,7
/proc/20952/task/20958/stat : 20958 (java) S 20950 20952 20455 0 -1 4202560 16878 0 0 0 135 2 0 0 16 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20959] ppid=20950 vsize=10553200 CPUtime=1.37 cores=1,3,5,7
/proc/20952/task/20959/stat : 20959 (java) S 20950 20952 20455 0 -1 4202560 17417 0 0 0 136 1 0 0 15 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20960] ppid=20950 vsize=10553200 CPUtime=1.31 cores=1,3,5,7
/proc/20952/task/20960/stat : 20960 (java) S 20950 20952 20455 0 -1 4202560 19804 0 0 0 129 2 0 0 15 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 5 0 0 0
[pid=20952/tid=20961] ppid=20950 vsize=10553200 CPUtime=1.54 cores=1,3,5,7
/proc/20952/task/20961/stat : 20961 (java) S 20950 20952 20455 0 -1 4202560 26683 0 0 0 152 2 0 0 15 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20962] ppid=20950 vsize=10553200 CPUtime=1.23 cores=1,3,5,7
/proc/20952/task/20962/stat : 20962 (java) S 20950 20952 20455 0 -1 4202560 19731 0 0 0 120 3 0 0 15 0 19 0 833725301 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20963] ppid=20950 vsize=10553200 CPUtime=2.73 cores=1,3,5,7
/proc/20952/task/20963/stat : 20963 (java) S 20950 20952 20455 0 -1 4202560 8653 0 0 0 272 1 0 0 15 0 19 0 833725302 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 0 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20964] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20964/stat : 20964 (java) S 20950 20952 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20965] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20965/stat : 20965 (java) S 20950 20952 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833725302 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20966] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20966/stat : 20966 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101521841 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20967] ppid=20950 vsize=10553200 CPUtime=1.01 cores=1,3,5,7
/proc/20952/task/20967/stat : 20967 (java) S 20950 20952 20455 0 -1 4202560 5003 0 0 0 100 1 0 0 15 0 19 0 833725304 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
[pid=20952/tid=20968] ppid=20950 vsize=10553200 CPUtime=1.02 cores=1,3,5,7
/proc/20952/task/20968/stat : 20968 (java) S 20950 20952 20455 0 -1 4202560 4723 0 0 0 102 0 0 0 15 0 19 0 833725304 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 3 0 0 0
[pid=20952/tid=20969] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20969/stat : 20969 (java) S 20950 20952 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833725304 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514137 0 4 0 16800975 18446604464427336832 0 0 -1 1 0 0 0
[pid=20952/tid=20970] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20970/stat : 20970 (java) R 20950 20952 20455 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833725304 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20952/tid=20971] ppid=20950 vsize=10553200 CPUtime=0 cores=1,3,5,7
/proc/20952/task/20971/stat : 20971 (java) S 20950 20952 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833725479 10806476800 944440 33554432000 1073741824 1073778376 140734056043936 18446744073709551615 248101514752 0 4 0 16800975 18446604464427336832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10553200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.62 s]
/proc/loadavg: 2.04 2.03 2.00 3/501 21079
/proc/meminfo: memFree=21896364/32950928 swapFree=45617076/67111528
[pid=20952] ppid=20950 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/20952/stat : 20952 (java) Z 20950 20952 20455 0 -1 4203548 949123 0 1 0 179908 118 0 0 17 0 2 0 833725299 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20952/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.69
CPU time (s): 1800.35
CPU user time (s): 1799.09
CPU system time (s): 1.25781
CPU usage (%): 100.539
Max. virtual memory (cumulated for all children) (KiB): 10553200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.25781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949123
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= 39844
involuntary context switches= 22108
runsolver used 8.18176 second user time and 19.555 second system time
The end