Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.73 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 38 |
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 | 38 |
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 | 85 |
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 | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
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/node42/50522-1154097176/instance-50522-1154097176.opb ...... 0.01 c done parsing opb. 0.01 o 948 0.01 o 830 0.01 o 700 0.01 o 698 0.15 o 696 0.18 o 695 0.21 o 694 0.22 o 693 0.24 o 692 0.25 o 691 0.27 o 690 0.28 o 689 0.30 o 688 0.35 o 687 0.36 o 686 0.37 o 684 0.41 o 683 0.42 o 682 0.43 o 681 0.50 o 680 0.54 o 679 0.60 o 678 0.61 o 677 0.70 o 676 0.73 o 675 0.83 o 674 0.94 o 672 0.99 o 670 1.07 o 669 1.10 o 668 1.12 o 667 1.14 o 666 1.15 o 665 1.17 o 663 1.22 o 662 1.24 o 661 1.26 o 660 1.27 o 659 1.28 o 657 1.30 o 656 1.32 o 653 1.40 o 651 1.45 o 650 1.53 o 646 1.53 o 642 1.53 o 630 1.56 o 617 1.62 o 616 1.65 o 615 1.71 o 614 1.74 o 613 1.77 o 612 1.80 o 611 1.84 o 610 1.86 o 609 1.89 o 608 1.99 o 597 2.64 o 595 2.72 o 594 4.10 o 593 4.15 o 592 4.16 o 591 4.26 o 590 4.29 o 589 4.30 o 545 4.30 o 543 4.38 o 541 4.42 o 540 4.45 o 539 4.47 o 538 4.51 o 537 4.61 o 523 4.95 o 520 5.01 o 515 5.09 o 514 5.23 o 406 9.08 o 405 9.15 o 404 9.29 o 402 12.69 o 396 13.06 o 394 13.30 o 393 13.38 o 392 13.42 o 391 13.52 o 390 13.57 o 388 13.67 o 386 38.31 o 384 38.40 o 383 38.76 o 374 38.89 o 373 39.04 o 372 39.13 o 371 39.22 o 370 39.33 o 369 39.57 o 367 39.77 o 365 39.87 o 364 39.96 o 363 40.21 o 362 40.48 o 360 41.01 o 359 50.03 o 357 50.15 o 356 51.53 o 350 51.73 o 349 51.94 o 348 53.25 o 347 53.37 o 346 53.79 o 337 53.89 o 335 60.26 o 326 60.41 o 325 60.48 o 324 60.57 o 322 60.77 o 321 60.80 o 320 60.81 o 318 60.81 o 316 63.30 o 315 63.59 o 314 63.79 o 313 63.90 o 312 73.60 o 310 73.73 o 307 103.47 o 306 103.61 o 305 103.77 o 304 104.07 o 303 104.17 o 302 104.26 o 301 104.71 o 299 104.78 o 298 105.63 o 297 105.80 o 296 160.80 o 257 161.37 o 253 161.92 o 252 162.06 o 251 352.92 o 250 353.30 o 249 356.31 o 231 690.83 o 230 691.16 o 229 1078.08 o 227 1078.74 o 226 1079.23 o 225 1080.81 o 223 1081.58 o 222 1081.89 o 221 1082.60 o 219 1082.78 o 218 1082.98 o 217 1083.65 o 216 1083.95 o 215 1084.89 o 213 1085.12 o 212 1085.29 o 211 1085.54 o 210 1085.72 o 209 1086.80 o 207 1088.70 o 206 1089.71 o 205 1091.12 o 203 1091.46 o 202 1091.66 o 200 1092.03 o 199 1092.46 o 198 1092.77 o 197 1093.25 o 196 1093.70 o 195 1094.13 o 194 1094.71 o 193 1094.92 o 192 1095.08 o 191 1095.45 o 189 1096.19 o 188 1096.55 o 187 1096.88 o 186 1097.28 o 185 1099.18 o 183 1099.40 o 182 1099.73 o 181 1100.89 o 179 1101.12 o 178 1107.20 o 177 1107.48 o 176 1145.11 o 174 1145.47 o 173 1254.22 o 172 1256.08 o 171 1260.35 o 169 1260.66 o 168 1261.17 o 167 1263.57 o 165 1263.89 o 164 1264.25 o 162 1264.79 o 161 1265.08 o 160 1266.17 o 159 1692.88 o 157 1693.55 o 156
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/node42/watcher-50522-1154097176 -o ROOT/results/node42/solver-50522-1154097176 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/50522-1154097176/instance-50522-1154097176.opb 976883787 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1326432/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=1400 CPUtime=0 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 145 0 0 0 0 0 0 0 19 0 1 0 156588553 1433600 127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 350 127 99 232 0 115 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1316840/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=11700 CPUtime=9.99 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 2665 0 0 0 993 6 0 0 25 0 1 0 156588553 11980800 2497 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 2925 2497 108 232 0 2690 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11700 [startup+20.0099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1313704/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=21352 CPUtime=20 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 3683 0 0 0 1990 10 0 0 25 0 1 0 156588553 21864448 3322 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 5338 3322 108 232 0 5103 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 21352 [startup+30.016 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1309928/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=21940 CPUtime=29.99 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 4609 0 0 0 2987 12 0 0 25 0 1 0 156588553 22466560 4248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 5485 4248 108 232 0 5250 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 21940 [startup+40.0221 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1308264/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=22528 CPUtime=40 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 5044 0 0 0 3986 14 0 0 25 0 1 0 156588553 23068672 4683 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 5632 4683 108 232 0 5397 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22528 [startup+50.0283 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1305448/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=22672 CPUtime=50 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 5751 0 0 0 4983 17 0 0 25 0 1 0 156588553 23216128 5390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 5668 5390 108 232 0 5433 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22672 [startup+60.0344 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1303464/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=39668 CPUtime=60 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 6263 0 0 0 5981 19 0 0 25 0 1 0 156588553 40620032 5902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 9917 5902 108 232 0 9682 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 39668 [startup+70.0405 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1301288/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=41372 CPUtime=70.01 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 7180 0 0 0 6980 21 0 0 25 0 1 0 156588553 42364928 6434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 10343 6434 108 232 0 10108 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 41372 [startup+80.0476 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1298728/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=41668 CPUtime=80.02 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 7820 0 0 0 7979 23 0 0 25 0 1 0 156588553 42668032 7074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 10417 7074 108 232 0 10182 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 41668 [startup+90.0527 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1296744/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=42148 CPUtime=90.01 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 8313 0 0 0 8977 24 0 0 25 0 1 0 156588553 43159552 7567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 10537 7567 108 232 0 10302 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 42148 [startup+100.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1295144/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=42640 CPUtime=100.02 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 8710 0 0 0 9976 26 0 0 25 0 1 0 156588553 43663360 7964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 10660 7964 108 232 0 10425 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 42640 [startup+110.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1293672/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=43132 CPUtime=110.02 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9089 0 0 0 10975 27 0 0 25 0 1 0 156588553 44167168 8343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 10783 8343 108 232 0 10548 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 43132 [startup+120.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1292008/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=43828 CPUtime=120.03 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9492 0 0 0 11974 29 0 0 25 0 1 0 156588553 44879872 8746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 10957 8746 108 232 0 10722 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 43828 [startup+130.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1291624/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=44212 CPUtime=130.04 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9590 0 0 0 12974 30 0 0 25 0 1 0 156588553 45273088 8844 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11053 8844 108 232 0 10818 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 44212 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1290600/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=44404 CPUtime=140.04 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9841 0 0 0 13973 31 0 0 25 0 1 0 156588553 45469696 9095 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11101 9095 108 232 0 10866 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 44404 [startup+150.089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1289448/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=44728 CPUtime=150.04 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 10134 0 0 0 14972 32 0 0 25 0 1 0 156588553 45801472 9388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11182 9388 108 232 0 10947 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 44728 [startup+160.095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1287848/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=44728 CPUtime=160.04 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 10528 0 0 0 15971 33 0 0 25 0 1 0 156588553 45801472 9782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11182 9782 108 232 0 10947 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 44728 [startup+170.102 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1286888/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=44728 CPUtime=170.05 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 10778 0 0 0 16971 34 0 0 25 0 1 0 156588553 45801472 10032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11182 10032 108 232 0 10947 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 44728 [startup+180.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1285416/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=44728 CPUtime=180.05 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 11139 0 0 0 17970 35 0 0 25 0 1 0 156588553 45801472 10393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558872 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11182 10393 108 232 0 10947 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 44728 [startup+190.115 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1283496/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=45496 CPUtime=190.06 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 11621 0 0 0 18970 36 0 0 25 0 1 0 156588553 46587904 10875 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 11374 10875 108 232 0 11139 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 45496 [startup+200.121 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 /proc/meminfo: memFree=1282408/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=78456 CPUtime=200.06 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 11890 0 0 0 19969 37 0 0 25 0 1 0 156588553 80338944 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 19614 11144 108 232 0 19379 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 78456 [startup+210.127 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18318 ################ # More data... # ################ /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29055 0 0 0 178039 122 0 0 25 0 1 0 156588553 174657536 25442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25442 108 232 0 42406 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 170564 [startup+1783.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1782.61 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29055 0 0 0 178139 122 0 0 25 0 1 0 156588553 174657536 25442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25442 108 232 0 42406 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 170564 [startup+1784.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1783.62 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29057 0 0 0 178240 122 0 0 25 0 1 0 156588553 174657536 25444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25444 108 232 0 42406 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 170564 [startup+1785.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1784.62 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29058 0 0 0 178340 122 0 0 25 0 1 0 156588553 174657536 25445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25445 108 232 0 42406 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 170564 [startup+1786.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1785.63 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29059 0 0 0 178441 122 0 0 25 0 1 0 156588553 174657536 25446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550067 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25446 108 232 0 42406 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 170564 [startup+1787.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1786.63 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29060 0 0 0 178541 122 0 0 25 0 1 0 156588553 174657536 25447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25447 108 232 0 42406 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 170564 [startup+1788.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1787.63 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29060 0 0 0 178641 122 0 0 25 0 1 0 156588553 174657536 25447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25447 108 232 0 42406 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 170564 [startup+1789.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1788.64 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29061 0 0 0 178742 122 0 0 25 0 1 0 156588553 174657536 25448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25448 108 232 0 42406 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 170564 [startup+1790.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1789.64 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29062 0 0 0 178842 122 0 0 25 0 1 0 156588553 174657536 25449 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25449 108 232 0 42406 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 170564 [startup+1791.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1790.65 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29063 0 0 0 178943 122 0 0 25 0 1 0 156588553 174657536 25450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25450 108 232 0 42406 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 170564 [startup+1792.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1791.65 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29066 0 0 0 179043 122 0 0 25 0 1 0 156588553 174657536 25453 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550056 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25453 108 232 0 42406 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 170564 [startup+1793.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1792.65 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29066 0 0 0 179143 122 0 0 25 0 1 0 156588553 174657536 25453 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25453 108 232 0 42406 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 170564 [startup+1794.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1793.66 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29068 0 0 0 179244 122 0 0 25 0 1 0 156588553 174657536 25455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25455 108 232 0 42406 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 170564 [startup+1795.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1794.66 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29068 0 0 0 179344 122 0 0 25 0 1 0 156588553 174657536 25455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25455 108 232 0 42406 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 170564 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1795.67 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29069 0 0 0 179445 122 0 0 25 0 1 0 156588553 174657536 25456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25456 108 232 0 42406 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 170564 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1796.67 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29070 0 0 0 179545 122 0 0 25 0 1 0 156588553 174657536 25457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25457 108 232 0 42406 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 170564 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1797.68 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29071 0 0 0 179646 122 0 0 25 0 1 0 156588553 174657536 25458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25458 108 232 0 42406 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 170564 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1798.68 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29077 0 0 0 179746 122 0 0 25 0 1 0 156588553 174657536 25464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25464 108 232 0 42406 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 170564 [startup+1800.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1799.69 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29078 0 0 0 179847 122 0 0 25 0 1 0 156588553 174657536 25465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25465 108 232 0 42406 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 170564 [startup+1801.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1800.69 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29081 0 0 0 179947 122 0 0 25 0 1 0 156588553 174657536 25468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25468 108 232 0 42406 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 170564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18518 /proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956 [pid=18318] ppid=18316 vsize=170564 CPUtime=1800.7 /proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29081 0 0 0 179948 122 0 0 25 0 1 0 156588553 174657536 25468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18318/statm: 42641 25468 108 232 0 42406 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 170564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.29 CPU time (s): 1800.73 CPU user time (s): 1799.48 CPU system time (s): 1.24881 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 170564 The end
Begin job on node42 on Fri Jul 28 14:32:56 UTC 2006 FILE ID= 50522-1154097176 PBS_JOBID= 885956 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/50522-1154097176/instance-50522-1154097176.opb 976883787 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-50522-1154097176 -o ROOT/results/node42/solver-50522-1154097176 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/50522-1154097176/instance-50522-1154097176.opb 976883787 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED= 976883787 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.238 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.238 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: 1326640 kB Buffers: 25596 kB Cached: 644968 kB SwapCached: 3928 kB Active: 28604 kB Inactive: 650824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1326640 kB SwapTotal: 4192956 kB SwapFree: 4182724 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14496 kB Slab: 35808 kB Committed_AS: 694368 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Fri Jul 28 15:02:57 UTC 2006