Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT (TO) | 5 | 1800.06 | 1800.92 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb |
MD5SUM | ffde7c44e1ce67f9a67e822c2db106af |
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 | 2.52461 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
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) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning 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 HOME/instance-1879493-1245244296.opb 0.00/0.00 c File size is 17961 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.002 s 0.00/0.00 c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 1570.65/1571.49 c 102 324 700 16957 24 6168 3039 204 2914 0.04 1570.65/1571.49 c 253 324 993 48423 48 12739 3343 497 1686 0.15 1570.65/1571.49 c 478 324 1438 91254 63 27933 3678 942 1160 0.41 1570.65/1571.49 c 817 324 2089 149857 71 39443 4046 1593 1039 0.79 1570.65/1571.49 c 1327 324 3095 243477 78 57733 4451 2599 683 1.94 1570.65/1571.49 c 2093 324 4573 362454 79 98982 4897 4077 498 4.20 1570.65/1571.49 c 3239 324 4043 365633 90 50063 5387 3547 283 11.43 1570.65/1571.49 c 4960 324 4536 362365 79 51882 5926 4040 277 17.89 1570.65/1571.49 c 7545 324 6387 478367 74 81368 6519 5891 220 34.22 1570.65/1571.49 c 11426 324 6769 704058 104 123167 7171 6273 223 51.12 1570.65/1571.49 c 17248 324 6382 471307 73 108048 7889 5886 188 91.53 1570.65/1571.49 c 25985 324 5962 487099 81 92337 8678 5466 162 160.23 1570.65/1571.49 c 39096 324 7765 624484 80 93245 9546 7269 133 292.52 1570.65/1571.49 c 58766 324 10001 844690 84 193821 10501 9505 118 495.41 1570.65/1571.49 c 88278 324 10307 785531 76 186262 11552 9811 96 915.69 1570.65/1571.49 o 257 1624.72/1625.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1624.72/1625.51 c 126844 324 11967 976839 81 211322 2780 11471 80 1570.76 1624.72/1625.51 c 126944 324 2054 154054 75 16802 3059 1558 80 1580.84 1624.72/1625.51 c 127194 324 2527 197036 77 21090 3365 2031 80 1581.12 1624.72/1625.51 c 127670 324 3423 278896 81 36048 3702 2927 80 1581.74 1624.72/1625.51 c 128484 324 3064 220800 72 31450 4073 2568 81 1583.16 1624.72/1625.51 c 129805 324 3460 241841 69 60502 4481 2964 81 1589.51 1624.72/1625.51 c 131886 324 2738 186790 68 36141 4930 2242 82 1597.73 1624.72/1625.51 c 135110 324 3797 271303 71 47366 5424 3301 83 1611.16 1624.72/1625.51 o 9 1689.09/1689.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1689.09/1689.91 c 139200 324 5815 459824 79 86894 2780 5319 85 1624.74 1689.09/1689.91 c 139302 302 2086 140834 67 26937 3059 1590 85 1625.24 1689.09/1689.91 c 139552 302 2555 180005 70 34856 3365 2059 85 1625.48 1689.09/1689.91 c 140027 302 3462 252141 72 55488 3702 2966 86 1626.28 1689.09/1689.91 c 140840 269 2913 202867 69 40473 4073 2417 86 1628.99 1689.09/1689.91 c 142162 269 3280 229559 69 49200 4481 2784 86 1634.99 1689.09/1689.91 c 144244 269 4871 351803 72 81261 4930 4375 87 1645.09 1689.09/1689.91 c 147467 269 3133 210664 67 51520 5424 2637 88 1667.42 1689.09/1689.91 o 5 1800.04/1800.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.90 c 151925 269 5915 413875 69 101601 2770 5419 89 1689.12 1800.04/1800.90 c 152025 269 2081 99913 48 21434 3048 1585 89 1689.85 1800.04/1800.90 c 152275 269 2562 139379 54 26197 3353 2066 90 1690.18 1800.04/1800.90 c 152751 269 3467 213132 61 45230 3689 2971 90 1691.30 1800.04/1800.90 c 153564 269 3018 204362 67 39307 4058 2522 90 1694.07 1800.04/1800.90 c 154885 269 3379 234409 69 49762 4464 2883 91 1700.32 1800.04/1800.90 c 156966 269 4950 359734 72 89770 4911 4454 91 1713.15 1800.04/1800.90 c 160189 269 3304 219934 66 56159 5403 2808 92 1737.67 1800.04/1800.90 c 165126 269 3903 305779 78 49104 5944 3407 93 1759.34 1800.04/1800.90 c 172633 269 5803 430742 74 76498 6539 5307 96 1790.68 1800.04/1800.90 c Caught signal: 15 1800.04/1800.90 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 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 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 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 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 -x47 x48 x49 -x50 x51 x52 -x53 -x54 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x244 -x245 x246 x247 -x248 x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 x300 x301 -x302 x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x73 x74 x75 x76 -x77 -x78 -x79 -x80 -x81 1800.04/1800.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.90 c 41 173409 1391 180553 4588 332267 4092 96 1800.05 1800.04/1800.90 c Objective: 5 1800.04/1800.90 s SATISFIABLE 1800.04/1800.90 c Total time: 1800.05 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879493-1245244296/watcher-1879493-1245244296 -o /tmp/evaluation-result-1879493-1245244296/solver-1879493-1245244296 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879493-1245244296.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: 0.99 0.98 0.93 3/65 10413 /proc/meminfo: memFree=1768816/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=10712 CPUtime=0 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 192026438 10969088 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 2678 261 189 640 0 2034 0 [startup+0.044638 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10413 /proc/meminfo: memFree=1768816/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=11236 CPUtime=0.04 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 402 0 0 0 4 0 0 0 18 0 1 0 192026438 11505664 381 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 2809 381 198 640 0 2165 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11236 [startup+0.101649 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10413 /proc/meminfo: memFree=1768816/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=11368 CPUtime=0.09 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 456 0 0 0 9 0 0 0 18 0 1 0 192026438 11640832 435 1992294400 134512640 137136520 4294956256 18446744073709551615 134598507 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 2842 435 198 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301689 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10413 /proc/meminfo: memFree=1768816/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=12416 CPUtime=0.29 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 707 0 0 0 29 0 0 0 19 0 1 0 192026438 12713984 686 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 3104 686 198 640 0 2460 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12416 [startup+0.701772 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10413 /proc/meminfo: memFree=1768816/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=13576 CPUtime=0.69 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 998 0 0 0 69 0 0 0 23 0 1 0 192026438 13901824 977 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 3394 977 198 640 0 2750 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13576 [startup+1.50194 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1765096/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=14876 CPUtime=1.49 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 1325 0 0 0 149 0 0 0 25 0 1 0 192026438 15233024 1304 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 3719 1304 198 640 0 3075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14876 [startup+3.10127 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1763112/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=16976 CPUtime=3.08 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 1844 0 0 0 308 0 0 0 25 0 1 0 192026438 17383424 1823 1992294400 134512640 137136520 4294956256 18446744073709551615 134544390 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 4244 1823 198 640 0 3600 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16976 [startup+6.30193 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1758888/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=20252 CPUtime=6.29 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 2678 0 0 0 628 1 0 0 25 0 1 0 192026438 20738048 2657 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 5063 2657 198 640 0 4419 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20252 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1757608/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=21284 CPUtime=12.69 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 2936 0 0 0 1267 2 0 0 25 0 1 0 192026438 21794816 2915 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 5321 2915 198 640 0 4677 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21284 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1757672/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=21288 CPUtime=25.48 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 2937 0 0 0 2546 2 0 0 25 0 1 0 192026438 21798912 2916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 5322 2916 198 640 0 4678 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21288 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1754472/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=24680 CPUtime=51.06 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 3767 0 0 0 5101 5 0 0 25 0 1 0 192026438 25272320 3746 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6170 3746 198 640 0 5526 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 24680 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1752488/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=26512 CPUtime=102.24 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4234 0 0 0 10217 7 0 0 25 0 1 0 192026438 27148288 4213 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6628 4213 198 640 0 5984 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 26512 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1752424/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=26516 CPUtime=162.21 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4235 0 0 0 16212 9 0 0 25 0 1 0 192026438 27152384 4214 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6629 4214 198 640 0 5985 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 26516 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1752296/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=26652 CPUtime=222.19 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4268 0 0 0 22209 10 0 0 25 0 1 0 192026438 27291648 4247 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6663 4247 198 640 0 6019 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 26652 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1752296/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=26652 CPUtime=282.15 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4268 0 0 0 28204 11 0 0 25 0 1 0 192026438 27291648 4247 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6663 4247 198 640 0 6019 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 26652 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1751400/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=27564 CPUtime=342.13 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4512 0 0 0 34199 14 0 0 25 0 1 0 192026438 28225536 4491 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6891 4491 198 640 0 6247 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 27564 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1751400/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=27564 CPUtime=402.1 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4512 0 0 0 40195 15 0 0 25 0 1 0 192026438 28225536 4491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6891 4491 198 640 0 6247 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 27564 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1751208/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=27820 CPUtime=462.08 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 4554 0 0 0 46191 17 0 0 25 0 1 0 192026438 28487680 4533 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 6955 4533 198 640 0 6311 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 27820 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746984/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=522.04 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 52186 18 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 32000 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746984/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=582.02 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 58182 20 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 32000 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746920/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=641.98 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 64177 21 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 32000 [startup+702.302 s] ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746728/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=881.87 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 88161 26 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 32000 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746728/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=941.84 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 94157 27 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 32000 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746728/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1001.82 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 100154 28 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 32000 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746664/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1061.79 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 106149 30 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 32000 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746664/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1121.76 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 112145 31 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 32000 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746600/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1181.74 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 118141 33 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 32000 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746536/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1241.71 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 124137 34 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 32000 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746472/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1301.69 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 130134 35 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 32000 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746408/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1361.66 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 136130 36 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 32000 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746472/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32000 CPUtime=1421.63 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5606 0 0 0 142126 37 0 0 25 0 1 0 192026438 32768000 5585 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8000 5585 198 640 0 7356 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 32000 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746472/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32092 CPUtime=1481.59 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 148121 38 0 0 25 0 1 0 192026438 32862208 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8023 5602 198 640 0 7379 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 32092 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746408/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32092 CPUtime=1541.57 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 154118 39 0 0 25 0 1 0 192026438 32862208 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8023 5602 198 640 0 7379 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 32092 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746344/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32040 CPUtime=1601.54 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 160114 40 0 0 25 0 1 0 192026438 32808960 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8010 5602 198 640 0 7366 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 32040 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746344/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32040 CPUtime=1661.51 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 166108 43 0 0 25 0 1 0 192026438 32808960 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8010 5602 198 640 0 7366 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 32040 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746280/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32040 CPUtime=1721.47 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 172102 45 0 0 25 0 1 0 192026438 32808960 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8010 5602 198 640 0 7366 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 32040 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746216/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32040 CPUtime=1781.44 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 178097 47 0 0 25 0 1 0 192026438 32808960 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8010 5602 198 640 0 7366 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 32040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746152/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32040 CPUtime=1800.04 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 179956 48 0 0 25 0 1 0 192026438 32808960 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8010 5602 198 640 0 7366 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 32040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10414 /proc/meminfo: memFree=1746152/2055920 swapFree=4192812/4192956 [pid=10413] ppid=10411 vsize=32040 CPUtime=1800.04 /proc/10413/stat : 10413 (bsolo) R 10411 10413 10142 0 -1 4194304 5623 0 0 0 179956 48 0 0 25 0 1 0 192026438 32808960 5602 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10413/statm: 8010 5602 198 640 0 7366 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 32040 Child status: 15 Real time (s): 1800.92 CPU time (s): 1800.06 CPU user time (s): 1799.57 CPU system time (s): 0.491925 CPU usage (%): 99.9525 Max. virtual memory (cumulated for all children) (KiB): 32092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.491925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5625 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= 2 involuntary context switches= 5415 runsolver used 1.68274 second user time and 4.87926 second system time The end
Begin job on node54 at 2009-06-17 15:11:36 IDJOB=1879493 IDBENCH=48043 IDSOLVER=701 FILE ID=node54/1879493-1245244296 PBS_JOBID= 9372287 Free space on /tmp= 66496 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879493-1245244296/watcher-1879493-1245244296 -o /tmp/evaluation-result-1879493-1245244296/solver-1879493-1245244296 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879493-1245244296.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ffde7c44e1ce67f9a67e822c2db106af RANDOM SEED=1812696836 node54.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 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 : 5931.00 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.259 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: 1769304 kB Buffers: 40148 kB Cached: 171740 kB SwapCached: 0 kB Active: 54208 kB Inactive: 171496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1769304 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3940 kB Writeback: 0 kB Mapped: 23608 kB Slab: 46788 kB Committed_AS: 134852 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879493-1245244296.opb Free space on /tmp at the end= 66492 MiB End job on node54 at 2009-06-17 15:41:39