Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.64 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb |
MD5SUM | e19b588c94d7a5fd177e87fa7a6307a3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1033 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1033 |
Optimality of the best value was proved | NO |
Number of variables | 1960 |
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 | 1960 |
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 | 1960 |
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 | 1960 |
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/node14/41657-1149393241/instance-41657-1149393241.opb ...... 0.07 c done parsing opb. 0.07 o 1802 0.09 o 1801 0.11 o 1538 0.12 o 1537 11.37 o 1309 11.38 o 1308 11.39 o 1307 11.41 o 1306 11.42 o 1305 11.43 o 1304 11.44 o 1303 11.45 o 1302 11.46 o 1301 11.47 o 1300 11.48 o 1299 11.50 o 1298 11.51 o 1297 11.52 o 1296 11.53 o 1295 11.54 o 1294 11.55 o 1293 11.56 o 1292 11.57 o 1291 11.58 o 1290 11.60 o 1289 11.61 o 1288 11.62 o 1287 11.63 o 1286 11.64 o 1285 11.65 o 1284 11.66 o 1283 11.67 o 1282 11.68 o 1281 11.70 o 1280 11.71 o 1279 11.72 o 1278 11.73 o 1277 11.74 o 1276 11.75 o 1275 11.76 o 1274 11.77 o 1273 11.78 o 1272 11.80 o 1271 11.81 o 1270 11.82 o 1269 11.83 o 1268 11.84 o 1267 11.85 o 1266 11.86 o 1265 11.87 o 1264 11.88 o 1263 11.89 o 1262 11.91 o 1261 11.92 o 1260 11.93 o 1259 11.94 o 1258 11.95 o 1257 11.96 o 1256 11.97 o 1255 11.98 o 1254 11.99 o 1253 12.00 o 1252 12.01 o 1251 12.03 o 1250 12.04 o 1249 12.05 o 1248 12.06 o 1247 12.07 o 1246 12.08 o 1245 12.09 o 1244 12.10 o 1243 12.11 o 1242 12.12 o 1241 12.13 o 1240 12.14 o 1239 12.16 o 1238 12.17 o 1237 12.18 o 1236 12.19 o 1235 12.20 o 1234 12.21 o 1233 12.22 o 1232 12.23 o 1231 12.24 o 1201 12.44 o 1200 14.99 o 1199 19.32 o 1198 20.16 o 1197 24.47 o 1196 209.17 o 1195 236.67 o 1194 245.73 o 1193 263.00 o 1192 271.28 o 1191 281.87 o 1190 293.96 o 1189 328.50 o 1188 741.26 o 1187 775.60 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/node14/watcher-41657-1149393241 -o ROOT/results/node14/solver-41657-1149393241 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41657-1149393241/instance-41657-1149393241.opb 240876067 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1645344/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=1368 CPUtime=0 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 108 0 0 0 0 0 0 0 19 0 1 0 204986788 1400832 92 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135095683 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 342 95 84 232 0 107 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1568000/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=133376 CPUtime=9.99 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 19490 0 0 0 992 7 0 0 25 0 1 0 204986788 136577024 19417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33344 19417 108 232 0 33109 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133376 [startup+20.0079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1540608/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=133784 CPUtime=19.99 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26313 0 0 0 1982 17 0 0 25 0 1 0 204986788 136994816 26240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33446 26240 108 232 0 33211 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 133784 [startup+30.0139 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1540160/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=134168 CPUtime=29.99 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26440 0 0 0 2975 24 0 0 25 0 1 0 204986788 137388032 26367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33542 26367 108 232 0 33307 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134168 [startup+40.0188 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1539840/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=134820 CPUtime=39.99 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26627 0 0 0 3969 30 0 0 25 0 1 0 204986788 138055680 26457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33705 26457 108 232 0 33470 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 134820 [startup+50.0248 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1539584/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=134960 CPUtime=50 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26690 0 0 0 4962 38 0 0 25 0 1 0 204986788 138199040 26520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33740 26520 108 232 0 33505 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 134960 [startup+60.0307 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1539392/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=135104 CPUtime=60 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 26747 0 0 0 5956 44 0 0 25 0 1 0 204986788 138346496 26577 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33776 26577 108 232 0 33541 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135104 [startup+70.0367 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1539136/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=135984 CPUtime=70.01 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27003 0 0 0 6949 52 0 0 25 0 1 0 204986788 139247616 26640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 33996 26640 108 232 0 33761 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 135984 [startup+80.0426 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1538880/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=136112 CPUtime=80.01 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27064 0 0 0 7940 61 0 0 25 0 1 0 204986788 139378688 26701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34028 26701 108 232 0 33793 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136112 [startup+90.0486 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1538624/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=136256 CPUtime=90.02 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27121 0 0 0 8935 67 0 0 25 0 1 0 204986788 139526144 26758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34064 26758 108 232 0 33829 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 136256 [startup+100.054 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1538496/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=136416 CPUtime=100.02 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27177 0 0 0 9927 75 0 0 25 0 1 0 204986788 139689984 26814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34104 26814 108 232 0 33869 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 136416 [startup+110.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1538240/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=136416 CPUtime=110.02 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27236 0 0 0 10920 82 0 0 25 0 1 0 204986788 139689984 26873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546257 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34104 26873 108 232 0 33869 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136416 [startup+120.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1537984/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=136600 CPUtime=120.02 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27293 0 0 0 11911 91 0 0 25 0 1 0 204986788 139878400 26930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552786 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34150 26930 108 232 0 33915 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136600 [startup+130.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1537600/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138136 CPUtime=130.03 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27735 0 0 0 12905 98 0 0 25 0 1 0 204986788 141451264 26987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34534 26987 108 232 0 34299 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 138136 [startup+140.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1537536/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138340 CPUtime=140.03 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27787 0 0 0 13898 105 0 0 25 0 1 0 204986788 141660160 27039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552342 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34585 27039 108 232 0 34350 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 138340 [startup+150.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1537344/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138456 CPUtime=150.04 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27841 0 0 0 14890 114 0 0 25 0 1 0 204986788 141778944 27093 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34614 27093 108 232 0 34379 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 138456 [startup+160.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1537088/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138576 CPUtime=160.04 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27897 0 0 0 15884 120 0 0 25 0 1 0 204986788 141901824 27149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34644 27149 108 232 0 34409 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 138576 [startup+170.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1536896/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138700 CPUtime=170.04 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27949 0 0 0 16877 127 0 0 25 0 1 0 204986788 142028800 27201 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549056 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34675 27201 108 232 0 34440 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 138700 [startup+180.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1536704/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138836 CPUtime=180.04 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 27999 0 0 0 17871 133 0 0 25 0 1 0 204986788 142168064 27251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34709 27251 108 232 0 34474 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 138836 [startup+190.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1536448/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138980 CPUtime=190.05 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 28053 0 0 0 18864 141 0 0 25 0 1 0 204986788 142315520 27305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34745 27305 108 232 0 34510 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 138980 [startup+200.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1536256/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=138980 CPUtime=200.05 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 28104 0 0 0 19858 147 0 0 25 0 1 0 204986788 142315520 27356 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 34745 27356 108 232 0 34510 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 138980 [startup+210.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10300 /proc/meminfo: memFree=1536064/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34570 0 0 0 177892 259 0 0 25 0 1 0 204986788 161759232 31516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31516 108 232 0 39257 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 157968 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1782.52 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34572 0 0 0 177993 259 0 0 25 0 1 0 204986788 161759232 31518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31518 108 232 0 39257 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 157968 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1783.52 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34573 0 0 0 178093 259 0 0 25 0 1 0 204986788 161759232 31519 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31519 108 232 0 39257 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 157968 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1784.53 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34575 0 0 0 178194 259 0 0 25 0 1 0 204986788 161759232 31521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563380 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31521 108 232 0 39257 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 157968 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1785.53 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34576 0 0 0 178294 259 0 0 25 0 1 0 204986788 161759232 31522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31522 108 232 0 39257 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 157968 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1786.53 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34576 0 0 0 178394 259 0 0 25 0 1 0 204986788 161759232 31522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31522 108 232 0 39257 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 157968 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1787.54 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34577 0 0 0 178495 259 0 0 25 0 1 0 204986788 161759232 31523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31523 108 232 0 39257 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 157968 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1788.54 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34578 0 0 0 178595 259 0 0 25 0 1 0 204986788 161759232 31524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31524 108 232 0 39257 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 157968 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519296/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1789.55 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34578 0 0 0 178696 259 0 0 25 0 1 0 204986788 161759232 31524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31524 108 232 0 39257 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 157968 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1790.56 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34587 0 0 0 178796 260 0 0 25 0 1 0 204986788 161759232 31533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31533 108 232 0 39257 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 157968 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1791.56 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34589 0 0 0 178896 260 0 0 25 0 1 0 204986788 161759232 31535 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564517 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31535 108 232 0 39257 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 157968 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1792.57 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34591 0 0 0 178997 260 0 0 25 0 1 0 204986788 161759232 31537 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31537 108 232 0 39257 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 157968 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1793.57 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34592 0 0 0 179097 260 0 0 25 0 1 0 204986788 161759232 31538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31538 108 232 0 39257 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 157968 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1794.57 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34592 0 0 0 179197 260 0 0 25 0 1 0 204986788 161759232 31538 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31538 108 232 0 39257 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 157968 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1795.58 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34593 0 0 0 179298 260 0 0 25 0 1 0 204986788 161759232 31539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31539 108 232 0 39257 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 157968 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1796.58 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34594 0 0 0 179398 260 0 0 25 0 1 0 204986788 161759232 31540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31540 108 232 0 39257 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 157968 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519232/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1797.59 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34595 0 0 0 179499 260 0 0 25 0 1 0 204986788 161759232 31541 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560639 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31541 108 232 0 39257 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 157968 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1798.59 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34604 0 0 0 179599 260 0 0 25 0 1 0 204986788 161759232 31550 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31550 108 232 0 39257 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 157968 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1799.59 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34605 0 0 0 179699 260 0 0 25 0 1 0 204986788 161759232 31551 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31551 108 232 0 39257 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 157968 [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1800.6 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34607 0 0 0 179800 260 0 0 25 0 1 0 204986788 161759232 31553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31553 108 232 0 39257 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 157968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 10495 /proc/meminfo: memFree=1519168/2055920 swapFree=4181448/4192956 [pid=10300] ppid=10298 vsize=157968 CPUtime=1800.6 /proc/10300/stat : 10300 (PBS4L) R 10298 10300 10254 0 -1 4194304 34607 0 0 0 179800 260 0 0 25 0 1 0 204986788 161759232 31553 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134560704 0 0 4096 0 0 0 0 17 1 0 0 /proc/10300/statm: 39492 31553 108 232 0 39257 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 157968 Sending SIGTERM to -10300 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.64 CPU user time (s): 1798.01 CPU system time (s): 2.6296 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 157968 The end
Begin job on node14 on Sun Jun 4 03:54:01 UTC 2006 FILE ID= 41657-1149393241 PBS_JOBID= 313554 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41657-1149393241/instance-41657-1149393241.opb 240876067 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-41657-1149393241 -o ROOT/results/node14/solver-41657-1149393241 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41657-1149393241/instance-41657-1149393241.opb 240876067 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= e19b588c94d7a5fd177e87fa7a6307a3 RANDOM SEED= 240876067 /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.241 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.241 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: 1645488 kB Buffers: 23116 kB Cached: 321652 kB SwapCached: 3188 kB Active: 88040 kB Inactive: 265480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1645488 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14740 kB Slab: 42892 kB Committed_AS: 392308 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sun Jun 4 04:24:02 UTC 2006