Trace number 2655915

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4bWrong Opt.-20 180.735 180.783

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1790.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
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 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655915-1276504470.opb.
0.00/0.00	c Instance file HOME/instance-2655915-1276504470.opb
0.00/0.00	c File size is 2298943 bytes.
0.29/0.30	c Highest Coefficient sum: 3
0.29/0.30	c ============================[ Problem Statistics ]=============================
0.29/0.30	c |                                                                             |
0.29/0.30	c |  Parsing time:          0.30         s                                      |
0.29/0.30	c |  Number Variables:      1272                                                |
0.29/0.30	c |  Number Clauses:        94227                                               |
0.29/0.30	c |  Number Cardinality:    0                                                   |
0.29/0.30	c |  Number PB Constraints: 0                                                   |
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |    1272    94227   188454 |    31409        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 1272
0.49/0.56	o 1272
0.49/0.56	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 179.449 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |    1272    94228   189726 |    31409        0    nan |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: 1271
0.49/0.57	o 1271
0.49/0.57	c Elapsed CPU time: 0.557915 s	Remaining CPU time: 179.442 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         0 |    1272    94229   190998 |    31409        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: 1270
0.49/0.59	o 1270
0.49/0.59	c Elapsed CPU time: 0.577912 s	Remaining CPU time: 179.422 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |        15 |    1272    94230   192270 |    31410       15   1263 |  0.000 % |
0.59/0.66	c |       127 |    1272    94230   192270 |    34551      127   1262 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 1269
0.59/0.68	o 1269
0.59/0.68	c Elapsed CPU time: 0.665898 s	Remaining CPU time: 179.334 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |       135 |    1272    94231   193542 |    31410      135   1262 |  0.000 % |
0.70/0.72	c ===============================================================================
0.70/0.72	c New solution: 1268
0.70/0.72	o 1268
0.70/0.72	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 179.296 s
0.70/0.72	c ===============================================================================
0.70/0.72	c |       224 |    1272    94232   194814 |    31410      224   1263 |  0.000 % |
0.70/0.76	c |       324 |    1272    94232   194814 |    34551      324   1263 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: 1267
0.79/0.82	o 1267
0.79/0.82	c Elapsed CPU time: 0.804877 s	Remaining CPU time: 179.195 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |       446 |    1272    94233   196086 |    31411      446   1263 |  0.000 % |
0.79/0.87	c |       546 |    1272    94233   196086 |    34552      546   1263 |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: 1266
0.89/0.94	o 1266
0.89/0.94	c Elapsed CPU time: 0.91586 s	Remaining CPU time: 179.084 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |       690 |    1272    94234   197358 |    31411      690   1263 |  0.000 % |
0.89/0.99	c |       791 |    1272    94234   197358 |    34552      791   1263 |  0.000 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: 1265
1.00/1.04	o 1265
1.00/1.04	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 178.984 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |       892 |    1272    94235   198630 |    31411      892   1263 |  0.000 % |
1.00/1.09	c |       994 |    1272    94235   198630 |    34552      994   1262 |  0.000 % |
1.09/1.18	c ===============================================================================
1.09/1.18	c New solution: 1264
1.09/1.18	o 1264
1.09/1.18	c Elapsed CPU time: 1.14983 s	Remaining CPU time: 178.85 s
1.09/1.18	c ===============================================================================
1.09/1.18	c |      1131 |    1272    94236   199902 |    31412     1131   1262 |  0.000 % |
1.19/1.23	c |      1234 |    1272    94236   199902 |    34553     1234   1262 |  0.000 % |
1.29/1.33	c |      1386 |    1272    94236   199902 |    38008     1386   1261 |  0.000 % |
1.49/1.52	c |      1613 |    1272    94236   199902 |    41809     1613   1261 |  0.000 % |
1.59/1.64	c ===============================================================================
1.59/1.64	c New solution: 1263
1.59/1.64	o 1263
1.59/1.64	c Elapsed CPU time: 1.60376 s	Remaining CPU time: 178.396 s
1.59/1.64	c ===============================================================================
1.59/1.64	c |      1758 |    1272    94237   201174 |    31412     1758   1261 |  0.000 % |
1.69/1.70	c |      1860 |    1272    94237   201174 |    34553     1860   1261 |  0.000 % |
1.69/1.79	c |      2012 |    1272    94237   201174 |    38008     2012   1261 |  0.000 % |
1.89/1.97	c |      2237 |    1272    94237   201174 |    41809     2237   1260 |  0.000 % |
2.09/2.20	c |      2577 |    1272    94237   201174 |    45990     2577   1260 |  0.000 % |
2.20/2.28	c ===============================================================================
2.20/2.28	c New solution: 1262
2.20/2.28	o 1262
2.20/2.28	c Elapsed CPU time: 2.22766 s	Remaining CPU time: 177.772 s
2.20/2.28	c ===============================================================================
2.20/2.28	c |      2634 |    1272    94238   202446 |    31412     2634   1260 |  0.000 % |
2.29/2.38	c |      2734 |    1272    94238   202446 |    34553     2734   1260 |  0.000 % |
2.49/2.54	c |      2884 |    1272    94238   202446 |    38009     2884   1260 |  0.000 % |
2.69/2.75	c |      3111 |    1272    94238   202446 |    41810     3111   1260 |  0.000 % |
2.99/3.02	c |      3448 |    1272    94238   202446 |    45991     3448   1260 |  0.000 % |
3.49/3.60	c |      3955 |    1272    94238   202446 |    50590     3955   1259 |  0.000 % |
4.19/4.22	c |      4714 |    1272    94238   202446 |    55649     4714   1259 |  0.000 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c New solution: 1261
4.19/4.28	o 1261
4.19/4.28	c Elapsed CPU time: 4.20336 s	Remaining CPU time: 175.797 s
4.19/4.28	c ===============================================================================
4.19/4.28	c |      4775 |    1272    94239   203718 |    31413     4775   1259 |  0.000 % |
4.40/4.45	c |      4876 |    1272    94239   203718 |    34554     4876   1259 |  0.000 % |
4.59/4.65	c |      5026 |    1272    94239   203718 |    38009     5026   1259 |  0.000 % |
4.89/4.98	c |      5254 |    1272    94239   203718 |    41810     5254   1259 |  0.000 % |
4.99/5.09	c ===============================================================================
4.99/5.09	c New solution: 1260
4.99/5.09	o 1260
4.99/5.09	c Elapsed CPU time: 5.00124 s	Remaining CPU time: 174.999 s
4.99/5.09	c ===============================================================================
4.99/5.09	c |      5332 |    1272    94240   204990 |    31413     5332   1259 |  0.000 % |
5.19/5.21	c |      5433 |    1272    94240   204990 |    34554     5433   1259 |  0.000 % |
5.40/5.41	c |      5585 |    1272    94240   204990 |    38010     5585   1259 |  0.000 % |
5.69/5.73	c |      5812 |    1272    94240   204990 |    41811     5812   1259 |  0.000 % |
6.09/6.11	c |      6151 |    1272    94240   204990 |    45992     6151   1258 |  0.000 % |
6.68/6.78	c |      6657 |    1272    94240   204990 |    50591     6657   1258 |  0.000 % |
6.79/6.85	c ===============================================================================
6.79/6.85	c New solution: 1259
6.79/6.85	o 1259
6.79/6.85	c Elapsed CPU time: 6.74097 s	Remaining CPU time: 173.259 s
6.79/6.85	c ===============================================================================
6.79/6.85	c |      6700 |    1272    94241   206262 |    31413     6700   1258 |  0.000 % |
6.89/6.98	c |      6802 |    1272    94241   206262 |    34555     6802   1258 |  0.000 % |
7.09/7.17	c |      6956 |    1272    94241   206262 |    38010     6956   1258 |  0.000 % |
7.49/7.58	c |      7182 |    1272    94241   206262 |    41811     7182   1258 |  0.000 % |
7.99/8.05	c |      7519 |    1272    94241   206262 |    45992     7519   1258 |  0.000 % |
8.89/8.93	c |      8025 |    1272    94241   206262 |    50592     8025   1258 |  0.000 % |
9.99/10.04	c |      8784 |    1272    94241   206262 |    55651     8784   1257 |  0.000 % |
11.49/11.55	c |      9924 |    1272    94241   206262 |    61216     9924   1257 |  0.000 % |
11.59/11.66	c ===============================================================================
11.59/11.66	c New solution: 1258
11.59/11.66	o 1258
11.59/11.66	c Elapsed CPU time: 11.5202 s	Remaining CPU time: 168.48 s
11.59/11.66	c ===============================================================================
11.59/11.66	c |      9994 |    1272    94242   207534 |    31414     9994   1257 |  0.000 % |
11.79/11.86	c |     10096 |    1272    94242   207534 |    34555    10096   1257 |  0.000 % |
12.09/12.10	c |     10250 |    1272    94242   207534 |    38010    10250   1257 |  0.000 % |
12.49/12.58	c |     10476 |    1272    94242   207534 |    41812    10476   1257 |  0.000 % |
13.29/13.30	c |     10813 |    1272    94242   207534 |    45993    10813   1257 |  0.000 % |
13.78/13.83	c ===============================================================================
13.78/13.83	c New solution: 1257
13.78/13.83	o 1257
13.78/13.83	c Elapsed CPU time: 13.6679 s	Remaining CPU time: 166.332 s
13.78/13.83	c ===============================================================================
13.78/13.83	c |     11148 |    1272    94243   208806 |    31414    11148   1257 |  0.000 % |
13.99/14.02	c |     11249 |    1272    94243   208806 |    34555    11249   1257 |  0.000 % |
14.29/14.32	c |     11400 |    1272    94243   208806 |    38011    11400   1257 |  0.000 % |
14.69/14.71	c |     11625 |    1272    94243   208806 |    41812    11625   1257 |  0.000 % |
14.79/14.82	c ===============================================================================
14.79/14.82	c New solution: 1256
14.79/14.82	o 1256
14.79/14.82	c Elapsed CPU time: 14.6468 s	Remaining CPU time: 165.353 s
14.79/14.82	c ===============================================================================
14.79/14.82	c |     11691 |    1272    94244   210078 |    31414    11691   1257 |  0.000 % |
14.99/15.02	c |     11798 |    1272    94244   210078 |    34556    11798   1257 |  0.000 % |
15.18/15.28	c |     11949 |    1272    94244   210078 |    38011    11949   1257 |  0.000 % |
15.68/15.72	c |     12175 |    1272    94244   210078 |    41812    12175   1257 |  0.000 % |
16.29/16.38	c |     12513 |    1272    94244   210078 |    45994    12513   1256 |  0.000 % |
17.79/17.85	c |     13020 |    1272    94244   210078 |    50593    13020   1256 |  0.000 % |
19.70/19.79	c |     13783 |    1272    94244   210078 |    55652    13783   1256 |  0.000 % |
21.58/21.63	c ===============================================================================
21.58/21.63	c New solution: 1255
21.58/21.63	o 1255
21.58/21.63	c Elapsed CPU time: 21.4297 s	Remaining CPU time: 158.57 s
21.58/21.63	c ===============================================================================
21.58/21.63	c |     14467 |    1272    94245   211350 |    31415    14467   1256 |  0.000 % |
21.89/21.92	c |     14569 |    1272    94245   211350 |    34556    14569   1256 |  0.000 % |
22.29/22.35	c |     14723 |    1272    94245   211350 |    38012    14723   1256 |  0.000 % |
22.99/23.10	c |     14949 |    1272    94245   211350 |    41813    14949   1256 |  0.000 % |
23.69/23.71	c |     15288 |    1272    94245   211350 |    45994    15288   1256 |  0.000 % |
25.48/25.52	c |     15795 |    1272    94245   211350 |    50594    15795   1255 |  0.000 % |
27.28/27.40	c |     16556 |    1272    94245   211350 |    55653    16556   1255 |  0.000 % |
27.59/27.68	c ===============================================================================
27.59/27.68	c New solution: 1254
27.59/27.68	o 1254
27.59/27.68	c Elapsed CPU time: 27.4408 s	Remaining CPU time: 152.559 s
27.59/27.68	c ===============================================================================
27.59/27.68	c |     16701 |    1272    94246   212622 |    31415    16701   1255 |  0.000 % |
27.78/27.83	c |     16801 |    1272    94246   212622 |    34556    16801   1255 |  0.000 % |
28.28/28.39	c ===============================================================================
28.28/28.39	c New solution: 1253
28.28/28.39	o 1253
28.28/28.39	c Elapsed CPU time: 28.1467 s	Remaining CPU time: 151.853 s
28.28/28.39	c ===============================================================================
28.28/28.39	c |     16949 |    1272    94247   213894 |    31415    16949   1255 |  0.000 % |
28.59/28.69	c |     17050 |    1272    94247   213894 |    34557    17050   1255 |  0.000 % |
29.09/29.13	c |     17202 |    1272    94247   213894 |    38012    17202   1255 |  0.000 % |
29.38/29.42	c ===============================================================================
29.38/29.42	c New solution: 1252
29.38/29.42	o 1252
29.38/29.42	c Elapsed CPU time: 29.1706 s	Remaining CPU time: 150.829 s
29.38/29.42	c ===============================================================================
29.38/29.42	c |     17301 |    1272    94248   215166 |    31416    17301   1255 |  0.000 % |
29.69/29.74	c |     17403 |    1272    94248   215166 |    34557    17403   1255 |  0.000 % |
30.09/30.18	c |     17554 |    1272    94248   215166 |    38013    17554   1255 |  0.000 % |
30.88/30.91	c |     17779 |    1272    94248   215166 |    41814    17779   1255 |  0.000 % |
31.49/31.58	c |     18118 |    1272    94248   215166 |    45996    18118   1255 |  0.000 % |
33.08/33.10	c |     18624 |    1272    94248   215166 |    50595    18624   1255 |  0.000 % |
35.39/35.49	c |     19383 |    1272    94248   215166 |    55655    19383   1254 |  0.000 % |
39.68/39.79	c |     20522 |    1272    94248   215166 |    61220    20522   1254 |  0.000 % |
46.28/46.36	c |     22231 |    1272    94248   215166 |    67342    22231   1254 |  0.000 % |
58.58/58.64	c |     24794 |    1272    94248   215166 |    74077    24794   1253 |  0.000 % |
86.87/86.92	c |     28639 |    1272    94248   215166 |    81485    28639   1253 |  0.000 % |
118.77/118.86	c |     34408 |    1272    94248   215166 |    89633    34408   1252 |  0.000 % |
180.54/180.65	c There are 0 assigned variables. 0 in cost function.
180.65/180.75	c core #1
180.65/180.75	c #cores: 1
180.65/180.75	c Final Weight: 1252
180.65/180.75	o 1252
180.65/180.75	s OPTIMUM FOUND
180.65/180.75	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
180.65/180.75	c Total CPU time: 180.107 s

Verifier Data 

OK	-20

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655915-1276504470/watcher-2655915-1276504470 -o /tmp/evaluation-result-2655915-1276504470/solver-2655915-1276504470 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655915-1276504470.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28073
/proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=4996 CPUtime=0
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 24102403 5115904 247 1992294400 134512640 135751879 4291591584 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 1249 248 145 303 0 382 0

[startup+0.0342469 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28073
/proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=5408 CPUtime=0.03
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 472 0 0 0 3 0 0 0 20 0 1 0 24102403 5537792 390 1992294400 134512640 135751879 4291591584 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 1352 390 191 303 0 485 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5408

[startup+0.101252 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28073
/proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=6368 CPUtime=0.09
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 839 0 0 0 9 0 0 0 20 0 1 0 24102403 6520832 757 1992294400 134512640 135751879 4291591584 18446744073709551615 134557912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 1592 757 314 303 0 725 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6368

[startup+0.301268 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28073
/proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=9388 CPUtime=0.29
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 1924 0 0 0 29 0 0 0 20 0 1 0 24102403 9613312 1842 1992294400 134512640 135751879 4291591584 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 2347 1842 688 303 0 1480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9388

[startup+0.701298 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28073
/proc/meminfo: memFree=1802168/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=13704 CPUtime=0.7
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 3661 0 0 0 68 2 0 0 21 0 1 0 24102403 14032896 2919 1992294400 134512640 135751879 4291591584 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 3426 2919 147 303 0 3121 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13704

[startup+1.50136 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 28074
/proc/meminfo: memFree=1791000/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=16104 CPUtime=1.49
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 4252 0 0 0 146 3 0 0 23 0 1 0 24102403 16490496 3510 1992294400 134512640 135751879 4291591584 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 4026 3510 147 303 0 3721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16104

[startup+3.10049 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 28074
/proc/meminfo: memFree=1784056/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=25964 CPUtime=3.09
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 6730 0 0 0 303 6 0 0 25 0 1 0 24102403 26587136 5988 1992294400 134512640 135751879 4291591584 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 6491 5988 147 303 0 6186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25964

[startup+6.30074 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 28074
/proc/meminfo: memFree=1767688/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=40216 CPUtime=6.29
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 10296 0 0 0 619 10 0 0 25 0 1 0 24102403 41181184 9554 1992294400 134512640 135751879 4291591584 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 10054 9554 147 303 0 9749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40216

[startup+12.7013 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 28074
/proc/meminfo: memFree=1744252/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=61812 CPUtime=12.69
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 15662 0 0 0 1254 15 0 0 25 0 1 0 24102403 63295488 14920 1992294400 134512640 135751879 4291591584 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 15453 14920 147 303 0 15148 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61812

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 28074
/proc/meminfo: memFree=1716228/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=88396 CPUtime=25.48
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 22326 0 0 0 2527 21 0 0 25 0 1 0 24102403 90517504 21584 1992294400 134512640 135751879 4291591584 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 22099 21584 147 303 0 21794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88396

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 28076
/proc/meminfo: memFree=1678408/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=126392 CPUtime=51.08
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 31787 0 0 0 5076 32 0 0 25 0 1 0 24102403 129425408 31045 1992294400 134512640 135751879 4291591584 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 31598 31045 147 303 0 31293 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 126392

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 28076
/proc/meminfo: memFree=1632404/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=171996 CPUtime=102.27
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 43172 0 0 0 10183 44 0 0 25 0 1 0 24102403 176123904 42430 1992294400 134512640 135751879 4291591584 18446744073709551615 134606631 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 42999 42430 147 303 0 42694 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 171996

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1599916/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=204484 CPUtime=162.25
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 51256 0 0 0 16170 55 0 0 25 0 1 0 24102403 209391616 50514 1992294400 134512640 135751879 4291591584 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 51121 50514 147 303 0 50816 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 204484

Solver just ended. Dumping a history of the last processes samples

[startup+166.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1598428/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=205820 CPUtime=166.24
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 51589 0 0 0 16569 55 0 0 25 0 1 0 24102403 210759680 50847 1992294400 134512640 135751879 4291591584 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 51455 50847 147 303 0 51150 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 205820

[startup+172.709 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1592724/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=211340 CPUtime=172.65
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 52988 0 0 0 17208 57 0 0 25 0 1 0 24102403 216412160 52246 1992294400 134512640 135751879 4291591584 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 52835 52246 147 303 0 52530 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 211340

[startup+175.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1589500/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=214448 CPUtime=175.85
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 53750 0 0 0 17527 58 0 0 25 0 1 0 24102403 219594752 53008 1992294400 134512640 135751879 4291591584 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 53612 53008 147 303 0 53307 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 214448

[startup+179.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1582680/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=222012 CPUtime=179.04
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 55604 0 0 0 17845 59 0 0 25 0 1 0 24102403 227340288 54862 1992294400 134512640 135751879 4291591584 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 55503 54862 147 303 0 55198 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 222012

[startup+179.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1582060/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=222144 CPUtime=179.84
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 55659 0 0 0 17925 59 0 0 25 0 1 0 24102403 227475456 54917 1992294400 134512640 135751879 4291591584 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 55536 54917 147 303 0 55231 0
Current children cumulated CPU time (s) 179.84
Current children cumulated vsize (KiB) 222144

[startup+180.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1581812/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=222280 CPUtime=180.25
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 55692 0 0 0 17966 59 0 0 25 0 1 0 24102403 227614720 54950 1992294400 134512640 135751879 4291591584 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 55570 54950 147 303 0 55265 0
Current children cumulated CPU time (s) 180.25
Current children cumulated vsize (KiB) 222280

[startup+180.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28078
/proc/meminfo: memFree=1581812/2059040 swapFree=4136648/4192956
[pid=28073] ppid=28071 vsize=226384 CPUtime=180.65
/proc/28073/stat : 28073 (wbo1.4b) R 28071 28073 27456 0 -1 4202496 56669 0 0 0 18005 60 0 0 25 0 1 0 24102403 231817216 55927 1992294400 134512640 135751879 4291591584 18446744073709551615 134550586 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28073/statm: 56596 55927 147 303 0 56291 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 226384

Child status: 0
Real time (s): 180.783
CPU time (s): 180.735
CPU user time (s): 180.107
CPU system time (s): 0.627904
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 226384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.107
system time used= 0.627904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 172

runsolver used 0.312952 second user time and 0.84987 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-14 10:34:30
IDJOB=2655915
IDBENCH=2259
IDSOLVER=1161
FILE ID=node026/2655915-1276504470
PBS_JOBID= 11173403
Free space on /tmp= 62516 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655915-1276504470/watcher-2655915-1276504470 -o /tmp/evaluation-result-2655915-1276504470/solver-2655915-1276504470 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655915-1276504470.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=1713470592

node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802696 kB
Buffers:         71768 kB
Cached:         105856 kB
SwapCached:       9576 kB
Active:         106356 kB
Inactive:        83896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802696 kB
SwapTotal:     4192956 kB
SwapFree:      4136648 kB
Dirty:            4892 kB
Writeback:           0 kB
AnonPages:       10848 kB
Mapped:           9180 kB
Slab:            44364 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179868 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node026 at 2010-06-14 10:37:31