Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.53 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb |
MD5SUM | 77b4ba393aa7b9b6b0fcb1b4220a12a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1036 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1036 |
Optimality of the best value was proved | NO |
Number of variables | 1969 |
Total number of constraints | 4000 |
Number of constraints which are clauses | 4000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1969 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1969 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1969 |
Number of bits of the biggest sum of numbers | 11 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node54/41667-1149396122/instance-41667-1149396122.opb ...... 0.07 c done parsing opb. 0.07 o 1822 0.09 o 1821 0.11 o 1549 0.12 o 1548 10.90 o 1315 10.91 o 1314 10.92 o 1313 10.93 o 1312 10.94 o 1311 10.95 o 1310 10.96 o 1309 10.98 o 1308 10.99 o 1307 11.00 o 1306 11.01 o 1305 11.02 o 1304 11.03 o 1303 11.04 o 1302 11.05 o 1301 11.06 o 1300 11.07 o 1299 11.09 o 1298 11.10 o 1297 11.11 o 1296 11.12 o 1295 11.13 o 1294 11.14 o 1293 11.15 o 1292 11.16 o 1291 11.17 o 1290 11.19 o 1289 11.20 o 1288 11.21 o 1287 11.22 o 1286 11.23 o 1285 11.24 o 1284 11.25 o 1283 11.26 o 1282 11.27 o 1281 11.28 o 1280 11.29 o 1279 11.31 o 1278 11.32 o 1277 11.33 o 1276 11.34 o 1275 11.35 o 1274 11.36 o 1273 11.37 o 1272 11.38 o 1271 11.39 o 1270 11.40 o 1269 11.41 o 1268 11.43 o 1267 11.44 o 1266 11.45 o 1265 11.46 o 1264 11.47 o 1263 11.48 o 1262 11.49 o 1261 11.50 o 1260 11.51 o 1259 11.52 o 1258 11.53 o 1257 11.54 o 1256 11.55 o 1255 11.57 o 1254 11.58 o 1253 11.59 o 1252 11.60 o 1251 11.61 o 1250 11.62 o 1249 11.63 o 1248 11.64 o 1247 11.65 o 1246 11.66 o 1245 11.67 o 1244 11.68 o 1243 11.69 o 1242 11.70 o 1241 11.71 o 1229 12.05 o 1228 13.17 o 1227 13.19 o 1226 15.69 o 1225 17.57 o 1224 18.56 o 1223 18.57 o 1222 18.58 o 1221 18.59 o 1220 18.61 o 1219 18.63 o 1218 22.18 o 1217 24.91 o 1216 24.92 o 1212 24.94 o 1211 24.95 o 1210 24.96 o 1209 24.97 o 1208 28.00 o 1207 33.63 o 1206 39.17 o 1205 44.79 o 1204 50.12 o 1203 55.62 o 1202 60.57 o 1201 193.44 o 1200 204.50 o 1199 335.57 o 1198 340.51 o 1197 1775.03 o 1196 1782.47 o 1195
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/node54/watcher-41667-1149396122 -o ROOT/results/node54/solver-41667-1149396122 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41667-1149396122/instance-41667-1149396122.opb 294995627 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1633016/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=1588 CPUtime=0 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 161 0 0 0 0 0 0 0 19 0 1 0 205279755 1626112 145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 397 147 90 232 0 162 0 [startup+10.0018 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1552256/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=133380 CPUtime=9.98 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 20375 0 0 0 989 9 0 0 25 0 1 0 205279755 136581120 20302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551459 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33345 20302 108 232 0 33110 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 133380 [startup+20.0079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1533696/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=134040 CPUtime=19.98 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 24992 0 0 0 1978 20 0 0 25 0 1 0 205279755 137256960 24919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33510 24919 108 232 0 33275 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 134040 [startup+30.0139 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1533184/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=134812 CPUtime=29.99 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25191 0 0 0 2975 24 0 0 25 0 1 0 205279755 138047488 25021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33703 25021 108 232 0 33468 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134812 [startup+40.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1533056/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=134940 CPUtime=39.99 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25255 0 0 0 3973 26 0 0 25 0 1 0 205279755 138178560 25085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33735 25085 108 232 0 33500 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 134940 [startup+50.0261 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1532864/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=135200 CPUtime=50 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25314 0 0 0 4972 28 0 0 25 0 1 0 205279755 138444800 25144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33800 25144 108 232 0 33565 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135200 [startup+60.0322 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1532608/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=135324 CPUtime=60 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25372 0 0 0 5968 32 0 0 25 0 1 0 205279755 138571776 25202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33831 25202 108 232 0 33596 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135324 [startup+70.0393 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1532352/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=135448 CPUtime=70 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25431 0 0 0 6967 33 0 0 25 0 1 0 205279755 138698752 25261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33862 25261 108 232 0 33627 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 135448 [startup+80.0464 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1532160/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=135688 CPUtime=80.01 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25501 0 0 0 7967 34 0 0 25 0 1 0 205279755 138944512 25331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 33922 25331 108 232 0 33687 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 135688 [startup+90.0525 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1531904/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=136588 CPUtime=90.01 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25751 0 0 0 8966 35 0 0 25 0 1 0 205279755 139866112 25388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552737 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34147 25388 108 232 0 33912 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 136588 [startup+100.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1531712/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=136732 CPUtime=100.01 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25801 0 0 0 9964 37 0 0 25 0 1 0 205279755 140013568 25438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612792 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34183 25438 108 232 0 33948 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 136732 [startup+110.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1531520/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=136732 CPUtime=110.02 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25841 0 0 0 10964 38 0 0 25 0 1 0 205279755 140013568 25478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34183 25478 108 232 0 33948 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136732 [startup+120.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1531328/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=136864 CPUtime=120.01 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25900 0 0 0 11963 38 0 0 25 0 1 0 205279755 140148736 25537 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34216 25537 108 232 0 33981 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 136864 [startup+130.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1531136/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=137108 CPUtime=130.02 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25949 0 0 0 12963 39 0 0 25 0 1 0 205279755 140398592 25586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34277 25586 108 232 0 34042 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 137108 [startup+140.085 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1530944/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=137236 CPUtime=140.02 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 25996 0 0 0 13962 40 0 0 25 0 1 0 205279755 140529664 25633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549039 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34309 25633 108 232 0 34074 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 137236 [startup+150.092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1530688/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=137408 CPUtime=150.03 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26059 0 0 0 14962 41 0 0 25 0 1 0 205279755 140705792 25696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34352 25696 108 232 0 34117 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 137408 [startup+160.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1530432/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=137552 CPUtime=160.02 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26124 0 0 0 15960 42 0 0 25 0 1 0 205279755 140853248 25761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34388 25761 108 232 0 34153 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 137552 [startup+170.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1530240/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=137708 CPUtime=170.03 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26167 0 0 0 16960 43 0 0 25 0 1 0 205279755 141012992 25804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34427 25804 108 232 0 34192 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 137708 [startup+180.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1529920/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=139244 CPUtime=180.04 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26588 0 0 0 17960 44 0 0 25 0 1 0 205279755 142585856 25840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34811 25840 108 232 0 34576 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 139244 [startup+190.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1529920/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=139400 CPUtime=190.03 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26626 0 0 0 18959 44 0 0 25 0 1 0 205279755 142745600 25878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552166 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34850 25878 108 232 0 34615 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 139400 [startup+200.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1529664/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=139584 CPUtime=200.04 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 26685 0 0 0 19959 45 0 0 25 0 1 0 205279755 142934016 25937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 34896 25937 108 232 0 34661 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 139584 [startup+210.129 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10836 /proc/meminfo: memFree=1529536/2055920 swapFree=4180872/4192956 ################ # More data... # ################ /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33441 0 0 0 177971 170 0 0 25 0 1 0 205279755 162164736 30387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30387 108 232 0 39356 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 158364 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1782.41 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33446 0 0 0 178071 170 0 0 25 0 1 0 205279755 162164736 30392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30392 108 232 0 39356 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 158364 [startup+1784.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1783.42 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33447 0 0 0 178172 170 0 0 25 0 1 0 205279755 162164736 30393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30393 108 232 0 39356 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 158364 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1784.42 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33448 0 0 0 178272 170 0 0 25 0 1 0 205279755 162164736 30394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30394 108 232 0 39356 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 158364 [startup+1786.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1785.42 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33449 0 0 0 178372 170 0 0 25 0 1 0 205279755 162164736 30395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30395 108 232 0 39356 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 158364 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1786.43 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33456 0 0 0 178473 170 0 0 25 0 1 0 205279755 162164736 30402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30402 108 232 0 39356 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 158364 [startup+1788.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1787.43 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33457 0 0 0 178573 170 0 0 25 0 1 0 205279755 162164736 30403 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552034 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30403 108 232 0 39356 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 158364 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511552/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1788.44 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33459 0 0 0 178674 170 0 0 25 0 1 0 205279755 162164736 30405 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30405 108 232 0 39356 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 158364 [startup+1790.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1789.44 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33464 0 0 0 178774 170 0 0 25 0 1 0 205279755 162164736 30410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30410 108 232 0 39356 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 158364 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1790.45 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33466 0 0 0 178875 170 0 0 25 0 1 0 205279755 162164736 30412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30412 108 232 0 39356 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 158364 [startup+1792.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1791.45 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33467 0 0 0 178975 170 0 0 25 0 1 0 205279755 162164736 30413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30413 108 232 0 39356 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 158364 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1792.45 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33468 0 0 0 179075 170 0 0 25 0 1 0 205279755 162164736 30414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30414 108 232 0 39356 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 158364 [startup+1794.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1793.46 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33470 0 0 0 179176 170 0 0 25 0 1 0 205279755 162164736 30416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30416 108 232 0 39356 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 158364 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1794.46 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33470 0 0 0 179276 170 0 0 25 0 1 0 205279755 162164736 30416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549471 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30416 108 232 0 39356 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 158364 [startup+1796.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511488/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1795.47 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33471 0 0 0 179377 170 0 0 25 0 1 0 205279755 162164736 30417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30417 108 232 0 39356 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 158364 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1796.47 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33481 0 0 0 179477 170 0 0 25 0 1 0 205279755 162164736 30427 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30427 108 232 0 39356 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 158364 [startup+1798.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1797.48 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33482 0 0 0 179578 170 0 0 25 0 1 0 205279755 162164736 30428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30428 108 232 0 39356 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 158364 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1798.48 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33484 0 0 0 179678 170 0 0 25 0 1 0 205279755 162164736 30430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30430 108 232 0 39356 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 158364 [startup+1800.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511424/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1799.48 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33490 0 0 0 179778 170 0 0 25 0 1 0 205279755 162164736 30436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30436 108 232 0 39356 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 158364 [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511360/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1800.5 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33492 0 0 0 179879 171 0 0 25 0 1 0 205279755 162164736 30438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30438 108 232 0 39356 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 158364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 11031 /proc/meminfo: memFree=1511360/2055920 swapFree=4180872/4192956 [pid=10836] ppid=10834 vsize=158364 CPUtime=1800.5 /proc/10836/stat : 10836 (PBS4L) R 10834 10836 10790 0 -1 4194304 33492 0 0 0 179879 171 0 0 25 0 1 0 205279755 162164736 30438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/10836/statm: 39591 30438 108 232 0 39356 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 158364 Sending SIGTERM to -10836 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.53 CPU user time (s): 1798.79 CPU system time (s): 1.73174 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (Kb): 158364 The end
Begin job on node54 on Sun Jun 4 04:42:03 UTC 2006 FILE ID= 41667-1149396122 PBS_JOBID= 313687 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41667-1149396122/instance-41667-1149396122.opb 294995627 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-41667-1149396122 -o ROOT/results/node54/solver-41667-1149396122 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/41667-1149396122/instance-41667-1149396122.opb 294995627 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 77b4ba393aa7b9b6b0fcb1b4220a12a4 RANDOM SEED= 294995627 /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 : 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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1633352 kB Buffers: 32216 kB Cached: 317724 kB SwapCached: 3864 kB Active: 92736 kB Inactive: 265984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633352 kB SwapTotal: 4192956 kB SwapFree: 4180872 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14920 kB Slab: 49880 kB Committed_AS: 388836 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node54 on Sun Jun 4 05:12:04 UTC 2006