Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.45 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb |
MD5SUM | a9ac890c0275c87cfec4e71469cd990a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1028 |
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 | 1028 |
Optimality of the best value was proved | NO |
Number of variables | 1964 |
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 | 1964 |
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 | 1964 |
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 | 1964 |
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/node3/41656-1149393192/instance-41656-1149393192.opb ...... 0.07 c done parsing opb. 0.07 o 1805 0.09 o 1804 0.10 o 1544 0.12 o 1543 11.02 o 1306 11.04 o 1305 11.05 o 1304 11.06 o 1303 11.07 o 1302 11.08 o 1301 11.09 o 1300 11.10 o 1299 11.11 o 1298 11.12 o 1297 11.13 o 1296 11.15 o 1295 11.16 o 1294 11.17 o 1293 11.18 o 1292 11.19 o 1291 11.20 o 1290 11.21 o 1289 11.22 o 1288 11.23 o 1287 11.24 o 1286 11.26 o 1285 11.27 o 1284 11.28 o 1283 11.29 o 1282 11.30 o 1281 11.31 o 1280 11.32 o 1279 11.33 o 1278 11.34 o 1277 11.35 o 1276 11.37 o 1275 11.38 o 1274 11.39 o 1273 11.40 o 1272 11.41 o 1271 11.42 o 1270 11.43 o 1269 11.44 o 1268 11.45 o 1267 11.46 o 1266 11.47 o 1265 11.48 o 1264 11.50 o 1263 11.51 o 1262 11.52 o 1261 11.53 o 1260 11.54 o 1259 11.55 o 1258 11.56 o 1257 11.57 o 1256 11.58 o 1255 11.59 o 1254 11.60 o 1253 11.61 o 1252 11.62 o 1251 11.64 o 1250 11.65 o 1249 11.66 o 1248 11.67 o 1247 11.68 o 1246 11.69 o 1245 11.70 o 1244 11.71 o 1243 11.72 o 1242 11.73 o 1241 11.74 o 1240 11.75 o 1239 11.76 o 1238 11.77 o 1237 11.78 o 1236 11.79 o 1235 11.80 o 1234 11.81 o 1233 11.82 o 1232 11.84 o 1231 11.85 o 1230 11.86 o 1229 11.87 o 1228 11.88 o 1227 11.89 o 1226 11.90 o 1213 13.24 o 1212 13.25 o 1211 13.26 o 1210 13.27 o 1209 13.28 o 1208 13.29 o 1207 13.30 o 1206 13.32 o 1205 13.33 o 1204 13.34 o 1203 13.35 o 1202 13.36 o 1201 13.37 o 1200 13.38 o 1199 13.39 o 1198 13.41 o 1197 13.42 o 1196 13.43 o 1195 13.65 o 1194 18.47 o 1193 24.26 o 1192 140.99 o 1191 153.09 o 1190 158.88 o 1189 185.40 o 1188 229.05 o 1187 254.71 o 1186
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/node3/watcher-41656-1149393192 -o ROOT/results/node3/solver-41656-1149393192 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41656-1149393192/instance-41656-1149393192.opb 278443732 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1462176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=1588 CPUtime=0 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 208 0 0 0 0 0 0 0 18 0 1 0 204980881 1626112 192 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 397 192 97 232 0 162 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1382304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=133380 CPUtime=9.99 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 20120 0 0 0 990 9 0 0 25 0 1 0 204980881 136581120 20047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 33345 20047 108 232 0 33110 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133380 [startup+20.0073 s] /proc/loadavg: 0.94 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1354528/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=133940 CPUtime=20 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 27056 0 0 0 1979 21 0 0 25 0 1 0 204980881 137154560 26983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 33485 26983 108 232 0 33250 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 133940 [startup+30.0129 s] /proc/loadavg: 0.95 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1350368/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=134080 CPUtime=29.99 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28097 0 0 0 2978 21 0 0 25 0 1 0 204980881 137297920 28024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 33520 28024 108 232 0 33285 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134080 [startup+40.0185 s] /proc/loadavg: 0.95 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1349984/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=134860 CPUtime=40 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28306 0 0 0 3972 28 0 0 25 0 1 0 204980881 138096640 28136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546344 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 33715 28136 108 232 0 33480 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 134860 [startup+50.0242 s] /proc/loadavg: 0.96 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1349728/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=135004 CPUtime=50 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28368 0 0 0 4968 32 0 0 25 0 1 0 204980881 138244096 28198 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612792 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 33751 28198 108 232 0 33516 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135004 [startup+60.0308 s] /proc/loadavg: 0.97 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1349472/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=135164 CPUtime=60.01 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28431 0 0 0 5963 38 0 0 25 0 1 0 204980881 138407936 28261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 33791 28261 108 232 0 33556 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 135164 [startup+70.0374 s] /proc/loadavg: 0.97 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1349152/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136052 CPUtime=70 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28687 0 0 0 6958 42 0 0 25 0 1 0 204980881 139317248 28324 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34013 28324 108 232 0 33778 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 136052 [startup+80.044 s] /proc/loadavg: 0.98 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1349024/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136052 CPUtime=80.01 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28740 0 0 0 7955 46 0 0 25 0 1 0 204980881 139317248 28377 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34013 28377 108 232 0 33778 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136052 [startup+90.0497 s] /proc/loadavg: 0.98 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1348832/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136180 CPUtime=90.01 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28801 0 0 0 8949 52 0 0 25 0 1 0 204980881 139448320 28438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564468 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34045 28438 108 232 0 33810 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 136180 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1348576/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136324 CPUtime=100.01 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28859 0 0 0 9944 57 0 0 25 0 1 0 204980881 139595776 28496 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34081 28496 108 232 0 33846 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 136324 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1348320/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136488 CPUtime=110.02 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28915 0 0 0 10940 62 0 0 25 0 1 0 204980881 139763712 28552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549056 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34122 28552 108 232 0 33887 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136488 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1348128/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136488 CPUtime=120.02 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 28967 0 0 0 11933 69 0 0 25 0 1 0 204980881 139763712 28604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34122 28604 108 232 0 33887 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136488 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1347936/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=136676 CPUtime=130.02 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29019 0 0 0 12929 73 0 0 25 0 1 0 204980881 139956224 28656 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34169 28656 108 232 0 33934 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 136676 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1347680/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=138340 CPUtime=140.02 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29456 0 0 0 13928 74 0 0 25 0 1 0 204980881 141660160 28708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549276 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34585 28708 108 232 0 34350 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 138340 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1347424/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=138592 CPUtime=150.03 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29526 0 0 0 14928 75 0 0 25 0 1 0 204980881 141918208 28778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549450 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34648 28778 108 232 0 34413 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 138592 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1347168/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=138708 CPUtime=160.03 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29575 0 0 0 15927 76 0 0 25 0 1 0 204980881 142036992 28827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34677 28827 108 232 0 34442 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 138708 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1347040/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=138844 CPUtime=170.03 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29619 0 0 0 16927 76 0 0 25 0 1 0 204980881 142176256 28871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34711 28871 108 232 0 34476 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 138844 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1346784/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=138960 CPUtime=180.04 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29676 0 0 0 17927 77 0 0 25 0 1 0 204980881 142295040 28928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34740 28928 108 232 0 34505 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 138960 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1346592/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=139104 CPUtime=190.04 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29718 0 0 0 18927 77 0 0 25 0 1 0 204980881 142442496 28970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34776 28970 108 232 0 34541 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 139104 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1346464/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=139236 CPUtime=200.04 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 29765 0 0 0 19926 78 0 0 25 0 1 0 204980881 142577664 29017 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 34809 29017 108 232 0 34574 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 139236 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.99 2/64 2646 /proc/meminfo: memFree=1346272/2055920 swapFree=4181424/4192956 ################ # More data... # ################ /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37012 0 0 0 177928 205 0 0 25 0 1 0 204980881 162349056 33958 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33958 108 232 0 39401 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 158544 [startup+1783.04 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326368/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1782.33 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37017 0 0 0 178028 205 0 0 25 0 1 0 204980881 162349056 33963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546058 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33963 108 232 0 39401 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 158544 [startup+1784.04 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326368/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1783.34 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37019 0 0 0 178128 206 0 0 25 0 1 0 204980881 162349056 33965 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33965 108 232 0 39401 0 Current children cumulated CPU time (s) 1783.34 Current children cumulated vsize (Kb) 158544 [startup+1785.05 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1784.35 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37020 0 0 0 178229 206 0 0 25 0 1 0 204980881 162349056 33966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33966 108 232 0 39401 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 158544 [startup+1786.05 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1785.35 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37025 0 0 0 178329 206 0 0 25 0 1 0 204980881 162349056 33971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33971 108 232 0 39401 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (Kb) 158544 [startup+1787.06 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1786.35 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37027 0 0 0 178429 206 0 0 25 0 1 0 204980881 162349056 33973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33973 108 232 0 39401 0 Current children cumulated CPU time (s) 1786.35 Current children cumulated vsize (Kb) 158544 [startup+1788.06 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1787.36 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37028 0 0 0 178530 206 0 0 25 0 1 0 204980881 162349056 33974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33974 108 232 0 39401 0 Current children cumulated CPU time (s) 1787.36 Current children cumulated vsize (Kb) 158544 [startup+1789.07 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1788.36 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37029 0 0 0 178630 206 0 0 25 0 1 0 204980881 162349056 33975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33975 108 232 0 39401 0 Current children cumulated CPU time (s) 1788.36 Current children cumulated vsize (Kb) 158544 [startup+1790.07 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326304/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1789.37 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37034 0 0 0 178731 206 0 0 25 0 1 0 204980881 162349056 33980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33980 108 232 0 39401 0 Current children cumulated CPU time (s) 1789.37 Current children cumulated vsize (Kb) 158544 [startup+1791.08 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326240/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1790.37 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37036 0 0 0 178831 206 0 0 25 0 1 0 204980881 162349056 33982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33982 108 232 0 39401 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (Kb) 158544 [startup+1792.08 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326240/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1791.38 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37037 0 0 0 178932 206 0 0 25 0 1 0 204980881 162349056 33983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33983 108 232 0 39401 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 158544 [startup+1793.09 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326240/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1792.38 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37043 0 0 0 179032 206 0 0 25 0 1 0 204980881 162349056 33989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33989 108 232 0 39401 0 Current children cumulated CPU time (s) 1792.38 Current children cumulated vsize (Kb) 158544 [startup+1794.09 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326240/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1793.38 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37045 0 0 0 179132 206 0 0 25 0 1 0 204980881 162349056 33991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33991 108 232 0 39401 0 Current children cumulated CPU time (s) 1793.38 Current children cumulated vsize (Kb) 158544 [startup+1795.1 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326240/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1794.39 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37046 0 0 0 179233 206 0 0 25 0 1 0 204980881 162349056 33992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33992 108 232 0 39401 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (Kb) 158544 [startup+1796.1 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1795.39 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37051 0 0 0 179333 206 0 0 25 0 1 0 204980881 162349056 33997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564517 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33997 108 232 0 39401 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 158544 [startup+1797.11 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1796.4 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37053 0 0 0 179434 206 0 0 25 0 1 0 204980881 162349056 33999 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 33999 108 232 0 39401 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 158544 [startup+1798.11 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1797.4 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37054 0 0 0 179534 206 0 0 25 0 1 0 204980881 162349056 34000 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 34000 108 232 0 39401 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 158544 [startup+1799.12 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1798.41 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37059 0 0 0 179635 206 0 0 25 0 1 0 204980881 162349056 34005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 34005 108 232 0 39401 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 158544 [startup+1800.12 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1799.42 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37060 0 0 0 179735 207 0 0 25 0 1 0 204980881 162349056 34006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 34006 108 232 0 39401 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (Kb) 158544 [startup+1801.13 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1800.42 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37062 0 0 0 179835 207 0 0 25 0 1 0 204980881 162349056 34008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 34008 108 232 0 39401 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 158544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.01 0.99 0.99 2/64 2841 /proc/meminfo: memFree=1326176/2055920 swapFree=4181424/4192956 [pid=2646] ppid=2644 vsize=158544 CPUtime=1800.42 /proc/2646/stat : 2646 (PBS4L) R 2644 2646 2600 0 -1 4194304 37062 0 0 0 179835 207 0 0 25 0 1 0 204980881 162349056 34008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/2646/statm: 39636 34008 108 232 0 39401 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 158544 Sending SIGTERM to -2646 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.45 CPU user time (s): 1798.36 CPU system time (s): 2.09368 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (Kb): 158544 The end
Begin job on node3 on Sun Jun 4 03:53:12 UTC 2006 FILE ID= 41656-1149393192 PBS_JOBID= 313543 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41656-1149393192/instance-41656-1149393192.opb 278443732 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-41656-1149393192 -o ROOT/results/node3/solver-41656-1149393192 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41656-1149393192/instance-41656-1149393192.opb 278443732 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= a9ac890c0275c87cfec4e71469cd990a RANDOM SEED= 278443732 /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.261 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.261 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: 1462384 kB Buffers: 24232 kB Cached: 497788 kB SwapCached: 3416 kB Active: 92392 kB Inactive: 438552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1462384 kB SwapTotal: 4192956 kB SwapFree: 4181424 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14932 kB Slab: 48664 kB Committed_AS: 349468 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 node3 on Sun Jun 4 04:23:13 UTC 2006