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-3482395-1307577059/watcher-3482395-1307577059 -o /tmp/evaluation-result-3482395-1307577059/solver-3482395-1307577059 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482395-1307577059.opb -seed 2112531274 -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.04 1.81 0.99 2/491 17088
/proc/meminfo: memFree=26994748/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/17088/stat : 17088 (python) R 17086 17088 16182 0 -1 4202496 986 0 0 0 0 0 0 0 17 0 1 0 869306402 16629760 858 33554432000 4194304 5683644 140734869368832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17088/statm: 4060 858 362 364 0 547 0
[startup+0.06131 s]
/proc/loadavg: 2.04 1.81 0.99 2/491 17088
/proc/meminfo: memFree=26994748/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=29792 CPUtime=0.04 cores=1,3,5,7
/proc/17088/stat : 17088 (python) R 17086 17088 16182 0 -1 4202496 1428 0 0 0 3 1 0 0 17 0 1 0 869306402 30507008 1271 33554432000 4194304 5683644 140734869368832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17088/statm: 7448 1275 443 364 0 818 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29792
[startup+0.1003 s]
/proc/loadavg: 2.04 1.81 0.99 2/491 17088
/proc/meminfo: memFree=26994748/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=85356 CPUtime=0.06 cores=1,3,5,7
/proc/17088/stat : 17088 (python) R 17086 17088 16182 0 -1 4202496 2582 0 0 0 4 2 0 0 17 0 1 0 869306402 87404544 2307 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446944912 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17088/statm: 21339 2307 707 364 0 1556 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85356
[startup+0.300282 s]
/proc/loadavg: 2.04 1.81 0.99 2/491 17088
/proc/meminfo: memFree=26994748/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 5358 932 1 0 11 6 0 0 16 0 1 0 869306402 126713856 3745 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446941189 0 2147483391 16781312 2 18446744071699199166 0 0 17 1 0 0 0
/proc/17088/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700189 s]
/proc/loadavg: 2.04 1.81 0.99 2/491 17088
/proc/meminfo: memFree=26994748/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=275832 CPUtime=0.42 cores=1,3,5,7
/proc/17088/stat : 17088 (python) R 17086 17088 16182 0 -1 4202496 8855 932 1 0 27 15 0 0 15 0 1 0 869306402 282451968 6778 33554432000 4194304 5683644 140734869368832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17088/statm: 68958 6782 1727 364 0 5463 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 275832
[startup+1.50103 s]
/proc/loadavg: 2.04 1.81 0.99 4/493 17094
/proc/meminfo: memFree=26964824/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=297852 CPUtime=1.51 cores=1,3,5,7
/proc/17088/stat : 17088 (python) R 17086 17088 16182 0 -1 4202496 14835 1593 1 0 58 42 43 8 16 0 1 0 869306402 305000448 10752 33554432000 4194304 5683644 140734869368832 18446744073709551615 47222098057383 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17088/statm: 74463 10752 1782 364 0 9356 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 297852
[startup+3.10069 s]
/proc/loadavg: 2.04 1.81 0.99 4/493 17094
/proc/meminfo: memFree=26964824/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=315500 CPUtime=2.9 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 22211 1593 1 0 196 43 43 8 19 0 2 0 869306402 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17088/statm: 78875 12716 1873 364 0 13762 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 315500
[startup+6.30113 s]
/proc/loadavg: 2.04 1.81 1.00 3/495 17097
/proc/meminfo: memFree=26901688/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=315500 CPUtime=2.9 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 22211 1593 1 0 196 43 43 8 19 0 2 0 869306402 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17088/statm: 78875 12716 1873 364 0 13762 0
[pid=17095] ppid=17088 vsize=305256 CPUtime=0 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 1 0 869306693 312582144 11157 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965263 0 0 16781312 33554946 4160108720224731136 0 0 17 5 0 0 0
/proc/17095/statm: 76314 11157 318 364 0 11201 0
[pid=17097] ppid=17095 vsize=27140 CPUtime=3.38 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) R 17095 17097 17097 0 -1 4202496 7280 0 0 0 336 2 0 0 25 0 1 0 869306693 27791360 6117 33554432000 134512640 135752315 4287250864 18446744073709551615 134516982 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/17097/statm: 6785 6117 146 303 0 6480 0
[pid=17088/tid=17096] ppid=17086 vsize=315500 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 2 0 869306693 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 647896
[startup+12.7009 s]
/proc/loadavg: 2.04 1.82 1.00 3/495 17097
/proc/meminfo: memFree=26873632/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=315500 CPUtime=2.9 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 22211 1593 1 0 196 43 43 8 19 0 2 0 869306402 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17088/statm: 78875 12716 1873 364 0 13762 0
[pid=17095] ppid=17088 vsize=305256 CPUtime=0.03 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 976 0 0 0 1 2 0 0 15 0 1 0 869306693 312582144 11186 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965263 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/17095/statm: 76314 11186 347 364 0 11201 0
[pid=17097] ppid=17095 vsize=29516 CPUtime=9.77 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) R 17095 17097 17097 0 -1 4202496 7901 0 0 0 967 10 0 0 25 0 1 0 869306693 30224384 6738 33554432000 134512640 135752315 4287250864 18446744073709551615 134518726 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/17097/statm: 7379 6738 146 303 0 7074 0
[pid=17088/tid=17096] ppid=17086 vsize=315500 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 2 0 869306693 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 650272
[startup+25.5006 s]
/proc/loadavg: 2.03 1.83 1.02 3/495 17098
/proc/meminfo: memFree=26824896/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=315500 CPUtime=2.9 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 22211 1593 1 0 196 43 43 8 19 0 2 0 869306402 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17088/statm: 78875 12716 1873 364 0 13762 0
[pid=17095] ppid=17088 vsize=305256 CPUtime=0.07 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 981 0 0 0 3 4 0 0 15 0 1 0 869306693 312582144 11186 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965263 0 0 16781312 33554946 5623311482772007666 0 0 17 1 0 0 0
/proc/17095/statm: 76314 11186 347 364 0 11201 0
[pid=17097] ppid=17095 vsize=39284 CPUtime=22.58 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) R 17095 17097 17097 0 -1 4202496 10340 0 0 0 2245 13 0 0 25 0 1 0 869306693 40226816 9177 33554432000 134512640 135752315 4287250864 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/17097/statm: 9821 9177 146 303 0 9516 0
[pid=17088/tid=17096] ppid=17086 vsize=315500 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 2 0 869306693 323072000 12716 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 660040
[startup+51.1008 s]
/proc/loadavg: 2.02 1.84 1.04 3/499 17102
/proc/meminfo: memFree=26570596/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=325756 CPUtime=2.93 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 23108 1593 1 0 199 43 43 8 19 0 3 0 869306402 333574144 12723 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/17088/statm: 81439 12723 1876 364 0 16323 0
[pid=17095] ppid=17088 vsize=315500 CPUtime=0.18 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 1166 0 0 0 8 10 0 0 16 0 2 0 869306693 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17095/statm: 78875 11254 410 364 0 13762 0
[pid=17097] ppid=17095 vsize=65816 CPUtime=46.45 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) T 17095 17097 17097 0 -1 4202496 16975 0 0 0 4627 18 0 0 25 0 1 0 869306693 67395584 15812 33554432000 134512640 135752315 4287250864 18446744073709551615 134615753 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17097/statm: 16454 15812 146 303 0 16149 0
[pid=17095/tid=17099] ppid=17088 vsize=315500 CPUtime=0 cores=1,3,5,7
/proc/17095/task/17099/stat : 17099 (python) S 17088 17088 16182 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869311340 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604468939717376 0 0 -1 1 0 0 0
[pid=17100] ppid=17088 vsize=315512 CPUtime=0 cores=1,3,5,7
/proc/17100/stat : 17100 (python) S 17088 17088 16182 0 -1 4202560 744 0 0 0 0 0 0 0 15 0 1 0 869311343 323084288 11162 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965318 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/17100/statm: 78878 11162 319 364 0 13762 0
[pid=17102] ppid=17100 vsize=154476 CPUtime=1.68 cores=1,3,5,7
/proc/17102/stat : 17102 (scip-2.0.1.linu) R 17100 17102 17102 0 -1 4202496 37349 0 0 0 144 24 0 0 25 0 1 0 869311343 158183424 35827 33554432000 4194304 13684479 140734973037664 18446744073709551615 5104736 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17102/statm: 38619 35827 681 2317 0 36297 0
[pid=17088/tid=17096] ppid=17086 vsize=325756 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 3 0 869306693 333574144 12723 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17101] ppid=17086 vsize=325756 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17101/stat : 17101 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 20 0 3 0 869311343 333574144 12723 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 1177060
[startup+102.317 s]
/proc/loadavg: 2.01 1.86 1.09 3/504 17109
/proc/meminfo: memFree=25998844/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=336012 CPUtime=2.95 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 23960 1593 1 0 201 43 43 8 20 0 4 0 869306402 344076288 12729 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17088/statm: 84003 12729 1878 364 0 18884 0
[pid=17095] ppid=17088 vsize=315500 CPUtime=0.18 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 1166 0 0 0 8 10 0 0 16 0 2 0 869306693 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17095/statm: 78875 11254 410 364 0 13762 0
[pid=17097] ppid=17095 vsize=65816 CPUtime=46.45 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) T 17095 17097 17097 0 -1 4202496 16975 0 0 0 4627 18 0 0 25 0 1 0 869306693 67395584 15812 33554432000 134512640 135752315 4287250864 18446744073709551615 134615753 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17097/statm: 16454 15812 146 303 0 16149 0
[pid=17095/tid=17099] ppid=17088 vsize=315500 CPUtime=0 cores=1,3,5,7
/proc/17095/task/17099/stat : 17099 (python) S 17088 17088 16182 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869311340 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604468939717376 0 0 -1 1 0 0 0
[pid=17100] ppid=17088 vsize=381048 CPUtime=0.18 cores=1,3,5,7
/proc/17100/stat : 17100 (python) S 17088 17088 16182 0 -1 4202560 1101 0 0 0 8 10 0 0 16 0 2 0 869311343 390193152 11235 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17100/statm: 95262 11235 390 364 0 30146 0
[pid=17102] ppid=17100 vsize=352560 CPUtime=48.19 cores=1,3,5,7
/proc/17102/stat : 17102 (scip-2.0.1.linu) T 17100 17102 17102 0 -1 4202496 89324 0 0 0 4780 39 0 0 25 0 1 0 869311343 361021440 83986 33554432000 4194304 13684479 140734973037664 18446744073709551615 7158192 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/17102/statm: 88140 83986 782 2317 0 85818 0
[pid=17100/tid=17105] ppid=17088 vsize=381048 CPUtime=0 cores=1,3,5,7
/proc/17100/task/17105/stat : 17105 (python) S 17088 17088 16182 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869316163 390193152 11235 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604455786402880 0 0 -1 1 0 0 0
[pid=17106] ppid=17088 vsize=325768 CPUtime=0.01 cores=1,3,5,7
/proc/17106/stat : 17106 (python) S 17088 17088 16182 0 -1 4202560 919 0 0 0 1 0 0 0 15 0 1 0 869316166 333586432 11189 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965318 0 0 16781312 33554946 4581642176730988808 0 0 17 1 0 0 0
/proc/17106/statm: 81442 11189 342 364 0 16323 0
[pid=17108] ppid=17106 vsize=355960 CPUtime=4.67 cores=1,3,5,7
/proc/17108/stat : 17108 (scip-2.0.1.linu) R 17106 17108 17108 0 -1 4202496 83246 0 0 0 438 29 0 0 25 0 1 0 869316166 364503040 76122 33554432000 4194304 15243407 140736117420656 18446744073709551615 8115312 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17108/statm: 88990 76122 865 2698 0 86285 0
[pid=17088/tid=17096] ppid=17086 vsize=336012 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 4 0 869306693 344076288 12729 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17101] ppid=17086 vsize=336012 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17101/stat : 17101 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 20 0 4 0 869311343 344076288 12729 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 5 0 0 0
[pid=17088/tid=17107] ppid=17086 vsize=336012 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17107/stat : 17107 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 20 0 4 0 869316166 344076288 12729 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 102.63
Current children cumulated vsize (KiB) 2132664
[startup+162.301 s]
/proc/loadavg: 2.00 1.88 1.14 3/508 17114
/proc/meminfo: memFree=25932060/32951124 swapFree=43324008/67111528
################
# More data... #
################
/proc/17088/task/17107/stat : 17107 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 18 0 7 0 869316166 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17113] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17113/stat : 17113 (python) S 17086 17088 16182 0 -1 4202560 26 1593 0 0 0 0 43 8 18 0 7 0 869320991 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17152] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17152/stat : 17152 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 20 0 7 0 869394454 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 1 0 0 0
[pid=17088/tid=17263] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17263/stat : 17263 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 20 0 7 0 869458569 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.94
Current children cumulated vsize (KiB) 3921628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 2.02 2.04 1.86 3/509 17313
/proc/meminfo: memFree=13407500/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=366780 CPUtime=3.15 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 27358 1593 1 0 219 45 43 8 18 0 7 0 869306402 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17088/statm: 91695 12747 1884 364 0 26567 0
[pid=17095] ppid=17088 vsize=315500 CPUtime=0.18 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 1166 0 0 0 8 10 0 0 16 0 2 0 869306693 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17095/statm: 78875 11254 410 364 0 13762 0
[pid=17097] ppid=17095 vsize=65816 CPUtime=46.45 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) T 17095 17097 17097 0 -1 4202496 16975 0 0 0 4627 18 0 0 25 0 1 0 869306693 67395584 15812 33554432000 134512640 135752315 4287250864 18446744073709551615 134615753 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17097/statm: 16454 15812 146 303 0 16149 0
[pid=17095/tid=17099] ppid=17088 vsize=315500 CPUtime=0 cores=1,3,5,7
/proc/17095/task/17099/stat : 17099 (python) S 17088 17088 16182 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869311340 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604468939717376 0 0 -1 1 0 0 0
[pid=17100] ppid=17088 vsize=381048 CPUtime=4.87 cores=1,3,5,7
/proc/17100/stat : 17100 (python) S 17088 17088 16182 0 -1 4202560 1207 0 0 0 231 256 0 0 15 0 2 0 869311343 390193152 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965318 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17100/statm: 95262 11254 399 364 0 30146 0
[pid=17102] ppid=17100 vsize=569732 CPUtime=1277.92 cores=1,3,5,7
/proc/17102/stat : 17102 (scip-2.0.1.linu) R 17100 17102 17102 0 -1 4202496 146452 0 0 0 127276 516 0 0 25 0 1 0 869311343 583405568 139589 33554432000 4194304 13684479 140734973037664 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17102/statm: 142433 139589 866 2317 0 140111 0
[pid=17100/tid=17105] ppid=17088 vsize=381048 CPUtime=0 cores=1,3,5,7
/proc/17100/task/17105/stat : 17105 (python) S 17088 17088 16182 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 2 0 869316163 390193152 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604455786402880 0 0 -1 1 0 0 0
[pid=17106] ppid=17088 vsize=325768 CPUtime=0.36 cores=1,3,5,7
/proc/17106/stat : 17106 (python) S 17088 17088 16182 0 -1 4202560 1153 0 0 0 18 18 0 0 15 0 2 0 869316166 333586432 11238 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17106/statm: 81442 11238 390 364 0 16323 0
[pid=17108] ppid=17106 vsize=653224 CPUtime=93.29 cores=1,3,5,7
/proc/17108/stat : 17108 (scip-2.0.1.linu) T 17106 17108 17108 0 -1 4202496 222423 0 0 0 9246 83 0 0 25 0 1 0 869316166 668901376 142379 33554432000 4194304 15243407 140736117420656 18446744073709551615 8114168 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/17108/statm: 163306 142379 958 2698 0 160601 0
[pid=17106/tid=17111] ppid=17088 vsize=325768 CPUtime=0 cores=1,3,5,7
/proc/17106/task/17111/stat : 17111 (python) S 17088 17088 16182 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869320989 333586432 11238 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604471117586560 0 0 -1 1 0 0 0
[pid=17112] ppid=17088 vsize=336024 CPUtime=0.86 cores=1,3,5,7
/proc/17112/stat : 17112 (python) S 17088 17088 16182 0 -1 4202560 1230 0 0 0 40 46 0 0 18 0 2 0 869320991 344088576 11242 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17112/statm: 84006 11242 390 364 0 18884 0
[pid=17114] ppid=17112 vsize=108248 CPUtime=229.89 cores=1,3,5,7
/proc/17114/stat : 17114 (clasp-1.3.7-x86) T 17112 17114 17114 0 -1 4202496 26853 0 0 0 22984 5 0 0 25 0 1 0 869320992 110845952 25910 33554432000 134512640 136139019 4292918448 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/17114/statm: 27062 25910 183 398 0 26662 0
[pid=17112/tid=17116] ppid=17088 vsize=336024 CPUtime=0 cores=1,3,5,7
/proc/17112/task/17116/stat : 17116 (python) S 17088 17088 16182 0 -1 4202560 54 0 0 0 0 0 0 0 18 0 2 0 869325711 344088576 11242 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604457219871104 0 0 -1 1 0 0 0
[pid=17151] ppid=17088 vsize=346280 CPUtime=0.34 cores=1,3,5,7
/proc/17151/stat : 17151 (python) S 17088 17088 16182 0 -1 4202560 1194 0 0 0 15 19 0 0 16 0 2 0 869394454 354590720 11246 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17151/statm: 86570 11246 390 364 0 21445 0
[pid=17153] ppid=17151 vsize=33092 CPUtime=92.61 cores=1,3,5,7
/proc/17153/stat : 17153 (bsolo_pb10) T 17151 17153 17153 0 -1 4202496 6843 0 0 0 9256 5 0 0 25 0 1 0 869394454 33886208 5721 33554432000 134512640 137138936 4287685616 18446744073709551615 134566350 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/17153/statm: 8273 5721 184 642 0 7629 0
[pid=17151/tid=17157] ppid=17088 vsize=346280 CPUtime=0 cores=1,3,5,7
/proc/17151/task/17157/stat : 17157 (python) S 17088 17088 16182 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869403716 354590720 11246 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604466626185408 0 0 -1 7 0 0 0
[pid=17262] ppid=17088 vsize=356536 CPUtime=0.2 cores=1,3,5,7
/proc/17262/stat : 17262 (python) S 17088 17088 16182 0 -1 4202560 1185 0 0 0 8 12 0 0 16 0 2 0 869458569 365092864 11250 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17262/statm: 89134 11250 390 364 0 24006 0
[pid=17264] ppid=17262 vsize=63580 CPUtime=49.98 cores=1,3,5,7
/proc/17264/stat : 17264 (wbo1.4a) T 17262 17264 17264 0 -1 4202496 16453 0 0 0 4976 22 0 0 25 0 1 0 869458569 65105920 15244 33554432000 134512640 135751879 4293694080 18446744073709551615 134620495 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/17264/statm: 15895 15244 143 303 0 15590 0
[pid=17262/tid=17271] ppid=17088 vsize=356536 CPUtime=0 cores=1,3,5,7
/proc/17262/task/17271/stat : 17271 (python) S 17088 17088 16182 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869463568 365092864 11250 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604456247953280 0 0 -1 7 0 0 0
[pid=17088/tid=17096] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 7 0 869306693 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17101] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17101/stat : 17101 (python) S 17086 17088 16182 0 -1 4202560 49 1593 0 0 0 0 43 8 18 0 7 0 869311343 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 5 0 0 0
[pid=17088/tid=17107] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17107/stat : 17107 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 18 0 7 0 869316166 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17113] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17113/stat : 17113 (python) S 17086 17088 16182 0 -1 4202560 26 1593 0 0 0 0 43 8 18 0 7 0 869320991 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17152] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17152/stat : 17152 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 20 0 7 0 869394454 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 1 0 0 0
[pid=17088/tid=17263] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17263/stat : 17263 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 20 0 7 0 869458569 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3921628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.4 s]
/proc/loadavg: 2.02 2.04 1.86 3/509 17313
/proc/meminfo: memFree=13407500/32951124 swapFree=43324008/67111528
[pid=17088] ppid=17086 vsize=366780 CPUtime=3.15 cores=1,3,5,7
/proc/17088/stat : 17088 (python) S 17086 17088 16182 0 -1 4202496 27358 1593 1 0 219 45 43 8 18 0 7 0 869306402 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17088/statm: 91695 12747 1884 364 0 26567 0
[pid=17095] ppid=17088 vsize=315500 CPUtime=0.18 cores=1,3,5,7
/proc/17095/stat : 17095 (python) S 17088 17088 16182 0 -1 4202560 1166 0 0 0 8 10 0 0 16 0 2 0 869306693 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17095/statm: 78875 11254 410 364 0 13762 0
[pid=17097] ppid=17095 vsize=65816 CPUtime=46.45 cores=1,3,5,7
/proc/17097/stat : 17097 (wbo1.4b-fixed) T 17095 17097 17097 0 -1 4202496 16975 0 0 0 4627 18 0 0 25 0 1 0 869306693 67395584 15812 33554432000 134512640 135752315 4287250864 18446744073709551615 134615753 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/17097/statm: 16454 15812 146 303 0 16149 0
[pid=17095/tid=17099] ppid=17088 vsize=315500 CPUtime=0 cores=1,3,5,7
/proc/17095/task/17099/stat : 17099 (python) S 17088 17088 16182 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869311340 323072000 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604468939717376 0 0 -1 1 0 0 0
[pid=17100] ppid=17088 vsize=381048 CPUtime=4.87 cores=1,3,5,7
/proc/17100/stat : 17100 (python) S 17088 17088 16182 0 -1 4202560 1207 0 0 0 231 256 0 0 15 0 2 0 869311343 390193152 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244446965318 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17100/statm: 95262 11254 399 364 0 30146 0
[pid=17102] ppid=17100 vsize=569732 CPUtime=1277.92 cores=1,3,5,7
/proc/17102/stat : 17102 (scip-2.0.1.linu) R 17100 17102 17102 0 -1 4202496 146452 0 0 0 127276 516 0 0 25 0 1 0 869311343 583405568 139589 33554432000 4194304 13684479 140734973037664 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17102/statm: 142433 139589 866 2317 0 140111 0
[pid=17100/tid=17105] ppid=17088 vsize=381048 CPUtime=0 cores=1,3,5,7
/proc/17100/task/17105/stat : 17105 (python) S 17088 17088 16182 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 2 0 869316163 390193152 11254 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604455786402880 0 0 -1 1 0 0 0
[pid=17106] ppid=17088 vsize=325768 CPUtime=0.36 cores=1,3,5,7
/proc/17106/stat : 17106 (python) S 17088 17088 16182 0 -1 4202560 1153 0 0 0 18 18 0 0 15 0 2 0 869316166 333586432 11238 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17106/statm: 81442 11238 390 364 0 16323 0
[pid=17108] ppid=17106 vsize=653224 CPUtime=93.29 cores=1,3,5,7
/proc/17108/stat : 17108 (scip-2.0.1.linu) T 17106 17108 17108 0 -1 4202496 222423 0 0 0 9246 83 0 0 25 0 1 0 869316166 668901376 142379 33554432000 4194304 15243407 140736117420656 18446744073709551615 8114168 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/17108/statm: 163306 142379 958 2698 0 160601 0
[pid=17106/tid=17111] ppid=17088 vsize=325768 CPUtime=0 cores=1,3,5,7
/proc/17106/task/17111/stat : 17111 (python) S 17088 17088 16182 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869320989 333586432 11238 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604471117586560 0 0 -1 1 0 0 0
[pid=17112] ppid=17088 vsize=336024 CPUtime=0.86 cores=1,3,5,7
/proc/17112/stat : 17112 (python) S 17088 17088 16182 0 -1 4202560 1230 0 0 0 40 46 0 0 18 0 2 0 869320991 344088576 11242 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17112/statm: 84006 11242 390 364 0 18884 0
[pid=17114] ppid=17112 vsize=108248 CPUtime=229.89 cores=1,3,5,7
/proc/17114/stat : 17114 (clasp-1.3.7-x86) T 17112 17114 17114 0 -1 4202496 26853 0 0 0 22984 5 0 0 25 0 1 0 869320992 110845952 25910 33554432000 134512640 136139019 4292918448 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/17114/statm: 27062 25910 183 398 0 26662 0
[pid=17112/tid=17116] ppid=17088 vsize=336024 CPUtime=0 cores=1,3,5,7
/proc/17112/task/17116/stat : 17116 (python) S 17088 17088 16182 0 -1 4202560 54 0 0 0 0 0 0 0 18 0 2 0 869325711 344088576 11242 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604457219871104 0 0 -1 1 0 0 0
[pid=17151] ppid=17088 vsize=346280 CPUtime=0.34 cores=1,3,5,7
/proc/17151/stat : 17151 (python) S 17088 17088 16182 0 -1 4202560 1194 0 0 0 15 19 0 0 16 0 2 0 869394454 354590720 11246 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17151/statm: 86570 11246 390 364 0 21445 0
[pid=17153] ppid=17151 vsize=33092 CPUtime=92.61 cores=1,3,5,7
/proc/17153/stat : 17153 (bsolo_pb10) T 17151 17153 17153 0 -1 4202496 6843 0 0 0 9256 5 0 0 25 0 1 0 869394454 33886208 5721 33554432000 134512640 137138936 4287685616 18446744073709551615 134566350 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/17153/statm: 8273 5721 184 642 0 7629 0
[pid=17151/tid=17157] ppid=17088 vsize=346280 CPUtime=0 cores=1,3,5,7
/proc/17151/task/17157/stat : 17157 (python) S 17088 17088 16182 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 869403716 354590720 11246 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604466626185408 0 0 -1 7 0 0 0
[pid=17262] ppid=17088 vsize=356536 CPUtime=0.2 cores=1,3,5,7
/proc/17262/stat : 17262 (python) S 17088 17088 16182 0 -1 4202560 1185 0 0 0 8 12 0 0 16 0 2 0 869458569 365092864 11250 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458771915 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17262/statm: 89134 11250 390 364 0 24006 0
[pid=17264] ppid=17262 vsize=63580 CPUtime=49.98 cores=1,3,5,7
/proc/17264/stat : 17264 (wbo1.4a) T 17262 17264 17264 0 -1 4202496 16453 0 0 0 4976 22 0 0 25 0 1 0 869458569 65105920 15244 33554432000 134512640 135751879 4293694080 18446744073709551615 134620495 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/17264/statm: 15895 15244 143 303 0 15590 0
[pid=17262/tid=17271] ppid=17088 vsize=356536 CPUtime=0 cores=1,3,5,7
/proc/17262/task/17271/stat : 17271 (python) S 17088 17088 16182 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869463568 365092864 11250 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554946 18446604456247953280 0 0 -1 7 0 0 0
[pid=17088/tid=17096] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17096/stat : 17096 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 19 0 7 0 869306693 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17101] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17101/stat : 17101 (python) S 17086 17088 16182 0 -1 4202560 49 1593 0 0 0 0 43 8 18 0 7 0 869311343 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 5 0 0 0
[pid=17088/tid=17107] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17107/stat : 17107 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 18 0 7 0 869316166 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17113] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17113/stat : 17113 (python) S 17086 17088 16182 0 -1 4202560 26 1593 0 0 0 0 43 8 18 0 7 0 869320991 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
[pid=17088/tid=17152] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17152/stat : 17152 (python) S 17086 17088 16182 0 -1 4202560 28 1593 0 0 0 0 43 8 20 0 7 0 869394454 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 1 0 0 0
[pid=17088/tid=17263] ppid=17086 vsize=366780 CPUtime=0.51 cores=1,3,5,7
/proc/17088/task/17263/stat : 17263 (python) S 17086 17088 16182 0 -1 4202560 31 1593 0 0 0 0 43 8 20 0 7 0 869458569 375582720 12747 33554432000 4194304 5683644 140734869368832 18446744073709551615 244458768817 0 0 16781312 33554434 18446604455786403776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3921628
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17088 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=622601
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=537918
# CPU time returned by wait4() is 3.16052
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.46
CPU time (s): 1800.1
CPU user time (s): 1789.47
CPU system time (s): 10.63
CPU usage (%): 100.37
Max. virtual memory (cumulated for all children) (KiB): 3921628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6226
system time used= 0.537918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28954
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= 19437
involuntary context switches= 32
runsolver used 8.27974 second user time and 19.1191 second system time
The end