Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.63 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d1.opb |
MD5SUM | 6b951c6d49e982acf32855913d424a2d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 945 |
Best CPU time to get the best result obtained on this benchmark | 1782.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 945 |
Optimality of the best value was proved | NO |
Number of variables | 2460 |
Total number of constraints | 17131 |
Number of constraints which are clauses | 17131 |
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 | 16 |
Number of terms in the objective function | 2460 |
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 | 2460 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2460 |
Number of bits of the biggest sum of numbers | 12 |
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/node81/41802-1149417377/instance-41802-1149417377.opb ...... 0.32 c done parsing opb. 0.32 o 1230 0.34 o 1229 0.41 o 1228 0.47 o 1226 0.50 o 1225 0.57 o 1224 0.73 o 1223 0.77 o 1219 0.85 o 1218 1.97 o 1217 2.10 o 1216 2.39 o 1215 3.71 o 1214 3.84 o 1213 3.87 o 1209 3.91 o 1208 5.12 o 1207 5.22 o 1206 5.45 o 1205 7.66 o 1204 8.24 o 1203 9.66 o 1198 9.83 o 1197 13.88 o 1196 17.34 o 1195 18.41 o 1194 21.88 o 1193 22.84 o 1192 24.99 o 1191 28.74 o 1190 29.91 o 1189 32.53 o 1188 35.13 o 1187 36.77 o 1186 41.10 o 1185 43.52 o 1184 44.37 o 1183 45.14 o 1182 49.87 o 1181 50.07 o 1180 50.37 o 1179 166.03 o 1178 658.36 o 1177 705.21 o 1176 776.65 o 1175 789.31 o 1174 800.56 o 1173 903.60 o 1172 1002.48 o 1171 1133.62 o 1170 1301.90 o 1169 1483.03 o 1168 1519.84 o 1167 1646.47 o 1166
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/node81/watcher-41802-1149417377 -o ROOT/results/node81/solver-41802-1149417377 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41802-1149417377/instance-41802-1149417377.opb 915081762 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.98 0.99 3/68 11956 /proc/meminfo: memFree=1169688/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=1368 CPUtime=0 /proc/11956/stat : 11956 (PBS4L) D 11954 11956 11910 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 207377169 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/11956/statm: 342 95 84 232 0 107 0 [startup+10.002 s] /proc/loadavg: 0.94 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1128296/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=69232 CPUtime=9.99 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 10608 0 0 0 994 5 0 0 25 0 1 0 207377169 70893568 10432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552771 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 17308 10432 108 232 0 17073 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 69232 [startup+20.0081 s] /proc/loadavg: 0.95 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1121064/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=69892 CPUtime=19.99 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 12451 0 0 0 1992 7 0 0 25 0 1 0 207377169 71569408 12275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 17473 12275 108 232 0 17238 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 69892 [startup+30.0142 s] /proc/loadavg: 0.95 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1120360/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=71200 CPUtime=29.99 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 12826 0 0 0 2991 8 0 0 25 0 1 0 207377169 72908800 12457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 17800 12457 108 232 0 17565 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 71200 [startup+40.0203 s] /proc/loadavg: 0.96 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1104872/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=71592 CPUtime=40 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 16689 0 0 0 3988 12 0 0 25 0 1 0 207377169 73310208 16320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 17898 16320 108 232 0 17663 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 71592 [startup+50.0264 s] /proc/loadavg: 0.97 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1099304/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=71900 CPUtime=50 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18084 0 0 0 4985 15 0 0 25 0 1 0 207377169 73625600 17715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 17975 17715 108 232 0 17740 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 71900 [startup+60.0325 s] /proc/loadavg: 0.97 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1098984/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=72156 CPUtime=60 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18170 0 0 0 5984 16 0 0 25 0 1 0 207377169 73887744 17801 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18039 17801 108 232 0 17804 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 72156 [startup+70.0386 s] /proc/loadavg: 0.98 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1098856/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=72272 CPUtime=70.01 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18216 0 0 0 6983 18 0 0 25 0 1 0 207377169 74006528 17847 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18068 17847 108 232 0 17833 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 72272 [startup+80.0447 s] /proc/loadavg: 0.98 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1098664/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=72388 CPUtime=80.02 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18261 0 0 0 7982 20 0 0 25 0 1 0 207377169 74125312 17892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18097 17892 108 232 0 17862 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 72388 [startup+90.0508 s] /proc/loadavg: 0.98 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1098408/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=72520 CPUtime=90.02 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18315 0 0 0 8979 23 0 0 25 0 1 0 207377169 74260480 17946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18130 17946 108 232 0 17895 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 72520 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1098280/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=72640 CPUtime=100.02 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18353 0 0 0 9979 23 0 0 25 0 1 0 207377169 74383360 17984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18160 17984 108 232 0 17925 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 72640 [startup+110.063 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1098088/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=72772 CPUtime=110.02 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18392 0 0 0 10978 24 0 0 25 0 1 0 207377169 74518528 18023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18193 18023 108 232 0 17958 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 72772 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097704/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74428 CPUtime=120.02 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18826 0 0 0 11976 26 0 0 25 0 1 0 207377169 76214272 18072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18607 18072 108 232 0 18372 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 74428 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097768/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74544 CPUtime=130.03 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18876 0 0 0 12974 29 0 0 25 0 1 0 207377169 76333056 18122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18636 18122 108 232 0 18401 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 74544 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097640/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74544 CPUtime=140.03 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18890 0 0 0 13974 29 0 0 25 0 1 0 207377169 76333056 18136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563428 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18636 18136 108 232 0 18401 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 74544 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097640/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74544 CPUtime=150.04 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18901 0 0 0 14974 30 0 0 25 0 1 0 207377169 76333056 18147 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18636 18147 108 232 0 18401 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 74544 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097448/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74736 CPUtime=160.04 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18935 0 0 0 15973 31 0 0 25 0 1 0 207377169 76529664 18181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18684 18181 108 232 0 18449 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 74736 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097320/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74736 CPUtime=170.05 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 18965 0 0 0 16973 32 0 0 25 0 1 0 207377169 76529664 18211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18684 18211 108 232 0 18449 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 74736 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11956 /proc/meminfo: memFree=1097128/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=74960 CPUtime=180.05 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 19020 0 0 0 17972 33 0 0 25 0 1 0 207377169 76759040 18266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18740 18266 108 232 0 18505 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 74960 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11957 /proc/meminfo: memFree=1096936/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=75088 CPUtime=190.05 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 19056 0 0 0 18970 35 0 0 25 0 1 0 207377169 76890112 18302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18772 18302 108 232 0 18537 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 75088 [startup+200.117 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11958 /proc/meminfo: memFree=1096744/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=75264 CPUtime=200.05 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 19109 0 0 0 19969 36 0 0 25 0 1 0 207377169 77070336 18355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 18816 18355 108 232 0 18581 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 75264 [startup+210.123 s] /proc/loadavg: 0.99 0.98 0.99 2/68 11958 /proc/meminfo: memFree=1096616/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26767 0 0 0 177980 171 0 0 25 0 1 0 207377169 98983936 23707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23707 108 232 0 23931 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 96664 [startup+1783.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1782.51 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26768 0 0 0 178080 171 0 0 25 0 1 0 207377169 98983936 23708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23708 108 232 0 23931 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 96664 [startup+1784.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1783.52 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26769 0 0 0 178181 171 0 0 25 0 1 0 207377169 98983936 23709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23709 108 232 0 23931 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 96664 [startup+1785.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1784.52 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26770 0 0 0 178281 171 0 0 25 0 1 0 207377169 98983936 23710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23710 108 232 0 23931 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 96664 [startup+1786.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1785.52 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26771 0 0 0 178381 171 0 0 25 0 1 0 207377169 98983936 23711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23711 108 232 0 23931 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 96664 [startup+1787.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075176/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1786.53 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26772 0 0 0 178482 171 0 0 25 0 1 0 207377169 98983936 23712 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23712 108 232 0 23931 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 96664 [startup+1788.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1787.54 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26781 0 0 0 178582 172 0 0 25 0 1 0 207377169 98983936 23721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134635044 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23721 108 232 0 23931 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 96664 [startup+1789.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1788.54 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26782 0 0 0 178682 172 0 0 25 0 1 0 207377169 98983936 23722 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23722 108 232 0 23931 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 96664 [startup+1790.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1789.55 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26785 0 0 0 178783 172 0 0 25 0 1 0 207377169 98983936 23725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23725 108 232 0 23931 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 96664 [startup+1791.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1790.55 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26786 0 0 0 178883 172 0 0 25 0 1 0 207377169 98983936 23726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23726 108 232 0 23931 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 96664 [startup+1792.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075112/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1791.56 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26787 0 0 0 178984 172 0 0 25 0 1 0 207377169 98983936 23727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23727 108 232 0 23931 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 96664 [startup+1793.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1792.56 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26788 0 0 0 179084 172 0 0 25 0 1 0 207377169 98983936 23728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23728 108 232 0 23931 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 96664 [startup+1794.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1793.57 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26790 0 0 0 179185 172 0 0 25 0 1 0 207377169 98983936 23730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23730 108 232 0 23931 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 96664 [startup+1795.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1794.57 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26796 0 0 0 179285 172 0 0 25 0 1 0 207377169 98983936 23736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23736 108 232 0 23931 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 96664 [startup+1796.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1795.57 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26797 0 0 0 179385 172 0 0 25 0 1 0 207377169 98983936 23737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23737 108 232 0 23931 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 96664 [startup+1797.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1075048/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1796.58 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26799 0 0 0 179486 172 0 0 25 0 1 0 207377169 98983936 23739 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23739 108 232 0 23931 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 96664 [startup+1798.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1797.58 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26804 0 0 0 179586 172 0 0 25 0 1 0 207377169 98983936 23744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23744 108 232 0 23931 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 96664 [startup+1799.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1798.58 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26805 0 0 0 179686 172 0 0 25 0 1 0 207377169 98983936 23745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23745 108 232 0 23931 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (Kb) 96664 [startup+1800.17 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1799.59 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26807 0 0 0 179787 172 0 0 25 0 1 0 207377169 98983936 23747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23747 108 232 0 23931 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 96664 [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1800.59 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26808 0 0 0 179887 172 0 0 25 0 1 0 207377169 98983936 23748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23748 108 232 0 23931 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (Kb) 96664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.98 0.99 2/68 12153 /proc/meminfo: memFree=1074984/2055892 swapFree=4085344/4096564 [pid=11956] ppid=11954 vsize=96664 CPUtime=1800.6 /proc/11956/stat : 11956 (PBS4L) R 11954 11956 11910 0 -1 4194304 26808 0 0 0 179888 172 0 0 25 0 1 0 207377169 98983936 23748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11956/statm: 24166 23748 108 232 0 23931 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 96664 Sending SIGTERM to -11956 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.63 CPU user time (s): 1798.88 CPU system time (s): 1.74273 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (Kb): 96664 The end
Begin job on node81 on Sun Jun 4 10:36:17 UTC 2006 FILE ID= 41802-1149417377 PBS_JOBID= 315442 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41802-1149417377/instance-41802-1149417377.opb 915081762 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-41802-1149417377 -o ROOT/results/node81/solver-41802-1149417377 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41802-1149417377/instance-41802-1149417377.opb 915081762 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6b951c6d49e982acf32855913d424a2d RANDOM SEED= 915081762 /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.248 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 : 6006.19 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.248 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1169896 kB Buffers: 39492 kB Cached: 767520 kB SwapCached: 2732 kB Active: 124456 kB Inactive: 691536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1169896 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 148 kB Writeback: 0 kB Mapped: 16580 kB Slab: 56592 kB Committed_AS: 358580 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Sun Jun 4 11:06:18 UTC 2006