runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4102242-1466217738/watcher-4102242-1466217738 -o /tmp/evaluation-result-4102242-1466217738/solver-4102242-1466217738 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4102242-1466217738.opb
pid=22010
running on 8 cores: 0-3,8-11
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: 4.06 4.15 4.11 4/284 22013
/proc/meminfo: memFree=27873640/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=91816 CPUtime=0 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 23818440 94019584 917 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 4096 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 22954 917 697 9 0 16769 0
[pid=22013/tid=22014] ppid=22010 vsize=92900 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) D 22010 22013 15292 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 23818441 95129600 927 33554432000 1073741824 1073778376 140734601102032 140057746034216 216799472935 0 0 4096 0 18446744072100756772 0 0 -1 9 0 0 0 0 0
[startup+0.100152 s]
/proc/loadavg: 4.06 4.15 4.11 4/284 22013
/proc/meminfo: memFree=27873640/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=9896436 CPUtime=0.09 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 4502 0 1 0 8 1 0 0 20 0 23 0 23818440 10133950464 6134 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2474109 6134 2126 9 0 2464786 0
[pid=22013/tid=22014] ppid=22010 vsize=9896436 CPUtime=0.06 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) R 22010 22013 15292 0 -1 4202560 2464 0 1 0 5 1 0 0 20 0 23 0 23818441 10133950464 6134 33554432000 1073741824 1073778376 140734601102032 140057746037664 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9896436
[startup+0.200274 s]
/proc/loadavg: 4.06 4.15 4.11 4/284 22013
/proc/meminfo: memFree=27873640/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=9896436 CPUtime=0.26 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 5013 0 1 0 25 1 0 0 20 0 23 0 23818440 10133950464 7060 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2474109 7060 2213 9 0 2464786 0
[pid=22013/tid=22014] ppid=22010 vsize=9896436 CPUtime=0.16 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) R 22010 22013 15292 0 -1 4202560 2477 0 1 0 15 1 0 0 20 0 23 0 23818441 10133950464 7060 33554432000 1073741824 1073778376 140734601102032 140057746037664 140057618666827 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9896436
[startup+0.300273 s]
/proc/loadavg: 4.06 4.15 4.11 4/284 22013
/proc/meminfo: memFree=27873640/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=9896436 CPUtime=0.56 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 7055 0 1 0 54 2 0 0 20 0 23 0 23818440 10133950464 9696 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2474109 9696 2234 9 0 2464786 0
[pid=22013/tid=22014] ppid=22010 vsize=9896436 CPUtime=0.26 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) R 22010 22013 15292 0 -1 4202560 2480 0 1 0 25 1 0 0 20 0 23 0 23818441 10133950464 9696 33554432000 1073741824 1073778376 140734601102032 140057746030448 140057618630052 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9896436
[startup+0.700307 s]
/proc/loadavg: 4.06 4.15 4.11 4/284 22013
/proc/meminfo: memFree=27873640/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=10162692 CPUtime=1 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 16523 0 1 0 95 5 0 0 20 0 24 0 23818440 10406596608 18318 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2540673 18318 2253 9 0 2531350 0
[pid=22013/tid=22014] ppid=22010 vsize=10162692 CPUtime=0.31 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) S 22010 22013 15292 0 -1 4202560 2499 0 1 0 30 1 0 0 20 0 24 0 23818441 10406596608 18318 33554432000 1073741824 1073778376 140734601102032 140057746039672 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10162692
[startup+1.50097 s]
/proc/loadavg: 4.06 4.15 4.11 3/308 22043
/proc/meminfo: memFree=27802024/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=10162692 CPUtime=1.16 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 16789 0 1 0 109 7 0 0 20 0 24 0 23818440 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2540673 21029 2259 9 0 2531350 0
[pid=22013/tid=22014] ppid=22010 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) S 22010 22013 15292 0 -1 4202560 2505 0 1 0 31 2 0 0 20 0 24 0 23818441 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057746039672 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22016] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22016/stat : 22016 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057590036904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22017] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22017/stat : 22017 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057588984360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22018] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22018/stat : 22018 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057587931304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22019] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22019/stat : 22019 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057586878760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22020] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22020/stat : 22020 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057585826728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22021] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22021/stat : 22021 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057584774184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22022] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22022/stat : 22022 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057583721128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22023] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22023/stat : 22023 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057582668584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22024] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22024/stat : 22024 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057581615528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22025] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22025/stat : 22025 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057580562984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22026] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22026/stat : 22026 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057579509928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22027] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22027/stat : 22027 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057578457384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22028] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22028/stat : 22028 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057577405352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22029] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22029/stat : 22029 (java) S 22010 22013 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 23818443 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057559731176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22030] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22030/stat : 22030 (java) S 22010 22013 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 23818444 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057558676984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22031] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22031/stat : 22031 (java) S 22010 22013 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 23818444 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057557624328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22032] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22032/stat : 22032 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057556572560 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22033] ppid=22010 vsize=10162692 CPUtime=0.51 cores=0-3,8-11
/proc/22013/task/22033/stat : 22033 (java) S 22010 22013 15292 0 -1 4202560 10550 0 0 0 50 1 0 0 20 0 24 0 23818446 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057555519928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22034] ppid=22010 vsize=10162692 CPUtime=0.21 cores=0-3,8-11
/proc/22013/task/22034/stat : 22034 (java) S 22010 22013 15292 0 -1 4202560 2359 0 0 0 21 0 0 0 20 0 24 0 23818446 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057554466872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22035] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22035/stat : 22035 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057553414520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22036] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22036/stat : 22036 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 21029 33554432000 1073741824 1073778376 140734601102032 140057552362696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10162692
[startup+3.10097 s]
/proc/loadavg: 4.06 4.15 4.11 5/308 22049
/proc/meminfo: memFree=27773424/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=10162692 CPUtime=3.58 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 24626 0 1 0 344 14 0 0 20 0 24 0 23818440 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2540673 39768 2273 9 0 2531350 0
[pid=22013/tid=22014] ppid=22010 vsize=10162692 CPUtime=0.33 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) S 22010 22013 15292 0 -1 4202560 2505 0 1 0 31 2 0 0 20 0 24 0 23818441 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057746039672 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22016] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22016/stat : 22016 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057590036904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22017] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22017/stat : 22017 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057588984360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22018] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22018/stat : 22018 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057587931304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22019] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22019/stat : 22019 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057586878760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22020] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22020/stat : 22020 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057585826728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22021] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22021/stat : 22021 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057584774184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22022] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22022/stat : 22022 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057583721128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22023] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22023/stat : 22023 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057582668584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22024] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22024/stat : 22024 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057581615528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22025] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22025/stat : 22025 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057580562984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22026] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22026/stat : 22026 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057579509928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22027] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22027/stat : 22027 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057578457384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22028] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22028/stat : 22028 (java) S 22010 22013 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 23818442 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057577405352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22029] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22029/stat : 22029 (java) S 22010 22013 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 23818443 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057559731176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22030] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22030/stat : 22030 (java) S 22010 22013 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 23818444 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057558676984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22031] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22031/stat : 22031 (java) S 22010 22013 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 23818444 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057557624328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22032] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22032/stat : 22032 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057556572560 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22033] ppid=22010 vsize=10162692 CPUtime=1.06 cores=0-3,8-11
/proc/22013/task/22033/stat : 22033 (java) S 22010 22013 15292 0 -1 4202560 15770 0 0 0 104 2 0 0 20 0 24 0 23818446 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057555519928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22034] ppid=22010 vsize=10162692 CPUtime=0.83 cores=0-3,8-11
/proc/22013/task/22034/stat : 22034 (java) S 22010 22013 15292 0 -1 4202560 4912 0 0 0 83 0 0 0 20 0 24 0 23818446 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057554466872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22035] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22035/stat : 22035 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057553414520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22036] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22036/stat : 22036 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 39768 33554432000 1073741824 1073778376 140734601102032 140057552362696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 10162692
[startup+6.30101 s]
/proc/loadavg: 3.90 4.11 4.10 5/311 22061
/proc/meminfo: memFree=27526056/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=10162692 CPUtime=8.77 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 25218 0 1 0 824 53 0 0 20 0 24 0 23818440 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2540673 93903 2293 9 0 2531350 0
[pid=22013/tid=22014] ppid=22010 vsize=10162692 CPUtime=0.34 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) S 22010 22013 15292 0 -1 4202560 2508 0 1 0 32 2 0 0 20 0 24 0 23818441 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140057746039672 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22016] ppid=22010 vsize=10162692 CPUtime=0.06 cores=0-3,8-11
/proc/22013/task/22016/stat : 22016 (java) S 22010 22013 15292 0 -1 4202560 26 0 0 0 3 3 0 0 20 0 24 0 23818442 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140057590036904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22017] ppid=22010 vsize=10162692 CPUtime=0.05 cores=0-3,8-11
/proc/22013/task/22017/stat : 22017 (java) S 22010 22013 15292 0 -1 4202560 27 0 0 0 2 3 0 0 20 0 24 0 23818442 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140057588984360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22018] ppid=22010 vsize=10162692 CPUtime=0.06 cores=0-3,8-11
/proc/22013/task/22018/stat : 22018 (java) S 22010 22013 15292 0 -1 4202560 31 0 0 0 3 3 0 0 20 0 24 0 23818442 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140057587931304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22019] ppid=22010 vsize=10162692 CPUtime=0.04 cores=0-3,8-11
/proc/22013/task/22019/stat : 22019 (java) S 22010 22013 15292 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 24 0 23818442 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140057586878760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22020] ppid=22010 vsize=10162692 CPUtime=0.06 cores=0-3,8-11
/proc/22013/task/22020/stat : 22020 (java) S 22010 22013 15292 0 -1 4202560 28 0 0 0 3 3 0 0 20 0 24 0 23818442 10406596608 93903 33554432000 1073741824 1073778376 140734601102032 140057585826728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22021] ppid=22010 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
################
# More data... #
################
[pid=22013/tid=22016] ppid=22010 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
/proc/22013/task/22016/stat : 22016 (java) S 22010 22013 15292 0 -1 4202560 124 0 0 0 10 9 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057590036904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22017] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22017/stat : 22017 (java) S 22010 22013 15292 0 -1 4202560 143 0 0 0 9 9 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057588984360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22018] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22018/stat : 22018 (java) S 22010 22013 15292 0 -1 4202560 64 0 0 0 8 5 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057587931304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22019] ppid=22010 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/22013/task/22019/stat : 22019 (java) S 22010 22013 15292 0 -1 4202560 65 0 0 0 9 6 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057586878760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22020] ppid=22010 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
/proc/22013/task/22020/stat : 22020 (java) S 22010 22013 15292 0 -1 4202560 76 0 0 0 10 9 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057585826728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22021] ppid=22010 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/22013/task/22021/stat : 22021 (java) S 22010 22013 15292 0 -1 4202560 55 0 0 0 9 6 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057584774184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22022] ppid=22010 vsize=10162692 CPUtime=0.22 cores=0-3,8-11
/proc/22013/task/22022/stat : 22022 (java) S 22010 22013 15292 0 -1 4202560 144 0 0 0 12 10 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057583721128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22023] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22023/stat : 22023 (java) S 22010 22013 15292 0 -1 4202560 115 0 0 0 11 7 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057582668584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22024] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22024/stat : 22024 (java) S 22010 22013 15292 0 -1 4202560 74 0 0 0 10 8 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057581615528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22025] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22025/stat : 22025 (java) S 22010 22013 15292 0 -1 4202560 105 0 0 0 8 5 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057580562984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22026] ppid=22010 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/22013/task/22026/stat : 22026 (java) S 22010 22013 15292 0 -1 4202560 86 0 0 0 6 6 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057579509928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22027] ppid=22010 vsize=10162692 CPUtime=0.2 cores=0-3,8-11
/proc/22013/task/22027/stat : 22027 (java) S 22010 22013 15292 0 -1 4202560 132 0 0 0 12 8 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057578457384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22028] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22028/stat : 22028 (java) S 22010 22013 15292 0 -1 4202560 121 0 0 0 7 6 0 0 20 0 24 0 23818442 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057577405352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22029] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22029/stat : 22029 (java) S 22010 22013 15292 0 -1 4202560 1234 0 0 0 0 0 0 0 20 0 24 0 23818443 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057559731176 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22030] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22030/stat : 22030 (java) S 22010 22013 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 23818444 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057558676984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22031] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22031/stat : 22031 (java) S 22010 22013 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 23818444 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057557624328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22032] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22032/stat : 22032 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057556572560 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22033] ppid=22010 vsize=10162692 CPUtime=1.92 cores=0-3,8-11
/proc/22013/task/22033/stat : 22033 (java) S 22010 22013 15292 0 -1 4202560 16569 0 0 0 189 3 0 0 20 0 24 0 23818446 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057555519928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22034] ppid=22010 vsize=10162692 CPUtime=1.19 cores=0-3,8-11
/proc/22013/task/22034/stat : 22034 (java) S 22010 22013 15292 0 -1 4202560 4922 0 0 0 119 0 0 0 20 0 24 0 23818446 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057554466872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22035] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22035/stat : 22035 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057553414520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22036] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22036/stat : 22036 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 23818446 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140057552362696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22070] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22070/stat : 22070 (java) S 22010 22013 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 23819879 10406596608 450665 33554432000 1073741824 1073778376 140734601102032 140055997834536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 46.28
Current children cumulated vsize (KiB) 10162692
#
############
[startup+25.5012 s]
/proc/loadavg: 3.93 4.10 4.09 3/308 22070
/proc/meminfo: memFree=26074448/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=10162692 CPUtime=46.43 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 28722 0 1 0 4504 139 0 0 20 0 22 0 23818440 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2540673 450671 2294 9 0 2531350 0
[pid=22013/tid=22014] ppid=22010 vsize=10162692 CPUtime=0.44 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) S 22010 22013 15292 0 -1 4202560 2508 0 1 0 42 2 0 0 20 0 22 0 23818441 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057746039800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22016] ppid=22010 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
/proc/22013/task/22016/stat : 22016 (java) S 22010 22013 15292 0 -1 4202560 124 0 0 0 10 9 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057590036904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22017] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22017/stat : 22017 (java) S 22010 22013 15292 0 -1 4202560 143 0 0 0 9 9 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057588984360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22018] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22018/stat : 22018 (java) S 22010 22013 15292 0 -1 4202560 64 0 0 0 8 5 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057587931304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22019] ppid=22010 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/22013/task/22019/stat : 22019 (java) S 22010 22013 15292 0 -1 4202560 65 0 0 0 9 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057586878760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22020] ppid=22010 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
/proc/22013/task/22020/stat : 22020 (java) S 22010 22013 15292 0 -1 4202560 76 0 0 0 10 9 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057585826728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22021] ppid=22010 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/22013/task/22021/stat : 22021 (java) S 22010 22013 15292 0 -1 4202560 55 0 0 0 9 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057584774184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22022] ppid=22010 vsize=10162692 CPUtime=0.22 cores=0-3,8-11
/proc/22013/task/22022/stat : 22022 (java) S 22010 22013 15292 0 -1 4202560 144 0 0 0 12 10 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057583721128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22023] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22023/stat : 22023 (java) S 22010 22013 15292 0 -1 4202560 115 0 0 0 11 7 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057582668584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22024] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22024/stat : 22024 (java) S 22010 22013 15292 0 -1 4202560 74 0 0 0 10 8 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057581615528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22025] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22025/stat : 22025 (java) S 22010 22013 15292 0 -1 4202560 105 0 0 0 8 5 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057580562984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22026] ppid=22010 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/22013/task/22026/stat : 22026 (java) S 22010 22013 15292 0 -1 4202560 86 0 0 0 6 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057579509928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22027] ppid=22010 vsize=10162692 CPUtime=0.2 cores=0-3,8-11
/proc/22013/task/22027/stat : 22027 (java) S 22010 22013 15292 0 -1 4202560 132 0 0 0 12 8 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057578457384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22028] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22028/stat : 22028 (java) S 22010 22013 15292 0 -1 4202560 121 0 0 0 7 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057577405352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22029] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22029/stat : 22029 (java) S 22010 22013 15292 0 -1 4202560 1234 0 0 0 0 0 0 0 20 0 22 0 23818443 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057559730728 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22030] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22030/stat : 22030 (java) S 22010 22013 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23818444 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057558676984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22031] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22031/stat : 22031 (java) S 22010 22013 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23818444 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057557624328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22032] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22032/stat : 22032 (java) S 22010 22013 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057556571336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22033] ppid=22010 vsize=10162692 CPUtime=1.96 cores=0-3,8-11
/proc/22013/task/22033/stat : 22033 (java) S 22010 22013 15292 0 -1 4202560 16569 0 0 0 193 3 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057555496856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22034] ppid=22010 vsize=10162692 CPUtime=1.19 cores=0-3,8-11
/proc/22013/task/22034/stat : 22034 (java) S 22010 22013 15292 0 -1 4202560 4922 0 0 0 119 0 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057554466872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22035] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22035/stat : 22035 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057553414520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 46.43
Current children cumulated vsize (KiB) 10162692
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22013 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.5012 s]
/proc/loadavg: 3.93 4.10 4.09 3/308 22070
/proc/meminfo: memFree=26074448/32872528 swapFree=7804/7804
[pid=22013] ppid=22010 vsize=10162692 CPUtime=46.43 cores=0-3,8-11
/proc/22013/stat : 22013 (java) S 22010 22013 15292 0 -1 4202496 28722 0 1 0 4504 139 0 0 20 0 22 0 23818440 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140734601093168 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22013/statm: 2540673 450671 2294 9 0 2531350 0
[pid=22013/tid=22014] ppid=22010 vsize=10162692 CPUtime=0.44 cores=0-3,8-11
/proc/22013/task/22014/stat : 22014 (java) S 22010 22013 15292 0 -1 4202560 2508 0 1 0 42 2 0 0 20 0 22 0 23818441 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057746039800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22016] ppid=22010 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
/proc/22013/task/22016/stat : 22016 (java) S 22010 22013 15292 0 -1 4202560 124 0 0 0 10 9 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057590036904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22013/tid=22017] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22017/stat : 22017 (java) S 22010 22013 15292 0 -1 4202560 143 0 0 0 9 9 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057588984360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22013/tid=22018] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22018/stat : 22018 (java) S 22010 22013 15292 0 -1 4202560 64 0 0 0 8 5 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057587931304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22019] ppid=22010 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/22013/task/22019/stat : 22019 (java) S 22010 22013 15292 0 -1 4202560 65 0 0 0 9 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057586878760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22020] ppid=22010 vsize=10162692 CPUtime=0.19 cores=0-3,8-11
/proc/22013/task/22020/stat : 22020 (java) S 22010 22013 15292 0 -1 4202560 76 0 0 0 10 9 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057585826728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22021] ppid=22010 vsize=10162692 CPUtime=0.15 cores=0-3,8-11
/proc/22013/task/22021/stat : 22021 (java) S 22010 22013 15292 0 -1 4202560 55 0 0 0 9 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057584774184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22022] ppid=22010 vsize=10162692 CPUtime=0.22 cores=0-3,8-11
/proc/22013/task/22022/stat : 22022 (java) S 22010 22013 15292 0 -1 4202560 144 0 0 0 12 10 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057583721128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22023] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22023/stat : 22023 (java) S 22010 22013 15292 0 -1 4202560 115 0 0 0 11 7 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057582668584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22013/tid=22024] ppid=22010 vsize=10162692 CPUtime=0.18 cores=0-3,8-11
/proc/22013/task/22024/stat : 22024 (java) S 22010 22013 15292 0 -1 4202560 74 0 0 0 10 8 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057581615528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22013/tid=22025] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22025/stat : 22025 (java) S 22010 22013 15292 0 -1 4202560 105 0 0 0 8 5 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057580562984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22013/tid=22026] ppid=22010 vsize=10162692 CPUtime=0.12 cores=0-3,8-11
/proc/22013/task/22026/stat : 22026 (java) S 22010 22013 15292 0 -1 4202560 86 0 0 0 6 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057579509928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22013/tid=22027] ppid=22010 vsize=10162692 CPUtime=0.2 cores=0-3,8-11
/proc/22013/task/22027/stat : 22027 (java) S 22010 22013 15292 0 -1 4202560 132 0 0 0 12 8 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057578457384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22028] ppid=22010 vsize=10162692 CPUtime=0.13 cores=0-3,8-11
/proc/22013/task/22028/stat : 22028 (java) S 22010 22013 15292 0 -1 4202560 121 0 0 0 7 6 0 0 20 0 22 0 23818442 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057577405352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22029] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22029/stat : 22029 (java) S 22010 22013 15292 0 -1 4202560 1234 0 0 0 0 0 0 0 20 0 22 0 23818443 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057559730728 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22030] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22030/stat : 22030 (java) S 22010 22013 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23818444 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057558676984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22031] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22031/stat : 22031 (java) S 22010 22013 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23818444 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057557624328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22032] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22032/stat : 22032 (java) S 22010 22013 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057556571336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22013/tid=22033] ppid=22010 vsize=10162692 CPUtime=1.96 cores=0-3,8-11
/proc/22013/task/22033/stat : 22033 (java) S 22010 22013 15292 0 -1 4202560 16569 0 0 0 193 3 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057555496856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22034] ppid=22010 vsize=10162692 CPUtime=1.19 cores=0-3,8-11
/proc/22013/task/22034/stat : 22034 (java) S 22010 22013 15292 0 -1 4202560 4922 0 0 0 119 0 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057554466872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22013/tid=22035] ppid=22010 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22013/task/22035/stat : 22035 (java) S 22010 22013 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23818446 10406596608 450671 33554432000 1073741824 1073778376 140734601102032 140057553414520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 46.43
Current children cumulated vsize (KiB) 10162692
Child status: 30
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0300007
# lost CPU user time (s): 0.0599976
# lost CPU system time (s): -0.03
Real time (s): 25.5128
CPU time (s): 46.5549
CPU user time (s): 45.0252
CPU system time (s): 1.52976
CPU usage (%): 182.477
Max. virtual memory (cumulated for all children) (KiB): 10163276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.9652
system time used= 1.55976
maximum resident set size= 1802684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28722
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1836
involuntary context switches= 1457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.225965 second user time and 0.275958 second system time
The end