Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 19 | 1782.73 | 1783.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
Number of bits of the biggest sum of numbers | 13 |
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.01 c Pueblo version 1.4 (September 2005) 0.00/0.01 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.01 c by Hossein Sheini 0.00/0.01 c starting to Solve 0.00/0.01 c #variables read: 172 - #constraints read: 15 0.00/0.02 o 1633 0.00/0.04 o 1629 0.03/0.05 o 1424 0.03/0.06 o 1420 0.03/0.06 o 1416 0.03/0.06 o 1414 0.03/0.07 o 1298 0.03/0.07 o 1296 0.03/0.07 o 1294 0.03/0.07 o 1292 0.03/0.07 o 1290 0.03/0.07 o 1288 0.03/0.08 o 1286 0.03/0.08 o 1260 0.03/0.08 o 1258 0.03/0.08 o 1256 0.03/0.08 o 1254 0.03/0.08 o 1252 0.03/0.09 o 1250 0.03/0.09 o 1248 0.03/0.09 o 1246 0.09/0.10 o 1243 0.09/0.10 o 1241 0.09/0.10 o 1239 0.09/0.10 o 1235 0.09/0.10 o 1233 0.09/0.17 o 1231 0.09/0.17 o 1229 0.09/0.18 o 1227 0.09/0.18 o 1225 0.09/0.18 o 1223 0.09/0.18 o 1221 0.09/0.18 o 1219 0.09/0.18 o 1217 0.09/0.19 o 1215 0.19/0.24 o 489 0.19/0.24 o 487 0.19/0.24 o 485 0.19/0.24 o 475 0.19/0.24 o 473 0.19/0.24 o 471 0.19/0.29 o 470 0.19/0.29 o 468 0.29/0.36 o 448 0.29/0.36 o 444 0.29/0.36 o 398 0.29/0.36 o 396 0.29/0.37 o 394 0.29/0.39 o 391 0.38/0.42 o 382 1.78/1.87 o 375 1.78/1.88 o 371 1.78/1.88 o 367 1.78/1.89 o 361 1.78/1.89 o 357 1.78/1.89 o 353 2.97/3.06 o 351 2.97/3.06 o 349 3.68/3.80 o 305 3.68/3.80 o 303 3.78/3.80 o 301 3.78/3.80 o 299 3.78/3.80 o 291 3.78/3.80 o 287 3.78/3.81 o 283 3.78/3.87 o 271 3.78/3.87 o 269 3.78/3.87 o 265 3.78/3.87 o 263 3.87/3.90 o 259 3.87/3.90 o 253 3.87/3.90 o 249 4.18/4.27 o 235 4.18/4.27 o 219 4.18/4.27 o 211 4.18/4.27 o 207 4.18/4.28 o 203 4.18/4.29 o 195 4.18/4.29 o 191 4.28/4.34 o 190 4.28/4.35 o 188 4.28/4.35 o 186 5.28/5.38 o 184 5.28/5.38 o 176 5.48/5.58 o 174 5.48/5.58 o 172 6.18/6.24 o 168 6.18/6.24 o 154 6.18/6.24 o 144 6.59/6.64 o 140 7.07/7.12 o 110 7.78/7.86 o 99 7.78/7.87 o 97 7.78/7.87 o 95 8.08/8.11 o 93 26.67/26.80 o 82 26.77/26.80 o 78 26.77/26.80 o 74 28.37/28.41 o 68 28.37/28.43 o 66 28.48/28.51 o 64 29.77/29.84 o 63 30.37/30.40 o 62 30.47/30.57 o 61 30.47/30.57 o 59 30.47/30.57 o 55 30.47/30.57 o 53 30.47/30.57 o 51 37.17/37.20 o 42 37.17/37.20 o 40 37.17/37.21 o 38 40.87/40.93 o 36 40.87/40.93 o 34 54.27/54.38 o 32 103.06/103.18 o 28 103.06/103.18 o 26 120.06/120.20 o 24 120.16/120.20 o 20 970.87/971.20 o 19 1782.69/1783.12 c total time : 1783 s 1782.69/1783.12 s SATISFIABLE 1782.69/1783.12 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 1782.69/1783.12 v -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 1782.69/1783.12 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 1782.69/1783.12 v -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 1782.69/1783.12 v -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 x116 x117 x118 x119 -x120 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 1782.69/1783.12 v -x129 x130 x131 x132 x133 -x134 -x135 x136 x137 x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 1782.69/1783.12 v x152 x153 -x154 x155 x156 -x157 -x158 x159 x160 -x161 x162 x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 x172
OK 19
/tmp/evaluation/354923-1176732707/instance-354923-1176732707.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-354923-1176732707 -o ROOT/results/node29/solver-354923-1176732707 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/354923-1176732707/instance-354923-1176732707.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.00 0.99 3/77 7406 /proc/meminfo: memFree=1576336/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2288 CPUtime=0 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 184 0 3 0 0 0 0 0 18 0 1 0 121186432 2342912 157 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4160348256 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 572 168 146 16 0 11 0 [startup+0.0470611 s] /proc/loadavg: 0.93 1.00 0.99 3/77 7406 /proc/meminfo: memFree=1576336/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2688 CPUtime=0.03 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 300 0 3 0 3 0 0 0 18 0 1 0 121186432 2752512 273 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 672 273 205 16 0 111 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2688 [startup+0.102063 s] /proc/loadavg: 0.93 1.00 0.99 3/77 7406 /proc/meminfo: memFree=1576336/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2688 CPUtime=0.09 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 306 0 3 0 9 0 0 0 18 0 1 0 121186432 2752512 279 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 672 279 205 16 0 111 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2688 [startup+0.302076 s] /proc/loadavg: 0.93 1.00 0.99 3/77 7406 /proc/meminfo: memFree=1576336/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2688 CPUtime=0.29 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 312 0 3 0 29 0 0 0 19 0 1 0 121186432 2752512 285 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 672 285 205 16 0 111 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2688 [startup+0.7021 s] /proc/loadavg: 0.93 1.00 0.99 3/77 7406 /proc/meminfo: memFree=1576336/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2688 CPUtime=0.68 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 315 0 3 0 68 0 0 0 23 0 1 0 121186432 2752512 288 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 672 288 205 16 0 111 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 2688 [startup+1.50115 s] /proc/loadavg: 0.93 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1575176/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2816 CPUtime=1.48 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 329 0 3 0 147 1 0 0 25 0 1 0 121186432 2883584 302 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 704 302 205 16 0 143 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 2816 [startup+3.10125 s] /proc/loadavg: 0.93 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574856/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=2944 CPUtime=3.08 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 384 0 3 0 304 4 0 0 25 0 1 0 121186432 3014656 357 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 736 357 205 16 0 175 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 2944 [startup+6.30145 s] /proc/loadavg: 0.93 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574664/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3068 CPUtime=6.28 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 392 0 3 0 621 7 0 0 25 0 1 0 121186432 3141632 365 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 767 365 205 16 0 206 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 3068 [startup+12.7018 s] /proc/loadavg: 0.94 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574664/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3068 CPUtime=12.68 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 398 0 3 0 1255 13 0 0 25 0 1 0 121186432 3141632 371 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 767 371 205 16 0 206 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 3068 [startup+25.5016 s] /proc/loadavg: 0.95 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574664/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3188 CPUtime=25.47 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 422 0 3 0 2523 24 0 0 25 0 1 0 121186432 3264512 395 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 797 395 205 16 0 236 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 3188 [startup+51.1012 s] /proc/loadavg: 0.97 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574728/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3188 CPUtime=51.07 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 425 0 3 0 5067 40 0 0 25 0 1 0 121186432 3264512 398 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 797 398 205 16 0 236 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 3188 [startup+102.305 s] /proc/loadavg: 0.98 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574728/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3188 CPUtime=102.26 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 434 0 3 0 10159 67 0 0 25 0 1 0 121186432 3264512 407 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 797 407 205 16 0 236 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 3188 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 7407 /proc/meminfo: memFree=1574600/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3316 CPUtime=162.24 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 454 0 3 0 16122 102 0 0 25 0 1 0 121186432 3395584 427 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 829 427 205 16 0 268 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 3316 [startup+222.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 7407 /proc/meminfo: memFree=1574472/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3316 CPUtime=222.23 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 477 0 3 0 22078 145 0 0 25 0 1 0 121186432 3395584 450 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 829 450 205 16 0 268 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 3316 [startup+282.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1574344/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3560 CPUtime=282.22 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 513 0 3 0 28039 183 0 0 25 0 1 0 121186432 3645440 486 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 890 486 205 16 0 329 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 3560 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1574344/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3560 CPUtime=342.21 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 513 0 3 0 33999 222 0 0 25 0 1 0 121186432 3645440 486 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 890 486 205 16 0 329 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 3560 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1574216/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3560 CPUtime=402.19 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 542 0 3 0 39955 264 0 0 25 0 1 0 121186432 3645440 515 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 890 515 205 16 0 329 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 3560 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1574152/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3560 CPUtime=462.18 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 542 0 3 0 45916 302 0 0 25 0 1 0 121186432 3645440 515 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 890 515 205 16 0 329 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 3560 [startup+522.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1574152/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3560 CPUtime=522.17 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 542 0 3 0 51878 339 0 0 25 0 1 0 121186432 3645440 515 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 890 515 205 16 0 329 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 3560 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1574024/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3688 CPUtime=582.16 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 565 0 3 0 57837 379 0 0 25 0 1 0 121186432 3776512 538 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 922 538 205 16 0 361 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 3688 [startup+642.302 s] /proc/loadavg: 1.05 1.01 1.00 2/78 7407 /proc/meminfo: memFree=1574024/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3688 CPUtime=642.14 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 565 0 3 0 63797 417 0 0 25 0 1 0 121186432 3776512 538 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 922 538 205 16 0 361 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 3688 ################ # More data... # ################ /proc/meminfo: memFree=1573896/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3816 CPUtime=822.11 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 590 0 3 0 81684 527 0 0 25 0 1 0 121186432 3907584 563 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 954 563 205 16 0 393 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 3816 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573832/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3816 CPUtime=882.09 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 594 0 3 0 87646 563 0 0 25 0 1 0 121186432 3907584 567 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557235 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 954 567 205 16 0 393 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 3816 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573896/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3816 CPUtime=942.08 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 594 0 3 0 93606 602 0 0 25 0 1 0 121186432 3907584 567 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 954 567 205 16 0 393 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 3816 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573768/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1002.06 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 624 0 3 0 99570 636 0 0 25 0 1 0 121186432 4038656 597 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 597 205 16 0 425 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 3944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573704/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1062.05 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 624 0 3 0 105534 671 0 0 25 0 1 0 121186432 4038656 597 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 597 205 16 0 425 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 3944 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573640/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1122.04 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 627 0 3 0 111499 705 0 0 25 0 1 0 121186432 4038656 600 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 600 205 16 0 425 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 3944 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573704/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1182.02 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 627 0 3 0 117463 739 0 0 25 0 1 0 121186432 4038656 600 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 600 205 16 0 425 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 3944 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573704/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1242.01 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 628 0 3 0 123426 775 0 0 25 0 1 0 121186432 4038656 601 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 601 205 16 0 425 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 3944 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573640/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1302 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 628 0 3 0 129392 808 0 0 25 0 1 0 121186432 4038656 601 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 601 205 16 0 425 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 3944 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573640/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1361.98 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 629 0 3 0 135353 845 0 0 25 0 1 0 121186432 4038656 602 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 602 205 16 0 425 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 3944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573576/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1421.98 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 635 0 3 0 141316 882 0 0 25 0 1 0 121186432 4038656 608 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 608 205 16 0 425 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 3944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7407 /proc/meminfo: memFree=1573576/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1481.96 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 635 0 3 0 147280 916 0 0 25 0 1 0 121186432 4038656 608 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 608 205 16 0 425 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 3944 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573384/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=3944 CPUtime=1541.94 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 635 0 3 0 153240 954 0 0 25 0 1 0 121186432 4038656 608 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 986 608 205 16 0 425 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 3944 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573384/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=4068 CPUtime=1601.93 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 650 0 3 0 159202 991 0 0 25 0 1 0 121186432 4165632 623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 1017 623 205 16 0 456 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 4068 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573384/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=4068 CPUtime=1661.91 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 658 0 3 0 165160 1031 0 0 25 0 1 0 121186432 4165632 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 1017 631 205 16 0 456 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 4068 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573384/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=4068 CPUtime=1721.91 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 658 0 3 0 171121 1070 0 0 25 0 1 0 121186432 4165632 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 1017 631 205 16 0 456 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 4068 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573448/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=4068 CPUtime=1781.89 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 658 0 3 0 177085 1104 0 0 25 0 1 0 121186432 4165632 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 1017 631 205 16 0 456 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 4068 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573448/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=4068 CPUtime=1782.29 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 658 0 3 0 177125 1104 0 0 25 0 1 0 121186432 4165632 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 1017 631 205 16 0 456 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 4068 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7409 /proc/meminfo: memFree=1573448/2055920 swapFree=4155856/4192956 [pid=7406] ppid=7404 vsize=4068 CPUtime=1782.69 /proc/7406/stat : 7406 (Pueblo) R 7404 7406 6220 0 -1 4194304 658 0 3 0 177165 1104 0 0 25 0 1 0 121186432 4165632 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/7406/statm: 1017 631 205 16 0 456 0 Current children cumulated CPU time (s) 1782.69 Current children cumulated vsize (KiB) 4068 Child status: 10 Real time (s): 1783.14 CPU time (s): 1782.73 CPU user time (s): 1771.68 CPU system time (s): 11.0503 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 4068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.68 system time used= 11.0503 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 665 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 35703 runsolver used 1.90471 second user time and 4.08038 second system time The end
Begin job on node29 on Mon Apr 16 14:11:47 UTC 2007 IDJOB= 354923 IDBENCH= 2921 IDSOLVER= 165 FILE ID= node29/354923-1176732707 PBS_JOBID= 4559506 Free space on /tmp= 66529 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= Pueblo /tmp/evaluation/354923-1176732707/instance-354923-1176732707.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-354923-1176732707 -o ROOT/results/node29/conversion-354923-1176732707 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354923-1176732707/instance-354923-1176732707.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-354923-1176732707 -o ROOT/results/node29/solver-354923-1176732707 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/354923-1176732707/instance-354923-1176732707.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 811545593 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1576744 kB Buffers: 45876 kB Cached: 346216 kB SwapCached: 2920 kB Active: 130172 kB Inactive: 287120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1576744 kB SwapTotal: 4192956 kB SwapFree: 4155856 kB Dirty: 2308 kB Writeback: 0 kB Mapped: 32488 kB Slab: 47308 kB Committed_AS: 2001076 kB PageTables: 1880 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66529 MiB End job on node29 on Mon Apr 16 14:41:30 UTC 2007