Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
MD5SUM | b690996610ff381ef60353517fe5a0e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
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 | 6 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
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 | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4389 |
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/node57/50535-1154101231/instance-50535-1154101231.opb ...... 0.00 c done parsing opb. 0.00 o 577 0.00 o 452 0.02 o 450 0.05 o 449 0.06 o 447 0.07 o 445 0.08 o 444 0.08 o 442 0.10 o 441 0.11 o 439 0.13 o 435 0.13 o 434 0.14 o 432 0.15 o 431 0.16 o 429 0.17 o 427 0.21 o 425 0.23 o 423 0.23 o 421 0.24 o 420 0.24 o 418 0.24 o 416 0.25 o 414 0.26 o 412 0.28 o 410 0.30 o 409 0.31 o 389 0.32 o 387 0.87 o 386 0.89 o 384 0.91 o 382 0.93 o 380 0.94 o 378 0.96 o 376 0.96 o 374 0.97 o 372 1.00 o 371 1.01 o 370 1.03 o 368 1.03 o 366 1.04 o 365 1.05 o 363 1.06 o 361 1.07 o 360 1.08 o 358 1.08 o 356 1.10 o 352 1.10 o 350 1.16 o 342 1.30 o 340 1.44 o 332 1.60 o 320 1.61 o 316 1.61 o 310 2.20 o 309 2.22 o 307 2.26 o 297 2.66 o 296 2.70 o 294 2.73 o 293 2.78 o 291 2.87 o 289 2.89 o 287 2.90 o 285 2.91 o 279 2.93 o 271 2.94 o 269 2.96 o 267 3.00 o 265 3.04 o 263 3.04 o 259 3.06 o 257 3.09 o 255 3.11 o 253 4.91 o 251 4.94 o 247 6.09 o 246 6.23 o 245 6.27 o 243 6.29 o 241 6.60 o 239 7.60 o 237 7.67 o 213 13.40 o 212 15.21 o 201 15.35 o 199 15.39 o 197 15.45 o 195 15.52 o 191 15.57 o 189 16.88 o 174 17.52 o 172 17.67 o 170 19.25 o 168 19.47 o 167 19.53 o 165 19.78 o 163 19.82 o 161 20.28 o 159 20.32 o 157 20.35 o 153 20.39 o 151 20.42 o 147 20.47 o 145 20.54 o 143 20.57 o 141 20.59 o 139 28.22 o 138 28.32 o 136 28.39 o 134 28.55 o 133 28.61 o 131 28.82 o 130 28.90 o 128 28.94 o 126 28.98 o 124 29.00 o 122 29.01 o 120 29.22 o 110 29.26 o 109 29.33 o 108 29.38 o 106 37.95 o 104 38.06 o 102 38.15 o 100 38.18 o 96 38.25 o 94 38.29 o 92 38.34 o 90 38.85 o 89 39.52 o 87 39.57 o 85 39.59 o 83 40.89 o 82 40.95 o 80 41.54 o 78 41.62 o 76 41.68 o 74 41.72 o 72 41.76 o 70 41.80 o 66 41.81 o 64 41.83 o 62 41.89 o 60 41.92 o 58 51.62 o 54 51.64 o 52 51.65 o 50 51.65 o 48 51.68 o 46 93.11 o 44 93.29 o 42 93.37 o 40 93.47 o 38 95.71 o 37 268.52 o 36 285.39 o 34 286.12 o 32 309.55 o 30 312.81 o 29 313.13 o 27 376.80 o 25 377.04 o 23 827.26 o 22 827.70 o 20 830.96 o 19
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/node57/watcher-50535-1154101231 -o ROOT/results/node57/solver-50535-1154101231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node57/50535-1154101231/instance-50535-1154101231.opb 533106585 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=534524/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=1400 CPUtime=0 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 156993516 1433600 125 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 350 125 99 232 0 115 0 [startup+10.0024 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=526724/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=11536 CPUtime=9.99 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 2224 0 0 0 993 6 0 0 25 0 1 0 156993516 11812864 2058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 2884 2058 107 232 0 2649 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11536 [startup+20.0083 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=524100/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=12564 CPUtime=20 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 2890 0 0 0 1991 9 0 0 25 0 1 0 156993516 12865536 2724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 3141 2724 107 232 0 2906 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 12564 [startup+30.0142 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=522500/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=14084 CPUtime=30 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 3477 0 0 0 2988 12 0 0 25 0 1 0 156993516 14422016 3118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 3521 3118 107 232 0 3286 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 14084 [startup+40.02 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=522308/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=14228 CPUtime=40 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 3552 0 0 0 3985 15 0 0 25 0 1 0 156993516 14569472 3193 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559107 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 3557 3193 107 232 0 3322 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14228 [startup+50.0259 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=521860/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=14516 CPUtime=50 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 3660 0 0 0 4984 16 0 0 25 0 1 0 156993516 14864384 3301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 3629 3301 107 232 0 3394 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14516 [startup+60.0318 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=520132/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=22708 CPUtime=60.01 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 4086 0 0 0 5982 19 0 0 25 0 1 0 156993516 23252992 3727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 5677 3727 107 232 0 5442 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 22708 [startup+70.0387 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=518212/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=24556 CPUtime=70.01 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 4951 0 0 0 6980 21 0 0 25 0 1 0 156993516 25145344 4207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 6139 4207 107 232 0 5904 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 24556 [startup+80.0445 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=516420/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=24716 CPUtime=80.02 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 5399 0 0 0 7979 23 0 0 25 0 1 0 156993516 25309184 4655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 6179 4655 107 232 0 5944 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 24716 [startup+90.0504 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=514500/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=25068 CPUtime=90.02 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 5881 0 0 0 8978 24 0 0 25 0 1 0 156993516 25669632 5137 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 6267 5137 107 232 0 6032 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 25068 [startup+100.056 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=512644/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=25444 CPUtime=100.02 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 6357 0 0 0 9977 25 0 0 25 0 1 0 156993516 26054656 5613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 6361 5613 107 232 0 6126 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 25444 [startup+110.062 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=512196/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=25444 CPUtime=110.03 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 6470 0 0 0 10977 26 0 0 25 0 1 0 156993516 26054656 5726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 6361 5726 107 232 0 6126 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 25444 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=510788/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=42212 CPUtime=120.03 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 6815 0 0 0 11976 27 0 0 25 0 1 0 156993516 43225088 6071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 10553 6071 107 232 0 10318 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 42212 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=509380/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=42792 CPUtime=130.03 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 7172 0 0 0 12974 29 0 0 25 0 1 0 156993516 43819008 6428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 10698 6428 107 232 0 10463 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 42792 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=507780/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=42984 CPUtime=140.04 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 7573 0 0 0 13974 30 0 0 25 0 1 0 156993516 44015616 6829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 10746 6829 107 232 0 10511 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 42984 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=505988/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=43632 CPUtime=150.04 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 8015 0 0 0 14972 32 0 0 25 0 1 0 156993516 44679168 7271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 10908 7271 107 232 0 10673 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 43632 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=505348/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=43828 CPUtime=160.05 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 8176 0 0 0 15972 33 0 0 25 0 1 0 156993516 44879872 7432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 10957 7432 107 232 0 10722 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 43828 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=504516/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=44020 CPUtime=170.05 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 8384 0 0 0 16971 34 0 0 25 0 1 0 156993516 45076480 7640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 11005 7640 107 232 0 10770 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 44020 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=503620/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=44020 CPUtime=180.05 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 8615 0 0 0 17971 34 0 0 25 0 1 0 156993516 45076480 7871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 11005 7871 107 232 0 10770 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 44020 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=502788/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=44224 CPUtime=190.06 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 8812 0 0 0 18970 36 0 0 25 0 1 0 156993516 45285376 8068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 11056 8068 107 232 0 10821 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 44224 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 /proc/meminfo: memFree=501636/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=44828 CPUtime=200.06 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 9109 0 0 0 19969 37 0 0 25 0 1 0 156993516 45903872 8365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 11207 8365 107 232 0 10972 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 44828 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15558 ################ # More data... # ################ /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29499 0 0 0 178029 125 0 0 25 0 1 0 156993516 171446272 25459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25459 107 232 0 41622 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 167428 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1782.55 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29500 0 0 0 178130 125 0 0 25 0 1 0 156993516 171446272 25460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25460 107 232 0 41622 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 167428 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1783.55 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29501 0 0 0 178230 125 0 0 25 0 1 0 156993516 171446272 25461 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25461 107 232 0 41622 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 167428 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1784.56 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29501 0 0 0 178331 125 0 0 25 0 1 0 156993516 171446272 25461 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25461 107 232 0 41622 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 167428 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1785.56 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29502 0 0 0 178431 125 0 0 25 0 1 0 156993516 171446272 25462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25462 107 232 0 41622 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 167428 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1786.57 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29502 0 0 0 178532 125 0 0 25 0 1 0 156993516 171446272 25462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25462 107 232 0 41622 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 167428 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1787.57 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29503 0 0 0 178632 125 0 0 25 0 1 0 156993516 171446272 25463 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25463 107 232 0 41622 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 167428 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1788.58 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29504 0 0 0 178733 125 0 0 25 0 1 0 156993516 171446272 25464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25464 107 232 0 41622 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 167428 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1789.58 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29505 0 0 0 178833 125 0 0 25 0 1 0 156993516 171446272 25465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25465 107 232 0 41622 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 167428 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1790.58 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29509 0 0 0 178933 125 0 0 25 0 1 0 156993516 171446272 25469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25469 107 232 0 41622 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 167428 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1791.59 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29510 0 0 0 179034 125 0 0 25 0 1 0 156993516 171446272 25470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25470 107 232 0 41622 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 167428 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1792.59 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29510 0 0 0 179134 125 0 0 25 0 1 0 156993516 171446272 25470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25470 107 232 0 41622 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 167428 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1793.6 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29511 0 0 0 179235 125 0 0 25 0 1 0 156993516 171446272 25471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25471 107 232 0 41622 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 167428 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432908/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1794.6 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29511 0 0 0 179335 125 0 0 25 0 1 0 156993516 171446272 25471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25471 107 232 0 41622 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 167428 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1795.61 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29512 0 0 0 179436 125 0 0 25 0 1 0 156993516 171446272 25472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25472 107 232 0 41622 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 167428 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1796.61 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29512 0 0 0 179536 125 0 0 25 0 1 0 156993516 171446272 25472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25472 107 232 0 41622 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 167428 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1797.62 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29513 0 0 0 179637 125 0 0 25 0 1 0 156993516 171446272 25473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25473 107 232 0 41622 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 167428 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1798.62 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29513 0 0 0 179737 125 0 0 25 0 1 0 156993516 171446272 25473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25473 107 232 0 41622 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 167428 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1799.62 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29514 0 0 0 179837 125 0 0 25 0 1 0 156993516 171446272 25474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25474 107 232 0 41622 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 167428 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1800.63 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29515 0 0 0 179938 125 0 0 25 0 1 0 156993516 171446272 25475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25475 107 232 0 41622 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 167428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 15756 /proc/meminfo: memFree=432844/2055920 swapFree=4183068/4192956 [pid=15558] ppid=15556 vsize=167428 CPUtime=1800.63 /proc/15558/stat : 15558 (PBS4L) R 15556 15558 15509 0 -1 4194304 29515 0 0 0 179938 125 0 0 25 0 1 0 156993516 171446272 25475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/15558/statm: 41857 25475 107 232 0 41622 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 167428 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.66 CPU user time (s): 1799.39 CPU system time (s): 1.27381 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (Kb): 167428 The end
Begin job on node57 on Fri Jul 28 15:40:31 UTC 2006 FILE ID= 50535-1154101231 PBS_JOBID= 886125 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node57/50535-1154101231/instance-50535-1154101231.opb 533106585 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-50535-1154101231 -o ROOT/results/node57/solver-50535-1154101231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node57/50535-1154101231/instance-50535-1154101231.opb 533106585 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED= 533106585 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.235 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.235 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: 534732 kB Buffers: 42932 kB Cached: 1391724 kB SwapCached: 3884 kB Active: 368840 kB Inactive: 1074536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 534732 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14724 kB Slab: 63804 kB Committed_AS: 604392 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node57 on Fri Jul 28 16:10:33 UTC 2006