Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.62 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb |
MD5SUM | 4609670c187ed2b426f26d3b2e2df0b2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1034 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1034 |
Optimality of the best value was proved | NO |
Number of variables | 1965 |
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 | 1965 |
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 | 1965 |
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 | 1965 |
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/node43/41668-1149396616/instance-41668-1149396616.opb ...... 0.07 c done parsing opb. 0.07 o 1825 0.09 o 1824 0.10 o 1562 0.12 o 1561 11.04 o 1303 11.05 o 1302 11.06 o 1301 11.07 o 1300 11.08 o 1299 11.09 o 1298 11.11 o 1297 11.12 o 1296 11.13 o 1295 11.14 o 1294 11.15 o 1293 11.16 o 1292 11.17 o 1291 11.18 o 1290 11.19 o 1289 11.20 o 1288 11.22 o 1287 11.23 o 1286 11.24 o 1285 11.25 o 1284 11.26 o 1283 11.27 o 1282 11.28 o 1281 11.29 o 1280 11.30 o 1279 11.31 o 1278 11.32 o 1277 11.34 o 1276 11.35 o 1275 11.36 o 1274 11.37 o 1273 11.38 o 1272 11.39 o 1271 11.40 o 1270 11.41 o 1269 11.42 o 1268 11.43 o 1267 11.44 o 1266 11.45 o 1265 11.47 o 1264 11.48 o 1263 11.49 o 1262 11.50 o 1261 11.51 o 1260 11.52 o 1259 11.53 o 1258 11.54 o 1257 11.55 o 1256 11.56 o 1255 11.57 o 1254 11.58 o 1253 11.59 o 1252 11.60 o 1251 11.61 o 1250 11.63 o 1249 11.64 o 1248 11.65 o 1247 11.66 o 1246 11.67 o 1245 11.68 o 1244 11.69 o 1243 11.70 o 1242 11.71 o 1241 11.72 o 1240 11.73 o 1239 11.74 o 1238 11.75 o 1237 11.76 o 1236 11.77 o 1235 11.78 o 1234 11.79 o 1233 11.80 o 1232 11.81 o 1231 11.82 o 1230 11.83 o 1229 11.85 o 1228 11.86 o 1227 11.87 o 1226 11.88 o 1225 11.89 o 1216 15.45 o 1215 17.45 o 1214 20.02 o 1213 22.92 o 1212 24.84 o 1211 27.74 o 1210 34.14 o 1209 98.33 o 1208 100.42 o 1207 103.68 o 1206 105.90 o 1205 108.41 o 1204
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/node43/watcher-41668-1149396616 -o ROOT/results/node43/solver-41668-1149396616 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41668-1149396616/instance-41668-1149396616.opb 948766042 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1649464/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=1588 CPUtime=0 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 205328395 1626112 190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 397 190 97 232 0 162 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1568840/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=133360 CPUtime=9.99 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 20317 0 0 0 990 9 0 0 25 0 1 0 205328395 136560640 20244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 33340 20244 108 232 0 33105 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133360 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1556296/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=133892 CPUtime=20 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 23445 0 0 0 1984 16 0 0 25 0 1 0 205328395 137105408 23372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 33473 23372 108 232 0 33238 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 133892 [startup+30.0151 s] /proc/loadavg: 0.95 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1555784/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=134668 CPUtime=30 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 23632 0 0 0 2980 20 0 0 25 0 1 0 205328395 137900032 23462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 33667 23462 108 232 0 33432 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 134668 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1555528/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=134956 CPUtime=40 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 23732 0 0 0 3977 23 0 0 25 0 1 0 205328395 138194944 23562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 33739 23562 108 232 0 33504 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 134956 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1555208/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=135200 CPUtime=50.01 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 23806 0 0 0 4976 25 0 0 25 0 1 0 205328395 138444800 23636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 33800 23636 108 232 0 33565 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 135200 [startup+60.0317 s] /proc/loadavg: 0.97 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1554952/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=135316 CPUtime=60.01 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 23862 0 0 0 5974 27 0 0 25 0 1 0 205328395 138563584 23692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585690 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 33829 23692 108 232 0 33594 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 135316 [startup+70.0376 s] /proc/loadavg: 0.97 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1554568/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136084 CPUtime=70.01 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24106 0 0 0 6972 29 0 0 25 0 1 0 205328395 139350016 23743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549031 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34021 23743 108 232 0 33786 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 136084 [startup+80.0435 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1554568/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136324 CPUtime=80.01 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24158 0 0 0 7971 30 0 0 25 0 1 0 205328395 139595776 23795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34081 23795 108 232 0 33846 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136324 [startup+90.0493 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1554312/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136324 CPUtime=90.02 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24210 0 0 0 8970 32 0 0 25 0 1 0 205328395 139595776 23847 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594212 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34081 23847 108 232 0 33846 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 136324 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1554120/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136464 CPUtime=100.02 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24253 0 0 0 9969 33 0 0 25 0 1 0 205328395 139739136 23890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34116 23890 108 232 0 33881 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 136464 [startup+110.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1553992/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136604 CPUtime=110.02 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24306 0 0 0 10969 33 0 0 25 0 1 0 205328395 139882496 23943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549084 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34151 23943 108 232 0 33916 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136604 [startup+120.066 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1553736/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136776 CPUtime=120.02 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24373 0 0 0 11968 34 0 0 25 0 1 0 205328395 140058624 24010 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34194 24010 108 232 0 33959 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136776 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1553480/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=136896 CPUtime=130.03 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24431 0 0 0 12967 36 0 0 25 0 1 0 205328395 140181504 24068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34224 24068 108 232 0 33989 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 136896 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1553224/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=137092 CPUtime=140.03 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24486 0 0 0 13966 37 0 0 25 0 1 0 205328395 140382208 24123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34273 24123 108 232 0 34038 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 137092 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1553032/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=137092 CPUtime=150.03 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24537 0 0 0 14964 39 0 0 25 0 1 0 205328395 140382208 24174 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549223 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34273 24174 108 232 0 34038 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 137092 [startup+160.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1552776/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=138836 CPUtime=160.03 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 24977 0 0 0 15962 41 0 0 25 0 1 0 205328395 142168064 24229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549031 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34709 24229 108 232 0 34474 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 138836 [startup+170.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1552584/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=138836 CPUtime=170.04 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 25028 0 0 0 16962 42 0 0 25 0 1 0 205328395 142168064 24280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34709 24280 108 232 0 34474 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 138836 [startup+180.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1552392/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=139068 CPUtime=180.04 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 25078 0 0 0 17960 44 0 0 25 0 1 0 205328395 142405632 24330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34767 24330 108 232 0 34532 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 139068 [startup+190.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1552136/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=139196 CPUtime=190.05 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 25132 0 0 0 18960 45 0 0 25 0 1 0 205328395 142536704 24384 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34799 24384 108 232 0 34564 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 139196 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1551944/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=139332 CPUtime=200.05 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 25181 0 0 0 19959 46 0 0 25 0 1 0 205328395 142675968 24433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 34833 24433 108 232 0 34598 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 139332 [startup+210.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 17243 /proc/meminfo: memFree=1551752/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36204 0 0 0 177937 213 0 0 25 0 1 0 205328395 176873472 30077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550034 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30077 108 232 0 42947 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 172728 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1529032/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1782.51 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36205 0 0 0 178038 213 0 0 25 0 1 0 205328395 176873472 30078 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612576 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30078 108 232 0 42947 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 172728 [startup+1784.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1529032/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1783.51 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36207 0 0 0 178138 213 0 0 25 0 1 0 205328395 176873472 30080 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30080 108 232 0 42947 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 172728 [startup+1785.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528968/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1784.51 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36212 0 0 0 178238 213 0 0 25 0 1 0 205328395 176873472 30085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30085 108 232 0 42947 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 172728 [startup+1786.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528968/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1785.52 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36213 0 0 0 178339 213 0 0 25 0 1 0 205328395 176873472 30086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30086 108 232 0 42947 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 172728 [startup+1787.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528968/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1786.52 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36215 0 0 0 178439 213 0 0 25 0 1 0 205328395 176873472 30088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30088 108 232 0 42947 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 172728 [startup+1788.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528968/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1787.53 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36220 0 0 0 178540 213 0 0 25 0 1 0 205328395 176873472 30093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30093 108 232 0 42947 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 172728 [startup+1789.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528968/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1788.53 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36222 0 0 0 178640 213 0 0 25 0 1 0 205328395 176873472 30095 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30095 108 232 0 42947 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 172728 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528904/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1789.54 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36223 0 0 0 178741 213 0 0 25 0 1 0 205328395 176873472 30096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30096 108 232 0 42947 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 172728 [startup+1791.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528904/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1790.54 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36230 0 0 0 178841 213 0 0 25 0 1 0 205328395 176873472 30103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30103 108 232 0 42947 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 172728 [startup+1792.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528904/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1791.54 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36231 0 0 0 178941 213 0 0 25 0 1 0 205328395 176873472 30104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30104 108 232 0 42947 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 172728 [startup+1793.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528904/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1792.55 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36232 0 0 0 179042 213 0 0 25 0 1 0 205328395 176873472 30105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30105 108 232 0 42947 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 172728 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528904/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1793.55 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36238 0 0 0 179142 213 0 0 25 0 1 0 205328395 176873472 30111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30111 108 232 0 42947 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 172728 [startup+1795.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528840/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1794.56 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36239 0 0 0 179242 214 0 0 25 0 1 0 205328395 176873472 30112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30112 108 232 0 42947 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 172728 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528840/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1795.57 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36241 0 0 0 179343 214 0 0 25 0 1 0 205328395 176873472 30114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30114 108 232 0 42947 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 172728 [startup+1797.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528840/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1796.57 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36246 0 0 0 179443 214 0 0 25 0 1 0 205328395 176873472 30119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30119 108 232 0 42947 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 172728 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528840/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1797.57 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36247 0 0 0 179543 214 0 0 25 0 1 0 205328395 176873472 30120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30120 108 232 0 42947 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 172728 [startup+1799.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528840/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1798.58 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36249 0 0 0 179644 214 0 0 25 0 1 0 205328395 176873472 30122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30122 108 232 0 42947 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 172728 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528776/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1799.58 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36254 0 0 0 179744 214 0 0 25 0 1 0 205328395 176873472 30127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30127 108 232 0 42947 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (Kb) 172728 [startup+1801.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528776/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1800.59 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36256 0 0 0 179845 214 0 0 25 0 1 0 205328395 176873472 30129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30129 108 232 0 42947 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 172728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17438 /proc/meminfo: memFree=1528776/2055920 swapFree=4180880/4192956 [pid=17243] ppid=17241 vsize=172728 CPUtime=1800.59 /proc/17243/stat : 17243 (PBS4L) R 17241 17243 17197 0 -1 4194304 36256 0 0 0 179845 214 0 0 25 0 1 0 205328395 176873472 30129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/17243/statm: 43182 30129 108 232 0 42947 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 172728 Sending SIGTERM to -17243 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.62 CPU user time (s): 1798.46 CPU system time (s): 2.16567 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (Kb): 172728 The end
Begin job on node43 on Sun Jun 4 04:50:16 UTC 2006 FILE ID= 41668-1149396616 PBS_JOBID= 313705 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41668-1149396616/instance-41668-1149396616.opb 948766042 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-41668-1149396616 -o ROOT/results/node43/solver-41668-1149396616 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41668-1149396616/instance-41668-1149396616.opb 948766042 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 4609670c187ed2b426f26d3b2e2df0b2 RANDOM SEED= 948766042 /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.216 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.216 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: 1649736 kB Buffers: 28408 kB Cached: 316356 kB SwapCached: 3804 kB Active: 120408 kB Inactive: 233100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1649736 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14932 kB Slab: 38764 kB Committed_AS: 372060 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Sun Jun 4 05:20:18 UTC 2006