Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.08 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb |
MD5SUM | 3de80c0560622133ffefa60f8e73d039 |
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 | 3616 |
Total number of constraints | 125707 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 44 |
Number of constraints which are nor clauses,nor cardinality constraints | 125663 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 189 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 260554 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524316 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524424 |
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/432806-1177950055/instance-432806-1177950055.opb 0.00/0.00 c File size is 80386080 bytes. 14.49/14.57 c Highest Coefficient sum: 524424 14.49/14.57 c Parsing was ok!! 14.49/14.57 c Total parsing time: 14.566 s 14.69/14.74 c Var: 3616 Constr: 125844 45/44/125755 Lit: 9400270 Watch. Lit: 351996 14.69/14.74 c Obj. Vars: 48 (1.32743 % of total variables) 90.96/91.04 c Pre-processing Time: 91.014 s 90.96/91.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.96/91.07 c 0 2676 54169 3881078 71 262715 500000 0 0 91.01 90.96/91.07 c Switching off LPR mode. 1800.01/1800.50 c 100 2676 54269 3926107 72 263658 550001 100 1 91.86 1800.01/1800.50 c 251 2676 54420 3938676 72 269747 605002 251 2 92.77 1800.01/1800.50 c 476 2676 54645 3968160 72 267221 665503 476 5 93.08 1800.01/1800.50 c 814 2676 54983 4003964 72 268474 732054 814 8 93.42 1800.01/1800.50 c 1322 2676 55491 4038084 72 269433 805260 1322 14 93.64 1800.01/1800.50 c 2086 2676 56255 4084892 72 281435 885787 2086 22 94.26 1800.01/1800.50 c 3232 2676 57401 4192647 73 282795 974366 3232 33 95.36 1800.01/1800.50 c 4954 2676 59123 4489547 75 285217 500000 4954 51 96.74 1800.01/1800.50 c 7538 2676 61707 4637334 75 296822 550001 7538 77 97.56 1800.01/1800.50 c 11417 2676 65586 4768251 72 308938 605002 11417 114 99.38 1800.01/1800.50 c 17239 2676 71408 5312678 74 314993 665503 17239 165 103.92 1800.01/1800.50 c 25977 2676 80146 5678278 70 328802 732054 25977 239 108.57 1800.01/1800.50 c 39087 2676 93256 6964025 74 359357 805260 39087 305 127.94 1800.01/1800.50 c 58757 2676 112926 8095820 71 388643 885787 58757 383 153.15 1800.01/1800.50 c 88267 2676 142436 9341374 65 450482 974366 88267 436 202.18 1800.01/1800.50 c 132538 2674 186707 12230150 65 535567 500000 132538 474 279.22 1800.01/1800.50 c 198949 2674 253118 18765879 74 674014 550001 198949 307 647.05 1800.01/1800.50 c 298570 2674 352739 25018411 70 872243 605002 298570 228 1306.65 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 18 328692 77753 747007 382861 28140606 328692 182 1800.02 1800.01/1800.50 s UNKNOWN 1800.01/1800.50 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-432806-1177950055 -o ROOT/results/node15/solver-432806-1177950055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432806-1177950055/instance-432806-1177950055.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.89 0.98 0.92 3/77 29330 /proc/meminfo: memFree=1643904/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=90240 CPUtime=0 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242923542 92405760 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 22560 333 280 324 0 2004 0 [startup+0.048484 s] /proc/loadavg: 0.89 0.98 0.92 3/77 29330 /proc/meminfo: memFree=1643904/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=82948 CPUtime=0.04 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 534 0 0 0 4 0 0 0 18 0 1 0 242923542 84938752 504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 20737 504 340 324 0 181 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 82948 [startup+0.101488 s] /proc/loadavg: 0.89 0.98 0.92 3/77 29330 /proc/meminfo: memFree=1643904/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=83336 CPUtime=0.09 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 242923542 85336064 693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 20834 693 412 324 0 278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83336 [startup+0.301508 s] /proc/loadavg: 0.89 0.98 0.92 3/77 29330 /proc/meminfo: memFree=1643904/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=85156 CPUtime=0.29 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 1436 0 0 0 29 0 0 0 19 0 1 0 242923542 87199744 1406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 21289 1407 682 324 0 733 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 85156 [startup+0.701543 s] /proc/loadavg: 0.89 0.98 0.92 3/77 29330 /proc/meminfo: memFree=1643904/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=88640 CPUtime=0.69 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 2869 0 0 0 69 0 0 0 23 0 1 0 242923542 90767360 2839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 22160 2839 1224 324 0 1604 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 88640 [startup+1.50162 s] /proc/loadavg: 0.89 0.98 0.92 2/78 29331 /proc/meminfo: memFree=1634680/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=95856 CPUtime=1.49 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 5750 0 0 0 148 1 0 0 25 0 1 0 242923542 98156544 5720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 23964 5721 2316 324 0 3408 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 95856 [startup+3.10276 s] /proc/loadavg: 0.89 0.98 0.92 2/78 29331 /proc/meminfo: memFree=1622776/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=110064 CPUtime=3.09 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 11507 0 0 0 305 4 0 0 25 0 1 0 242923542 112705536 11477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7978631 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 27516 11477 4522 324 0 6960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 110064 [startup+6.30106 s] /proc/loadavg: 0.98 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1596472/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=138332 CPUtime=6.29 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 22853 0 0 0 619 10 0 0 25 0 1 0 242923542 141651968 22823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 34583 22823 8808 324 0 14027 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 138332 [startup+12.7016 s] /proc/loadavg: 0.98 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1538296/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=194644 CPUtime=12.68 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 45516 0 0 0 1250 18 0 0 25 0 1 0 242923542 199315456 45486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7943504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 48661 45486 17388 324 0 28105 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 194644 [startup+25.5018 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1359480/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=288688 CPUtime=25.48 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 91175 0 0 0 2510 38 0 0 25 0 1 0 242923542 295616512 71519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545300 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 72172 71519 305 324 0 71242 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 288688 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1358904/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=289480 CPUtime=51.08 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 91372 0 0 0 5064 44 0 0 25 0 1 0 242923542 296427520 71716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 72370 71716 305 324 0 71440 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 289480 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1504568/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=143764 CPUtime=102.26 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 91582 0 0 0 10179 47 0 0 25 0 1 0 242923542 147214336 35298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 35941 35298 309 324 0 35011 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 143764 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1500088/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=148100 CPUtime=162.25 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 92688 0 0 0 16176 49 0 0 25 0 1 0 242923542 151654400 36404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 37025 36404 309 324 0 36095 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 148100 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1487352/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=160900 CPUtime=222.23 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 95883 0 0 0 22171 52 0 0 25 0 1 0 242923542 164761600 39599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 40225 39599 309 324 0 39295 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 160900 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1461496/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=187004 CPUtime=282.22 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 102393 0 0 0 28162 60 0 0 25 0 1 0 242923542 191492096 46109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 46751 46109 309 324 0 45821 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 187004 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1431800/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=216468 CPUtime=342.2 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 109766 0 0 0 34152 68 0 0 25 0 1 0 242923542 221663232 53482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 54117 53482 309 324 0 53187 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 216468 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1417848/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=230552 CPUtime=402.18 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 113275 0 0 0 40146 72 0 0 25 0 1 0 242923542 236085248 56991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 57638 56991 309 324 0 56708 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 230552 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1405624/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=242580 CPUtime=462.17 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 116308 0 0 0 46141 76 0 0 25 0 1 0 242923542 248401920 60024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 60645 60024 309 324 0 59715 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 242580 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1394168/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=254100 CPUtime=522.15 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 119190 0 0 0 52136 79 0 0 25 0 1 0 242923542 260198400 62906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 63525 62906 309 324 0 62595 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 254100 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1384248/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=264064 CPUtime=582.13 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 121662 0 0 0 58131 82 0 0 25 0 1 0 242923542 270401536 65378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 66016 65378 309 324 0 65086 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 264064 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1372856/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=275328 CPUtime=642.12 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 124479 0 0 0 64126 86 0 0 25 0 1 0 242923542 281935872 68195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 68832 68195 309 324 0 67902 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 275328 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1323384/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=324696 CPUtime=882.05 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 136839 0 0 0 88108 97 0 0 25 0 1 0 242923542 332488704 80555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 81174 80555 309 324 0 80244 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 324696 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1314808/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=333284 CPUtime=942.04 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 138985 0 0 0 94105 99 0 0 25 0 1 0 242923542 341282816 82701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 83321 82701 309 324 0 82391 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 333284 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1308472/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=339508 CPUtime=1002.02 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 140546 0 0 0 100100 102 0 0 25 0 1 0 242923542 347656192 84262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 84877 84262 309 324 0 83947 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 339508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1303928/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=344228 CPUtime=1062 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 141697 0 0 0 106097 103 0 0 25 0 1 0 242923542 352489472 85413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 86057 85413 309 324 0 85127 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 344228 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29331 /proc/meminfo: memFree=1299640/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=348404 CPUtime=1121.99 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 142740 0 0 0 112094 105 0 0 25 0 1 0 242923542 356765696 86456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 87101 86456 309 324 0 86171 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 348404 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1293944/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=354116 CPUtime=1181.97 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 144194 0 0 0 118090 107 0 0 25 0 1 0 242923542 362614784 87910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 88529 87910 309 324 0 87599 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 354116 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1286392/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=361620 CPUtime=1241.96 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 146057 0 0 0 124086 110 0 0 25 0 1 0 242923542 370298880 89773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 90405 89773 309 324 0 89475 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 361620 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1280824/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=367196 CPUtime=1301.95 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 147442 0 0 0 130083 112 0 0 25 0 1 0 242923542 376008704 91158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 91799 91158 309 324 0 90869 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 367196 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1271032/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=376928 CPUtime=1361.92 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 149891 0 0 0 136078 114 0 0 25 0 1 0 242923542 385974272 93607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 94232 93607 309 324 0 93302 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 376928 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1264248/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=383588 CPUtime=1421.91 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 151553 0 0 0 142075 116 0 0 25 0 1 0 242923542 392794112 95269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 95897 95269 309 324 0 94967 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 383588 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1259320/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=388736 CPUtime=1481.89 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 152827 0 0 0 148072 117 0 0 25 0 1 0 242923542 398065664 96543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 97184 96543 309 324 0 96254 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 388736 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29333 /proc/meminfo: memFree=1254392/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=393472 CPUtime=1541.87 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 154018 0 0 0 154068 119 0 0 25 0 1 0 242923542 402915328 97734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 98368 97734 309 324 0 97438 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 393472 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 0.94 2/78 29333 /proc/meminfo: memFree=1249784/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=398228 CPUtime=1601.86 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 155210 0 0 0 160066 120 0 0 25 0 1 0 242923542 407785472 98926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 99557 98926 309 324 0 98627 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 398228 [startup+1662.3 s] /proc/loadavg: 1.05 1.02 0.94 2/78 29333 /proc/meminfo: memFree=1245176/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=402572 CPUtime=1661.84 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 156307 0 0 0 166063 121 0 0 25 0 1 0 242923542 412233728 100023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 100643 100023 309 324 0 99713 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 402572 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.94 2/78 29333 /proc/meminfo: memFree=1241400/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=406388 CPUtime=1721.82 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 157260 0 0 0 172060 122 0 0 25 0 1 0 242923542 416141312 100976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 101597 100976 309 324 0 100667 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 406388 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.94 2/78 29333 /proc/meminfo: memFree=1238136/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=409644 CPUtime=1781.81 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 158059 0 0 0 178057 124 0 0 25 0 1 0 242923542 419475456 101775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 102411 101775 309 324 0 101481 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 409644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.94 2/78 29333 /proc/meminfo: memFree=1237368/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=410424 CPUtime=1800.01 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 158270 0 0 0 179876 125 0 0 25 0 1 0 242923542 420274176 101986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 102606 101986 309 324 0 101676 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 410424 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.01 0.94 2/78 29333 /proc/meminfo: memFree=1237368/2055920 swapFree=4169108/4192956 [pid=29330] ppid=29328 vsize=410424 CPUtime=1800.01 /proc/29330/stat : 29330 (bsolo3.0.17) R 29328 29330 28184 0 -1 4194304 158270 0 0 0 179876 125 0 0 25 0 1 0 242923542 420274176 101986 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29330/statm: 102606 101986 309 324 0 101676 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 410424 Child status: 15 Real time (s): 1800.57 CPU time (s): 1800.08 CPU user time (s): 1798.76 CPU system time (s): 1.3198 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 410424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.76 system time used= 1.3198 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158274 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= 37495 runsolver used 1.41278 second user time and 3.75343 second system time The end
Begin job on node15 on Mon Apr 30 16:20:59 UTC 2007 IDJOB= 432806 IDBENCH= 1813 IDSOLVER= 199 FILE ID= node15/432806-1177950055 PBS_JOBID= 4727653 Free space on /tmp= 66481 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432806-1177950055/instance-432806-1177950055.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-432806-1177950055 -o ROOT/results/node15/solver-432806-1177950055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432806-1177950055/instance-432806-1177950055.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3de80c0560622133ffefa60f8e73d039 RANDOM SEED= 333926892 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1644376 kB Buffers: 35452 kB Cached: 255568 kB SwapCached: 2264 kB Active: 184072 kB Inactive: 159368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644376 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 85248 kB Writeback: 0 kB Mapped: 60012 kB Slab: 53480 kB Committed_AS: 7231012 kB PageTables: 1944 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= 66481 MiB End job on node15 on Mon Apr 30 16:51:02 UTC 2007