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-3482883-1307578484/watcher-3482883-1307578484 -o /tmp/evaluation-result-3482883-1307578484/solver-3482883-1307578484 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482883-1307578484.opb -seed 366253404 -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.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 746 0 0 0 0 0 0 0 17 0 1 0 869447270 15753216 634 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970244077 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3807/statm: 3846 652 322 364 0 333 0
[startup+0.0610609 s]
/proc/loadavg: 2.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 1457 0 0 0 3 0 0 0 17 0 1 0 869447270 30507008 1297 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 3 0 0 0
/proc/3807/statm: 7448 1297 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.101044 s]
/proc/loadavg: 2.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=87832 CPUtime=0.06 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 2690 0 0 0 5 1 0 0 17 0 1 0 869447270 89939968 2405 33554432000 4194304 5683644 140735213606992 18446744073709551615 47022641571776 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3807/statm: 21958 2405 733 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87832
[startup+0.301023 s]
/proc/loadavg: 2.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 5358 927 1 0 13 4 0 0 17 0 1 0 869447270 126713856 3744 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970546181 0 2147483391 16781312 2 18446744071699109054 0 0 17 3 0 0 0
/proc/3807/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700946 s]
/proc/loadavg: 2.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=339440 CPUtime=0.45 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 23339 927 1 0 32 13 0 0 16 0 1 0 869447270 347586560 21200 33554432000 4194304 5683644 140735213606992 18446744073709551615 47022843360608 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3807/statm: 84897 21210 1781 364 0 19790 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 339440
[startup+18.2859 s]
/proc/loadavg: 2.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=640708 CPUtime=18.03 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 161534 927 1 0 1773 30 0 0 25 0 1 0 869447270 656084992 96524 33554432000 4194304 5683644 140735213606992 18446744073709551615 242973959088 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/3807/statm: 160177 96524 1816 364 0 95070 0
Current children cumulated CPU time (s) 18.03
Current children cumulated vsize (KiB) 640708
[startup+18.3019 s]
/proc/loadavg: 2.72 2.80 2.30 2/563 3807
/proc/meminfo: memFree=10976836/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=640708 CPUtime=18.03 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 161534 927 1 0 1773 30 0 0 25 0 1 0 869447270 656084992 96524 33554432000 4194304 5683644 140735213606992 18446744073709551615 242973959105 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/3807/statm: 160177 96524 1816 364 0 95070 0
Current children cumulated CPU time (s) 18.03
Current children cumulated vsize (KiB) 640708
[startup+18.4009 s]
/proc/loadavg: 3.31 2.92 2.35 3/568 3818
/proc/meminfo: memFree=10522144/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=640708 CPUtime=18.13 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 161534 927 1 0 1783 30 0 0 25 0 1 0 869447270 656084992 96524 33554432000 4194304 5683644 140735213606992 18446744073709551615 47022679475040 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/3807/statm: 160177 96524 1816 364 0 95070 0
Current children cumulated CPU time (s) 18.13
Current children cumulated vsize (KiB) 640708
[startup+18.5209 s]
/proc/loadavg: 3.31 2.92 2.35 3/568 3818
/proc/meminfo: memFree=10522144/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=640708 CPUtime=18.18 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 161534 927 1 0 1787 31 0 0 25 0 1 0 869447270 656084992 96524 33554432000 4194304 5683644 140735213606992 18446744073709551615 242973958825 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/3807/statm: 160177 96524 1816 364 0 95070 0
Current children cumulated CPU time (s) 18.18
Current children cumulated vsize (KiB) 640708
[startup+25.5006 s]
/proc/loadavg: 3.57 2.99 2.38 3/568 3818
/proc/meminfo: memFree=10494916/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=640708 CPUtime=24.16 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 161534 927 1 0 2381 35 0 0 25 0 1 0 869447270 656084992 96524 33554432000 4194304 5683644 140735213606992 18446744073709551615 47022677008158 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/3807/statm: 160177 96524 1816 364 0 95070 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 640708
[startup+51.1003 s]
/proc/loadavg: 4.06 3.15 2.45 4/571 3821
/proc/meminfo: memFree=10400028/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=584568 CPUtime=27.48 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 169335 927 1 0 2709 39 0 0 25 0 2 0 869447270 598597632 79982 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3807/statm: 146142 79982 1872 364 0 81029 0
[pid=3819] ppid=3807 vsize=574324 CPUtime=0.11 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 901 0 0 0 4 7 0 0 15 0 1 0 869450181 588107776 78481 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970570255 0 0 16781312 33554946 5623753486446373572 0 0 17 7 0 0 0
/proc/3819/statm: 143581 78481 375 364 0 78468 0
[pid=3821] ppid=3819 vsize=147728 CPUtime=21.97 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) R 3819 3821 3821 0 -1 4202496 51749 0 0 0 2088 109 0 0 25 0 1 0 869450181 151273472 35124 33554432000 134512640 135752315 4290808288 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/3821/statm: 36932 35124 146 303 0 36627 0
[pid=3807/tid=3820] ppid=3805 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3807/task/3820/stat : 3820 (python) S 3805 3807 2587 0 -1 4202560 27 927 0 0 0 0 0 0 25 0 2 0 869450181 598597632 79982 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.56
Current children cumulated vsize (KiB) 1306620
[startup+102.3 s]
/proc/loadavg: 2.99 3.00 2.43 3/579 3831
/proc/meminfo: memFree=6737212/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=594824 CPUtime=27.5 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 170258 927 1 0 2711 39 0 0 20 0 3 0 869447270 609099776 79989 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3807/statm: 148706 79989 1875 364 0 83590 0
[pid=3819] ppid=3807 vsize=584568 CPUtime=0.24 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 1136 0 0 0 9 15 0 0 16 0 2 0 869450181 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3819/statm: 146142 78522 411 364 0 81029 0
[pid=3821] ppid=3819 vsize=153492 CPUtime=51.09 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) T 3819 3821 3821 0 -1 4202496 53200 0 0 0 4800 309 0 0 25 0 1 0 869450181 157175808 36575 33554432000 134512640 135752315 4290808288 18446744073709551615 134616171 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3821/statm: 38373 36575 146 303 0 38068 0
[pid=3819/tid=3826] ppid=3807 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3819/task/3826/stat : 3826 (python) S 3807 3807 2587 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869455292 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470064764224 0 0 -1 7 0 0 0
[pid=3827] ppid=3807 vsize=584580 CPUtime=0.08 cores=1,3,5,7
/proc/3827/stat : 3827 (python) S 3807 3807 2587 0 -1 4202560 941 0 0 0 3 5 0 0 15 0 1 0 869455295 598609920 78482 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970570310 0 0 16781312 33554946 5623606151888251588 0 0 17 5 0 0 0
/proc/3827/statm: 146145 78482 372 364 0 81029 0
[pid=3829] ppid=3827 vsize=2280836 CPUtime=22.02 cores=1,3,5,7
/proc/3829/stat : 3829 (pbct-0.1.2-linu) R 3827 3829 3829 0 -1 4202496 624154 0 0 0 2123 79 0 0 25 0 1 0 869455295 2335576064 562856 33554432000 134512640 136422188 4287361584 18446744073709551615 135811945 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/3829/statm: 570209 562857 193 467 0 569740 0
[pid=3807/tid=3820] ppid=3805 vsize=594824 CPUtime=0 cores=1,3,5,7
/proc/3807/task/3820/stat : 3820 (python) S 3805 3807 2587 0 -1 4202560 27 927 0 0 0 0 0 0 25 0 3 0 869450181 609099776 79989 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
[pid=3807/tid=3828] ppid=3805 vsize=594824 CPUtime=0 cores=1,3,5,7
/proc/3807/task/3828/stat : 3828 (python) S 3805 3807 2587 0 -1 4202560 31 927 0 0 0 0 0 0 20 0 3 0 869455295 609099776 79989 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.93
Current children cumulated vsize (KiB) 4198300
[startup+162.301 s]
/proc/loadavg: 5.29 3.62 2.68 3/584 3839
/proc/meminfo: memFree=3098888/32951132 swapFree=45426552/67111528
[pid=3807] ppid=3805 vsize=605080 CPUtime=58.27 cores=1,3,5,7
/proc/3807/stat : 3807 (python) R 3805 3807 2587 0 -1 4202496 171575 1113844 1 0 2714 40 2356 717 18 0 4 0 869447270 619601920 79995 33554432000 4194304 5683644 140735213606992 18446744073709551615 242973988707 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3807/statm: 151270 79995 1877 364 0 86151 0
[pid=3819] ppid=3807 vsize=584568 CPUtime=0.24 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 1136 0 0 0 9 15 0 0 16 0 2 0 869450181 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3819/statm: 146142 78522 411 364 0 81029 0
[pid=3821] ppid=3819 vsize=153492 CPUtime=51.09 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) T 3819 3821 3821 0 -1 4202496 53200 0 0 0 4800 309 0 0 25 0 1 0 869450181 157175808 36575 33554432000 134512640 135752315 4290808288 18446744073709551615 134616171 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3821/statm: 38373 36575 146 303 0 38068 0
[pid=3819/tid=3826] ppid=3807 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3819/task/3826/stat : 3826 (python) S 3807 3807 2587 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869455292 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470064764224 0 0 -1 7 0 0 0
[pid=3833] ppid=3807 vsize=594836 CPUtime=0.26 cores=1,3,5,7
/proc/3833/stat : 3833 (python) S 3807 3807 2587 0 -1 4202560 1111 0 0 0 13 13 0 0 17 0 2 0 869458439 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3833/statm: 148709 78511 396 364 0 83590 0
[pid=3835] ppid=3833 vsize=128964 CPUtime=50.51 cores=1,3,5,7
/proc/3835/stat : 3835 (wbo1.4a) T 3833 3835 3835 0 -1 4202496 47107 0 0 0 4787 264 0 0 25 0 1 0 869458440 132059136 30476 33554432000 134512640 135751879 4293075840 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3835/statm: 32241 30476 143 303 0 31936 0
[pid=3807/tid=3820] ppid=3805 vsize=605080 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3820/stat : 3820 (python) S 3805 3807 2587 0 -1 4202560 27 1113844 0 0 0 0 2356 717 25 0 4 0 869450181 619601920 79995 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
[pid=3807/tid=3828] ppid=3805 vsize=605080 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3828/stat : 3828 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 4 0 869455295 619601920 79995 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3834] ppid=3805 vsize=605080 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3834/stat : 3834 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 4 0 869458440 619601920 79995 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 160.37
Current children cumulated vsize (KiB) 2066940
[startup+222.567 s]
/proc/loadavg: 7.03 4.34 2.98 3/589 3846
/proc/meminfo: memFree=91780/32951132 swapFree=45417060/67111528
[pid=3807] ppid=3805 vsize=625592 CPUtime=58.32 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 172921 1113844 1 0 2718 41 2356 717 20 0 6 0 869447270 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3807/statm: 156398 80007 1881 364 0 91273 0
[pid=3819] ppid=3807 vsize=584568 CPUtime=0.24 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 1136 0 0 0 9 15 0 0 16 0 2 0 869450181 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3819/statm: 146142 78522 411 364 0 81029 0
[pid=3821] ppid=3819 vsize=153492 CPUtime=51.09 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) T 3819 3821 3821 0 -1 4202496 53200 0 0 0 4800 309 0 0 25 0 1 0 869450181 157175808 36575 33554432000 134512640 135752315 4290808288 18446744073709551615 134616171 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3821/statm: 38373 36575 146 303 0 38068 0
[pid=3819/tid=3826] ppid=3807 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3819/task/3826/stat : 3826 (python) S 3807 3807 2587 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869455292 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470064764224 0 0 -1 7 0 0 0
[pid=3833] ppid=3807 vsize=594836 CPUtime=0.26 cores=1,3,5,7
/proc/3833/stat : 3833 (python) S 3807 3807 2587 0 -1 4202560 1111 0 0 0 13 13 0 0 17 0 2 0 869458439 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3833/statm: 148709 78511 396 364 0 83590 0
[pid=3835] ppid=3833 vsize=128964 CPUtime=50.51 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 9.07 10.92 9.59 2/572 3919
/proc/meminfo: memFree=481640/32951132 swapFree=43458536/67111528
[pid=3807] ppid=3805 vsize=625592 CPUtime=58.32 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 172921 1113844 1 0 2718 41 2356 717 20 0 6 0 869447270 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3807/statm: 156398 80007 1881 364 0 91273 0
[pid=3819] ppid=3807 vsize=584568 CPUtime=0.24 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 1136 0 0 0 9 15 0 0 16 0 2 0 869450181 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3819/statm: 146142 78522 411 364 0 81029 0
[pid=3821] ppid=3819 vsize=153492 CPUtime=51.09 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) T 3819 3821 3821 0 -1 4202496 53200 0 0 0 4800 309 0 0 25 0 1 0 869450181 157175808 36575 33554432000 134512640 135752315 4290808288 18446744073709551615 134616171 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3821/statm: 38373 36575 146 303 0 38068 0
[pid=3819/tid=3826] ppid=3807 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3819/task/3826/stat : 3826 (python) S 3807 3807 2587 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869455292 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470064764224 0 0 -1 7 0 0 0
[pid=3833] ppid=3807 vsize=594836 CPUtime=0.26 cores=1,3,5,7
/proc/3833/stat : 3833 (python) S 3807 3807 2587 0 -1 4202560 1111 0 0 0 13 13 0 0 17 0 2 0 869458439 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3833/statm: 148709 78511 396 364 0 83590 0
[pid=3835] ppid=3833 vsize=128964 CPUtime=50.51 cores=1,3,5,7
/proc/3835/stat : 3835 (wbo1.4a) T 3833 3835 3835 0 -1 4202496 47107 0 0 0 4787 264 0 0 25 0 1 0 869458440 132059136 30476 33554432000 134512640 135751879 4293075840 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3835/statm: 32241 30476 143 303 0 31936 0
[pid=3833/tid=3840] ppid=3807 vsize=594836 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3840/stat : 3840 (python) S 3807 3807 2587 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869463499 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604465194278976 0 0 -1 5 0 0 0
[pid=3842] ppid=3807 vsize=605092 CPUtime=0.24 cores=1,3,5,7
/proc/3842/stat : 3842 (python) S 3807 3807 2587 0 -1 4202560 1126 0 0 0 12 12 0 0 17 0 2 0 869463501 619614208 78515 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3842/statm: 151273 78515 396 364 0 86151 0
[pid=3844] ppid=3842 vsize=3451688 CPUtime=51.23 cores=1,3,5,7
/proc/3844/stat : 3844 (scip-2.0.1.linu) T 3842 3844 3844 0 -1 4202496 857947 0 0 0 4711 412 0 0 18 0 1 0 869463502 3534528512 739750 33554432000 4194304 15243407 140733830744400 18446744073709551615 7907793 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 2895
/proc/3844/statm: 862922 739750 981 2698 0 860217 0
[pid=3842/tid=3847] ppid=3807 vsize=605092 CPUtime=0 cores=1,3,5,7
/proc/3842/task/3847/stat : 3847 (python) S 3807 3807 2587 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869469516 619614208 78515 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604459331404992 0 0 -1 5 0 0 0
[pid=3848] ppid=3807 vsize=615348 CPUtime=5.78 cores=1,3,5,7
/proc/3848/stat : 3848 (python) S 3807 3807 2587 0 -1 4202560 1026 0 0 0 258 320 0 0 15 0 1 0 869469519 630116352 78494 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970570310 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 21224
/proc/3848/statm: 153837 78494 372 364 0 88712 0
[pid=3851] ppid=3848 vsize=2250440 CPUtime=53.39 cores=1,3,5,7
/proc/3851/stat : 3851 (scip-2.0.1.linu) R 3848 3851 3851 0 -1 4202496 580651 0 0 0 4459 880 0 0 25 0 1 0 869469520 2304450560 545934 33554432000 4194304 13684479 140734816024096 18446744073709551615 11827963 0 0 16781312 2 0 0 0 17 3 0 0 154553
/proc/3851/statm: 562610 545943 697 2317 0 560288 0
[pid=3807/tid=3820] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3820/stat : 3820 (python) S 3805 3807 2587 0 -1 4202560 27 1113844 0 0 0 0 2356 717 25 0 6 0 869450181 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
[pid=3807/tid=3828] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3828/stat : 3828 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869455295 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3834] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3834/stat : 3834 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869458440 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3843] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3843/stat : 3843 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869463502 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3850] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3850/stat : 3850 (python) S 3805 3807 2587 0 -1 4202560 28 1113844 0 0 0 0 2356 717 20 0 6 0 869469519 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 271.06
Current children cumulated vsize (KiB) 9010020
heavy processes:
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1900 s]
/proc/loadavg: 8.80 10.51 9.53 1/572 3921
/proc/meminfo: memFree=93924/32951132 swapFree=43405824/67111528
[pid=3807] ppid=3805 vsize=625592 CPUtime=58.32 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 172921 1113844 1 0 2718 41 2356 717 20 0 6 0 869447270 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3807/statm: 156398 80007 1881 364 0 91273 0
[pid=3819] ppid=3807 vsize=584568 CPUtime=0.24 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 1136 0 0 0 9 15 0 0 16 0 2 0 869450181 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3819/statm: 146142 78522 411 364 0 81029 0
[pid=3821] ppid=3819 vsize=153492 CPUtime=51.09 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) T 3819 3821 3821 0 -1 4202496 53200 0 0 0 4800 309 0 0 25 0 1 0 869450181 157175808 36575 33554432000 134512640 135752315 4290808288 18446744073709551615 134616171 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3821/statm: 38373 36575 146 303 0 38068 0
[pid=3819/tid=3826] ppid=3807 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3819/task/3826/stat : 3826 (python) S 3807 3807 2587 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869455292 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470064764224 0 0 -1 7 0 0 0
[pid=3833] ppid=3807 vsize=594836 CPUtime=0.26 cores=1,3,5,7
/proc/3833/stat : 3833 (python) S 3807 3807 2587 0 -1 4202560 1111 0 0 0 13 13 0 0 17 0 2 0 869458439 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3833/statm: 148709 78511 396 364 0 83590 0
[pid=3835] ppid=3833 vsize=128964 CPUtime=50.51 cores=1,3,5,7
/proc/3835/stat : 3835 (wbo1.4a) T 3833 3835 3835 0 -1 4202496 47107 0 0 0 4787 264 0 0 25 0 1 0 869458440 132059136 30476 33554432000 134512640 135751879 4293075840 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3835/statm: 32241 30476 143 303 0 31936 0
[pid=3833/tid=3840] ppid=3807 vsize=594836 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3840/stat : 3840 (python) S 3807 3807 2587 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869463499 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604465194278976 0 0 -1 5 0 0 0
[pid=3842] ppid=3807 vsize=605092 CPUtime=0.24 cores=1,3,5,7
/proc/3842/stat : 3842 (python) S 3807 3807 2587 0 -1 4202560 1126 0 0 0 12 12 0 0 17 0 2 0 869463501 619614208 78515 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3842/statm: 151273 78515 396 364 0 86151 0
[pid=3844] ppid=3842 vsize=3451688 CPUtime=51.23 cores=1,3,5,7
/proc/3844/stat : 3844 (scip-2.0.1.linu) T 3842 3844 3844 0 -1 4202496 857947 0 0 0 4711 412 0 0 18 0 1 0 869463502 3534528512 739750 33554432000 4194304 15243407 140733830744400 18446744073709551615 7907793 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 2895
/proc/3844/statm: 862922 739750 981 2698 0 860217 0
[pid=3842/tid=3847] ppid=3807 vsize=605092 CPUtime=0 cores=1,3,5,7
/proc/3842/task/3847/stat : 3847 (python) S 3807 3807 2587 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869469516 619614208 78515 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604459331404992 0 0 -1 5 0 0 0
[pid=3848] ppid=3807 vsize=615348 CPUtime=5.95 cores=1,3,5,7
/proc/3848/stat : 3848 (python) S 3807 3807 2587 0 -1 4202560 1026 0 0 0 267 328 0 0 15 0 1 0 869469519 630116352 78494 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970570310 0 0 16781312 33554946 5623753486446373572 0 0 17 7 0 0 21224
/proc/3848/statm: 153837 78494 372 364 0 88712 0
[pid=3851] ppid=3848 vsize=2721384 CPUtime=53.88 cores=1,3,5,7
/proc/3851/stat : 3851 (scip-2.0.1.linu) D 3848 3851 3851 0 -1 4204544 644875 0 0 0 4485 903 0 0 18 0 1 0 869469520 2786697216 610158 33554432000 4194304 13684479 140734816024096 18446744073709551615 7363492 0 0 16781312 2 18446744071562234512 0 0 17 3 0 0 160011
/proc/3851/statm: 680346 610158 699 2317 0 678024 0
[pid=3807/tid=3820] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3820/stat : 3820 (python) S 3805 3807 2587 0 -1 4202560 27 1113844 0 0 0 0 2356 717 25 0 6 0 869450181 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
[pid=3807/tid=3828] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3828/stat : 3828 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869455295 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3834] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3834/stat : 3834 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869458440 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3843] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3843/stat : 3843 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869463502 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3850] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3850/stat : 3850 (python) S 3805 3807 2587 0 -1 4202560 28 1113844 0 0 0 0 2356 717 20 0 6 0 869469519 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 271.72
Current children cumulated vsize (KiB) 9480964
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1900 s]
/proc/loadavg: 8.80 10.51 9.53 1/572 3921
/proc/meminfo: memFree=93924/32951132 swapFree=43405824/67111528
[pid=3807] ppid=3805 vsize=625592 CPUtime=58.32 cores=1,3,5,7
/proc/3807/stat : 3807 (python) S 3805 3807 2587 0 -1 4202496 172921 1113844 1 0 2718 41 2356 717 20 0 6 0 869447270 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3807/statm: 156398 80007 1881 364 0 91273 0
[pid=3819] ppid=3807 vsize=584568 CPUtime=0.24 cores=1,3,5,7
/proc/3819/stat : 3819 (python) S 3807 3807 2587 0 -1 4202560 1136 0 0 0 9 15 0 0 16 0 2 0 869450181 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3819/statm: 146142 78522 411 364 0 81029 0
[pid=3821] ppid=3819 vsize=153492 CPUtime=51.09 cores=1,3,5,7
/proc/3821/stat : 3821 (wbo1.4b-fixed) T 3819 3821 3821 0 -1 4202496 53200 0 0 0 4800 309 0 0 25 0 1 0 869450181 157175808 36575 33554432000 134512640 135752315 4290808288 18446744073709551615 134616171 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/3821/statm: 38373 36575 146 303 0 38068 0
[pid=3819/tid=3826] ppid=3807 vsize=584568 CPUtime=0 cores=1,3,5,7
/proc/3819/task/3826/stat : 3826 (python) S 3807 3807 2587 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869455292 598597632 78522 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604470064764224 0 0 -1 7 0 0 0
[pid=3833] ppid=3807 vsize=594836 CPUtime=0.26 cores=1,3,5,7
/proc/3833/stat : 3833 (python) S 3807 3807 2587 0 -1 4202560 1111 0 0 0 13 13 0 0 17 0 2 0 869458439 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3833/statm: 148709 78511 396 364 0 83590 0
[pid=3835] ppid=3833 vsize=128964 CPUtime=50.51 cores=1,3,5,7
/proc/3835/stat : 3835 (wbo1.4a) T 3833 3835 3835 0 -1 4202496 47107 0 0 0 4787 264 0 0 25 0 1 0 869458440 132059136 30476 33554432000 134512640 135751879 4293075840 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/3835/statm: 32241 30476 143 303 0 31936 0
[pid=3833/tid=3840] ppid=3807 vsize=594836 CPUtime=0 cores=1,3,5,7
/proc/3833/task/3840/stat : 3840 (python) S 3807 3807 2587 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869463499 609112064 78511 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604465194278976 0 0 -1 5 0 0 0
[pid=3842] ppid=3807 vsize=605092 CPUtime=0.24 cores=1,3,5,7
/proc/3842/stat : 3842 (python) S 3807 3807 2587 0 -1 4202560 1126 0 0 0 12 12 0 0 17 0 2 0 869463501 619614208 78515 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3842/statm: 151273 78515 396 364 0 86151 0
[pid=3844] ppid=3842 vsize=3451688 CPUtime=51.23 cores=1,3,5,7
/proc/3844/stat : 3844 (scip-2.0.1.linu) T 3842 3844 3844 0 -1 4202496 857947 0 0 0 4711 412 0 0 18 0 1 0 869463502 3534528512 739750 33554432000 4194304 15243407 140733830744400 18446744073709551615 7907793 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 2895
/proc/3844/statm: 862922 739750 981 2698 0 860217 0
[pid=3842/tid=3847] ppid=3807 vsize=605092 CPUtime=0 cores=1,3,5,7
/proc/3842/task/3847/stat : 3847 (python) S 3807 3807 2587 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869469516 619614208 78515 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554946 18446604459331404992 0 0 -1 5 0 0 0
[pid=3848] ppid=3807 vsize=615348 CPUtime=5.95 cores=1,3,5,7
/proc/3848/stat : 3848 (python) S 3807 3807 2587 0 -1 4202560 1026 0 0 0 267 328 0 0 15 0 1 0 869469519 630116352 78494 33554432000 4194304 5683644 140735213606992 18446744073709551615 242970570310 0 0 16781312 33554946 5623753486446373572 0 0 17 7 0 0 21224
/proc/3848/statm: 153837 78494 372 364 0 88712 0
[pid=3851] ppid=3848 vsize=2721384 CPUtime=53.88 cores=1,3,5,7
/proc/3851/stat : 3851 (scip-2.0.1.linu) D 3848 3851 3851 0 -1 4204544 644875 0 0 0 4485 903 0 0 18 0 1 0 869469520 2786697216 610158 33554432000 4194304 13684479 140734816024096 18446744073709551615 7363492 0 0 16781312 2 18446744071562234512 0 0 17 3 0 0 160011
/proc/3851/statm: 680346 610158 699 2317 0 678024 0
[pid=3807/tid=3820] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3820/stat : 3820 (python) S 3805 3807 2587 0 -1 4202560 27 1113844 0 0 0 0 2356 717 25 0 6 0 869450181 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
[pid=3807/tid=3828] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3828/stat : 3828 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869455295 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3834] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3834/stat : 3834 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869458440 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3843] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3843/stat : 3843 (python) S 3805 3807 2587 0 -1 4202560 31 1113844 0 0 0 0 2356 717 20 0 6 0 869463502 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 5 0 0 0
[pid=3807/tid=3850] ppid=3805 vsize=625592 CPUtime=30.73 cores=1,3,5,7
/proc/3807/task/3850/stat : 3850 (python) S 3805 3807 2587 0 -1 4202560 28 1113844 0 0 0 0 2356 717 20 0 6 0 869469519 640606208 80007 33554432000 4194304 5683644 140735213606992 18446744073709551615 242982373809 0 0 16781312 33554434 18446604470064766016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 271.72
Current children cumulated vsize (KiB) 9480964
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3807 and gives
# childrusage.ru_utime.tv_sec=50
# childrusage.ru_utime.tv_usec=742286
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=603844
# CPU time returned by wait4() is 58.3461
# while last known CPU time is 271.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1900.06
CPU time (s): 271.72
CPU user time (s): 241.58
CPU system time (s): 30.14
CPU usage (%): 14.3006
Max. virtual memory (cumulated for all children) (KiB): 9480964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.7423
system time used= 7.60384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1286768
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= 2936
involuntary context switches= 297
runsolver used 3.9534 second user time and 11.7132 second system time
The end