Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 84 | 594.507 | 594.715 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh201.opb |
MD5SUM | 90cbe77e1c871e28da43b06bd07ecc73 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 84 |
Best CPU time to get the best result obtained on this benchmark | 22.3656 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 84 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 14 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657971-1276421713.opb 0.00/0.00 c File size is 40624 bytes. 0.00/0.00 c Highest Coefficient sum: 200 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.008 s 0.00/0.00 c Var: 200 Constr: 900 900/0/0 Lit: 4354 Watch. Lit: 1800 0.00/0.00 c Obj. Vars: 200 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 196 835 3970 4 1670 278 0 0 0.01 0.09/0.14 c Initial Lower Bound: 67 0.09/0.14 c Initial Path Cost: 2 0.09/0.14 o 92 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 20 196 856 4529 5 1818 1278 21 139 0.14 0.49/0.57 o 91 1.49/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.50 c 26 196 863 4867 5 1939 1278 28 45 0.58 1.49/1.50 o 90 2.49/2.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.57 c 61 196 915 9229 10 2151 1278 80 40 1.50 2.49/2.57 o 89 2.99/3.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.04 c 99 196 963 12231 12 2356 1278 128 38 2.57 2.99/3.04 o 88 4.09/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.19 c 108 196 974 13173 13 2488 1278 139 35 3.04 4.09/4.19 o 87 102.16/102.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.16/102.30 c 145 196 1030 17819 17 2711 1278 195 34 4.19 102.16/102.30 c 245 196 1199 33383 27 3049 1406 364 39 6.18 102.16/102.30 c 496 196 1610 69700 43 3871 1547 775 45 10.91 102.16/102.30 c 973 196 1610 59025 36 3331 1702 775 48 20.21 102.16/102.30 c 1786 196 1992 83730 42 4095 1873 1157 48 36.89 102.16/102.30 c 3106 196 2177 94641 43 4465 2061 1342 44 69.08 102.16/102.30 o 86 413.55/413.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 413.55/413.75 c 4838 196 2869 155415 54 5961 1278 2034 47 102.27 413.55/413.75 c 4938 196 1629 48637 29 3370 1406 794 46 106.29 413.55/413.75 c 5189 196 2019 76089 37 4150 1547 1184 45 114.27 413.55/413.75 c 5665 196 1979 68392 34 4070 1702 1144 44 127.81 413.55/413.75 c 6479 196 2442 110615 45 4996 1873 1607 43 147.44 413.55/413.75 c 7799 196 2709 130240 48 5530 2061 1874 42 184.99 413.55/413.75 c 9881 196 2796 127389 45 5704 2268 1961 40 246.55 413.55/413.75 c 13104 196 3040 137882 45 6192 2495 2205 37 346.70 413.55/413.75 o 85 534.90/535.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 534.90/535.16 c 15625 196 2085 69870 33 4283 1278 1250 37 413.61 534.90/535.16 c 15725 196 1562 37825 24 3237 1406 727 37 418.09 534.90/535.16 c 15977 196 1974 70155 35 4061 1547 1139 37 424.75 534.90/535.16 c 16453 196 1937 63772 32 3987 1702 1102 37 439.50 534.90/535.16 c 17266 196 2384 100072 41 4881 1873 1549 37 464.01 534.90/535.16 c 18586 196 2624 132299 50 5361 2061 1789 37 494.00 534.90/535.16 o 84 594.48/594.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 594.48/594.71 c 20180 196 1966 69582 35 4159 1278 1131 37 534.98 594.48/594.71 c 20282 196 2099 76332 36 4425 1406 1264 37 540.16 594.48/594.71 c 20532 196 1693 43096 25 3500 1547 858 37 549.53 594.48/594.71 c 21007 196 1612 37668 23 3338 1702 777 37 564.36 594.48/594.71 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 -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 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 x83 -x84 -x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 x102 -x103 -x104 -x105 x106 x107 -x108 -x109 x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 x139 -x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 -x163 -x164 x165 -x166 x167 -x168 -x169 x170 -x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 x200 594.48/594.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 594.48/594.71 c 29 21818 2093 25711 1995 54279 1160 36 594.50 594.48/594.71 c Objective: 84 594.48/594.71 s OPTIMUM FOUND 594.48/594.71 c Total time: 594.505 s
OK 84
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657971-1276421713/watcher-2657971-1276421713 -o /tmp/evaluation-result-2657971-1276421713/solver-2657971-1276421713 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657971-1276421713.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25407 /proc/meminfo: memFree=1830800/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=10832 CPUtime=0 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 17772866 11091968 241 1992294400 134512640 137138936 4293204624 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 2708 241 174 642 0 2054 0 [startup+0.063733 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25407 /proc/meminfo: memFree=1830800/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=12684 CPUtime=0.06 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 710 0 0 0 6 0 0 0 20 0 1 0 17772866 12988416 606 1992294400 134512640 137138936 4293204624 18446744073709551615 135070940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3171 606 278 642 0 2527 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12684 [startup+0.10174 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25407 /proc/meminfo: memFree=1830800/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=12808 CPUtime=0.09 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 805 0 0 0 9 0 0 0 20 0 1 0 17772866 13115392 650 1992294400 134512640 137138936 4293204624 18446744073709551615 135344796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3202 650 278 642 0 2558 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12808 [startup+0.300779 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25407 /proc/meminfo: memFree=1830800/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=12916 CPUtime=0.29 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 1532 0 0 0 29 0 0 0 20 0 1 0 17772866 13225984 552 1992294400 134512640 137138936 4293204624 18446744073709551615 135446672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3229 552 285 642 0 2585 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12916 [startup+0.700858 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25407 /proc/meminfo: memFree=1830800/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=13012 CPUtime=0.69 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 3332 0 0 0 69 0 0 0 21 0 1 0 17772866 13324288 708 1992294400 134512640 137138936 4293204624 18446744073709551615 135451461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3253 708 286 642 0 2609 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13012 [startup+1.50101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25408 /proc/meminfo: memFree=1829428/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=12956 CPUtime=1.49 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 10820 0 0 0 147 2 0 0 23 0 1 0 17772866 13266944 524 1992294400 134512640 137138936 4293204624 18446744073709551615 135443988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3239 524 286 642 0 2595 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12956 [startup+3.10033 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25408 /proc/meminfo: memFree=1829180/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=13092 CPUtime=3.09 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 24576 0 0 0 303 6 0 0 25 0 1 0 17772866 13406208 632 1992294400 134512640 137138936 4293204624 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3273 632 286 642 0 2629 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13092 [startup+6.30095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25408 /proc/meminfo: memFree=1828808/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=13924 CPUtime=6.29 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 59330 0 0 0 614 15 0 0 25 0 1 0 17772866 14258176 819 1992294400 134512640 137138936 4293204624 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3481 819 286 642 0 2837 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13924 [startup+12.7002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25408 /proc/meminfo: memFree=1827940/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=14068 CPUtime=12.68 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 131505 0 0 0 1233 35 0 0 25 0 1 0 17772866 14405632 795 1992294400 134512640 137138936 4293204624 18446744073709551615 135388594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3517 795 286 642 0 2873 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14068 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25410 /proc/meminfo: memFree=1827196/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=14792 CPUtime=25.48 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 248568 0 0 0 2479 69 0 0 25 0 1 0 17772866 15147008 948 1992294400 134512640 137138936 4293204624 18446744073709551615 135466087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3698 948 286 642 0 3054 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14792 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25410 /proc/meminfo: memFree=1826948/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15068 CPUtime=51.08 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 420963 0 0 0 4986 122 0 0 25 0 1 0 17772866 15429632 1003 1992294400 134512640 137138936 4293204624 18446744073709551615 134721012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3767 1003 286 642 0 3123 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15068 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25412 /proc/meminfo: memFree=1826576/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=13424 CPUtime=102.26 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 745749 0 0 0 10008 218 0 0 25 0 1 0 17772866 13746176 1025 1992294400 134512640 137138936 4293204624 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3356 1025 286 642 0 2712 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13424 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25412 /proc/meminfo: memFree=1826452/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15112 CPUtime=162.23 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 974711 0 0 0 15920 303 0 0 25 0 1 0 17772866 15474688 1082 1992294400 134512640 137138936 4293204624 18446744073709551615 135457629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3778 1082 287 642 0 3134 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 15112 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25414 /proc/meminfo: memFree=1826452/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15044 CPUtime=222.21 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 1182676 0 0 0 21838 383 0 0 25 0 1 0 17772866 15405056 1051 1992294400 134512640 137138936 4293204624 18446744073709551615 135457653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3761 1051 287 642 0 3117 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 15044 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25416 /proc/meminfo: memFree=1826576/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15232 CPUtime=282.19 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 1411507 0 0 0 27753 466 0 0 25 0 1 0 17772866 15597568 1052 1992294400 134512640 137138936 4293204624 18446744073709551615 134734930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3808 1052 287 642 0 3164 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 15232 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25418 /proc/meminfo: memFree=1826452/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15112 CPUtime=342.17 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 1624194 0 0 0 33672 545 0 0 25 0 1 0 17772866 15474688 1103 1992294400 134512640 137138936 4293204624 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3778 1103 287 642 0 3134 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 15112 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25420 /proc/meminfo: memFree=1826080/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15716 CPUtime=402.15 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 1987424 0 0 0 39554 661 0 0 25 0 1 0 17772866 16093184 1174 1992294400 134512640 137138936 4293204624 18446744073709551615 135443929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3929 1174 287 642 0 3285 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 15716 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25420 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15484 CPUtime=462.13 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2216962 0 0 0 45472 741 0 0 25 0 1 0 17772866 15855616 1144 1992294400 134512640 137138936 4293204624 18446744073709551615 135080919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3871 1144 287 642 0 3227 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 15484 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25422 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15448 CPUtime=522.11 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2448961 0 0 0 51388 823 0 0 25 0 1 0 17772866 15818752 1158 1992294400 134512640 137138936 4293204624 18446744073709551615 135080703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3862 1158 287 642 0 3218 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 15448 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25424 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=14852 CPUtime=582.09 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2657250 0 0 0 57310 899 0 0 25 0 1 0 17772866 15208448 1112 1992294400 134512640 137138936 4293204624 18446744073709551615 134733961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3713 1112 287 642 0 3069 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 14852 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25424 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=13736 CPUtime=588.48 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2676860 0 0 0 57942 906 0 0 25 0 1 0 17772866 14065664 1104 1992294400 134512640 137138936 4293204624 18446744073709551615 135567779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3434 1104 287 642 0 2790 0 Current children cumulated CPU time (s) 588.48 Current children cumulated vsize (KiB) 13736 [startup+591.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25424 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15372 CPUtime=591.68 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2687870 0 0 0 58258 910 0 0 25 0 1 0 17772866 15740928 1153 1992294400 134512640 137138936 4293204624 18446744073709551615 135466087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3843 1153 287 642 0 3199 0 Current children cumulated CPU time (s) 591.68 Current children cumulated vsize (KiB) 15372 [startup+593.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25424 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15344 CPUtime=593.28 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2693054 0 0 0 58416 912 0 0 25 0 1 0 17772866 15712256 1153 1992294400 134512640 137138936 4293204624 18446744073709551615 135457372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3836 1153 287 642 0 3192 0 Current children cumulated CPU time (s) 593.28 Current children cumulated vsize (KiB) 15344 [startup+594.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25424 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15520 CPUtime=594.08 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2695246 0 0 0 58495 913 0 0 25 0 1 0 17772866 15892480 1126 1992294400 134512640 137138936 4293204624 18446744073709551615 134849645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3880 1126 287 642 0 3236 0 Current children cumulated CPU time (s) 594.08 Current children cumulated vsize (KiB) 15520 [startup+594.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25424 /proc/meminfo: memFree=1825956/2059040 swapFree=4136184/4192956 [pid=25407] ppid=25405 vsize=15312 CPUtime=594.48 /proc/25407/stat : 25407 (bsolo_pb10) R 25405 25407 25027 0 -1 4202496 2696346 0 0 0 58535 913 0 0 25 0 1 0 17772866 15679488 1132 1992294400 134512640 137138936 4293204624 18446744073709551615 135443927 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25407/statm: 3828 1132 287 642 0 3184 0 Current children cumulated CPU time (s) 594.48 Current children cumulated vsize (KiB) 15312 Child status: 0 Real time (s): 594.715 CPU time (s): 594.507 CPU user time (s): 585.369 CPU system time (s): 9.13761 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 16068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 585.369 system time used= 9.13761 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2696387 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= 1 involuntary context switches= 1011 runsolver used 0.873867 second user time and 2.91956 second system time The end
Begin job on node011 at 2010-06-13 11:35:13 IDJOB=2657971 IDBENCH=2078 IDSOLVER=1163 FILE ID=node011/2657971-1276421713 PBS_JOBID= 11173293 Free space on /tmp= 62264 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh201.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657971-1276421713/watcher-2657971-1276421713 -o /tmp/evaluation-result-2657971-1276421713/solver-2657971-1276421713 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657971-1276421713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 90cbe77e1c871e28da43b06bd07ecc73 RANDOM SEED=1991220517 node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1831204 kB Buffers: 28204 kB Cached: 123796 kB SwapCached: 9848 kB Active: 92656 kB Inactive: 71760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1831204 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 4060 kB Writeback: 0 kB AnonPages: 10896 kB Mapped: 9136 kB Slab: 41636 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181888 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62260 MiB End job on node011 at 2010-06-13 11:45:08