Trace number 2702476

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.-35 181.885 181.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_3.opb
MD5SUM60cf9918356073587dd2c65f46896dfb
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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-2702476-1278568331.opb.
0.00/0.00	c Instance file HOME/instance-2702476-1278568331.opb
0.00/0.00	c File size is 102565 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1444                                                |
0.00/0.01	c |  Number Clauses:        1244                                                |
0.00/0.01	c |  Number Cardinality:    400                                                 |
0.00/0.01	c |  Number PB Constraints: 1244                                                |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2888     6010 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 200
0.00/0.02	o 200
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2889     6210 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 199
0.00/0.02	o 199
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2890     6410 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 198
0.00/0.02	o 198
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2891     6610 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 197
0.00/0.02	o 197
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2892     6810 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 196
0.00/0.02	o 196
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2893     7010 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 195
0.00/0.02	o 195
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2894     7210 |     5000        1    196 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 194
0.00/0.02	o 194
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2895     7410 |     5000        1    196 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 193
0.00/0.02	o 193
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2896     7610 |     5000        1    196 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 192
0.00/0.03	o 192
0.00/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |     200     2897     7810 |     5000        3    194 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 191
0.00/0.03	o 191
0.00/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         4 |     200     2898     8010 |     5000        4    194 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 190
0.00/0.03	o 190
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        18 |     200     2899     8210 |     5000       18    192 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 189
0.00/0.03	o 189
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        26 |     200     2900     8410 |     5000       26    192 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 188
0.00/0.03	o 188
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        34 |     200     2901     8610 |     5000       34    191 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 187
0.00/0.03	o 187
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        66 |     200     2902     8810 |     5000       66    190 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 186
0.00/0.04	o 186
0.00/0.04	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 179.963 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       102 |     200     2903     9010 |     5000      102    190 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 185
0.00/0.04	o 185
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 179.961 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       127 |     200     2904     9210 |     5000      127    190 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 184
0.00/0.04	o 184
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 179.959 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       148 |     200     2905     9410 |     5000      148    189 |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 183
0.00/0.05	o 183
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |       196 |     200     2906     9610 |     5000      196    189 |  0.000 % |
0.00/0.06	c |       297 |     200     2906     9610 |     5500      297    188 | 86.150 % |
0.00/0.08	c |       447 |     200     2906     9610 |     6050      447    187 | 86.150 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 182
0.07/0.09	o 182
0.07/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |       546 |     200     2907     9810 |     5000      546    187 | 86.150 % |
0.09/0.10	c |       650 |     200     2907     9810 |     5500      650    187 | 86.150 % |
0.09/0.13	c |       801 |     200     2907     9810 |     6050      801    187 | 86.150 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 181
0.09/0.14	o 181
0.09/0.14	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 179.868 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |       902 |     200     2908    10010 |     5000      902    187 | 86.150 % |
0.09/0.16	c |      1002 |     200     2908    10010 |     5500     1002    187 | 86.150 % |
0.09/0.17	c |      1152 |     200     2908    10010 |     6050     1152    187 | 86.150 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 180
0.09/0.18	o 180
0.09/0.18	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 179.829 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |      1189 |     200     2909    10210 |     5000     1189    187 | 86.150 % |
0.09/0.19	c |      1289 |     200     2909    10210 |     5500     1289    186 | 86.150 % |
0.19/0.21	c |      1439 |     200     2909    10210 |     6050     1439    186 | 86.150 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 179
0.19/0.22	o 179
0.19/0.22	c Elapsed CPU time: 0.208968 s	Remaining CPU time: 179.791 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |      1456 |     200     2910    10410 |     5000     1456    186 | 86.150 % |
0.19/0.23	c |      1556 |     200     2910    10410 |     5500     1556    186 | 86.150 % |
0.19/0.26	c |      1707 |     200     2910    10410 |     6050     1707    186 | 86.150 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 178
0.19/0.27	o 178
0.19/0.27	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 179.74 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |      1779 |     200     2911    10610 |     5000     1779    186 | 86.150 % |
0.19/0.29	c |      1882 |     200     2911    10610 |     5500     1882    186 | 86.150 % |
0.29/0.31	c |      2034 |     200     2911    10610 |     6050     2034    185 | 86.150 % |
0.29/0.34	c |      2259 |     200     2911    10610 |     6655     2259    185 | 86.150 % |
0.29/0.39	c |      2597 |     200     2911    10610 |     7320     2597    184 | 86.150 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 177
0.39/0.42	o 177
0.39/0.42	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 179.596 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |      2727 |     200     2912    10810 |     5000     2727    184 | 86.150 % |
0.39/0.44	c |      2827 |     200     2912    10810 |     5500     2827    184 | 86.150 % |
0.39/0.46	c |      2978 |     200     2912    10810 |     6050     2978    184 | 86.150 % |
0.49/0.50	c |      3203 |     200     2912    10810 |     6655     3203    183 | 86.150 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: 176
0.49/0.53	o 176
0.49/0.53	c Elapsed CPU time: 0.513921 s	Remaining CPU time: 179.486 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |      3349 |     200     2913    11010 |     5000     3349    183 | 86.150 % |
0.49/0.55	c |      3450 |     200     2913    11010 |     5500     3450    183 | 86.150 % |
0.49/0.58	c |      3601 |     200     2913    11010 |     6050     3601    183 | 86.150 % |
0.59/0.61	c |      3826 |     200     2913    11010 |     6655     3826    183 | 86.150 % |
0.59/0.69	c |      4163 |     200     2913    11010 |     7320     4163    183 | 86.150 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 175
0.69/0.75	o 175
0.69/0.75	c Elapsed CPU time: 0.730888 s	Remaining CPU time: 179.269 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |      4507 |     200     2914    11210 |     5000     4507    183 | 86.150 % |
0.69/0.77	c |      4607 |     200     2914    11210 |     5500     4607    183 | 86.150 % |
0.69/0.80	c |      4758 |     200     2914    11210 |     6050     4758    183 | 86.150 % |
0.79/0.82	c |      4984 |     200     2914    11210 |     6655     4984    183 | 86.150 % |
0.79/0.89	c |      5321 |     200     2914    11210 |     7320     5321    183 | 86.150 % |
0.99/1.02	c |      5829 |     200     2914    11210 |     8052     5829    182 | 86.150 % |
1.19/1.21	c |      6589 |     200     2914    11210 |     8857     6589    183 | 86.150 % |
1.39/1.48	c |      7729 |     200     2914    11210 |     9743     7729    183 | 86.150 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: 174
1.49/1.59	o 174
1.49/1.59	c Elapsed CPU time: 1.55276 s	Remaining CPU time: 178.447 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |      8427 |     200     2915    11410 |     5000     8427    182 | 86.150 % |
1.59/1.69	c |      8527 |     200     2915    11410 |     5500     4314    182 | 86.150 % |
1.69/1.72	c |      8678 |     200     2915    11410 |     6050     4465    182 | 86.150 % |
1.69/1.75	c |      8903 |     200     2915    11410 |     6655     4690    181 | 86.150 % |
1.79/1.81	c |      9241 |     200     2915    11410 |     7320     5028    181 | 86.150 % |
1.89/1.92	c |      9748 |     200     2915    11410 |     8052     5535    182 | 86.150 % |
1.99/2.08	c |     10509 |     200     2915    11410 |     8857     6296    182 | 86.150 % |
2.20/2.24	c |     11650 |     200     2915    11410 |     9743     7437    181 | 86.150 % |
2.49/2.52	c |     13358 |     200     2915    11410 |    10717     9145    180 | 86.150 % |
2.99/3.01	c |     15921 |     200     2915    11410 |    11789    11708    180 | 86.150 % |
4.19/4.26	c |     19765 |     200     2915    11410 |    12968     8946    176 | 86.150 % |
5.99/6.07	c |     25532 |     200     2915    11410 |    14265     7519    177 | 86.150 % |
8.49/8.56	c |     34181 |     200     2915    11410 |    15692     8327    177 | 86.150 % |
11.49/11.52	c |     47156 |     200     2915    11410 |    17261    12745    176 | 86.150 % |
15.48/15.58	c ===============================================================================
15.48/15.58	c New solution: 173
15.48/15.58	o 173
15.48/15.58	c Elapsed CPU time: 15.3497 s	Remaining CPU time: 164.65 s
15.48/15.58	c ===============================================================================
15.48/15.58	c |     64952 |     200     2916    11610 |     5000    11859    176 | 86.150 % |
15.69/15.72	c |     65053 |     200     2916    11610 |     5500     6031    176 | 86.150 % |
15.69/15.76	c |     65203 |     200     2916    11610 |     6050     6181    176 | 86.150 % |
15.79/15.80	c |     65429 |     200     2916    11610 |     6655     6407    176 | 86.150 % |
15.79/15.89	c |     65767 |     200     2916    11610 |     7320     6745    176 | 86.150 % |
15.89/15.96	c ===============================================================================
15.89/15.96	c New solution: 172
15.89/15.96	o 172
15.89/15.96	c Elapsed CPU time: 15.7266 s	Remaining CPU time: 164.273 s
15.89/15.96	c ===============================================================================
15.89/15.96	c |     66259 |     200     2917    11810 |     5000     7237    175 | 86.150 % |
15.98/16.03	c |     66359 |     200     2917    11810 |     5500     3719    175 | 86.150 % |
15.98/16.05	c |     66510 |     200     2917    11810 |     6050     3870    175 | 86.150 % |
15.98/16.10	c |     66735 |     200     2917    11810 |     6655     4095    175 | 86.150 % |
16.08/16.11	c ===============================================================================
16.08/16.11	c New solution: 171
16.08/16.11	o 171
16.08/16.11	c Elapsed CPU time: 15.8716 s	Remaining CPU time: 164.128 s
16.08/16.11	c ===============================================================================
16.08/16.11	c |     66852 |     200     2918    12010 |     5000     4212    175 | 86.150 % |
16.08/16.14	c |     66952 |     200     2918    12010 |     5500     4312    175 | 86.150 % |
16.08/16.17	c |     67102 |     200     2918    12010 |     6050     4462    175 | 86.150 % |
16.19/16.23	c |     67329 |     200     2918    12010 |     6655     4689    176 | 86.150 % |
16.29/16.31	c |     67667 |     200     2918    12010 |     7320     5027    176 | 86.150 % |
16.39/16.46	c |     68174 |     200     2918    12010 |     8052     5534    176 | 86.150 % |
16.68/16.71	c |     68933 |     200     2918    12010 |     8857     6293    176 | 86.150 % |
16.89/16.95	c |     70073 |     200     2918    12010 |     9743     7433    176 | 86.150 % |
17.38/17.42	c |     71783 |     200     2918    12010 |    10717     9143    175 | 86.150 % |
18.59/18.61	c |     74346 |     200     2918    12010 |    11789    11706    175 | 86.150 % |
20.19/20.28	c |     78190 |     200     2918    12010 |    12968     8947    173 | 86.150 % |
20.68/20.73	c ===============================================================================
20.68/20.73	c New solution: 170
20.68/20.73	o 170
20.68/20.73	c Elapsed CPU time: 20.4409 s	Remaining CPU time: 159.559 s
20.68/20.73	c ===============================================================================
20.68/20.73	c |     79050 |     200     2919    12210 |     5000     9807    173 | 86.150 % |
20.79/20.80	c |     79151 |     200     2919    12210 |     5500     5005    172 | 86.150 % |
20.79/20.84	c |     79301 |     200     2919    12210 |     6050     5155    172 | 86.150 % |
20.79/20.90	c |     79526 |     200     2919    12210 |     6655     5380    172 | 86.150 % |
21.08/21.10	c |     79865 |     200     2919    12210 |     7320     5719    173 | 86.150 % |
21.19/21.25	c |     80371 |     200     2919    12210 |     8052     6225    173 | 86.150 % |
21.39/21.45	c |     81131 |     200     2919    12210 |     8857     6985    173 | 86.150 % |
21.79/21.81	c |     82270 |     200     2919    12210 |     9743     8124    172 | 86.150 % |
22.18/22.28	c ===============================================================================
22.18/22.28	c New solution: 169
22.18/22.28	o 169
22.18/22.28	c Elapsed CPU time: 21.9807 s	Remaining CPU time: 158.019 s
22.18/22.28	c ===============================================================================
22.18/22.28	c |     83641 |     200     2920    12410 |     5000     9495    172 | 86.150 % |
22.28/22.37	c |     83741 |     200     2920    12410 |     5500     4848    172 | 86.150 % |
22.39/22.43	c |     83892 |     200     2920    12410 |     6050     4999    172 | 86.150 % |
22.49/22.53	c |     84117 |     200     2920    12410 |     6655     5224    172 | 86.150 % |
22.59/22.68	c |     84455 |     200     2920    12410 |     7320     5562    173 | 86.150 % |
22.88/22.91	c |     84961 |     200     2920    12410 |     8052     6068    173 | 86.150 % |
23.09/23.18	c |     85722 |     200     2920    12410 |     8857     6829    173 | 86.150 % |
23.68/23.78	c |     86861 |     200     2920    12410 |     9743     7968    173 | 86.150 % |
24.28/24.33	c |     88569 |     200     2920    12410 |    10717     9676    173 | 86.150 % |
25.19/25.29	c ===============================================================================
25.19/25.29	c New solution: 168
25.19/25.29	o 168
25.19/25.29	c Elapsed CPU time: 24.9582 s	Remaining CPU time: 155.042 s
25.19/25.29	c ===============================================================================
25.19/25.29	c |     90889 |     200     2921    12610 |     5000    11996    172 | 86.150 % |
25.29/25.37	c |     90989 |     200     2921    12610 |     5500     6098    172 | 86.150 % |
25.38/25.40	c |     91140 |     200     2921    12610 |     6050     6249    172 | 86.150 % |
25.48/25.50	c |     91366 |     200     2921    12610 |     6655     6475    172 | 86.150 % |
25.59/25.64	c |     91704 |     200     2921    12610 |     7320     6813    172 | 86.150 % |
25.88/25.90	c |     92211 |     200     2921    12610 |     8052     7320    172 | 86.150 % |
26.39/26.43	c |     92971 |     200     2921    12610 |     8857     8080    172 | 86.150 % |
26.89/26.94	c |     94111 |     200     2921    12610 |     9743     9220    172 | 86.150 % |
27.79/27.83	c |     95821 |     200     2921    12610 |    10717    10930    171 | 86.150 % |
28.78/28.82	c |     98383 |     200     2921    12610 |    11789     7429    170 | 86.150 % |
31.08/31.16	c |    102229 |     200     2921    12610 |    12968    11275    170 | 86.150 % |
34.19/34.21	c |    107995 |     200     2921    12610 |    14265     9851    170 | 86.150 % |
37.68/37.73	c |    116644 |     200     2921    12610 |    15692    10661    170 | 86.150 % |
39.78/39.83	c ===============================================================================
39.78/39.83	c New solution: 167
39.78/39.83	o 167
39.78/39.83	c Elapsed CPU time: 39.36 s	Remaining CPU time: 140.64 s
39.78/39.83	c ===============================================================================
39.78/39.83	c |    123877 |     200     2922    12810 |     5000     9341    170 | 86.150 % |
39.88/39.96	c |    123977 |     200     2922    12810 |     5500     4771    170 | 86.150 % |
39.98/40.01	c |    124129 |     200     2922    12810 |     6050     4923    169 | 86.150 % |
39.98/40.08	c |    124355 |     200     2922    12810 |     6655     5149    169 | 86.150 % |
40.18/40.20	c |    124692 |     200     2922    12810 |     7320     5486    170 | 86.150 % |
40.28/40.37	c |    125198 |     200     2922    12810 |     8052     5992    170 | 86.150 % |
40.59/40.68	c |    125959 |     200     2922    12810 |     8857     6753    170 | 86.150 % |
41.08/41.14	c |    127098 |     200     2922    12810 |     9743     7892    170 | 86.150 % |
42.08/42.13	c |    128808 |     200     2922    12810 |    10717     9602    170 | 86.150 % |
43.28/43.33	c |    131371 |     200     2922    12810 |    11789     6101    170 | 86.150 % |
44.28/44.37	c |    135215 |     200     2922    12810 |    12968     9945    170 | 86.150 % |
45.28/45.36	c ===============================================================================
45.28/45.36	c New solution: 166
45.28/45.36	o 166
45.28/45.36	c Elapsed CPU time: 44.8292 s	Remaining CPU time: 135.171 s
45.28/45.36	c ===============================================================================
45.28/45.36	c |    137186 |     200     2923    13010 |     5000    11916    170 | 86.150 % |
45.38/45.46	c |    137286 |     200     2923    13010 |     5500     6058    170 | 86.150 % |
45.48/45.52	c |    137438 |     200     2923    13010 |     6050     6210    170 | 86.150 % |
45.48/45.59	c |    137664 |     200     2923    13010 |     6655     6436    170 | 86.150 % |
45.68/45.70	c |    138003 |     200     2923    13010 |     7320     6775    170 | 86.150 % |
45.68/45.75	c ===============================================================================
45.68/45.75	c New solution: 165
45.68/45.75	o 165
45.68/45.75	c Elapsed CPU time: 45.2131 s	Remaining CPU time: 134.787 s
45.68/45.75	c ===============================================================================
45.68/45.75	c |    138201 |     200     2924    13210 |     5000     6973    170 | 86.150 % |
45.78/45.82	c |    138301 |     200     2924    13210 |     5500     3587    171 | 86.150 % |
45.78/45.89	c |    138452 |     200     2924    13210 |     6050     3738    171 | 86.150 % |
45.88/45.99	c |    138677 |     200     2924    13210 |     6655     3963    172 | 86.150 % |
46.09/46.14	c |    139015 |     200     2924    13210 |     7320     4301    172 | 86.150 % |
46.28/46.33	c |    139522 |     200     2924    13210 |     8052     4808    172 | 86.150 % |
46.48/46.53	c |    140283 |     200     2924    13210 |     8857     5569    171 | 86.150 % |
46.78/46.85	c |    141423 |     200     2924    13210 |     9743     6709    171 | 86.150 % |
47.28/47.35	c |    143131 |     200     2924    13210 |    10717     8417    170 | 86.150 % |
48.29/48.40	c |    145693 |     200     2924    13210 |    11789    10979    170 | 86.150 % |
49.88/49.95	c |    149537 |     200     2924    13210 |    12968     8223    170 | 86.150 % |
52.38/52.43	c |    155304 |     200     2924    13210 |    14265    13990    169 | 86.150 % |
57.67/57.74	c |    163955 |     200     2924    13210 |    15692    14803    168 | 86.150 % |
63.88/63.92	c |    176930 |     200     2924    13210 |    17261    10678    168 | 86.150 % |
74.07/74.14	c |    196393 |     200     2924    13210 |    18987    11467    168 | 86.150 % |
86.17/86.21	c |    225586 |     200     2924    13210 |    20886    20263    168 | 86.150 % |
112.36/112.47	c |    269378 |     200     2924    13210 |    22974    17601    168 | 86.150 % |
154.75/154.89	c |    335063 |     200     2924    13210 |    25272    15224    168 | 86.150 % |
181.45/181.52	c There are 1244 assigned variables. 0 in cost function.
181.74/181.90	c core #1
181.74/181.90	c #cores: 1
181.74/181.90	c Final Weight: 165
181.74/181.90	o 165
181.74/181.90	s OPTIMUM FOUND
181.74/181.90	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 x173 x174 -x175 -x176 -x177 -x178 x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 x190 x191 x192 x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
181.84/181.90	c Total CPU time: 180.38 s

Verifier Data 

OK	-35

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702476-1278568331/watcher-2702476-1278568331 -o /tmp/evaluation-result-2702476-1278568331/solver-2702476-1278568331 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702476-1278568331.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.99 0.97 0.99 3/106 29506
/proc/meminfo: memFree=1832392/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=2964 CPUtime=0
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 341 0 0 0 0 0 0 0 19 0 1 0 25039927 3035136 260 1992294400 134512640 135751879 4294045376 18446744073709551615 134560582 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 741 260 144 303 0 410 0

[startup+0.0833719 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29506
/proc/meminfo: memFree=1832392/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=3524 CPUtime=0.07
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 548 0 0 0 7 0 0 0 20 0 1 0 25039927 3608576 441 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 881 441 147 303 0 576 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3524

[startup+0.101374 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29506
/proc/meminfo: memFree=1832392/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=3652 CPUtime=0.09
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 583 0 0 0 9 0 0 0 20 0 1 0 25039927 3739648 476 1992294400 134512640 135751879 4294045376 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 913 476 147 303 0 608 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3652

[startup+0.301392 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29506
/proc/meminfo: memFree=1832392/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=4812 CPUtime=0.29
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 865 0 0 0 28 1 0 0 20 0 1 0 25039927 4927488 758 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 1203 758 147 303 0 898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4812

[startup+0.701427 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 29506
/proc/meminfo: memFree=1832392/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=6736 CPUtime=0.69
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 1343 0 0 0 67 2 0 0 21 0 1 0 25039927 6897664 1236 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 1684 1236 147 303 0 1379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6736

[startup+1.5015 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29507
/proc/meminfo: memFree=1826928/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=9700 CPUtime=1.49
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 2100 0 0 0 146 3 0 0 23 0 1 0 25039927 9932800 1993 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 2425 1993 147 303 0 2120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9700

[startup+3.10164 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29507
/proc/meminfo: memFree=1822588/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=16676 CPUtime=3.09
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 3841 0 0 0 303 6 0 0 25 0 1 0 25039927 17076224 3734 1992294400 134512640 135751879 4294045376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 4169 3734 148 303 0 3864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16676

[startup+6.30092 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29507
/proc/meminfo: memFree=1812172/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=24760 CPUtime=6.29
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 5867 0 0 0 620 9 0 0 25 0 1 0 25039927 25354240 5760 1992294400 134512640 135751879 4294045376 18446744073709551615 134616287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 6190 5760 148 303 0 5885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24760

[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29507
/proc/meminfo: memFree=1791588/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=44604 CPUtime=12.69
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 10803 0 0 0 1251 18 0 0 25 0 1 0 25039927 45674496 10696 1992294400 134512640 135751879 4294045376 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 11151 10696 148 303 0 10846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44604

[startup+25.5006 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29507
/proc/meminfo: memFree=1758356/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=76548 CPUtime=25.48
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 18797 0 0 0 2516 32 0 0 25 0 1 0 25039927 78385152 18690 1992294400 134512640 135751879 4294045376 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 19137 18690 148 303 0 18832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76548

[startup+51.1008 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29507
/proc/meminfo: memFree=1712104/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=123952 CPUtime=51.07
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 30615 0 0 0 5050 57 0 0 25 0 1 0 25039927 126926848 30508 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 30988 30508 148 303 0 30683 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123952

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29509
/proc/meminfo: memFree=1638200/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=196116 CPUtime=102.28
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 48604 0 0 0 10133 95 0 0 25 0 1 0 25039927 200822784 48497 1992294400 134512640 135751879 4294045376 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 49029 48497 148 303 0 48724 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 196116

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1563428/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=270804 CPUtime=162.25
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 67268 0 0 0 16092 133 0 0 25 0 1 0 25039927 277303296 67161 1992294400 134512640 135751879 4294045376 18446744073709551615 134603091 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 67701 67161 148 303 0 67396 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 270804

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1554500/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=280000 CPUtime=166.25
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 69566 0 0 0 16487 138 0 0 25 0 1 0 25039927 286720000 69459 1992294400 134512640 135751879 4294045376 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 70000 69459 148 303 0 69695 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 280000

[startup+172.708 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1545820/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=288340 CPUtime=172.65
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 71669 0 0 0 17123 142 0 0 25 0 1 0 25039927 295260160 71562 1992294400 134512640 135751879 4294045376 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 72085 71562 148 303 0 71780 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 288340

[startup+175.902 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1541852/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=292180 CPUtime=175.85
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 72628 0 0 0 17442 143 0 0 25 0 1 0 25039927 299192320 72521 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 73045 72521 148 303 0 72740 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 292180

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1539992/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=294768 CPUtime=179.05
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 73255 0 0 0 17760 145 0 0 25 0 1 0 25039927 301842432 73148 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 73692 73148 148 303 0 73387 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 294768

[startup+180.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1537512/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=296944 CPUtime=180.65
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 73802 0 0 0 17918 147 0 0 25 0 1 0 25039927 304070656 73695 1992294400 134512640 135751879 4294045376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 74236 73695 148 303 0 73931 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 296944

[startup+181.508 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1536396/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=297840 CPUtime=181.45
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 74019 0 0 0 17998 147 0 0 25 0 1 0 25039927 304988160 73912 1992294400 134512640 135751879 4294045376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 74460 73912 148 303 0 74155 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 297840

[startup+181.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 29511
/proc/meminfo: memFree=1536396/2059040 swapFree=4134896/4192956
[pid=29506] ppid=29504 vsize=298132 CPUtime=181.84
/proc/29506/stat : 29506 (wbo1.4b) R 29504 29506 28624 0 -1 4202496 74107 0 0 0 18037 147 0 0 25 0 1 0 25039927 305287168 74000 1992294400 134512640 135751879 4294045376 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29506/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 298132

Child status: 0
Real time (s): 181.93
CPU time (s): 181.885
CPU user time (s): 180.38
CPU system time (s): 1.50577
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 298132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.38
system time used= 1.50577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74107
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= 6
involuntary context switches= 2291

runsolver used 0.332949 second user time and 0.847871 second system time

The end

Launcher Data 

Begin job on node050 at 2010-07-08 07:52:11
IDJOB=2702476
IDBENCH=48173
IDSOLVER=1161
FILE ID=node050/2702476-1278568331
PBS_JOBID= 11239538
Free space on /tmp= 62476 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702476-1278568331/watcher-2702476-1278568331 -o /tmp/evaluation-result-2702476-1278568331/solver-2702476-1278568331 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702476-1278568331.opb

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

MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb
RANDOM SEED=2133446299

node050.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.248
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.49
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
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:       1833292 kB
Buffers:         27132 kB
Cached:         108376 kB
SwapCached:      12812 kB
Active:          89708 kB
Inactive:        61472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833292 kB
SwapTotal:     4192956 kB
SwapFree:      4134896 kB
Dirty:            2680 kB
Writeback:           8 kB
AnonPages:       12624 kB
Mapped:           8448 kB
Slab:            52680 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702476-1278568331.opb

Free space on /tmp at the end= 62476 MiB
End job on node050 at 2010-07-08 07:55:13