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-3457600-1307228743/watcher-3457600-1307228743 -o /tmp/evaluation-result-3457600-1307228743/solver-3457600-1307228743 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457600-1307228743.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.92 2.00 1.99 2/452 13014
/proc/meminfo: memFree=8764172/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13014/stat : 13014 (java) R 13012 13014 11532 0 -1 4202496 1076 0 0 0 0 0 0 0 22 0 1 0 834474059 23580672 820 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 47994856296928 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13014/statm: 5757 833 626 9 0 124 0
[pid=13014/tid=13015] ppid=13012 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 3315 0 1 0 0 0 0 0 23 0 2 0 834474059 10694979584 4131 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.049529 s]
/proc/loadavg: 1.92 2.00 1.99 2/452 13014
/proc/meminfo: memFree=8764172/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 11324 0 1 0 2 1 0 0 22 0 13 0 834474059 10718699520 11021 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2616870 11021 1678 9 0 2607618 0
[pid=13014/tid=13015] ppid=13012 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 10177 0 1 0 2 1 0 0 25 0 13 0 834474059 10718699520 11021 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274664804357 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100508 s]
/proc/loadavg: 1.92 2.00 1.99 2/452 13014
/proc/meminfo: memFree=8764172/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10539692 CPUtime=0.09 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 13008 0 1 0 8 1 0 0 22 0 18 0 834474059 10792644608 12705 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2634923 12706 2092 9 0 2625657 0
[pid=13014/tid=13015] ppid=13012 vsize=10539692 CPUtime=0.08 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 11103 0 1 0 7 1 0 0 25 0 18 0 834474059 10792644608 12706 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676635083 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539692
[startup+0.300487 s]
/proc/loadavg: 1.92 2.00 1.99 2/452 13014
/proc/meminfo: memFree=8764172/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10540444 CPUtime=0.45 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 24682 0 1 0 43 2 0 0 22 0 18 0 834474059 10793414656 24232 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2635111 24235 2200 9 0 2625845 0
[pid=13014/tid=13015] ppid=13012 vsize=10540444 CPUtime=0.28 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 22063 0 1 0 26 2 0 0 25 0 18 0 834474059 10793414656 24237 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912505553065 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10540444
[startup+0.700416 s]
/proc/loadavg: 1.92 2.00 1.99 2/452 13014
/proc/meminfo: memFree=8764172/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10540444 CPUtime=0.85 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 56111 0 1 0 79 6 0 0 22 0 18 0 834474059 10793414656 55660 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2635111 55663 2200 9 0 2625845 0
[pid=13014/tid=13015] ppid=13012 vsize=10540444 CPUtime=0.68 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 53491 0 1 0 62 6 0 0 25 0 18 0 834474059 10793414656 55665 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912505553206 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10540444
[startup+1.50128 s]
/proc/loadavg: 1.92 2.00 1.99 3/470 13032
/proc/meminfo: memFree=8453704/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10540444 CPUtime=1.66 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 119893 0 1 0 152 14 0 0 22 0 18 0 834474059 10793414656 119442 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2635111 119445 2200 9 0 2625845 0
[pid=13014/tid=13015] ppid=13012 vsize=10540444 CPUtime=1.47 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 117273 0 1 0 134 13 0 0 25 0 18 0 834474059 10793414656 119447 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13014/tid=13017] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13017/stat : 13017 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834474061 10793414656 119449 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13018] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13018/stat : 13018 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119451 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13019] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13019/stat : 13019 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119453 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13020] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13020/stat : 13020 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119454 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13021] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13021/stat : 13021 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119456 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13022] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13022/stat : 13022 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119458 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13023] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13023/stat : 13023 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119460 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13024] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13024/stat : 13024 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10793414656 119462 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13025] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13025/stat : 13025 (java) S 13012 13014 11532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834474062 10793414656 119464 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 0 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13026] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834474063 10793414656 119466 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834474063 10793414656 119468 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474065 10793414656 119470 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10540444 CPUtime=0.07 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 453 0 0 0 7 0 0 0 25 0 18 0 834474065 10793414656 119472 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10540444 CPUtime=0.09 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 1022 0 0 0 9 0 0 0 15 0 18 0 834474065 10793414656 119474 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474065 10793414656 119476 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10540444 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834474065 10793414656 119477 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10540444
[startup+3.101 s]
/proc/loadavg: 2.01 2.02 2.00 4/470 13032
/proc/meminfo: memFree=8110964/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10545176 CPUtime=3.64 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 276911 0 1 0 334 30 0 0 22 0 18 0 834474059 10798260224 272797 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2636294 272802 2213 9 0 2627028 0
[pid=13014/tid=13015] ppid=13012 vsize=10545176 CPUtime=3.08 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 266133 0 1 0 279 29 0 0 25 0 18 0 834474059 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912505650550 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13014/tid=13017] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13017/stat : 13017 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13018] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13018/stat : 13018 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13019] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13019/stat : 13019 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13020] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13020/stat : 13020 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13021] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13021/stat : 13021 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13022] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13022/stat : 13022 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13023] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13023/stat : 13023 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13024] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13024/stat : 13024 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10798260224 272807 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13025] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13025/stat : 13025 (java) S 13012 13014 11532 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834474062 10798260224 272811 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 0 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13026] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834474063 10798260224 272817 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834474063 10798260224 272822 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474065 10798260224 272824 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10545176 CPUtime=0.16 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 1612 0 0 0 16 0 0 0 17 0 18 0 834474065 10798260224 272826 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10545176 CPUtime=0.39 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 8026 0 0 0 38 1 0 0 15 0 18 0 834474065 10798260224 272828 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474065 10798260224 272831 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10545176 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834474065 10798260224 272833 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 10545176
[startup+6.30145 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 13033
/proc/meminfo: memFree=6657912/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10548328 CPUtime=7.07 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 634476 0 1 0 637 70 0 0 22 0 18 0 834474059 10801487872 629370 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2637082 629376 2227 9 0 2627816 0
[pid=13014/tid=13015] ppid=13012 vsize=10548328 CPUtime=6.28 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 622935 0 1 0 560 68 0 0 25 0 18 0 834474059 10801487872 629379 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912505575056 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13014/tid=13017] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13017/stat : 13017 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 834474061 10801487872 629382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13018] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13018/stat : 13018 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629385 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13019] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13019/stat : 13019 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629388 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13020] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13020/stat : 13020 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629391 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13021] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13021/stat : 13021 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629394 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13022] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13022/stat : 13022 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629398 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13023] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13023/stat : 13023 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629400 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13024] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13024/stat : 13024 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474061 10801487872 629403 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13025] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13025/stat : 13025 (java) S 13012 13014 11532 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 834474062 10801487872 629406 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 0 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13026] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834474063 10801487872 629409 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834474063 10801487872 629412 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474065 10801487872 629415 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10548328 CPUtime=0.27 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 2323 0 0 0 27 0 0 0 16 0 18 0 834474065 10801487872 629418 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10548328 CPUtime=0.5 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 8073 0 0 0 49 1 0 0 16 0 18 0 834474065 10801487872 629421 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834474065 10801487872 629425 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10548328 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 834474065 10801487872 629428 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834474063 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834474063 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10549708 CPUtime=0.83 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 2574 0 0 0 83 0 0 0 15 0 19 0 834474065 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10549708 CPUtime=0.92 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 8731 0 0 0 91 1 0 0 15 0 19 0 834474065 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 834474065 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13035] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13035/stat : 13035 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834474830 10802900992 1099382 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1618.74
Current children cumulated vsize (KiB) 10549708
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.06 3/471 13128
/proc/meminfo: memFree=4327068/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10549708 CPUtime=1679.12 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 1124000 0 1 0 167772 140 0 0 22 0 19 0 834474059 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2637427 1115189 2254 9 0 2628161 0
[pid=13014/tid=13015] ppid=13012 vsize=10549708 CPUtime=1654.67 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 651378 0 1 0 165392 75 0 0 25 0 19 0 834474059 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912506084805 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13014/tid=13017] ppid=13012 vsize=10549708 CPUtime=3.01 cores=1,3,5,7
/proc/13014/task/13017/stat : 13017 (java) S 13012 13014 11532 0 -1 4202560 66516 0 0 0 292 9 0 0 16 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13018] ppid=13012 vsize=10549708 CPUtime=2.84 cores=1,3,5,7
/proc/13014/task/13018/stat : 13018 (java) S 13012 13014 11532 0 -1 4202560 66514 0 0 0 277 7 0 0 16 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13019] ppid=13012 vsize=10549708 CPUtime=2.87 cores=1,3,5,7
/proc/13014/task/13019/stat : 13019 (java) S 13012 13014 11532 0 -1 4202560 62877 0 0 0 279 8 0 0 15 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13020] ppid=13012 vsize=10549708 CPUtime=2.78 cores=1,3,5,7
/proc/13014/task/13020/stat : 13020 (java) S 13012 13014 11532 0 -1 4202560 49002 0 0 0 273 5 0 0 16 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13021] ppid=13012 vsize=10549708 CPUtime=2.71 cores=1,3,5,7
/proc/13014/task/13021/stat : 13021 (java) S 13012 13014 11532 0 -1 4202560 45669 0 0 0 266 5 0 0 15 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13022] ppid=13012 vsize=10549708 CPUtime=2.48 cores=1,3,5,7
/proc/13014/task/13022/stat : 13022 (java) S 13012 13014 11532 0 -1 4202560 42638 0 0 0 243 5 0 0 15 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13023] ppid=13012 vsize=10549708 CPUtime=2.83 cores=1,3,5,7
/proc/13014/task/13023/stat : 13023 (java) S 13012 13014 11532 0 -1 4202560 44610 0 0 0 278 5 0 0 15 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13024] ppid=13012 vsize=10549708 CPUtime=2.98 cores=1,3,5,7
/proc/13014/task/13024/stat : 13024 (java) S 13012 13014 11532 0 -1 4202560 82137 0 0 0 287 11 0 0 15 0 19 0 834474061 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13025] ppid=13012 vsize=10549708 CPUtime=0.08 cores=1,3,5,7
/proc/13014/task/13025/stat : 13025 (java) S 13012 13014 11532 0 -1 4202560 107 0 0 0 5 3 0 0 15 0 19 0 834474062 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 0 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13026] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834474063 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834474063 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10549708 CPUtime=0.83 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 2574 0 0 0 83 0 0 0 15 0 19 0 834474065 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10549708 CPUtime=0.92 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 8731 0 0 0 91 1 0 0 15 0 19 0 834474065 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834474065 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13035] ppid=13012 vsize=10549708 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13035/stat : 13035 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834474830 10802900992 1115189 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1679.12
Current children cumulated vsize (KiB) 10549708
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.06 3/471 13130
/proc/meminfo: memFree=4244680/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10552644 CPUtime=1739.9 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 1154496 0 1 0 173846 144 0 0 22 0 19 0 834474059 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2638161 1131764 2267 9 0 2628895 0
[pid=13014/tid=13015] ppid=13012 vsize=10552644 CPUtime=1713.26 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 651391 0 1 0 171251 75 0 0 25 0 19 0 834474059 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912506135119 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13014/tid=13017] ppid=13012 vsize=10552644 CPUtime=3.08 cores=1,3,5,7
/proc/13014/task/13017/stat : 13017 (java) S 13012 13014 11532 0 -1 4202560 66649 0 0 0 299 9 0 0 15 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13018] ppid=13012 vsize=10552644 CPUtime=2.91 cores=1,3,5,7
/proc/13014/task/13018/stat : 13018 (java) S 13012 13014 11532 0 -1 4202560 67852 0 0 0 284 7 0 0 15 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13019] ppid=13012 vsize=10552644 CPUtime=2.9 cores=1,3,5,7
/proc/13014/task/13019/stat : 13019 (java) S 13012 13014 11532 0 -1 4202560 63544 0 0 0 282 8 0 0 15 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13020] ppid=13012 vsize=10552644 CPUtime=2.85 cores=1,3,5,7
/proc/13014/task/13020/stat : 13020 (java) S 13012 13014 11532 0 -1 4202560 52861 0 0 0 280 5 0 0 15 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13021] ppid=13012 vsize=10552644 CPUtime=2.78 cores=1,3,5,7
/proc/13014/task/13021/stat : 13021 (java) S 13012 13014 11532 0 -1 4202560 48264 0 0 0 273 5 0 0 16 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13022] ppid=13012 vsize=10552644 CPUtime=2.51 cores=1,3,5,7
/proc/13014/task/13022/stat : 13022 (java) S 13012 13014 11532 0 -1 4202560 44569 0 0 0 246 5 0 0 16 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13023] ppid=13012 vsize=10552644 CPUtime=2.88 cores=1,3,5,7
/proc/13014/task/13023/stat : 13023 (java) S 13012 13014 11532 0 -1 4202560 45319 0 0 0 283 5 0 0 16 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13024] ppid=13012 vsize=10552644 CPUtime=3.05 cores=1,3,5,7
/proc/13014/task/13024/stat : 13024 (java) S 13012 13014 11532 0 -1 4202560 86649 0 0 0 293 12 0 0 15 0 19 0 834474061 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13025] ppid=13012 vsize=10552644 CPUtime=1.34 cores=1,3,5,7
/proc/13014/task/13025/stat : 13025 (java) S 13012 13014 11532 0 -1 4202560 14793 0 0 0 130 4 0 0 15 0 19 0 834474062 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 0 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13026] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834474063 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834474063 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10552644 CPUtime=1.26 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 2619 0 0 0 126 0 0 0 16 0 19 0 834474065 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10552644 CPUtime=0.94 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 8737 0 0 0 93 1 0 0 16 0 19 0 834474065 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834474065 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13035] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13035/stat : 13035 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834474830 10805907456 1131764 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1739.9
Current children cumulated vsize (KiB) 10552644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782.1 s]
/proc/loadavg: 2.03 2.04 2.05 3/471 13131
/proc/meminfo: memFree=4168332/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=10552644 CPUtime=1800.02 cores=1,3,5,7
/proc/13014/stat : 13014 (java) S 13012 13014 11532 0 -1 4202496 1170293 0 1 0 179857 145 0 0 22 0 19 0 834474059 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 2638161 1147536 2267 9 0 2628895 0
[pid=13014/tid=13015] ppid=13012 vsize=10552644 CPUtime=1772.93 cores=1,3,5,7
/proc/13014/task/13015/stat : 13015 (java) R 13012 13014 11532 0 -1 4202560 651404 0 1 0 177218 75 0 0 25 0 19 0 834474059 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 46912506135017 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13014/tid=13017] ppid=13012 vsize=10552644 CPUtime=3.12 cores=1,3,5,7
/proc/13014/task/13017/stat : 13017 (java) S 13012 13014 11532 0 -1 4202560 68008 0 0 0 303 9 0 0 15 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13018] ppid=13012 vsize=10552644 CPUtime=2.97 cores=1,3,5,7
/proc/13014/task/13018/stat : 13018 (java) S 13012 13014 11532 0 -1 4202560 68566 0 0 0 290 7 0 0 16 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13019] ppid=13012 vsize=10552644 CPUtime=2.96 cores=1,3,5,7
/proc/13014/task/13019/stat : 13019 (java) S 13012 13014 11532 0 -1 4202560 65521 0 0 0 287 9 0 0 16 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13020] ppid=13012 vsize=10552644 CPUtime=2.91 cores=1,3,5,7
/proc/13014/task/13020/stat : 13020 (java) S 13012 13014 11532 0 -1 4202560 54857 0 0 0 286 5 0 0 15 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13021] ppid=13012 vsize=10552644 CPUtime=2.83 cores=1,3,5,7
/proc/13014/task/13021/stat : 13021 (java) S 13012 13014 11532 0 -1 4202560 52118 0 0 0 278 5 0 0 16 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13022] ppid=13012 vsize=10552644 CPUtime=2.57 cores=1,3,5,7
/proc/13014/task/13022/stat : 13022 (java) S 13012 13014 11532 0 -1 4202560 45204 0 0 0 252 5 0 0 16 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13023] ppid=13012 vsize=10552644 CPUtime=2.93 cores=1,3,5,7
/proc/13014/task/13023/stat : 13023 (java) S 13012 13014 11532 0 -1 4202560 48487 0 0 0 287 6 0 0 15 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
[pid=13014/tid=13024] ppid=13012 vsize=10552644 CPUtime=3.15 cores=1,3,5,7
/proc/13014/task/13024/stat : 13024 (java) S 13012 13014 11532 0 -1 4202560 88722 0 0 0 303 12 0 0 15 0 19 0 834474061 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13025] ppid=13012 vsize=10552644 CPUtime=1.35 cores=1,3,5,7
/proc/13014/task/13025/stat : 13025 (java) S 13012 13014 11532 0 -1 4202560 14797 0 0 0 130 5 0 0 15 0 19 0 834474062 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 0 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13026] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13026/stat : 13026 (java) S 13012 13014 11532 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834474063 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13027] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13027/stat : 13027 (java) S 13012 13014 11532 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834474063 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13028] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13028/stat : 13028 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676631985 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13029] ppid=13012 vsize=10552644 CPUtime=1.26 cores=1,3,5,7
/proc/13014/task/13029/stat : 13029 (java) S 13012 13014 11532 0 -1 4202560 2619 0 0 0 126 0 0 0 16 0 19 0 834474065 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13030] ppid=13012 vsize=10552644 CPUtime=0.94 cores=1,3,5,7
/proc/13014/task/13030/stat : 13030 (java) S 13012 13014 11532 0 -1 4202560 8737 0 0 0 93 1 0 0 16 0 19 0 834474065 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 5 0 0 0
[pid=13014/tid=13031] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13031/stat : 13031 (java) S 13012 13014 11532 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834474065 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624281 0 4 0 16800975 18446604457767216448 0 0 -1 1 0 0 0
[pid=13014/tid=13032] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13032/stat : 13032 (java) S 13012 13014 11532 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834474065 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 3 0 0 0
[pid=13014/tid=13035] ppid=13012 vsize=10552644 CPUtime=0 cores=1,3,5,7
/proc/13014/task/13035/stat : 13035 (java) S 13012 13014 11532 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834474830 10805907456 1147536 33554432000 1073741824 1073778376 140735528461872 18446744073709551615 274676624896 0 4 0 16800975 18446604457767216448 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10552644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1782.22 s]
/proc/loadavg: 2.03 2.04 2.05 3/471 13131
/proc/meminfo: memFree=4168332/32951132 swapFree=67093840/67111528
[pid=13014] ppid=13012 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/13014/stat : 13014 (java) Z 13012 13014 11532 0 -1 4203548 1170322 0 1 0 179860 155 0 0 17 0 2 0 834474059 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13014/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1782.3
CPU time (s): 1800.23
CPU user time (s): 1798.6
CPU system time (s): 1.62775
CPU usage (%): 101.006
Max. virtual memory (cumulated for all children) (KiB): 10608320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.62775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1170322
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= 44945
involuntary context switches= 19983
runsolver used 8.11876 second user time and 17.8433 second system time
The end