Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.2 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb |
MD5SUM | 79ac545a8fcf117e4e23dd9b4f8255c5 |
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 | 27888 |
Total number of constraints | 874 |
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 | 874 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 246 |
Number of terms in the objective function | 27836 |
Biggest coefficient in the objective function | 8308 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 546265 |
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 | 546265 |
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/348215-1176573502/instance-348215-1176573502.opb 0.00/0.00 c File size is 935950 bytes. 0.09/0.19 c Highest Coefficient sum: 546265 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.188 s 0.19/0.20 c Var: 27888 Constr: 1422 16/0/1406 Lit: 116461 Watch. Lit: 14557 0.19/0.20 c Obj. Vars: 27836 (99.8135 % of total variables) 0.69/0.72 c Pre-processing Time: 0.718 s 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 25672 1370 114301 83 39867 228602 0 0 0.72 0.69/0.72 c Switching off LPR mode. 1799.97/1800.64 c 100 25672 1470 123323 83 91107 251463 100 119 0.83 1799.97/1800.64 c 250 25672 1620 135857 83 91331 276610 250 273 0.91 1799.97/1800.64 c 475 25672 1845 157775 85 91883 304272 475 470 1.01 1799.97/1800.64 c 814 25672 2184 218714 100 92226 334700 814 704 1.16 1799.97/1800.64 c 1323 25672 2693 299356 111 92955 368171 1323 1012 1.31 1799.97/1800.64 c 2087 25672 3457 361551 104 94388 404989 2087 1399 1.49 1799.97/1800.64 c 3235 25672 4605 487393 105 96745 445488 3235 1884 1.72 1799.97/1800.64 c 4958 25672 6328 642517 101 100246 490037 4958 2382 2.08 1799.97/1800.64 c 7543 25672 8913 985003 110 105112 539041 7543 2983 2.53 1799.97/1800.64 c 11423 25672 12793 1445124 112 113097 592946 11423 3280 3.48 1799.97/1800.64 c 17245 25672 18615 2484387 133 124630 652241 17245 2565 6.72 1799.97/1800.64 c 25983 25672 27353 3237571 118 141818 717466 25983 2836 9.16 1799.97/1800.64 c 39094 25670 40464 4379928 108 168137 789213 39094 2501 15.63 1799.97/1800.64 c 58764 25670 60134 5146995 85 207064 868135 58764 2205 26.64 1799.97/1800.64 c 88274 25670 89644 10046412 112 266236 954949 88274 1644 53.67 1799.97/1800.64 c 132545 25670 133915 14764410 110 354814 500000 132545 1549 85.56 1799.97/1800.64 c 198956 25670 200326 30971550 154 487831 550001 198956 364 545.50 1799.97/1800.64 c 298576 25670 299946 41239670 137 686849 605002 298576 462 645.03 1799.97/1800.64 c 448012 25670 449382 54717977 121 986231 665503 448012 526 850.93 1799.97/1800.64 c Resources Exceeded 1799.97/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.64 c 19 588774 14931 1209845 590144 82355321 588774 327 1800.02 1799.97/1800.64 s UNKNOWN 1799.97/1800.64 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-348215-1176573502 -o ROOT/results/node74/solver-348215-1176573502 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348215-1176573502/instance-348215-1176573502.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 1.06 1.00 3/66 8599 /proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=12652 CPUtime=0 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 105264916 12955648 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 3163 336 281 324 0 2003 0 [startup+0.106078 s] /proc/loadavg: 0.99 1.06 1.00 3/66 8599 /proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=7860 CPUtime=0.09 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 1255 0 0 0 9 0 0 0 18 0 1 0 105264916 8048640 1183 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 1965 1183 407 324 0 805 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7860 [startup+0.201087 s] /proc/loadavg: 0.99 1.06 1.00 3/66 8599 /proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=10108 CPUtime=0.19 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 2137 0 0 0 19 0 0 0 18 0 1 0 105264916 10350592 1836 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 2527 1837 302 324 0 1596 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10108 [startup+0.301099 s] /proc/loadavg: 0.99 1.06 1.00 3/66 8599 /proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=12960 CPUtime=0.29 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 2963 0 0 0 27 2 0 0 19 0 1 0 105264916 13271040 2552 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 3240 2552 308 324 0 2309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12960 [startup+0.701145 s] /proc/loadavg: 0.99 1.06 1.00 3/66 8599 /proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=12644 CPUtime=0.69 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 3079 0 0 0 66 3 0 0 22 0 1 0 105264916 12947456 2450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 3161 2450 308 324 0 2230 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12644 [startup+1.50124 s] /proc/loadavg: 0.99 1.06 1.00 2/67 8600 /proc/meminfo: memFree=1509272/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=15732 CPUtime=1.49 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 4263 0 0 0 142 7 0 0 25 0 1 0 105264916 16109568 3254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 3933 3254 312 324 0 3002 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15732 [startup+3.10142 s] /proc/loadavg: 0.99 1.06 1.00 2/67 8600 /proc/meminfo: memFree=1501720/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=28660 CPUtime=3.08 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 7494 0 0 0 299 9 0 0 25 0 1 0 105264916 29347840 6485 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 7165 6485 312 324 0 6234 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28660 [startup+6.30179 s] /proc/loadavg: 0.99 1.05 1.00 2/67 8600 /proc/meminfo: memFree=1480480/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=43984 CPUtime=6.29 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 11337 0 0 0 616 13 0 0 25 0 1 0 105264916 45039616 10328 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 10996 10328 312 324 0 10065 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43984 [startup+12.7015 s] /proc/loadavg: 0.99 1.05 1.00 2/67 8600 /proc/meminfo: memFree=1456160/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=67168 CPUtime=12.68 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 17143 0 0 0 1249 19 0 0 25 0 1 0 105264916 68780032 16134 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 16792 16134 312 324 0 15861 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67168 [startup+25.502 s] /proc/loadavg: 0.99 1.05 1.00 2/67 8600 /proc/meminfo: memFree=1440032/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=82304 CPUtime=25.48 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 20910 0 0 0 2521 27 0 0 25 0 1 0 105264916 84279296 19901 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 20576 19901 312 324 0 19645 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82304 [startup+51.102 s] /proc/loadavg: 0.99 1.05 1.00 2/67 8600 /proc/meminfo: memFree=1377504/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=145540 CPUtime=51.08 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 36707 0 0 0 5069 39 0 0 25 0 1 0 105264916 149032960 35698 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 36385 35698 312 324 0 35454 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 145540 [startup+102.302 s] /proc/loadavg: 0.99 1.04 1.00 2/67 8600 /proc/meminfo: memFree=1274912/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=247124 CPUtime=102.26 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 62113 0 0 0 10162 64 0 0 25 0 1 0 105264916 253054976 61104 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 61781 61104 312 324 0 60850 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 247124 [startup+162.302 s] /proc/loadavg: 0.99 1.03 1.00 2/73 8626 /proc/meminfo: memFree=1224536/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=296372 CPUtime=162.23 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 74422 0 0 0 16146 77 0 0 25 0 1 0 105264916 303484928 73413 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 74093 73413 312 324 0 73162 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 296372 [startup+222.306 s] /proc/loadavg: 0.99 1.02 1.00 2/67 8798 /proc/meminfo: memFree=1195680/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=326080 CPUtime=222.13 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 81844 0 0 0 22126 87 0 0 25 0 1 0 105264916 333905920 80835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 81520 80835 312 324 0 80589 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 326080 [startup+282.302 s] /proc/loadavg: 0.99 1.01 1.00 2/67 8798 /proc/meminfo: memFree=1178976/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=342896 CPUtime=282.11 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 86058 0 0 0 28119 92 0 0 25 0 1 0 105264916 351125504 85049 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 85724 85049 312 324 0 84793 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 342896 [startup+342.302 s] /proc/loadavg: 0.99 1.01 1.00 2/67 8798 /proc/meminfo: memFree=1158688/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=362960 CPUtime=342.1 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 91078 0 0 0 34112 98 0 0 25 0 1 0 105264916 371671040 90069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 90740 90069 312 324 0 89809 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 362960 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=1136096/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=385720 CPUtime=402.07 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 96772 0 0 0 40102 105 0 0 25 0 1 0 105264916 394977280 95763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 96430 95763 312 324 0 95499 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 385720 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=1119136/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=402596 CPUtime=462.05 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 100971 0 0 0 46096 109 0 0 25 0 1 0 105264916 412258304 99962 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 100649 99962 312 324 0 99718 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 402596 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=1101728/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=420068 CPUtime=522.04 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 105340 0 0 0 52090 114 0 0 25 0 1 0 105264916 430149632 104331 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 105017 104331 312 324 0 104086 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 420068 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=1021984/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=499892 CPUtime=582.02 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 125316 0 0 0 58068 134 0 0 25 0 1 0 105264916 511889408 124307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 124973 124307 312 324 0 124042 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 499892 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=954976/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=566800 CPUtime=642.01 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 142041 0 0 0 64041 160 0 0 25 0 1 0 105264916 580403200 141032 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 141700 141032 312 324 0 140769 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 566800 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=717216/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=803612 CPUtime=881.94 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 201243 0 0 0 87950 244 0 0 25 0 1 0 105264916 822898688 200234 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 200903 200234 312 324 0 199972 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 803612 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=673376/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=847640 CPUtime=941.92 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 212243 0 0 0 93934 258 0 0 25 0 1 0 105264916 867983360 211234 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 211910 211234 312 324 0 210979 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 847640 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=641248/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=879448 CPUtime=1001.9 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 220209 0 0 0 99921 269 0 0 25 0 1 0 105264916 900554752 219200 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 219862 219200 312 324 0 218931 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 879448 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=620576/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=900404 CPUtime=1061.88 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 225448 0 0 0 105912 276 0 0 25 0 1 0 105264916 922013696 224439 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 225101 224439 312 324 0 224170 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 900404 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=600864/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=919980 CPUtime=1121.86 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 230327 0 0 0 111904 282 0 0 25 0 1 0 105264916 942059520 229318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 229995 229318 312 324 0 229064 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 919980 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=585888/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=935060 CPUtime=1181.85 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 234092 0 0 0 117898 287 0 0 25 0 1 0 105264916 957501440 233083 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 233765 233083 312 324 0 232834 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 935060 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=571936/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=948720 CPUtime=1241.82 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 237536 0 0 0 123892 290 0 0 25 0 1 0 105264916 971489280 236527 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 237180 236527 312 324 0 236249 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 948720 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=554144/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=966704 CPUtime=1301.8 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 242027 0 0 0 129884 296 0 0 25 0 1 0 105264916 989904896 241018 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 241676 241018 312 324 0 240745 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 966704 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=533344/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=987172 CPUtime=1361.79 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 247149 0 0 0 135877 302 0 0 25 0 1 0 105264916 1010864128 246140 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 246793 246140 312 324 0 245862 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 987172 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=509920/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1010452 CPUtime=1421.78 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 252961 0 0 0 141869 309 0 0 25 0 1 0 105264916 1034702848 251952 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 252613 251952 312 324 0 251682 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1010452 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=480224/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1040276 CPUtime=1481.76 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 260420 0 0 0 147858 318 0 0 25 0 1 0 105264916 1065242624 259411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 260069 259411 312 324 0 259138 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1040276 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=454176/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1066268 CPUtime=1541.74 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 266899 0 0 0 153849 325 0 0 25 0 1 0 105264916 1091858432 265890 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 266567 265890 312 324 0 265636 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1066268 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=439712/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1080812 CPUtime=1601.72 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 270542 0 0 0 159842 330 0 0 25 0 1 0 105264916 1106751488 269533 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 270203 269533 312 324 0 269272 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 1080812 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=426144/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1094304 CPUtime=1661.7 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 273911 0 0 0 165836 334 0 0 25 0 1 0 105264916 1120567296 272902 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 273576 272902 312 324 0 272645 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1094304 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=412512/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1108068 CPUtime=1721.69 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 277342 0 0 0 171830 339 0 0 25 0 1 0 105264916 1134661632 276333 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 277017 276333 312 324 0 276086 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1108068 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=399520/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=1120812 CPUtime=1781.66 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194304 280542 0 0 0 177823 343 0 0 25 0 1 0 105264916 1147711488 279533 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 280203 279533 312 324 0 279272 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1120812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=740844/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=0 CPUtime=1800.07 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194308 281363 0 0 0 179656 351 0 0 25 0 1 0 105264916 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 1.00 1.00 2/67 8798 /proc/meminfo: memFree=740844/2055920 swapFree=4192812/4192956 [pid=8599] ppid=8597 vsize=0 CPUtime=1800.17 /proc/8599/stat : 8599 (bsolo3.0.16) R 8597 8599 7487 0 -1 4194308 281363 0 0 0 179656 361 0 0 25 0 1 0 105264916 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8599/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.2 CPU user time (s): 1796.57 CPU system time (s): 3.62745 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 1124024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.57 system time used= 3.62745 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281363 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= 1802 runsolver used 2.13167 second user time and 4.13337 second system time The end
Begin job on node74 on Sat Apr 14 17:58:22 UTC 2007 IDJOB= 348215 IDBENCH= 1640 IDSOLVER= 163 FILE ID= node74/348215-1176573502 PBS_JOBID= 4556902 Free space on /tmp= 103240 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-gfrd-pnc.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348215-1176573502/instance-348215-1176573502.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-348215-1176573502 -o ROOT/results/node74/solver-348215-1176573502 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348215-1176573502/instance-348215-1176573502.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 79ac545a8fcf117e4e23dd9b4f8255c5 RANDOM SEED= 851904183 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1519096 kB Buffers: 43320 kB Cached: 360056 kB SwapCached: 0 kB Active: 155364 kB Inactive: 265060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1519096 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 5420 kB Writeback: 0 kB Mapped: 27384 kB Slab: 102264 kB Committed_AS: 652612 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103240 MiB End job on node74 on Sat Apr 14 18:28:25 UTC 2007