Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.71 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb |
MD5SUM | e1d6958876c3f9359c6b5193f1345bd5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1038 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1038 |
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/node42/41665-1149395461/instance-41665-1149395461.opb ...... 0.07 c done parsing opb. 0.07 o 1820 0.09 o 1819 0.11 o 1818 0.12 o 1553 0.14 o 1552 0.16 o 1551 10.77 o 1325 10.78 o 1324 10.79 o 1323 10.80 o 1322 10.81 o 1321 10.82 o 1320 10.83 o 1319 10.84 o 1318 10.85 o 1317 10.87 o 1316 10.88 o 1315 10.89 o 1314 10.90 o 1313 10.91 o 1312 10.92 o 1311 10.93 o 1310 10.94 o 1309 10.95 o 1308 10.96 o 1307 10.98 o 1306 10.99 o 1305 11.00 o 1304 11.01 o 1303 11.02 o 1302 11.03 o 1301 11.04 o 1300 11.05 o 1299 11.06 o 1298 11.07 o 1297 11.09 o 1296 11.10 o 1295 11.11 o 1294 11.12 o 1293 11.13 o 1292 11.14 o 1291 11.15 o 1290 11.16 o 1289 11.17 o 1288 11.18 o 1287 11.19 o 1286 11.21 o 1285 11.22 o 1284 11.23 o 1283 11.24 o 1282 11.25 o 1281 11.26 o 1280 11.27 o 1279 11.28 o 1278 11.29 o 1277 11.30 o 1276 11.31 o 1275 11.32 o 1274 11.34 o 1273 11.35 o 1272 11.36 o 1271 11.37 o 1270 11.38 o 1269 11.39 o 1268 11.40 o 1267 11.41 o 1266 11.42 o 1265 11.43 o 1264 11.44 o 1263 11.45 o 1262 11.46 o 1261 11.47 o 1260 11.49 o 1259 11.50 o 1258 11.51 o 1257 11.52 o 1256 11.53 o 1255 11.54 o 1254 11.55 o 1253 11.56 o 1252 11.57 o 1251 11.58 o 1250 11.59 o 1249 11.60 o 1248 11.61 o 1247 11.62 o 1246 11.63 o 1245 11.64 o 1231 12.93 o 1230 12.95 o 1229 12.96 o 1228 12.97 o 1227 12.98 o 1226 12.99 o 1225 13.00 o 1224 13.02 o 1223 13.03 o 1222 13.04 o 1221 13.05 o 1220 13.06 o 1219 13.07 o 1218 13.09 o 1217 13.10 o 1216 13.11 o 1215 13.12 o 1214 13.13 o 1213 13.14 o 1212 13.15 o 1211 13.17 o 1210 13.18 o 1209 13.19 o 1208 13.20 o 1207 13.21 o 1206 13.22 o 1205 13.23 o 1204 13.25 o 1203 13.26 o 1202 13.27 o 1201 13.28 o 1200 13.29 o 1199 13.30 o 1198 13.31 o 1197 13.33 o 1196 13.34 o 1195 13.35 o 1194 13.36 o 1193 13.37 o 1192 13.38 o 1191 13.39 o 1190 13.40 o 1189 13.42 o 1188 13.43 o 1187 13.44 o 1186 13.45 o 1185 13.46 o 1184 13.47 o 1183 13.48 o 1182 39.66 o 1181
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/node42/watcher-41665-1149395461 -o ROOT/results/node42/solver-41665-1149395461 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41665-1149395461/instance-41665-1149395461.opb 752792449 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1440760/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=1588 CPUtime=0 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 160 0 0 0 0 0 0 0 18 0 1 0 205213223 1626112 144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 397 146 90 232 0 162 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1358800/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=133368 CPUtime=9.99 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 20634 0 0 0 991 8 0 0 25 0 1 0 205213223 136568832 20561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33342 20561 108 232 0 33107 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133368 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1335632/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=133780 CPUtime=19.99 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26402 0 0 0 1975 24 0 0 25 0 1 0 205213223 136990720 26329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33445 26329 108 232 0 33210 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 133780 [startup+30.015 s] /proc/loadavg: 0.95 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1335504/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=134036 CPUtime=30 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26461 0 0 0 2972 28 0 0 25 0 1 0 205213223 137252864 26388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33509 26388 108 232 0 33274 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 134036 [startup+40.0201 s] /proc/loadavg: 0.95 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1335248/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=134420 CPUtime=40 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26589 0 0 0 3967 33 0 0 25 0 1 0 205213223 137646080 26419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549471 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33605 26419 108 232 0 33370 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 134420 [startup+50.0263 s] /proc/loadavg: 0.96 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1335184/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=134684 CPUtime=50 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26637 0 0 0 4966 34 0 0 25 0 1 0 205213223 137916416 26467 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33671 26467 108 232 0 33436 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 134684 [startup+60.0324 s] /proc/loadavg: 0.97 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334928/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=134812 CPUtime=60 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26695 0 0 0 5966 34 0 0 25 0 1 0 205213223 138047488 26525 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33703 26525 108 232 0 33468 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 134812 [startup+70.0385 s] /proc/loadavg: 0.97 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334800/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=134812 CPUtime=70.01 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26722 0 0 0 6966 35 0 0 25 0 1 0 205213223 138047488 26552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33703 26552 108 232 0 33468 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 134812 [startup+80.0446 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334672/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=134944 CPUtime=80.02 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26750 0 0 0 7966 36 0 0 25 0 1 0 205213223 138182656 26580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33736 26580 108 232 0 33501 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 134944 [startup+90.0508 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334608/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=135088 CPUtime=90.02 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26775 0 0 0 8966 36 0 0 25 0 1 0 205213223 138330112 26605 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33772 26605 108 232 0 33537 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 135088 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334480/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=135088 CPUtime=100.02 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26795 0 0 0 9966 36 0 0 25 0 1 0 205213223 138330112 26625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33772 26625 108 232 0 33537 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 135088 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334480/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=135088 CPUtime=110.03 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26814 0 0 0 10966 37 0 0 25 0 1 0 205213223 138330112 26644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33772 26644 108 232 0 33537 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 135088 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334352/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=135088 CPUtime=120.02 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 26838 0 0 0 11964 38 0 0 25 0 1 0 205213223 138330112 26668 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 33772 26668 108 232 0 33537 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 135088 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334096/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136016 CPUtime=130.03 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27054 0 0 0 12964 39 0 0 25 0 1 0 205213223 139280384 26691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563476 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34004 26691 108 232 0 33769 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 136016 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334096/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136016 CPUtime=140.03 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27071 0 0 0 13964 39 0 0 25 0 1 0 205213223 139280384 26708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552093 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34004 26708 108 232 0 33769 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 136016 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334096/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136016 CPUtime=150.04 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27092 0 0 0 14964 40 0 0 25 0 1 0 205213223 139280384 26729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34004 26729 108 232 0 33769 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 136016 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1334032/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136140 CPUtime=160.04 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27114 0 0 0 15963 41 0 0 25 0 1 0 205213223 139407360 26751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34035 26751 108 232 0 33800 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 136140 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1333904/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136140 CPUtime=170.04 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27137 0 0 0 16962 42 0 0 25 0 1 0 205213223 139407360 26774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34035 26774 108 232 0 33800 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 136140 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1333840/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136140 CPUtime=180.04 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27155 0 0 0 17962 42 0 0 25 0 1 0 205213223 139407360 26792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34035 26792 108 232 0 33800 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 136140 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1333776/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136276 CPUtime=190.05 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27174 0 0 0 18962 43 0 0 25 0 1 0 205213223 139546624 26811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34069 26811 108 232 0 33834 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 136276 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1333648/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=136276 CPUtime=200.05 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 27195 0 0 0 19962 43 0 0 25 0 1 0 205213223 139546624 26832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549462 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 34069 26832 108 232 0 33834 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 136276 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26233 /proc/meminfo: memFree=1333520/2055920 swapFree=4181444/4192956 ################ # More data... # ################ /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33210 0 0 0 178023 136 0 0 25 0 1 0 205213223 157413376 30156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38431 30156 108 232 0 38196 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 153724 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320080/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=153724 CPUtime=1782.6 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33216 0 0 0 178124 136 0 0 25 0 1 0 205213223 157413376 30162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38431 30162 108 232 0 38196 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 153724 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320080/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=153724 CPUtime=1783.6 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33217 0 0 0 178224 136 0 0 25 0 1 0 205213223 157413376 30163 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38431 30163 108 232 0 38196 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 153724 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320080/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=153724 CPUtime=1784.61 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33218 0 0 0 178325 136 0 0 25 0 1 0 205213223 157413376 30164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38431 30164 108 232 0 38196 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 153724 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1785.61 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33224 0 0 0 178425 136 0 0 25 0 1 0 205213223 157917184 30170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30170 108 232 0 38319 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 154216 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1786.61 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33225 0 0 0 178525 136 0 0 25 0 1 0 205213223 157917184 30171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30171 108 232 0 38319 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 154216 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1787.62 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33226 0 0 0 178626 136 0 0 25 0 1 0 205213223 157917184 30172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30172 108 232 0 38319 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 154216 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1788.62 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33226 0 0 0 178726 136 0 0 25 0 1 0 205213223 157917184 30172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549183 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30172 108 232 0 38319 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 154216 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1789.63 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33227 0 0 0 178827 136 0 0 25 0 1 0 205213223 157917184 30173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563498 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30173 108 232 0 38319 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 154216 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1790.64 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33232 0 0 0 178927 137 0 0 25 0 1 0 205213223 157917184 30178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30178 108 232 0 38319 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 154216 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1791.64 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33233 0 0 0 179027 137 0 0 25 0 1 0 205213223 157917184 30179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30179 108 232 0 38319 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 154216 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1319952/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1792.65 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33235 0 0 0 179128 137 0 0 25 0 1 0 205213223 157917184 30181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30181 108 232 0 38319 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 154216 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1793.65 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33239 0 0 0 179228 137 0 0 25 0 1 0 205213223 157917184 30185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856436 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30185 108 232 0 38319 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 154216 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1794.65 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33241 0 0 0 179328 137 0 0 25 0 1 0 205213223 157917184 30187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549297 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30187 108 232 0 38319 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 154216 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1795.66 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33241 0 0 0 179429 137 0 0 25 0 1 0 205213223 157917184 30187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30187 108 232 0 38319 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 154216 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1796.66 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33242 0 0 0 179529 137 0 0 25 0 1 0 205213223 157917184 30188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30188 108 232 0 38319 0 Current children cumulated CPU time (s) 1796.66 Current children cumulated vsize (Kb) 154216 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1797.67 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33243 0 0 0 179630 137 0 0 25 0 1 0 205213223 157917184 30189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549279 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30189 108 232 0 38319 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 154216 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 26235 /proc/meminfo: memFree=1320016/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1798.67 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33244 0 0 0 179730 137 0 0 25 0 1 0 205213223 157917184 30190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30190 108 232 0 38319 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 154216 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.99 2/70 26258 /proc/meminfo: memFree=1318752/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1799.67 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33249 0 0 0 179830 137 0 0 25 0 1 0 205213223 157917184 30195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30195 108 232 0 38319 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 154216 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.99 2/70 26258 /proc/meminfo: memFree=1318752/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1800.67 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33250 0 0 0 179930 137 0 0 25 0 1 0 205213223 157917184 30196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30196 108 232 0 38319 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 154216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.99 2/70 26258 /proc/meminfo: memFree=1318752/2055920 swapFree=4181444/4192956 [pid=26233] ppid=26231 vsize=154216 CPUtime=1800.68 /proc/26233/stat : 26233 (PBS4L) R 26231 26233 26187 0 -1 4194304 33250 0 0 0 179931 137 0 0 25 0 1 0 205213223 157917184 30196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26233/statm: 38554 30196 108 232 0 38319 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 154216 Sending SIGTERM to -26233 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.71 CPU user time (s): 1799.31 CPU system time (s): 1.39879 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (Kb): 154216 The end
Begin job on node42 on Sun Jun 4 04:31:01 UTC 2006 FILE ID= 41665-1149395461 PBS_JOBID= 313657 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41665-1149395461/instance-41665-1149395461.opb 752792449 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-41665-1149395461 -o ROOT/results/node42/solver-41665-1149395461 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41665-1149395461/instance-41665-1149395461.opb 752792449 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= e1d6958876c3f9359c6b5193f1345bd5 RANDOM SEED= 752792449 /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: 1440968 kB Buffers: 23628 kB Cached: 519880 kB SwapCached: 3212 kB Active: 93780 kB Inactive: 458416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1440968 kB SwapTotal: 4192956 kB SwapFree: 4181444 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14932 kB Slab: 48780 kB Committed_AS: 368080 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node42 on Sun Jun 4 05:01:03 UTC 2006