Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.6 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
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 | 18 |
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 | 74 |
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 | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
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/node24/50551-1154107060/instance-50551-1154107060.opb ...... 0.00 c done parsing opb. 0.00 o 729 0.00 o 647 0.00 o 605 0.01 o 603 0.01 o 601 0.03 o 599 0.03 o 597 0.04 o 595 0.05 o 593 0.06 o 591 0.07 o 589 0.08 o 587 0.08 o 585 0.09 o 583 0.09 o 579 0.10 o 577 0.11 o 575 0.12 o 573 0.13 o 571 0.14 o 569 0.15 o 568 0.16 o 566 0.16 o 564 0.16 o 562 0.17 o 560 0.17 o 558 0.18 o 556 0.18 o 554 0.18 o 550 0.19 o 548 0.20 o 546 0.20 o 544 0.21 o 542 0.21 o 538 0.21 o 536 0.22 o 530 0.22 o 528 0.23 o 526 0.23 o 522 0.23 o 520 0.24 o 506 0.24 o 504 0.25 o 502 0.25 o 500 0.27 o 498 0.27 o 496 0.28 o 494 0.30 o 492 0.33 o 490 0.36 o 488 0.40 o 486 0.40 o 484 0.40 o 482 0.41 o 480 0.41 o 478 0.42 o 472 0.42 o 470 0.42 o 466 0.42 o 464 0.43 o 462 0.43 o 460 0.44 o 459 0.45 o 457 0.46 o 455 0.49 o 454 0.50 o 452 0.51 o 451 0.51 o 449 0.54 o 447 0.54 o 443 0.55 o 441 0.58 o 440 0.59 o 438 0.59 o 434 0.61 o 433 0.62 o 427 0.64 o 425 0.65 o 423 0.70 o 422 0.71 o 420 0.73 o 419 0.76 o 417 0.84 o 415 0.85 o 413 0.88 o 411 0.90 o 405 0.91 o 401 1.09 o 399 1.13 o 397 1.42 o 391 1.44 o 389 1.85 o 381 1.95 o 380 2.04 o 357 2.10 o 356 2.35 o 355 2.39 o 354 2.40 o 352 2.42 o 350 2.47 o 298 2.61 o 295 2.78 o 294 2.80 o 292 2.82 o 290 2.85 o 288 2.88 o 286 2.91 o 284 2.92 o 282 3.16 o 280 3.21 o 278 3.84 o 276 3.88 o 274 3.96 o 272 3.98 o 270 4.70 o 268 4.73 o 254 4.87 o 252 4.93 o 250 4.98 o 248 5.08 o 246 5.09 o 244 5.14 o 242 5.17 o 240 5.18 o 238 5.19 o 236 5.29 o 223 5.52 o 217 5.55 o 213 5.55 o 211 5.55 o 209 6.35 o 208 6.44 o 206 6.49 o 204 6.78 o 202 7.11 o 200 12.65 o 199 22.36 o 198 23.29 o 196 23.48 o 194 23.53 o 192 23.65 o 180 23.68 o 178 23.98 o 176 24.12 o 174 24.26 o 172 24.31 o 170 36.18 o 162 36.39 o 160 36.51 o 158 40.95 o 156 41.11 o 154 41.18 o 152 41.25 o 150 41.33 o 148 41.37 o 146 41.54 o 144 41.67 o 142 41.76 o 140 41.82 o 138 41.90 o 136 41.95 o 134 41.99 o 132 42.05 o 130 42.12 o 128 42.18 o 126 64.30 o 125 64.41 o 123 64.57 o 121 64.60 o 119 64.62 o 117 79.67 o 115 79.87 o 113 80.09 o 111 80.14 o 109 80.15 o 107 80.32 o 105 80.40 o 103 80.46 o 101 80.53 o 99 80.63 o 97 80.74 o 95 80.81 o 93 80.89 o 91 80.94 o 89 81.00 o 87 81.08 o 85 91.02 o 83 92.29 o 82 243.19 o 80 243.42 o 78 352.74 o 77 352.96 o 75 353.06 o 73
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/node24/watcher-50551-1154107060 -o ROOT/results/node24/solver-50551-1154107060 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50551-1154107060/instance-50551-1154107060.opb 163565828 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 3/64 5505 /proc/meminfo: memFree=1514552/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=1400 CPUtime=0 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 157566723 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137821 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 350 131 99 232 0 115 0 [startup+10.0024 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1505992/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=11696 CPUtime=10 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 2408 0 0 0 993 7 0 0 25 0 1 0 157566723 11976704 2241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550077 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 2924 2241 108 232 0 2689 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 11696 [startup+20.0083 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1503432/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=13148 CPUtime=20 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 3241 0 0 0 1989 11 0 0 25 0 1 0 157566723 13463552 2881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 3287 2881 108 232 0 3052 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 13148 [startup+30.0142 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1500104/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=22068 CPUtime=30 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 4075 0 0 0 2986 14 0 0 25 0 1 0 157566723 22597632 3715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 5517 3715 108 232 0 5282 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 22068 [startup+40.0201 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1497672/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=22612 CPUtime=40 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 4676 0 0 0 3985 15 0 0 25 0 1 0 157566723 23154688 4316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 5653 4316 108 232 0 5418 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 22612 [startup+50.026 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1495176/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=23416 CPUtime=50 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 5309 0 0 0 4982 18 0 0 25 0 1 0 157566723 23977984 4949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 5854 4949 108 232 0 5619 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 23416 [startup+60.0319 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1494984/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=23416 CPUtime=60 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 5351 0 0 0 5981 19 0 0 25 0 1 0 157566723 23977984 4991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 5854 4991 108 232 0 5619 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 23416 [startup+70.0378 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1494600/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=25272 CPUtime=70.01 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 5822 0 0 0 6979 22 0 0 25 0 1 0 157566723 25878528 5077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 6318 5077 108 232 0 6083 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 25272 [startup+80.0437 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1493384/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=25644 CPUtime=80 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 6138 0 0 0 7977 23 0 0 25 0 1 0 157566723 26259456 5393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 6411 5393 108 232 0 6176 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 25644 [startup+90.0496 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1491464/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=25836 CPUtime=90.01 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 6614 0 0 0 8976 25 0 0 25 0 1 0 157566723 26456064 5869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 6459 5869 108 232 0 6224 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 25836 [startup+100.055 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1489608/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=42928 CPUtime=100.01 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 7072 0 0 0 9975 26 0 0 25 0 1 0 157566723 43958272 6327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 10732 6327 108 232 0 10497 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 42928 [startup+110.061 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1487944/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=43192 CPUtime=110.02 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 7480 0 0 0 10974 28 0 0 25 0 1 0 157566723 44228608 6735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 10798 6735 108 232 0 10563 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 43192 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1486664/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=43576 CPUtime=120.02 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 7808 0 0 0 11973 29 0 0 25 0 1 0 157566723 44621824 7063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 10894 7063 108 232 0 10659 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 43576 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1485000/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=43960 CPUtime=130.02 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8231 0 0 0 12973 29 0 0 25 0 1 0 157566723 45015040 7486 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 10990 7486 108 232 0 10755 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 43960 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1484168/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=44332 CPUtime=140.02 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8433 0 0 0 13972 30 0 0 25 0 1 0 157566723 45395968 7688 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11083 7688 108 232 0 10848 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 44332 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1483528/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=44524 CPUtime=150.02 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8595 0 0 0 14971 31 0 0 25 0 1 0 157566723 45592576 7850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11131 7850 108 232 0 10896 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 44524 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1482312/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=44848 CPUtime=160.03 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8903 0 0 0 15971 32 0 0 25 0 1 0 157566723 45924352 8158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11212 8158 108 232 0 10977 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 44848 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1481544/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=44980 CPUtime=170.03 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 9090 0 0 0 16970 33 0 0 25 0 1 0 157566723 46059520 8345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11245 8345 108 232 0 11010 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 44980 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1480520/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=45364 CPUtime=180.03 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 9351 0 0 0 17969 34 0 0 25 0 1 0 157566723 46452736 8606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11341 8606 108 232 0 11106 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 45364 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1478984/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=45364 CPUtime=190.04 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 9731 0 0 0 18969 35 0 0 25 0 1 0 157566723 46452736 8986 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11341 8986 108 232 0 11106 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 45364 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 /proc/meminfo: memFree=1477000/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=46092 CPUtime=200.04 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 10218 0 0 0 19968 36 0 0 25 0 1 0 157566723 47198208 9473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 11523 9473 108 232 0 11288 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 46092 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5505 ################ # More data... # ################ /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29519 0 0 0 178025 123 0 0 25 0 1 0 157566723 175509504 25412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25412 108 232 0 42614 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 171396 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1413000/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1782.49 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29533 0 0 0 178126 123 0 0 25 0 1 0 157566723 175509504 25426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25426 108 232 0 42614 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 171396 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1413000/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1783.49 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29538 0 0 0 178226 123 0 0 25 0 1 0 157566723 175509504 25431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25431 108 232 0 42614 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 171396 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412936/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1784.5 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29546 0 0 0 178327 123 0 0 25 0 1 0 157566723 175509504 25439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25439 108 232 0 42614 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 171396 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412936/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1785.5 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29553 0 0 0 178427 123 0 0 25 0 1 0 157566723 175509504 25446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25446 108 232 0 42614 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 171396 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412872/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1786.51 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29562 0 0 0 178528 123 0 0 25 0 1 0 157566723 175509504 25455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25455 108 232 0 42614 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 171396 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412808/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1787.51 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29574 0 0 0 178628 123 0 0 25 0 1 0 157566723 175509504 25467 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25467 108 232 0 42614 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 171396 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412808/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1788.52 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29586 0 0 0 178729 123 0 0 25 0 1 0 157566723 175509504 25479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25479 108 232 0 42614 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 171396 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412744/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1789.52 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29599 0 0 0 178829 123 0 0 25 0 1 0 157566723 175509504 25492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25492 108 232 0 42614 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 171396 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412680/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1790.52 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29608 0 0 0 178929 123 0 0 25 0 1 0 157566723 175509504 25501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25501 108 232 0 42614 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 171396 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412680/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1791.52 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29621 0 0 0 179029 123 0 0 25 0 1 0 157566723 175509504 25514 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25514 108 232 0 42614 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 171396 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412552/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1792.53 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29646 0 0 0 179130 123 0 0 25 0 1 0 157566723 175509504 25539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25539 108 232 0 42614 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 171396 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412488/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1793.53 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29656 0 0 0 179230 123 0 0 25 0 1 0 157566723 175509504 25549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25549 108 232 0 42614 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 171396 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412488/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1794.54 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29669 0 0 0 179331 123 0 0 25 0 1 0 157566723 175509504 25562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25562 108 232 0 42614 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 171396 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412360/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1795.54 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29687 0 0 0 179431 123 0 0 25 0 1 0 157566723 175509504 25580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25580 108 232 0 42614 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 171396 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412296/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1796.54 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29706 0 0 0 179531 123 0 0 25 0 1 0 157566723 175509504 25599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25599 108 232 0 42614 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 171396 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412232/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1797.55 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29718 0 0 0 179632 123 0 0 25 0 1 0 157566723 175509504 25611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25611 108 232 0 42614 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 171396 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412232/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1798.55 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29733 0 0 0 179732 123 0 0 25 0 1 0 157566723 175509504 25626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25626 108 232 0 42614 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 171396 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412104/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1799.56 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29756 0 0 0 179833 123 0 0 25 0 1 0 157566723 175509504 25649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25649 108 232 0 42614 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 171396 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412040/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1800.57 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29772 0 0 0 179933 124 0 0 25 0 1 0 157566723 175509504 25665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25665 108 232 0 42614 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 171396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 5507 /proc/meminfo: memFree=1412040/2055920 swapFree=4183196/4192956 [pid=5505] ppid=5503 vsize=171396 CPUtime=1800.57 /proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29772 0 0 0 179933 124 0 0 25 0 1 0 157566723 175509504 25665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/5505/statm: 42849 25665 108 232 0 42614 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 171396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.6 CPU user time (s): 1799.34 CPU system time (s): 1.26081 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (Kb): 171396 The end
Begin job on node24 on Fri Jul 28 17:17:40 UTC 2006 FILE ID= 50551-1154107060 PBS_JOBID= 886333 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50551-1154107060/instance-50551-1154107060.opb 163565828 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-50551-1154107060 -o ROOT/results/node24/solver-50551-1154107060 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50551-1154107060/instance-50551-1154107060.opb 163565828 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED= 163565828 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.266 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.266 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: 1514760 kB Buffers: 36520 kB Cached: 445600 kB SwapCached: 3672 kB Active: 53588 kB Inactive: 437244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1514760 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14492 kB Slab: 36264 kB Committed_AS: 618940 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Fri Jul 28 17:47:42 UTC 2006