Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.07 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-standgub.opb |
MD5SUM | be7d2de9880253117af16fa9444a1c79 |
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 | 33244 |
Total number of constraints | 456 |
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 | 456 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 86232 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524437 |
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 | 542229 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Time Limit set to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/348397-1176581728/instance-348397-1176581728.opb 0.00/0.02 c File size is 923451 bytes. 0.17/0.21 c Highest Coefficient sum: 542229 0.17/0.21 c Parsing was ok!! 0.17/0.21 c Total parsing time: 0.195 s 0.17/0.23 c Var: 33244 Constr: 617 4/0/613 Lit: 154254 Watch. Lit: 53677 0.17/0.23 c Obj. Vars: 210 (0.631693 % of total variables) 26.66/26.78 c Pre-processing Time: 26.756 s 26.66/26.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.66/26.78 c 0 19436 579 146223 252 108768 292267 0 0 26.76 26.66/26.78 c Switching off LPR mode. 1799.95/1800.65 c 100 19436 679 166679 245 109753 321494 100 3 26.99 1799.95/1800.65 c 250 19436 829 189172 228 110049 353644 250 9 27.18 1799.95/1800.65 c 475 19436 1054 224666 213 110502 389009 475 17 27.42 1799.95/1800.65 c 813 19436 1392 283815 203 111555 427910 813 28 28.05 1799.95/1800.65 c 1325 19436 1904 376659 197 112583 470702 1325 45 28.96 1799.95/1800.65 c 2088 19436 2667 528048 197 114109 517773 2088 67 30.95 1799.95/1800.65 c 3236 19436 3815 706022 185 116406 569551 3236 96 33.60 1799.95/1800.65 c 4962 19436 5541 1133348 204 120096 626507 4962 142 34.94 1799.95/1800.65 c 7546 19436 8125 1586700 195 125260 689158 7546 195 38.50 1799.95/1800.65 c 11426 19432 12005 2396810 199 133164 758074 11426 231 49.28 1799.95/1800.65 c 17248 19432 17827 3002905 168 144736 833882 17248 233 73.88 1799.95/1800.65 c 25990 19432 26569 6743332 253 162229 917271 25990 259 100.22 1799.95/1800.65 c 39100 19432 39679 11227822 282 188410 500000 39100 230 169.94 1799.95/1800.65 c 58770 19432 59349 12808421 215 227766 550001 58770 232 252.56 1799.95/1800.65 c 88281 19432 88860 19538755 219 286749 605002 88281 180 488.67 1799.95/1800.65 c 132551 19432 133130 23895513 179 375056 665503 132551 114 1160.97 1799.95/1800.65 c Resources Exceeded 1799.95/1800.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.65 c 16 155474 35246 1305004 156053 25062353 155474 86 1800.01 1799.95/1800.65 s UNKNOWN 1799.95/1800.65 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-348397-1176581728 -o ROOT/results/node37/solver-348397-1176581728 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348397-1176581728/instance-348397-1176581728.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.99 3/78 16794 /proc/meminfo: memFree=1513856/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=3780 CPUtime=0 /proc/16794/stat : 16794 (bsolo3.0.16) D 16792 16794 16476 0 -1 4194304 216 0 3 0 0 0 0 0 18 0 1 0 106085286 3870720 187 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4030128 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/16794/statm: 945 187 160 324 0 14 0 [startup+0.0136001 s] /proc/loadavg: 0.99 0.98 0.99 3/78 16794 /proc/meminfo: memFree=1513856/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=3780 CPUtime=0 /proc/16794/stat : 16794 (bsolo3.0.16) D 16792 16794 16476 0 -1 4194304 216 0 3 0 0 0 0 0 18 0 1 0 106085286 3870720 187 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4030128 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/16794/statm: 945 187 160 324 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3780 [startup+0.101616 s] /proc/loadavg: 0.99 0.98 0.99 3/78 16794 /proc/meminfo: memFree=1513856/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=7728 CPUtime=0.07 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 1186 0 4 0 7 0 0 0 18 0 1 0 106085286 7913472 1118 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 1932 1118 373 324 0 775 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7728 [startup+0.301654 s] /proc/loadavg: 0.99 0.98 0.99 3/78 16794 /proc/meminfo: memFree=1513856/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=13872 CPUtime=0.28 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3177 0 4 0 27 1 0 0 19 0 1 0 106085286 14204928 2751 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3596343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3468 2751 306 324 0 2537 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 13872 [startup+0.701729 s] /proc/loadavg: 0.99 0.98 0.99 3/78 16794 /proc/meminfo: memFree=1513856/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=14004 CPUtime=0.67 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3191 0 4 0 66 1 0 0 22 0 1 0 106085286 14340096 2765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3501 2765 306 324 0 2570 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 14004 [startup+1.50188 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1503224/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=14004 CPUtime=1.47 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3191 0 4 0 146 1 0 0 25 0 1 0 106085286 14340096 2765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3501 2765 306 324 0 2570 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 14004 [startup+3.10118 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1503096/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=14004 CPUtime=3.07 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3191 0 4 0 306 1 0 0 25 0 1 0 106085286 14340096 2765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3501 2765 306 324 0 2570 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 14004 [startup+6.30179 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1502776/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=14004 CPUtime=6.27 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3191 0 4 0 625 2 0 0 25 0 1 0 106085286 14340096 2765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3501 2765 306 324 0 2570 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 14004 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1502776/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=14004 CPUtime=12.66 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3191 0 4 0 1264 2 0 0 25 0 1 0 106085286 14340096 2765 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3501 2765 306 324 0 2570 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 14004 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1501624/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=15352 CPUtime=25.46 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 3872 0 4 0 2541 5 0 0 25 0 1 0 106085286 15720448 3121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 3838 3121 308 324 0 2907 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 15352 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1471864/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=46052 CPUtime=51.05 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 11563 0 4 0 5083 22 0 0 25 0 1 0 106085286 47157248 10812 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3596313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 11513 10812 312 324 0 10582 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 46052 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1414520/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=102448 CPUtime=102.23 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 25663 0 4 0 10174 49 0 0 25 0 1 0 106085286 104906752 24912 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 25612 24912 312 324 0 24681 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 102448 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1363960/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=153092 CPUtime=162.21 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 38338 0 4 0 16157 64 0 0 25 0 1 0 106085286 156766208 37587 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 38273 37587 312 324 0 37342 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 153092 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1346104/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=170548 CPUtime=222.19 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 42700 0 4 0 22148 71 0 0 25 0 1 0 106085286 174641152 41949 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 42637 41949 312 324 0 41706 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 170548 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1334008/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=182556 CPUtime=282.17 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 45714 0 4 0 28140 77 0 0 25 0 1 0 106085286 186937344 44963 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 45639 44963 312 324 0 44708 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 182556 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1332536/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=184048 CPUtime=342.15 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 46068 0 4 0 34136 79 0 0 25 0 1 0 106085286 188465152 45317 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 46012 45317 312 324 0 45081 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 184048 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1331128/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=185396 CPUtime=402.13 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 46420 0 4 0 40133 80 0 0 25 0 1 0 106085286 189845504 45669 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 46349 45669 312 324 0 45418 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 185396 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1281976/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=235268 CPUtime=462.11 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 58891 0 4 0 46120 91 0 0 25 0 1 0 106085286 240914432 58140 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 58817 58140 312 324 0 57886 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 235268 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1224120/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=293292 CPUtime=522.08 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 73373 0 4 0 52090 118 0 0 25 0 1 0 106085286 300331008 72622 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 73323 72622 312 324 0 72392 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 293292 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1209848/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=307300 CPUtime=582.07 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 76881 0 4 0 58078 129 0 0 25 0 1 0 106085286 314675200 76130 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 76825 76130 312 324 0 75894 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 307300 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1200824/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=315612 CPUtime=642.05 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 78953 0 4 0 64073 132 0 0 25 0 1 0 106085286 323186688 78202 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 78903 78202 312 324 0 77972 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 315612 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1192184/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=324160 CPUtime=881.96 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 81113 0 4 0 88058 138 0 0 25 0 1 0 106085286 331939840 80362 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 81040 80362 312 324 0 80109 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 324160 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1190968/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=325424 CPUtime=941.95 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 81422 0 4 0 94054 141 0 0 25 0 1 0 106085286 333234176 80671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572049 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 81356 80671 312 324 0 80425 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 325424 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1189880/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=326532 CPUtime=1001.93 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 81699 0 4 0 100051 142 0 0 25 0 1 0 106085286 334368768 80948 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 81633 80948 312 324 0 80702 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 326532 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1188472/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=327924 CPUtime=1061.9 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 82042 0 4 0 106047 143 0 0 25 0 1 0 106085286 335794176 81291 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 81981 81291 312 324 0 81050 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 327924 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1186488/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=329908 CPUtime=1121.89 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 82534 0 4 0 112044 145 0 0 25 0 1 0 106085286 337825792 81783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 82477 81783 312 324 0 81546 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 329908 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1184824/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=331560 CPUtime=1181.86 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 82956 0 4 0 118039 147 0 0 25 0 1 0 106085286 339517440 82205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 82890 82205 312 324 0 81959 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 331560 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1182776/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=333612 CPUtime=1241.84 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 83460 0 4 0 124035 149 0 0 25 0 1 0 106085286 341618688 82709 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 83403 82709 312 324 0 82472 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 333612 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16795 /proc/meminfo: memFree=1181304/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=335036 CPUtime=1301.82 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 83834 0 4 0 130032 150 0 0 25 0 1 0 106085286 343076864 83083 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 83759 83083 312 324 0 82828 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 335036 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16797 /proc/meminfo: memFree=1179896/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=336336 CPUtime=1361.8 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 84159 0 4 0 136029 151 0 0 25 0 1 0 106085286 344408064 83408 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 84084 83408 312 324 0 83153 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 336336 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16797 /proc/meminfo: memFree=1178424/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=338008 CPUtime=1421.79 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 84550 0 4 0 142026 153 0 0 25 0 1 0 106085286 346120192 83799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 84502 83799 312 324 0 83571 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 338008 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 16797 /proc/meminfo: memFree=1176824/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=339588 CPUtime=1481.76 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 84950 0 4 0 148022 154 0 0 25 0 1 0 106085286 347738112 84199 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 84897 84199 312 324 0 83966 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 339588 [startup+1542.3 s] /proc/loadavg: 1.03 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1175160/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=341144 CPUtime=1541.73 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 85354 0 4 0 154018 155 0 0 25 0 1 0 106085286 349331456 84603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 85286 84603 312 324 0 84355 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 341144 [startup+1602.3 s] /proc/loadavg: 1.01 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1173432/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=342944 CPUtime=1601.71 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 85790 0 4 0 160014 157 0 0 25 0 1 0 106085286 351174656 85039 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 85736 85039 312 324 0 84805 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 342944 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1171640/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=344656 CPUtime=1661.7 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 86235 0 4 0 166010 160 0 0 25 0 1 0 106085286 352927744 85484 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 86164 85484 312 324 0 85233 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 344656 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1169976/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=346404 CPUtime=1721.68 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 86664 0 4 0 172006 162 0 0 25 0 1 0 106085286 354717696 85913 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 86601 85913 312 324 0 85670 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 346404 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1168248/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=348064 CPUtime=1781.66 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194304 87089 0 4 0 178003 163 0 0 25 0 1 0 106085286 356417536 86338 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 87016 86338 312 324 0 86085 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 348064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1486712/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=0 CPUtime=1800.06 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194308 87230 0 4 0 179837 169 0 0 25 0 1 0 106085286 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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.71 s] /proc/loadavg: 1.00 0.99 0.99 2/79 16797 /proc/meminfo: memFree=1486712/2055920 swapFree=4192812/4192956 [pid=16794] ppid=16792 vsize=0 CPUtime=1800.06 /proc/16794/stat : 16794 (bsolo3.0.16) R 16792 16794 16476 0 -1 4194308 87230 0 4 0 179837 169 0 0 25 0 1 0 106085286 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16794/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.07 CPU user time (s): 1798.37 CPU system time (s): 1.69674 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 348736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.37 system time used= 1.69674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87230 page faults= 4 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 2122 runsolver used 1.78273 second user time and 4.78127 second system time The end
Begin job on node37 on Sat Apr 14 20:15:28 UTC 2007 IDJOB= 348397 IDBENCH= 1666 IDSOLVER= 163 FILE ID= node37/348397-1176581728 PBS_JOBID= 4556929 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/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standgub.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348397-1176581728/instance-348397-1176581728.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-348397-1176581728 -o ROOT/results/node37/solver-348397-1176581728 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348397-1176581728/instance-348397-1176581728.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= be7d2de9880253117af16fa9444a1c79 RANDOM SEED= 407417558 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1514328 kB Buffers: 38160 kB Cached: 210108 kB SwapCached: 0 kB Active: 317516 kB Inactive: 135864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1514328 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 5368 kB Writeback: 0 kB Mapped: 224204 kB Slab: 73556 kB Committed_AS: 366744 kB PageTables: 2000 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 node37 on Sat Apr 14 20:45:31 UTC 2007