Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.08 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb |
MD5SUM | 0748343c41c1a4f38800a46bbbd374d2 |
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 | 19747 |
Total number of constraints | 3145 |
Number of constraints which are clauses | 426 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 262119 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524354 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262119 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524354 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/348046-1176566296/instance-348046-1176566296.opb 0.00/0.01 c File size is 1603626 bytes. 0.18/0.28 c Highest Coefficient sum: 524354 0.18/0.28 c Parsing was ok!! 0.18/0.28 c Total parsing time: 0.277 s 0.18/0.29 c Var: 19747 Constr: 3146 426/0/2720 Lit: 147497 Watch. Lit: 12619 0.18/0.29 c Obj. Vars: 133 (0.67352 % of total variables) 0.48/0.59 c Pre-processing Time: 0.582 s 0.48/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.59 c 0 19733 3146 147497 46 90047 291489 0 0 0.58 0.48/0.59 c Switching off LPR mode. 1799.95/1800.54 c 106 19733 3252 155585 47 126450 320638 106 163 0.65 1799.95/1800.54 c 256 19733 3402 160603 47 125408 352702 256 376 0.68 1799.95/1800.54 c 481 19733 3627 171706 47 127231 387973 481 607 0.79 1799.95/1800.54 c 819 19733 3965 187839 47 127294 426771 819 834 0.98 1799.95/1800.54 c 1327 19733 4473 210969 47 128696 469449 1327 1129 1.18 1799.95/1800.54 c 2091 19733 5237 261290 49 131187 516394 2091 1437 1.46 1799.95/1800.54 c 3240 19733 6386 331646 51 132967 568034 3240 1984 1.63 1799.95/1800.54 c 4961 19733 8107 433308 53 135167 624838 4961 2390 2.08 1799.95/1800.54 c 7549 19733 10695 587799 54 139823 687322 7549 2660 2.84 1799.95/1800.54 c 11428 19733 14574 821734 56 148123 756055 11428 2424 4.71 1799.95/1800.54 c 17251 19733 20397 1116766 54 158613 831661 17251 2810 6.14 1799.95/1800.54 c 25988 19733 29134 1647308 56 178534 914828 25988 2687 9.67 1799.95/1800.54 c 39098 19733 42244 2431778 57 203512 500000 39098 2144 18.23 1799.95/1800.54 c 58768 19733 61914 3669187 59 244038 550001 58768 1590 36.95 1799.95/1800.54 c 88280 19733 91426 5729434 62 302069 605002 88280 633 139.35 1799.95/1800.54 c 132550 19733 135696 8334521 61 392079 665503 132550 696 190.20 1799.95/1800.54 c 198960 19733 202106 14025441 69 523567 732054 198960 366 542.27 1799.95/1800.54 c 298581 19733 301727 21257148 70 723612 805260 298581 390 765.23 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 18 389253 33103 607274 392399 30722582 389253 216 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/node72/watcher-348046-1176566296 -o ROOT/results/node72/solver-348046-1176566296 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348046-1176566296/instance-348046-1176566296.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: 1.35 1.83 1.92 3/77 25823 /proc/meminfo: memFree=1553008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=21116 CPUtime=0 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 355 0 3 0 0 0 0 0 18 0 1 0 132668017 21622784 326 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 5279 331 280 324 0 3956 0 [startup+0.014122 s] /proc/loadavg: 1.35 1.83 1.92 3/77 25823 /proc/meminfo: memFree=1553008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=13444 CPUtime=0 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 398 0 3 0 0 0 0 0 18 0 1 0 132668017 13766656 369 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 3361 370 286 324 0 2038 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13444 [startup+0.101129 s] /proc/loadavg: 1.35 1.83 1.92 3/77 25823 /proc/meminfo: memFree=1553008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=7292 CPUtime=0.08 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 940 0 3 0 8 0 0 0 18 0 1 0 132668017 7467008 911 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 1823 911 409 324 0 500 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7292 [startup+0.301147 s] /proc/loadavg: 1.35 1.83 1.92 3/77 25823 /proc/meminfo: memFree=1553008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=9656 CPUtime=0.28 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 2125 0 3 0 28 0 0 0 19 0 1 0 132668017 9887744 1704 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 2414 1705 306 324 0 1483 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9656 [startup+0.701183 s] /proc/loadavg: 1.35 1.83 1.92 3/77 25823 /proc/meminfo: memFree=1553008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=12676 CPUtime=0.68 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 3633 0 3 0 65 3 0 0 23 0 1 0 132668017 12980224 2473 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 3169 2473 312 324 0 2238 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12676 [startup+1.50126 s] /proc/loadavg: 1.35 1.83 1.92 2/78 25824 /proc/meminfo: memFree=1542952/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=14260 CPUtime=1.48 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 4048 0 3 0 144 4 0 0 25 0 1 0 132668017 14602240 2888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 3565 2888 312 324 0 2634 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14260 [startup+3.1014 s] /proc/loadavg: 1.32 1.81 1.92 2/78 25824 /proc/meminfo: memFree=1539432/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=19620 CPUtime=3.08 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 5361 0 3 0 301 7 0 0 25 0 1 0 132668017 20090880 4201 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 4905 4201 312 324 0 3974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19620 [startup+6.3017 s] /proc/loadavg: 1.32 1.81 1.92 2/78 25824 /proc/meminfo: memFree=1532968/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=27036 CPUtime=6.28 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 7240 0 3 0 618 10 0 0 25 0 1 0 132668017 27684864 6080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 6759 6080 312 324 0 5828 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27036 [startup+12.7013 s] /proc/loadavg: 1.27 1.79 1.91 2/78 25824 /proc/meminfo: memFree=1516136/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=40912 CPUtime=12.68 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 10691 0 3 0 1253 15 0 0 25 0 1 0 132668017 41893888 9531 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 10228 9531 312 324 0 9297 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40912 [startup+25.5015 s] /proc/loadavg: 1.23 1.76 1.90 2/78 25824 /proc/meminfo: memFree=1500136/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=56128 CPUtime=25.47 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 14506 0 3 0 2526 21 0 0 25 0 1 0 132668017 57475072 13346 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 14032 13346 312 324 0 13101 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 56128 [startup+51.1018 s] /proc/loadavg: 1.15 1.70 1.87 2/78 25824 /proc/meminfo: memFree=1485224/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=71056 CPUtime=51.06 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 18248 0 3 0 5078 28 0 0 25 0 1 0 132668017 72761344 17088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 17764 17088 312 324 0 16833 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 71056 [startup+102.305 s] /proc/loadavg: 1.06 1.58 1.82 2/78 25824 /proc/meminfo: memFree=1471528/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=84800 CPUtime=102.26 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 21655 0 3 0 10192 34 0 0 25 0 1 0 132668017 86835200 20495 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 21200 20495 312 324 0 20269 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 84800 [startup+162.302 s] /proc/loadavg: 1.02 1.47 1.77 2/78 25824 /proc/meminfo: memFree=1446184/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=110408 CPUtime=162.24 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 28081 0 3 0 16178 46 0 0 25 0 1 0 132668017 113057792 26921 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 27602 26921 312 324 0 26671 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 110408 [startup+222.301 s] /proc/loadavg: 1.01 1.38 1.72 2/78 26026 /proc/meminfo: memFree=1413672/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=142360 CPUtime=222.13 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 36048 0 3 0 22151 62 0 0 25 0 1 0 132668017 145776640 34888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 35590 34888 312 324 0 34659 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 142360 [startup+282.302 s] /proc/loadavg: 1.00 1.32 1.67 2/78 26026 /proc/meminfo: memFree=1395752/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=160384 CPUtime=282.12 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 40566 0 3 0 28141 71 0 0 25 0 1 0 132668017 164233216 39406 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 40096 39406 312 324 0 39165 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 160384 [startup+342.302 s] /proc/loadavg: 1.00 1.25 1.62 2/78 26026 /proc/meminfo: memFree=1381160/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=174660 CPUtime=342.11 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 44142 0 3 0 34132 79 0 0 25 0 1 0 132668017 178851840 42982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 43665 42982 312 324 0 42734 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 174660 [startup+402.302 s] /proc/loadavg: 1.00 1.21 1.59 2/78 26026 /proc/meminfo: memFree=1370344/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=185548 CPUtime=402.09 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 46861 0 3 0 40125 84 0 0 25 0 1 0 132668017 190001152 45701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 46387 45701 312 324 0 45456 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 185548 [startup+462.302 s] /proc/loadavg: 1.00 1.16 1.54 2/78 26026 /proc/meminfo: memFree=1359336/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=196536 CPUtime=462.07 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 49595 0 3 0 46118 89 0 0 25 0 1 0 132668017 201252864 48435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 49134 48435 312 324 0 48203 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 196536 [startup+522.302 s] /proc/loadavg: 1.00 1.13 1.51 2/78 26026 /proc/meminfo: memFree=1348968/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=207012 CPUtime=522.06 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 52229 0 3 0 52111 95 0 0 25 0 1 0 132668017 211980288 51069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 51753 51069 312 324 0 50822 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 207012 [startup+582.302 s] /proc/loadavg: 1.00 1.10 1.47 2/78 26026 /proc/meminfo: memFree=1317864/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=238272 CPUtime=582.04 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 60027 0 3 0 58098 106 0 0 25 0 1 0 132668017 243990528 58867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 59568 58867 312 324 0 58637 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 238272 [startup+642.302 s] /proc/loadavg: 1.00 1.08 1.44 2/78 26026 /proc/meminfo: memFree=1281192/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=274596 CPUtime=642.03 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 69118 0 3 0 64080 123 0 0 25 0 1 0 132668017 281186304 67958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 68649 67958 312 324 0 67718 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 274596 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.04 1.35 2/78 26026 /proc/meminfo: memFree=1231976/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=323812 CPUtime=821.99 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 81438 0 3 0 82055 144 0 0 25 0 1 0 132668017 331583488 80278 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 80953 80278 312 324 0 80022 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 323812 [startup+882.302 s] /proc/loadavg: 1.00 1.03 1.33 2/78 26026 /proc/meminfo: memFree=1223016/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=332784 CPUtime=881.97 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 83651 0 3 0 88048 149 0 0 25 0 1 0 132668017 340770816 82491 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 83196 82491 312 324 0 82265 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 332784 [startup+942.302 s] /proc/loadavg: 1.03 1.03 1.31 2/78 26026 /proc/meminfo: memFree=1214120/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=341696 CPUtime=941.96 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 85894 0 3 0 94042 154 0 0 25 0 1 0 132668017 349896704 84734 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 85424 84734 312 324 0 84493 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 341696 [startup+1002.3 s] /proc/loadavg: 1.14 1.07 1.30 2/78 26026 /proc/meminfo: memFree=1204904/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=350856 CPUtime=1001.95 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 88174 0 3 0 100036 159 0 0 25 0 1 0 132668017 359276544 87014 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 87714 87014 312 324 0 86783 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 350856 [startup+1062.3 s] /proc/loadavg: 1.06 1.05 1.28 2/78 26026 /proc/meminfo: memFree=1196008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=359780 CPUtime=1061.93 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 90412 0 3 0 106030 163 0 0 25 0 1 0 132668017 368414720 89252 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 89945 89252 312 324 0 89014 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 359780 [startup+1122.3 s] /proc/loadavg: 1.02 1.04 1.26 2/78 26026 /proc/meminfo: memFree=1188008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=367684 CPUtime=1121.91 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 92389 0 3 0 112024 167 0 0 25 0 1 0 132668017 376508416 91229 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 91921 91229 312 324 0 90990 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 367684 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.25 2/78 26026 /proc/meminfo: memFree=1180584/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=375320 CPUtime=1181.9 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 94293 0 3 0 118018 172 0 0 25 0 1 0 132668017 384327680 93133 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 93830 93133 312 324 0 92899 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 375320 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.23 2/78 26026 /proc/meminfo: memFree=1172008/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=383720 CPUtime=1241.89 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 96403 0 3 0 124012 177 0 0 25 0 1 0 132668017 392929280 95243 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 95930 95243 312 324 0 94999 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 383720 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.21 2/78 26026 /proc/meminfo: memFree=1163560/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=391984 CPUtime=1301.87 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 98478 0 3 0 130007 180 0 0 25 0 1 0 132668017 401391616 97318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 97996 97318 312 324 0 97065 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 391984 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.19 2/78 26026 /proc/meminfo: memFree=1155240/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=400528 CPUtime=1361.86 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 100586 0 3 0 136001 185 0 0 25 0 1 0 132668017 410140672 99426 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 100132 99426 312 324 0 99201 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 400528 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.18 2/78 26026 /proc/meminfo: memFree=1147816/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=407764 CPUtime=1421.84 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 102416 0 3 0 141995 189 0 0 25 0 1 0 132668017 417550336 101256 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 101941 101256 312 324 0 101010 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 407764 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.16 2/78 26026 /proc/meminfo: memFree=1140328/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=415376 CPUtime=1481.83 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 104304 0 3 0 147990 193 0 0 25 0 1 0 132668017 425345024 103144 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 103844 103144 312 324 0 102913 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 415376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.15 2/78 26026 /proc/meminfo: memFree=1133608/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=421988 CPUtime=1541.81 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 105979 0 3 0 153985 196 0 0 25 0 1 0 132668017 432115712 104819 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 105497 104819 312 324 0 104566 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 421988 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.14 2/78 26026 /proc/meminfo: memFree=1127720/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=428048 CPUtime=1601.8 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 107476 0 3 0 159981 199 0 0 25 0 1 0 132668017 438321152 106316 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2969252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 107012 106316 312 324 0 106081 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 428048 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.13 2/78 26026 /proc/meminfo: memFree=1121512/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=434128 CPUtime=1661.78 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 109014 0 3 0 165976 202 0 0 25 0 1 0 132668017 444547072 107854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 108532 107854 312 324 0 107601 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 434128 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.12 2/78 26026 /proc/meminfo: memFree=1116136/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=439540 CPUtime=1721.77 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 110352 0 3 0 171971 206 0 0 25 0 1 0 132668017 450088960 109192 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 109885 109192 312 324 0 108954 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 439540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.11 2/78 26026 /proc/meminfo: memFree=1111272/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=444324 CPUtime=1781.76 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194304 111539 0 3 0 177968 208 0 0 25 0 1 0 132668017 454987776 110379 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 111081 110379 312 324 0 110150 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 444324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.10 2/78 26026 /proc/meminfo: memFree=1465900/2055920 swapFree=4172008/4192956 [pid=25823] ppid=25821 vsize=0 CPUtime=1800.05 /proc/25823/stat : 25823 (bsolo3.0.16) R 25821 25823 25763 0 -1 4194308 111886 0 3 0 179790 215 0 0 25 0 1 0 132668017 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25823/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.08 CPU user time (s): 1797.91 CPU system time (s): 2.16867 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 445620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.91 system time used= 2.16867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111886 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 39551 runsolver used 2.15067 second user time and 4.40833 second system time The end
Begin job on node72 on Sat Apr 14 15:58:16 UTC 2007 IDJOB= 348046 IDBENCH= 1609 IDSOLVER= 163 FILE ID= node72/348046-1176566296 PBS_JOBID= 4556904 Free space on /tmp= 66559 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/unibo/normalized-reduced-mps-v2-20-10-railway_8_1_0.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348046-1176566296/instance-348046-1176566296.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-348046-1176566296 -o ROOT/results/node72/solver-348046-1176566296 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348046-1176566296/instance-348046-1176566296.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0748343c41c1a4f38800a46bbbd374d2 RANDOM SEED= 23103165 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1553416 kB Buffers: 49016 kB Cached: 317488 kB SwapCached: 2396 kB Active: 122840 kB Inactive: 266712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1553416 kB SwapTotal: 4192956 kB SwapFree: 4172008 kB Dirty: 6100 kB Writeback: 0 kB Mapped: 38196 kB Slab: 98436 kB Committed_AS: 1282460 kB PageTables: 1788 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= 66559 MiB End job on node72 on Sat Apr 14 16:28:18 UTC 2007