Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 1523 | 79.2639 | 79.2919 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 2.6466 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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/363527-1177029220/instance-363527-1177029220.opb 0.00/0.00 c File size is 17810 bytes. 0.00/0.00 c Highest Coefficient sum: 19980 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 201 Constr: 133 20/80/33 Lit: 1923 Watch. Lit: 550 0.00/0.00 c Obj. Vars: 201 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 195 133 1923 14 680 3264 0 0 0.01 0.00/0.01 c Initial Lower Bound: 1425 0.00/0.01 c Initial Path Cost: 0 0.00/0.03 c 101 195 234 8924 38 912 3591 101 4590 0.02 0.00/0.03 o 2568 0.029 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 175 195 309 12596 40 1224 3654 176 6034 0.03 0.09/0.15 o 1794 0.151 * 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 194 195 329 13043 39 1455 3654 196 1276 0.15 0.09/0.17 o 1595 0.175 * 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 194 195 330 13238 40 1604 3654 197 1102 0.18 0.69/0.74 c 294 195 469 22286 47 1878 4020 336 814 0.36 0.69/0.74 c 544 195 761 37362 49 2486 4423 628 766 0.71 0.69/0.74 o 1593 0.739 * 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 545 195 764 37689 49 2632 3654 631 737 0.74 0.69/0.77 o 1585 0.765 * 2.20/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.23 c 545 195 765 37884 49 2789 3654 632 712 0.77 2.20/2.23 c 645 195 913 46690 51 3143 4020 780 681 0.95 2.20/2.23 c 896 195 1314 73835 56 3952 4423 1181 620 1.44 2.20/2.23 c 1372 195 1951 105221 53 5202 4866 1818 620 2.21 2.20/2.23 o 1561 2.232 * 2.99/3.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.01 c 1373 195 1954 105538 54 5343 3654 1821 615 2.23 2.99/3.01 c 1475 195 2093 113985 54 5689 4020 1960 607 2.43 2.99/3.01 c 1725 195 2490 139808 56 6432 4423 2357 578 2.98 2.99/3.01 o 1535 3.011 * 10.29/10.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.39 c 1725 195 2491 140003 56 6592 3654 2358 572 3.01 10.29/10.39 c 1826 195 2623 147900 56 6927 4020 2490 569 3.20 10.29/10.39 c 2077 194 2969 169704 57 7637 4423 2836 558 3.72 10.29/10.39 c 2553 194 3555 199686 56 8794 4866 3422 573 4.45 10.29/10.39 c 3366 194 4741 276361 58 11167 5353 4608 580 5.80 10.29/10.39 c 4686 194 3473 180784 52 7566 5889 3340 620 7.56 10.29/10.39 o 1523 10.387 * 79.16/79.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.16/79.28 c 6331 194 5735 318716 55 12231 3652 5602 609 10.39 79.16/79.28 c 6431 194 2138 104242 48 4912 4018 2005 607 10.59 79.16/79.28 c 6682 194 2492 126998 50 5611 4420 2359 606 11.02 79.16/79.28 c 7157 194 3106 163999 52 6844 4863 2973 609 11.74 79.16/79.28 c 7970 194 4004 207831 51 8617 5350 3871 630 12.63 79.16/79.28 c 9291 194 2837 128398 45 6306 5886 2704 643 14.43 79.16/79.28 c 11373 194 5271 276421 52 11183 6475 5138 667 17.05 79.16/79.28 c 14596 193 3529 210222 59 7656 7123 3396 636 22.94 79.16/79.28 c 19532 193 4016 252569 62 8646 7836 3883 590 33.07 79.16/79.28 c 27039 191 7431 412808 55 15493 8620 7298 560 48.24 79.16/79.28 c 38402 187 4901 243189 49 10434 9483 4768 567 67.68 79.16/79.28 v -x1 x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 79.16/79.28 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 79.16/79.28 v -x56 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 79.16/79.28 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 79.16/79.28 v -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 79.16/79.28 v -x128 x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 x148 79.16/79.28 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 79.16/79.28 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 79.16/79.28 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 79.16/79.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 79.16/79.28 c 31 44128 4217 52722 8267 464237 8134 556 79.26 79.16/79.28 c Objective: 1523 79.16/79.28 s OPTIMUM FOUND 79.16/79.28 c Total time: 79.259 s
OK 1523
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-363527-1177029220 -o ROOT/results/node74/solver-363527-1177029220 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363527-1177029220/instance-363527-1177029220.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/66 5207 /proc/meminfo: memFree=1794328/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=11756 CPUtime=0 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 150836725 12038144 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9971106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 2939 336 282 324 0 2003 0 [startup+0.100613 s] /proc/loadavg: 1.00 1.00 1.00 3/66 5207 /proc/meminfo: memFree=1794328/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=5280 CPUtime=0.09 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 1514 0 0 0 9 0 0 0 18 0 1 0 150836725 5406720 671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 1320 671 393 324 0 389 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5280 [startup+0.201623 s] /proc/loadavg: 1.00 1.00 1.00 3/66 5207 /proc/meminfo: memFree=1794328/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=5316 CPUtime=0.19 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 1884 0 0 0 18 1 0 0 18 0 1 0 150836725 5443584 720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 1329 720 393 324 0 398 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5316 [startup+0.301635 s] /proc/loadavg: 1.00 1.00 1.00 3/66 5207 /proc/meminfo: memFree=1794328/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=5508 CPUtime=0.29 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 2045 0 0 0 28 1 0 0 19 0 1 0 150836725 5640192 758 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135222228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 1354 758 393 324 0 423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5508 [startup+0.701681 s] /proc/loadavg: 1.00 1.00 1.00 3/66 5207 /proc/meminfo: memFree=1794328/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=5324 CPUtime=0.69 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 3413 0 0 0 67 2 0 0 22 0 1 0 150836725 5451776 766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 1331 766 393 324 0 400 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5324 [startup+1.50277 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1792400/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=6192 CPUtime=1.49 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 5588 0 0 0 146 3 0 0 25 0 1 0 150836725 6340608 945 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 1548 945 393 324 0 617 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6192 [startup+3.10196 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1791440/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=7200 CPUtime=3.09 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 12427 0 0 0 302 7 0 0 25 0 1 0 150836725 7372800 1153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 1800 1156 393 324 0 869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7200 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1789072/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=9404 CPUtime=6.29 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 28104 0 0 0 613 16 0 0 25 0 1 0 150836725 9629696 1771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 2351 1771 393 324 0 1420 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9404 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1787984/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=9876 CPUtime=12.69 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 46703 0 0 0 1241 28 0 0 25 0 1 0 150836725 10113024 1885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 2469 1886 393 324 0 1538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9876 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1786704/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=11428 CPUtime=25.48 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 75329 0 0 0 2500 48 0 0 25 0 1 0 150836725 11702272 2231 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 2857 2231 393 324 0 1926 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11428 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785744/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12332 CPUtime=51.07 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 178526 0 0 0 4999 108 0 0 25 0 1 0 150836725 12627968 2476 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3083 2476 393 324 0 2152 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12332 Solver just ended. Dumping a history of the last processes samples [startup+51.2025 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785744/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12332 CPUtime=51.17 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 178807 0 0 0 5009 108 0 0 25 0 1 0 150836725 12627968 2475 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3083 2475 393 324 0 2152 0 Current children cumulated CPU time (s) 51.17 Current children cumulated vsize (KiB) 12332 [startup+64.002 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785168/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12944 CPUtime=63.97 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 220886 0 0 0 6264 133 0 0 25 0 1 0 150836725 13254656 2601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135333401 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3236 2601 393 324 0 2305 0 Current children cumulated CPU time (s) 63.97 Current children cumulated vsize (KiB) 12944 [startup+70.4017 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785168/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12544 CPUtime=70.38 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 246594 0 0 0 6885 153 0 0 25 0 1 0 150836725 12845056 2593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3136 2593 393 324 0 2205 0 Current children cumulated CPU time (s) 70.38 Current children cumulated vsize (KiB) 12544 [startup+73.6011 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785168/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12916 CPUtime=73.57 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 259303 0 0 0 7196 161 0 0 25 0 1 0 150836725 13225984 2602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3229 2602 393 324 0 2298 0 Current children cumulated CPU time (s) 73.57 Current children cumulated vsize (KiB) 12916 [startup+76.8015 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785040/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12548 CPUtime=76.76 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 275250 0 0 0 7505 171 0 0 25 0 1 0 150836725 12849152 2605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3137 2605 393 324 0 2206 0 Current children cumulated CPU time (s) 76.76 Current children cumulated vsize (KiB) 12548 [startup+78.4027 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785040/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=13108 CPUtime=78.37 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 283359 0 0 0 7662 175 0 0 25 0 1 0 150836725 13422592 2611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3277 2611 393 324 0 2346 0 Current children cumulated CPU time (s) 78.37 Current children cumulated vsize (KiB) 13108 [startup+78.8027 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785040/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=13104 CPUtime=78.77 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 285210 0 0 0 7701 176 0 0 25 0 1 0 150836725 13418496 2612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135316206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3276 2612 393 324 0 2345 0 Current children cumulated CPU time (s) 78.77 Current children cumulated vsize (KiB) 13104 [startup+79.2018 s] /proc/loadavg: 1.00 1.00 1.00 2/67 5208 /proc/meminfo: memFree=1785040/2055920 swapFree=4183056/4192956 [pid=5207] ppid=5205 vsize=12548 CPUtime=79.16 /proc/5207/stat : 5207 (bsolo3.0.16) R 5205 5207 2697 0 -1 4194304 287371 0 0 0 7740 176 0 0 25 0 1 0 150836725 12849152 2605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5207/statm: 3137 2605 393 324 0 2206 0 Current children cumulated CPU time (s) 79.16 Current children cumulated vsize (KiB) 12548 Child status: 0 Real time (s): 79.2919 CPU time (s): 79.2639 CPU user time (s): 77.4912 CPU system time (s): 1.77273 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 13132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 77.4912 system time used= 1.77273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287851 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= 11 involuntary context switches= 86 runsolver used 0.093985 second user time and 0.169974 second system time The end
Begin job on node74 on Fri Apr 20 00:33:40 UTC 2007 IDJOB= 363527 IDBENCH= 1858 IDSOLVER= 163 FILE ID= node74/363527-1177029220 PBS_JOBID= 4630601 Free space on /tmp= 103201 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363527-1177029220/instance-363527-1177029220.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-363527-1177029220 -o ROOT/results/node74/solver-363527-1177029220 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363527-1177029220/instance-363527-1177029220.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED= 888635112 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1794800 kB Buffers: 23272 kB Cached: 164612 kB SwapCached: 2992 kB Active: 67100 kB Inactive: 131564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1794800 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 4400 kB Writeback: 0 kB Mapped: 16728 kB Slab: 48348 kB Committed_AS: 2060476 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103201 MiB End job on node74 on Fri Apr 20 00:34:59 UTC 2007