Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 73 | 1782.73 | 1783.21 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c 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: 172 - #constraints read: 15 0.01 o 1087 0.02 o 898 0.02 o 890 0.02 o 882 0.03 o 838 0.03 o 836 0.03 o 822 0.03 o 820 0.03 o 806 0.03 o 786 0.04 o 757 0.04 o 753 0.04 o 751 0.06 o 619 0.06 o 617 0.07 o 615 0.07 o 613 0.07 o 611 0.07 o 609 0.07 o 607 0.08 o 605 0.09 o 544 0.09 o 536 0.09 o 532 0.09 o 530 0.09 o 528 0.09 o 526 0.09 o 524 0.09 o 522 0.11 o 520 0.11 o 518 0.18 o 515 0.18 o 507 0.19 o 499 0.19 o 491 0.25 o 402 0.25 o 400 0.25 o 396 0.25 o 392 0.25 o 388 0.26 o 386 0.27 o 384 0.27 o 380 0.29 o 378 0.36 o 342 0.36 o 338 0.36 o 332 0.36 o 330 0.36 o 328 0.36 o 326 0.36 o 324 0.44 o 323 0.44 o 321 0.59 o 266 0.59 o 252 0.59 o 240 0.59 o 238 0.92 o 178 0.92 o 170 0.92 o 168 0.97 o 166 0.97 o 164 0.97 o 162 3.02 o 161 3.02 o 153 3.02 o 149 3.02 o 141 3.02 o 139 3.03 o 135 3.03 o 133 6.27 o 130 6.29 o 128 6.29 o 120 6.29 o 118 11.73 o 117 11.73 o 115 11.73 o 113 12.87 o 112 12.87 o 110 13.57 o 102 13.57 o 98 13.57 o 96 13.57 o 92 13.57 o 90 13.57 o 88 13.57 o 86 13.57 o 84 13.57 o 82 14.89 o 81 14.89 o 79 14.90 o 77 14.90 o 75 14.90 o 73 1783.20 c total time : 1783 s 1783.20 s SATISFIABLE 1783.20 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.20 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.20 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 1783.20 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 1783.20 v x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 x116 x117 x118 x119 -x120 -x121 x122 -x123 x124 x125 x126 -x127 x128 -x129 1783.20 v x130 x131 x132 -x133 x134 -x135 -x136 -x137 -x138 x139 x140 x141 x142 x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 1783.20 v -x153 x154 x155 -x156 -x157 -x158 x159 x160 x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172
OK 73
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/node85/watcher-50093-1149923369 -o ROOT/results/node85/solver-50093-1149923369 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node85/50093-1149923369/instance-50093-1149923369.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 17556 /proc/meminfo: memFree=1230592/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2576 CPUtime=0 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 257976181 2637824 236 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 12202423 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 644 236 197 16 0 84 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.95 0.90 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=9.99 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 317 0 0 0 976 23 0 0 25 0 1 0 257976181 2772992 289 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 289 205 16 0 117 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 2708 [startup+20.008 s] /proc/loadavg: 0.94 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=20 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 321 0 0 0 1964 36 0 0 25 0 1 0 257976181 2772992 293 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 293 205 16 0 117 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 2708 [startup+30.0142 s] /proc/loadavg: 0.95 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=29.99 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 321 0 0 0 2952 47 0 0 25 0 1 0 257976181 2772992 293 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 293 205 16 0 117 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 2708 [startup+40.0203 s] /proc/loadavg: 0.95 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=40 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 321 0 0 0 3942 58 0 0 25 0 1 0 257976181 2772992 293 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 293 205 16 0 117 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 2708 [startup+50.0265 s] /proc/loadavg: 0.96 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=50.01 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 321 0 0 0 4931 70 0 0 25 0 1 0 257976181 2772992 293 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 293 205 16 0 117 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 2708 [startup+60.0326 s] /proc/loadavg: 0.97 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=60.01 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 5921 80 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 2708 [startup+70.0388 s] /proc/loadavg: 0.97 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=70.02 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 6913 89 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 2708 [startup+80.0449 s] /proc/loadavg: 0.98 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=80.02 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 7902 100 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 2708 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=90.02 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 8891 111 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 2708 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=100.02 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 9880 122 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 2708 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=110.03 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 10872 131 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 2708 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=120.03 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 11864 139 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 2708 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=130.03 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 12853 150 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 2708 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=140.03 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 13843 160 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 2708 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230280/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=150.04 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 14833 171 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 2708 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=160.05 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 15824 181 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 2708 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=170.04 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 16814 190 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 2708 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=180.05 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 17804 201 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 2708 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=190.05 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 18792 213 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 2708 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230344/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2708 CPUtime=200.05 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 324 0 0 0 19783 222 0 0 25 0 1 0 257976181 2772992 296 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 677 296 205 16 0 117 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 2708 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 ################ # More data... # ################ Current children cumulated CPU time (s) 1590.52 Current children cumulated vsize (Kb) 2836 [startup+1600.96 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1600.53 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 158347 1706 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1600.53 Current children cumulated vsize (Kb) 2836 [startup+1610.97 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1610.53 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 159337 1716 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1610.53 Current children cumulated vsize (Kb) 2836 [startup+1620.97 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1620.53 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 160328 1725 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1620.53 Current children cumulated vsize (Kb) 2836 [startup+1630.98 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1630.54 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 161318 1736 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1630.54 Current children cumulated vsize (Kb) 2836 [startup+1640.99 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1640.54 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 162309 1745 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1640.54 Current children cumulated vsize (Kb) 2836 [startup+1650.99 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1650.55 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 163298 1757 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 2836 [startup+1661 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1660.55 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 164287 1768 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1660.55 Current children cumulated vsize (Kb) 2836 [startup+1671.01 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1670.55 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 165276 1779 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1670.55 Current children cumulated vsize (Kb) 2836 [startup+1681.01 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1680.56 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 166267 1789 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1680.56 Current children cumulated vsize (Kb) 2836 [startup+1691.02 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1690.56 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 167258 1798 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1690.56 Current children cumulated vsize (Kb) 2836 [startup+1701.02 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1700.56 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 168248 1808 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1700.56 Current children cumulated vsize (Kb) 2836 [startup+1711.03 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1710.56 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 169238 1818 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1710.56 Current children cumulated vsize (Kb) 2836 [startup+1721.04 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1720.57 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 170227 1830 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1720.57 Current children cumulated vsize (Kb) 2836 [startup+1731.04 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1730.57 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 171217 1840 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1730.57 Current children cumulated vsize (Kb) 2836 [startup+1741.05 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1740.58 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 172208 1850 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1740.58 Current children cumulated vsize (Kb) 2836 [startup+1751.05 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1750.58 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 173199 1859 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (Kb) 2836 [startup+1761.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230216/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1760.58 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 174190 1868 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 2836 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1770.59 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 175178 1881 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 2836 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1780.59 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 176168 1891 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 2836 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1781.59 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 176268 1891 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 2836 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 17556 /proc/meminfo: memFree=1230152/2055892 swapFree=4085340/4096564 [pid=17556] ppid=17554 vsize=2836 CPUtime=1782.6 /proc/17556/stat : 17556 (Pueblo13) R 17554 17556 17510 0 -1 4194304 334 0 0 0 176368 1892 0 0 25 0 1 0 257976181 2904064 306 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17556/statm: 709 306 205 16 0 149 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 2836 Child status: 10 Real time (s): 1783.21 CPU time (s): 1782.73 CPU user time (s): 1763.8 CPU system time (s): 18.9291 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (Kb): 2836 The end
Begin job on node85 on Sat Jun 10 07:09:29 UTC 2006 FILE ID= 50093-1149923369 PBS_JOBID= 385628 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node85/50093-1149923369/instance-50093-1149923369.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node85/watcher-50093-1149923369 -o ROOT/results/node85/solver-50093-1149923369 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node85/50093-1149923369/instance-50093-1149923369.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED= 287380053 /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.218 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.18 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.218 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1230800 kB Buffers: 45444 kB Cached: 702704 kB SwapCached: 2368 kB Active: 135712 kB Inactive: 621088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1230800 kB SwapTotal: 4096564 kB SwapFree: 4085340 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16776 kB Slab: 54856 kB Committed_AS: 680316 kB PageTables: 1292 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node85 on Sat Jun 10 07:39:13 UTC 2006