Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.11 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb |
MD5SUM | 908b859aa6cb5be1c335ba1e4149146b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 87587 |
Best CPU time to get the best result obtained on this benchmark | 1802.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 240 |
Optimality of the best value was proved | NO |
Number of variables | 17840 |
Total number of constraints | 656 |
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 | 656 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10640 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 534104 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 534104 |
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/350693-1176540072/instance-350693-1176540072.opb 0.00/0.00 c File size is 610946 bytes. 0.09/0.12 c Highest Coefficient sum: 534104 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.116 s 0.09/0.12 c Var: 17840 Constr: 896 0/0/896 Lit: 77424 Watch. Lit: 14149 0.09/0.12 c Obj. Vars: 10640 (59.6413 % of total variables) 0.49/0.50 c Pre-processing Time: 0.499 s 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 14299 896 77424 86 68160 154848 0 0 0.50 0.49/0.50 c Switching off LPR mode. 1800.00/1800.60 c 101 14299 997 80126 80 68359 170333 101 192 0.53 1800.00/1800.60 c 251 14299 1147 85427 74 68693 187367 251 400 0.63 1800.00/1800.60 c 477 14299 1373 90010 65 69132 206104 477 652 0.73 1800.00/1800.60 c 815 14299 1711 96931 56 69808 226715 815 1057 0.77 1800.00/1800.60 c 1323 14299 2219 111980 50 70790 249387 1323 1280 1.03 1800.00/1800.60 c 2086 14298 2982 130813 43 72268 274326 2086 1679 1.24 1800.00/1800.60 c 3232 14298 4128 167668 40 74556 301759 3232 2209 1.46 1800.00/1800.60 c 4953 14298 5849 225996 38 77998 331935 4953 2696 1.84 1800.00/1800.60 c 7537 14298 8433 323923 38 83150 365129 7537 2698 2.79 1800.00/1800.60 c 11416 14298 12312 542036 44 90891 401642 11416 3119 3.66 1800.00/1800.60 c 17238 14298 18134 950545 52 102530 441807 17238 3157 5.46 1800.00/1800.60 c 25975 14298 26871 1177460 43 119992 485988 25975 3086 8.41 1800.00/1800.60 c 39086 14298 39982 2014756 50 146240 534587 39086 2460 15.89 1800.00/1800.60 c 58756 14298 59652 3165661 53 185533 588046 58756 1520 38.65 1800.00/1800.60 c 88266 14298 89162 5630212 63 246703 646851 88266 1665 52.99 1800.00/1800.60 c 132539 14298 133435 10107775 75 335126 711537 132539 1354 97.82 1800.00/1800.60 c 198950 14297 199846 16455904 82 468697 782691 198950 1152 172.66 1800.00/1800.60 c 298570 14297 299466 23904662 79 667981 860961 298570 509 585.67 1800.00/1800.60 c 448005 14297 448901 32921788 73 966723 947058 448005 452 989.64 1800.00/1800.60 c Caught signal: 15 1800.00/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.60 c 19 586533 63692 1586851 587429 46440285 586533 325 1800.01 1800.00/1800.60 s UNKNOWN 1800.00/1800.60 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-350693-1176540072 -o ROOT/results/node18/solver-350693-1176540072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350693-1176540072/instance-350693-1176540072.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.92 0.97 0.98 3/77 24990 /proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=12336 CPUtime=0 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 101924580 12632064 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 3084 336 281 324 0 2003 0 [startup+0.00827909 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24990 /proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=12476 CPUtime=0 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 402 0 0 0 0 0 0 0 18 0 1 0 101924580 12775424 370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 3119 370 285 324 0 2038 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12476 [startup+0.101289 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24990 /proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=6768 CPUtime=0.09 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 1034 0 0 0 9 0 0 0 18 0 1 0 101924580 6930432 1002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134539169 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 1692 1003 405 324 0 611 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6768 [startup+0.301308 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24990 /proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=10360 CPUtime=0.29 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 2268 0 0 0 28 1 0 0 19 0 1 0 101924580 10608640 1911 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 2590 1911 308 324 0 1659 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10360 [startup+0.701346 s] /proc/loadavg: 0.92 0.97 0.98 3/77 24990 /proc/meminfo: memFree=1747792/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=9700 CPUtime=0.69 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 2332 0 0 0 66 3 0 0 22 0 1 0 101924580 9932800 1761 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 2425 1761 312 324 0 1494 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9700 [startup+1.50142 s] /proc/loadavg: 0.92 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1741512/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=11020 CPUtime=1.49 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 2657 0 0 0 143 6 0 0 25 0 1 0 101924580 11284480 2086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 2755 2086 312 324 0 1824 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11020 [startup+3.10158 s] /proc/loadavg: 0.92 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1739144/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=14424 CPUtime=3.09 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 3511 0 0 0 299 10 0 0 25 0 1 0 101924580 14770176 2940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 3606 2940 312 324 0 2675 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14424 [startup+6.30189 s] /proc/loadavg: 0.93 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1728904/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=24172 CPUtime=6.29 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 5947 0 0 0 616 13 0 0 25 0 1 0 101924580 24752128 5376 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 6043 5376 312 324 0 5112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24172 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1722568/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=29112 CPUtime=12.69 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 7171 0 0 0 1252 17 0 0 25 0 1 0 101924580 29810688 6600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 7278 6600 312 324 0 6347 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29112 [startup+25.5017 s] /proc/loadavg: 0.95 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1702280/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=49132 CPUtime=25.49 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 12191 0 0 0 2524 25 0 0 25 0 1 0 101924580 50311168 11620 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 12283 11620 312 324 0 11352 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49132 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1665608/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=87340 CPUtime=51.08 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 21737 0 0 0 5070 38 0 0 25 0 1 0 101924580 89436160 21166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 21835 21166 312 324 0 20904 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 87340 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1590152/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=160876 CPUtime=102.27 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 40139 0 0 0 10165 62 0 0 25 0 1 0 101924580 164737024 39568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 40219 39568 312 324 0 39288 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 160876 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 3/78 24991 /proc/meminfo: memFree=1515592/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=235436 CPUtime=162.25 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 58781 0 0 0 16133 92 0 0 25 0 1 0 101924580 241086464 58210 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8292225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 58859 58210 312 324 0 57928 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 235436 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1473224/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=277532 CPUtime=222.23 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 69295 0 0 0 22113 110 0 0 25 0 1 0 101924580 284192768 68724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 69383 68724 312 324 0 68452 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 277532 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1457352/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=293436 CPUtime=282.21 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 73282 0 0 0 28104 117 0 0 25 0 1 0 101924580 300478464 72711 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 73359 72711 312 324 0 72428 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 293436 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1442952/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=307624 CPUtime=342.2 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 76832 0 0 0 34095 125 0 0 25 0 1 0 101924580 315006976 76261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 76906 76261 312 324 0 75975 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 307624 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1431368/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=319256 CPUtime=402.18 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 79735 0 0 0 40087 131 0 0 25 0 1 0 101924580 326918144 79164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 79814 79164 312 324 0 78883 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 319256 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1422280/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=328196 CPUtime=462.17 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 81958 0 0 0 46081 136 0 0 25 0 1 0 101924580 336072704 81387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 82049 81387 312 324 0 81118 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 328196 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1413512/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=336980 CPUtime=522.15 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 84156 0 0 0 52074 141 0 0 25 0 1 0 101924580 345067520 83585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 84245 83585 312 324 0 83314 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 336980 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1404104/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=346284 CPUtime=582.13 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 86482 0 0 0 58066 147 0 0 25 0 1 0 101924580 354594816 85911 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 86571 85911 312 324 0 85640 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 346284 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1328456/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=421640 CPUtime=642.11 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 105333 0 0 0 64038 173 0 0 25 0 1 0 101924580 431759360 104762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 105410 104762 312 324 0 104479 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 421640 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1282056/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=467868 CPUtime=882.05 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 116872 0 0 0 87999 206 0 0 25 0 1 0 101924580 479096832 116301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 116967 116301 312 324 0 116036 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 467868 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1275976/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=473992 CPUtime=942.04 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 118396 0 0 0 93993 211 0 0 25 0 1 0 101924580 485367808 117825 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 118498 117825 312 324 0 117567 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 473992 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1258568/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=491408 CPUtime=1002.01 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 122753 0 0 0 99980 221 0 0 25 0 1 0 101924580 503201792 122182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 122852 122182 312 324 0 121921 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 491408 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1214152/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=535852 CPUtime=1062 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 133890 0 0 0 105956 244 0 0 25 0 1 0 101924580 548712448 133319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 133963 133319 312 324 0 133032 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 535852 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1194632/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=554976 CPUtime=1121.98 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 138651 0 0 0 111945 253 0 0 25 0 1 0 101924580 568295424 138080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 138744 138080 312 324 0 137813 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 554976 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24991 /proc/meminfo: memFree=1181640/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=567904 CPUtime=1181.97 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 141889 0 0 0 117937 260 0 0 25 0 1 0 101924580 581533696 141318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 141976 141318 312 324 0 141045 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 567904 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 25169 /proc/meminfo: memFree=1169280/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=578768 CPUtime=1241.86 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 144604 0 0 0 123921 265 0 0 25 0 1 0 101924580 592658432 144033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 144692 144033 312 324 0 143761 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 578768 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1156488/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=592572 CPUtime=1301.83 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 148046 0 0 0 129912 271 0 0 25 0 1 0 101924580 606793728 147475 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 148143 147475 312 324 0 147212 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 592572 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1140808/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=608308 CPUtime=1361.81 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 151981 0 0 0 135902 279 0 0 25 0 1 0 101924580 622907392 151410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 152077 151410 312 324 0 151146 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 608308 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1129672/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=619184 CPUtime=1421.81 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 154715 0 0 0 141896 285 0 0 25 0 1 0 101924580 634044416 154144 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 154796 154144 312 324 0 153865 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 619184 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1121992/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=626920 CPUtime=1481.78 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 156645 0 0 0 147889 289 0 0 25 0 1 0 101924580 641966080 156074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 156730 156074 312 324 0 155799 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 626920 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1113096/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=635680 CPUtime=1541.77 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 158839 0 0 0 153884 293 0 0 25 0 1 0 101924580 650936320 158268 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 158920 158268 312 324 0 157989 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 635680 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1106376/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=642380 CPUtime=1601.75 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 160515 0 0 0 159879 296 0 0 25 0 1 0 101924580 657797120 159944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 160595 159944 312 324 0 159664 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 642380 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1099336/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=649332 CPUtime=1661.73 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 162245 0 0 0 165875 298 0 0 25 0 1 0 101924580 664915968 161674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 162333 161674 312 324 0 161402 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 649332 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1092104/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=656676 CPUtime=1721.72 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 164094 0 0 0 171870 302 0 0 25 0 1 0 101924580 672436224 163523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 164169 163523 312 324 0 163238 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 656676 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1085064/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=663896 CPUtime=1781.7 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 165873 0 0 0 177865 305 0 0 25 0 1 0 101924580 679829504 165302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8293928 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 165974 165302 312 324 0 165043 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 663896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1082824/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=665952 CPUtime=1800 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194304 166412 0 0 0 179694 306 0 0 25 0 1 0 101924580 681934848 165841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8292181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 166488 165841 312 324 0 165557 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 665952 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: 0.99 0.97 0.98 2/78 25189 /proc/meminfo: memFree=1082824/2055920 swapFree=4191880/4192956 [pid=24990] ppid=24988 vsize=0 CPUtime=1800.1 /proc/24990/stat : 24990 (bsolo3.0.16) R 24988 24990 24587 0 -1 4194308 166413 0 0 0 179694 316 0 0 25 0 1 0 101924580 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24990/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.71 CPU time (s): 1800.11 CPU user time (s): 1796.95 CPU system time (s): 3.16652 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 665952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.95 system time used= 3.16652 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166413 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= 14081 runsolver used 2.16867 second user time and 4.19436 second system time The end
Begin job on node18 on Sat Apr 14 08:41:12 UTC 2007 IDJOB= 350693 IDBENCH= 1578 IDSOLVER= 163 FILE ID= node18/350693-1176540072 PBS_JOBID= 4556731 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos14.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350693-1176540072/instance-350693-1176540072.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-350693-1176540072 -o ROOT/results/node18/solver-350693-1176540072 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350693-1176540072/instance-350693-1176540072.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 908b859aa6cb5be1c335ba1e4149146b RANDOM SEED= 516485859 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1748200 kB Buffers: 22668 kB Cached: 179064 kB SwapCached: 636 kB Active: 75344 kB Inactive: 180532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748200 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 5068 kB Writeback: 0 kB Mapped: 71084 kB Slab: 37348 kB Committed_AS: 2712452 kB PageTables: 1780 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= 66555 MiB End job on node18 on Sat Apr 14 09:11:15 UTC 2007