Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.1 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 2.23666 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
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/0.00 c Parsing PB file... 0.19/0.23 c Converting 291 PB-constraints to clauses... 0.19/0.23 c -- Unit propagations: (none) 0.19/0.23 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################# 0.19/0.24 c -- Clauses(.)/Splits(s): (none) 0.19/0.24 c ---[ 289]---> BDD-cost: 67 0.19/0.24 c ---[ 287]---> BDD-cost: 113 0.19/0.24 c ---[ 285]---> BDD-cost: 181 0.19/0.25 c ---[ 283]---> BDD-cost: 115 0.19/0.25 c ---[ 281]---> BDD-cost: 69 0.19/0.25 c ---[ 279]---> BDD-cost: 125 0.19/0.25 c ---[ 277]---> BDD-cost: 155 0.19/0.25 c ---[ 275]---> BDD-cost: 87 0.19/0.26 c ---[ 273]---> BDD-cost: 97 0.19/0.26 c ---[ 271]---> BDD-cost: 73 0.19/0.26 c ---[ 269]---> BDD-cost: 119 0.19/0.26 c ---[ 267]---> BDD-cost: 45 0.19/0.26 c ---[ 265]---> BDD-cost: 171 0.19/0.27 c ---[ 263]---> BDD-cost: 111 0.19/0.27 c ---[ 261]---> BDD-cost: 149 0.19/0.27 c ---[ 259]---> BDD-cost: 195 0.19/0.28 c ---[ 257]---> BDD-cost: 131 0.19/0.28 c ---[ 255]---> BDD-cost: 123 0.19/0.28 c ---[ 253]---> BDD-cost: 167 0.19/0.28 c ---[ 251]---> BDD-cost: 101 0.19/0.29 c ---[ 249]---> BDD-cost: 97 0.19/0.29 c ---[ 247]---> BDD-cost: 23 0.19/0.29 c ---[ 245]---> BDD-cost: 135 0.19/0.29 c ---[ 243]---> BDD-cost: 59 0.19/0.29 c ---[ 241]---> BDD-cost: 95 0.19/0.29 c ---[ 239]---> BDD-cost: 59 0.19/0.29 c ---[ 237]---> BDD-cost: 133 0.29/0.30 c ---[ 235]---> BDD-cost: 99 0.29/0.30 c ---[ 233]---> BDD-cost: 179 0.29/0.30 c ---[ 231]---> BDD-cost: 111 0.29/0.30 c ---[ 229]---> BDD-cost: 23 0.29/0.30 c ---[ 227]---> BDD-cost: 89 0.29/0.31 c ---[ 225]---> BDD-cost: 95 0.29/0.31 c ---[ 223]---> BDD-cost: 117 0.29/0.31 c ---[ 221]---> BDD-cost: 23 0.29/0.31 c ---[ 219]---> BDD-cost: 51 0.29/0.31 c ---[ 217]---> BDD-cost: 311 0.29/0.32 c ---[ 215]---> BDD-cost: 259 0.29/0.33 c ---[ 213]---> BDD-cost: 169 0.29/0.33 c ---[ 211]---> BDD-cost: 131 0.29/0.34 c ---[ 209]---> BDD-cost: 155 0.29/0.34 c ---[ 207]---> BDD-cost: 89 0.29/0.34 c ---[ 205]---> BDD-cost: 51 0.29/0.34 c ---[ 203]---> BDD-cost: 165 0.29/0.35 c ---[ 201]---> BDD-cost: 75 0.29/0.35 c ---[ 199]---> BDD-cost: 139 0.29/0.35 c ---[ 197]---> BDD-cost: 67 0.29/0.35 c ---[ 195]---> BDD-cost: 173 0.29/0.35 c ---[ 193]---> BDD-cost: 235 0.29/0.36 c ---[ 191]---> BDD-cost: 185 0.29/0.37 c ---[ 189]---> BDD-cost: 127 0.29/0.37 c ---[ 187]---> BDD-cost: 37 0.29/0.37 c ---[ 185]---> BDD-cost: 37 0.29/0.37 c ---[ 183]---> BDD-cost: 91 0.29/0.37 c ---[ 181]---> BDD-cost: 77 0.29/0.37 c ---[ 179]---> BDD-cost: 29 0.29/0.37 c ---[ 177]---> BDD-cost: 77 0.29/0.37 c ---[ 175]---> BDD-cost: 77 0.29/0.37 c ---[ 173]---> BDD-cost: 101 0.29/0.38 c ---[ 171]---> BDD-cost: 131 0.29/0.38 c ---[ 169]---> BDD-cost: 155 0.29/0.38 c ---[ 167]---> BDD-cost: 177 0.29/0.39 c ---[ 165]---> BDD-cost: 143 0.29/0.39 c ---[ 163]---> BDD-cost: 93 0.29/0.39 c ---[ 161]---> BDD-cost: 79 0.29/0.39 c ---[ 159]---> BDD-cost: 53 0.29/0.39 c ---[ 157]---> BDD-cost: 71 0.29/0.39 c ---[ 155]---> BDD-cost: 127 0.29/0.40 c ---[ 153]---> BDD-cost: 127 0.39/0.40 c ---[ 151]---> BDD-cost: 67 0.39/0.40 c ---[ 149]---> BDD-cost: 83 0.39/0.40 c ---[ 147]---> BDD-cost: 47 0.39/0.40 c ---[ 145]---> BDD-cost: 63 0.39/0.40 c ---[ 143]---> BDD-cost: 121 0.39/0.40 c ---[ 141]---> BDD-cost: 155 0.39/0.41 c ---[ 139]---> BDD-cost: 87 0.39/0.41 c ---[ 137]---> BDD-cost: 91 0.39/0.41 c ---[ 135]---> BDD-cost: 47 0.39/0.41 c ---[ 133]---> BDD-cost: 67 0.39/0.41 c ---[ 131]---> BDD-cost: 33 0.39/0.41 c ---[ 129]---> BDD-cost: 91 0.39/0.41 c ---[ 127]---> BDD-cost: 69 0.39/0.41 c ---[ 125]---> BDD-cost: 5 0.39/0.41 c ---[ 123]---> BDD-cost: 47 0.39/0.42 c ---[ 121]---> BDD-cost: 45 0.39/0.42 c ---[ 119]---> BDD-cost: 37 0.39/0.42 c ---[ 117]---> BDD-cost: 117 0.39/0.42 c ---[ 115]---> BDD-cost: 97 0.39/0.42 c ---[ 113]---> BDD-cost: 77 0.39/0.42 c ---[ 111]---> BDD-cost: 97 0.39/0.42 c ---[ 109]---> BDD-cost: 137 0.39/0.43 c ---[ 107]---> BDD-cost: 125 0.39/0.43 c ---[ 105]---> BDD-cost: 79 0.39/0.43 c ---[ 103]---> BDD-cost: 133 0.39/0.43 c ---[ 101]---> BDD-cost: 153 0.39/0.43 c ---[ 99]---> BDD-cost: 139 0.39/0.44 c ---[ 97]---> BDD-cost: 125 0.39/0.44 c ---[ 95]---> BDD-cost: 5 0.39/0.44 c ---[ 93]---> BDD-cost: 73 0.39/0.44 c ---[ 91]---> BDD-cost: 157 0.39/0.44 c ---[ 89]---> BDD-cost: 127 0.39/0.45 c ---[ 87]---> BDD-cost: 199 0.39/0.45 c ---[ 85]---> BDD-cost: 121 0.39/0.46 c ---[ 83]---> BDD-cost: 107 0.39/0.46 c ---[ 81]---> BDD-cost: 169 0.39/0.46 c ---[ 79]---> BDD-cost: 113 0.39/0.46 c ---[ 77]---> BDD-cost: 103 0.39/0.47 c ---[ 75]---> BDD-cost: 75 0.39/0.47 c ---[ 73]---> BDD-cost: 97 0.39/0.47 c ---[ 71]---> BDD-cost: 151 0.39/0.47 c ---[ 69]---> BDD-cost: 199 0.39/0.48 c ---[ 67]---> BDD-cost: 109 0.39/0.48 c ---[ 65]---> BDD-cost: 131 0.39/0.48 c ---[ 63]---> BDD-cost: 113 0.39/0.48 c ---[ 61]---> BDD-cost: 173 0.39/0.49 c ---[ 59]---> BDD-cost: 119 0.39/0.49 c ---[ 57]---> BDD-cost: 173 0.39/0.49 c ---[ 55]---> BDD-cost: 119 0.39/0.50 c ---[ 53]---> BDD-cost: 71 0.39/0.50 c ---[ 51]---> BDD-cost: 179 0.49/0.50 c ---[ 49]---> BDD-cost: 241 0.49/0.51 c ---[ 47]---> BDD-cost: 201 0.49/0.51 c ---[ 45]---> BDD-cost: 173 0.49/0.52 c ---[ 43]---> BDD-cost: 147 0.49/0.52 c ---[ 41]---> BDD-cost: 157 0.49/0.52 c ---[ 39]---> BDD-cost: 201 0.49/0.53 c ---[ 37]---> BDD-cost: 129 0.49/0.53 c ---[ 35]---> BDD-cost: 117 0.49/0.53 c ---[ 33]---> BDD-cost: 177 0.49/0.54 c ---[ 31]---> BDD-cost: 123 0.49/0.54 c ---[ 29]---> BDD-cost: 131 0.49/0.54 c ---[ 27]---> BDD-cost: 115 0.49/0.55 c ---[ 25]---> BDD-cost: 51 0.49/0.55 c ---[ 23]---> BDD-cost: 123 0.49/0.55 c ---[ 21]---> BDD-cost: 55 0.49/0.55 c ---[ 19]---> BDD-cost: 5 0.49/0.55 c ---[ 17]---> BDD-cost: 99 0.49/0.55 c ---[ 15]---> BDD-cost: 85 0.49/0.55 c ---[ 13]---> BDD-cost: 109 0.49/0.55 c ---[ 11]---> BDD-cost: 153 0.49/0.56 c ---[ 9]---> BDD-cost: 201 0.49/0.56 c ---[ 7]---> BDD-cost: 133 0.49/0.57 c ---[ 5]---> BDD-cost: 121 0.49/0.57 c ---[ 3]---> BDD-cost: 171 0.49/0.57 c ---[ 1]---> Adder-cost: 5294 maxlim: 2609 bits: 12/12 5.19/5.29 c ---[ 0]---> BDD-cost: 751 5.29/5.36 c ==================================[MINISAT+]================================== 5.29/5.36 c | Conflicts | Original | Learnt | Progress | 5.29/5.36 c | | Clauses Literals | Max Clauses Literals LPC | | 5.29/5.36 c ============================================================================== 5.29/5.36 c | 0 | 79291 242194 | 26430 0 0 nan | 0.000 % | 5.39/5.42 c | 101 | 79216 241933 | 29073 93 735 7.9 | 0.735 % | 5.39/5.46 c | 253 | 79216 241933 | 31980 245 2664 10.9 | 0.735 % | 5.50/5.58 c | 478 | 79216 241933 | 35178 470 26790 57.0 | 0.735 % | 5.69/5.71 c | 816 | 79216 241933 | 38696 808 31842 39.4 | 0.735 % | 5.89/5.92 c | 1323 | 79216 241933 | 42565 1315 62134 47.3 | 0.735 % | 6.19/6.22 c | 2082 | 79216 241933 | 46822 2074 107560 51.9 | 0.735 % | 6.89/6.94 c | 3222 | 79188 241847 | 51504 3207 277140 86.4 | 0.751 % | 7.70/7.76 c | 4930 | 79188 241847 | 56655 4915 483903 98.5 | 0.751 % | 9.29/9.30 c | 7493 | 79188 241847 | 62320 7478 739580 98.9 | 0.751 % | 12.10/12.12 c | 11337 | 79188 241847 | 68552 11322 1362239 120.3 | 0.751 % | 16.98/17.09 c | 17103 | 79164 241769 | 75407 17085 2978250 174.3 | 0.767 % | 30.58/30.67 c | 25752 | 79164 241769 | 82948 25734 6444146 250.4 | 0.767 % | 46.58/46.67 c | 38727 | 79164 241769 | 91243 38709 10596182 273.7 | 0.767 % | 69.98/70.08 c | 58188 | 79145 241708 | 100367 58167 16215504 278.8 | 0.779 % | 109.57/109.61 c | 87383 | 79101 241554 | 110404 87356 23978747 274.5 | 0.807 % | 173.15/173.26 c | 131172 | 79079 241468 | 121445 35237 6368599 180.7 | 0.823 % | 279.43/279.60 c | 196857 | 78549 239688 | 133589 100806 30304920 300.6 | 1.134 % | 446.18/446.37 c | 295383 | 78118 238289 | 146948 89594 22902556 255.6 | 1.368 % | 654.63/654.84 c | 443172 | 77235 235373 | 161643 116617 13778136 118.1 | 1.796 % | 1074.44/1074.76 c | 664856 | 76066 231507 | 177807 69912 6524753 93.3 | 2.361 % | 1756.37/1756.89 c | 997382 | 74679 226793 | 195588 88122 17436753 197.9 | 3.148 % | 1800.06/1800.50 c 1800.06/1800.50 c *** TERMINATED *** 1800.06/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/363450-1177027605/instance-363450-1177027605.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-363450-1177027605 -o ROOT/results/node50/solver-363450-1177027605 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363450-1177027605/minisat+ /tmp/evaluation/363450-1177027605/instance-363450-1177027605.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.80 0.98 0.98 3/64 10533 /proc/meminfo: memFree=1811752/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=1344 CPUtime=0 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 57605649 1376256 142 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 336 143 67 215 0 118 0 [startup+0.104342 s] /proc/loadavg: 0.80 0.98 0.98 3/64 10533 /proc/meminfo: memFree=1811752/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=2148 CPUtime=0.1 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 378 0 0 0 10 0 0 0 18 0 1 0 57605649 2199552 363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 537 363 74 215 0 319 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2148 [startup+0.20135 s] /proc/loadavg: 0.80 0.98 0.98 3/64 10533 /proc/meminfo: memFree=1811752/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=3308 CPUtime=0.19 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 682 0 0 0 19 0 0 0 19 0 1 0 57605649 3387392 667 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809847 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 827 667 74 215 0 609 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3308 [startup+0.301359 s] /proc/loadavg: 0.80 0.98 0.98 3/64 10533 /proc/meminfo: memFree=1811752/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=3196 CPUtime=0.29 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 740 0 0 0 29 0 0 0 20 0 1 0 57605649 3272704 660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838344 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 799 660 86 215 0 581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3196 [startup+0.701394 s] /proc/loadavg: 0.80 0.98 0.98 3/64 10533 /proc/meminfo: memFree=1811752/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=5104 CPUtime=0.69 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 1199 0 0 0 69 0 0 0 23 0 1 0 57605649 5226496 1106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 1276 1106 86 215 0 1058 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5104 [startup+1.50146 s] /proc/loadavg: 0.80 0.98 0.98 2/65 10534 /proc/meminfo: memFree=1807520/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=5212 CPUtime=1.49 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 1221 0 0 0 149 0 0 0 25 0 1 0 57605649 5337088 1128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 1303 1128 86 215 0 1085 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5212 [startup+3.1016 s] /proc/loadavg: 0.81 0.98 0.98 2/65 10534 /proc/meminfo: memFree=1807328/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=5476 CPUtime=3.09 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 1271 0 0 0 309 0 0 0 25 0 1 0 57605649 5607424 1178 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 1369 1178 86 215 0 1151 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5476 [startup+6.30189 s] /proc/loadavg: 0.81 0.98 0.98 2/65 10534 /proc/meminfo: memFree=1795616/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=17824 CPUtime=6.29 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 4920 0 0 0 627 2 0 0 25 0 1 0 57605649 18251776 4204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581165 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 4456 4204 123 215 0 4238 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17824 [startup+12.7015 s] /proc/loadavg: 0.84 0.98 0.98 2/65 10534 /proc/meminfo: memFree=1789600/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=23924 CPUtime=12.69 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 6456 0 0 0 1265 4 0 0 25 0 1 0 57605649 24498176 5740 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573857 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 5981 5740 123 215 0 5763 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23924 [startup+25.5016 s] /proc/loadavg: 0.87 0.98 0.98 2/65 10534 /proc/meminfo: memFree=1773984/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=39132 CPUtime=25.48 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 10239 0 0 0 2541 7 0 0 25 0 1 0 57605649 40071168 9523 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573904 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 9783 9523 123 215 0 9565 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39132 [startup+51.1018 s] /proc/loadavg: 0.91 0.98 0.98 2/65 10534 /proc/meminfo: memFree=1748064/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=65724 CPUtime=51.08 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 16866 0 0 0 5095 13 0 0 25 0 1 0 57605649 67301376 16150 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 16431 16150 123 215 0 16213 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 65724 [startup+102.301 s] /proc/loadavg: 0.96 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1700896/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=111976 CPUtime=102.27 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 28440 0 0 0 10204 23 0 0 25 0 1 0 57605649 114663424 27724 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 27994 27724 123 215 0 27776 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 111976 [startup+162.302 s] /proc/loadavg: 0.98 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1658464/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=154276 CPUtime=162.25 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 39016 0 0 0 16192 33 0 0 25 0 1 0 57605649 157978624 38300 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 38569 38300 123 215 0 38351 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 154276 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1658656/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=154276 CPUtime=222.24 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 39016 0 0 0 22191 33 0 0 25 0 1 0 57605649 157978624 38300 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573978 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 38569 38300 123 215 0 38351 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 154276 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1658656/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=154276 CPUtime=282.23 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 39016 0 0 0 28190 33 0 0 25 0 1 0 57605649 157978624 38300 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577430 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 38569 38300 123 215 0 38351 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 154276 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1624488/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=188404 CPUtime=342.21 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 47561 0 0 0 34182 39 0 0 25 0 1 0 57605649 192925696 46845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573873 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 47101 46845 123 215 0 46883 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 188404 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1619240/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193536 CPUtime=402.19 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48850 0 0 0 40179 40 0 0 25 0 1 0 57605649 198180864 48134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48384 48134 123 215 0 48166 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 193536 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1619176/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193536 CPUtime=462.18 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48850 0 0 0 46178 40 0 0 25 0 1 0 57605649 198180864 48134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48384 48134 123 215 0 48166 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 193536 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1619176/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193536 CPUtime=522.16 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48850 0 0 0 52176 40 0 0 25 0 1 0 57605649 198180864 48134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48384 48134 123 215 0 48166 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 193536 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1619112/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=582.15 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48864 0 0 0 58175 40 0 0 25 0 1 0 57605649 198455296 48148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48148 123 215 0 48233 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 193804 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1619112/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=642.13 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48864 0 0 0 64173 40 0 0 25 0 1 0 57605649 198455296 48148 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48148 123 215 0 48233 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 193804 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1618920/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=822.1 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 82169 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 193804 [startup+882.305 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1618920/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=882.09 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 88168 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 193804 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1618920/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=942.07 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 94166 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577408 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 193804 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1618920/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1002.05 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 100164 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 193804 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1618920/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1062.04 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 106163 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 193804 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/65 10536 /proc/meminfo: memFree=1618856/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1122.02 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 112161 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 193804 [startup+1182.3 s] /proc/loadavg: 1.04 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618856/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1182.01 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 118160 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 193804 [startup+1242.3 s] /proc/loadavg: 1.05 1.01 0.99 2/65 10536 /proc/meminfo: memFree=1618856/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1242 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48880 0 0 0 124159 41 0 0 25 0 1 0 57605649 198455296 48164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48164 123 215 0 48233 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 193804 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 0.99 2/65 10536 /proc/meminfo: memFree=1618856/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1301.98 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48882 0 0 0 130157 41 0 0 25 0 1 0 57605649 198455296 48166 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48166 123 215 0 48233 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 193804 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618792/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1361.97 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 136156 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 193804 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618792/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1421.96 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 142155 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 193804 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618728/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1481.94 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 148153 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 193804 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618728/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1541.93 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 154152 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 193804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618728/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1601.91 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 160150 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 193804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618728/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1661.89 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 166148 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 193804 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618728/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1721.88 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 172147 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 193804 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618664/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1781.86 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 178145 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 193804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/65 10536 /proc/meminfo: memFree=1618664/2055920 swapFree=4183800/4192956 [pid=10533] ppid=10531 vsize=193804 CPUtime=1800.06 /proc/10533/stat : 10533 (minisat+) R 10531 10533 10471 0 -1 4194304 48897 0 0 0 179965 41 0 0 25 0 1 0 57605649 198455296 48181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10533/statm: 48451 48181 123 215 0 48233 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 193804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.1 CPU user time (s): 1799.66 CPU system time (s): 0.445932 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 193804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.445932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48898 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 2236 runsolver used 1.25681 second user time and 3.68144 second system time The end
Begin job on node50 on Fri Apr 20 00:06:45 UTC 2007 IDJOB= 363450 IDBENCH= 1851 IDSOLVER= 156 FILE ID= node50/363450-1177027605 PBS_JOBID= 4630629 Free space on /tmp= 66506 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= /tmp/evaluation/363450-1177027605/minisat+ /tmp/evaluation/363450-1177027605/instance-363450-1177027605.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-363450-1177027605 -o ROOT/results/node50/conversion-363450-1177027605 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363450-1177027605/instance-363450-1177027605.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-363450-1177027605 -o ROOT/results/node50/solver-363450-1177027605 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363450-1177027605/minisat+ /tmp/evaluation/363450-1177027605/instance-363450-1177027605.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED= 635327649 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 1812224 kB Buffers: 22928 kB Cached: 151152 kB SwapCached: 2856 kB Active: 63852 kB Inactive: 128552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812224 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 2672 kB Writeback: 0 kB Mapped: 15152 kB Slab: 37332 kB Committed_AS: 1178108 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66506 MiB End job on node50 on Fri Apr 20 00:36:47 UTC 2007