Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.72 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb |
MD5SUM | 363fb8dacb34b0fd2f0470bc356b38da |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1036 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1036 |
Optimality of the best value was proved | NO |
Number of variables | 1957 |
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 | 1957 |
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 | 1957 |
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 | 1957 |
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/node69/41659-1149393873/instance-41659-1149393873.opb ...... 0.07 c done parsing opb. 0.07 o 1808 0.09 o 1807 0.10 o 1327 10.69 o 1326 10.70 o 1325 10.71 o 1324 10.72 o 1323 10.73 o 1322 10.74 o 1321 10.75 o 1320 10.77 o 1319 10.78 o 1318 10.79 o 1317 10.80 o 1316 10.81 o 1315 10.82 o 1314 10.83 o 1313 10.85 o 1312 10.86 o 1311 10.87 o 1310 10.88 o 1309 10.89 o 1308 10.90 o 1307 10.91 o 1306 10.93 o 1305 10.94 o 1304 10.95 o 1303 10.96 o 1302 10.97 o 1301 10.98 o 1300 10.99 o 1299 11.00 o 1298 11.02 o 1297 11.03 o 1296 11.04 o 1295 11.05 o 1294 11.06 o 1293 11.07 o 1292 11.08 o 1291 11.09 o 1290 11.11 o 1289 11.12 o 1288 11.13 o 1287 11.14 o 1286 11.15 o 1285 11.16 o 1284 11.17 o 1283 11.18 o 1282 11.20 o 1281 11.21 o 1280 11.22 o 1279 11.23 o 1278 11.24 o 1277 11.25 o 1276 11.26 o 1275 11.27 o 1274 11.28 o 1273 11.30 o 1272 11.31 o 1271 11.32 o 1270 11.33 o 1269 11.34 o 1268 11.35 o 1267 11.36 o 1266 11.37 o 1265 11.38 o 1264 11.39 o 1263 11.40 o 1262 11.42 o 1261 11.43 o 1260 11.44 o 1259 11.45 o 1258 11.46 o 1257 11.47 o 1256 11.48 o 1255 11.49 o 1254 11.50 o 1253 11.51 o 1252 11.52 o 1251 11.53 o 1250 11.55 o 1249 11.56 o 1248 11.57 o 1214 11.86 o 1213 15.67 o 1212 17.20 o 1211 21.56 o 1210 23.12 o 1209 27.60 o 1208 30.19 o 1207 35.04 o 1206 37.57 o 1205 41.71 o 1204 44.32 o 1203 48.88 o 1202 52.35 o 1201 56.72 o 1200 60.16 o 1199 65.51 o 1198 68.98 o 1197 73.75 o 1196
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/node69/watcher-41659-1149393873 -o ROOT/results/node69/solver-41659-1149393873 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node69/41659-1149393873/instance-41659-1149393873.opb 743480027 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 32513 /proc/meminfo: memFree=1848228/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=1584 CPUtime=0 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 205057405 1622016 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 396 134 90 232 0 161 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1777716/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=133360 CPUtime=9.99 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 17783 0 0 0 991 8 0 0 25 0 1 0 205057405 136560640 17710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33340 17710 108 232 0 33105 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133360 [startup+20.0078 s] /proc/loadavg: 0.94 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1767924/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=133880 CPUtime=19.99 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20247 0 0 0 1983 16 0 0 25 0 1 0 205057405 137093120 20174 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33470 20174 108 232 0 33235 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 133880 [startup+30.0137 s] /proc/loadavg: 0.95 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1767604/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=134152 CPUtime=30 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20329 0 0 0 2981 19 0 0 25 0 1 0 205057405 137371648 20256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33538 20256 108 232 0 33303 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 134152 [startup+40.0195 s] /proc/loadavg: 0.96 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1767284/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=134796 CPUtime=40 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20496 0 0 0 3980 20 0 0 25 0 1 0 205057405 138031104 20326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33699 20326 108 232 0 33464 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 134796 [startup+50.0264 s] /proc/loadavg: 0.96 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1767156/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=135056 CPUtime=50 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20552 0 0 0 4979 21 0 0 25 0 1 0 205057405 138297344 20382 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33764 20382 108 232 0 33529 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135056 [startup+60.0312 s] /proc/loadavg: 0.97 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1767028/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=135056 CPUtime=60 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20587 0 0 0 5977 23 0 0 25 0 1 0 205057405 138297344 20417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33764 20417 108 232 0 33529 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135056 [startup+70.0371 s] /proc/loadavg: 0.97 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1766772/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=135336 CPUtime=70.01 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20644 0 0 0 6973 28 0 0 25 0 1 0 205057405 138584064 20474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33834 20474 108 232 0 33599 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 135336 [startup+80.0429 s] /proc/loadavg: 0.98 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1766580/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=135464 CPUtime=80.01 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20690 0 0 0 7968 33 0 0 25 0 1 0 205057405 138715136 20520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33866 20520 108 232 0 33631 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 135464 [startup+90.0488 s] /proc/loadavg: 0.98 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1766388/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=135624 CPUtime=90.01 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 20757 0 0 0 8966 35 0 0 25 0 1 0 205057405 138878976 20587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563509 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 33906 20587 108 232 0 33671 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 135624 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765940/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=136528 CPUtime=100.02 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21002 0 0 0 9966 36 0 0 25 0 1 0 205057405 139804672 20639 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34132 20639 108 232 0 33897 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 136528 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765940/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=136660 CPUtime=110.02 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21052 0 0 0 10965 37 0 0 25 0 1 0 205057405 139939840 20689 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34165 20689 108 232 0 33930 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136660 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765748/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=136660 CPUtime=120.02 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21097 0 0 0 11964 38 0 0 25 0 1 0 205057405 139939840 20734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34165 20734 108 232 0 33930 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136660 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765556/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=136804 CPUtime=130.03 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21139 0 0 0 12964 39 0 0 25 0 1 0 205057405 140087296 20776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34201 20776 108 232 0 33966 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 136804 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765364/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=136956 CPUtime=140.03 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21183 0 0 0 13962 41 0 0 25 0 1 0 205057405 140242944 20820 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34239 20820 108 232 0 34004 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 136956 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765236/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=136956 CPUtime=150.03 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21225 0 0 0 14961 42 0 0 25 0 1 0 205057405 140242944 20862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34239 20862 108 232 0 34004 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 136956 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1765044/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=137128 CPUtime=160.04 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21267 0 0 0 15961 43 0 0 25 0 1 0 205057405 140419072 20904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34282 20904 108 232 0 34047 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 137128 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1764852/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=137128 CPUtime=170.04 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21317 0 0 0 16959 45 0 0 25 0 1 0 205057405 140419072 20954 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34282 20954 108 232 0 34047 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 137128 [startup+180.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1764660/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=137324 CPUtime=180.05 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21356 0 0 0 17959 46 0 0 25 0 1 0 205057405 140619776 20993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34331 20993 108 232 0 34096 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 137324 [startup+190.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1764340/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=138860 CPUtime=190.05 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21786 0 0 0 18957 48 0 0 25 0 1 0 205057405 142192640 21038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34715 21038 108 232 0 34480 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 138860 [startup+200.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1764276/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=138860 CPUtime=200.06 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 21827 0 0 0 19957 49 0 0 25 0 1 0 205057405 142192640 21079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549486 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 34715 21079 108 232 0 34480 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 138860 [startup+210.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 32513 /proc/meminfo: memFree=1764212/2055920 swapFree=4182176/4192956 ################ # More data... # ################ /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32987 0 0 0 177952 208 0 0 25 0 1 0 205057405 176304128 26860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26860 108 232 0 42808 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 172172 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740916/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1782.6 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32988 0 0 0 178052 208 0 0 25 0 1 0 205057405 176304128 26861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26861 108 232 0 42808 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 172172 [startup+1784.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1783.61 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32994 0 0 0 178153 208 0 0 25 0 1 0 205057405 176304128 26867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26867 108 232 0 42808 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 172172 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1784.61 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 32995 0 0 0 178253 208 0 0 25 0 1 0 205057405 176304128 26868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546253 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26868 108 232 0 42808 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 172172 [startup+1786.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1785.62 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33001 0 0 0 178354 208 0 0 25 0 1 0 205057405 176304128 26874 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549262 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26874 108 232 0 42808 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 172172 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1786.62 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33002 0 0 0 178454 208 0 0 25 0 1 0 205057405 176304128 26875 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26875 108 232 0 42808 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 172172 [startup+1788.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740852/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1787.62 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33003 0 0 0 178554 208 0 0 25 0 1 0 205057405 176304128 26876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549084 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26876 108 232 0 42808 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 172172 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1788.63 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33009 0 0 0 178655 208 0 0 25 0 1 0 205057405 176304128 26882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26882 108 232 0 42808 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 172172 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1789.63 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33010 0 0 0 178755 208 0 0 25 0 1 0 205057405 176304128 26883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26883 108 232 0 42808 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 172172 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1790.64 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33012 0 0 0 178856 208 0 0 25 0 1 0 205057405 176304128 26885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26885 108 232 0 42808 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 172172 [startup+1792.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1791.65 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33017 0 0 0 178956 209 0 0 25 0 1 0 205057405 176304128 26890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26890 108 232 0 42808 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 172172 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1792.65 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33019 0 0 0 179056 209 0 0 25 0 1 0 205057405 176304128 26892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26892 108 232 0 42808 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 172172 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740788/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1793.66 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33020 0 0 0 179157 209 0 0 25 0 1 0 205057405 176304128 26893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26893 108 232 0 42808 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 172172 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1794.66 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33026 0 0 0 179257 209 0 0 25 0 1 0 205057405 176304128 26899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26899 108 232 0 42808 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 172172 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1795.66 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33028 0 0 0 179357 209 0 0 25 0 1 0 205057405 176304128 26901 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26901 108 232 0 42808 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (Kb) 172172 [startup+1797.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1796.67 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33030 0 0 0 179458 209 0 0 25 0 1 0 205057405 176304128 26903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26903 108 232 0 42808 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 172172 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1797.67 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33035 0 0 0 179558 209 0 0 25 0 1 0 205057405 176304128 26908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26908 108 232 0 42808 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 172172 [startup+1799.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740724/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1798.67 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33036 0 0 0 179658 209 0 0 25 0 1 0 205057405 176304128 26909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26909 108 232 0 42808 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 172172 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740660/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1799.68 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33038 0 0 0 179759 209 0 0 25 0 1 0 205057405 176304128 26911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551473 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26911 108 232 0 42808 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 172172 [startup+1801.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740660/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1800.69 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33043 0 0 0 179859 210 0 0 25 0 1 0 205057405 176304128 26916 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26916 108 232 0 42808 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 172172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 32515 /proc/meminfo: memFree=1740660/2055920 swapFree=4182176/4192956 [pid=32513] ppid=32511 vsize=172172 CPUtime=1800.7 /proc/32513/stat : 32513 (PBS4L) R 32511 32513 32467 0 -1 4194304 33043 0 0 0 179860 210 0 0 25 0 1 0 205057405 176304128 26916 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/32513/statm: 43043 26916 108 232 0 42808 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 172172 Sending SIGTERM to -32513 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.72 CPU user time (s): 1798.6 CPU system time (s): 2.11968 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (Kb): 172172 The end
Begin job on node69 on Sun Jun 4 04:04:34 UTC 2006 FILE ID= 41659-1149393873 PBS_JOBID= 313581 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node69/41659-1149393873/instance-41659-1149393873.opb 743480027 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-41659-1149393873 -o ROOT/results/node69/solver-41659-1149393873 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node69/41659-1149393873/instance-41659-1149393873.opb 743480027 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 363fb8dacb34b0fd2f0470bc356b38da RANDOM SEED= 743480027 /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.232 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.232 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: 1848500 kB Buffers: 14264 kB Cached: 128312 kB SwapCached: 2264 kB Active: 24680 kB Inactive: 126396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848500 kB SwapTotal: 4192956 kB SwapFree: 4182176 kB Dirty: 180 kB Writeback: 0 kB Mapped: 15240 kB Slab: 42356 kB Committed_AS: 412988 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Sun Jun 4 04:34:35 UTC 2006