Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.06 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb |
MD5SUM | c786421e3b1e46216a72d93f7d7302a0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 36105 |
Total number of constraints | 16727 |
Number of constraints which are clauses | 5133 |
Number of constraints which are cardinality constraints (but not clauses) | 579 |
Number of constraints which are nor clauses,nor cardinality constraints | 11015 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1209 |
Number of terms in the objective function | 7440 |
Biggest coefficient in the objective function | 16499 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 531697 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531697 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/348904-1176606263/instance-348904-1176606263.opb 0.00/0.00 c File size is 2841719 bytes. 0.49/0.57 c Highest Coefficient sum: 531697 0.49/0.57 c Parsing was ok!! 0.49/0.57 c Total parsing time: 0.574 s 0.59/0.60 c Var: 36105 Constr: 21028 6742/7931/6355 Lit: 251471 Watch. Lit: 97469 0.59/0.60 c Obj. Vars: 7440 (20.6066 % of total variables) 8.39/8.44 c Pre-processing Time: 8.439 s 8.39/8.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.44 c 0 26774 20161 246623 12 104795 419330 0 0 8.44 8.39/8.44 c Switching off LPR mode. 1799.95/1800.54 c 101 26774 20262 247767 12 135775 461264 101 11 8.50 1799.95/1800.54 c 251 26774 20412 248728 12 130385 507391 251 29 8.51 1799.95/1800.54 c 476 26774 20637 251259 12 130570 558131 476 53 8.93 1799.95/1800.54 c 814 26774 20975 254931 12 121727 613945 814 86 9.39 1799.95/1800.54 c 1324 26774 21485 259209 12 121650 675340 1324 138 9.59 1799.95/1800.54 c 2088 26774 22249 268265 12 124699 742875 2088 215 9.67 1799.95/1800.54 c 3235 26774 23396 280574 11 125140 817163 3235 319 10.13 1799.95/1800.54 c 4956 26774 25117 298815 11 127673 898880 4956 479 10.34 1799.95/1800.54 c 7542 26774 27703 331569 11 133166 988769 7542 694 10.86 1799.95/1800.54 c 11421 26774 31582 373106 11 141867 500000 11421 1006 11.34 1799.95/1800.54 c 17243 26774 37404 470299 12 152989 550001 17243 1262 13.65 1799.95/1800.54 c 25980 26774 46141 585568 12 182456 605002 25980 1526 17.02 1799.95/1800.54 c 39090 26774 59251 850493 14 200916 665503 39090 1655 23.61 1799.95/1800.54 c 58760 26774 78921 1353769 17 246847 732054 58760 1581 37.16 1799.95/1800.54 c 88270 26774 108431 2858552 26 302526 805260 88270 1477 59.75 1799.95/1800.54 c 132540 26774 152701 4120792 26 393427 885787 132540 1037 127.79 1799.95/1800.54 c 198950 26767 219111 5957832 27 525982 974366 198950 926 214.65 1799.95/1800.54 c 298572 26767 318733 8736344 27 723662 500000 298572 667 446.97 1799.95/1800.54 c 448007 26767 468168 15455901 33 1025152 550001 448007 512 874.10 1799.95/1800.54 c Resources Exceeded 1799.95/1800.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.54 c 19 610590 379451 4287549 80162 3462355 60001 339 1800.00 1799.95/1800.54 s UNKNOWN 1799.95/1800.54 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-348904-1176606263 -o ROOT/results/node11/solver-348904-1176606263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348904-1176606263/instance-348904-1176606263.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.95 0.98 3/77 14176 /proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=14512 CPUtime=0 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 101675289 14860288 339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 3628 339 282 324 0 2003 0 [startup+0.08423 s] /proc/loadavg: 0.78 0.95 0.98 3/77 14176 /proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=8840 CPUtime=0.08 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 1021 0 0 0 8 0 0 0 18 0 1 0 101675289 9052160 949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 2210 949 383 324 0 585 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8840 [startup+0.101231 s] /proc/loadavg: 0.78 0.95 0.98 3/77 14176 /proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=8976 CPUtime=0.09 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 1077 0 0 0 9 0 0 0 18 0 1 0 101675289 9191424 1005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 2244 1005 404 324 0 619 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.301254 s] /proc/loadavg: 0.78 0.95 0.98 3/77 14176 /proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=11036 CPUtime=0.29 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 1827 0 0 0 29 0 0 0 19 0 1 0 101675289 11300864 1755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 2759 1755 650 324 0 1134 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11036 [startup+0.701302 s] /proc/loadavg: 0.78 0.95 0.98 3/77 14176 /proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=17436 CPUtime=0.69 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 68 1 0 0 22 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 4359 3612 306 324 0 3428 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17436 [startup+1.5014 s] /proc/loadavg: 0.78 0.95 0.98 2/78 14177 /proc/meminfo: memFree=1657760/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=17436 CPUtime=1.49 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 148 1 0 0 25 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 4359 3612 306 324 0 3428 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17436 [startup+3.10159 s] /proc/loadavg: 0.78 0.95 0.98 2/78 14177 /proc/meminfo: memFree=1657632/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=17436 CPUtime=3.09 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 307 2 0 0 25 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 4359 3612 306 324 0 3428 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17436 [startup+6.30197 s] /proc/loadavg: 0.80 0.95 0.98 2/78 14177 /proc/meminfo: memFree=1657376/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=17436 CPUtime=6.29 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 626 3 0 0 25 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 4359 3612 306 324 0 3428 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17436 [startup+12.7027 s] /proc/loadavg: 0.81 0.95 0.98 2/78 14177 /proc/meminfo: memFree=1654304/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=21084 CPUtime=12.69 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 5674 0 0 0 1244 25 0 0 25 0 1 0 101675289 21590016 4553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 5271 4553 312 324 0 4340 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21084 [startup+25.5012 s] /proc/loadavg: 0.85 0.95 0.98 2/78 14177 /proc/meminfo: memFree=1645024/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=30132 CPUtime=25.49 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 7917 0 0 0 2510 39 0 0 25 0 1 0 101675289 30855168 6796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 7533 6796 312 324 0 6602 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30132 [startup+51.1013 s] /proc/loadavg: 0.90 0.96 0.98 2/78 14177 /proc/meminfo: memFree=1621984/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=53552 CPUtime=51.07 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 13788 0 0 0 5048 59 0 0 25 0 1 0 101675289 54837248 12667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 13388 12667 312 324 0 12457 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53552 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 14177 /proc/meminfo: memFree=1599392/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=75588 CPUtime=102.26 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 19301 0 0 0 10135 91 0 0 25 0 1 0 101675289 77402112 18180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8412668 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 18897 18180 312 324 0 17966 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 75588 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1586464/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=88644 CPUtime=162.24 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 22542 0 0 0 16112 112 0 0 25 0 1 0 101675289 90771456 21421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 22161 21421 312 324 0 21230 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 88644 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1559392/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=115584 CPUtime=222.22 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 29274 0 0 0 22078 144 0 0 25 0 1 0 101675289 118358016 28153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 28896 28153 312 324 0 27965 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 115584 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1544672/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=130484 CPUtime=282.2 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 33014 0 0 0 28061 159 0 0 25 0 1 0 101675289 133615616 31893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 32621 31893 312 324 0 31690 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 130484 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1533792/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=140980 CPUtime=342.18 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 35636 0 0 0 34046 172 0 0 25 0 1 0 101675289 144363520 34515 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 35245 34515 312 324 0 34314 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 140980 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1520608/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=154248 CPUtime=402.16 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 38970 0 0 0 40028 188 0 0 25 0 1 0 101675289 157949952 37849 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 38562 37849 312 324 0 37631 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 154248 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1512480/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=162364 CPUtime=462.15 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 40994 0 0 0 46012 203 0 0 25 0 1 0 101675289 166260736 39873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 40591 39873 312 324 0 39660 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 162364 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1485216/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=190080 CPUtime=522.13 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 47913 0 0 0 51987 226 0 0 25 0 1 0 101675289 194641920 46792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 47520 46792 312 324 0 46589 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 190080 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1464800/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=210068 CPUtime=582.11 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 52914 0 0 0 57966 245 0 0 25 0 1 0 101675289 215109632 51793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 52517 51793 312 324 0 51586 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 210068 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1452896/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=221780 CPUtime=642.1 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 55837 0 0 0 63954 256 0 0 25 0 1 0 101675289 227102720 54716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 55445 54716 312 324 0 54514 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 221780 ################ # More data... # ################ /proc/meminfo: memFree=1364768/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=309768 CPUtime=1061.98 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 77844 0 0 0 105861 337 0 0 25 0 1 0 101675289 317202432 76723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 77442 76723 312 324 0 76511 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 309768 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1345696/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=328916 CPUtime=1121.95 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 82613 0 0 0 111842 353 0 0 25 0 1 0 101675289 336809984 81492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 82229 81492 312 324 0 81298 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 328916 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1330016/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=344444 CPUtime=1181.94 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 86503 0 0 0 117830 364 0 0 25 0 1 0 101675289 352710656 85382 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 86111 85382 312 324 0 85180 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 344444 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1323808/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=350576 CPUtime=1241.92 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 88037 0 0 0 123821 371 0 0 25 0 1 0 101675289 358989824 86916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 87644 86916 312 324 0 86713 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 350576 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1318048/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=356296 CPUtime=1301.91 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 89452 0 0 0 129814 377 0 0 25 0 1 0 101675289 364847104 88331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 89074 88331 312 324 0 88143 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 356296 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1311904/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1361.89 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 135790 399 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 362132 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1311968/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1421.87 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 141788 399 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 362132 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312032/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1481.84 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 147785 399 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 362132 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312032/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1541.83 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 153783 400 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 362132 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312032/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1601.81 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 159781 400 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 362132 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1661.8 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 165779 401 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 362132 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1721.78 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 171763 415 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160036204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 362132 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1781.76 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 177753 423 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 362132 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1791.36 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 178711 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 362132 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1794.56 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179031 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 362132 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1797.75 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179350 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 362132 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1799.35 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179510 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1799.35 Current children cumulated vsize (KiB) 362132 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1799.75 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179550 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 362132 [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 14177 /proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956 [pid=14176] ppid=14174 vsize=362132 CPUtime=1799.95 /proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179570 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14176/statm: 90533 89817 312 324 0 89602 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 362132 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.06 CPU user time (s): 1795.75 CPU system time (s): 4.31234 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 364340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.75 system time used= 4.31234 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91491 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 38904 runsolver used 2.20366 second user time and 4.15537 second system time The end
Begin job on node11 on Sun Apr 15 03:04:24 UTC 2007 IDJOB= 348904 IDBENCH= 1780 IDSOLVER= 163 FILE ID= node11/348904-1176606263 PBS_JOBID= 4556835 Free space on /tmp= 66464 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348904-1176606263/instance-348904-1176606263.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-348904-1176606263 -o ROOT/results/node11/solver-348904-1176606263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348904-1176606263/instance-348904-1176606263.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c786421e3b1e46216a72d93f7d7302a0 RANDOM SEED= 922068829 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.235 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1671488 kB Buffers: 51552 kB Cached: 259980 kB SwapCached: 15684 kB Active: 140756 kB Inactive: 196980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671488 kB SwapTotal: 4192956 kB SwapFree: 4146224 kB Dirty: 7356 kB Writeback: 0 kB Mapped: 29676 kB Slab: 32084 kB Committed_AS: 5579076 kB PageTables: 1848 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66464 MiB End job on node11 on Sun Apr 15 03:34:24 UTC 2007