Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.68 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb |
MD5SUM | eb191f4787a2203be4bff8f6c7c8f66d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1037 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1037 |
Optimality of the best value was proved | NO |
Number of variables | 1961 |
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 | 1961 |
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 | 1961 |
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 | 1961 |
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/node16/41662-1149394958/instance-41662-1149394958.opb ...... 0.07 c done parsing opb. 0.07 o 1826 0.09 o 1825 0.10 o 1567 0.12 o 1566 11.29 o 1311 11.30 o 1310 11.31 o 1309 11.32 o 1308 11.33 o 1307 11.34 o 1306 11.35 o 1305 11.36 o 1304 11.37 o 1303 11.38 o 1302 11.39 o 1301 11.41 o 1300 11.42 o 1299 11.43 o 1298 11.44 o 1297 11.45 o 1296 11.46 o 1295 11.47 o 1294 11.48 o 1293 11.49 o 1292 11.50 o 1291 11.51 o 1290 11.52 o 1289 11.53 o 1288 11.55 o 1287 11.56 o 1286 11.57 o 1285 11.58 o 1284 11.59 o 1283 11.60 o 1282 11.61 o 1281 11.62 o 1280 11.63 o 1279 11.64 o 1278 11.65 o 1277 11.66 o 1276 11.67 o 1275 11.69 o 1274 11.70 o 1273 11.71 o 1272 11.72 o 1271 11.73 o 1270 11.74 o 1269 11.75 o 1268 11.76 o 1267 11.77 o 1266 11.78 o 1265 11.79 o 1264 11.80 o 1263 11.81 o 1262 11.82 o 1261 11.83 o 1260 11.84 o 1259 11.86 o 1258 11.87 o 1257 11.88 o 1256 11.89 o 1255 11.90 o 1217 12.17 o 1216 14.13 o 1215 17.01 o 1214 23.07 o 1213 29.26 o 1212 88.91 o 1211 95.08 o 1210 100.48 o 1209 107.68 o 1208 114.08 o 1207 126.91 o 1206 134.07 o 1205 141.22 o 1204 149.11 o 1203 157.95 o 1202 171.17 o 1201 233.45 o 1200 267.98 o 1199
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/node16/watcher-41662-1149394958 -o ROOT/results/node16/solver-41662-1149394958 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41662-1149394958/instance-41662-1149394958.opb 508455503 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1221936/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=1716 CPUtime=0 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 210 0 0 0 0 0 0 0 19 0 1 0 205158617 1757184 194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134539007 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 429 195 97 232 0 194 0 [startup+10.0009 s] /proc/loadavg: 0.93 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1143232/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=133352 CPUtime=9.99 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 19864 0 0 0 990 9 0 0 25 0 1 0 205158617 136552448 19791 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134562028 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 33338 19791 108 232 0 33103 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133352 [startup+20.0053 s] /proc/loadavg: 0.94 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1109184/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=134000 CPUtime=19.99 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 28366 0 0 0 1981 18 0 0 25 0 1 0 205158617 137216000 28293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 33500 28293 108 232 0 33265 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 134000 [startup+30.0097 s] /proc/loadavg: 0.95 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1101184/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=134780 CPUtime=29.99 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30431 0 0 0 2975 24 0 0 25 0 1 0 205158617 138014720 30261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549432 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 33695 30261 108 232 0 33460 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134780 [startup+40.0131 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1100736/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=135176 CPUtime=40 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30577 0 0 0 3974 26 0 0 25 0 1 0 205158617 138420224 30407 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856979 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 33794 30407 108 232 0 33559 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 135176 [startup+50.0176 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1100416/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=135432 CPUtime=50 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30647 0 0 0 4973 27 0 0 25 0 1 0 205158617 138682368 30477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 33858 30477 108 232 0 33623 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135432 [startup+60.022 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1100032/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=136368 CPUtime=60 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30903 0 0 0 5972 28 0 0 25 0 1 0 205158617 139640832 30540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34092 30540 108 232 0 33857 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 136368 [startup+70.0264 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1100032/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=136368 CPUtime=70.01 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 30964 0 0 0 6970 31 0 0 25 0 1 0 205158617 139640832 30601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34092 30601 108 232 0 33857 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 136368 [startup+80.0309 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1099776/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=136496 CPUtime=80.01 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31028 0 0 0 7969 32 0 0 25 0 1 0 205158617 139771904 30665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34124 30665 108 232 0 33889 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136496 [startup+90.0353 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1099520/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=136640 CPUtime=90.02 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31078 0 0 0 8968 34 0 0 25 0 1 0 205158617 139919360 30715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34160 30715 108 232 0 33925 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 136640 [startup+100.039 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1099264/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=136764 CPUtime=100.01 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31145 0 0 0 9967 34 0 0 25 0 1 0 205158617 140046336 30782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34191 30782 108 232 0 33956 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 136764 [startup+110.043 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1099008/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=136948 CPUtime=110.02 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31212 0 0 0 10967 35 0 0 25 0 1 0 205158617 140234752 30849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551326 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34237 30849 108 232 0 34002 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136948 [startup+120.048 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1098752/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=137148 CPUtime=120.02 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31271 0 0 0 11966 36 0 0 25 0 1 0 205158617 140439552 30908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34287 30908 108 232 0 34052 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 137148 [startup+130.052 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1098496/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=137356 CPUtime=130.03 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31332 0 0 0 12966 37 0 0 25 0 1 0 205158617 140652544 30969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34339 30969 108 232 0 34104 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 137356 [startup+140.056 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1098304/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=137520 CPUtime=140.03 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31376 0 0 0 13965 38 0 0 25 0 1 0 205158617 140820480 31013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549084 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34380 31013 108 232 0 34145 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 137520 [startup+150.061 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1098112/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=139240 CPUtime=150.03 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31812 0 0 0 14964 39 0 0 25 0 1 0 205158617 142581760 31064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549064 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34810 31064 108 232 0 34575 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 139240 [startup+160.064 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1097984/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=139240 CPUtime=160.04 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31846 0 0 0 15964 40 0 0 25 0 1 0 205158617 142581760 31098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34810 31098 108 232 0 34575 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 139240 [startup+170.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1097792/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=139444 CPUtime=170.04 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31888 0 0 0 16963 41 0 0 25 0 1 0 205158617 142790656 31140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564537 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34861 31140 108 232 0 34626 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 139444 [startup+180.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1097664/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=139444 CPUtime=180.04 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31924 0 0 0 17963 41 0 0 25 0 1 0 205158617 142790656 31176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34861 31176 108 232 0 34626 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 139444 [startup+190.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1097472/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=139644 CPUtime=190.05 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 31966 0 0 0 18962 43 0 0 25 0 1 0 205158617 142995456 31218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34911 31218 108 232 0 34676 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 139644 [startup+200.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1097280/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=139644 CPUtime=200.05 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 32010 0 0 0 19961 44 0 0 25 0 1 0 205158617 142995456 31262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564502 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 34911 31262 108 232 0 34676 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 139644 [startup+210.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8262 /proc/meminfo: memFree=1097152/2055920 swapFree=4181468/4192956 ################ # More data... # ################ /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39348 0 0 0 177979 176 0 0 25 0 1 0 205158617 162938880 36294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39780 36294 108 232 0 39545 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 159120 [startup+1782.78 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159120 CPUtime=1782.56 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39350 0 0 0 178080 176 0 0 25 0 1 0 205158617 162938880 36296 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39780 36296 108 232 0 39545 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 159120 [startup+1783.78 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159120 CPUtime=1783.56 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39351 0 0 0 178180 176 0 0 25 0 1 0 205158617 162938880 36297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39780 36297 108 232 0 39545 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 159120 [startup+1784.79 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159120 CPUtime=1784.56 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39356 0 0 0 178280 176 0 0 25 0 1 0 205158617 162938880 36302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39780 36302 108 232 0 39545 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 159120 [startup+1785.79 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159120 CPUtime=1785.57 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39358 0 0 0 178381 176 0 0 25 0 1 0 205158617 162938880 36304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39780 36304 108 232 0 39545 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 159120 [startup+1786.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159120 CPUtime=1786.57 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39359 0 0 0 178481 176 0 0 25 0 1 0 205158617 162938880 36305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39780 36305 108 232 0 39545 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 159120 [startup+1787.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076864/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1787.58 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39364 0 0 0 178582 176 0 0 25 0 1 0 205158617 163700736 36310 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36310 108 232 0 39731 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 159864 [startup+1788.81 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1788.58 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39366 0 0 0 178682 176 0 0 25 0 1 0 205158617 163700736 36312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36312 108 232 0 39731 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 159864 [startup+1789.81 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1789.59 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39367 0 0 0 178783 176 0 0 25 0 1 0 205158617 163700736 36313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36313 108 232 0 39731 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 159864 [startup+1790.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1790.59 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39372 0 0 0 178883 176 0 0 25 0 1 0 205158617 163700736 36318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36318 108 232 0 39731 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 159864 [startup+1791.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1791.59 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39374 0 0 0 178983 176 0 0 25 0 1 0 205158617 163700736 36320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36320 108 232 0 39731 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 159864 [startup+1792.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1792.61 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39375 0 0 0 179084 177 0 0 25 0 1 0 205158617 163700736 36321 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36321 108 232 0 39731 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 159864 [startup+1793.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076800/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1793.61 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39381 0 0 0 179184 177 0 0 25 0 1 0 205158617 163700736 36327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36327 108 232 0 39731 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 159864 [startup+1794.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1794.61 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39382 0 0 0 179284 177 0 0 25 0 1 0 205158617 163700736 36328 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36328 108 232 0 39731 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 159864 [startup+1795.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1795.62 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39383 0 0 0 179385 177 0 0 25 0 1 0 205158617 163700736 36329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36329 108 232 0 39731 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 159864 [startup+1796.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1796.62 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39389 0 0 0 179485 177 0 0 25 0 1 0 205158617 163700736 36335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36335 108 232 0 39731 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 159864 [startup+1797.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1797.62 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39391 0 0 0 179585 177 0 0 25 0 1 0 205158617 163700736 36337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36337 108 232 0 39731 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 159864 [startup+1798.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076736/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1798.63 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39392 0 0 0 179685 178 0 0 25 0 1 0 205158617 163700736 36338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549471 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36338 108 232 0 39731 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 159864 [startup+1799.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076672/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1799.64 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39397 0 0 0 179786 178 0 0 25 0 1 0 205158617 163700736 36343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36343 108 232 0 39731 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 159864 [startup+1800.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076672/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1800.64 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39399 0 0 0 179886 178 0 0 25 0 1 0 205158617 163700736 36345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36345 108 232 0 39731 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 159864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8264 /proc/meminfo: memFree=1076672/2055920 swapFree=4181468/4192956 [pid=8262] ppid=8260 vsize=159864 CPUtime=1800.64 /proc/8262/stat : 8262 (PBS4L) R 8260 8262 8216 0 -1 4194304 39399 0 0 0 179886 178 0 0 25 0 1 0 205158617 163700736 36345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/8262/statm: 39966 36345 108 232 0 39731 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 159864 Sending SIGTERM to -8262 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.9 CPU time (s): 1800.68 CPU user time (s): 1798.87 CPU system time (s): 1.80672 CPU usage (%): 99.9877 Max. virtual memory (cumulated for all children) (Kb): 159864 The end
Begin job on node16 on Sun Jun 4 04:22:38 UTC 2006 FILE ID= 41662-1149394958 PBS_JOBID= 313626 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41662-1149394958/instance-41662-1149394958.opb 508455503 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-41662-1149394958 -o ROOT/results/node16/solver-41662-1149394958 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node16/41662-1149394958/instance-41662-1149394958.opb 508455503 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= eb191f4787a2203be4bff8f6c7c8f66d RANDOM SEED= 508455503 /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.231 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.231 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: 1222208 kB Buffers: 30320 kB Cached: 726452 kB SwapCached: 3128 kB Active: 416128 kB Inactive: 349288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1222208 kB SwapTotal: 4192956 kB SwapFree: 4181468 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14732 kB Slab: 54332 kB Committed_AS: 320744 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Sun Jun 4 04:52:39 UTC 2006