Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.68 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 32 |
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 | 32 |
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 | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
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/node35/50547-1154105888/instance-50547-1154105888.opb ...... 0.01 c done parsing opb. 0.01 o 1086 0.01 o 944 0.01 o 577 0.09 o 575 0.09 o 572 0.46 o 570 0.54 o 568 1.63 o 567 1.66 o 566 1.96 o 565 2.00 o 564 2.40 o 563 2.51 o 561 2.54 o 560 2.58 o 553 2.68 o 551 2.74 o 550 2.76 o 547 2.78 o 546 2.85 o 545 2.88 o 544 2.94 o 543 2.96 o 542 2.97 o 541 2.99 o 540 3.04 o 527 3.47 o 479 3.98 o 477 4.23 o 475 4.29 o 474 4.38 o 473 4.48 o 472 4.82 o 469 4.83 o 465 4.83 o 463 5.07 o 462 6.09 o 460 6.12 o 459 6.22 o 458 6.37 o 457 6.46 o 456 6.80 o 443 6.85 o 442 6.87 o 441 7.11 o 439 7.88 o 437 7.95 o 436 12.03 o 412 12.81 o 410 13.33 o 408 13.42 o 406 13.45 o 404 17.18 o 402 17.24 o 401 17.42 o 400 17.53 o 399 20.69 o 357 34.83 o 355 35.73 o 354 35.85 o 353 35.95 o 352 39.80 o 350 39.90 o 349 40.79 o 347 40.83 o 340 41.31 o 339 41.47 o 338 46.24 o 315 59.20 o 314 59.33 o 311 59.45 o 310 59.56 o 309 66.87 o 307 67.02 o 306 70.31 o 304 70.39 o 303 70.68 o 302 70.85 o 301 71.61 o 288 71.61 o 280 71.61 o 278 119.43 o 277 119.63 o 276 127.95 o 275 128.13 o 274 233.50 o 273 233.78 o 272 251.65 o 271 252.06 o 270 252.28 o 269 252.46 o 268 258.32 o 266 258.61 o 265 258.73 o 264 258.98 o 263 282.45 o 262 284.43 o 229 286.78 o 227 289.52 o 226 292.84 o 224 293.48 o 223 293.97 o 222 294.56 o 220 294.84 o 219 295.19 o 218 295.57 o 216 295.74 o 215 296.40 o 214 296.54 o 213 302.36 o 211 305.54 o 210 306.23 o 209 338.14 o 208 338.64 o 207 385.05 o 205 486.56 o 204 487.12 o 203 488.22 o 201 489.27 o 200 490.31 o 198 490.45 o 197 491.22 o 196 491.38 o 193 491.46 o 191 777.40 o 189 778.69 o 188 779.12 o 187 779.29 o 186 779.58 o 185 780.14 o 183 780.37 o 182 780.54 o 181 780.78 o 179 781.02 o 178 782.53 o 176 783.44 o 175 784.62 o 174 784.86 o 173 908.69 o 171 909.25 o 168 909.52 o 167 909.80 o 166 910.08 o 165 910.24 o 164 1108.60 o 162 1108.96 o 161 1109.30 o 160 1109.55 o 159 1109.81 o 158 1110.29 o 157 1110.76 o 155 1110.99 o 153 1111.15 o 152 1111.42 o 151 1111.70 o 150 1111.84 o 149 1294.57 o 148 1326.33 o 146 1327.07 o 145 1328.19 o 143
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/node35/watcher-50547-1154105888 -o ROOT/results/node35/solver-50547-1154105888 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb 333081135 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.96 3/64 29334 /proc/meminfo: memFree=1328408/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=1400 CPUtime=0 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 157448918 1433600 111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598729 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 350 112 90 232 0 115 0 [startup+10.0017 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1315304/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=20240 CPUtime=9.99 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 3559 0 0 0 993 6 0 0 25 0 1 0 157448918 20725760 3390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 5060 3390 108 232 0 4825 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20240 [startup+20.0079 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1312232/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=21712 CPUtime=19.99 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 4511 0 0 0 1988 11 0 0 25 0 1 0 157448918 22233088 4149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 5428 4149 108 232 0 5193 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 21712 [startup+30.0141 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1311464/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=21996 CPUtime=30 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 4694 0 0 0 2987 13 0 0 25 0 1 0 157448918 22523904 4332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 5499 4332 108 232 0 5264 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 21996 [startup+40.0203 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1309864/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=22432 CPUtime=40 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 5116 0 0 0 3985 15 0 0 25 0 1 0 157448918 22970368 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 5608 4754 108 232 0 5373 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22432 [startup+50.0275 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1307560/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=22744 CPUtime=50 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 5691 0 0 0 4984 16 0 0 25 0 1 0 157448918 23289856 5329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 5686 5329 108 232 0 5451 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22744 [startup+60.0337 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1307048/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=23064 CPUtime=60.01 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 5810 0 0 0 5984 17 0 0 25 0 1 0 157448918 23617536 5448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 5766 5448 108 232 0 5531 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 23064 [startup+70.0399 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1304936/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=40984 CPUtime=70.01 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 6730 0 0 0 6981 20 0 0 25 0 1 0 157448918 41967616 5983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10246 5983 108 232 0 10011 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 40984 [startup+80.0461 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1302824/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=41316 CPUtime=80.01 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 7252 0 0 0 7980 21 0 0 25 0 1 0 157448918 42307584 6505 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10329 6505 108 232 0 10094 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 41316 [startup+90.0523 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1300904/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=41976 CPUtime=90.02 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 7727 0 0 0 8980 22 0 0 25 0 1 0 157448918 42983424 6980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10494 6980 108 232 0 10259 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 41976 [startup+100.059 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1299880/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=42320 CPUtime=100.02 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 7978 0 0 0 9979 23 0 0 25 0 1 0 157448918 43335680 7231 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10580 7231 108 232 0 10345 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 42320 [startup+110.066 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1299368/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=42676 CPUtime=110.03 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8106 0 0 0 10979 24 0 0 25 0 1 0 157448918 43700224 7359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549169 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10669 7359 108 232 0 10434 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 42676 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1299112/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=42876 CPUtime=120.03 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8168 0 0 0 11978 25 0 0 25 0 1 0 157448918 43905024 7421 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10719 7421 108 232 0 10484 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 42876 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1298792/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=43208 CPUtime=130.03 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8249 0 0 0 12977 26 0 0 25 0 1 0 157448918 44244992 7502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10802 7502 108 232 0 10567 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 43208 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1298536/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=43388 CPUtime=140.03 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8308 0 0 0 13976 27 0 0 25 0 1 0 157448918 44429312 7561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10847 7561 108 232 0 10612 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 43388 [startup+150.091 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1297704/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=43388 CPUtime=150.04 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8513 0 0 0 14976 28 0 0 25 0 1 0 157448918 44429312 7766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10847 7766 108 232 0 10612 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 43388 [startup+160.097 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1296616/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=43572 CPUtime=160.04 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8796 0 0 0 15974 30 0 0 25 0 1 0 157448918 44617728 8049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10893 8049 108 232 0 10658 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 43572 [startup+170.103 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29334 /proc/meminfo: memFree=1295592/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=43572 CPUtime=170.05 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 9047 0 0 0 16974 31 0 0 25 0 1 0 157448918 44617728 8300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 10893 8300 108 232 0 10658 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 43572 [startup+180.109 s] /proc/loadavg: 0.99 0.97 0.96 2/70 29408 /proc/meminfo: memFree=1293112/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=44116 CPUtime=180.04 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 9388 0 0 0 17962 42 0 0 25 0 1 0 157448918 45174784 8641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 11029 8641 108 232 0 10794 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 44116 [startup+190.115 s] /proc/loadavg: 0.99 0.97 0.96 2/70 29468 /proc/meminfo: memFree=1291704/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=44464 CPUtime=190.01 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 9721 0 0 0 18958 43 0 0 25 0 1 0 157448918 45531136 8974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 11116 8974 108 232 0 10881 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 44464 [startup+200.123 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1291040/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=45232 CPUtime=199.99 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 10115 0 0 0 19954 45 0 0 25 0 1 0 157448918 46317568 9368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0 /proc/29334/statm: 11308 9368 108 232 0 11073 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 45232 [startup+210.129 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 ################ # More data... # ################ /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25843 0 0 0 178012 144 0 0 25 0 1 0 157448918 109789184 22394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26804 22394 108 232 0 26569 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 107216 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1239016/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107216 CPUtime=1782.56 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25846 0 0 0 178112 144 0 0 25 0 1 0 157448918 109789184 22397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26804 22397 108 232 0 26569 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 107216 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1783.57 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25880 0 0 0 178213 144 0 0 25 0 1 0 157448918 109920256 22398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22398 108 232 0 26601 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 107344 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1784.57 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25882 0 0 0 178313 144 0 0 25 0 1 0 157448918 109920256 22400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22400 108 232 0 26601 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 107344 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1785.57 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25882 0 0 0 178413 144 0 0 25 0 1 0 157448918 109920256 22400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22400 108 232 0 26601 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 107344 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1786.58 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25883 0 0 0 178514 144 0 0 25 0 1 0 157448918 109920256 22401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22401 108 232 0 26601 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 107344 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1787.58 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25884 0 0 0 178614 144 0 0 25 0 1 0 157448918 109920256 22402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22402 108 232 0 26601 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 107344 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1788.59 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25890 0 0 0 178715 144 0 0 25 0 1 0 157448918 109920256 22408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22408 108 232 0 26601 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 107344 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1789.59 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25891 0 0 0 178815 144 0 0 25 0 1 0 157448918 109920256 22409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558859 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22409 108 232 0 26601 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 107344 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1790.6 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25892 0 0 0 178916 144 0 0 25 0 1 0 157448918 109920256 22410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22410 108 232 0 26601 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 107344 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1791.6 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25893 0 0 0 179016 144 0 0 25 0 1 0 157448918 109920256 22411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22411 108 232 0 26601 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 107344 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1792.61 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25894 0 0 0 179117 144 0 0 25 0 1 0 157448918 109920256 22412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22412 108 232 0 26601 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 107344 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1793.61 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25898 0 0 0 179217 144 0 0 25 0 1 0 157448918 109920256 22416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22416 108 232 0 26601 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 107344 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1794.62 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25899 0 0 0 179318 144 0 0 25 0 1 0 157448918 109920256 22417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22417 108 232 0 26601 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 107344 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1795.63 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25899 0 0 0 179418 145 0 0 25 0 1 0 157448918 109920256 22417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22417 108 232 0 26601 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 107344 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1796.63 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25900 0 0 0 179518 145 0 0 25 0 1 0 157448918 109920256 22418 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22418 108 232 0 26601 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 107344 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1797.64 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25901 0 0 0 179619 145 0 0 25 0 1 0 157448918 109920256 22419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22419 108 232 0 26601 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 107344 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1798.64 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25915 0 0 0 179719 145 0 0 25 0 1 0 157448918 109920256 22433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22433 108 232 0 26601 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 107344 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1799.65 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25916 0 0 0 179820 145 0 0 25 0 1 0 157448918 109920256 22434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22434 108 232 0 26601 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 107344 [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1800.65 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25918 0 0 0 179920 145 0 0 25 0 1 0 157448918 109920256 22436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22436 108 232 0 26601 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 107344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29532 /proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956 [pid=29334] ppid=29332 vsize=107344 CPUtime=1800.65 /proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25918 0 0 0 179920 145 0 0 25 0 1 0 157448918 109920256 22436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29334/statm: 26836 22436 108 232 0 26601 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 107344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.68 CPU user time (s): 1799.21 CPU system time (s): 1.47078 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (Kb): 107344 The end
Begin job on node35 on Fri Jul 28 16:58:08 UTC 2006 FILE ID= 50547-1154105888 PBS_JOBID= 886281 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb 333081135 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-50547-1154105888 -o ROOT/results/node35/solver-50547-1154105888 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb 333081135 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED= 333081135 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: 1328680 kB Buffers: 43476 kB Cached: 606516 kB SwapCached: 4372 kB Active: 218964 kB Inactive: 440216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1328680 kB SwapTotal: 4192956 kB SwapFree: 4182936 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14492 kB Slab: 54104 kB Committed_AS: 624576 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Fri Jul 28 17:28:10 UTC 2006