Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.58 |
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.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/432611-1177946265/instance-432611-1177946265.opb 0.00/0.00 c File size is 1603626 bytes. 0.19/0.28 c Highest Coefficient sum: 524354 0.19/0.28 c Parsing was ok!! 0.19/0.28 c Total parsing time: 0.28 s 0.19/0.29 c Var: 19747 Constr: 3146 426/0/2720 Lit: 147497 Watch. Lit: 12619 0.19/0.29 c Obj. Vars: 133 (0.67352 % of total variables) 0.49/0.58 c Pre-processing Time: 0.579 s 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 19733 3146 147497 46 90047 291489 0 0 0.58 0.49/0.58 c Switching off LPR mode. 1800.03/1800.50 c 106 19733 3252 155585 47 126450 320638 106 164 0.65 1800.03/1800.50 c 256 19733 3402 160603 47 125408 352702 256 379 0.68 1800.03/1800.50 c 481 19733 3627 171706 47 127231 387973 481 611 0.79 1800.03/1800.50 c 819 19733 3965 187839 47 127294 426771 819 845 0.97 1800.03/1800.50 c 1327 19733 4473 210969 47 128696 469449 1327 1141 1.16 1800.03/1800.50 c 2091 19733 5237 261290 49 131187 516394 2091 1452 1.44 1800.03/1800.50 c 3240 19733 6386 331646 51 132967 568034 3240 2008 1.61 1800.03/1800.50 c 4961 19733 8107 433308 53 135167 624838 4961 2417 2.05 1800.03/1800.50 c 7549 19733 10695 587799 54 139823 687322 7549 2706 2.79 1800.03/1800.50 c 11428 19733 14574 821734 56 148123 756055 11428 2454 4.66 1800.03/1800.50 c 17251 19733 20397 1116766 54 158613 831661 17251 2852 6.05 1800.03/1800.50 c 25988 19733 29134 1647308 56 178534 914828 25988 2737 9.49 1800.03/1800.50 c 39098 19733 42244 2431778 57 203512 500000 39098 2169 18.02 1800.03/1800.50 c 58768 19733 61914 3669187 59 244038 550001 58768 1606 36.58 1800.03/1800.50 c 88280 19733 91426 5729434 62 302069 605002 88280 636 138.71 1800.03/1800.50 c 132550 19733 135696 8334521 61 392079 665503 132550 700 189.16 1800.03/1800.50 c 198960 19733 202106 14025441 69 523567 732054 198960 368 540.17 1800.03/1800.50 c 298581 19733 301727 21257148 70 723612 805260 298581 391 762.49 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 18 389572 33122 607620 392718 30758051 389572 216 1800.04 1800.03/1800.50 s UNKNOWN 1800.03/1800.50 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-432611-1177946265 -o ROOT/results/node60/solver-432611-1177946265 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432611-1177946265/instance-432611-1177946265.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.98 0.92 3/64 31899 /proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=13304 CPUtime=0 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242536527 13623296 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 3326 332 279 324 0 2004 0 [startup+0.0963699 s] /proc/loadavg: 0.99 0.98 0.92 3/64 31899 /proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=7292 CPUtime=0.08 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 940 0 0 0 8 0 0 0 18 0 1 0 242536527 7467008 910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 1823 910 407 324 0 501 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7292 [startup+0.10237 s] /proc/loadavg: 0.99 0.98 0.92 3/64 31899 /proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=7424 CPUtime=0.09 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 960 0 0 0 9 0 0 0 18 0 1 0 242536527 7602176 930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 1856 930 415 324 0 534 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7424 [startup+0.302389 s] /proc/loadavg: 0.99 0.98 0.92 3/64 31899 /proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=9920 CPUtime=0.29 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 2192 0 0 0 28 1 0 0 19 0 1 0 242536527 10158080 1770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 2480 1770 304 324 0 1550 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9920 [startup+0.70143 s] /proc/loadavg: 0.99 0.98 0.92 3/64 31899 /proc/meminfo: memFree=1859856/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=12676 CPUtime=0.69 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 3632 0 0 0 66 3 0 0 22 0 1 0 242536527 12980224 2471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 3169 2471 310 324 0 2239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12676 [startup+1.50151 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1850888/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=14652 CPUtime=1.49 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 4117 0 0 0 146 3 0 0 25 0 1 0 242536527 15003648 2956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 3663 2956 310 324 0 2733 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14652 [startup+3.10167 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1846792/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=19752 CPUtime=3.08 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 5390 0 0 0 304 4 0 0 25 0 1 0 242536527 20226048 4229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 4938 4229 310 324 0 4008 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19752 [startup+6.30198 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1840656/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=27424 CPUtime=6.28 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 7333 0 0 0 622 6 0 0 25 0 1 0 242536527 28082176 6172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 6856 6172 310 324 0 5926 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27424 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1823504/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=41044 CPUtime=12.68 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 10736 0 0 0 1260 8 0 0 25 0 1 0 242536527 42029056 9575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 10261 9575 310 324 0 9331 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41044 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1807696/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=56384 CPUtime=25.48 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 14576 0 0 0 2536 12 0 0 25 0 1 0 242536527 57737216 13415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 14096 13415 310 324 0 13166 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56384 [startup+51.1014 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1792656/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=71188 CPUtime=51.07 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 18269 0 0 0 5093 14 0 0 25 0 1 0 242536527 72896512 17108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 17797 17108 310 324 0 16867 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71188 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1778896/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=84800 CPUtime=102.26 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 21682 0 0 0 10208 18 0 0 25 0 1 0 242536527 86835200 20521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 21200 20521 310 324 0 20270 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 84800 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1753104/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=111064 CPUtime=162.24 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 28226 0 0 0 16200 24 0 0 25 0 1 0 242536527 113729536 27065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27766 27065 310 324 0 26836 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 111064 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1720976/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=142616 CPUtime=222.22 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 36132 0 0 0 22192 30 0 0 25 0 1 0 242536527 146038784 34971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 35654 34971 310 324 0 34724 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 142616 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1702928/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=160776 CPUtime=282.21 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 40675 0 0 0 28186 35 0 0 25 0 1 0 242536527 164634624 39514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 40194 39514 310 324 0 39264 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 160776 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1688528/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=175048 CPUtime=342.19 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 44216 0 0 0 34180 39 0 0 25 0 1 0 242536527 179249152 43055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 43762 43055 310 324 0 42832 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 175048 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31900 /proc/meminfo: memFree=1677712/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=185812 CPUtime=402.18 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 46925 0 0 0 40176 42 0 0 25 0 1 0 242536527 190271488 45764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 46453 45764 310 324 0 45523 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 185812 [startup+462.303 s] /proc/loadavg: 1.05 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1666640/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=196796 CPUtime=462.17 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 49675 0 0 0 46172 45 0 0 25 0 1 0 242536527 201519104 48514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 49199 48514 310 324 0 48269 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 196796 [startup+522.303 s] /proc/loadavg: 1.02 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1656144/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=207272 CPUtime=522.15 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 52300 0 0 0 52167 48 0 0 25 0 1 0 242536527 212246528 51139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 51818 51139 310 324 0 50888 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 207272 [startup+582.303 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1624272/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=239316 CPUtime=582.13 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 60283 0 0 0 58158 55 0 0 25 0 1 0 242536527 245059584 59122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 59829 59122 310 324 0 58899 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 239316 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1585872/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=277312 CPUtime=642.12 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 69803 0 0 0 64147 65 0 0 25 0 1 0 242536527 283967488 68642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 69328 68642 310 324 0 68398 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 277312 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1529744/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=333296 CPUtime=882.06 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 83790 0 0 0 88126 80 0 0 25 0 1 0 242536527 341295104 82629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 83324 82629 310 324 0 82394 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 333296 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1520976/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=342208 CPUtime=942.04 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 86007 0 0 0 94121 83 0 0 25 0 1 0 242536527 350420992 84846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 85552 84846 310 324 0 84622 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 342208 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1511696/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=351240 CPUtime=1002.03 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 88288 0 0 0 100116 87 0 0 25 0 1 0 242536527 359669760 87127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 87810 87127 310 324 0 86880 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 351240 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1502736/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=360304 CPUtime=1062.01 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 90540 0 0 0 106112 89 0 0 25 0 1 0 242536527 368951296 89379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 90076 89379 310 324 0 89146 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 360304 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1494736/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=368204 CPUtime=1122 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 92521 0 0 0 112108 92 0 0 25 0 1 0 242536527 377040896 91360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 92051 91360 310 324 0 91121 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 368204 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1487056/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=375960 CPUtime=1181.98 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 94454 0 0 0 118103 95 0 0 25 0 1 0 242536527 384983040 93293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 93990 93293 310 324 0 93060 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 375960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1478544/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=384364 CPUtime=1241.97 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 96553 0 0 0 124100 97 0 0 25 0 1 0 242536527 393588736 95392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 96091 95392 310 324 0 95161 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 384364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1470160/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=392628 CPUtime=1301.95 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 98618 0 0 0 130096 99 0 0 25 0 1 0 242536527 402051072 97457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 98157 97457 310 324 0 97227 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 392628 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1461776/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=401040 CPUtime=1361.94 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 100723 0 0 0 136092 102 0 0 25 0 1 0 242536527 410664960 99562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 100260 99562 310 324 0 99330 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 401040 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31900 /proc/meminfo: memFree=1454352/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=408408 CPUtime=1421.93 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 102569 0 0 0 142088 105 0 0 25 0 1 0 242536527 418209792 101408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 102102 101408 310 324 0 101172 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 408408 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1446928/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=415888 CPUtime=1481.9 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 104433 0 0 0 148083 107 0 0 25 0 1 0 242536527 425869312 103272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 103972 103272 310 324 0 103042 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 415888 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1440272/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=422500 CPUtime=1541.89 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 106085 0 0 0 154080 109 0 0 25 0 1 0 242536527 432640000 104924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 105625 104924 310 324 0 104695 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 422500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1434256/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=428560 CPUtime=1601.88 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 107599 0 0 0 160077 111 0 0 25 0 1 0 242536527 438845440 106438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 107140 106438 310 324 0 106210 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 428560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1427984/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=434768 CPUtime=1661.86 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 109157 0 0 0 166074 112 0 0 25 0 1 0 242536527 445202432 107996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 108692 107996 310 324 0 107762 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 434768 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1422672/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=440056 CPUtime=1721.85 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 110474 0 0 0 172071 114 0 0 25 0 1 0 242536527 450617344 109313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 110014 109313 310 324 0 109084 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 440056 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1418000/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=444712 CPUtime=1781.83 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 111637 0 0 0 178067 116 0 0 25 0 1 0 242536527 455385088 110476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 111178 110476 310 324 0 110248 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 444712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1416464/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=446132 CPUtime=1800.03 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 112005 0 0 0 179887 116 0 0 25 0 1 0 242536527 456839168 110844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 111533 110844 310 324 0 110603 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 446132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 31902 /proc/meminfo: memFree=1416464/2055920 swapFree=4183304/4192956 [pid=31899] ppid=31897 vsize=446132 CPUtime=1800.03 /proc/31899/stat : 31899 (bsolo3.0.17) R 31897 31899 31193 0 -1 4194304 112005 0 0 0 179887 116 0 0 25 0 1 0 242536527 456839168 110844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 111533 110844 310 324 0 110603 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 446132 Child status: 15 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1798.87 CPU system time (s): 1.23881 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 446132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.87 system time used= 1.23881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112009 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= 2690 runsolver used 1.52077 second user time and 3.40448 second system time The end
Begin job on node60 on Mon Apr 30 15:17:46 UTC 2007 IDJOB= 432611 IDBENCH= 1609 IDSOLVER= 199 FILE ID= node60/432611-1177946265 PBS_JOBID= 4727538 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/432611-1177946265/instance-432611-1177946265.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-432611-1177946265 -o ROOT/results/node60/solver-432611-1177946265 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432611-1177946265/instance-432611-1177946265.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0748343c41c1a4f38800a46bbbd374d2 RANDOM SEED= 20841607 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1860456 kB Buffers: 15720 kB Cached: 104504 kB SwapCached: 3672 kB Active: 24148 kB Inactive: 105856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860456 kB SwapTotal: 4192956 kB SwapFree: 4183304 kB Dirty: 8152 kB Writeback: 0 kB Mapped: 15748 kB Slab: 51408 kB Committed_AS: 2704888 kB PageTables: 1464 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= 66557 MiB End job on node60 on Mon Apr 30 15:47:48 UTC 2007