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-3482426-1307576527/watcher-3482426-1307576527 -o /tmp/evaluation-result-3482426-1307576527/solver-3482426-1307576527 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482426-1307576527.opb -seed 1199196665 -budget 1800
running on 4 cores: 0,2,4,6
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.88 0.60 0.21 2/411 5522
/proc/meminfo: memFree=31574376/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 820 0 0 0 0 0 0 0 17 0 1 0 325262418 15753216 705 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880563200 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5522/statm: 3846 705 334 364 0 333 0
[startup+0.0307641 s]
/proc/loadavg: 1.88 0.60 0.21 2/411 5522
/proc/meminfo: memFree=31574376/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 1271 0 0 0 1 0 0 0 17 0 1 0 325262418 19341312 1124 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880225989 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5522/statm: 4722 1125 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
[startup+0.101787 s]
/proc/loadavg: 1.88 0.60 0.21 2/411 5522
/proc/meminfo: memFree=31574376/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 3169 933 1 0 5 1 0 0 18 0 1 0 325262418 98435072 2484 33554432000 4194304 5683644 140735334035968 18446744073709551615 5170046 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5522/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300708 s]
/proc/loadavg: 1.88 0.60 0.21 2/411 5522
/proc/meminfo: memFree=31574376/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=190664 CPUtime=0.21 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 6542 933 1 0 17 4 0 0 17 0 1 0 325262418 195239936 4836 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880560997 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5522/statm: 47666 4836 1400 364 0 3676 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 190664
[startup+0.700654 s]
/proc/loadavg: 1.88 0.60 0.21 2/411 5522
/proc/meminfo: memFree=31574376/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=308356 CPUtime=0.57 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 15548 933 1 0 49 8 0 0 17 0 1 0 325262418 315756544 13411 33554432000 4194304 5683644 140735334035968 18446744073709551615 4539738 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5522/statm: 77089 13411 1781 364 0 11982 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 308356
[startup+1.50057 s]
/proc/loadavg: 1.89 0.62 0.22 3/416 5536
/proc/meminfo: memFree=31434716/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=333072 CPUtime=1.37 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 21500 933 1 0 128 9 0 0 18 0 1 0 325262418 341065728 19363 33554432000 4194304 5683644 140735334035968 18446744073709551615 4602441 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5522/statm: 83268 19363 1781 364 0 18161 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 333072
[startup+3.10028 s]
/proc/loadavg: 1.89 0.62 0.22 3/419 5539
/proc/meminfo: memFree=31392780/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=382336 CPUtime=2.98 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 33501 933 1 0 287 11 0 0 21 0 1 0 325262418 391512064 31364 33554432000 4194304 5683644 140735334035968 18446744073709551615 4603005 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5522/statm: 95584 31364 1781 364 0 30477 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 382336
[startup+6.3007 s]
/proc/loadavg: 1.98 0.66 0.23 3/419 5539
/proc/meminfo: memFree=31333164/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=405120 CPUtime=6.18 cores=0,2,4,6
/proc/5522/stat : 5522 (python) R 5520 5522 5042 0 -1 4202496 61299 933 1 0 603 15 0 0 25 0 1 0 325262418 414842880 37627 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880224579 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/5522/statm: 101280 37627 1815 364 0 36173 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 405120
[startup+12.7005 s]
/proc/loadavg: 1.98 0.68 0.24 3/422 5614
/proc/meminfo: memFree=31169200/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=429276 CPUtime=10.88 cores=0,2,4,6
/proc/5522/stat : 5522 (python) S 5520 5522 5042 0 -1 4202496 65057 933 1 0 1072 16 0 0 20 0 2 0 325262418 439578624 41160 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5522/statm: 107319 41160 1872 364 0 42206 0
[pid=5608] ppid=5522 vsize=419032 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (python) S 5522 5522 5042 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 325263518 429088768 39635 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880585231 0 0 16781312 33554946 8774235594336207105 0 0 17 2 0 0 0
/proc/5608/statm: 104758 39635 351 364 0 39645 0
[pid=5610] ppid=5608 vsize=92516 CPUtime=1.69 cores=0,2,4,6
/proc/5610/stat : 5610 (clasp-1.3.7-x86) R 5608 5610 5610 0 -1 4202496 27262 0 0 0 165 4 0 0 25 0 1 0 325263519 94736384 22273 33554432000 134512640 136139019 4289366416 18446744073709551615 135529895 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5610/statm: 23129 22273 176 398 0 22729 0
[pid=5522/tid=5609] ppid=5520 vsize=429276 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 2 0 325263519 439578624 41160 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 940824
[startup+25.5012 s]
/proc/loadavg: 1.98 0.72 0.26 3/419 5682
/proc/meminfo: memFree=31247616/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=429276 CPUtime=10.88 cores=0,2,4,6
/proc/5522/stat : 5522 (python) S 5520 5522 5042 0 -1 4202496 65057 933 1 0 1072 16 0 0 20 0 2 0 325262418 439578624 41160 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5522/statm: 107319 41160 1872 364 0 42206 0
[pid=5608] ppid=5522 vsize=419032 CPUtime=0.05 cores=0,2,4,6
/proc/5608/stat : 5608 (python) S 5522 5522 5042 0 -1 4202560 894 0 0 0 3 2 0 0 18 0 1 0 325263518 429088768 39659 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880585231 0 0 16781312 33554946 72262103200705273 0 0 17 2 0 0 0
/proc/5608/statm: 104758 39659 375 364 0 39645 0
[pid=5610] ppid=5608 vsize=90832 CPUtime=14.48 cores=0,2,4,6
/proc/5610/stat : 5610 (clasp-1.3.7-x86) R 5608 5610 5610 0 -1 4202496 29850 0 0 0 1444 4 0 0 25 0 1 0 325263519 93011968 22152 33554432000 134512640 136139019 4289366416 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5610/statm: 22708 22152 184 398 0 22308 0
[pid=5522/tid=5609] ppid=5520 vsize=429276 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 2 0 325263519 439578624 41160 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 939140
[startup+51.1006 s]
/proc/loadavg: 2.11 0.86 0.31 3/422 5759
/proc/meminfo: memFree=31125384/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=429276 CPUtime=10.88 cores=0,2,4,6
/proc/5522/stat : 5522 (python) S 5520 5522 5042 0 -1 4202496 65057 933 1 0 1072 16 0 0 20 0 2 0 325262418 439578624 41160 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5522/statm: 107319 41160 1872 364 0 42206 0
[pid=5608] ppid=5522 vsize=419032 CPUtime=0.13 cores=0,2,4,6
/proc/5608/stat : 5608 (python) S 5522 5522 5042 0 -1 4202560 994 0 0 0 6 7 0 0 18 0 1 0 325263518 429088768 39664 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880585231 0 0 16781312 33554946 72262103200705273 0 0 17 2 0 0 0
/proc/5608/statm: 104758 39664 380 364 0 39645 0
[pid=5610] ppid=5608 vsize=91700 CPUtime=40.08 cores=0,2,4,6
/proc/5610/stat : 5610 (clasp-1.3.7-x86) R 5608 5610 5610 0 -1 4202496 30045 0 0 0 4004 4 0 0 25 0 1 0 325263519 93900800 22347 33554432000 134512640 136139019 4289366416 18446744073709551615 134832257 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/5610/statm: 22925 22347 184 398 0 22525 0
[pid=5522/tid=5609] ppid=5520 vsize=429276 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 2 0 325263519 439578624 41160 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 940008
[startup+102.301 s]
/proc/loadavg: 2.08 1.06 0.41 3/430 5768
/proc/meminfo: memFree=29839112/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=439532 CPUtime=43.18 cores=0,2,4,6
/proc/5522/stat : 5522 (python) S 5520 5522 5042 0 -1 4202496 66034 933 1 0 4292 26 0 0 25 0 3 0 325262418 450080768 41167 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/5522/statm: 109883 41167 1875 364 0 44767 0
[pid=5608] ppid=5522 vsize=429276 CPUtime=0.16 cores=0,2,4,6
/proc/5608/stat : 5608 (python) S 5522 5522 5042 0 -1 4202560 1130 0 0 0 8 8 0 0 19 0 2 0 325263518 439578624 39700 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5608/statm: 107319 39700 411 364 0 42206 0
[pid=5610] ppid=5608 vsize=91844 CPUtime=48.15 cores=0,2,4,6
/proc/5610/stat : 5610 (clasp-1.3.7-x86) T 5608 5610 5610 0 -1 4202496 30105 0 0 0 4811 4 0 0 25 0 1 0 325263519 94048256 22407 33554432000 134512640 136139019 4289366416 18446744073709551615 134828711 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5610/statm: 22961 22407 184 398 0 22561 0
[pid=5608/tid=5760] ppid=5522 vsize=429276 CPUtime=0 cores=0,2,4,6
/proc/5608/task/5760/stat : 5760 (python) S 5522 5522 5042 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 325268336 439578624 39700 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604443223684992 0 0 -1 2 0 0 0
[pid=5766] ppid=5522 vsize=429288 CPUtime=0.03 cores=0,2,4,6
/proc/5766/stat : 5766 (python) S 5522 5522 5042 0 -1 4202560 924 0 0 0 1 2 0 0 15 0 1 0 325271565 439590912 39660 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880585286 0 0 16781312 33554946 2863079870152278275 0 0 17 0 0 0 0
/proc/5766/statm: 107322 39660 372 364 0 42206 0
[pid=5768] ppid=5766 vsize=1272880 CPUtime=10.82 cores=0,2,4,6
/proc/5768/stat : 5768 (minion) R 5766 5768 5768 0 -1 4202496 347197 0 0 0 1042 40 0 0 25 0 1 0 325271565 1303429120 309896 33554432000 134512640 165565024 4288350208 18446744073709551615 142853142 0 0 16781312 8396802 0 0 0 17 2 0 0 0
/proc/5768/statm: 318220 309896 346 7582 0 310635 0
[pid=5522/tid=5609] ppid=5520 vsize=439532 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 3 0 325263519 450080768 41167 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5767] ppid=5520 vsize=439532 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5767/stat : 5767 (python) S 5520 5522 5042 0 -1 4202560 31 933 0 0 0 0 0 0 25 0 3 0 325271565 450080768 41167 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 2662820
[startup+162.301 s]
/proc/loadavg: 2.03 1.23 0.51 3/438 5778
/proc/meminfo: memFree=28322752/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=449788 CPUtime=43.2 cores=0,2,4,6
/proc/5522/stat : 5522 (python) S 5520 5522 5042 0 -1 4202496 66889 933 1 0 4294 26 0 0 20 0 4 0 325262418 460582912 41173 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/5522/statm: 112447 41173 1877 364 0 47328 0
[pid=5608] ppid=5522 vsize=429276 CPUtime=0.16 cores=0,2,4,6
/proc/5608/stat : 5608 (python) S 5522 5522 5042 0 -1 4202560 1130 0 0 0 8 8 0 0 19 0 2 0 325263518 439578624 39700 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/5608/statm: 107319 39700 411 364 0 42206 0
[pid=5610] ppid=5608 vsize=91844 CPUtime=48.15 cores=0,2,4,6
/proc/5610/stat : 5610 (clasp-1.3.7-x86) T 5608 5610 5610 0 -1 4202496 30105 0 0 0 4811 4 0 0 25 0 1 0 325263519 94048256 22407 33554432000 134512640 136139019 4289366416 18446744073709551615 134828711 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5610/statm: 22961 22407 184 398 0 22561 0
[pid=5608/tid=5760] ppid=5522 vsize=429276 CPUtime=0 cores=0,2,4,6
/proc/5608/task/5760/stat : 5760 (python) S 5522 5522 5042 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 325268336 439578624 39700 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604443223684992 0 0 -1 2 0 0 0
[pid=5766] ppid=5522 vsize=429288 CPUtime=0.19 cores=0,2,4,6
/proc/5766/stat : 5766 (python) S 5522 5522 5042 0 -1 4202560 1106 0 0 0 9 10 0 0 16 0 2 0 325271565 439590912 39685 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5766/statm: 107322 39685 396 364 0 42206 0
[pid=5768] ppid=5766 vsize=1272880 CPUtime=47.05 cores=0,2,4,6
/proc/5768/stat : 5768 (minion) T 5766 5768 5768 0 -1 4202496 347197 0 0 0 4665 40 0 0 25 0 1 0 325271565 1303429120 309896 33554432000 134512640 165565024 4288350208 18446744073709551615 142765017 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/5768/statm: 318220 309896 346 7582 0 310635 0
[pid=5766/tid=5774] ppid=5522 vsize=429288 CPUtime=0 cores=0,2,4,6
/proc/5766/task/5774/stat : 5774 (python) S 5522 5522 5042 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 325276272 439590912 39685 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604452354192384 0 0 -1 6 0 0 0
[pid=5775] ppid=5522 vsize=439544 CPUtime=0.08 cores=0,2,4,6
/proc/5775/stat : 5775 (python) S 5522 5522 5042 0 -1 4202560 940 0 0 0 4 4 0 0 15 0 1 0 325276274 450093056 39664 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880585286 0 0 16781312 33554946 72556772316949241 0 0 17 6 0 0 0
/proc/5775/statm: 109886 39664 372 364 0 44767 0
[pid=5777] ppid=5775 vsize=1426256 CPUtime=23.73 cores=0,2,4,6
/proc/5777/stat : 5777 (scip-2.0.1.linu) R 5775 5777 5777 0 -1 4202496 348815 0 0 0 2080 293 0 0 25 0 1 0 325276275 1460486144 348152 33554432000 4194304 13684479 140733953208048 18446744073709551615 4880941 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5777/statm: 356564 348152 645 2317 0 354242 0
[pid=5522/tid=5609] ppid=5520 vsize=449788 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 4 0 325263519 460582912 41173 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5767] ppid=5520 vsize=449788 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/5781/statm: 112450 39693 396 364 0 47328 0
[pid=5783] ppid=5781 vsize=1747296 CPUtime=54.67 cores=0,2,4,6
/proc/5783/stat : 5783 (scip-2.0.1.linu) R 5781 5783 5783 0 -1 4202496 444436 0 0 0 5128 339 0 0 25 0 1 0 325281358 1789231104 425451 33554432000 4194304 15243407 140734150514960 18446744073709551615 4833138 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5783/statm: 436824 425451 702 2698 0 434119 0
[pid=5781/tid=5786] ppid=5522 vsize=449800 CPUtime=0 cores=0,2,4,6
/proc/5781/task/5786/stat : 5786 (python) S 5522 5522 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325286270 460595200 39693 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453862998464 0 0 -1 6 0 0 0
[pid=5791] ppid=5522 vsize=460056 CPUtime=0.19 cores=0,2,4,6
/proc/5791/stat : 5791 (python) S 5522 5522 5042 0 -1 4202560 1153 0 0 0 9 10 0 0 16 0 2 0 325290891 471097344 39697 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5791/statm: 115014 39697 396 364 0 49889 0
[pid=5793] ppid=5791 vsize=81740 CPUtime=50.59 cores=0,2,4,6
/proc/5793/stat : 5793 (wbo1.4a) T 5791 5793 5793 0 -1 4202496 25729 0 0 0 5051 8 0 0 25 0 1 0 325290892 83701760 18845 33554432000 134512640 135751879 4288933168 18446744073709551615 134611218 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/5793/statm: 20435 18845 143 303 0 20130 0
[pid=5791/tid=5796] ppid=5522 vsize=460056 CPUtime=0 cores=0,2,4,6
/proc/5791/task/5796/stat : 5796 (python) S 5522 5522 5042 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 325295954 471097344 39697 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604449706363712 0 0 -1 6 0 0 0
[pid=5822] ppid=5522 vsize=470312 CPUtime=0.17 cores=0,2,4,6
/proc/5822/stat : 5822 (python) S 5522 5522 5042 0 -1 4202560 1135 0 0 0 8 9 0 0 16 0 2 0 325309506 481599488 39701 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5822/statm: 117578 39701 396 364 0 52450 0
[pid=5824] ppid=5822 vsize=133856 CPUtime=45.75 cores=0,2,4,6
/proc/5824/stat : 5824 (wbo1.4b-fixed) T 5822 5824 5824 0 -1 4202496 38710 0 0 0 4565 10 0 0 25 0 1 0 325309507 137068544 31830 33554432000 134512640 135752315 4294734720 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/5824/statm: 33464 31830 146 303 0 33159 0
[pid=5822/tid=5827] ppid=5522 vsize=470312 CPUtime=0 cores=0,2,4,6
/proc/5822/task/5827/stat : 5827 (python) S 5522 5522 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325314082 481599488 39701 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453909173184 0 0 -1 6 0 0 0
[pid=5522/tid=5609] ppid=5520 vsize=480556 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 33 933 0 0 0 0 0 0 18 0 7 0 325263519 492089344 41191 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5767] ppid=5520 vsize=480556 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5767/stat : 5767 (python) S 5520 5522 5042 0 -1 4202560 31 933 0 0 0 0 0 0 25 0 7 0 325271565 492089344 41191 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 6 0 0 0
[pid=5522/tid=5776] ppid=5520 vsize=480556 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5776/stat : 5776 (python) S 5520 5522 5042 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 7 0 325276275 492089344 41191 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5782] ppid=5520 vsize=480556 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5782/stat : 5782 (python) S 5520 5522 5042 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 7 0 325281358 492089344 41191 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5792] ppid=5520 vsize=480556 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5792/stat : 5792 (python) S 5520 5522 5042 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 7 0 325290892 492089344 41191 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 6 0 0 0
[pid=5522/tid=5823] ppid=5520 vsize=480556 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5823/stat : 5823 (python) S 5520 5522 5042 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 7 0 325309507 492089344 41191 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 523.78
Current children cumulated vsize (KiB) 7968568
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+567.102 s]
/proc/loadavg: 2.01 1.84 1.05 4/501 5851
/proc/meminfo: memFree=25354012/32950928 swapFree=51865260/67111528
[pid=5522] ppid=5520 vsize=490812 CPUtime=43.37 cores=0,2,4,6
/proc/5522/stat : 5522 (python) S 5520 5522 5042 0 -1 4202496 70714 933 1 0 4308 29 0 0 20 0 8 0 325262418 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5522/statm: 122703 41197 1885 364 0 57572 0
[pid=5608] ppid=5522 vsize=429276 CPUtime=0.82 cores=0,2,4,6
/proc/5608/stat : 5608 (python) S 5522 5522 5042 0 -1 4202560 1198 0 0 0 41 41 0 0 18 0 2 0 325263518 439578624 39701 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5608/statm: 107319 39701 412 364 0 42206 0
[pid=5610] ppid=5608 vsize=105576 CPUtime=229.79 cores=0,2,4,6
/proc/5610/stat : 5610 (clasp-1.3.7-x86) T 5608 5610 5610 0 -1 4202496 33423 0 0 0 22974 5 0 0 25 0 1 0 325263519 108109824 25725 33554432000 134512640 136139019 4289366416 18446744073709551615 134883415 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/5610/statm: 26394 25725 184 398 0 25994 0
[pid=5608/tid=5760] ppid=5522 vsize=429276 CPUtime=0 cores=0,2,4,6
/proc/5608/task/5760/stat : 5760 (python) S 5522 5522 5042 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 325268336 439578624 39701 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604443223684992 0 0 -1 2 0 0 0
[pid=5766] ppid=5522 vsize=429288 CPUtime=0.19 cores=0,2,4,6
/proc/5766/stat : 5766 (python) S 5522 5522 5042 0 -1 4202560 1106 0 0 0 9 10 0 0 16 0 2 0 325271565 439590912 39685 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5766/statm: 107322 39685 396 364 0 42206 0
[pid=5768] ppid=5766 vsize=1272880 CPUtime=47.05 cores=0,2,4,6
/proc/5768/stat : 5768 (minion) T 5766 5768 5768 0 -1 4202496 347197 0 0 0 4665 40 0 0 25 0 1 0 325271565 1303429120 309896 33554432000 134512640 165565024 4288350208 18446744073709551615 142765017 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/5768/statm: 318220 309896 346 7582 0 310635 0
[pid=5766/tid=5774] ppid=5522 vsize=429288 CPUtime=0 cores=0,2,4,6
/proc/5766/task/5774/stat : 5774 (python) S 5522 5522 5042 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 325276272 439590912 39685 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604452354192384 0 0 -1 6 0 0 0
[pid=5775] ppid=5522 vsize=439544 CPUtime=0.19 cores=0,2,4,6
/proc/5775/stat : 5775 (python) S 5522 5522 5042 0 -1 4202560 1111 0 0 0 10 9 0 0 16 0 2 0 325276274 450093056 39689 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5775/statm: 109886 39689 396 364 0 44767 0
[pid=5777] ppid=5775 vsize=1468388 CPUtime=50.8 cores=0,2,4,6
/proc/5777/stat : 5777 (scip-2.0.1.linu) T 5775 5777 5777 0 -1 4202496 358627 0 0 0 4785 295 0 0 25 0 1 0 325276275 1503629312 357964 33554432000 4194304 13684479 140733953208048 18446744073709551615 4698702 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5777/statm: 367097 357964 645 2317 0 364775 0
[pid=5775/tid=5780] ppid=5522 vsize=439544 CPUtime=0 cores=0,2,4,6
/proc/5775/task/5780/stat : 5780 (python) S 5522 5522 5042 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 325281355 450093056 39689 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453863001152 0 0 -1 6 0 0 0
[pid=5781] ppid=5522 vsize=449800 CPUtime=0.38 cores=0,2,4,6
/proc/5781/stat : 5781 (python) S 5522 5522 5042 0 -1 4202560 1170 0 0 0 20 18 0 0 15 0 2 0 325281357 460595200 39693 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5781/statm: 112450 39693 396 364 0 47328 0
[pid=5783] ppid=5781 vsize=1747296 CPUtime=98.53 cores=0,2,4,6
/proc/5783/stat : 5783 (scip-2.0.1.linu) T 5781 5783 5783 0 -1 4202496 445120 0 0 0 9513 340 0 0 25 0 1 0 325281358 1789231104 426135 33554432000 4194304 15243407 140734150514960 18446744073709551615 4880915 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/5783/statm: 436824 426135 702 2698 0 434119 0
[pid=5781/tid=5786] ppid=5522 vsize=449800 CPUtime=0 cores=0,2,4,6
/proc/5781/task/5786/stat : 5786 (python) S 5522 5522 5042 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 325286270 460595200 39693 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453862998464 0 0 -1 6 0 0 0
[pid=5791] ppid=5522 vsize=460056 CPUtime=0.19 cores=0,2,4,6
/proc/5791/stat : 5791 (python) S 5522 5522 5042 0 -1 4202560 1153 0 0 0 9 10 0 0 16 0 2 0 325290891 471097344 39697 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5791/statm: 115014 39697 396 364 0 49889 0
[pid=5793] ppid=5791 vsize=81740 CPUtime=50.59 cores=0,2,4,6
/proc/5793/stat : 5793 (wbo1.4a) T 5791 5793 5793 0 -1 4202496 25729 0 0 0 5051 8 0 0 25 0 1 0 325290892 83701760 18845 33554432000 134512640 135751879 4288933168 18446744073709551615 134611218 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/5793/statm: 20435 18845 143 303 0 20130 0
[pid=5791/tid=5796] ppid=5522 vsize=460056 CPUtime=0 cores=0,2,4,6
/proc/5791/task/5796/stat : 5796 (python) S 5522 5522 5042 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 325295954 471097344 39697 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604449706363712 0 0 -1 6 0 0 0
[pid=5822] ppid=5522 vsize=470312 CPUtime=0.17 cores=0,2,4,6
/proc/5822/stat : 5822 (python) S 5522 5522 5042 0 -1 4202560 1135 0 0 0 8 9 0 0 16 0 2 0 325309506 481599488 39701 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5822/statm: 117578 39701 396 364 0 52450 0
[pid=5824] ppid=5822 vsize=133856 CPUtime=45.75 cores=0,2,4,6
/proc/5824/stat : 5824 (wbo1.4b-fixed) T 5822 5824 5824 0 -1 4202496 38710 0 0 0 4565 10 0 0 25 0 1 0 325309507 137068544 31830 33554432000 134512640 135752315 4294734720 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/5824/statm: 33464 31830 146 303 0 33159 0
[pid=5822/tid=5827] ppid=5522 vsize=470312 CPUtime=0 cores=0,2,4,6
/proc/5822/task/5827/stat : 5827 (python) S 5522 5522 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325314082 481599488 39701 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453909173184 0 0 -1 6 0 0 0
[pid=5832] ppid=5522 vsize=480568 CPUtime=0 cores=0,2,4,6
/proc/5832/stat : 5832 (python) S 5522 5522 5042 0 -1 4202560 820 0 0 0 0 0 0 0 17 0 1 0 325319038 492101632 39656 33554432000 4194304 5683644 140735334035968 18446744073709551615 218880585286 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/5832/statm: 120142 39656 348 364 0 55011 0
[pid=5834] ppid=5832 vsize=8540204 CPUtime=1.41 cores=0,2,4,6
/proc/5834/stat : 5834 (java) S 5832 5834 5834 0 -1 4202496 45624 0 1 0 134 7 0 0 21 0 18 0 325319038 8745168896 43627 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/5834/statm: 2135051 43629 2222 9 0 2125792 0
[pid=5834/tid=5835] ppid=5832 vsize=8540204 CPUtime=0.86 cores=0,2,4,6
/proc/5834/task/5835/stat : 5835 (java) S 5832 5834 5834 0 -1 4202560 35200 0 1 0 81 5 0 0 18 0 18 0 325319040 8745168896 44080 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5836] ppid=5832 vsize=8540204 CPUtime=0.03 cores=0,2,4,6
/proc/5834/task/5836/stat : 5836 (java) R 5832 5834 5834 0 -1 4202560 3441 0 0 0 3 0 0 0 15 0 18 0 325319040 8745168896 44081 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 47044149311177 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5834/tid=5837] ppid=5832 vsize=8540204 CPUtime=0.01 cores=0,2,4,6
/proc/5834/task/5837/stat : 5837 (java) S 5832 5834 5834 0 -1 4202560 1209 0 0 0 1 0 0 0 18 0 18 0 325319040 8745168896 44083 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5838] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5838/stat : 5838 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325319040 8745168896 44084 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5839] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5839/stat : 5839 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325319040 8745168896 44086 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5840] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5840/stat : 5840 (java) R 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 325319040 8745168896 44087 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5834/tid=5841] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5841/stat : 5841 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325319040 8745168896 44089 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5842] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5842/stat : 5842 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325319040 8745168896 44090 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5843] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5843/stat : 5843 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 325319040 8745168896 44092 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5844] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5844/stat : 5844 (java) S 5832 5834 5834 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 18 0 325319041 8745168896 44093 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 0 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5845] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5845/stat : 5845 (java) S 5832 5834 5834 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 325319042 8745168896 44095 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5846] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5846/stat : 5846 (java) S 5832 5834 5834 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 325319042 8745168896 44097 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5847] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5847/stat : 5847 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325319044 8745168896 44098 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892388785 0 4 0 16800975 18446604446740080448 0 0 -1 6 0 0 0
[pid=5834/tid=5848] ppid=5832 vsize=8540204 CPUtime=0.24 cores=0,2,4,6
/proc/5834/task/5848/stat : 5848 (java) S 5832 5834 5834 0 -1 4202560 2945 0 0 0 24 0 0 0 16 0 18 0 325319044 8745168896 44100 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 4 0 0 0
[pid=5834/tid=5849] ppid=5832 vsize=8540204 CPUtime=0.23 cores=0,2,4,6
/proc/5834/task/5849/stat : 5849 (java) S 5832 5834 5834 0 -1 4202560 1827 0 0 0 23 0 0 0 25 0 18 0 325319044 8745168896 44101 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5834/tid=5850] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5850/stat : 5850 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325319044 8745168896 44103 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381081 0 4 0 16800975 18446604446740080448 0 0 -1 6 0 0 0
[pid=5834/tid=5851] ppid=5832 vsize=8540204 CPUtime=0 cores=0,2,4,6
/proc/5834/task/5851/stat : 5851 (java) S 5832 5834 5834 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 325319044 8745168896 44104 33554432000 1073741824 1073778376 140734738713360 18446744073709551615 218892381696 0 4 0 16800975 18446604446740080448 0 0 -1 0 0 0 0
[pid=5522/tid=5609] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5609/stat : 5609 (python) S 5520 5522 5042 0 -1 4202560 33 933 0 0 0 0 0 0 18 0 8 0 325263519 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5767] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5767/stat : 5767 (python) S 5520 5522 5042 0 -1 4202560 31 933 0 0 0 0 0 0 25 0 8 0 325271565 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 6 0 0 0
[pid=5522/tid=5776] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5776/stat : 5776 (python) S 5520 5522 5042 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 325276275 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5782] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5782/stat : 5782 (python) S 5520 5522 5042 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 8 0 325281358 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 2 0 0 0
[pid=5522/tid=5792] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5792/stat : 5792 (python) S 5520 5522 5042 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 8 0 325290892 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 6 0 0 0
[pid=5522/tid=5823] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5823/stat : 5823 (python) S 5520 5522 5042 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 325309507 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 4 0 0 0
[pid=5522/tid=5833] ppid=5520 vsize=490812 CPUtime=0 cores=0,2,4,6
/proc/5522/task/5833/stat : 5833 (python) S 5520 5522 5042 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 8 0 325319038 502591488 41197 33554432000 4194304 5683644 140735334035968 18446744073709551615 218892388785 0 0 16781312 33554434 18446604449706361024 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 569.23
Current children cumulated vsize (KiB) 16999596
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 5522 and gives
# childrusage.ru_utime.tv_sec=43
# childrusage.ru_utime.tv_usec=86449
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=303953
# CPU time returned by wait4() is 43.3904
# while last known CPU time is 569.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 567.188
CPU time (s): 569.23
CPU user time (s): 560.92
CPU system time (s): 8.31
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 16999596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.0864
system time used= 0.303953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71651
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= 1411
involuntary context switches= 118
runsolver used 2.71459 second user time and 5.41318 second system time
The end