Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 38 | 1800.03 | 1800.63 |
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.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459150-1178649870/instance-459150-1178649870.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 627 0.00/0.00 o 503 0.00/0.00 o 432 6.09/6.19 o 427 6.29/6.34 o 425 6.39/6.43 o 423 6.39/6.46 o 421 6.49/6.54 o 419 6.79/6.87 o 417 6.99/7.03 o 415 7.19/7.28 o 413 7.29/7.34 o 411 7.39/7.40 o 409 7.39/7.44 o 403 7.39/7.48 o 401 7.49/7.52 o 399 7.49/7.55 o 397 7.59/7.60 o 395 7.59/7.67 o 393 7.69/7.79 o 391 7.79/7.83 o 389 7.79/7.86 o 385 7.79/7.89 o 383 7.89/7.92 o 381 7.89/7.94 o 379 7.89/7.99 o 377 7.99/8.03 o 375 7.99/8.08 o 373 8.09/8.11 o 371 8.09/8.18 o 369 8.19/8.23 o 367 8.19/8.26 o 365 8.29/8.33 o 363 8.29/8.38 o 361 8.49/8.56 o 359 8.58/8.69 o 356 8.99/9.03 o 354 9.19/9.26 o 352 9.39/9.46 o 350 9.49/9.54 o 344 9.69/9.70 o 342 9.69/9.78 o 340 9.79/9.82 o 338 9.89/9.90 o 337 9.99/10.07 o 335 10.09/10.11 o 333 10.19/10.25 o 331 10.29/10.30 o 329 10.29/10.36 o 327 10.39/10.41 o 325 10.49/10.52 o 324 10.49/10.55 o 323 10.59/10.67 o 321 11.00/11.02 o 319 11.39/11.49 o 317 11.49/11.54 o 315 11.49/11.58 o 313 11.59/11.62 o 311 11.59/11.67 o 309 11.99/12.08 o 308 22.29/22.35 o 304 22.39/22.40 o 296 22.39/22.42 o 290 22.49/22.54 o 289 22.59/22.61 o 287 22.88/22.93 o 283 22.99/23.08 o 281 23.09/23.11 o 279 23.09/23.13 o 277 23.28/23.38 o 275 23.48/23.55 o 273 23.58/23.66 o 271 23.68/23.71 o 269 23.68/23.76 o 267 24.28/24.35 o 266 24.48/24.54 o 264 24.58/24.62 o 262 24.58/24.67 o 258 24.68/24.73 o 256 24.68/24.77 o 254 24.88/24.95 o 253 25.08/25.11 o 251 25.49/25.59 o 250 25.69/25.75 o 248 25.79/25.83 o 246 32.99/33.01 o 245 33.09/33.17 o 243 33.19/33.23 o 241 42.58/42.67 o 240 42.68/42.76 o 238 42.98/43.03 o 237 43.18/43.24 o 235 56.87/56.94 o 234 56.97/57.06 o 232 71.48/71.55 o 231 71.77/71.88 o 229 71.87/71.95 o 227 71.97/72.09 o 225 72.37/72.46 o 223 72.47/72.53 o 221 72.57/72.62 o 219 75.87/75.94 o 218 75.97/76.00 o 216 76.07/76.19 o 214 76.37/76.41 o 212 76.77/76.89 o 210 76.88/76.99 o 208 83.17/83.25 o 206 83.37/83.42 o 204 83.87/83.93 o 202 83.97/84.04 o 200 84.07/84.12 o 198 84.07/84.17 o 196 84.07/84.19 o 194 118.16/118.21 o 193 118.26/118.34 o 191 174.55/174.69 o 190 174.95/175.07 o 188 175.15/175.23 o 186 238.82/238.99 o 184 241.13/241.26 o 183 241.53/241.68 o 181 242.22/242.32 o 179 242.52/242.69 o 175 242.93/243.03 o 173 243.32/243.44 o 171 243.52/243.65 o 169 244.23/244.37 o 167 244.33/244.46 o 165 244.43/244.59 o 163 244.73/244.83 o 161 244.83/244.99 o 159 244.93/245.08 o 157 245.03/245.16 o 155 245.32/245.45 o 153 245.42/245.56 o 149 245.52/245.66 o 147 245.62/245.73 o 145 245.72/245.84 o 143 245.82/245.99 o 141 246.02/246.15 o 139 246.12/246.26 o 137 281.12/281.24 o 136 281.32/281.49 o 134 482.16/482.32 o 133 482.56/482.79 o 131 482.86/483.08 o 129 483.06/483.21 o 127 512.25/512.41 o 125 512.46/512.64 o 123 537.75/537.92 o 119 651.31/651.52 o 117 651.81/652.04 o 115 652.02/652.28 o 113 652.31/652.52 o 111 652.51/652.72 o 109 652.61/652.81 o 107 833.47/833.76 o 105 833.67/833.94 o 103 834.07/834.36 o 101 834.27/834.51 o 99 834.47/834.71 o 97 834.67/834.95 o 95 834.77/835.10 o 93 835.07/835.32 o 91 835.27/835.55 o 89 835.47/835.73 o 87 835.57/835.87 o 85 836.16/836.44 o 83 836.26/836.56 o 81 1015.54/1015.90 o 79 1015.74/1016.18 o 77 1215.45/1215.91 o 75 1215.85/1216.38 o 73 1216.25/1216.74 o 71 1216.36/1216.89 o 69 1216.66/1217.13 o 67 1216.96/1217.42 o 65 1217.16/1217.65 o 63 1217.36/1217.80 o 61 1217.45/1217.94 o 59 1217.55/1218.07 o 57 1217.65/1218.14 o 55 1217.85/1218.32 o 53 1217.95/1218.49 o 51 1457.69/1458.24 o 50 1457.99/1458.54 o 46 1458.09/1458.62 o 44 1458.29/1458.88 o 42 1458.59/1459.17 o 40 1458.79/1459.33 o 38 1800.00/1800.60 s SATISFIABLE 1800.00/1800.60 v x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 -x118 1800.00/1800.60 v -x119 -x12 x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x13 x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 1800.00/1800.60 v -x139 -x14 -x140 -x141 x142 x143 x144 -x145 x146 x147 -x148 x149 -x15 x150 x151 x152 -x153 x154 -x155 x156 x157 x158 x159 -x16 1800.00/1800.60 v x160 x161 -x162 x163 x164 -x165 -x166 x167 x168 x169 -x17 -x170 -x171 x172 -x18 -x19 -x2 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 1800.00/1800.60 v x28 -x29 -x3 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 -x51 1800.00/1800.60 v -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 1800.00/1800.60 v x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 38
/tmp/evaluation/459150-1178649870/instance-459150-1178649870.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-459150-1178649870 -o ROOT/results/node11/solver-459150-1178649870 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459150-1178649870/instance-459150-1178649870.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.91 0.95 0.91 3/77 2563 /proc/meminfo: memFree=1931048/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=1324 CPUtime=0 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 306035981 1355776 116 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135023167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 331 116 86 219 0 108 0 [startup+0.010139 s] /proc/loadavg: 0.91 0.95 0.91 3/77 2563 /proc/meminfo: memFree=1931048/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=1320 CPUtime=0 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 306035981 1351680 141 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 330 141 102 219 0 107 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1320 [startup+0.101149 s] /proc/loadavg: 0.91 0.95 0.91 3/77 2563 /proc/meminfo: memFree=1931048/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=1724 CPUtime=0.09 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 250 0 0 0 9 0 0 0 18 0 1 0 306035981 1765376 231 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 431 231 102 219 0 208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1724 [startup+0.301172 s] /proc/loadavg: 0.91 0.95 0.91 3/77 2563 /proc/meminfo: memFree=1931048/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=2400 CPUtime=0.29 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 438 0 0 0 29 0 0 0 19 0 1 0 306035981 2457600 419 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 600 419 102 219 0 377 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2400 [startup+0.70122 s] /proc/loadavg: 0.91 0.95 0.91 3/77 2563 /proc/meminfo: memFree=1931048/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=3620 CPUtime=0.69 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 738 0 0 0 69 0 0 0 22 0 1 0 306035981 3706880 719 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 905 719 102 219 0 682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3620 [startup+1.50131 s] /proc/loadavg: 0.91 0.95 0.91 2/78 2564 /proc/meminfo: memFree=1927904/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=5992 CPUtime=1.49 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 1214 0 0 0 148 1 0 0 25 0 1 0 306035981 6135808 1146 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 1498 1147 102 219 0 1275 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5992 [startup+3.1015 s] /proc/loadavg: 0.91 0.95 0.91 2/78 2564 /proc/meminfo: memFree=1925792/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=10224 CPUtime=3.09 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 1669 0 0 0 306 3 0 0 25 0 1 0 306035981 10469376 1601 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 2556 1601 102 219 0 2333 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10224 [startup+6.30188 s] /proc/loadavg: 0.92 0.95 0.91 2/78 2564 /proc/meminfo: memFree=1922792/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=11272 CPUtime=6.29 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 2444 0 0 0 625 4 0 0 25 0 1 0 306035981 11542528 2279 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 2818 2279 102 219 0 2595 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11272 [startup+12.7016 s] /proc/loadavg: 0.93 0.95 0.91 2/78 2564 /proc/meminfo: memFree=1917672/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=20328 CPUtime=12.69 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 3643 0 0 0 1261 8 0 0 25 0 1 0 306035981 20815872 3478 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 5082 3478 102 219 0 4859 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20328 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.91 2/78 2564 /proc/meminfo: memFree=1915240/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=21832 CPUtime=25.49 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 4361 0 0 0 2537 12 0 0 25 0 1 0 306035981 22355968 4003 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 5458 4003 102 219 0 5235 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21832 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.91 2/78 2564 /proc/meminfo: memFree=1910888/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=22900 CPUtime=51.08 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 5442 0 0 0 5091 17 0 0 25 0 1 0 306035981 23449600 5084 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 5725 5084 102 219 0 5502 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22900 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 2564 /proc/meminfo: memFree=1904424/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=42160 CPUtime=102.27 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 7404 0 0 0 10203 24 0 0 25 0 1 0 306035981 43171840 6661 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 10540 6661 102 219 0 10317 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42160 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2564 /proc/meminfo: memFree=1900264/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=43616 CPUtime=162.25 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 8435 0 0 0 16194 31 0 0 25 0 1 0 306035981 44662784 7692 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 10904 7692 102 219 0 10681 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43616 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1895976/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=44948 CPUtime=222.23 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 9459 0 0 0 22185 38 0 0 25 0 1 0 306035981 46026752 8716 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 11237 8716 102 219 0 11014 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44948 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1890408/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=49164 CPUtime=282.22 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 11627 0 0 0 28176 46 0 0 25 0 1 0 306035981 50343936 10115 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 12291 10115 102 219 0 12068 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49164 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1887592/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=51048 CPUtime=342.2 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 12315 0 0 0 34169 51 0 0 25 0 1 0 306035981 52273152 10803 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 12762 10803 102 219 0 12539 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 51048 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1885864/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=51816 CPUtime=402.18 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 12766 0 0 0 40161 57 0 0 25 0 1 0 306035981 53059584 11254 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 12954 11254 102 219 0 12731 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 51816 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1884008/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=52512 CPUtime=462.17 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 13173 0 0 0 46156 61 0 0 25 0 1 0 306035981 53772288 11661 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 13128 11661 102 219 0 12905 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 52512 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1882600/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=53228 CPUtime=522.15 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 13532 0 0 0 52150 65 0 0 25 0 1 0 306035981 54505472 12020 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 13307 12020 102 219 0 13084 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 53228 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 3/78 2566 /proc/meminfo: memFree=1881704/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=53700 CPUtime=582.13 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 13722 0 0 0 58144 69 0 0 25 0 1 0 306035981 54988800 12210 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 13425 12210 102 219 0 13202 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 53700 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1881192/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=53920 CPUtime=642.13 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 13840 0 0 0 64140 73 0 0 25 0 1 0 306035981 55214080 12328 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 13480 12328 102 219 0 13257 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 53920 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1876392/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=94368 CPUtime=822.07 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 16536 0 0 0 82122 85 0 0 25 0 1 0 306035981 96632832 13487 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 23592 13487 102 219 0 23369 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 94368 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1872552/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=95308 CPUtime=882.05 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 17481 0 0 0 88116 89 0 0 25 0 1 0 306035981 97595392 14432 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 23827 14432 102 219 0 23604 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 95308 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2566 /proc/meminfo: memFree=1871336/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=95736 CPUtime=942.04 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 17784 0 0 0 94110 94 0 0 25 0 1 0 306035981 98033664 14735 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 23934 14735 102 219 0 23711 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 95736 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/84 2640 /proc/meminfo: memFree=1868648/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=96784 CPUtime=1001.99 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 18045 0 0 0 100100 99 0 0 25 0 1 0 306035981 99106816 14996 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24196 14996 102 219 0 23973 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 96784 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1868968/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=97272 CPUtime=1061.9 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 18252 0 0 0 106085 105 0 0 25 0 1 0 306035981 99606528 15203 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24318 15203 102 219 0 24095 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 97272 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1868392/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=97404 CPUtime=1121.87 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 18392 0 0 0 112079 108 0 0 25 0 1 0 306035981 99741696 15343 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24351 15343 102 219 0 24128 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 97404 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1867880/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=97536 CPUtime=1181.86 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 18531 0 0 0 118074 112 0 0 25 0 1 0 306035981 99876864 15482 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24384 15482 102 219 0 24161 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 97536 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1866728/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=98708 CPUtime=1241.84 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 18780 0 0 0 124069 115 0 0 25 0 1 0 306035981 101076992 15731 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24677 15731 102 219 0 24454 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 98708 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1866152/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=98708 CPUtime=1301.83 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 18901 0 0 0 130065 118 0 0 25 0 1 0 306035981 101076992 15852 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24677 15852 102 219 0 24454 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 98708 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1865000/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=98708 CPUtime=1361.82 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 19187 0 0 0 136060 122 0 0 25 0 1 0 306035981 101076992 16138 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24677 16138 102 219 0 24454 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 98708 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1861160/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=98840 CPUtime=1421.8 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 20128 0 0 0 142055 125 0 0 25 0 1 0 306035981 101212160 17079 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24710 17079 102 219 0 24487 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 98840 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1857192/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=99104 CPUtime=1481.78 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 21138 0 0 0 148049 129 0 0 25 0 1 0 306035981 101482496 18089 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 24776 18089 102 219 0 24553 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 99104 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1853672/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=100448 CPUtime=1541.76 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 22009 0 0 0 154044 132 0 0 25 0 1 0 306035981 102858752 18960 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 25112 18960 102 219 0 24889 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 100448 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1850536/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=100968 CPUtime=1601.74 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 22827 0 0 0 160039 135 0 0 25 0 1 0 306035981 103391232 19712 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 25242 19712 102 219 0 25019 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 100968 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 3/78 2764 /proc/meminfo: memFree=1847464/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=101360 CPUtime=1661.73 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 23658 0 0 0 166034 139 0 0 25 0 1 0 306035981 103792640 20510 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 25340 20510 102 219 0 25117 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 101360 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1845928/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=102340 CPUtime=1721.71 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 24027 0 0 0 172029 142 0 0 25 0 1 0 306035981 104796160 20879 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 25585 20879 102 219 0 25362 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 102340 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1844520/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=102736 CPUtime=1781.7 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 24332 0 0 0 178024 146 0 0 25 0 1 0 306035981 105201664 21184 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 25684 21184 102 219 0 25461 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 102736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 2764 /proc/meminfo: memFree=1844264/2055920 swapFree=4147100/4192956 [pid=2563] ppid=2561 vsize=102736 CPUtime=1800 /proc/2563/stat : 2563 (PBS4_SAT07v2) R 2561 2563 1750 0 -1 4194304 24390 0 0 0 179853 147 0 0 25 0 1 0 306035981 105201664 21242 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2563/statm: 25684 21242 102 219 0 25461 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 102736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.03 CPU user time (s): 1798.54 CPU system time (s): 1.48877 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 102736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.54 system time used= 1.48877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24393 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= 8 involuntary context switches= 3661 runsolver used 1.52477 second user time and 4.08838 second system time The end
Begin job on node11 on Tue May 8 18:44:30 UTC 2007 IDJOB= 459150 IDBENCH= 2921 IDSOLVER= 200 FILE ID= node11/459150-1178649870 PBS_JOBID= 5217832 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 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= PBS4_SAT07v2 /tmp/evaluation/459150-1178649870/instance-459150-1178649870.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-459150-1178649870 -o ROOT/results/node11/conversion-459150-1178649870 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459150-1178649870/instance-459150-1178649870.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-459150-1178649870 -o ROOT/results/node11/solver-459150-1178649870 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459150-1178649870/instance-459150-1178649870.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 115577533 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1931520 kB Buffers: 17708 kB Cached: 29364 kB SwapCached: 14332 kB Active: 46920 kB Inactive: 23348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1931520 kB SwapTotal: 4192956 kB SwapFree: 4147100 kB Dirty: 2284 kB Writeback: 0 kB Mapped: 29868 kB Slab: 39552 kB Committed_AS: 7524764 kB PageTables: 1848 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= 66562 MiB End job on node11 on Tue May 8 19:14:33 UTC 2007