Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.11 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb |
MD5SUM | 99a4e5b0ce7b98bffc278cf1f6704eb9 |
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 | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 5488 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 535829 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535829 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/348839-1176600378/instance-348839-1176600378.opb 0.00/0.00 c File size is 482028 bytes. 0.06/0.09 c Highest Coefficient sum: 535829 0.06/0.09 c Parsing was ok!! 0.06/0.09 c Total parsing time: 0.093 s 0.06/0.10 c Var: 14265 Constr: 368 29/11/328 Lit: 52314 Watch. Lit: 6242 0.06/0.10 c Obj. Vars: 14235 (99.7897 % of total variables) 1.79/1.85 c Pre-processing Time: 1.849 s 1.79/1.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.85 c 0 10190 367 51922 141 38211 103079 0 0 1.85 1.79/1.85 c Switching off LPR mode. 1799.93/1800.46 c 102 10190 469 59916 127 38562 113387 102 53 1.92 1799.93/1800.46 c 252 10190 619 72104 116 39005 124726 252 120 2.10 1799.93/1800.46 c 477 10190 844 76294 90 39365 137199 477 218 2.18 1799.93/1800.46 c 815 10190 1182 106952 90 40101 150919 815 343 2.38 1799.93/1800.46 c 1323 10190 1690 126562 74 41134 166011 1323 510 2.59 1799.93/1800.46 c 2087 10189 2454 169315 68 42595 182613 2087 706 2.95 1799.93/1800.46 c 3233 10189 3600 201373 55 44882 200875 3233 797 4.05 1799.93/1800.46 c 4954 10189 5321 356562 67 48360 220963 4954 1136 4.36 1799.93/1800.46 c 7538 10189 7905 466895 59 53420 243060 7538 1061 7.10 1799.93/1800.46 c 11418 10189 11785 642889 54 61180 267367 11418 1401 8.14 1799.93/1800.46 c 17241 10189 17608 933936 53 72833 294104 17241 1754 9.83 1799.93/1800.46 c 25978 10189 26345 1388374 52 90280 323515 25978 1837 14.14 1799.93/1800.46 c 39088 10189 39455 1831011 46 116476 355867 39088 1915 20.40 1799.93/1800.46 c 58758 10189 59125 6459903 109 155704 391454 58758 1128 52.06 1799.93/1800.46 c 88268 10189 88635 7318720 82 214744 430600 88268 1126 78.33 1799.93/1800.46 c 132540 10189 132907 9015923 67 303146 473661 132540 1050 126.14 1799.93/1800.46 c 198951 10189 199318 11762665 59 435958 521028 198951 918 216.53 1799.93/1800.46 c 298571 10189 298938 21419169 71 635220 573131 298571 507 587.88 1799.93/1800.46 c 448006 10189 448373 34612344 77 934134 630445 448006 292 1533.36 1799.93/1800.46 c Resources Exceeded 1799.93/1800.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.46 c 19 523618 28958 743116 523985 46728286 523618 290 1800.00 1799.93/1800.46 s UNKNOWN 1799.93/1800.46 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/node44/watcher-348839-1176600378 -o ROOT/results/node44/solver-348839-1176600378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348839-1176600378/instance-348839-1176600378.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.92 0.98 0.99 3/64 27695 /proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=12208 CPUtime=0 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 107949512 12500992 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 3052 335 281 324 0 2003 0 [startup+0.070676 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27695 /proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=5964 CPUtime=0.06 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 852 0 0 0 6 0 0 0 18 0 1 0 107949512 6107136 820 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 1491 820 365 324 0 442 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5964 [startup+0.101678 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27695 /proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=7036 CPUtime=0.09 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1269 0 0 0 9 0 0 0 18 0 1 0 107949512 7204864 1119 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 1759 1119 305 324 0 828 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7036 [startup+0.301698 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27695 /proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=7824 CPUtime=0.29 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1445 0 0 0 29 0 0 0 19 0 1 0 107949512 8011776 1295 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 1956 1295 305 324 0 1025 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7824 [startup+0.70174 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27695 /proc/meminfo: memFree=1554488/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=8400 CPUtime=0.69 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1710 0 0 0 68 1 0 0 22 0 1 0 107949512 8601600 1448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 2100 1448 307 324 0 1169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8400 [startup+1.50182 s] /proc/loadavg: 0.92 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1549872/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=8400 CPUtime=1.49 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 1710 0 0 0 147 2 0 0 25 0 1 0 107949512 8601600 1448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 2100 1448 307 324 0 1169 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8400 [startup+3.10199 s] /proc/loadavg: 0.92 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1549680/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=9576 CPUtime=3.09 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 2023 0 0 0 305 4 0 0 25 0 1 0 107949512 9805824 1761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 2394 1761 311 324 0 1463 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9576 [startup+6.30131 s] /proc/loadavg: 0.93 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1544944/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=13492 CPUtime=6.29 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 2979 0 0 0 624 5 0 0 25 0 1 0 107949512 13815808 2717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 3373 2717 311 324 0 2442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13492 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1532720/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=26224 CPUtime=12.69 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 6169 0 0 0 1260 9 0 0 25 0 1 0 107949512 26853376 5907 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 6556 5907 311 324 0 5625 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26224 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1505712/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=53112 CPUtime=25.49 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 12889 0 0 0 2534 15 0 0 25 0 1 0 107949512 54386688 12627 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 13278 12627 311 324 0 12347 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53112 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1464304/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=94332 CPUtime=51.08 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 23203 0 0 0 5082 26 0 0 25 0 1 0 107949512 96595968 22941 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 23583 22941 311 324 0 22652 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94332 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1430640/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=127232 CPUtime=102.26 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 31435 0 0 0 10188 38 0 0 25 0 1 0 107949512 130285568 31173 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 31808 31173 311 324 0 30877 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 127232 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1396272/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=161724 CPUtime=162.25 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 40064 0 0 0 16170 55 0 0 25 0 1 0 107949512 165605376 39802 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 40431 39802 311 324 0 39500 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 161724 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1368240/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=189552 CPUtime=222.24 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 47019 0 0 0 22157 67 0 0 25 0 1 0 107949512 194101248 46757 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 47388 46757 311 324 0 46457 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 189552 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1335856/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=221952 CPUtime=282.22 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 55116 0 0 0 28144 78 0 0 25 0 1 0 107949512 227278848 54854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 55488 54854 311 324 0 54557 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 221952 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1314160/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=243484 CPUtime=342.2 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 60481 0 0 0 34134 86 0 0 25 0 1 0 107949512 249327616 60219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 60871 60219 311 324 0 59940 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 243484 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1296496/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=261172 CPUtime=402.19 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 64919 0 0 0 40126 93 0 0 25 0 1 0 107949512 267440128 64657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 65293 64657 311 324 0 64362 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 261172 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1276784/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=280776 CPUtime=462.17 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 69832 0 0 0 46118 99 0 0 25 0 1 0 107949512 287514624 69570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 70194 69570 311 324 0 69263 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 280776 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1258096/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=299648 CPUtime=522.16 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 74521 0 0 0 52110 106 0 0 25 0 1 0 107949512 306839552 74259 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 74912 74259 311 324 0 73981 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 299648 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1244848/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=312696 CPUtime=582.14 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 77798 0 0 0 58102 112 0 0 25 0 1 0 107949512 320200704 77536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 78174 77536 311 324 0 77243 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 312696 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27696 /proc/meminfo: memFree=1199600/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=357712 CPUtime=642.13 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 89050 0 0 0 64089 124 0 0 25 0 1 0 107949512 366297088 88788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 89428 88788 311 324 0 88497 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 357712 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1136816/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=420316 CPUtime=882.07 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 104703 0 0 0 88058 149 0 0 25 0 1 0 107949512 430403584 104441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11714106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 105079 104441 311 324 0 104148 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 420316 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1122032/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=435276 CPUtime=942.06 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 108438 0 0 0 94049 157 0 0 25 0 1 0 107949512 445722624 108176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 108819 108176 311 324 0 107888 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 435276 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1112432/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=444712 CPUtime=1002.03 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 110803 0 0 0 100042 161 0 0 25 0 1 0 107949512 455385088 110541 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 111178 110541 311 324 0 110247 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 444712 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1105584/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=451576 CPUtime=1062.02 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 112519 0 0 0 106039 163 0 0 25 0 1 0 107949512 462413824 112257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 112894 112257 311 324 0 111963 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 451576 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1099376/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=457780 CPUtime=1122 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 114065 0 0 0 112034 166 0 0 25 0 1 0 107949512 468766720 113803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 114445 113803 311 324 0 113514 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 457780 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1093424/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=463728 CPUtime=1181.98 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 115550 0 0 0 118030 168 0 0 25 0 1 0 107949512 474857472 115288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 115932 115288 311 324 0 115001 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 463728 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1088752/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=468372 CPUtime=1241.97 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 116723 0 0 0 124026 171 0 0 25 0 1 0 107949512 479612928 116461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 117093 116461 311 324 0 116162 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 468372 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1078192/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=478840 CPUtime=1301.96 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 119336 0 0 0 130020 176 0 0 25 0 1 0 107949512 490332160 119074 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 119710 119074 311 324 0 118779 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 478840 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1071920/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=485184 CPUtime=1361.95 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 120915 0 0 0 136015 180 0 0 25 0 1 0 107949512 496828416 120653 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 121296 120653 311 324 0 120365 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 485184 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1066864/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=490208 CPUtime=1421.94 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 122167 0 0 0 142012 182 0 0 25 0 1 0 107949512 501972992 121905 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 122552 121905 311 324 0 121621 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 490208 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1062704/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=494492 CPUtime=1481.91 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 123230 0 0 0 148007 184 0 0 25 0 1 0 107949512 506359808 122968 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 123623 122968 311 324 0 122692 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 494492 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1049840/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=507404 CPUtime=1541.9 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 126458 0 0 0 154002 188 0 0 25 0 1 0 107949512 519581696 126196 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 126851 126196 311 324 0 125920 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 507404 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=994672/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=562772 CPUtime=1601.88 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 140306 0 0 0 159983 205 0 0 25 0 1 0 107949512 576278528 140044 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 140693 140044 311 324 0 139762 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 562772 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=962032/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=595004 CPUtime=1661.87 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 148380 0 0 0 165970 217 0 0 25 0 1 0 107949512 609284096 148118 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 148751 148118 311 324 0 147820 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 595004 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=928560/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=628388 CPUtime=1721.86 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 156731 0 0 0 171958 228 0 0 25 0 1 0 107949512 643469312 156469 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 157097 156469 311 324 0 156166 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 628388 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=902128/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=654696 CPUtime=1781.83 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194304 163301 0 0 0 177948 235 0 0 25 0 1 0 107949512 670408704 163039 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11722469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 163674 163039 311 324 0 162743 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 654696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1131184/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=0 CPUtime=1800.03 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194308 164990 0 0 0 179761 242 0 0 25 0 1 0 107949512 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27698 /proc/meminfo: memFree=1131184/2055920 swapFree=4184880/4192956 [pid=27695] ppid=27693 vsize=0 CPUtime=1800.03 /proc/27695/stat : 27695 (bsolo3.0.16) R 27693 27695 27084 0 -1 4194308 164990 0 0 0 179761 242 0 0 25 0 1 0 107949512 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27695/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.11 CPU user time (s): 1797.62 CPU system time (s): 2.48762 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 661404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.62 system time used= 2.48762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 164990 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= 1810 runsolver used 1.15382 second user time and 3.77642 second system time The end
Begin job on node44 on Sun Apr 15 01:26:18 UTC 2007 IDJOB= 348839 IDBENCH= 1758 IDSOLVER= 163 FILE ID= node44/348839-1176600378 PBS_JOBID= 4557008 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348839-1176600378/instance-348839-1176600378.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-348839-1176600378 -o ROOT/results/node44/solver-348839-1176600378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348839-1176600378/instance-348839-1176600378.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 99a4e5b0ce7b98bffc278cf1f6704eb9 RANDOM SEED= 299281575 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1554960 kB Buffers: 49712 kB Cached: 336096 kB SwapCached: 2472 kB Active: 95116 kB Inactive: 308236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1554960 kB SwapTotal: 4192956 kB SwapFree: 4184880 kB Dirty: 4860 kB Writeback: 0 kB Mapped: 16744 kB Slab: 83608 kB Committed_AS: 220920 kB PageTables: 1396 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= 66560 MiB End job on node44 on Sun Apr 15 01:56:21 UTC 2007