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-3482399-1307577101/watcher-3482399-1307577101 -o /tmp/evaluation-result-3482399-1307577101/solver-3482399-1307577101 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482399-1307577101.opb -seed 2097467692 -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.01 1.88 1.12 2/615 5545
/proc/meminfo: memFree=21258948/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=15764 CPUtime=0 cores=1,3,5,7
/proc/5545/stat : 5545 (python) R 5543 5545 4282 0 -1 4202496 846 0 0 0 0 0 0 0 25 0 1 0 869307960 16142336 728 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687673344 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/5545/statm: 3941 728 334 364 0 428 0
[startup+0.109321 s]
/proc/loadavg: 2.01 1.88 1.12 2/615 5545
/proc/meminfo: memFree=21258948/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/5545/stat : 5545 (python) D 5543 5545 4282 0 -1 4202496 2586 0 0 0 4 1 0 0 17 0 1 0 869307960 87408640 2310 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687681079 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/5545/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.200303 s]
/proc/loadavg: 2.01 1.88 1.12 2/615 5545
/proc/meminfo: memFree=21258948/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=85360 CPUtime=0.05 cores=1,3,5,7
/proc/5545/stat : 5545 (python) D 5543 5545 4282 0 -1 4202496 2586 0 0 0 4 1 0 0 17 0 1 0 869307960 87408640 2310 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687681079 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/5545/statm: 21340 2310 709 364 0 1557 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85360
[startup+0.300246 s]
/proc/loadavg: 2.01 1.88 1.12 2/615 5545
/proc/meminfo: memFree=21258948/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=106648 CPUtime=0.1 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 4305 929 1 0 8 2 0 0 17 0 1 0 869307960 109207552 2829 33554432000 4194304 5683644 140736630882208 18446744073709551615 212682751623 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 16
/proc/5545/statm: 26662 2829 871 364 0 1910 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 106648
[startup+0.70523 s]
/proc/loadavg: 2.01 1.88 1.12 2/615 5545
/proc/meminfo: memFree=21258948/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=282536 CPUtime=0.36 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 9237 929 1 0 29 7 0 0 17 0 1 0 869307960 289316864 6968 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695375 0 0 16781312 2 2105955390171643904 0 0 17 7 0 0 16
/proc/5545/statm: 70634 6968 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282536
[startup+1.50106 s]
/proc/loadavg: 2.01 1.88 1.12 4/617 5551
/proc/meminfo: memFree=21228416/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=298268 CPUtime=1.47 cores=1,3,5,7
/proc/5545/stat : 5545 (python) R 5543 5545 4282 0 -1 4202496 14895 1587 1 0 64 32 40 11 16 0 1 0 869307960 305426432 10815 33554432000 4194304 5683644 140736630882208 18446744073709551615 4539725 0 0 16781312 2 0 0 0 17 5 0 0 16
/proc/5545/statm: 74567 10815 1782 364 0 9460 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 298268
[startup+3.10073 s]
/proc/loadavg: 2.01 1.88 1.12 3/616 5551
/proc/meminfo: memFree=21211568/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=315148 CPUtime=2.86 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 21959 1587 1 0 202 33 40 11 19 0 2 0 869307960 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 16
/proc/5545/statm: 78787 12629 1873 364 0 13674 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 315148
[startup+6.30115 s]
/proc/loadavg: 2.00 1.88 1.13 3/619 5555
/proc/meminfo: memFree=21185876/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=315148 CPUtime=2.86 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 21959 1587 1 0 202 33 40 11 19 0 2 0 869307960 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 16
/proc/5545/statm: 78787 12629 1873 364 0 13674 0
[pid=5552] ppid=5545 vsize=304904 CPUtime=0.02 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 869308248 312221696 11094 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695375 0 0 16781312 33554946 4294934789 0 0 17 5 0 0 0
/proc/5552/statm: 76226 11094 342 364 0 11113 0
[pid=5554] ppid=5552 vsize=26932 CPUtime=3.41 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) R 5552 5554 5554 0 -1 4202496 7266 0 0 0 337 4 0 0 25 0 1 0 869308248 27578368 6072 33554432000 134512640 135752315 4287599760 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 7 0 0 0
/proc/5554/statm: 6733 6072 146 303 0 6428 0
[pid=5545/tid=5553] ppid=5543 vsize=315148 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 2 0 869308248 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 646984
[startup+12.701 s]
/proc/loadavg: 2.00 1.88 1.13 3/619 5555
/proc/meminfo: memFree=21178016/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=315148 CPUtime=2.86 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 21959 1587 1 0 202 33 40 11 19 0 2 0 869307960 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 16
/proc/5545/statm: 78787 12629 1873 364 0 13674 0
[pid=5552] ppid=5545 vsize=304904 CPUtime=0.04 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 980 0 0 0 2 2 0 0 15 0 1 0 869308248 312221696 11099 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695375 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/5552/statm: 76226 11099 347 364 0 11113 0
[pid=5554] ppid=5552 vsize=33532 CPUtime=9.81 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) R 5552 5554 5554 0 -1 4202496 8918 0 0 0 970 11 0 0 25 0 1 0 869308248 34336768 7724 33554432000 134512640 135752315 4287599760 18446744073709551615 134605012 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5554/statm: 8383 7724 146 303 0 8078 0
[pid=5545/tid=5553] ppid=5543 vsize=315148 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 2 0 869308248 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 653584
[startup+25.5007 s]
/proc/loadavg: 2.00 1.89 1.15 3/619 5555
/proc/meminfo: memFree=21168232/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=315148 CPUtime=2.86 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 21959 1587 1 0 202 33 40 11 19 0 2 0 869307960 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 16
/proc/5545/statm: 78787 12629 1873 364 0 13674 0
[pid=5552] ppid=5545 vsize=304904 CPUtime=0.11 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 986 0 0 0 4 7 0 0 15 0 1 0 869308248 312221696 11099 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695375 0 0 16781312 33554946 5623753486446373698 0 0 17 7 0 0 0
/proc/5552/statm: 76226 11099 347 364 0 11113 0
[pid=5554] ppid=5552 vsize=43988 CPUtime=22.6 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) R 5552 5554 5554 0 -1 4202496 11536 0 0 0 2246 14 0 0 25 0 1 0 869308248 45043712 10342 33554432000 134512640 135752315 4287599760 18446744073709551615 134637627 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5554/statm: 10997 10342 146 303 0 10692 0
[pid=5545/tid=5553] ppid=5543 vsize=315148 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 2 0 869308248 322711552 12629 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 664040
[startup+51.101 s]
/proc/loadavg: 2.00 1.90 1.17 3/623 5560
/proc/meminfo: memFree=21003164/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=325404 CPUtime=2.88 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 22856 1587 1 0 204 33 40 11 19 0 3 0 869307960 333213696 12636 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 16
/proc/5545/statm: 81351 12636 1876 364 0 16235 0
[pid=5552] ppid=5545 vsize=315148 CPUtime=0.23 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 1170 0 0 0 9 14 0 0 16 0 2 0 869308248 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5552/statm: 78787 11167 410 364 0 13674 0
[pid=5554] ppid=5552 vsize=68936 CPUtime=46.32 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) T 5552 5554 5554 0 -1 4202496 17768 0 0 0 4614 18 0 0 25 0 1 0 869308248 70590464 16574 33554432000 134512640 135752315 4287599760 18446744073709551615 134637616 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5554/statm: 17234 16574 146 303 0 16929 0
[pid=5552/tid=5557] ppid=5545 vsize=315148 CPUtime=0 cores=1,3,5,7
/proc/5552/task/5557/stat : 5557 (python) S 5545 5545 4282 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869312881 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604468378725312 0 0 -1 1 0 0 0
[pid=5558] ppid=5545 vsize=315160 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (python) S 5545 5545 4282 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 869312884 322723840 11075 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695430 0 0 16781312 33554946 4294934790 0 0 17 1 0 0 0
/proc/5558/statm: 78790 11075 319 364 0 13674 0
[pid=5560] ppid=5558 vsize=218364 CPUtime=1.84 cores=1,3,5,7
/proc/5560/stat : 5560 (scip-2.0.1.linu) R 5558 5560 5560 0 -1 4202496 53510 0 0 0 159 25 0 0 25 0 1 0 869312884 223604736 51750 33554432000 4194304 13684479 140737135650752 18446744073709551615 4369853 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5560/statm: 54655 51755 682 2317 0 52333 0
[pid=5545/tid=5553] ppid=5543 vsize=325404 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 3 0 869308248 333213696 12636 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
[pid=5545/tid=5559] ppid=5543 vsize=325404 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5559/stat : 5559 (python) S 5543 5545 4282 0 -1 4202560 29 1587 0 0 0 0 40 11 20 0 3 0 869312884 333213696 12636 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 1243012
[startup+102.302 s]
/proc/loadavg: 2.00 1.91 1.21 3/627 5565
/proc/meminfo: memFree=20495868/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=335660 CPUtime=2.9 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 23763 1587 1 0 206 33 40 11 20 0 4 0 869307960 343715840 12642 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 16
/proc/5545/statm: 83915 12642 1878 364 0 18796 0
[pid=5552] ppid=5545 vsize=315148 CPUtime=0.23 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 1170 0 0 0 9 14 0 0 16 0 2 0 869308248 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5552/statm: 78787 11167 410 364 0 13674 0
[pid=5554] ppid=5552 vsize=68936 CPUtime=46.32 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) T 5552 5554 5554 0 -1 4202496 17768 0 0 0 4614 18 0 0 25 0 1 0 869308248 70590464 16574 33554432000 134512640 135752315 4287599760 18446744073709551615 134637616 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5554/statm: 17234 16574 146 303 0 16929 0
[pid=5552/tid=5557] ppid=5545 vsize=315148 CPUtime=0 cores=1,3,5,7
/proc/5552/task/5557/stat : 5557 (python) S 5545 5545 4282 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869312881 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604468378725312 0 0 -1 1 0 0 0
[pid=5558] ppid=5545 vsize=315160 CPUtime=0.24 cores=1,3,5,7
/proc/5558/stat : 5558 (python) S 5545 5545 4282 0 -1 4202560 1113 0 0 0 11 13 0 0 16 0 2 0 869312884 322723840 11147 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5558/statm: 78790 11147 390 364 0 13674 0
[pid=5560] ppid=5558 vsize=351364 CPUtime=48.21 cores=1,3,5,7
/proc/5560/stat : 5560 (scip-2.0.1.linu) T 5558 5560 5560 0 -1 4202496 89366 0 0 0 4782 39 0 0 25 0 1 0 869312884 359796736 84044 33554432000 4194304 13684479 140737135650752 18446744073709551615 7390848 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/5560/statm: 87841 84044 764 2317 0 85519 0
[pid=5558/tid=5562] ppid=5545 vsize=315160 CPUtime=0 cores=1,3,5,7
/proc/5558/task/5562/stat : 5562 (python) S 5545 5545 4282 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869317707 322723840 11147 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604456121756544 0 0 -1 7 0 0 0
[pid=5563] ppid=5545 vsize=325416 CPUtime=0.02 cores=1,3,5,7
/proc/5563/stat : 5563 (python) S 5545 5545 4282 0 -1 4202560 919 0 0 0 1 1 0 0 15 0 1 0 869317709 333225984 11103 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695430 0 0 16781312 33554946 17967571722299212038 0 0 17 3 0 0 0
/proc/5563/statm: 81354 11103 343 364 0 16235 0
[pid=5565] ppid=5563 vsize=354492 CPUtime=4.79 cores=1,3,5,7
/proc/5565/stat : 5565 (scip-2.0.1.linu) R 5563 5565 5565 0 -1 4202496 83029 0 0 0 444 35 0 0 25 0 1 0 869317710 362999808 76264 33554432000 4194304 15243407 140734170709200 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5565/statm: 88623 76264 867 2698 0 85918 0
[pid=5545/tid=5553] ppid=5543 vsize=335660 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 4 0 869308248 343715840 12642 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
[pid=5545/tid=5559] ppid=5543 vsize=335660 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5559/stat : 5559 (python) S 5543 5545 4282 0 -1 4202560 29 1587 0 0 0 0 40 11 20 0 4 0 869312884 343715840 12642 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 1 0 0 0
[pid=5545/tid=5564] ppid=5543 vsize=335660 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5564/stat : 5564 (python) S 5543 5545 4282 0 -1 4202560 29 1587 0 0 0 0 40 11 20 0 4 0 869317710 343715840 12642 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.71
Current children cumulated vsize (KiB) 2066176
[startup+162.301 s]
/proc/loadavg: 2.00 1.92 1.26 3/631 5571
/proc/meminfo: memFree=20178396/32951124 swapFree=58940260/67111528
################
# More data... #
################
/proc/5545/task/5564/stat : 5564 (python) S 5543 5545 4282 0 -1 4202560 32 1587 0 0 0 0 40 11 18 0 7 0 869317710 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5569] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5569/stat : 5569 (python) S 5543 5545 4282 0 -1 4202560 30 1587 0 0 0 0 40 11 18 0 7 0 869322429 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5613] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5613/stat : 5613 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 20 0 7 0 869396206 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5686] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5686/stat : 5686 (python) S 5543 5545 4282 0 -1 4202560 29 1587 0 0 0 0 40 11 20 0 7 0 869460475 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.92
Current children cumulated vsize (KiB) 3857296
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 1.89 3/653 5699
/proc/meminfo: memFree=17917180/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=366428 CPUtime=3.09 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 27279 1587 1 0 224 34 40 11 18 0 7 0 869307960 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 16
/proc/5545/statm: 91607 12660 1884 364 0 26479 0
[pid=5552] ppid=5545 vsize=315148 CPUtime=0.23 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 1170 0 0 0 9 14 0 0 16 0 2 0 869308248 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5552/statm: 78787 11167 410 364 0 13674 0
[pid=5554] ppid=5552 vsize=68936 CPUtime=46.32 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) T 5552 5554 5554 0 -1 4202496 17768 0 0 0 4614 18 0 0 25 0 1 0 869308248 70590464 16574 33554432000 134512640 135752315 4287599760 18446744073709551615 134637616 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5554/statm: 17234 16574 146 303 0 16929 0
[pid=5552/tid=5557] ppid=5545 vsize=315148 CPUtime=0 cores=1,3,5,7
/proc/5552/task/5557/stat : 5557 (python) S 5545 5545 4282 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869312881 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604468378725312 0 0 -1 1 0 0 0
[pid=5558] ppid=5545 vsize=315160 CPUtime=6.4 cores=1,3,5,7
/proc/5558/stat : 5558 (python) S 5545 5545 4282 0 -1 4202560 1198 0 0 0 298 342 0 0 15 0 2 0 869312884 322723840 11147 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695430 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5558/statm: 78790 11147 390 364 0 13674 0
[pid=5560] ppid=5558 vsize=579760 CPUtime=1269.5 cores=1,3,5,7
/proc/5560/stat : 5560 (scip-2.0.1.linu) R 5558 5560 5560 0 -1 4202496 148845 0 0 0 126301 649 0 0 25 0 1 0 869312884 593674240 141875 33554432000 4194304 13684479 140737135650752 18446744073709551615 7430768 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5560/statm: 144940 141875 846 2317 0 142618 0
[pid=5558/tid=5562] ppid=5545 vsize=315160 CPUtime=0 cores=1,3,5,7
/proc/5558/task/5562/stat : 5562 (python) S 5545 5545 4282 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 2 0 869317707 322723840 11147 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604456121756544 0 0 -1 7 0 0 0
[pid=5563] ppid=5545 vsize=325416 CPUtime=0.48 cores=1,3,5,7
/proc/5563/stat : 5563 (python) S 5545 5545 4282 0 -1 4202560 1154 0 0 0 20 28 0 0 15 0 2 0 869317709 333225984 11151 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5563/statm: 81354 11151 390 364 0 16235 0
[pid=5565] ppid=5563 vsize=645600 CPUtime=93.4 cores=1,3,5,7
/proc/5565/stat : 5565 (scip-2.0.1.linu) T 5563 5565 5565 0 -1 4202496 191287 0 0 0 9250 90 0 0 25 0 1 0 869317710 661094400 146226 33554432000 4194304 15243407 140734170709200 18446744073709551615 8113811 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/5565/statm: 161400 146226 973 2698 0 158695 0
[pid=5563/tid=5567] ppid=5545 vsize=325416 CPUtime=0 cores=1,3,5,7
/proc/5563/task/5567/stat : 5567 (python) S 5545 5545 4282 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869322427 333225984 11151 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604464099580032 0 0 -1 3 0 0 0
[pid=5568] ppid=5545 vsize=335672 CPUtime=1.16 cores=1,3,5,7
/proc/5568/stat : 5568 (python) S 5545 5545 4282 0 -1 4202560 1230 0 0 0 56 60 0 0 15 0 2 0 869322429 343728128 11155 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5568/statm: 83918 11155 390 364 0 18796 0
[pid=5570] ppid=5568 vsize=105040 CPUtime=231.15 cores=1,3,5,7
/proc/5570/stat : 5570 (clasp-1.3.7-x86) T 5568 5570 5570 0 -1 4202496 26227 0 0 0 23111 4 0 0 25 0 1 0 869322430 107560960 25155 33554432000 134512640 136139019 4293749328 18446744073709551615 134876588 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/5570/statm: 26260 25155 183 398 0 25860 0
[pid=5568/tid=5573] ppid=5545 vsize=335672 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (python) S 5545 5545 4282 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 2 0 869327253 343728128 11155 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604468128017408 0 0 -1 7 0 0 0
[pid=5612] ppid=5545 vsize=345928 CPUtime=0.47 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5545 5545 4282 0 -1 4202560 1180 0 0 0 20 27 0 0 16 0 2 0 869396205 354230272 11159 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/5612/statm: 86482 11159 390 364 0 21357 0
[pid=5614] ppid=5612 vsize=33004 CPUtime=91.75 cores=1,3,5,7
/proc/5614/stat : 5614 (bsolo_pb10) T 5612 5614 5614 0 -1 4202496 6813 0 0 0 9172 3 0 0 25 0 1 0 869396206 33796096 5696 33554432000 134512640 137138936 4291731376 18446744073709551615 135984584 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/5614/statm: 8251 5696 184 642 0 7607 0
[pid=5612/tid=5617] ppid=5545 vsize=345928 CPUtime=0 cores=1,3,5,7
/proc/5612/task/5617/stat : 5617 (python) S 5545 5545 4282 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 2 0 869405382 354230272 11159 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604460834968000 0 0 -1 5 0 0 0
[pid=5685] ppid=5545 vsize=356184 CPUtime=0.24 cores=1,3,5,7
/proc/5685/stat : 5685 (python) S 5545 5545 4282 0 -1 4202560 1177 0 0 0 10 14 0 0 16 0 2 0 869460475 364732416 11163 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5685/statm: 89046 11163 390 364 0 23918 0
[pid=5687] ppid=5685 vsize=65020 CPUtime=47.03 cores=1,3,5,7
/proc/5687/stat : 5687 (wbo1.4a) T 5685 5687 5687 0 -1 4202496 16807 0 0 0 4687 16 0 0 25 0 1 0 869460475 66580480 15602 33554432000 134512640 135751879 4294918672 18446744073709551615 134611152 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/5687/statm: 16255 15602 143 303 0 15950 0
[pid=5685/tid=5689] ppid=5545 vsize=356184 CPUtime=0 cores=1,3,5,7
/proc/5685/task/5689/stat : 5689 (python) S 5545 5545 4282 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869465179 364732416 11163 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604458537833600 0 0 -1 1 0 0 0
[pid=5545/tid=5553] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 7 0 869308248 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
[pid=5545/tid=5559] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5559/stat : 5559 (python) S 5543 5545 4282 0 -1 4202560 48 1587 0 0 0 0 40 11 18 0 7 0 869312884 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 1 0 0 0
[pid=5545/tid=5564] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5564/stat : 5564 (python) S 5543 5545 4282 0 -1 4202560 32 1587 0 0 0 0 40 11 18 0 7 0 869317710 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5569] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5569/stat : 5569 (python) S 5543 5545 4282 0 -1 4202560 30 1587 0 0 0 0 40 11 18 0 7 0 869322429 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5613] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5613/stat : 5613 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 20 0 7 0 869396206 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5686] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5686/stat : 5686 (python) S 5543 5545 4282 0 -1 4202560 29 1587 0 0 0 0 40 11 20 0 7 0 869460475 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1791.22
Current children cumulated vsize (KiB) 3857296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.1 s]
/proc/loadavg: 2.05 2.05 1.89 3/653 5699
/proc/meminfo: memFree=17891752/32951124 swapFree=58940260/67111528
[pid=5545] ppid=5543 vsize=366428 CPUtime=3.09 cores=1,3,5,7
/proc/5545/stat : 5545 (python) S 5543 5545 4282 0 -1 4202496 27279 1587 1 0 224 34 40 11 18 0 7 0 869307960 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 16
/proc/5545/statm: 91607 12660 1884 364 0 26479 0
[pid=5552] ppid=5545 vsize=315148 CPUtime=0.23 cores=1,3,5,7
/proc/5552/stat : 5552 (python) S 5545 5545 4282 0 -1 4202560 1170 0 0 0 9 14 0 0 16 0 2 0 869308248 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5552/statm: 78787 11167 410 364 0 13674 0
[pid=5554] ppid=5552 vsize=68936 CPUtime=46.32 cores=1,3,5,7
/proc/5554/stat : 5554 (wbo1.4b-fixed) T 5552 5554 5554 0 -1 4202496 17768 0 0 0 4614 18 0 0 25 0 1 0 869308248 70590464 16574 33554432000 134512640 135752315 4287599760 18446744073709551615 134637616 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5554/statm: 17234 16574 146 303 0 16929 0
[pid=5552/tid=5557] ppid=5545 vsize=315148 CPUtime=0 cores=1,3,5,7
/proc/5552/task/5557/stat : 5557 (python) S 5545 5545 4282 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869312881 322711552 11167 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604468378725312 0 0 -1 1 0 0 0
[pid=5558] ppid=5545 vsize=315160 CPUtime=6.44 cores=1,3,5,7
/proc/5558/stat : 5558 (python) S 5545 5545 4282 0 -1 4202560 1198 0 0 0 300 344 0 0 15 0 2 0 869312884 322723840 11147 33554432000 4194304 5683644 140736630882208 18446744073709551615 212687695430 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5558/statm: 78790 11147 390 364 0 13674 0
[pid=5560] ppid=5558 vsize=579760 CPUtime=1278.31 cores=1,3,5,7
/proc/5560/stat : 5560 (scip-2.0.1.linu) R 5558 5560 5560 0 -1 4202496 148845 0 0 0 127178 653 0 0 25 0 1 0 869312884 593674240 141875 33554432000 4194304 13684479 140737135650752 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5560/statm: 144940 141875 846 2317 0 142618 0
[pid=5558/tid=5562] ppid=5545 vsize=315160 CPUtime=0 cores=1,3,5,7
/proc/5558/task/5562/stat : 5562 (python) S 5545 5545 4282 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 2 0 869317707 322723840 11147 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604456121756544 0 0 -1 7 0 0 0
[pid=5563] ppid=5545 vsize=325416 CPUtime=0.48 cores=1,3,5,7
/proc/5563/stat : 5563 (python) S 5545 5545 4282 0 -1 4202560 1154 0 0 0 20 28 0 0 15 0 2 0 869317709 333225984 11151 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5563/statm: 81354 11151 390 364 0 16235 0
[pid=5565] ppid=5563 vsize=645600 CPUtime=93.4 cores=1,3,5,7
/proc/5565/stat : 5565 (scip-2.0.1.linu) T 5563 5565 5565 0 -1 4202496 191287 0 0 0 9250 90 0 0 25 0 1 0 869317710 661094400 146226 33554432000 4194304 15243407 140734170709200 18446744073709551615 8113811 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/5565/statm: 161400 146226 973 2698 0 158695 0
[pid=5563/tid=5567] ppid=5545 vsize=325416 CPUtime=0 cores=1,3,5,7
/proc/5563/task/5567/stat : 5567 (python) S 5545 5545 4282 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869322427 333225984 11151 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604464099580032 0 0 -1 3 0 0 0
[pid=5568] ppid=5545 vsize=335672 CPUtime=1.16 cores=1,3,5,7
/proc/5568/stat : 5568 (python) S 5545 5545 4282 0 -1 4202560 1230 0 0 0 56 60 0 0 15 0 2 0 869322429 343728128 11155 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5568/statm: 83918 11155 390 364 0 18796 0
[pid=5570] ppid=5568 vsize=105040 CPUtime=231.15 cores=1,3,5,7
/proc/5570/stat : 5570 (clasp-1.3.7-x86) T 5568 5570 5570 0 -1 4202496 26227 0 0 0 23111 4 0 0 25 0 1 0 869322430 107560960 25155 33554432000 134512640 136139019 4293749328 18446744073709551615 134876588 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/5570/statm: 26260 25155 183 398 0 25860 0
[pid=5568/tid=5573] ppid=5545 vsize=335672 CPUtime=0 cores=1,3,5,7
/proc/5568/task/5573/stat : 5573 (python) S 5545 5545 4282 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 2 0 869327253 343728128 11155 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604468128017408 0 0 -1 7 0 0 0
[pid=5612] ppid=5545 vsize=345928 CPUtime=0.47 cores=1,3,5,7
/proc/5612/stat : 5612 (python) S 5545 5545 4282 0 -1 4202560 1180 0 0 0 20 27 0 0 16 0 2 0 869396205 354230272 11159 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/5612/statm: 86482 11159 390 364 0 21357 0
[pid=5614] ppid=5612 vsize=33004 CPUtime=91.75 cores=1,3,5,7
/proc/5614/stat : 5614 (bsolo_pb10) T 5612 5614 5614 0 -1 4202496 6813 0 0 0 9172 3 0 0 25 0 1 0 869396206 33796096 5696 33554432000 134512640 137138936 4291731376 18446744073709551615 135984584 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/5614/statm: 8251 5696 184 642 0 7607 0
[pid=5612/tid=5617] ppid=5545 vsize=345928 CPUtime=0 cores=1,3,5,7
/proc/5612/task/5617/stat : 5617 (python) S 5545 5545 4282 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 2 0 869405382 354230272 11159 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604460834968000 0 0 -1 5 0 0 0
[pid=5685] ppid=5545 vsize=356184 CPUtime=0.24 cores=1,3,5,7
/proc/5685/stat : 5685 (python) S 5545 5545 4282 0 -1 4202560 1177 0 0 0 10 14 0 0 16 0 2 0 869460475 364732416 11163 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699502027 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5685/statm: 89046 11163 390 364 0 23918 0
[pid=5687] ppid=5685 vsize=65020 CPUtime=47.03 cores=1,3,5,7
/proc/5687/stat : 5687 (wbo1.4a) T 5685 5687 5687 0 -1 4202496 16807 0 0 0 4687 16 0 0 25 0 1 0 869460475 66580480 15602 33554432000 134512640 135751879 4294918672 18446744073709551615 134611152 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/5687/statm: 16255 15602 143 303 0 15950 0
[pid=5685/tid=5689] ppid=5545 vsize=356184 CPUtime=0 cores=1,3,5,7
/proc/5685/task/5689/stat : 5689 (python) S 5545 5545 4282 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869465179 364732416 11163 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554946 18446604458537833600 0 0 -1 1 0 0 0
[pid=5545/tid=5553] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5553/stat : 5553 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 19 0 7 0 869308248 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
[pid=5545/tid=5559] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5559/stat : 5559 (python) S 5543 5545 4282 0 -1 4202560 48 1587 0 0 0 0 40 11 18 0 7 0 869312884 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 1 0 0 0
[pid=5545/tid=5564] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5564/stat : 5564 (python) S 5543 5545 4282 0 -1 4202560 32 1587 0 0 0 0 40 11 18 0 7 0 869317710 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5569] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5569/stat : 5569 (python) S 5543 5545 4282 0 -1 4202560 30 1587 0 0 0 0 40 11 18 0 7 0 869322429 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5613] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5613/stat : 5613 (python) S 5543 5545 4282 0 -1 4202560 27 1587 0 0 0 0 40 11 20 0 7 0 869396206 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 3 0 0 0
[pid=5545/tid=5686] ppid=5543 vsize=366428 CPUtime=0.51 cores=1,3,5,7
/proc/5545/task/5686/stat : 5686 (python) S 5543 5545 4282 0 -1 4202560 29 1587 0 0 0 0 40 11 20 0 7 0 869460475 375222272 12660 33554432000 4194304 5683644 140736630882208 18446744073709551615 212699498929 0 0 16781312 33554434 18446604467981923648 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3857296
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 5545 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=648597
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=467928
# CPU time returned by wait4() is 3.11652
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1791.16
CPU time (s): 1800.07
CPU user time (s): 1786.91
CPU system time (s): 13.16
CPU usage (%): 100.497
Max. virtual memory (cumulated for all children) (KiB): 3857300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6486
system time used= 0.467928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28869
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= 21015
involuntary context switches= 4711
runsolver used 10.5764 second user time and 26.256 second system time
The end