runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743887-1338798450/watcher-3743887-1338798450 -o /tmp/evaluation-result-3743887-1338798450/solver-3743887-1338798450 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743887-1338798450.opb
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: 3.01 2.31 2.07 3/175 31017
/proc/meminfo: memFree=24985932/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 345970756 2723840 48 33554432000 134512640 135840783 4287438560 4287436596 2540484 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 665 48 37 325 0 32 0
[startup+0.0148599 s]
/proc/loadavg: 3.01 2.31 2.07 3/175 31017
/proc/meminfo: memFree=24985932/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=112760 CPUtime=0 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 593 0 0 0 0 0 0 0 20 0 1 0 345970756 115466240 530 33554432000 134512640 135840783 4287438560 4287437488 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 28190 530 351 325 0 2170 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 112760
[startup+0.100295 s]
/proc/loadavg: 3.01 2.31 2.07 3/175 31017
/proc/meminfo: memFree=24985932/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=107920 CPUtime=0.09 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 1659 0 0 0 9 0 0 0 20 0 1 0 345970756 110510080 1556 33554432000 134512640 135840783 4287438560 4287437552 134525286 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 26980 1557 599 325 0 960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 107920
[startup+0.300301 s]
/proc/loadavg: 3.01 2.31 2.07 3/175 31017
/proc/meminfo: memFree=24985932/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=117820 CPUtime=0.28 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 4706 0 0 0 28 0 0 0 20 0 1 0 345970756 120647680 4475 33554432000 134512640 135840783 4287438560 4287437280 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 29455 4477 1095 325 0 3435 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117820
[startup+0.7003 s]
/proc/loadavg: 3.01 2.31 2.07 3/175 31017
/proc/meminfo: memFree=24985932/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=137264 CPUtime=0.68 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 10884 0 0 0 67 1 0 0 20 0 1 0 345970756 140558336 10086 33554432000 134512640 135840783 4287438560 4287437280 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 34316 10087 2105 325 0 8296 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 137264
[startup+1.5003 s]
/proc/loadavg: 3.01 2.31 2.07 3/176 31018
/proc/meminfo: memFree=24940556/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=171860 CPUtime=1.49 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 21679 0 0 0 145 4 0 0 20 0 1 0 345970756 175984640 20573 33554432000 134512640 135840783 4287438560 4287437296 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 42965 20574 3966 325 0 16945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 171860
[startup+3.1003 s]
/proc/loadavg: 3.01 2.31 2.07 3/176 31018
/proc/meminfo: memFree=24895160/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=239796 CPUtime=3.08 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 41278 0 0 0 301 7 0 0 20 0 1 0 345970756 245551104 40580 33554432000 134512640 135840783 4287438560 4287437376 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 59949 40581 7617 325 0 33929 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 239796
[startup+6.30031 s]
/proc/loadavg: 2.93 2.31 2.07 3/176 31018
/proc/meminfo: memFree=24768168/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=334388 CPUtime=6.28 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 71425 0 0 0 613 15 0 0 20 0 1 0 345970756 342413312 71491 33554432000 134512640 135840783 4287438560 4287437248 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 83597 71492 14382 325 0 57577 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 334388
[startup+12.7004 s]
/proc/loadavg: 2.86 2.30 2.07 3/175 31018
/proc/meminfo: memFree=24667752/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=406824 CPUtime=12.68 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 112727 0 0 0 1244 24 0 0 20 0 1 0 345970756 416587776 98568 33554432000 134512640 135840783 4287438560 4287437648 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 101706 98573 338 325 0 100642 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 406824
[startup+25.5003 s]
/proc/loadavg: 2.67 2.29 2.06 3/176 31019
/proc/meminfo: memFree=24448000/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=558496 CPUtime=25.48 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 146335 0 0 0 2515 33 0 0 20 0 1 0 345970756 571899904 135183 33554432000 134512640 135840783 4287438560 4275432876 12985392 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 139624 135183 342 325 0 138560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 558496
[startup+51.1069 s]
/proc/loadavg: 2.44 2.26 2.06 3/176 31019
/proc/meminfo: memFree=24448588/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=558496 CPUtime=51.09 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 146335 0 0 0 5068 41 0 0 20 0 1 0 345970756 571899904 135183 33554432000 134512640 135840783 4287438560 4275432876 12985392 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 139624 135183 342 325 0 138560 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 558496
[startup+102.3 s]
/proc/loadavg: 2.19 2.22 2.06 3/175 31019
/proc/meminfo: memFree=24448392/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=558496 CPUtime=102.27 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 146335 0 0 0 10174 53 0 0 20 0 1 0 345970756 571899904 135183 33554432000 134512640 135840783 4287438560 4275432876 12985392 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 139624 135183 342 325 0 138560 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 558496
[startup+162.3 s]
/proc/loadavg: 2.45 2.28 2.09 3/176 31061
/proc/meminfo: memFree=24446128/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=558496 CPUtime=162.26 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 146340 0 0 0 16159 67 0 0 20 0 1 0 345970756 571899904 135183 33554432000 134512640 135840783 4287438560 4275432876 12985392 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 139624 135183 342 325 0 138560 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 558496
[startup+222.3 s]
/proc/loadavg: 2.16 2.23 2.08 3/175 31061
/proc/meminfo: memFree=24422540/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=579328 CPUtime=222.23 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 152468 0 0 0 22147 76 0 0 20 0 1 0 345970756 593231872 141385 33554432000 134512640 135840783 4287438560 4287437920 134551646 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 144832 141385 346 325 0 143768 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 579328
[startup+282.3 s]
/proc/loadavg: 2.06 2.19 2.08 3/175 31061
/proc/meminfo: memFree=24421452/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=580384 CPUtime=282.2 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 152762 0 0 0 28144 76 0 0 20 0 1 0 345970756 594313216 141661 33554432000 134512640 135840783 4287438560 4287437856 134572295 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 145096 141661 346 325 0 144032 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 580384
[startup+342.3 s]
/proc/loadavg: 2.02 2.15 2.07 2/177 31064
/proc/meminfo: memFree=23042460/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=611456 CPUtime=342.18 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 160536 0 0 0 34140 78 0 0 20 0 1 0 345970756 626130944 149414 33554432000 134512640 135840783 4287438560 4287431668 3039484 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 152864 149414 346 325 0 151800 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 611456
[startup+402.3 s]
/proc/loadavg: 2.37 2.25 2.11 3/176 31102
/proc/meminfo: memFree=24938708/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=616704 CPUtime=402.14 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 161885 0 0 0 40136 78 0 0 20 0 1 0 345970756 631504896 150739 33554432000 134512640 135840783 4287438560 4287437856 134571806 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 154176 150739 346 325 0 153112 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 616704
[startup+462.3 s]
/proc/loadavg: 2.13 2.20 2.10 3/175 31102
/proc/meminfo: memFree=24431708/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=1128708 CPUtime=462.11 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 289893 0 0 0 46111 100 0 0 20 0 1 0 345970756 1155796992 278729 33554432000 134512640 135840783 4287438560 4287378128 3052839 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 282177 278744 346 325 0 281113 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1128708
[startup+522.3 s]
/proc/loadavg: 2.05 2.16 2.09 3/175 31102
/proc/meminfo: memFree=24047460/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=1467776 CPUtime=522.09 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 374690 0 0 0 52089 120 0 0 20 0 1 0 345970756 1503002624 363512 33554432000 134512640 135840783 4287438560 4287437920 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 366944 363512 346 325 0 365880 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1467776
[startup+582.3 s]
/proc/loadavg: 2.02 2.13 2.08 3/175 31102
/proc/meminfo: memFree=23799364/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=1695272 CPUtime=582.07 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 431578 0 0 0 58075 132 0 0 20 0 1 0 345970756 1735958528 420386 33554432000 134512640 135840783 4287438560 4287437856 134571853 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 423818 420386 346 325 0 422754 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1695272
[startup+642.3 s]
################
# More data... #
################
[pid=31017] ppid=31015 vsize=2318380 CPUtime=761.99 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 587375 0 0 0 76032 167 0 0 20 0 1 0 345970756 2374021120 576147 33554432000 134512640 135840783 4287438560 4287378448 134573354 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 579595 576147 346 325 0 578531 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 2318380
[startup+822.3 s]
/proc/loadavg: 2.12 2.08 2.07 3/175 31106
/proc/meminfo: memFree=22997320/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2419064 CPUtime=821.99 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 612538 0 0 0 82026 173 0 0 20 0 1 0 345970756 2477121536 601310 33554432000 134512640 135840783 4287438560 4287437920 134551671 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 604766 601310 346 325 0 603702 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 2419064
[startup+882.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/175 31106
/proc/meminfo: memFree=22912408/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2474124 CPUtime=881.98 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 626303 0 0 0 88020 178 0 0 20 0 1 0 345970756 2533502976 615075 33554432000 134512640 135840783 4287438560 4287437920 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 618531 615075 346 325 0 617467 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 2474124
[startup+942.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/175 31107
/proc/meminfo: memFree=22549984/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2823792 CPUtime=941.95 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 713748 0 0 0 94002 193 0 0 20 0 1 0 345970756 2891563008 702515 33554432000 134512640 135840783 4287438560 4287437920 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 705948 702515 346 325 0 704884 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 2823792
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/175 31107
/proc/meminfo: memFree=22486276/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2869276 CPUtime=1001.94 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 725118 0 0 0 99997 197 0 0 20 0 1 0 345970756 2938138624 713878 33554432000 134512640 135840783 4287438560 4287437796 3047586 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 717319 713878 346 325 0 716255 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 2869276
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/174 31107
/proc/meminfo: memFree=22398776/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2908108 CPUtime=1061.92 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 734805 0 0 0 105992 200 0 0 20 0 1 0 345970756 2977902592 723563 33554432000 134512640 135840783 4287438560 4287437732 3047586 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 727027 723563 346 325 0 725963 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 2908108
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/175 31108
/proc/meminfo: memFree=22299100/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=2949808 CPUtime=1121.92 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 745246 0 0 0 111988 204 0 0 20 0 1 0 345970756 3020603392 734003 33554432000 134512640 135840783 4287438560 4287437920 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 737452 734003 346 325 0 736388 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 2949808
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/175 31108
/proc/meminfo: memFree=22057576/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=3164660 CPUtime=1181.9 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 798944 0 0 0 117976 214 0 0 20 0 1 0 345970756 3240611840 787701 33554432000 134512640 135840783 4287438560 4287437872 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 791165 787701 346 325 0 790101 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 3164660
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/175 31109
/proc/meminfo: memFree=21471208/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=3715408 CPUtime=1241.89 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 936654 0 0 0 123951 238 0 0 20 0 1 0 345970756 3804577792 925404 33554432000 134512640 135840783 4287438560 4287437872 134550916 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 928852 925404 346 325 0 927788 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 3715408
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/175 31109
/proc/meminfo: memFree=21104196/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4038616 CPUtime=1301.87 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4202496 1017456 0 0 0 129931 256 0 0 20 0 1 0 345970756 4135542784 1006206 33554432000 134512640 135840783 4287438560 4287437920 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31017/statm: 1009654 1006206 346 325 0 1008590 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 4038616
[startup+1362.31 s]
/proc/loadavg: 3.47 2.37 2.14 2/177 31113
/proc/meminfo: memFree=12249224/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1422.3 s]
/proc/loadavg: 4.52 2.86 2.32 2/176 31113
/proc/meminfo: memFree=12262084/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
Solver just ended. Dumping a history of the last processes samples
[startup+1434.7 s]
/proc/loadavg: 4.51 2.91 2.34 2/176 31113
/proc/meminfo: memFree=12253760/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1441.11 s]
/proc/loadavg: 4.58 2.98 2.37 2/176 31113
/proc/meminfo: memFree=12247792/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1444.3 s]
/proc/loadavg: 4.58 2.98 2.37 2/176 31113
/proc/meminfo: memFree=12245312/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1447.5 s]
/proc/loadavg: 4.62 3.01 2.39 2/176 31113
/proc/meminfo: memFree=12243312/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1448.3 s]
/proc/loadavg: 4.62 3.01 2.39 2/176 31113
/proc/meminfo: memFree=12241948/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1449.1 s]
/proc/loadavg: 4.62 3.01 2.39 2/176 31113
/proc/meminfo: memFree=12242072/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=4187104 CPUtime=1328.42 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) S 31015 31017 30817 0 -1 4204032 1054617 0 1 0 132268 574 0 0 20 0 1 0 345970756 4287594496 1043367 33554432000 134512640 135840783 4287438560 4287377944 12985392 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 1046776 1043367 375 325 0 1045712 0
Current children cumulated CPU time (s) 1328.42
Current children cumulated vsize (KiB) 4187104
[startup+1449.5 s]
/proc/loadavg: 4.62 3.01 2.39 2/176 31113
/proc/meminfo: memFree=12242072/32873852 swapFree=6856/6856
[pid=31017] ppid=31015 vsize=0 CPUtime=1328.55 cores=1,3,5,7
/proc/31017/stat : 31017 (bsolo3.0.17) R 31015 31017 30817 0 -1 4204036 1054617 0 1 0 132268 587 0 0 20 0 1 0 345970756 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/31017/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1328.55
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1449.51
CPU time (s): 1328.58
CPU user time (s): 1322.69
CPU system time (s): 5.8891
CPU usage (%): 91.6569
Max. virtual memory (cumulated for all children) (KiB): 4187104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1322.69
system time used= 5.8891
maximum resident set size= 4173468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1054617
page faults= 1
swaps= 0
block input operations= 136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1003118
involuntary context switches= 1352
runsolver used 2.07868 second user time and 5.96409 second system time
The end