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-3481919-1307576811/watcher-3481919-1307576811 -o /tmp/evaluation-result-3481919-1307576811/solver-3481919-1307576811 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481919-1307576811.opb -seed 2126520465 -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: 1.94 1.47 0.68 3/566 18154
/proc/meminfo: memFree=22937676/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 726 0 0 0 0 0 0 0 20 0 1 0 947911668 15548416 616 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/18154/statm: 3797 617 322 364 0 284 0
[startup+0.083812 s]
/proc/loadavg: 1.94 1.47 0.68 3/566 18154
/proc/meminfo: memFree=22937676/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=50008 CPUtime=0.04 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 1947 0 0 0 3 1 0 0 17 0 1 0 947911668 51208192 1712 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458061669 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/18154/statm: 12502 1712 476 364 0 1202 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50008
[startup+0.104501 s]
/proc/loadavg: 1.94 1.47 0.68 3/566 18154
/proc/meminfo: memFree=22937676/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 2662 0 0 0 4 1 0 0 17 0 1 0 947911668 87670784 2381 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/18154/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300509 s]
/proc/loadavg: 1.94 1.47 0.68 3/566 18154
/proc/meminfo: memFree=22937676/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 5356 929 1 0 11 5 0 0 16 0 1 0 947911668 126709760 3744 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458061829 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/18154/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700436 s]
/proc/loadavg: 1.94 1.47 0.68 3/566 18154
/proc/meminfo: memFree=22937676/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=282276 CPUtime=0.4 cores=1,3,5,7
/proc/18154/stat : 18154 (python) R 18152 18154 17566 0 -1 4202496 8967 929 1 0 29 11 0 0 15 0 1 0 947911668 289050624 6877 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458063872 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18154/statm: 70569 6882 1763 364 0 5462 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282276
[startup+1.50025 s]
/proc/loadavg: 1.94 1.47 0.68 3/567 18159
/proc/meminfo: memFree=22910524/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=297188 CPUtime=0.78 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 11193 929 1 0 66 12 0 0 18 0 2 0 947911668 304320512 8168 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18154/statm: 74297 8168 1870 364 0 9184 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 297188
[startup+3.10099 s]
/proc/loadavg: 1.94 1.47 0.68 4/588 18180
/proc/meminfo: memFree=22832980/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=297188 CPUtime=0.78 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 11193 929 1 0 66 12 0 0 18 0 2 0 947911668 304320512 8168 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18154/statm: 74297 8168 1870 364 0 9184 0
[pid=18160] ppid=18154 vsize=286944 CPUtime=0 cores=1,3,5,7
/proc/18160/stat : 18160 (python) S 18154 18154 17566 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947911776 293830656 6646 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458085903 0 0 16781312 33554946 17642373909795799303 0 0 17 1 0 0 0
/proc/18160/statm: 71736 6646 352 364 0 6623 0
[pid=18162] ppid=18160 vsize=8538596 CPUtime=3.23 cores=1,3,5,7
/proc/18162/stat : 18162 (java) S 18160 18162 18162 0 -1 4202496 28683 0 1 0 320 3 0 0 19 0 19 0 947911776 8743522304 24702 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18162/statm: 2134649 24702 2236 9 0 2125390 0
[pid=18162/tid=18163] ppid=18160 vsize=8538596 CPUtime=2.01 cores=1,3,5,7
/proc/18162/task/18163/stat : 18163 (java) R 18160 18162 18162 0 -1 4202560 20386 0 1 0 198 3 0 0 21 0 19 0 947911777 8743522304 24702 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 46912505805400 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18162/tid=18164] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18164/stat : 18164 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947911777 8743522304 24702 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18165] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18165/stat : 18165 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18166] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18166/stat : 18166 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18167] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18167/stat : 18167 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18168] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18168/stat : 18168 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18169] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18169/stat : 18169 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18170] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18170/stat : 18170 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18171] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18171/stat : 18171 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911777 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18172] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18172/stat : 18172 (java) S 18160 18162 18162 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 947911778 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 0 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18173] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18173/stat : 18173 (java) S 18160 18162 18162 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947911779 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18174] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18174/stat : 18174 (java) S 18160 18162 18162 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947911779 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18175] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18175/stat : 18175 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911781 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469889457 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18176] ppid=18160 vsize=8538596 CPUtime=0.63 cores=1,3,5,7
/proc/18162/task/18176/stat : 18176 (java) S 18160 18162 18162 0 -1 4202560 3808 0 0 0 63 0 0 0 17 0 19 0 947911781 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 3 0 0 0
[pid=18162/tid=18177] ppid=18160 vsize=8538596 CPUtime=0.58 cores=1,3,5,7
/proc/18162/task/18177/stat : 18177 (java) S 18160 18162 18162 0 -1 4202560 3100 0 0 0 58 0 0 0 18 0 19 0 947911781 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18178] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18178/stat : 18178 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911781 8743522304 24703 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18179] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18179/stat : 18179 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947911781 8743522304 24704 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18180] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18180/stat : 18180 (java) S 18160 18162 18162 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947911824 8743522304 24704 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18154/tid=18161] ppid=18152 vsize=297188 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18161/stat : 18161 (python) S 18152 18154 17566 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947911776 304320512 8168 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9122728
[startup+6.30139 s]
/proc/loadavg: 2.11 1.51 0.69 3/588 18180
/proc/meminfo: memFree=22781772/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=297188 CPUtime=0.78 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 11193 929 1 0 66 12 0 0 18 0 2 0 947911668 304320512 8168 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18154/statm: 74297 8168 1870 364 0 9184 0
[pid=18160] ppid=18154 vsize=286944 CPUtime=0.02 cores=1,3,5,7
/proc/18160/stat : 18160 (python) S 18154 18154 17566 0 -1 4202560 887 0 0 0 1 1 0 0 15 0 1 0 947911776 293830656 6670 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458085903 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/18160/statm: 71736 6670 376 364 0 6623 0
[pid=18162] ppid=18160 vsize=8538596 CPUtime=6.54 cores=1,3,5,7
/proc/18162/stat : 18162 (java) S 18160 18162 18162 0 -1 4202496 34374 0 1 0 650 4 0 0 19 0 19 0 947911776 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18162/statm: 2134649 30382 2261 9 0 2125390 0
[pid=18162/tid=18163] ppid=18160 vsize=8538596 CPUtime=5.17 cores=1,3,5,7
/proc/18162/task/18163/stat : 18163 (java) R 18160 18162 18162 0 -1 4202560 20652 0 1 0 514 3 0 0 25 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 46912505990617 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18162/tid=18164] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18164/stat : 18164 (java) S 18160 18162 18162 0 -1 4202560 447 0 0 0 0 0 0 0 18 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18162/tid=18165] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18165/stat : 18165 (java) S 18160 18162 18162 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18166] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18166/stat : 18166 (java) S 18160 18162 18162 0 -1 4202560 88 0 0 0 0 0 0 0 16 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18167] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18167/stat : 18167 (java) S 18160 18162 18162 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 3 0 0 0
[pid=18162/tid=18168] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18168/stat : 18168 (java) S 18160 18162 18162 0 -1 4202560 950 0 0 0 0 0 0 0 16 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18162/tid=18169] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18169/stat : 18169 (java) S 18160 18162 18162 0 -1 4202560 970 0 0 0 0 0 0 0 16 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18170] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18170/stat : 18170 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18171] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18171/stat : 18171 (java) S 18160 18162 18162 0 -1 4202560 1212 0 0 0 0 0 0 0 16 0 19 0 947911777 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18162/tid=18172] ppid=18160 vsize=8538596 CPUtime=0.02 cores=1,3,5,7
/proc/18162/task/18172/stat : 18172 (java) S 18160 18162 18162 0 -1 4202560 1406 0 0 0 2 0 0 0 16 0 19 0 947911778 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 0 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18173] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18173/stat : 18173 (java) S 18160 18162 18162 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947911779 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18174] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18174/stat : 18174 (java) S 18160 18162 18162 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947911779 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18175] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18175/stat : 18175 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911781 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469889457 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18176] ppid=18160 vsize=8538596 CPUtime=0.66 cores=1,3,5,7
/proc/18162/task/18176/stat : 18176 (java) S 18160 18162 18162 0 -1 4202560 3817 0 0 0 66 0 0 0 16 0 19 0 947911781 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 3 0 0 0
[pid=18162/tid=18177] ppid=18160 vsize=8538596 CPUtime=0.65 cores=1,3,5,7
/proc/18162/task/18177/stat : 18177 (java) S 18160 18162 18162 0 -1 4202560 3127 0 0 0 65 0 0 0 15 0 19 0 947911781 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18178] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18178/stat : 18178 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947911781 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 5 0 0 0
[pid=18162/tid=18179] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18179/stat : 18179 (java) S 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947911781 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18162/tid=18180] ppid=18160 vsize=8538596 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18180/stat : 18180 (java) S 18160 18162 18162 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947911824 8743522304 30382 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18154/tid=18161] ppid=18152 vsize=297188 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18161/stat : 18161 (python) S 18152 18154 17566 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 2 0 947911776 304320512 8168 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9122728
[startup+12.7012 s]
/proc/loadavg: 2.10 1.52 0.70 3/588 18180
/proc/meminfo: memFree=22759948/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=297188 CPUtime=0.78 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 11193 929 1 0 66 12 0 0 18 0 2 0 947911668 304320512 8168 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18154/statm: 74297 8168 1870 364 0 9184 0
[pid=18160] ppid=18154 vsize=286944 CPUtime=0.03 cores=1,3,5,7
/proc/18160/stat : 18160 (python) S 18154 18154 17566 0 -1 4202560 890 0 0 0 2 1 0 0 15 0 1 0 947911776 293830656 6670 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458085903 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/18160/statm: 71736 6670 376 364 0 6623 0
[pid=18162] ppid=18160 vsize=8537616 CPUtime=13.03 cores=1,3,5,7
/proc/18162/stat : 18162 (java) S 18160 18162 18162 0 -1 4202496 37985 0 1 0 1299 4 0 0 19 0 19 0 947911776 8742518784 33616 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18162/statm: 2134404 33616 2261 9 0 2125145 0
[pid=18162/tid=18163] ppid=18160 vsize=8537616 CPUtime=11.53 cores=1,3,5,7
/proc/18162/task/18163/stat : 18163 (java) R 18160 18162 18162 0 -1 4202560 20654 0 1 0 1150 3 0 0 25 0 19 0 947911777 8742518784 33616 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 46912505943655 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18162/tid=18164] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18164/stat : 18164 (java) S 18160 18162 18162 0 -1 4202560 835 0 0 0 0 0 0 0 18 0 19 0 947911777 8742518784 33616 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18162/tid=18165] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18165/stat : 18165 (java) S 18160 18162 18162 0 -1 4202560 778 0 0 0 0 0 0 0 16 0 19 0 947911777 8742518784 33616 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 1 0 0 0
[pid=18162/tid=18166] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18166/stat : 18166 (java) S 18160 18162 18162 0 -1 4202560 591 0 0 0 0 0 0 0 15 0 19 0 947911777 8742518784 33616 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446604460040972160 0 0 -1 7 0 0 0
[pid=18162/tid=18167] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18272/stat : 18272 (wbo1.4a) T 18270 18272 18272 0 -1 4202496 24616 0 0 0 4610 61 0 0 25 0 1 0 947921579 79904768 19037 33554432000 134512640 135751879 4286659248 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/18272/statm: 19508 19037 146 303 0 19203 0
[pid=18270/tid=18278] ppid=18154 vsize=307456 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18278/stat : 18278 (python) S 18154 18154 17566 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947926263 314834944 6700 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554946 18446604463940321600 0 0 -1 5 0 0 0
[pid=18279] ppid=18154 vsize=317712 CPUtime=0.06 cores=1,3,5,7
/proc/18279/stat : 18279 (python) S 18154 18154 17566 0 -1 4202560 1040 0 0 0 3 3 0 0 15 0 1 0 947926266 325337088 6685 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458085958 0 0 16781312 33554946 1427556874747641856 0 0 17 7 0 0 0
/proc/18279/statm: 79428 6685 379 364 0 14306 0
[pid=18281] ppid=18279 vsize=113156 CPUtime=16.31 cores=1,3,5,7
/proc/18281/stat : 18281 (scip-2.0.1.linu) R 18279 18281 18281 0 -1 4202496 26680 0 0 0 1597 34 0 0 18 0 1 0 947926266 115871744 22720 33554432000 4194304 15243407 140736748603712 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/18281/statm: 28289 22720 881 2698 0 25584 0
[pid=18154/tid=18161] ppid=18152 vsize=327956 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18161/stat : 18161 (python) S 18152 18154 17566 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 5 0 947911776 335826944 8187 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 3 0 0 0
[pid=18154/tid=18243] ppid=18152 vsize=327956 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18243/stat : 18243 (python) S 18152 18154 17566 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 947916588 335826944 8187 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 5 0 0 0
[pid=18154/tid=18271] ppid=18152 vsize=327956 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18271/stat : 18271 (python) S 18152 18154 17566 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 5 0 947921579 335826944 8187 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 7 0 0 0
[pid=18154/tid=18280] ppid=18152 vsize=327956 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18280/stat : 18280 (python) S 18152 18154 17566 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 947926266 335826944 8187 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 164.12
Current children cumulated vsize (KiB) 10387136
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+192.402 s]
/proc/loadavg: 2.12 1.78 0.94 5/626 18349
/proc/meminfo: memFree=22149604/32951124 swapFree=56297244/67111528
[pid=18154] ppid=18152 vsize=338212 CPUtime=0.88 cores=1,3,5,7
/proc/18154/stat : 18154 (python) S 18152 18154 17566 0 -1 4202496 14866 929 1 0 76 12 0 0 20 0 6 0 947911668 346329088 8193 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/18154/statm: 84553 8193 1879 364 0 19428 0
[pid=18160] ppid=18154 vsize=297188 CPUtime=0.21 cores=1,3,5,7
/proc/18160/stat : 18160 (python) S 18154 18154 17566 0 -1 4202560 1074 0 0 0 10 11 0 0 16 0 2 0 947911776 304320512 6706 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18160/statm: 74297 6706 407 364 0 9184 0
[pid=18162] ppid=18160 vsize=8537616 CPUtime=49.63 cores=1,3,5,7
/proc/18162/stat : 18162 (java) T 18160 18162 18162 0 -1 4202496 52609 0 1 0 4957 6 0 0 18 0 19 0 947911776 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18162/statm: 2134404 47968 2261 9 0 2125145 0
[pid=18162/tid=18163] ppid=18160 vsize=8537616 CPUtime=47.78 cores=1,3,5,7
/proc/18162/task/18163/stat : 18163 (java) T 18160 18162 18162 0 -1 4202560 20662 0 1 0 4775 3 0 0 25 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 46912505805425 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18164] ppid=18160 vsize=8537616 CPUtime=0.02 cores=1,3,5,7
/proc/18162/task/18164/stat : 18164 (java) T 18160 18162 18162 0 -1 4202560 3262 0 0 0 2 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18162/tid=18165] ppid=18160 vsize=8537616 CPUtime=0.02 cores=1,3,5,7
/proc/18162/task/18165/stat : 18165 (java) T 18160 18162 18162 0 -1 4202560 3274 0 0 0 2 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18162/tid=18166] ppid=18160 vsize=8537616 CPUtime=0.01 cores=1,3,5,7
/proc/18162/task/18166/stat : 18166 (java) T 18160 18162 18162 0 -1 4202560 1132 0 0 0 1 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18162/tid=18167] ppid=18160 vsize=8537616 CPUtime=0.02 cores=1,3,5,7
/proc/18162/task/18167/stat : 18167 (java) T 18160 18162 18162 0 -1 4202560 961 0 0 0 2 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18162/tid=18168] ppid=18160 vsize=8537616 CPUtime=0.03 cores=1,3,5,7
/proc/18162/task/18168/stat : 18168 (java) T 18160 18162 18162 0 -1 4202560 3233 0 0 0 3 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18169] ppid=18160 vsize=8537616 CPUtime=0.01 cores=1,3,5,7
/proc/18162/task/18169/stat : 18169 (java) T 18160 18162 18162 0 -1 4202560 1876 0 0 0 1 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18162/tid=18170] ppid=18160 vsize=8537616 CPUtime=0.02 cores=1,3,5,7
/proc/18162/task/18170/stat : 18170 (java) T 18160 18162 18162 0 -1 4202560 1076 0 0 0 2 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18162/tid=18171] ppid=18160 vsize=8537616 CPUtime=0.02 cores=1,3,5,7
/proc/18162/task/18171/stat : 18171 (java) T 18160 18162 18162 0 -1 4202560 4037 0 0 0 2 0 0 0 15 0 19 0 947911777 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18162/tid=18172] ppid=18160 vsize=8537616 CPUtime=0.21 cores=1,3,5,7
/proc/18162/task/18172/stat : 18172 (java) T 18160 18162 18162 0 -1 4202560 4770 0 0 0 21 0 0 0 15 0 19 0 947911778 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18173] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18173/stat : 18173 (java) T 18160 18162 18162 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947911779 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18174] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18174/stat : 18174 (java) T 18160 18162 18162 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947911779 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18175] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18175/stat : 18175 (java) T 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947911781 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18176] ppid=18160 vsize=8537616 CPUtime=0.67 cores=1,3,5,7
/proc/18162/task/18176/stat : 18176 (java) T 18160 18162 18162 0 -1 4202560 3817 0 0 0 67 0 0 0 15 0 19 0 947911781 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18162/tid=18177] ppid=18160 vsize=8537616 CPUtime=0.72 cores=1,3,5,7
/proc/18162/task/18177/stat : 18177 (java) T 18160 18162 18162 0 -1 4202560 3127 0 0 0 72 0 0 0 15 0 19 0 947911781 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=18162/tid=18178] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18178/stat : 18178 (java) T 18160 18162 18162 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947911781 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=18162/tid=18179] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18179/stat : 18179 (java) T 18160 18162 18162 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947911781 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=18162/tid=18180] ppid=18160 vsize=8537616 CPUtime=0 cores=1,3,5,7
/proc/18162/task/18180/stat : 18180 (java) T 18160 18162 18162 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947911824 8742518784 47968 33554432000 1073741824 1073778376 140737290166784 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=18160/tid=18241] ppid=18154 vsize=297188 CPUtime=0 cores=1,3,5,7
/proc/18160/task/18241/stat : 18241 (python) S 18154 18154 17566 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947916585 304320512 6706 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554946 18446604469062134848 0 0 -1 7 0 0 0
[pid=18242] ppid=18154 vsize=297200 CPUtime=0.21 cores=1,3,5,7
/proc/18242/stat : 18242 (python) S 18154 18154 17566 0 -1 4202560 1111 0 0 0 9 12 0 0 16 0 2 0 947916588 304332800 6696 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18242/statm: 74300 6696 397 364 0 9184 0
[pid=18244] ppid=18242 vsize=110820 CPUtime=49.87 cores=1,3,5,7
/proc/18244/stat : 18244 (scip-2.0.1.linu) T 18242 18244 18244 0 -1 4202496 130978 0 0 0 4891 96 0 0 25 0 1 0 947916588 113479680 25195 33554432000 4194304 13684479 140737326163424 18446744073709551615 7415581 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/18244/statm: 27705 25195 1027 2317 0 25383 0
[pid=18242/tid=18269] ppid=18154 vsize=297200 CPUtime=0 cores=1,3,5,7
/proc/18242/task/18269/stat : 18269 (python) S 18154 18154 17566 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947921576 304332800 6696 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554946 18446604470594449728 0 0 -1 7 0 0 0
[pid=18270] ppid=18154 vsize=307456 CPUtime=0.27 cores=1,3,5,7
/proc/18270/stat : 18270 (python) S 18154 18154 17566 0 -1 4202560 1103 0 0 0 15 12 0 0 16 0 2 0 947921579 314834944 6700 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/18270/statm: 76864 6700 397 364 0 11745 0
[pid=18272] ppid=18270 vsize=78032 CPUtime=46.71 cores=1,3,5,7
/proc/18272/stat : 18272 (wbo1.4a) T 18270 18272 18272 0 -1 4202496 24616 0 0 0 4610 61 0 0 25 0 1 0 947921579 79904768 19037 33554432000 134512640 135751879 4286659248 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/18272/statm: 19508 19037 146 303 0 19203 0
[pid=18270/tid=18278] ppid=18154 vsize=307456 CPUtime=0 cores=1,3,5,7
/proc/18270/task/18278/stat : 18278 (python) S 18154 18154 17566 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 947926263 314834944 6700 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554946 18446604463940321600 0 0 -1 5 0 0 0
[pid=18279] ppid=18154 vsize=317712 CPUtime=0.2 cores=1,3,5,7
/proc/18279/stat : 18279 (python) S 18154 18154 17566 0 -1 4202560 1184 0 0 0 11 9 0 0 16 0 2 0 947926266 325337088 6710 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/18279/statm: 79428 6710 403 364 0 14306 0
[pid=18281] ppid=18279 vsize=130504 CPUtime=46.3 cores=1,3,5,7
/proc/18281/stat : 18281 (scip-2.0.1.linu) T 18279 18281 18281 0 -1 4202496 176893 0 0 0 4569 61 0 0 25 0 1 0 947926266 133636096 24867 33554432000 4194304 15243407 140736748603712 18446744073709551615 8114158 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/18281/statm: 32626 24867 908 2698 0 29921 0
[pid=18279/tid=18329] ppid=18154 vsize=317712 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18329/stat : 18329 (python) S 18154 18154 17566 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947930897 325337088 6710 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554946 18446604459653880896 0 0 -1 7 0 0 0
[pid=18330] ppid=18154 vsize=327968 CPUtime=0 cores=1,3,5,7
/proc/18330/stat : 18330 (python) R 18154 18154 17566 0 -1 4202560 840 0 0 0 0 0 0 0 18 0 1 0 947930900 335839232 6666 33554432000 4194304 5683644 140736368623392 18446744073709551615 252458085958 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/18330/statm: 81992 6666 356 364 0 16867 0
[pid=18332] ppid=18330 vsize=8531736 CPUtime=0.1 cores=1,3,5,7
/proc/18332/stat : 18332 (java) S 18330 18332 18332 0 -1 4202496 5413 0 1 0 10 0 0 0 20 0 18 0 947930900 8736497664 4866 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18332/statm: 2132934 4866 2088 9 0 2123675 0
[pid=18332/tid=18333] ppid=18330 vsize=8531736 CPUtime=0.09 cores=1,3,5,7
/proc/18332/task/18333/stat : 18333 (java) R 18330 18332 18332 0 -1 4202560 3434 0 1 0 9 0 0 0 25 0 18 0 947930901 8736497664 4912 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 47124961020755 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18332/tid=18334] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18334/stat : 18334 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947930901 8736497664 4912 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18335] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18335/stat : 18335 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947930901 8736497664 4912 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18336] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18336/stat : 18336 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947930901 8736497664 4912 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18337] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18337/stat : 18337 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930901 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18338] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18338/stat : 18338 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930901 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18339] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18339/stat : 18339 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930901 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18340] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18340/stat : 18340 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930901 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18341] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18341/stat : 18341 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930901 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18342] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18342/stat : 18342 (java) S 18330 18332 18332 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947930902 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469882368 0 0 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18343] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18343/stat : 18343 (java) S 18330 18332 18332 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947930903 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18344] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18344/stat : 18344 (java) S 18330 18332 18332 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947930903 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18345] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18345/stat : 18345 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930905 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469889457 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18346] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18346/stat : 18346 (java) S 18330 18332 18332 0 -1 4202560 69 0 0 0 0 0 0 0 25 0 18 0 947930905 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 1 0 0 0
[pid=18332/tid=18347] ppid=18330 vsize=8531736 CPUtime=0.01 cores=1,3,5,7
/proc/18332/task/18347/stat : 18347 (java) R 18330 18332 18332 0 -1 4202560 563 0 0 0 1 0 0 0 25 0 18 0 947930905 8736497664 4913 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18332/tid=18348] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18348/stat : 18348 (java) S 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930905 8736497664 4914 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469881753 0 4 0 16800975 18446604467088669504 0 0 -1 7 0 0 0
[pid=18332/tid=18349] ppid=18330 vsize=8531736 CPUtime=0 cores=1,3,5,7
/proc/18332/task/18349/stat : 18349 (java) R 18330 18332 18332 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947930905 8736497664 4914 33554432000 1073741824 1073778376 140733817668176 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18154/tid=18161] ppid=18152 vsize=338212 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18161/stat : 18161 (python) S 18152 18154 17566 0 -1 4202560 28 929 0 0 0 0 0 0 18 0 6 0 947911776 346329088 8193 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 3 0 0 0
[pid=18154/tid=18243] ppid=18152 vsize=338212 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18243/stat : 18243 (python) S 18152 18154 17566 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 6 0 947916588 346329088 8193 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 5 0 0 0
[pid=18154/tid=18271] ppid=18152 vsize=338212 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18271/stat : 18271 (python) S 18152 18154 17566 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 6 0 947921579 346329088 8193 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 7 0 0 0
[pid=18154/tid=18280] ppid=18152 vsize=338212 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18280/stat : 18280 (python) S 18152 18154 17566 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 6 0 947926266 346329088 8193 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 5 0 0 0
[pid=18154/tid=18331] ppid=18152 vsize=338212 CPUtime=0 cores=1,3,5,7
/proc/18154/task/18331/stat : 18331 (python) S 18152 18154 17566 0 -1 4202560 81 929 0 0 0 0 0 0 20 0 6 0 947930900 346329088 8193 33554432000 4194304 5683644 140736368623392 18446744073709551615 252469889457 0 0 16781312 33554434 18446604458286237888 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 194.38
Current children cumulated vsize (KiB) 19274444
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 18154 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=765883
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=129980
# CPU time returned by wait4() is 0.895863
# while last known CPU time is 194.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 192.482
CPU time (s): 194.38
CPU user time (s): 191.58
CPU system time (s): 2.8
CPU usage (%): 100.986
Max. virtual memory (cumulated for all children) (KiB): 19274444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.765883
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15797
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= 2865
involuntary context switches= 18
runsolver used 1.04884 second user time and 2.58061 second system time
The end