Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.13 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-set1al.opb |
MD5SUM | 8707b70244b4b6d1505bb830d4ab8529 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 42048 |
Best CPU time to get the best result obtained on this benchmark | 1802.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 42048 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 492 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3484 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530256 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530256 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432740-1177948616/instance-432740-1177948616.opb 0.00/0.00 c File size is 440485 bytes. 0.04/0.08 c Highest Coefficient sum: 530256 0.04/0.08 c Parsing was ok!! 0.04/0.08 c Total parsing time: 0.085 s 0.04/0.09 c Var: 14400 Constr: 732 0/0/732 Lit: 55800 Watch. Lit: 12868 0.04/0.09 c Obj. Vars: 7200 (50 % of total variables) 0.19/0.29 c Pre-processing Time: 0.293 s 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 9379 732 55800 76 45770 111600 0 0 0.29 0.19/0.29 c Switching off LPR mode. 1800.05/1800.70 c 100 9379 832 60512 72 46005 122761 100 319 0.31 1800.05/1800.70 c 251 9379 983 73950 75 46300 135038 251 705 0.36 1800.05/1800.70 c 476 9379 1208 86025 71 46750 148542 476 1283 0.37 1800.05/1800.70 c 814 9379 1546 103940 67 47426 163397 814 1975 0.41 1800.05/1800.70 c 1327 9378 2059 133534 64 49052 179737 1327 2382 0.56 1800.05/1800.70 c 2090 9378 2822 183340 64 50523 197711 2090 2757 0.76 1800.05/1800.70 c 3236 9378 3968 274512 69 52795 217483 3236 3384 0.96 1800.05/1800.70 c 4957 9375 5689 367145 64 57359 239232 4957 2611 1.90 1800.05/1800.70 c 7541 9375 8273 505711 61 62460 263156 7541 3217 2.34 1800.05/1800.70 c 11423 9373 12155 681282 56 70163 289472 11423 3874 2.95 1800.05/1800.70 c 17245 9371 17977 829464 46 81758 318420 17245 4313 4.00 1800.05/1800.70 c 25983 9368 26715 1038891 38 99054 350263 25983 4176 6.22 1800.05/1800.70 c 39094 9363 39826 1573806 39 126857 385290 39094 4494 8.70 1800.05/1800.70 c 58764 9360 59496 2466997 41 166878 423820 58764 3960 14.84 1800.05/1800.70 c 88276 9360 89008 3515520 39 225825 466203 88276 2815 31.35 1800.05/1800.70 c 132547 9360 133279 5921834 44 314328 512824 132547 904 146.53 1800.05/1800.70 c 198957 9360 199689 9697261 48 447117 564107 198957 623 319.05 1800.05/1800.70 c 298577 9360 299309 14156238 47 646423 620518 298577 435 685.82 1800.05/1800.70 c 448013 9360 448745 20945512 46 945281 682570 448013 419 1068.56 1800.05/1800.70 c Caught signal: 15 1800.05/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.70 c 19 615129 38883 1790178 615861 27580141 615129 341 1800.06 1800.05/1800.70 s UNKNOWN 1800.05/1800.70 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-432740-1177948616 -o ROOT/results/node5/solver-432740-1177948616 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432740-1177948616/instance-432740-1177948616.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.99 0.99 0.97 3/77 29029 /proc/meminfo: memFree=1820672/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=12168 CPUtime=0 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270899283 12460032 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 3042 333 279 324 0 2004 0 [startup+0.056553 s] /proc/loadavg: 0.99 0.99 0.97 3/77 29029 /proc/meminfo: memFree=1820672/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=5760 CPUtime=0.04 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 788 0 0 0 4 0 0 0 18 0 1 0 270899283 5898240 758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 1472 759 344 324 0 434 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5760 [startup+0.101558 s] /proc/loadavg: 0.99 0.99 0.97 3/77 29029 /proc/meminfo: memFree=1820672/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=7800 CPUtime=0.09 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 1446 0 0 0 9 0 0 0 18 0 1 0 270899283 7987200 1308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 1983 1309 303 324 0 1053 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7800 [startup+0.30158 s] /proc/loadavg: 0.99 0.99 0.97 3/77 29029 /proc/meminfo: memFree=1820672/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=8216 CPUtime=0.29 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 1765 0 0 0 26 3 0 0 19 0 1 0 270899283 8413184 1408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 2054 1408 308 324 0 1124 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8216 [startup+0.701626 s] /proc/loadavg: 0.99 0.99 0.97 3/77 29029 /proc/meminfo: memFree=1820672/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=9668 CPUtime=0.69 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 2120 0 0 0 66 3 0 0 23 0 1 0 270899283 9900032 1763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 2417 1763 310 324 0 1487 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9668 [startup+1.50172 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1812984/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=12292 CPUtime=1.49 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 2763 0 0 0 146 3 0 0 25 0 1 0 270899283 12587008 2406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 3073 2406 310 324 0 2143 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12292 [startup+3.1019 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1810616/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=17892 CPUtime=3.09 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 4180 0 0 0 305 4 0 0 25 0 1 0 270899283 18321408 3823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 4473 3823 310 324 0 3543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17892 [startup+6.30126 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1801464/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=23804 CPUtime=6.29 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 5669 0 0 0 624 5 0 0 25 0 1 0 270899283 24375296 5312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 5951 5312 310 324 0 5021 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23804 [startup+12.702 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1784568/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=41408 CPUtime=12.69 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 10063 0 0 0 1261 8 0 0 25 0 1 0 270899283 42401792 9706 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 10352 9706 310 324 0 9422 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41408 [startup+25.5014 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1765240/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=59000 CPUtime=25.48 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 14436 0 0 0 2538 10 0 0 25 0 1 0 270899283 60416000 14079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 14750 14079 310 324 0 13820 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59000 [startup+51.1013 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1751736/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=72624 CPUtime=51.07 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 17844 0 0 0 5094 13 0 0 25 0 1 0 270899283 74366976 17487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 18156 17487 310 324 0 17226 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 72624 [startup+102.305 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1739576/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=84464 CPUtime=102.27 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 20820 0 0 0 10209 18 0 0 25 0 1 0 270899283 86491136 20463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 21116 20463 310 324 0 20186 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84464 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1711480/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=112760 CPUtime=162.24 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 27886 0 0 0 16200 24 0 0 25 0 1 0 270899283 115466240 27529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 28190 27529 310 324 0 27260 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 112760 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29030 /proc/meminfo: memFree=1688568/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=135308 CPUtime=222.22 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 33521 0 0 0 22190 32 0 0 25 0 1 0 270899283 138555392 33164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 33827 33164 310 324 0 32897 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 135308 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.97 2/84 29198 /proc/meminfo: memFree=1676296/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=146176 CPUtime=282.12 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 36233 0 0 0 28177 35 0 0 25 0 1 0 270899283 149684224 35876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 36544 35876 310 324 0 35614 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 146176 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.97 2/78 29228 /proc/meminfo: memFree=1652536/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=171120 CPUtime=342.07 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 42470 0 0 0 34165 42 0 0 25 0 1 0 270899283 175226880 42113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 42780 42113 310 324 0 41850 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 171120 [startup+402.301 s] /proc/loadavg: 1.03 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1639608/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=183996 CPUtime=402.05 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 45699 0 0 0 40159 46 0 0 25 0 1 0 270899283 188411904 45342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 45999 45342 310 324 0 45069 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 183996 [startup+462.302 s] /proc/loadavg: 1.01 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1629816/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=193632 CPUtime=462.04 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 48110 0 0 0 46155 49 0 0 25 0 1 0 270899283 198279168 47753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 48408 47753 310 324 0 47478 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 193632 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1619256/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=204308 CPUtime=522.02 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 50782 0 0 0 52150 52 0 0 25 0 1 0 270899283 209211392 50425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 51077 50425 310 324 0 50147 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 204308 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1611576/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=211876 CPUtime=582 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 52668 0 0 0 58146 54 0 0 25 0 1 0 270899283 216961024 52311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 52969 52311 310 324 0 52039 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 211876 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1605560/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=217848 CPUtime=641.99 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 54150 0 0 0 64142 57 0 0 25 0 1 0 270899283 223076352 53793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 54462 53793 310 324 0 53532 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 217848 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1515576/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=307652 CPUtime=881.91 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 76624 0 0 0 88109 82 0 0 25 0 1 0 270899283 315035648 76267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 76913 76267 310 324 0 75983 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 307652 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1508920/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=314340 CPUtime=941.89 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 78301 0 0 0 94104 85 0 0 25 0 1 0 270899283 321884160 77944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 78585 77944 310 324 0 77655 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 314340 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1502904/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=320344 CPUtime=1001.88 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 79781 0 0 0 100101 87 0 0 25 0 1 0 270899283 328032256 79424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 80086 79424 310 324 0 79156 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 320344 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1498616/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=324660 CPUtime=1061.86 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 80863 0 0 0 106097 89 0 0 25 0 1 0 270899283 332451840 80506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 81165 80506 310 324 0 80235 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 324660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1473464/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=349704 CPUtime=1121.85 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 87143 0 0 0 112088 97 0 0 25 0 1 0 270899283 358096896 86786 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 87426 86786 310 324 0 86496 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 349704 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1458168/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=365340 CPUtime=1181.82 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 91032 0 0 0 118081 101 0 0 25 0 1 0 270899283 374108160 90675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 91335 90675 310 324 0 90405 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 365340 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1448184/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=375072 CPUtime=1241.8 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 93467 0 0 0 124076 104 0 0 25 0 1 0 270899283 384073728 93110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 93768 93110 310 324 0 92838 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 375072 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1440056/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=383112 CPUtime=1301.8 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 95466 0 0 0 130072 108 0 0 25 0 1 0 270899283 392306688 95109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 95778 95109 310 324 0 94848 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 383112 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1432760/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=390372 CPUtime=1361.77 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 97311 0 0 0 136067 110 0 0 25 0 1 0 270899283 399740928 96954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 97593 96954 310 324 0 96663 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 390372 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1425528/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=397532 CPUtime=1421.76 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 99084 0 0 0 142063 113 0 0 25 0 1 0 270899283 407072768 98727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 99383 98727 310 324 0 98453 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 397532 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1419128/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=404012 CPUtime=1481.74 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 100695 0 0 0 148059 115 0 0 25 0 1 0 270899283 413708288 100338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 101003 100338 310 324 0 100073 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 404012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1413880/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=409212 CPUtime=1541.72 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 101992 0 0 0 154055 117 0 0 25 0 1 0 270899283 419033088 101635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 102303 101635 310 324 0 101373 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 409212 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1410040/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=412960 CPUtime=1601.7 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 102939 0 0 0 160052 118 0 0 25 0 1 0 270899283 422871040 102582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 103240 102582 310 324 0 102310 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 412960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1405560/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=417524 CPUtime=1661.69 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 104070 0 0 0 166049 120 0 0 25 0 1 0 270899283 427544576 103713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 104381 103713 310 324 0 103451 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 417524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1400632/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=422340 CPUtime=1721.67 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 105289 0 0 0 172045 122 0 0 25 0 1 0 270899283 432476160 104932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 105585 104932 310 324 0 104655 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 422340 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1395576/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=427396 CPUtime=1781.66 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 106554 0 0 0 178042 124 0 0 25 0 1 0 270899283 437653504 106197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 106849 106197 310 324 0 105919 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 427396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1394424/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=428560 CPUtime=1800.05 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 106831 0 0 0 179881 124 0 0 25 0 1 0 270899283 438845440 106474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 107140 106474 310 324 0 106210 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 428560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/78 29228 /proc/meminfo: memFree=1394424/2055920 swapFree=4151596/4192956 [pid=29029] ppid=29027 vsize=428560 CPUtime=1800.05 /proc/29029/stat : 29029 (bsolo3.0.17) R 29027 29029 28328 0 -1 4194304 106831 0 0 0 179881 124 0 0 25 0 1 0 270899283 438845440 106474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29029/statm: 107140 106474 310 324 0 106210 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 428560 Child status: 15 Real time (s): 1800.78 CPU time (s): 1800.13 CPU user time (s): 1798.82 CPU system time (s): 1.3138 CPU usage (%): 99.9638 Max. virtual memory (cumulated for all children) (KiB): 428560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.82 system time used= 1.3138 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106835 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= 12 involuntary context switches= 36311 runsolver used 1.38679 second user time and 4.17636 second system time The end
Begin job on node5 on Mon Apr 30 15:56:56 UTC 2007 IDJOB= 432740 IDBENCH= 1743 IDSOLVER= 199 FILE ID= node5/432740-1177948616 PBS_JOBID= 4727680 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1al.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432740-1177948616/instance-432740-1177948616.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-432740-1177948616 -o ROOT/results/node5/solver-432740-1177948616 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432740-1177948616/instance-432740-1177948616.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8707b70244b4b6d1505bb830d4ab8529 RANDOM SEED= 887569173 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1821016 kB Buffers: 32596 kB Cached: 109600 kB SwapCached: 9376 kB Active: 55876 kB Inactive: 112820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821016 kB SwapTotal: 4192956 kB SwapFree: 4151596 kB Dirty: 7032 kB Writeback: 0 kB Mapped: 33524 kB Slab: 51784 kB Committed_AS: 9211472 kB PageTables: 1724 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= 66558 MiB End job on node5 on Mon Apr 30 16:26:59 UTC 2007