Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 86.7208 | 86.7415 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb |
MD5SUM | 2a7888c7c4f71cd1bd795e0b54484781 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.58576 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 54 |
Total number of constraints | 5 |
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 | 5 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 162 |
Sum of products size (including duplicates) | 324 |
Number of different products | 162 |
Sum of products size | 324 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670423-1276702212.opb 0.00/0.00 c File size is 11884 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 216 Constr: 331 162/0/169 Lit: 1377 Watch. Lit: 848 0.00/0.00 c Obj. Vars: 9 (4.16667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 216 331 1377 4 1185 1835 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1.10/1.13 c 101 216 526 13070 24 1684 2019 195 3258 0.03 1.10/1.13 c 251 216 746 28390 38 2091 2221 415 3259 0.08 1.10/1.13 c 479 216 1179 57714 48 3223 2444 848 3258 0.15 1.10/1.13 c 817 216 1780 98349 55 4738 2689 1449 2938 0.28 1.10/1.13 c 1326 216 2759 159938 57 7288 2958 2428 2511 0.53 1.10/1.13 c 2090 216 2642 167438 63 6547 3254 2311 2281 0.92 1.10/1.13 o 179 1.59/1.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.62 c 2555 216 3502 220639 63 8881 1854 3171 2253 1.13 1.59/1.62 c 2656 205 1443 81549 56 3695 2040 1112 2254 1.18 1.59/1.62 c 2907 205 1935 113753 58 5004 2245 1604 2303 1.26 1.59/1.62 c 3382 205 1456 81335 55 3757 2470 1125 2302 1.47 1.59/1.62 o 177 2.10/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.18 c 3813 205 2248 137099 60 5884 1851 1917 2349 1.62 2.10/2.18 c 3914 205 1437 83763 58 3704 2037 1106 2360 1.66 2.10/2.18 c 4164 205 1896 116539 61 5009 2241 1565 2391 1.74 2.10/2.18 c 4640 205 1519 90066 59 3840 2466 1188 2407 1.93 2.10/2.18 o 137 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 5277 205 2654 163168 61 6934 1852 2323 2416 2.18 4.09/4.11 c 5378 205 1454 82443 56 3712 2038 1123 2418 2.22 4.09/4.11 c 5629 205 1934 107835 55 4999 2242 1603 2431 2.31 4.09/4.11 c 6104 205 1458 79923 54 3721 2467 1127 2431 2.51 4.09/4.11 c 6918 205 1631 92191 56 4078 2714 1300 2425 2.85 4.09/4.11 c 8238 205 2740 153645 56 7215 2986 2409 2422 3.40 4.09/4.11 o 9 4.99/5.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.01 c 9936 205 2546 152302 59 6775 1935 2215 2418 4.11 4.99/5.01 c 10036 205 1497 86684 57 3912 2129 1166 2422 4.14 4.99/5.01 c 10286 205 1982 118086 59 5218 2342 1651 2433 4.23 4.99/5.01 c 10763 205 1638 94073 57 4219 2577 1307 2439 4.41 4.99/5.01 c 11577 205 1829 100129 54 4734 2835 1498 2439 4.75 4.99/5.01 o 5 5.69/5.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.74 c 12194 161 3010 166678 55 7866 1844 2679 2433 5.01 5.69/5.74 c 12295 161 1448 72281 49 3667 2029 1117 2433 5.05 5.69/5.74 c 12546 150 1921 103969 54 4909 2232 1590 2447 5.13 5.69/5.74 c 13023 150 1595 81638 51 4059 2456 1264 2429 5.36 5.69/5.74 c 13836 150 1772 89927 50 4577 2702 1441 2414 5.73 5.69/5.74 o 3 86.67/86.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 86.67/86.74 c 13895 150 1874 92802 49 4839 1842 1543 2417 5.75 86.67/86.74 c 13997 149 2077 105197 50 5412 2027 1746 2420 5.78 86.67/86.74 c 14247 149 1397 67379 48 3562 2230 1066 2419 5.89 86.67/86.74 c 14723 127 2282 113013 49 5917 2454 1951 2425 6.07 86.67/86.74 c 15536 127 2478 133464 53 6444 2700 2147 2424 6.41 86.67/86.74 c 16856 127 1952 108153 55 4922 2971 1621 2403 7.01 86.67/86.74 c 18937 127 2633 145424 55 6821 3269 2302 2391 7.92 86.67/86.74 c 22160 127 3471 192973 55 9163 3596 3140 2352 9.42 86.67/86.74 c 27096 127 3081 165837 53 7969 3956 2750 2274 11.91 86.67/86.74 c 34602 127 2626 150184 57 6785 4352 2295 2194 15.77 86.67/86.74 c 45963 127 3303 189938 57 8256 4788 2972 2097 21.92 86.67/86.74 c 63108 127 2885 148426 51 7467 5267 2554 1993 31.65 86.67/86.74 c 88927 127 4800 268496 55 12170 5794 4469 1890 47.05 86.67/86.74 c 127760 124 5410 314405 58 13780 6374 5079 1770 72.15 86.67/86.74 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 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 x28 -x29 x30 x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 86.67/86.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 86.67/86.74 c 44 149853 1068 154267 6206 324050 5875 1728 86.72 86.67/86.74 c Objective: 3 86.67/86.74 s OPTIMUM FOUND 86.67/86.74 c Total time: 86.718 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670423-1276702212/watcher-2670423-1276702212 -o /tmp/evaluation-result-2670423-1276702212/solver-2670423-1276702212 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670423-1276702212.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.02 1.04 0.95 3/107 10557 /proc/meminfo: memFree=1747672/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=10792 CPUtime=0 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 344 0 0 0 0 0 0 0 17 0 1 0 43876956 11051008 259 1992294400 134512640 137138936 4292413504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 2698 259 192 642 0 2054 0 [startup+0.100492 s] /proc/loadavg: 1.02 1.04 0.95 3/107 10557 /proc/meminfo: memFree=1747672/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=11304 CPUtime=0.09 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 470 0 0 0 9 0 0 0 19 0 1 0 43876956 11575296 385 1992294400 134512640 137138936 4292413504 18446744073709551615 134576379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 2826 385 192 642 0 2182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11304 [startup+0.2015 s] /proc/loadavg: 1.02 1.04 0.95 3/107 10557 /proc/meminfo: memFree=1747672/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=11828 CPUtime=0.19 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 592 0 0 0 19 0 0 0 19 0 1 0 43876956 12111872 507 1992294400 134512640 137138936 4292413504 18446744073709551615 134603239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 2957 507 192 642 0 2313 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11828 [startup+0.301509 s] /proc/loadavg: 1.02 1.04 0.95 3/107 10557 /proc/meminfo: memFree=1747672/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=12344 CPUtime=0.29 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 717 0 0 0 29 0 0 0 19 0 1 0 43876956 12640256 632 1992294400 134512640 137138936 4292413504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3086 632 192 642 0 2442 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12344 [startup+0.701545 s] /proc/loadavg: 1.02 1.04 0.95 3/107 10557 /proc/meminfo: memFree=1747672/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=13640 CPUtime=0.69 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1057 0 0 0 69 0 0 0 19 0 1 0 43876956 13967360 972 1992294400 134512640 137138936 4292413504 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3410 972 192 642 0 2766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13640 [startup+1.50162 s] /proc/loadavg: 1.02 1.04 0.95 2/108 10558 /proc/meminfo: memFree=1744564/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=14024 CPUtime=1.49 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1144 0 0 0 149 0 0 0 21 0 1 0 43876956 14360576 1059 1992294400 134512640 137138936 4292413504 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3506 1059 192 642 0 2862 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14024 [startup+3.10176 s] /proc/loadavg: 1.02 1.04 0.95 2/108 10558 /proc/meminfo: memFree=1744192/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=14024 CPUtime=3.09 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1144 0 0 0 308 1 0 0 25 0 1 0 43876956 14360576 1059 1992294400 134512640 137138936 4292413504 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3506 1059 192 642 0 2862 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14024 [startup+6.30105 s] /proc/loadavg: 1.02 1.04 0.95 2/108 10558 /proc/meminfo: memFree=1744200/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=14024 CPUtime=6.29 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1144 0 0 0 627 2 0 0 25 0 1 0 43876956 14360576 1059 1992294400 134512640 137138936 4292413504 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3506 1059 192 642 0 2862 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14024 [startup+12.7006 s] /proc/loadavg: 1.02 1.04 0.95 2/108 10558 /proc/meminfo: memFree=1743952/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=14540 CPUtime=12.69 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1277 0 0 0 1265 4 0 0 25 0 1 0 43876956 14888960 1192 1992294400 134512640 137138936 4292413504 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3635 1192 192 642 0 2991 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14540 [startup+25.5008 s] /proc/loadavg: 1.01 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1743084/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=15288 CPUtime=25.49 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1469 0 0 0 2541 8 0 0 25 0 1 0 43876956 15654912 1384 1992294400 134512640 137138936 4292413504 18446744073709551615 134606973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 3822 1384 192 642 0 3178 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15288 [startup+51.1011 s] /proc/loadavg: 1.01 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1742216/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16192 CPUtime=51.08 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1706 0 0 0 5093 15 0 0 25 0 1 0 43876956 16580608 1621 1992294400 134512640 137138936 4292413504 18446744073709551615 134618174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4048 1621 192 642 0 3404 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16192 Solver just ended. Dumping a history of the last processes samples [startup+51.2011 s] /proc/loadavg: 1.01 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1742216/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16192 CPUtime=51.18 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1706 0 0 0 5103 15 0 0 25 0 1 0 43876956 16580608 1621 1992294400 134512640 137138936 4292413504 18446744073709551615 134542208 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4048 1621 192 642 0 3404 0 Current children cumulated CPU time (s) 51.18 Current children cumulated vsize (KiB) 16192 [startup+64.0002 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1742092/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16448 CPUtime=63.97 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1752 0 0 0 6379 18 0 0 25 0 1 0 43876956 16842752 1667 1992294400 134512640 137138936 4292413504 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4112 1667 192 642 0 3468 0 Current children cumulated CPU time (s) 63.97 Current children cumulated vsize (KiB) 16448 [startup+76.8014 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741720/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=76.78 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 7656 22 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 134606961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 76.78 Current children cumulated vsize (KiB) 16836 [startup+83.2009 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741596/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=83.17 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 8295 22 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 83.17 Current children cumulated vsize (KiB) 16836 [startup+84.8091 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741596/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=84.78 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 8456 22 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 84.78 Current children cumulated vsize (KiB) 16836 [startup+85.6012 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741596/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=85.57 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 8534 23 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 85.57 Current children cumulated vsize (KiB) 16836 [startup+86.4012 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741596/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=86.37 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 8614 23 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 86.37 Current children cumulated vsize (KiB) 16836 [startup+86.6012 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741596/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=86.57 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 8634 23 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 86.57 Current children cumulated vsize (KiB) 16836 [startup+86.7012 s] /proc/loadavg: 1.00 1.03 0.95 2/108 10560 /proc/meminfo: memFree=1741596/2059040 swapFree=4140108/4192956 [pid=10557] ppid=10555 vsize=16836 CPUtime=86.67 /proc/10557/stat : 10557 (bsolo_pb10) R 10555 10557 10256 0 -1 4202496 1849 0 0 0 8644 23 0 0 25 0 1 0 43876956 17240064 1764 1992294400 134512640 137138936 4292413504 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10557/statm: 4209 1764 192 642 0 3565 0 Current children cumulated CPU time (s) 86.67 Current children cumulated vsize (KiB) 16836 Child status: 0 Real time (s): 86.7415 CPU time (s): 86.7208 CPU user time (s): 86.4839 CPU system time (s): 0.236963 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 16836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.4839 system time used= 0.236963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1850 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= 207 runsolver used 0.132979 second user time and 0.425935 second system time The end
Begin job on node025 at 2010-06-16 17:30:12 IDJOB=2670423 IDBENCH=47928 IDSOLVER=1162 FILE ID=node025/2670423-1276702212 PBS_JOBID= 11174115 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670423-1276702212/watcher-2670423-1276702212 -o /tmp/evaluation-result-2670423-1276702212/solver-2670423-1276702212 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670423-1276702212.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2a7888c7c4f71cd1bd795e0b54484781 RANDOM SEED=1680827147 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1748704 kB Buffers: 100276 kB Cached: 119080 kB SwapCached: 7332 kB Active: 102312 kB Inactive: 131576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1748704 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3976 kB Writeback: 0 kB AnonPages: 12160 kB Mapped: 13100 kB Slab: 54620 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183668 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670423-1276702212.opb Free space on /tmp at the end= 62576 MiB End job on node025 at 2010-06-16 17:31:39