Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.74 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
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 | 16 |
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 | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
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/node48/50559-1154109821/instance-50559-1154109821.opb ...... 0.00 c done parsing opb. 0.00 o 497 0.01 o 495 0.01 o 493 0.03 o 491 0.03 o 489 0.04 o 487 0.04 o 485 0.05 o 483 0.05 o 479 0.06 o 477 0.07 o 475 0.07 o 473 0.08 o 471 0.09 o 467 0.09 o 465 0.19 o 463 0.21 o 461 0.21 o 459 0.23 o 457 0.26 o 455 0.27 o 453 0.28 o 451 0.34 o 449 0.34 o 447 0.39 o 445 0.39 o 443 0.40 o 441 0.41 o 439 0.42 o 437 0.43 o 435 0.46 o 433 0.53 o 431 0.64 o 430 0.65 o 428 0.67 o 426 0.68 o 424 0.70 o 422 0.72 o 420 0.77 o 419 0.84 o 417 0.85 o 415 0.89 o 414 0.92 o 412 0.93 o 408 0.94 o 404 0.96 o 402 1.19 o 329 1.27 o 328 1.34 o 327 1.40 o 325 1.45 o 323 1.50 o 311 1.50 o 309 1.51 o 279 1.54 o 277 1.57 o 275 1.58 o 273 1.59 o 271 1.61 o 269 1.64 o 267 1.65 o 265 1.75 o 263 1.91 o 249 1.93 o 247 1.95 o 245 1.97 o 243 1.99 o 241 2.05 o 240 2.07 o 238 2.45 o 236 2.48 o 234 2.69 o 206 7.81 o 205 7.84 o 204 7.90 o 199 9.21 o 198 9.26 o 196 16.80 o 194 16.87 o 192 19.92 o 191 20.00 o 189 20.18 o 187 20.24 o 185 20.34 o 183 20.38 o 181 20.40 o 179 20.42 o 177 20.45 o 175 52.53 o 174 52.80 o 172 52.89 o 170 53.16 o 168 53.27 o 166 53.31 o 164 53.38 o 162 53.45 o 160 53.50 o 158 53.54 o 156 53.74 o 154 54.05 o 153 54.21 o 151 54.30 o 149 54.38 o 147 54.50 o 145 54.56 o 143 62.43 o 142 62.54 o 140 73.19 o 139 73.35 o 137 105.64 o 135 105.77 o 133 125.15 o 132 125.36 o 130 125.46 o 128 125.54 o 126 125.71 o 124 135.63 o 123 248.47 o 118 303.70 o 110 304.98 o 108 305.14 o 106 318.04 o 105 318.20 o 103 318.46 o 101 318.67 o 99 318.87 o 97 319.05 o 95 319.18 o 93 319.59 o 91 319.74 o 89 319.85 o 87 319.95 o 85 320.08 o 83 392.78 o 81 393.25 o 79 393.44 o 77
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/node48/watcher-50559-1154109821 -o ROOT/results/node48/solver-50559-1154109821 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50559-1154109821/instance-50559-1154109821.opb 184763254 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 3/64 28066 /proc/meminfo: memFree=801520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=1400 CPUtime=0 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 157852921 1433600 128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 350 128 99 232 0 115 0 [startup+10.003 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=793136/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=11680 CPUtime=10 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 2369 0 0 0 994 6 0 0 25 0 1 0 157852921 11960320 2202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 2920 2202 108 232 0 2685 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 11680 [startup+20.0089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=790256/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=20716 CPUtime=19.99 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 3113 0 0 0 1991 8 0 0 25 0 1 0 157852921 21213184 2946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 5179 2946 108 232 0 4944 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 20716 [startup+30.0148 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=788336/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=21752 CPUtime=30 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 3779 0 0 0 2989 11 0 0 25 0 1 0 157852921 22274048 3419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 5438 3419 108 232 0 5203 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21752 [startup+40.0208 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=785456/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=22376 CPUtime=40 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 4502 0 0 0 3987 13 0 0 25 0 1 0 157852921 22913024 4142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 5594 4142 108 232 0 5359 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22376 [startup+50.0267 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=783088/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=22888 CPUtime=50 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 5086 0 0 0 4985 15 0 0 25 0 1 0 157852921 23437312 4726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 5722 4726 108 232 0 5487 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22888 [startup+60.0326 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=781040/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=23400 CPUtime=60.01 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 5609 0 0 0 5984 17 0 0 25 0 1 0 157852921 23961600 5249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 5850 5249 108 232 0 5615 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 23400 [startup+70.0395 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=780592/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=23880 CPUtime=70.01 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 5718 0 0 0 6983 18 0 0 25 0 1 0 157852921 24453120 5358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 5970 5358 108 232 0 5735 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 23880 [startup+80.0454 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=779632/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=25576 CPUtime=80.01 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 6351 0 0 0 7981 20 0 0 25 0 1 0 157852921 26189824 5606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 6394 5606 108 232 0 6159 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 25576 [startup+90.0514 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=778480/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=42136 CPUtime=90.01 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 6635 0 0 0 8979 22 0 0 25 0 1 0 157852921 43147264 5890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 10534 5890 108 232 0 10299 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 42136 [startup+100.057 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=776560/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=42776 CPUtime=100.02 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7106 0 0 0 9978 24 0 0 25 0 1 0 157852921 43802624 6361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 10694 6361 108 232 0 10459 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 42776 [startup+110.063 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=775856/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=43148 CPUtime=110.02 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7289 0 0 0 10977 25 0 0 25 0 1 0 157852921 44183552 6544 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 10787 6544 108 232 0 10552 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 43148 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=775408/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=43452 CPUtime=120.02 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7398 0 0 0 11976 26 0 0 25 0 1 0 157852921 44494848 6653 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 10863 6653 108 232 0 10628 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 43452 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=774768/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44112 CPUtime=130.03 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7553 0 0 0 12975 28 0 0 25 0 1 0 157852921 45170688 6808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11028 6808 108 232 0 10793 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 44112 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=774640/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44256 CPUtime=140.03 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7590 0 0 0 13974 29 0 0 25 0 1 0 157852921 45318144 6845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11064 6845 108 232 0 10829 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 44256 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=774448/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44408 CPUtime=150.03 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7632 0 0 0 14974 29 0 0 25 0 1 0 157852921 45473792 6887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11102 6887 108 232 0 10867 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 44408 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=774384/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44408 CPUtime=160.04 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7655 0 0 0 15974 30 0 0 25 0 1 0 157852921 45473792 6910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11102 6910 108 232 0 10867 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 44408 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=773872/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44408 CPUtime=170.04 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7771 0 0 0 16973 31 0 0 25 0 1 0 157852921 45473792 7026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11102 7026 108 232 0 10867 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 44408 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=772720/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44540 CPUtime=180.05 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 8058 0 0 0 17972 33 0 0 25 0 1 0 157852921 45608960 7313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11135 7313 108 232 0 10900 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 44540 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=771504/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44732 CPUtime=190.05 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 8371 0 0 0 18971 34 0 0 25 0 1 0 157852921 45805568 7626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11183 7626 108 232 0 10948 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 44732 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=770032/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=44864 CPUtime=200.05 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 8740 0 0 0 19970 35 0 0 25 0 1 0 157852921 45940736 7995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 11216 7995 108 232 0 10981 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 44864 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 ################ # More data... # ################ /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27660 0 0 0 178040 121 0 0 25 0 1 0 157852921 106094592 23949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 23949 108 232 0 25667 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 103608 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705904/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=103608 CPUtime=1782.63 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27674 0 0 0 178141 122 0 0 25 0 1 0 157852921 106094592 23963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 23963 108 232 0 25667 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 103608 [startup+1784.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705904/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=103608 CPUtime=1783.63 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27683 0 0 0 178241 122 0 0 25 0 1 0 157852921 106094592 23972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 23972 108 232 0 25667 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 103608 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705840/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=103608 CPUtime=1784.64 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27695 0 0 0 178342 122 0 0 25 0 1 0 157852921 106094592 23984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 23984 108 232 0 25667 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 103608 [startup+1786.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705840/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=103608 CPUtime=1785.64 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27703 0 0 0 178442 122 0 0 25 0 1 0 157852921 106094592 23992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 23992 108 232 0 25667 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 103608 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705776/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=103608 CPUtime=1786.65 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27713 0 0 0 178543 122 0 0 25 0 1 0 157852921 106094592 24002 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 24002 108 232 0 25667 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 103608 [startup+1788.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705712/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=103608 CPUtime=1787.65 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27725 0 0 0 178643 122 0 0 25 0 1 0 157852921 106094592 24014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 25902 24014 108 232 0 25667 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (Kb) 103608 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705584/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1788.65 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27754 0 0 0 178743 122 0 0 25 0 1 0 157852921 173203456 24043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24043 108 232 0 42051 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 169144 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1789.66 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27771 0 0 0 178844 122 0 0 25 0 1 0 157852921 173203456 24060 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24060 108 232 0 42051 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 169144 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1790.66 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27776 0 0 0 178944 122 0 0 25 0 1 0 157852921 173203456 24065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24065 108 232 0 42051 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 169144 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1791.67 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27777 0 0 0 179045 122 0 0 25 0 1 0 157852921 173203456 24066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24066 108 232 0 42051 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 169144 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1792.67 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27777 0 0 0 179145 122 0 0 25 0 1 0 157852921 173203456 24066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24066 108 232 0 42051 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 169144 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1793.67 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27778 0 0 0 179245 122 0 0 25 0 1 0 157852921 173203456 24067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24067 108 232 0 42051 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 169144 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1794.68 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27779 0 0 0 179346 122 0 0 25 0 1 0 157852921 173203456 24068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24068 108 232 0 42051 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 169144 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1795.68 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27780 0 0 0 179446 122 0 0 25 0 1 0 157852921 173203456 24069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24069 108 232 0 42051 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 169144 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1796.69 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27781 0 0 0 179547 122 0 0 25 0 1 0 157852921 173203456 24070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24070 108 232 0 42051 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 169144 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1797.69 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27782 0 0 0 179647 122 0 0 25 0 1 0 157852921 173203456 24071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24071 108 232 0 42051 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 169144 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705456/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1798.7 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27789 0 0 0 179748 122 0 0 25 0 1 0 157852921 173203456 24078 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24078 108 232 0 42051 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 169144 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705392/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1799.7 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27807 0 0 0 179848 122 0 0 25 0 1 0 157852921 173203456 24096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24096 108 232 0 42051 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 169144 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705264/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1800.71 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27833 0 0 0 179949 122 0 0 25 0 1 0 157852921 173203456 24122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24122 108 232 0 42051 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 169144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28066 /proc/meminfo: memFree=705264/2055920 swapFree=4182820/4192956 [pid=28066] ppid=28064 vsize=169144 CPUtime=1800.71 /proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27833 0 0 0 179949 122 0 0 25 0 1 0 157852921 173203456 24122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/28066/statm: 42286 24122 108 232 0 42051 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 169144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.74 CPU user time (s): 1799.5 CPU system time (s): 1.24581 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (Kb): 169144 The end
Begin job on node48 on Fri Jul 28 18:03:41 UTC 2006 FILE ID= 50559-1154109821 PBS_JOBID= 886437 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50559-1154109821/instance-50559-1154109821.opb 184763254 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-50559-1154109821 -o ROOT/results/node48/solver-50559-1154109821 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50559-1154109821/instance-50559-1154109821.opb 184763254 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED= 184763254 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.232 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.232 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: 801728 kB Buffers: 39624 kB Cached: 1154744 kB SwapCached: 4676 kB Active: 397024 kB Inactive: 806900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 801728 kB SwapTotal: 4192956 kB SwapFree: 4182820 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14444 kB Slab: 36276 kB Committed_AS: 647580 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Fri Jul 28 18:33:43 UTC 2006