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-3482299-1307578946/watcher-3482299-1307578946 -o /tmp/evaluation-result-3482299-1307578946/solver-3482299-1307578946 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482299-1307578946.opb -seed 453528138 -budget 1800
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: 2.19 2.11 1.94 3/744 23341
/proc/meminfo: memFree=17367764/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/23341/stat : 23341 (python) R 23339 23341 21589 0 -1 4202496 1063 0 0 0 0 0 0 0 17 0 1 0 850310950 16633856 935 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039655168 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23341/statm: 4061 935 381 364 0 548 0
[startup+0.0258939 s]
/proc/loadavg: 2.19 2.11 1.94 3/744 23341
/proc/meminfo: memFree=17367764/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=16816 CPUtime=0.01 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23339 23341 21589 0 -1 4202496 1213 0 0 0 1 0 0 0 17 0 1 0 850310950 17219584 1072 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/23341/statm: 4204 1072 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.100895 s]
/proc/loadavg: 2.19 2.11 1.94 3/744 23341
/proc/meminfo: memFree=17367764/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/23341/stat : 23341 (python) R 23339 23341 21589 0 -1 4202496 3168 933 1 0 5 2 0 0 18 0 1 0 850310950 98435072 2484 33554432000 4194304 5683644 140734169525856 18446744073709551615 5170223 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/23341/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300834 s]
/proc/loadavg: 2.19 2.11 1.94 3/744 23341
/proc/meminfo: memFree=17367764/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=179992 CPUtime=0.22 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23339 23341 21589 0 -1 4202496 6274 933 1 0 17 5 0 0 17 0 1 0 850310950 184311808 4582 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/23341/statm: 44998 4582 1244 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 179992
[startup+0.700771 s]
/proc/loadavg: 2.19 2.11 1.94 3/744 23341
/proc/meminfo: memFree=17367764/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=285592 CPUtime=0.59 cores=1,3,5,7
/proc/23341/stat : 23341 (python) R 23339 23341 21589 0 -1 4202496 10592 933 1 0 50 9 0 0 17 0 1 0 850310950 292446208 7745 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051479412 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/23341/statm: 71398 7745 1815 364 0 6291 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 285592
[startup+1.5016 s]
/proc/loadavg: 2.19 2.11 1.94 5/765 23366
/proc/meminfo: memFree=17327600/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=295860 CPUtime=0.75 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23339 23341 21589 0 -1 4202496 10909 933 1 0 66 9 0 0 19 0 2 0 850310950 302960640 7832 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23341/statm: 73965 7832 1870 364 0 8852 0
[pid=23347] ppid=23341 vsize=285616 CPUtime=0 cores=1,3,5,7
/proc/23347/stat : 23347 (python) S 23341 23341 21589 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 850311037 292470784 6310 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039675407 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23347/statm: 71404 6310 352 364 0 6291 0
[pid=23349] ppid=23347 vsize=8539632 CPUtime=1.28 cores=1,3,5,7
/proc/23349/stat : 23349 (java) S 23347 23349 23349 0 -1 4202496 21896 0 1 0 125 3 0 0 19 0 19 0 850311037 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23349/statm: 2134908 18720 2229 9 0 2125649 0
[pid=23349/tid=23350] ppid=23347 vsize=8539632 CPUtime=0.6 cores=1,3,5,7
/proc/23349/task/23350/stat : 23350 (java) R 23347 23349 23349 0 -1 4202560 14087 0 1 0 58 2 0 0 19 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 46912505744391 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23349/tid=23351] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23351/stat : 23351 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 23349 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311038 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 23349 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 850311039 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 23349 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850311040 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 23349 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850311040 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311042 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=8539632 CPUtime=0.33 cores=1,3,5,7
/proc/23349/task/23363/stat : 23363 (java) R 23347 23349 23349 0 -1 4202560 3575 0 0 0 33 0 0 0 16 0 19 0 850311042 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 47429740918939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=8539632 CPUtime=0.32 cores=1,3,5,7
/proc/23349/task/23364/stat : 23364 (java) R 23347 23349 23349 0 -1 4202560 2845 0 0 0 32 0 0 0 16 0 19 0 850311042 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 47429739058065 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311042 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850311042 8744583168 18720 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=23341/tid=23348] ppid=23339 vsize=295860 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (python) S 23339 23341 21589 0 -1 4202560 29 933 0 0 0 0 0 0 19 0 2 0 850311037 302960640 7832 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9121108
[startup+3.10131 s]
/proc/loadavg: 2.19 2.11 1.94 3/766 23367
/proc/meminfo: memFree=17263856/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=295860 CPUtime=0.75 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23339 23341 21589 0 -1 4202496 10909 933 1 0 66 9 0 0 19 0 2 0 850310950 302960640 7832 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23341/statm: 73965 7832 1870 364 0 8852 0
[pid=23347] ppid=23341 vsize=285616 CPUtime=0 cores=1,3,5,7
/proc/23347/stat : 23347 (python) S 23341 23341 21589 0 -1 4202560 858 0 0 0 0 0 0 0 15 0 1 0 850311037 292470784 6316 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039675407 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/23347/statm: 71404 6316 358 364 0 6291 0
[pid=23349] ppid=23347 vsize=8539632 CPUtime=3.04 cores=1,3,5,7
/proc/23349/stat : 23349 (java) S 23347 23349 23349 0 -1 4202496 24296 0 1 0 301 3 0 0 19 0 19 0 850311037 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23349/statm: 2134908 21109 2257 9 0 2125649 0
[pid=23349/tid=23350] ppid=23347 vsize=8539632 CPUtime=2.16 cores=1,3,5,7
/proc/23349/task/23350/stat : 23350 (java) R 23347 23349 23349 0 -1 4202560 14510 0 1 0 214 2 0 0 22 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 46912505793761 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23349/tid=23351] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23351/stat : 23351 (java) S 23347 23349 23349 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 23349 0 -1 4202560 355 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 23349 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 23349 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 23349 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 23349 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 23349 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=8539632 CPUtime=0.02 cores=1,3,5,7
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 23349 0 -1 4202560 959 0 0 0 2 0 0 0 15 0 19 0 850311039 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23360/stat : 23360 (java) S 23347 23349 23349 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850311040 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23361/stat : 23361 (java) S 23347 23349 23349 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850311040 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23362/stat : 23362 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311042 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051478961 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=8539632 CPUtime=0.44 cores=1,3,5,7
/proc/23349/task/23363/stat : 23363 (java) S 23347 23349 23349 0 -1 4202560 3634 0 0 0 44 0 0 0 15 0 19 0 850311042 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=8539632 CPUtime=0.37 cores=1,3,5,7
/proc/23349/task/23364/stat : 23364 (java) S 23347 23349 23349 0 -1 4202560 2859 0 0 0 37 0 0 0 15 0 19 0 850311042 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23365/stat : 23365 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850311042 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23366/stat : 23366 (java) S 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 850311042 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 1 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23367/stat : 23367 (java) S 23347 23349 23349 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850311079 8744583168 21109 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=23341/tid=23348] ppid=23339 vsize=295860 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (python) S 23339 23341 21589 0 -1 4202560 29 933 0 0 0 0 0 0 19 0 2 0 850311037 302960640 7832 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9121108
[startup+6.30078 s]
/proc/loadavg: 2.17 2.11 1.94 4/766 23368
/proc/meminfo: memFree=17261544/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=295860 CPUtime=0.75 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23339 23341 21589 0 -1 4202496 10909 933 1 0 66 9 0 0 19 0 2 0 850310950 302960640 7832 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23341/statm: 73965 7832 1870 364 0 8852 0
[pid=23347] ppid=23341 vsize=285616 CPUtime=0.02 cores=1,3,5,7
/proc/23347/stat : 23347 (python) S 23341 23341 21589 0 -1 4202560 984 0 0 0 1 1 0 0 15 0 1 0 850311037 292470784 6339 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039675407 0 0 16781312 33554946 1822280904874131456 0 0 17 5 0 0 0
/proc/23347/statm: 71404 6339 381 364 0 6291 0
[pid=23349] ppid=23347 vsize=8539632 CPUtime=6.26 cores=1,3,5,7
/proc/23349/stat : 23349 (java) S 23347 23349 23349 0 -1 4202496 24806 0 1 0 622 4 0 0 19 0 19 0 850311037 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23349/statm: 2134908 21582 2257 9 0 2125649 0
[pid=23349/tid=23350] ppid=23347 vsize=8539632 CPUtime=5.28 cores=1,3,5,7
/proc/23349/task/23350/stat : 23350 (java) R 23347 23349 23349 0 -1 4202560 14515 0 1 0 526 2 0 0 25 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 46912505877346 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23349/tid=23351] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23351/stat : 23351 (java) S 23347 23349 23349 0 -1 4202560 228 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23352/stat : 23352 (java) S 23347 23349 23349 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23353/stat : 23353 (java) S 23347 23349 23349 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 3 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23354/stat : 23354 (java) S 23347 23349 23349 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23355/stat : 23355 (java) S 23347 23349 23349 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23356/stat : 23356 (java) S 23347 23349 23349 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23357/stat : 23357 (java) S 23347 23349 23349 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23358/stat : 23358 (java) S 23347 23349 23349 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 19 0 850311038 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446604464369979776 0 0 -1 5 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=8539632 CPUtime=0.08 cores=1,3,5,7
/proc/23349/task/23359/stat : 23359 (java) S 23347 23349 23349 0 -1 4202560 1303 0 0 0 8 0 0 0 15 0 19 0 850311039 8744583168 21582 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 0 0 16800975 18446604464369979776 0 0 -1 7 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+328.806 s]
/proc/loadavg: 1.37 1.85 1.88 4/791 23466
/proc/meminfo: memFree=16847568/32951124 swapFree=39903648/67111528
[pid=23341] ppid=23339 vsize=357396 CPUtime=0.91 cores=1,3,5,7
/proc/23341/stat : 23341 (python) S 23339 23341 21589 0 -1 4202496 16168 933 1 0 81 10 0 0 20 0 8 0 850310950 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23341/statm: 89349 7869 1883 364 0 24218 0
[pid=23347] ppid=23341 vsize=295860 CPUtime=0.27 cores=1,3,5,7
/proc/23347/stat : 23347 (python) S 23341 23341 21589 0 -1 4202560 1147 0 0 0 13 14 0 0 16 0 2 0 850311037 302960640 6375 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23347/statm: 73965 6375 412 364 0 8852 0
[pid=23349] ppid=23347 vsize=8539632 CPUtime=46.03 cores=1,3,5,7
/proc/23349/stat : 23349 (java) T 23347 23349 23349 0 -1 4202496 25320 0 1 0 4597 6 0 0 18 0 19 0 850311037 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23349/statm: 2134908 22034 2258 9 0 2125649 0
[pid=23349/tid=23350] ppid=23347 vsize=8539632 CPUtime=43.83 cores=1,3,5,7
/proc/23349/task/23350/stat : 23350 (java) T 23347 23349 23349 0 -1 4202560 14571 0 1 0 4381 2 0 0 25 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23349/tid=23351] ppid=23347 vsize=8539632 CPUtime=0.06 cores=1,3,5,7
/proc/23349/task/23351/stat : 23351 (java) T 23347 23349 23349 0 -1 4202560 236 0 0 0 6 0 0 0 16 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23349/tid=23352] ppid=23347 vsize=8539632 CPUtime=0.05 cores=1,3,5,7
/proc/23349/task/23352/stat : 23352 (java) T 23347 23349 23349 0 -1 4202560 357 0 0 0 5 0 0 0 16 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23349/tid=23353] ppid=23347 vsize=8539632 CPUtime=0.06 cores=1,3,5,7
/proc/23349/task/23353/stat : 23353 (java) T 23347 23349 23349 0 -1 4202560 296 0 0 0 6 0 0 0 15 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23349/tid=23354] ppid=23347 vsize=8539632 CPUtime=0.06 cores=1,3,5,7
/proc/23349/task/23354/stat : 23354 (java) T 23347 23349 23349 0 -1 4202560 21 0 0 0 6 0 0 0 15 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212039608631 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23349/tid=23355] ppid=23347 vsize=8539632 CPUtime=0.04 cores=1,3,5,7
/proc/23349/task/23355/stat : 23355 (java) T 23347 23349 23349 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23349/tid=23356] ppid=23347 vsize=8539632 CPUtime=0.05 cores=1,3,5,7
/proc/23349/task/23356/stat : 23356 (java) T 23347 23349 23349 0 -1 4202560 9 0 0 0 5 0 0 0 15 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23349/tid=23357] ppid=23347 vsize=8539632 CPUtime=0.05 cores=1,3,5,7
/proc/23349/task/23357/stat : 23357 (java) T 23347 23349 23349 0 -1 4202560 50 0 0 0 5 0 0 0 16 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23349/tid=23358] ppid=23347 vsize=8539632 CPUtime=0.05 cores=1,3,5,7
/proc/23349/task/23358/stat : 23358 (java) T 23347 23349 23349 0 -1 4202560 161 0 0 0 5 0 0 0 15 0 19 0 850311038 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23349/tid=23359] ppid=23347 vsize=8539632 CPUtime=0.83 cores=1,3,5,7
/proc/23349/task/23359/stat : 23359 (java) T 23347 23349 23349 0 -1 4202560 1717 0 0 0 82 1 0 0 15 0 19 0 850311039 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23349/tid=23360] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23360/stat : 23360 (java) T 23347 23349 23349 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850311040 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23349/tid=23361] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23361/stat : 23361 (java) T 23347 23349 23349 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850311040 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23349/tid=23362] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23362/stat : 23362 (java) T 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850311042 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051478961 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23349/tid=23363] ppid=23347 vsize=8539632 CPUtime=0.44 cores=1,3,5,7
/proc/23349/task/23363/stat : 23363 (java) T 23347 23349 23349 0 -1 4202560 3635 0 0 0 44 0 0 0 15 0 19 0 850311042 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23349/tid=23364] ppid=23347 vsize=8539632 CPUtime=0.42 cores=1,3,5,7
/proc/23349/task/23364/stat : 23364 (java) T 23347 23349 23349 0 -1 4202560 2878 0 0 0 42 0 0 0 15 0 19 0 850311042 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23349/tid=23365] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23365/stat : 23365 (java) T 23347 23349 23349 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850311042 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471257 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23349/tid=23366] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23366/stat : 23366 (java) T 23347 23349 23349 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 850311042 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23349/tid=23367] ppid=23347 vsize=8539632 CPUtime=0 cores=1,3,5,7
/proc/23349/task/23367/stat : 23367 (java) T 23347 23349 23349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850311079 8744583168 22034 33554432000 1073741824 1073778376 140735053268048 18446744073709551615 212051471872 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23347/tid=23370] ppid=23341 vsize=295860 CPUtime=0 cores=1,3,5,7
/proc/23347/task/23370/stat : 23370 (python) S 23341 23341 21589 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850315535 302960640 6375 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554946 18446604464522966016 0 0 -1 7 0 0 0
[pid=23371] ppid=23341 vsize=295872 CPUtime=0.4 cores=1,3,5,7
/proc/23371/stat : 23371 (python) S 23341 23341 21589 0 -1 4202560 1123 0 0 0 17 23 0 0 16 0 2 0 850315537 302972928 6360 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23371/statm: 73968 6360 397 364 0 8852 0
[pid=23373] ppid=23371 vsize=35396 CPUtime=82.61 cores=1,3,5,7
/proc/23373/stat : 23373 (pbct-0.1.2-linu) T 23371 23373 23373 0 -1 4202496 8912 0 0 0 4860 3401 0 0 25 0 1 0 850315538 36245504 8329 33554432000 134512640 136422188 4293883968 18446744073709551615 135874785 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/23373/statm: 8849 8329 237 467 0 8380 0
[pid=23371/tid=23379] ppid=23341 vsize=295872 CPUtime=0 cores=1,3,5,7
/proc/23371/task/23379/stat : 23379 (python) S 23341 23341 21589 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850323800 302972928 6360 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554946 18446604462135174144 0 0 -1 7 0 0 0
[pid=23380] ppid=23341 vsize=306128 CPUtime=0.22 cores=1,3,5,7
/proc/23380/stat : 23380 (python) S 23341 23341 21589 0 -1 4202560 1110 0 0 0 10 12 0 0 17 0 2 0 850323802 313475072 6364 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23380/statm: 76532 6364 397 364 0 11413 0
[pid=23382] ppid=23380 vsize=3156 CPUtime=47.61 cores=1,3,5,7
/proc/23382/stat : 23382 (clasp-1.3.7-x86) T 23380 23382 23382 0 -1 4202496 806 0 0 0 4761 0 0 0 25 0 1 0 850323802 3231744 533 33554432000 134512640 136139019 4292276112 18446744073709551615 134833216 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/23382/statm: 789 533 187 398 0 389 0
[pid=23380/tid=23387] ppid=23341 vsize=306128 CPUtime=0 cores=1,3,5,7
/proc/23380/task/23387/stat : 23387 (python) S 23341 23341 21589 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850328564 313475072 6364 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554946 18446604462135175936 0 0 -1 7 0 0 0
[pid=23388] ppid=23341 vsize=316384 CPUtime=0.27 cores=1,3,5,7
/proc/23388/stat : 23388 (python) S 23341 23341 21589 0 -1 4202560 1147 0 0 0 12 15 0 0 17 0 2 0 850328567 323977216 6368 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23388/statm: 79096 6368 397 364 0 13974 0
[pid=23390] ppid=23388 vsize=120648 CPUtime=50.47 cores=1,3,5,7
/proc/23390/stat : 23390 (wbo1.4a) T 23388 23390 23390 0 -1 4202496 30111 0 0 0 4960 87 0 0 25 0 1 0 850328567 123543552 29700 33554432000 134512640 135751879 4292756528 18446744073709551615 134616505 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/23390/statm: 30162 29700 146 303 0 29857 0
[pid=23388/tid=23393] ppid=23341 vsize=316384 CPUtime=0 cores=1,3,5,7
/proc/23388/task/23393/stat : 23393 (python) S 23341 23341 21589 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 850333614 323977216 6368 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554946 18446604470075933120 0 0 -1 7 0 0 0
[pid=23394] ppid=23341 vsize=326640 CPUtime=0.26 cores=1,3,5,7
/proc/23394/stat : 23394 (python) S 23341 23341 21589 0 -1 4202560 1142 0 0 0 13 13 0 0 16 0 2 0 850333617 334479360 6372 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23394/statm: 81660 6372 397 364 0 16535 0
[pid=23396] ppid=23394 vsize=117296 CPUtime=50.25 cores=1,3,5,7
/proc/23396/stat : 23396 (scip-2.0.1.linu) T 23394 23396 23396 0 -1 4202496 33856 0 0 0 4945 80 0 0 25 0 1 0 850333617 120111104 26641 33554432000 4194304 13684479 140734523076096 18446744073709551615 7390870 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23396/statm: 29324 26641 809 2317 0 27002 0
[pid=23394/tid=23440] ppid=23341 vsize=326640 CPUtime=0 cores=1,3,5,7
/proc/23394/task/23440/stat : 23440 (python) S 23341 23341 21589 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850338646 334479360 6372 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554946 18446604462903260352 0 0 -1 7 0 0 0
[pid=23441] ppid=23341 vsize=336896 CPUtime=0.25 cores=1,3,5,7
/proc/23441/stat : 23441 (python) S 23341 23341 21589 0 -1 4202560 1162 0 0 0 11 14 0 0 16 0 2 0 850338649 344981504 6376 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051482059 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23441/statm: 84224 6376 397 364 0 19096 0
[pid=23443] ppid=23441 vsize=103464 CPUtime=50.86 cores=1,3,5,7
/proc/23443/stat : 23443 (scip-2.0.1.linu) T 23441 23443 23443 0 -1 4202496 48442 0 0 0 5043 43 0 0 25 0 1 0 850338649 105947136 20009 33554432000 4194304 15243407 140736926100816 18446744073709551615 8113576 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23443/statm: 25866 20009 923 2698 0 23161 0
[pid=23441/tid=23445] ppid=23341 vsize=336896 CPUtime=0 cores=1,3,5,7
/proc/23441/task/23445/stat : 23445 (python) S 23341 23341 21589 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850343736 344981504 6376 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554946 18446604461127652352 0 0 -1 7 0 0 0
[pid=23446] ppid=23341 vsize=347152 CPUtime=0 cores=1,3,5,7
/proc/23446/stat : 23446 (python) S 23341 23341 21589 0 -1 4202560 835 0 0 0 0 0 0 0 15 0 1 0 850343738 355483648 6331 33554432000 4194304 5683644 140734169525856 18446744073709551615 212039675462 0 0 16781312 33554946 13006677787233190149 0 0 17 3 0 0 0
/proc/23446/statm: 86788 6331 349 364 0 21657 0
[pid=23448] ppid=23446 vsize=8554192 CPUtime=1.99 cores=1,3,5,7
/proc/23448/stat : 23448 (java) S 23446 23448 23448 0 -1 4202496 37331 0 1 0 193 6 0 0 18 0 19 0 850343739 8759492608 31694 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23448/statm: 2138548 31694 2226 9 0 2129289 0
[pid=23448/tid=23449] ppid=23446 vsize=8554192 CPUtime=0.93 cores=1,3,5,7
/proc/23448/task/23449/stat : 23449 (java) R 23446 23448 23448 0 -1 4202560 23037 0 1 0 90 3 0 0 19 0 19 0 850343740 8759492608 31740 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 46912505869237 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23448/tid=23450] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23450/stat : 23450 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850343740 8759492608 31744 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 7 0 0 0
[pid=23448/tid=23451] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23451/stat : 23451 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850343740 8759492608 31748 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23452] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23452/stat : 23452 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850343740 8759492608 31753 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23453] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23453/stat : 23453 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850343741 8759492608 31755 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23454] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23454/stat : 23454 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850343741 8759492608 31756 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23455] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23455/stat : 23455 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850343741 8759492608 31757 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23456] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23456/stat : 23456 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850343741 8759492608 31757 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23457] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23457/stat : 23457 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850343741 8759492608 31757 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23458] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23458/stat : 23458 (java) S 23446 23448 23448 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850343742 8759492608 31757 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471872 0 0 0 16800975 18446604454348593984 0 0 -1 7 0 0 0
[pid=23448/tid=23459] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23459/stat : 23459 (java) S 23446 23448 23448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850343742 8759492608 31757 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23460] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23460/stat : 23460 (java) S 23446 23448 23448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850343742 8759492608 31758 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23461] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23461/stat : 23461 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850343744 8759492608 31759 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051478961 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23462] ppid=23446 vsize=8554192 CPUtime=0.57 cores=1,3,5,7
/proc/23448/task/23462/stat : 23462 (java) R 23446 23448 23448 0 -1 4202560 8433 0 0 0 56 1 0 0 16 0 19 0 850343744 8759492608 31760 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 47224502932899 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23448/tid=23463] ppid=23446 vsize=8554192 CPUtime=0.46 cores=1,3,5,7
/proc/23448/task/23463/stat : 23463 (java) R 23446 23448 23448 0 -1 4202560 4504 0 0 0 46 0 0 0 15 0 19 0 850343744 8759492608 31761 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 47224506552136 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23448/tid=23464] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23464/stat : 23464 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850343744 8759492608 31762 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471257 0 4 0 16800975 18446604454348593984 0 0 -1 1 0 0 0
[pid=23448/tid=23465] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23465/stat : 23465 (java) S 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850343744 8759492608 31763 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471872 0 4 0 16800975 18446604454348593984 0 0 -1 5 0 0 0
[pid=23448/tid=23466] ppid=23446 vsize=8554192 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23466/stat : 23466 (java) S 23446 23448 23448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850343781 8759492608 31764 33554432000 1073741824 1073778376 140737411151360 18446744073709551615 212051471872 0 4 0 16800975 18446604454348593984 0 0 -1 7 0 0 0
[pid=23341/tid=23348] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (python) S 23339 23341 21589 0 -1 4202560 29 933 0 0 0 0 0 0 19 0 8 0 850311037 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 3 0 0 0
[pid=23341/tid=23372] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23372/stat : 23372 (python) S 23339 23341 21589 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 8 0 850315537 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 3 0 0 0
[pid=23341/tid=23381] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23381/stat : 23381 (python) S 23339 23341 21589 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 8 0 850323802 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 3 0 0 0
[pid=23341/tid=23389] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23389/stat : 23389 (python) S 23339 23341 21589 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 850328567 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 7 0 0 0
[pid=23341/tid=23395] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23395/stat : 23395 (python) S 23339 23341 21589 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 850333617 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 7 0 0 0
[pid=23341/tid=23442] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23442/stat : 23442 (python) S 23339 23341 21589 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 8 0 850338649 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 3 0 0 0
[pid=23341/tid=23447] ppid=23339 vsize=357396 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23447/stat : 23447 (python) S 23339 23341 21589 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 8 0 850343739 365973504 7869 33554432000 4194304 5683644 140734169525856 18446744073709551615 212051478961 0 0 16781312 33554434 18446604461127651456 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 332.4
Current children cumulated vsize (KiB) 20056112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23341 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=813876
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=108983
# CPU time returned by wait4() is 0.922859
# while last known CPU time is 332.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 328.905
CPU time (s): 332.4
CPU user time (s): 295.16
CPU system time (s): 37.24
CPU usage (%): 101.063
Max. virtual memory (cumulated for all children) (KiB): 20056112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.813876
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17105
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= 1018
involuntary context switches= 26
runsolver used 2.33964 second user time and 5.32119 second system time
The end