Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.7 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
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/node47/50539-1154102722/instance-50539-1154102722.opb ...... 0.00 c done parsing opb. 0.00 o 390 0.13 o 389 0.14 o 388 0.14 o 385 0.36 o 383 0.51 o 382 0.52 o 381 0.72 o 379 0.74 o 378 0.75 o 377 0.81 o 375 0.82 o 374 0.83 o 373 0.84 o 372 0.91 o 371 0.97 o 370 1.00 o 369 1.02 o 368 1.03 o 367 1.04 o 366 1.08 o 365 1.22 o 364 1.23 o 363 1.33 o 361 1.47 o 359 1.72 o 357 2.11 o 356 2.17 o 355 2.22 o 354 3.12 o 353 3.18 o 352 3.21 o 351 3.46 o 349 3.50 o 348 3.52 o 347 3.56 o 346 3.64 o 344 3.70 o 343 3.73 o 342 3.84 o 341 4.23 o 340 4.29 o 339 4.31 o 338 5.53 o 337 6.44 o 336 6.49 o 335 7.30 o 334 7.37 o 302 7.56 o 301 7.61 o 300 7.66 o 299 7.73 o 298 8.06 o 296 8.13 o 295 10.05 o 294 10.11 o 293 79.60 o 291 79.83 o 290 80.17 o 289 80.23 o 288 111.58 o 276 147.83 o 274 149.66 o 273 149.80 o 272 151.44 o 270 151.73 o 269 153.58 o 268 311.77 o 267 312.28 o 266 313.87 o 264 424.22 o 262 424.50 o 261 426.38 o 259 427.29 o 258 427.39 o 257 433.55 o 255 433.97 o 254 447.69 o 252 451.70 o 251 452.11 o 250 452.93 o 249 453.61 o 248 453.82 o 247 454.66 o 245 455.18 o 244 455.36 o 243 455.63 o 241 455.80 o 240 456.43 o 238 456.68 o 237 457.15 o 236 457.40 o 235 652.43 o 224 652.98 o 223 654.03 o 222 654.66 o 221 654.76 o 220 849.65 o 219 900.81 o 217 901.79 o 216 902.31 o 215 902.69 o 214 903.01 o 213 1065.96 o 212 1113.69 o 209 1117.30 o 206 1207.68 o 204 1209.07 o 203 1209.44 o 202
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/node47/watcher-50539-1154102722 -o ROOT/results/node47/solver-50539-1154102722 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node47/50539-1154102722/instance-50539-1154102722.opb 474356750 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 12153 /proc/meminfo: memFree=1273368/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=1400 CPUtime=0 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 149 0 0 0 0 0 0 0 19 0 1 0 157143021 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 350 131 99 232 0 115 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.98 2/64 12153 /proc/meminfo: memFree=1264160/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=11568 CPUtime=9.99 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 2586 0 0 0 992 7 0 0 25 0 1 0 157143021 11845632 2418 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 2892 2418 108 232 0 2657 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11568 [startup+20.0093 s] /proc/loadavg: 0.94 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1260960/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=20956 CPUtime=20 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 3605 0 0 0 1989 11 0 0 25 0 1 0 157143021 21458944 3244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 5239 3244 108 232 0 5004 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 20956 [startup+30.0154 s] /proc/loadavg: 0.95 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1258272/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=21516 CPUtime=30 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 4281 0 0 0 2986 14 0 0 25 0 1 0 157143021 22032384 3920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 5379 3920 108 232 0 5144 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21516 [startup+40.0214 s] /proc/loadavg: 0.95 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1254112/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=22116 CPUtime=40 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 5329 0 0 0 3983 17 0 0 25 0 1 0 157143021 22646784 4968 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 5529 4968 108 232 0 5294 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22116 [startup+50.0275 s] /proc/loadavg: 0.96 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1251936/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=39100 CPUtime=50 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 5863 0 0 0 4981 19 0 0 25 0 1 0 157143021 40038400 5502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 9775 5502 108 232 0 9540 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 39100 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1249120/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=39420 CPUtime=60.01 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 6577 0 0 0 5979 22 0 0 25 0 1 0 157143021 40366080 6216 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 9855 6216 108 232 0 9620 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 39420 [startup+70.0396 s] /proc/loadavg: 0.97 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1246944/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=41276 CPUtime=70.01 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 7516 0 0 0 6977 24 0 0 25 0 1 0 157143021 42266624 6770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10319 6770 108 232 0 10084 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 41276 [startup+80.0467 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1244896/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=41628 CPUtime=80.01 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 8023 0 0 0 7976 25 0 0 25 0 1 0 157143021 42627072 7277 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10407 7277 108 232 0 10172 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 41628 [startup+90.0527 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1243360/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=42332 CPUtime=90.02 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 8398 0 0 0 8975 27 0 0 25 0 1 0 157143021 43347968 7652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10583 7652 108 232 0 10348 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 42332 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1242016/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=42716 CPUtime=100.02 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 8730 0 0 0 9975 27 0 0 25 0 1 0 157143021 43741184 7984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10679 7984 108 232 0 10444 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 42716 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12153 /proc/meminfo: memFree=1239648/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=43320 CPUtime=110.02 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 9321 0 0 0 10974 28 0 0 25 0 1 0 157143021 44359680 8575 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10830 8575 108 232 0 10595 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 43320 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1239392/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=43460 CPUtime=120.03 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 9391 0 0 0 11973 30 0 0 25 0 1 0 157143021 44503040 8645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10865 8645 108 232 0 10630 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 43460 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1239136/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=43636 CPUtime=130.03 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 9456 0 0 0 12972 31 0 0 25 0 1 0 157143021 44683264 8710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10909 8710 108 232 0 10674 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 43636 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1238880/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=43784 CPUtime=140.04 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 9507 0 0 0 13972 32 0 0 25 0 1 0 157143021 44834816 8761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10946 8761 108 232 0 10711 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 43784 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1238304/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=43784 CPUtime=150.04 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 9652 0 0 0 14971 33 0 0 25 0 1 0 157143021 44834816 8906 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 10946 8906 108 232 0 10711 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 43784 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1236256/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=44360 CPUtime=160.05 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 10171 0 0 0 15970 35 0 0 25 0 1 0 157143021 45424640 9425 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 11090 9425 108 232 0 10855 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 44360 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1235168/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=44360 CPUtime=170.04 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 10438 0 0 0 16968 36 0 0 25 0 1 0 157143021 45424640 9692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 11090 9692 108 232 0 10855 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 44360 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1233568/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=44744 CPUtime=180.04 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 10835 0 0 0 17967 37 0 0 25 0 1 0 157143021 45817856 10089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 11186 10089 108 232 0 10951 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 44744 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1232288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=45068 CPUtime=190.05 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 11150 0 0 0 18967 38 0 0 25 0 1 0 157143021 46149632 10404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 11267 10404 108 232 0 11032 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 45068 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1231392/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=45260 CPUtime=200.06 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 11373 0 0 0 19966 40 0 0 25 0 1 0 157143021 46346240 10627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 11315 10627 108 232 0 11080 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 45260 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 ################ # More data... # ################ /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27857 0 0 0 178032 126 0 0 25 0 1 0 157143021 175005696 24310 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24310 108 232 0 42491 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 170904 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1782.59 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27858 0 0 0 178133 126 0 0 25 0 1 0 157143021 175005696 24311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24311 108 232 0 42491 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 170904 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1783.59 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27860 0 0 0 178233 126 0 0 25 0 1 0 157143021 175005696 24313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550077 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24313 108 232 0 42491 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 170904 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1784.6 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27862 0 0 0 178334 126 0 0 25 0 1 0 157143021 175005696 24315 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24315 108 232 0 42491 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 170904 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1785.6 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27863 0 0 0 178434 126 0 0 25 0 1 0 157143021 175005696 24316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24316 108 232 0 42491 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 170904 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1786.61 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27864 0 0 0 178535 126 0 0 25 0 1 0 157143021 175005696 24317 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24317 108 232 0 42491 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 170904 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176288/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1787.61 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27865 0 0 0 178635 126 0 0 25 0 1 0 157143021 175005696 24318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24318 108 232 0 42491 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 170904 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1788.61 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27866 0 0 0 178735 126 0 0 25 0 1 0 157143021 175005696 24319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24319 108 232 0 42491 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 170904 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1789.62 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27870 0 0 0 178836 126 0 0 25 0 1 0 157143021 175005696 24323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24323 108 232 0 42491 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 170904 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1790.62 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27873 0 0 0 178936 126 0 0 25 0 1 0 157143021 175005696 24326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24326 108 232 0 42491 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 170904 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1791.63 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27874 0 0 0 179037 126 0 0 25 0 1 0 157143021 175005696 24327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24327 108 232 0 42491 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 170904 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1792.64 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27874 0 0 0 179138 126 0 0 25 0 1 0 157143021 175005696 24327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24327 108 232 0 42491 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 170904 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1793.64 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27878 0 0 0 179238 126 0 0 25 0 1 0 157143021 175005696 24331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24331 108 232 0 42491 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 170904 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1794.64 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27878 0 0 0 179338 126 0 0 25 0 1 0 157143021 175005696 24331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24331 108 232 0 42491 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 170904 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1795.65 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27879 0 0 0 179439 126 0 0 25 0 1 0 157143021 175005696 24332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24332 108 232 0 42491 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 170904 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1796.65 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27880 0 0 0 179539 126 0 0 25 0 1 0 157143021 175005696 24333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24333 108 232 0 42491 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 170904 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176224/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1797.66 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27881 0 0 0 179640 126 0 0 25 0 1 0 157143021 175005696 24334 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24334 108 232 0 42491 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 170904 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176160/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1798.66 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27884 0 0 0 179740 126 0 0 25 0 1 0 157143021 175005696 24337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24337 108 232 0 42491 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 170904 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176160/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1799.67 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27884 0 0 0 179841 126 0 0 25 0 1 0 157143021 175005696 24337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24337 108 232 0 42491 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 170904 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176160/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1800.67 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27885 0 0 0 179941 126 0 0 25 0 1 0 157143021 175005696 24338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24338 108 232 0 42491 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 170904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12153 /proc/meminfo: memFree=1176160/2055920 swapFree=4183120/4192956 [pid=12153] ppid=12151 vsize=170904 CPUtime=1800.67 /proc/12153/stat : 12153 (PBS4L) R 12151 12153 12104 0 -1 4194304 27885 0 0 0 179941 126 0 0 25 0 1 0 157143021 175005696 24338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12153/statm: 42726 24338 108 232 0 42491 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 170904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.7 CPU user time (s): 1799.42 CPU system time (s): 1.2848 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (Kb): 170904 The end
Begin job on node47 on Fri Jul 28 16:05:22 UTC 2006 FILE ID= 50539-1154102722 PBS_JOBID= 886177 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node47/50539-1154102722/instance-50539-1154102722.opb 474356750 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-50539-1154102722 -o ROOT/results/node47/solver-50539-1154102722 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node47/50539-1154102722/instance-50539-1154102722.opb 474356750 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED= 474356750 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.241 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.241 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: 1273576 kB Buffers: 27008 kB Cached: 694848 kB SwapCached: 3568 kB Active: 203032 kB Inactive: 527356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1273576 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14532 kB Slab: 37984 kB Committed_AS: 670724 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Fri Jul 28 16:35:24 UTC 2006