Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 7 | 1782.74 | 1783.48 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
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.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
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 | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4321 |
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.01 c starting to Solve 0.01 c #variables read: 146 - #constraints read: 13 0.01 o 766 0.03 o 696 0.03 o 694 0.04 o 680 0.07 o 595 0.07 o 593 0.07 o 585 0.07 o 577 0.07 o 569 0.07 o 563 0.07 o 555 0.07 o 553 0.07 o 551 0.07 o 549 0.08 o 547 0.08 o 545 0.09 o 482 0.09 o 478 0.09 o 324 0.09 o 282 0.09 o 278 0.09 o 276 0.09 o 262 0.09 o 254 0.09 o 250 0.09 o 248 0.09 o 246 0.09 o 244 0.50 o 241 0.50 o 239 0.50 o 237 0.51 o 235 0.51 o 233 0.51 o 231 0.51 o 229 0.61 o 221 0.61 o 219 0.61 o 217 0.86 o 210 1.29 o 209 1.29 o 207 1.29 o 205 1.29 o 203 1.29 o 195 1.29 o 193 1.29 o 191 1.30 o 189 1.36 o 187 1.39 o 185 1.39 o 141 1.39 o 125 1.41 o 121 1.41 o 119 1.41 o 117 1.43 o 115 1.50 o 113 2.07 o 109 2.07 o 107 2.07 o 101 2.07 o 97 2.07 o 93 2.08 o 89 2.09 o 83 2.09 o 79 2.09 o 71 4.42 o 60 4.48 o 58 4.49 o 56 5.07 o 53 5.49 o 44 5.82 o 39 5.82 o 37 13.72 o 35 13.72 o 33 13.72 o 31 13.74 o 29 14.50 o 27 15.46 o 25 15.46 o 23 22.33 o 22 108.09 o 20 108.62 o 16 108.63 o 14 110.13 o 11 920.03 o 10 969.31 o 7 1783.47 c total time : 1783 s 1783.47 s SATISFIABLE 1783.47 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 1783.47 v -x29 -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 1783.47 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1783.47 v -x81 -x82 -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.47 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.47 v -x130 -x131 -x132 x133 -x134 x135 -x136 -x137 x138 x139 x140 x141 x142 x143 -x144 x145 -x146
OK 7
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/node91/watcher-49949-1149907132 -o ROOT/results/node91/solver-49949-1149907132 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node91/49949-1149907132/instance-49949-1149907132.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242928/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=172 CPUtime=0 /proc/6405/stat : 6405 (Pueblo) D 6403 6405 6359 0 -1 4194304 37 0 0 0 0 0 0 0 19 0 1 0 256352117 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1282996 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/6405/statm: 43 23 18 16 0 2 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242360/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=2976 CPUtime=9.99 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 378 0 0 0 989 10 0 0 25 0 1 0 256352117 3047424 350 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 744 350 205 16 0 184 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 2976 [startup+20.0077 s] /proc/loadavg: 0.94 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242296/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=2976 CPUtime=19.99 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 391 0 0 0 1981 18 0 0 25 0 1 0 256352117 3047424 363 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 744 363 205 16 0 184 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 2976 [startup+30.0126 s] /proc/loadavg: 0.95 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242232/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3104 CPUtime=29.99 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 402 0 0 0 2974 25 0 0 25 0 1 0 256352117 3178496 374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 776 374 205 16 0 216 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 3104 [startup+40.0176 s] /proc/loadavg: 0.95 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242296/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3104 CPUtime=39.99 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 408 0 0 0 3967 32 0 0 25 0 1 0 256352117 3178496 380 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 776 380 205 16 0 216 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 3104 [startup+50.0246 s] /proc/loadavg: 0.96 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242232/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3104 CPUtime=49.99 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 422 0 0 0 4960 39 0 0 25 0 1 0 256352117 3178496 394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 776 394 205 16 0 216 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 3104 [startup+60.0305 s] /proc/loadavg: 0.97 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242232/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3104 CPUtime=59.99 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 422 0 0 0 5955 44 0 0 25 0 1 0 256352117 3178496 394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 776 394 205 16 0 216 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 3104 [startup+70.0365 s] /proc/loadavg: 0.97 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242168/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3236 CPUtime=70 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 434 0 0 0 6949 51 0 0 25 0 1 0 256352117 3313664 406 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 809 406 205 16 0 249 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 3236 [startup+80.0435 s] /proc/loadavg: 0.98 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242232/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3236 CPUtime=80 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 434 0 0 0 7943 57 0 0 25 0 1 0 256352117 3313664 406 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 809 406 205 16 0 249 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 3236 [startup+90.0495 s] /proc/loadavg: 0.98 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242168/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3236 CPUtime=90 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 445 0 0 0 8936 64 0 0 25 0 1 0 256352117 3313664 417 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 809 417 205 16 0 249 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 3236 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242168/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3236 CPUtime=100 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 445 0 0 0 9928 72 0 0 25 0 1 0 256352117 3313664 417 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 809 417 205 16 0 249 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 3236 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242168/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3236 CPUtime=110.01 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 445 0 0 0 10922 79 0 0 25 0 1 0 256352117 3313664 417 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 809 417 205 16 0 249 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 3236 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6405 /proc/meminfo: memFree=1242104/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=120.01 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 463 0 0 0 11915 86 0 0 25 0 1 0 256352117 3448832 435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 435 205 16 0 282 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 3368 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=130.01 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 463 0 0 0 12908 93 0 0 25 0 1 0 256352117 3448832 435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 435 205 16 0 282 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 3368 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=140.02 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 463 0 0 0 13901 101 0 0 25 0 1 0 256352117 3448832 435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 435 205 16 0 282 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 3368 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=150.02 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 463 0 0 0 14896 106 0 0 25 0 1 0 256352117 3448832 435 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 435 205 16 0 282 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 3368 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=160.01 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 472 0 0 0 15889 112 0 0 25 0 1 0 256352117 3448832 444 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 444 205 16 0 282 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 3368 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=170.02 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 490 0 0 0 16884 118 0 0 25 0 1 0 256352117 3448832 462 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 462 205 16 0 282 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 3368 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=180.03 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 490 0 0 0 17878 125 0 0 25 0 1 0 256352117 3448832 462 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 462 205 16 0 282 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 3368 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=190.02 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 490 0 0 0 18872 130 0 0 25 0 1 0 256352117 3448832 462 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 462 205 16 0 282 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 3368 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 /proc/meminfo: memFree=1241912/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3368 CPUtime=200.03 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 490 0 0 0 19867 136 0 0 25 0 1 0 256352117 3448832 462 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 842 462 205 16 0 282 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 3368 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6407 ################ # More data... # ################ Current children cumulated CPU time (s) 1590.28 Current children cumulated vsize (Kb) 3992 [startup+1600.96 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1600.28 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 158949 1079 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1600.28 Current children cumulated vsize (Kb) 3992 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1610.29 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 159942 1087 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1610.29 Current children cumulated vsize (Kb) 3992 [startup+1620.97 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1620.28 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 160933 1095 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1620.28 Current children cumulated vsize (Kb) 3992 [startup+1630.98 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1630.29 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 161926 1103 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1630.29 Current children cumulated vsize (Kb) 3992 [startup+1640.98 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1640.29 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 162920 1109 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1640.29 Current children cumulated vsize (Kb) 3992 [startup+1650.99 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1650.29 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 163913 1116 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1650.29 Current children cumulated vsize (Kb) 3992 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1660.29 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 164905 1124 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1660.29 Current children cumulated vsize (Kb) 3992 [startup+1671 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1670.3 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 165899 1131 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1670.3 Current children cumulated vsize (Kb) 3992 [startup+1681.01 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1680.3 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 166892 1138 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1680.3 Current children cumulated vsize (Kb) 3992 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1690.3 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 167883 1147 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1690.3 Current children cumulated vsize (Kb) 3992 [startup+1701.02 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241336/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1700.3 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 168877 1153 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1700.3 Current children cumulated vsize (Kb) 3992 [startup+1711.02 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241336/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1710.31 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 169870 1161 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1710.31 Current children cumulated vsize (Kb) 3992 [startup+1721.03 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241336/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1720.31 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 621 0 0 0 170864 1167 0 0 25 0 1 0 256352117 4087808 593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 593 205 16 0 438 0 Current children cumulated CPU time (s) 1720.31 Current children cumulated vsize (Kb) 3992 [startup+1731.04 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1730.31 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 171856 1175 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1730.31 Current children cumulated vsize (Kb) 3992 [startup+1741.04 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1740.31 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 172849 1182 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1740.31 Current children cumulated vsize (Kb) 3992 [startup+1751.05 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1750.32 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 173842 1190 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1750.32 Current children cumulated vsize (Kb) 3992 [startup+1761.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1760.32 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 174834 1198 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1760.32 Current children cumulated vsize (Kb) 3992 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1770.32 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 175827 1205 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1770.32 Current children cumulated vsize (Kb) 3992 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1780.33 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 176821 1212 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1780.33 Current children cumulated vsize (Kb) 3992 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1781.32 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 176920 1212 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (Kb) 3992 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 6602 /proc/meminfo: memFree=1241272/2055892 swapFree=4085376/4096564 [pid=6405] ppid=6403 vsize=3992 CPUtime=1782.33 /proc/6405/stat : 6405 (Pueblo) R 6403 6405 6359 0 -1 4194304 624 0 0 0 177020 1213 0 0 25 0 1 0 256352117 4087808 596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6405/statm: 998 596 205 16 0 438 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 3992 Child status: 10 Real time (s): 1783.48 CPU time (s): 1782.74 CPU user time (s): 1770.6 CPU system time (s): 12.1372 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (Kb): 3992 The end
Begin job on node91 on Sat Jun 10 02:38:52 UTC 2006 FILE ID= 49949-1149907132 PBS_JOBID= 385341 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node91/49949-1149907132/instance-49949-1149907132.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-49949-1149907132 -o ROOT/results/node91/solver-49949-1149907132 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node91/49949-1149907132/instance-49949-1149907132.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED= 889787473 /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.279 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.279 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1243136 kB Buffers: 45576 kB Cached: 689332 kB SwapCached: 2348 kB Active: 126076 kB Inactive: 617424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1243136 kB SwapTotal: 4096564 kB SwapFree: 4085376 kB Dirty: 156 kB Writeback: 0 kB Mapped: 16616 kB Slab: 55784 kB Committed_AS: 724340 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Sat Jun 10 03:08:35 UTC 2006