Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.7 | 1801.23 |
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 | 12 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node31/50548-1154106072/instance-50548-1154106072.opb ...... 0.00 c done parsing opb. 0.00 o 627 0.00 o 503 0.00 o 432 6.08 o 427 6.22 o 425 6.31 o 423 6.34 o 421 6.42 o 419 6.75 o 417 6.90 o 415 7.15 o 413 7.21 o 411 7.28 o 409 7.31 o 403 7.35 o 401 7.39 o 399 7.42 o 397 7.47 o 395 7.54 o 393 7.65 o 391 7.69 o 389 7.72 o 385 7.75 o 383 7.79 o 381 7.81 o 379 7.85 o 377 7.89 o 375 7.94 o 373 7.97 o 371 8.04 o 369 8.08 o 367 8.11 o 365 8.19 o 363 8.23 o 361 8.41 o 359 8.54 o 356 8.87 o 354 9.10 o 352 9.30 o 350 9.38 o 344 9.53 o 342 9.62 o 340 9.65 o 338 9.74 o 337 9.91 o 335 9.96 o 333 10.10 o 331 10.14 o 329 10.20 o 327 10.26 o 325 10.36 o 324 10.39 o 323 10.51 o 321 10.85 o 319 11.32 o 317 11.37 o 315 11.41 o 313 11.46 o 311 11.50 o 309 11.91 o 308 22.25 o 304 22.30 o 296 22.32 o 290 22.44 o 289 22.51 o 287 22.83 o 283 22.98 o 281 23.01 o 279 23.03 o 277 23.27 o 275 23.45 o 273 23.56 o 271 23.60 o 269 23.65 o 267 24.25 o 266 24.44 o 264 24.51 o 262 24.57 o 258 24.63 o 256 24.66 o 254 24.83 o 253 24.99 o 251 25.47 o 250 25.63 o 248 25.71 o 246 32.87 o 245 33.03 o 243 33.10 o 241 42.61 o 240 42.70 o 238 42.98 o 237 43.18 o 235 56.91 o 234 57.03 o 232 71.53 o 231 71.86 o 229 71.93 o 227 72.07 o 225 72.44 o 223 72.51 o 221 72.60 o 219 75.94 o 218 76.00 o 216 76.20 o 214 76.41 o 212 76.89 o 210 77.00 o 208 83.31 o 206 83.48 o 204 83.99 o 202 84.10 o 200 84.17 o 198 84.23 o 196 84.24 o 194 118.21 o 193 118.34 o 191 174.94 o 190 175.32 o 188 175.48 o 186 239.67 o 184 241.97 o 183 242.40 o 181 243.04 o 179 243.41 o 175 243.75 o 173 244.16 o 171 244.38 o 169 245.08 o 167 245.18 o 165 245.30 o 163 245.54 o 161 245.70 o 159 245.79 o 157 245.87 o 155 246.14 o 153 246.25 o 149 246.35 o 147 246.42 o 145 246.53 o 143 246.68 o 141 246.84 o 139 246.95 o 137 282.12 o 136 282.37 o 134 484.09 o 133 484.56 o 131 484.85 o 129 484.98 o 127 514.19 o 125 514.42 o 123 539.82 o 119 653.91 o 117 654.44 o 115 654.69 o 113 654.92 o 111 655.14 o 109 655.23 o 107 837.04 o 105 837.23 o 103 837.66 o 101 837.81 o 99 838.01 o 97 838.26 o 95 838.40 o 93 838.63 o 91 838.85 o 89 839.04 o 87 839.18 o 85 839.76 o 83 839.88 o 81 1020.20 o 79 1020.48 o 77 1221.24 o 75 1221.71 o 73 1222.08 o 71 1222.24 o 69 1222.46 o 67 1222.75 o 65 1222.98 o 63 1223.14 o 61 1223.28 o 59 1223.41 o 57 1223.48 o 55 1223.67 o 53 1223.84 o 51 1464.76 o 50 1465.06 o 46 1465.15 o 44 1465.40 o 42 1465.70 o 40 1465.86 o 38
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node31/watcher-50548-1154106072 -o ROOT/results/node31/solver-50548-1154106072 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/50548-1154106072/instance-50548-1154106072.opb 979138348 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/70 26404 /proc/meminfo: memFree=1502912/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=1400 CPUtime=0 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 157466900 1433600 128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135097567 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 350 128 99 232 0 115 0 [startup+10.0021 s] /proc/loadavg: 1.00 1.00 1.00 2/70 26454 /proc/meminfo: memFree=1491072/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=20072 CPUtime=9.97 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 3233 0 0 0 990 7 0 0 25 0 1 0 157466900 20553728 3066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5018 3066 108 232 0 4783 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 20072 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1488896/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=21576 CPUtime=19.95 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 4224 0 0 0 1985 10 0 0 25 0 1 0 157466900 22093824 3864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5394 3864 108 232 0 5159 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 21576 [startup+30.0148 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1487264/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=22024 CPUtime=29.94 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 4680 0 0 0 2983 11 0 0 25 0 1 0 157466900 22552576 4320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5506 4320 108 232 0 5271 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 22024 [startup+40.0216 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1484960/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=22476 CPUtime=39.95 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 5252 0 0 0 3981 14 0 0 25 0 1 0 157466900 23015424 4892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5619 4892 108 232 0 5384 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 22476 [startup+50.0274 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1484192/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=22948 CPUtime=49.96 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 5435 0 0 0 4980 16 0 0 25 0 1 0 157466900 23498752 5075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5737 5075 108 232 0 5502 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 22948 [startup+60.0333 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1483680/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=23432 CPUtime=59.96 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 5572 0 0 0 5979 17 0 0 25 0 1 0 157466900 23994368 5212 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5858 5212 108 232 0 5623 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 23432 [startup+70.0391 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1483360/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=23696 CPUtime=69.96 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 5666 0 0 0 6978 18 0 0 25 0 1 0 157466900 24264704 5306 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 5924 5306 108 232 0 5689 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 23696 [startup+80.0449 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1481568/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=25524 CPUtime=79.96 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 6489 0 0 0 7976 20 0 0 25 0 1 0 157466900 26136576 5744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 6381 5744 108 232 0 6146 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 25524 [startup+90.0508 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1479776/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=42068 CPUtime=89.96 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 6945 0 0 0 8975 21 0 0 25 0 1 0 157466900 43077632 6200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10517 6200 108 232 0 10282 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 42068 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1478496/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=42208 CPUtime=99.97 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 7266 0 0 0 9975 22 0 0 25 0 1 0 157466900 43220992 6521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10552 6521 108 232 0 10317 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 42208 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1476256/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=42712 CPUtime=109.97 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 7854 0 0 0 10973 24 0 0 25 0 1 0 157466900 43737088 7109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10678 7109 108 232 0 10443 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 42712 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1475936/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=42900 CPUtime=119.98 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 7934 0 0 0 11973 25 0 0 25 0 1 0 157466900 43929600 7189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10725 7189 108 232 0 10490 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 42900 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1475680/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=43092 CPUtime=129.98 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 7988 0 0 0 12973 25 0 0 25 0 1 0 157466900 44126208 7243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10773 7243 108 232 0 10538 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 43092 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1475296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=43472 CPUtime=139.99 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 8090 0 0 0 13972 27 0 0 25 0 1 0 157466900 44515328 7345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10868 7345 108 232 0 10633 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 43472 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1475104/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=43472 CPUtime=149.99 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 8138 0 0 0 14972 27 0 0 25 0 1 0 157466900 44515328 7393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10868 7393 108 232 0 10633 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 43472 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1473952/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=43664 CPUtime=159.99 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 8427 0 0 0 15971 28 0 0 25 0 1 0 157466900 44711936 7682 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10916 7682 108 232 0 10681 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 43664 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1472992/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=43860 CPUtime=169.99 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 8664 0 0 0 16970 29 0 0 25 0 1 0 157466900 44912640 7919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 10965 7919 108 232 0 10730 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 43860 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1472736/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=44204 CPUtime=180 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 8724 0 0 0 17969 31 0 0 25 0 1 0 157466900 45264896 7979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 11051 7979 108 232 0 10816 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 44204 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1471904/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=44204 CPUtime=190 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 8926 0 0 0 18968 32 0 0 25 0 1 0 157466900 45264896 8181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 11051 8181 108 232 0 10816 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 44204 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1471072/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=44396 CPUtime=200 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 9144 0 0 0 19967 33 0 0 25 0 1 0 157466900 45461504 8399 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 11099 8399 108 232 0 10864 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 44396 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 ################ # More data... # ################ /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24320 0 0 0 178024 134 0 0 25 0 1 0 157466900 105250816 21170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21170 108 232 0 25461 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 102784 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419360/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1782.59 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24321 0 0 0 178125 134 0 0 25 0 1 0 157466900 105250816 21171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21171 108 232 0 25461 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 102784 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419360/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1783.59 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24321 0 0 0 178225 134 0 0 25 0 1 0 157466900 105250816 21171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21171 108 232 0 25461 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 102784 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419360/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1784.6 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24331 0 0 0 178326 134 0 0 25 0 1 0 157466900 105250816 21181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21181 108 232 0 25461 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 102784 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419360/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1785.6 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24332 0 0 0 178426 134 0 0 25 0 1 0 157466900 105250816 21182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21182 108 232 0 25461 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 102784 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419360/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1786.6 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24333 0 0 0 178526 134 0 0 25 0 1 0 157466900 105250816 21183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21183 108 232 0 25461 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 102784 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1787.61 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24336 0 0 0 178627 134 0 0 25 0 1 0 157466900 105250816 21186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21186 108 232 0 25461 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 102784 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1788.61 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24337 0 0 0 178727 134 0 0 25 0 1 0 157466900 105250816 21187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21187 108 232 0 25461 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 102784 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1789.61 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24338 0 0 0 178827 134 0 0 25 0 1 0 157466900 105250816 21188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21188 108 232 0 25461 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 102784 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1790.62 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24339 0 0 0 178928 134 0 0 25 0 1 0 157466900 105250816 21189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21189 108 232 0 25461 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 102784 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1791.62 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24339 0 0 0 179028 134 0 0 25 0 1 0 157466900 105250816 21189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21189 108 232 0 25461 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 102784 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1792.63 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24340 0 0 0 179129 134 0 0 25 0 1 0 157466900 105250816 21190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21190 108 232 0 25461 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 102784 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1793.63 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24344 0 0 0 179229 134 0 0 25 0 1 0 157466900 105250816 21194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21194 108 232 0 25461 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 102784 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1794.64 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24344 0 0 0 179330 134 0 0 25 0 1 0 157466900 105250816 21194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21194 108 232 0 25461 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 102784 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419296/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1795.64 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24345 0 0 0 179430 134 0 0 25 0 1 0 157466900 105250816 21195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21195 108 232 0 25461 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 102784 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419232/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1796.65 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24352 0 0 0 179531 134 0 0 25 0 1 0 157466900 105250816 21202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21202 108 232 0 25461 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 102784 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419168/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1797.65 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24367 0 0 0 179631 134 0 0 25 0 1 0 157466900 105250816 21217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21217 108 232 0 25461 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 102784 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419104/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1798.66 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24385 0 0 0 179732 134 0 0 25 0 1 0 157466900 105250816 21235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21235 108 232 0 25461 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 102784 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419104/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1799.66 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24388 0 0 0 179832 134 0 0 25 0 1 0 157466900 105250816 21238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21238 108 232 0 25461 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 102784 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419104/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1800.67 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24389 0 0 0 179933 134 0 0 25 0 1 0 157466900 105250816 21239 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21239 108 232 0 25461 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 102784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 26494 /proc/meminfo: memFree=1419104/2055920 swapFree=4183108/4192956 [pid=26404] ppid=26402 vsize=102784 CPUtime=1800.67 /proc/26404/stat : 26404 (PBS4L) R 26402 26404 26355 0 -1 4194304 24389 0 0 0 179933 134 0 0 25 0 1 0 157466900 105250816 21239 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/26404/statm: 25696 21239 108 232 0 25461 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 102784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.7 CPU user time (s): 1799.33 CPU system time (s): 1.36279 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (Kb): 102784 The end
Begin job on node31 on Fri Jul 28 17:01:12 UTC 2006 FILE ID= 50548-1154106072 PBS_JOBID= 886294 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= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/50548-1154106072/instance-50548-1154106072.opb 979138348 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-50548-1154106072 -o ROOT/results/node31/solver-50548-1154106072 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node31/50548-1154106072/instance-50548-1154106072.opb 979138348 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 979138348 TIMEOUT= 1800 seconds /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.233 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.233 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: 1503120 kB Buffers: 21816 kB Cached: 467752 kB SwapCached: 3704 kB Active: 48644 kB Inactive: 450332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1503120 kB SwapTotal: 4192956 kB SwapFree: 4183108 kB Dirty: 232 kB Writeback: 0 kB Mapped: 15992 kB Slab: 39312 kB Committed_AS: 665368 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Fri Jul 28 17:31:13 UTC 2006