Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 48 | 1782.73 | 1783.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.00 c starting to Solve 0.00 c #variables read: 198 - #constraints read: 17 0.02 o 1239 0.07 o 1077 0.07 o 1073 0.07 o 1065 0.07 o 1061 0.07 o 1057 0.07 o 1049 0.07 o 1045 0.08 o 1041 0.08 o 1033 0.08 o 1029 0.08 o 1023 0.08 o 1019 0.53 o 963 0.53 o 947 0.53 o 895 0.53 o 883 0.53 o 831 0.53 o 819 0.53 o 811 0.54 o 809 0.54 o 797 0.54 o 789 0.54 o 745 0.54 o 733 0.54 o 729 0.54 o 717 0.54 o 715 0.54 o 713 0.54 o 711 0.54 o 701 0.54 o 693 0.54 o 685 0.54 o 681 0.55 o 679 0.56 o 671 0.56 o 669 0.56 o 665 0.56 o 661 0.56 o 659 0.56 o 657 0.57 o 651 0.60 o 645 0.60 o 639 0.60 o 635 0.60 o 627 0.60 o 619 0.60 o 615 0.60 o 613 0.60 o 611 0.61 o 601 0.61 o 587 0.61 o 583 0.61 o 581 0.61 o 579 0.76 o 577 0.76 o 565 0.76 o 561 0.76 o 559 0.76 o 557 0.76 o 555 0.76 o 553 0.77 o 551 0.81 o 550 0.84 o 548 0.84 o 546 0.85 o 544 0.92 o 542 0.92 o 538 0.92 o 536 0.92 o 534 0.92 o 532 1.59 o 523 1.59 o 521 1.59 o 519 3.08 o 500 3.08 o 496 3.08 o 492 3.08 o 490 3.08 o 488 23.99 o 482 23.99 o 480 24.04 o 478 24.06 o 476 24.06 o 474 24.11 o 472 24.11 o 470 24.47 o 468 25.80 o 467 25.80 o 461 25.80 o 453 43.91 o 451 43.91 o 449 43.92 o 447 44.37 o 443 44.37 o 441 44.38 o 439 44.38 o 435 44.38 o 433 44.86 o 431 61.29 o 422 61.29 o 414 61.29 o 412 61.30 o 404 61.63 o 341 61.70 o 339 62.77 o 335 62.78 o 333 62.83 o 331 63.01 o 329 63.01 o 327 68.01 o 325 83.57 o 284 83.57 o 280 83.59 o 269 83.59 o 265 83.59 o 263 85.76 o 211 85.77 o 209 97.27 o 205 120.87 o 199 122.77 o 187 123.39 o 185 123.39 o 183 123.44 o 181 220.44 o 178 220.44 o 170 220.88 o 168 230.21 o 145 230.21 o 143 231.59 o 142 231.66 o 140 231.96 o 136 231.98 o 134 233.29 o 131 233.29 o 129 233.30 o 125 233.36 o 121 233.41 o 115 233.41 o 113 233.43 o 111 233.47 o 110 233.47 o 106 233.47 o 98 249.57 o 97 249.57 o 95 249.57 o 93 249.59 o 91 249.60 o 89 249.60 o 87 249.63 o 85 258.81 o 83 258.81 o 81 258.81 o 79 336.27 o 78 336.28 o 74 392.03 o 69 392.03 o 67 392.03 o 65 397.86 o 63 397.87 o 61 397.88 o 59 964.42 o 56 964.42 o 54 964.43 o 50 964.43 o 48 1783.72 c total time : 1783 s 1783.72 s SATISFIABLE 1783.72 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 1783.72 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 1783.72 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 x81 x82 -x83 1783.72 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 1783.72 v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1783.72 v x129 x130 x131 x132 -x133 x134 x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 x148 x149 x150 x151 1783.72 v x152 x153 x154 -x155 x156 x157 -x158 x159 -x160 x161 x162 -x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 1783.72 v -x175 -x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 x185 x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 x195 -x196 x197 1783.72 v x198
OK 48
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.1 (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/node86/watcher-49934-1149898164 -o ROOT/results/node86/solver-49934-1149898164 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node86/49934-1149898164/instance-49934-1149898164.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1566480/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=2576 CPUtime=0 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 265 0 0 0 0 0 0 0 19 0 1 0 255455573 2637824 237 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 6132151 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 644 237 197 16 0 84 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565784/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3092 CPUtime=9.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 422 0 0 0 986 13 0 0 25 0 1 0 255455573 3166208 394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517801 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 773 394 205 16 0 213 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3092 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565784/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3348 CPUtime=19.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 458 0 0 0 1972 27 0 0 25 0 1 0 255455573 3428352 430 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 837 430 205 16 0 277 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 3348 [startup+30.0149 s] /proc/loadavg: 0.95 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565784/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3348 CPUtime=29.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 474 0 0 0 2960 39 0 0 25 0 1 0 255455573 3428352 446 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 837 446 205 16 0 277 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 3348 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565656/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=39.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 495 0 0 0 3948 51 0 0 25 0 1 0 255455573 3563520 467 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0 /proc/5353/statm: 870 467 205 16 0 310 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 3480 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565656/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=49.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 500 0 0 0 4936 62 0 0 25 0 1 0 255455573 3563520 472 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 472 205 16 0 310 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 3480 [startup+60.0323 s] /proc/loadavg: 0.97 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565656/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=59.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 507 0 0 0 5928 71 0 0 25 0 1 0 255455573 3563520 479 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 479 205 16 0 310 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 3480 [startup+70.0385 s] /proc/loadavg: 0.97 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565592/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=69.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 6915 84 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 3480 [startup+80.0446 s] /proc/loadavg: 0.98 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565592/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=79.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 7905 94 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 3480 [startup+90.0507 s] /proc/loadavg: 0.98 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565592/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=89.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 8895 103 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 3480 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565592/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=99.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 9891 108 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 3480 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565592/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=109.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 10885 113 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 3480 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565592/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=119.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 11880 118 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 3480 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565528/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=129.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 12874 124 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 3480 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565528/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3480 CPUtime=139.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 514 0 0 0 13868 130 0 0 25 0 1 0 255455573 3563520 486 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 870 486 205 16 0 310 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 3480 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565528/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3612 CPUtime=149.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 527 0 0 0 14861 138 0 0 25 0 1 0 255455573 3698688 499 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 903 499 205 16 0 343 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 3612 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565528/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3612 CPUtime=159.98 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 537 0 0 0 15850 148 0 0 25 0 1 0 255455573 3698688 509 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 903 509 205 16 0 343 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 3612 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565528/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3612 CPUtime=169.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 542 0 0 0 16840 159 0 0 25 0 1 0 255455573 3698688 514 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 903 514 205 16 0 343 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 3612 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565464/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3612 CPUtime=179.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 542 0 0 0 17830 169 0 0 25 0 1 0 255455573 3698688 514 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 903 514 205 16 0 343 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 3612 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565464/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3612 CPUtime=189.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 542 0 0 0 18822 177 0 0 25 0 1 0 255455573 3698688 514 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 903 514 205 16 0 343 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 3612 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1565464/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=3612 CPUtime=199.99 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 552 0 0 0 19812 187 0 0 25 0 1 0 255455573 3698688 524 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 903 524 205 16 0 343 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 3612 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 ################ # More data... # ################ Current children cumulated CPU time (s) 1590.06 Current children cumulated vsize (Kb) 4224 [startup+1600.96 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1600.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 159036 971 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1600.07 Current children cumulated vsize (Kb) 4224 [startup+1610.97 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1610.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 160031 976 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1610.07 Current children cumulated vsize (Kb) 4224 [startup+1620.98 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1620.08 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 161027 981 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1620.08 Current children cumulated vsize (Kb) 4224 [startup+1630.98 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1630.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 162023 984 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1630.07 Current children cumulated vsize (Kb) 4224 [startup+1640.99 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1640.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 163018 989 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1640.07 Current children cumulated vsize (Kb) 4224 [startup+1650.99 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1650.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 164014 993 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1650.07 Current children cumulated vsize (Kb) 4224 [startup+1661 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4224 CPUtime=1660.08 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 707 0 0 0 165011 997 0 0 25 0 1 0 255455573 4325376 679 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1056 679 205 16 0 496 0 Current children cumulated CPU time (s) 1660.08 Current children cumulated vsize (Kb) 4224 [startup+1671.01 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1670.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 166007 1000 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1670.07 Current children cumulated vsize (Kb) 4340 [startup+1681.01 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1680.08 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 167003 1005 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1680.08 Current children cumulated vsize (Kb) 4340 [startup+1691.02 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1690.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 167998 1009 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1690.07 Current children cumulated vsize (Kb) 4340 [startup+1701.02 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1700.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 168994 1013 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1700.07 Current children cumulated vsize (Kb) 4340 [startup+1711.03 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1710.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 169989 1018 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1710.07 Current children cumulated vsize (Kb) 4340 [startup+1721.04 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1720.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 170983 1024 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1720.07 Current children cumulated vsize (Kb) 4340 [startup+1731.04 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4340 CPUtime=1730.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 171979 1028 0 0 25 0 1 0 255455573 4444160 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1085 681 205 16 0 525 0 Current children cumulated CPU time (s) 1730.07 Current children cumulated vsize (Kb) 4340 [startup+1741.05 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1740.08 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 172974 1034 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1740.08 Current children cumulated vsize (Kb) 4336 [startup+1751.05 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1750.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 173969 1038 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1750.07 Current children cumulated vsize (Kb) 4336 [startup+1761.06 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1760.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 174964 1043 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1760.07 Current children cumulated vsize (Kb) 4336 [startup+1771.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564696/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1770.07 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 175960 1047 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1770.07 Current children cumulated vsize (Kb) 4336 [startup+1781.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1780.08 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 176958 1050 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1780.08 Current children cumulated vsize (Kb) 4336 [startup+1782.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1781.08 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 177058 1050 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1781.08 Current children cumulated vsize (Kb) 4336 [startup+1783.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 5353 /proc/meminfo: memFree=1564632/2055892 swapFree=4084792/4096564 [pid=5353] ppid=5351 vsize=4336 CPUtime=1782.09 /proc/5353/stat : 5353 (Pueblo) R 5351 5353 5307 0 -1 4194304 709 0 0 0 177158 1051 0 0 25 0 1 0 255455573 4440064 681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/5353/statm: 1084 681 205 16 0 524 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (Kb) 4336 Child status: 10 Real time (s): 1783.73 CPU time (s): 1782.73 CPU user time (s): 1772.22 CPU system time (s): 10.5144 CPU usage (%): 99.9442 Max. virtual memory (cumulated for all children) (Kb): 4340 The end
Begin job on node86 on Sat Jun 10 00:09:24 UTC 2006 FILE ID= 49934-1149898164 PBS_JOBID= 385146 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node86/49934-1149898164/instance-49934-1149898164.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node86/watcher-49934-1149898164 -o ROOT/results/node86/solver-49934-1149898164 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node86/49934-1149898164/instance-49934-1149898164.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED= 160085803 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1566688 kB Buffers: 33200 kB Cached: 389008 kB SwapCached: 2928 kB Active: 26836 kB Inactive: 404116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1566688 kB SwapTotal: 4096564 kB SwapFree: 4084792 kB Dirty: 188 kB Writeback: 0 kB Mapped: 15160 kB Slab: 44744 kB Committed_AS: 613920 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node86 on Sat Jun 10 00:39:07 UTC 2006