Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | UNSAT | 1120.91 | 1121.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb |
MD5SUM | a7e24e57a312eb47e85004eff6279cc1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.6506 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4524 |
Total number of constraints | 257 |
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 | 257 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1080 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 74899 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524431 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525060 |
Number of bits of the biggest sum of numbers | 20 |
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 Parsing PB file... 0.32 c Converting 261 PB-constraints to clauses... 0.32 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.57 c -- Detecting intervals from adjacent constraints: ############################################ 0.57 c -- Clauses(.)/Splits(s): sssssssssssssssssss 0.57 c ---[ 278]---> BDD-cost: 18 0.58 c ---[ 277]---> BDD-cost: 16 0.58 c ---[ 276]---> BDD-cost: 16 0.58 c ---[ 275]---> BDD-cost: 16 0.58 c ---[ 274]---> BDD-cost: 18 0.58 c ---[ 273]---> BDD-cost: 16 0.58 c ---[ 272]---> BDD-cost: 16 0.58 c ---[ 271]---> BDD-cost: 16 0.58 c ---[ 270]---> BDD-cost: 18 0.58 c ---[ 269]---> BDD-cost: 16 0.58 c ---[ 268]---> BDD-cost: 16 0.58 c ---[ 267]---> BDD-cost: 16 0.58 c ---[ 266]---> BDD-cost: 18 0.58 c ---[ 265]---> BDD-cost: 16 0.58 c ---[ 264]---> BDD-cost: 16 0.58 c ---[ 263]---> BDD-cost: 16 0.58 c ---[ 262]---> BDD-cost: 18 0.58 c ---[ 261]---> BDD-cost: 16 0.58 c ---[ 260]---> BDD-cost: 16 0.58 c ---[ 259]---> BDD-cost: 16 0.58 c ---[ 258]---> BDD-cost: 18 0.58 c ---[ 257]---> BDD-cost: 16 0.58 c ---[ 256]---> BDD-cost: 16 0.58 c ---[ 255]---> BDD-cost: 16 0.58 c ---[ 254]---> BDD-cost: 18 0.58 c ---[ 253]---> BDD-cost: 16 0.58 c ---[ 252]---> BDD-cost: 16 0.58 c ---[ 251]---> BDD-cost: 16 0.58 c ---[ 250]---> BDD-cost: 18 0.58 c ---[ 249]---> BDD-cost: 16 0.58 c ---[ 248]---> BDD-cost: 16 0.58 c ---[ 247]---> BDD-cost: 16 0.58 c ---[ 213]---> Adder-cost: 109 maxlim: 8 bits: 5/4 0.59 c ---[ 211]---> Adder-cost: 210 maxlim: 66 bits: 8/7 0.59 c ---[ 209]---> Adder-cost: 253 maxlim: 163 bits: 9/8 0.60 c ---[ 207]---> Adder-cost: 317 maxlim: 442 bits: 10/9 0.62 c ---[ 205]---> Adder-cost: 285 maxlim: 727 bits: 11/10 0.63 c ---[ 203]---> Adder-cost: 284 maxlim: 1370 bits: 12/11 0.65 c ---[ 201]---> Adder-cost: 290 maxlim: 2636 bits: 13/12 0.67 c ---[ 199]---> Adder-cost: 284 maxlim: 2911 bits: 13/12 0.70 c ---[ 197]---> BDD-cost: 189 0.70 c ---[ 195]---> Adder-cost: 279 maxlim: 94 bits: 8/7 0.71 c ---[ 193]---> Adder-cost: 257 maxlim: 215 bits: 9/8 0.72 c ---[ 191]---> Adder-cost: 270 maxlim: 351 bits: 10/9 0.73 c ---[ 189]---> Adder-cost: 284 maxlim: 622 bits: 11/10 0.75 c ---[ 187]---> Adder-cost: 334 maxlim: 1201 bits: 12/11 0.77 c ---[ 185]---> Adder-cost: 298 maxlim: 2227 bits: 13/12 0.80 c ---[ 183]---> Adder-cost: 280 maxlim: 2483 bits: 13/12 0.82 c ---[ 181]---> Adder-cost: 155 maxlim: 36 bits: 7/6 0.83 c ---[ 179]---> Adder-cost: 231 maxlim: 92 bits: 8/7 0.84 c ---[ 177]---> Adder-cost: 261 maxlim: 248 bits: 9/8 0.85 c ---[ 175]---> Adder-cost: 279 maxlim: 389 bits: 10/9 0.86 c ---[ 173]---> Adder-cost: 332 maxlim: 700 bits: 11/10 0.88 c ---[ 171]---> Adder-cost: 298 maxlim: 1231 bits: 12/11 0.90 c ---[ 169]---> Adder-cost: 338 maxlim: 2339 bits: 13/12 0.92 c ---[ 167]---> Adder-cost: 302 maxlim: 2915 bits: 13/12 0.95 c ---[ 165]---> Adder-cost: 90 maxlim: 5 bits: 4/3 0.95 c ---[ 163]---> Adder-cost: 212 maxlim: 62 bits: 7/6 0.96 c ---[ 161]---> Adder-cost: 283 maxlim: 186 bits: 9/8 0.97 c ---[ 159]---> Adder-cost: 270 maxlim: 358 bits: 10/9 0.98 c ---[ 157]---> Adder-cost: 286 maxlim: 636 bits: 11/10 1.00 c ---[ 155]---> Adder-cost: 292 maxlim: 1192 bits: 12/11 1.03 c ---[ 153]---> Adder-cost: 294 maxlim: 2282 bits: 13/12 1.05 c ---[ 151]---> Adder-cost: 288 maxlim: 2531 bits: 13/12 1.08 c ---[ 139]---> Adder-cost: 2840 maxlim: 128252 bits: 18/17 1.86 c ---[ 137]---> Adder-cost: 2759 maxlim: 82217 bits: 18/17 2.60 c ---[ 135]---> Adder-cost: 296 maxlim: 476 bits: 10/9 2.62 c ---[ 133]---> Adder-cost: 3562 maxlim: 510475 bits: 20/19 3.82 c ---[ 132]---> Sorter-cost: 189 Base: 2 2 2 2 2 3.82 c ---[ 131]---> Sorter-cost: 373 Base: 7 3 3 3.83 c ---[ 130]---> Sorter-cost: 373 Base: 7 3 3 3.83 c ---[ 129]---> Sorter-cost: 373 Base: 7 3 3 3.83 c ---[ 128]---> Sorter-cost: 373 Base: 7 3 3 3.83 c ---[ 127]---> Sorter-cost: 183 Base: 2 2 2 3.83 c ---[ 123]---> Sorter-cost: 269 Base: 3 3.83 c ---[ 117]---> Sorter-cost: 269 Base: 3 3.83 c ---[ 113]---> Sorter-cost: 269 Base: 3 3.84 c ---[ 110]---> Sorter-cost: 269 Base: 3 3.84 c ---[ 106]---> Sorter-cost: 269 Base: 3 3.84 c ---[ 104]---> Sorter-cost: 269 Base: 3 3.84 c ---[ 100]---> Sorter-cost: 269 Base: 3 3.84 c ---[ 87]---> Sorter-cost: 269 Base: 3 3.84 c ---[ 83]---> Sorter-cost: 182 Base: 7 3.84 c ---[ 70]---> Sorter-cost: 182 Base: 7 3.84 c ---[ 66]---> Sorter-cost: 182 Base: 7 3.84 c ---[ 64]---> Sorter-cost: 182 Base: 7 3.84 c ---[ 60]---> Sorter-cost: 182 Base: 7 3.84 c ---[ 47]---> Sorter-cost: 212 Base: 2 3.84 c ---[ 33]---> Sorter-cost: 569 Base: 2 3.85 c ---[ 31]---> Sorter-cost: 1153 Base: 3 3.85 c ---[ 29]---> Adder-cost: 96 maxlim: 72 bits: 7/7 3.85 c ---[ 27]---> Adder-cost: 98 maxlim: 72 bits: 7/7 3.86 c ---[ 25]---> Adder-cost: 106 maxlim: 72 bits: 7/7 3.86 c ---[ 23]---> Adder-cost: 96 maxlim: 72 bits: 7/7 3.86 c ---[ 21]---> Sorter-cost: 1115 Base: 3 3.87 c ---[ 19]---> Sorter-cost: 656 Base: 3 3.87 c ---[ 18]---> Adder-cost: 60 maxlim: 23 bits: 6/5 3.87 c ---[ 17]---> Adder-cost: 128 maxlim: 62 bits: 7/6 3.88 c ---[ 16]---> Adder-cost: 127 maxlim: 51 bits: 7/6 3.88 c ---[ 15]---> Adder-cost: 93 maxlim: 64 bits: 8/7 3.89 c ---[ 14]---> Adder-cost: 128 maxlim: 80 bits: 8/7 3.89 c ---[ 13]---> Sorter-cost: 1000 Base: 5 3 3.90 c ---[ 12]---> Adder-cost: 78 maxlim: 45 bits: 7/6 3.90 c ---[ 11]---> Adder-cost: 124 maxlim: 68 bits: 8/7 3.90 c ---[ 10]---> Adder-cost: 59 maxlim: 27 bits: 6/5 3.91 c ---[ 9]---> Sorter-cost: 1019 Base: 3 7 3.91 c ---[ 8]---> BDD-cost: 31 3.91 c ---[ 7]---> BDD-cost: 31 3.91 c ---[ 6]---> BDD-cost: 85 3.91 c ---[ 5]---> BDD-cost: 85 3.91 c ---[ 4]---> BDD-cost: 85 3.91 c ---[ 3]---> BDD-cost: 85 3.91 c ---[ 2]---> BDD-cost: 85 3.91 c ---[ 1]---> BDD-cost: 85 3.92 c ---[ 0]---> BDD-cost: 85 4.04 c ==================================[MINISAT+]================================== 4.04 c | Conflicts | Original | Learnt | Progress | 4.04 c | | Clauses Literals | Max Clauses Literals LPC | | 4.04 c ============================================================================== 4.04 c | 0 | 151914 514796 | 50638 0 0 nan | 0.000 % | 4.04 c | 102 | 151914 514796 | 55701 102 1312 12.9 | 8.188 % | 4.06 c | 252 | 151914 514796 | 61271 252 2165 8.6 | 8.188 % | 4.12 c | 478 | 151898 514744 | 67399 476 3080 6.5 | 8.194 % | 4.23 c | 816 | 151898 514744 | 74139 814 5008 6.2 | 8.194 % | 4.32 c | 1323 | 151889 514715 | 81553 1320 8602 6.5 | 8.200 % | 4.42 c | 2082 | 151756 514407 | 89708 2058 14025 6.8 | 8.309 % | 4.62 c | 3222 | 151585 514023 | 98679 3178 24148 7.6 | 8.452 % | 4.93 c | 4931 | 151104 512909 | 108547 4822 42691 8.9 | 8.890 % | 5.23 c | 7493 | 150603 511743 | 119401 7360 90546 12.3 | 9.374 % | 5.60 c | 11338 | 150586 511705 | 131341 11199 166146 14.8 | 9.389 % | 6.24 c | 17105 | 150484 511473 | 144476 16949 278768 16.4 | 9.480 % | 7.65 c | 25756 | 150476 511447 | 158923 25599 517539 20.2 | 9.483 % | 10.06 c | 38730 | 150240 510888 | 174816 38521 803263 20.9 | 9.705 % | 14.45 c | 58191 | 150149 510684 | 192297 57958 1327888 22.9 | 9.790 % | 25.22 c | 87385 | 149921 509892 | 211527 87101 2264817 26.0 | 9.830 % | 45.03 c | 131175 | 149823 509662 | 232680 130852 3416394 26.1 | 9.921 % | 99.78 c | 196859 | 149508 508714 | 255948 196460 5438740 27.7 | 10.076 % | 176.68 c | 295388 | 149182 507738 | 281543 56908 1311040 23.0 | 10.241 % | 293.34 c | 443178 | 149107 507567 | 309697 204689 4849367 23.7 | 10.317 % | 539.02 c | 664865 | 148943 507177 | 340667 137951 3334104 24.2 | 10.463 % | 918.58 c | 997392 | 148388 505581 | 374733 150327 4456637 29.6 | 10.773 % | 1121.15 c ============================================================================== 1121.15 c [1mUNSATISFIABLE[0m 1121.15 s UNSATISFIABLE 1121.15 c _______________________________________________________________________________ 1121.15 c 1121.15 c restarts : 22 1121.15 c conflicts : 1219137 (1088 /sec) 1121.15 c decisions : 1822266 (1626 /sec) 1121.15 c propagations : 0 (0 /sec) 1121.15 c inspects : 0 (0 /sec) 1121.15 c CPU time : 1120.67 s 1121.15 c _______________________________________________________________________________
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-35046-1149333140 -o ROOT/results/node51/solver-35046-1149333140 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/35046-1149333140/instance-35046-1149333140.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1882392/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=1048 CPUtime=0 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 124 0 0 0 0 0 0 0 19 0 1 0 198981313 1073152 109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134614595 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 262 109 74 215 0 44 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1863264/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=21340 CPUtime=9.99 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 5396 0 0 0 997 2 0 0 25 0 1 0 198981313 21852160 4894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580738 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 5335 4894 124 215 0 5117 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 21340 [startup+20.0082 s] /proc/loadavg: 0.94 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1858280/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=26520 CPUtime=19.99 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 6660 0 0 0 1996 3 0 0 25 0 1 0 198981313 27156480 6158 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 6630 6158 124 215 0 6412 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 26520 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1853480/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=31328 CPUtime=30 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 7872 0 0 0 2996 4 0 0 25 0 1 0 198981313 32079872 7370 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 7832 7370 124 215 0 7614 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 31328 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1850088/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=34644 CPUtime=40 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 8710 0 0 0 3995 5 0 0 25 0 1 0 198981313 35475456 8208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 8661 8208 124 215 0 8443 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 34644 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1847976/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=36872 CPUtime=50 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 9253 0 0 0 4995 5 0 0 25 0 1 0 198981313 37756928 8751 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 9218 8751 124 215 0 9000 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 36872 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1846120/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=38996 CPUtime=60.01 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 9724 0 0 0 5995 6 0 0 25 0 1 0 198981313 39931904 9222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 9749 9222 124 215 0 9531 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 38996 [startup+70.0378 s] /proc/loadavg: 0.97 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1843432/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=41628 CPUtime=70.01 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 10391 0 0 0 6994 7 0 0 25 0 1 0 198981313 42627072 9889 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 10407 9889 124 215 0 10189 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 41628 [startup+80.0437 s] /proc/loadavg: 0.98 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1840872/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=44088 CPUtime=80.02 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 11023 0 0 0 7994 8 0 0 25 0 1 0 198981313 45146112 10521 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 11022 10521 124 215 0 10804 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 44088 [startup+90.0496 s] /proc/loadavg: 0.98 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1839528/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=45472 CPUtime=90.02 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 11365 0 0 0 8994 8 0 0 25 0 1 0 198981313 46563328 10863 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 11368 10863 124 215 0 11150 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 45472 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1838184/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=46740 CPUtime=100.02 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 11697 0 0 0 9994 8 0 0 25 0 1 0 198981313 47861760 11195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 11685 11195 124 215 0 11467 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 46740 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1836456/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=48852 CPUtime=110.03 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 12133 0 0 0 10994 9 0 0 25 0 1 0 198981313 50024448 11631 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 12213 11631 124 215 0 11995 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 48852 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1835368/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=49908 CPUtime=120.03 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 12399 0 0 0 11994 9 0 0 25 0 1 0 198981313 51105792 11897 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 12477 11897 124 215 0 12259 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 49908 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1833576/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=51712 CPUtime=130.03 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 12840 0 0 0 12994 9 0 0 25 0 1 0 198981313 52953088 12338 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 12928 12338 124 215 0 12710 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 51712 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1831784/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=53472 CPUtime=140.04 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 13293 0 0 0 13994 10 0 0 25 0 1 0 198981313 54755328 12791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 13368 12791 124 215 0 13150 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 53472 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1830440/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=54872 CPUtime=150.04 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 13629 0 0 0 14994 10 0 0 25 0 1 0 198981313 56188928 13127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 13718 13127 124 215 0 13500 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 54872 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1829480/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=55692 CPUtime=160.05 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 13864 0 0 0 15994 11 0 0 25 0 1 0 198981313 57028608 13362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 13923 13362 124 215 0 13705 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 55692 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1828968/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=56220 CPUtime=170.05 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 13993 0 0 0 16994 11 0 0 25 0 1 0 198981313 57569280 13491 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579868 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 14055 13491 124 215 0 13837 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 56220 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1828968/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=56220 CPUtime=180.05 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 13993 0 0 0 17994 11 0 0 25 0 1 0 198981313 57569280 13491 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 14055 13491 124 215 0 13837 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 56220 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1828904/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=56220 CPUtime=190.06 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 13994 0 0 0 18995 11 0 0 25 0 1 0 198981313 57569280 13492 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 14055 13492 124 215 0 13837 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 56220 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1828712/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=56380 CPUtime=200.06 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 14042 0 0 0 19995 11 0 0 25 0 1 0 198981313 57733120 13540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580999 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 14095 13540 124 215 0 13877 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 56380 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.93 2/64 13640 /proc/meminfo: memFree=1828712/2055920 swapFree=4181388/4192956 ################ # More data... # ################ /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 910.3 Current children cumulated vsize (Kb) 66632 [startup+920.542 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1819568/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=66632 CPUtime=920.31 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16270 0 0 0 92016 15 0 0 25 0 1 0 198981313 68231168 15768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 920.31 Current children cumulated vsize (Kb) 66632 [startup+930.548 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1819568/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=66632 CPUtime=930.31 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16270 0 0 0 93016 15 0 0 25 0 1 0 198981313 68231168 15768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 930.31 Current children cumulated vsize (Kb) 66632 [startup+940.555 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1819568/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=66632 CPUtime=940.32 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16270 0 0 0 94016 16 0 0 25 0 1 0 198981313 68231168 15768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 940.32 Current children cumulated vsize (Kb) 66632 [startup+950.56 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1819632/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=66632 CPUtime=950.33 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16270 0 0 0 95017 16 0 0 25 0 1 0 198981313 68231168 15768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 950.33 Current children cumulated vsize (Kb) 66632 [startup+960.566 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1819632/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=66632 CPUtime=960.33 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16270 0 0 0 96017 16 0 0 25 0 1 0 198981313 68231168 15768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580774 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 960.33 Current children cumulated vsize (Kb) 66632 [startup+970.572 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1819632/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=66632 CPUtime=970.33 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16270 0 0 0 97017 16 0 0 25 0 1 0 198981313 68231168 15768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 16658 15768 124 215 0 16440 0 Current children cumulated CPU time (s) 970.33 Current children cumulated vsize (Kb) 66632 [startup+980.578 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1818288/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=68096 CPUtime=980.33 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16600 0 0 0 98017 16 0 0 25 0 1 0 198981313 69730304 16098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 17024 16098 124 215 0 16806 0 Current children cumulated CPU time (s) 980.33 Current children cumulated vsize (Kb) 68096 [startup+990.584 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1817072/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=69144 CPUtime=990.33 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 16902 0 0 0 99017 16 0 0 25 0 1 0 198981313 70803456 16400 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 17286 16400 124 215 0 17068 0 Current children cumulated CPU time (s) 990.33 Current children cumulated vsize (Kb) 69144 [startup+1000.59 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1815920/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=70368 CPUtime=1000.34 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 17184 0 0 0 100017 17 0 0 25 0 1 0 198981313 72056832 16682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 17592 16682 124 215 0 17374 0 Current children cumulated CPU time (s) 1000.34 Current children cumulated vsize (Kb) 70368 [startup+1010.6 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1814768/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=71412 CPUtime=1010.34 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 17467 0 0 0 101017 17 0 0 25 0 1 0 198981313 73125888 16965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 17853 16965 124 215 0 17635 0 Current children cumulated CPU time (s) 1010.34 Current children cumulated vsize (Kb) 71412 [startup+1020.6 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1813808/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=72468 CPUtime=1020.43 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 17713 0 0 0 102025 18 0 0 25 0 1 0 198981313 74207232 17211 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 18117 17211 124 215 0 17899 0 Current children cumulated CPU time (s) 1020.43 Current children cumulated vsize (Kb) 72468 [startup+1030.69 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1812848/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=73412 CPUtime=1030.44 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 17950 0 0 0 103026 18 0 0 25 0 1 0 198981313 75173888 17448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 18353 17448 124 215 0 18135 0 Current children cumulated CPU time (s) 1030.44 Current children cumulated vsize (Kb) 73412 [startup+1040.7 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1812144/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=74240 CPUtime=1040.44 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 18129 0 0 0 104026 18 0 0 25 0 1 0 198981313 76021760 17627 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 18560 17627 124 215 0 18342 0 Current children cumulated CPU time (s) 1040.44 Current children cumulated vsize (Kb) 74240 [startup+1050.7 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1811312/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=75028 CPUtime=1050.44 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 18330 0 0 0 105026 18 0 0 25 0 1 0 198981313 76828672 17828 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 18757 17828 124 215 0 18539 0 Current children cumulated CPU time (s) 1050.44 Current children cumulated vsize (Kb) 75028 [startup+1060.71 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1810544/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=75816 CPUtime=1060.45 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 18523 0 0 0 106026 19 0 0 25 0 1 0 198981313 77635584 18021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 18954 18021 124 215 0 18736 0 Current children cumulated CPU time (s) 1060.45 Current children cumulated vsize (Kb) 75816 [startup+1070.72 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1809904/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=76464 CPUtime=1070.45 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 18678 0 0 0 107026 19 0 0 25 0 1 0 198981313 78299136 18176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 19116 18176 124 215 0 18898 0 Current children cumulated CPU time (s) 1070.45 Current children cumulated vsize (Kb) 76464 [startup+1080.72 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1809008/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=77300 CPUtime=1080.45 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 18896 0 0 0 108026 19 0 0 25 0 1 0 198981313 79155200 18394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 19325 18394 124 215 0 19107 0 Current children cumulated CPU time (s) 1080.45 Current children cumulated vsize (Kb) 77300 [startup+1090.73 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1808368/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=78032 CPUtime=1090.46 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 19054 0 0 0 109026 20 0 0 25 0 1 0 198981313 79904768 18552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 19508 18552 124 215 0 19290 0 Current children cumulated CPU time (s) 1090.46 Current children cumulated vsize (Kb) 78032 [startup+1100.73 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1807792/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=78528 CPUtime=1100.46 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 19202 0 0 0 110026 20 0 0 25 0 1 0 198981313 80412672 18700 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568484 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 19632 18700 124 215 0 19414 0 Current children cumulated CPU time (s) 1100.46 Current children cumulated vsize (Kb) 78528 [startup+1110.74 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1807792/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=78528 CPUtime=1110.47 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 19202 0 0 0 111027 20 0 0 25 0 1 0 198981313 80412672 18700 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 19632 18700 124 215 0 19414 0 Current children cumulated CPU time (s) 1110.47 Current children cumulated vsize (Kb) 78528 [startup+1120.75 s] /proc/loadavg: 1.00 1.00 0.93 2/64 13640 /proc/meminfo: memFree=1807728/2055920 swapFree=4181388/4192956 [pid=13640] ppid=13638 vsize=78716 CPUtime=1120.47 /proc/13640/stat : 13640 (minisat+) R 13638 13640 13594 0 -1 4194304 19216 0 0 0 112027 20 0 0 25 0 1 0 198981313 80605184 18714 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568554 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13640/statm: 19679 18714 124 215 0 19461 0 Current children cumulated CPU time (s) 1120.47 Current children cumulated vsize (Kb) 78716 Child status: 20 Real time (s): 1121.18 CPU time (s): 1120.91 CPU user time (s): 1120.69 CPU system time (s): 0.216967 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (Kb): 78716
Begin job on node51 on Sat Jun 3 11:12:20 UTC 2006 FILE ID= 35046-1149333140 PBS_JOBID= 309995 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/35046-1149333140/instance-35046-1149333140.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-35046-1149333140 -o ROOT/results/node51/solver-35046-1149333140 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node51/35046-1149333140/instance-35046-1149333140.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= a7e24e57a312eb47e85004eff6279cc1 RANDOM SEED= 64322452 /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.232 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.232 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: 1882600 kB Buffers: 16576 kB Cached: 98220 kB SwapCached: 3252 kB Active: 36172 kB Inactive: 87364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1882600 kB SwapTotal: 4192956 kB SwapFree: 4181388 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14916 kB Slab: 35812 kB Committed_AS: 334600 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Sat Jun 3 11:31:02 UTC 2006