Trace number 2702556

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.-33 181.985 182.041

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_4.opb
MD5SUM69a7dda5c80f9dda65f29fb6eb76eed7
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.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -53
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 constraint21
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)2524
Sum of products size (including duplicates)5048
Number of different products1262
Sum of products size2524

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-2702556-1278570095.opb.
0.00/0.00	c Instance file HOME/instance-2702556-1278570095.opb
0.00/0.00	c File size is 103979 bytes.
0.00/0.01	c Highest Coefficient sum: 21
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1462                                                |
0.00/0.01	c |  Number Clauses:        1262                                                |
0.00/0.01	c |  Number Cardinality:    400                                                 |
0.00/0.01	c |  Number PB Constraints: 1262                                                |
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     2924     6105 |     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.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2925     6305 |     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.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2926     6505 |     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.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     200     2927     6705 |     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.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2928     6905 |     5000        1    198 |  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.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2929     7105 |     5000        1    198 |  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.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2930     7305 |     5000        1    198 |  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.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     200     2931     7505 |     5000        1    198 |  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.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         2 |     200     2932     7705 |     5000        2    196 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 192
0.00/0.02	o 192
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 |        19 |     200     2933     7905 |     5000       19    194 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 191
0.00/0.02	o 191
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 |        24 |     200     2934     8105 |     5000       24    193 |  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.025996 s	Remaining CPU time: 179.974 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        32 |     200     2935     8305 |     5000       32    193 |  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 |        76 |     200     2936     8505 |     5000       76    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.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        99 |     200     2937     8705 |     5000       99    191 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 187
0.00/0.04	o 187
0.00/0.04	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       149 |     200     2938     8905 |     5000      149    191 |  0.000 % |
0.00/0.04	c |       250 |     200     2938     8905 |     5500      250    190 | 86.320 % |
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.043993 s	Remaining CPU time: 179.956 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       257 |     200     2939     9105 |     5000      257    190 | 86.320 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 185
0.00/0.05	o 185
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |       313 |     200     2940     9305 |     5000      313    189 | 86.320 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 184
0.05/0.06	o 184
0.05/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       398 |     200     2941     9505 |     5000      398    188 | 86.320 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 183
0.05/0.06	o 183
0.05/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       439 |     200     2942     9705 |     5000      439    188 | 86.320 % |
0.05/0.08	c |       539 |     200     2942     9705 |     5500      539    187 | 86.320 % |
0.05/0.08	c ===============================================================================
0.05/0.08	c New solution: 182
0.05/0.08	o 182
0.05/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.05/0.08	c ===============================================================================
0.05/0.08	c |       594 |     200     2943     9905 |     5000      594    187 | 86.320 % |
0.05/0.09	c |       695 |     200     2943     9905 |     5500      695    187 | 86.320 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 181
0.09/0.11	o 181
0.09/0.11	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 179.896 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       803 |     200     2944    10105 |     5000      803    186 | 86.320 % |
0.09/0.12	c |       904 |     200     2944    10105 |     5500      904    186 | 86.320 % |
0.09/0.14	c |      1055 |     200     2944    10105 |     6050     1055    186 | 86.320 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 180
0.09/0.15	o 180
0.09/0.15	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 179.854 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |      1139 |     200     2945    10305 |     5000     1139    186 | 86.320 % |
0.09/0.16	c |      1240 |     200     2945    10305 |     5500     1240    185 | 86.320 % |
0.09/0.19	c |      1391 |     200     2945    10305 |     6050     1391    185 | 86.320 % |
0.19/0.23	c |      1616 |     200     2945    10305 |     6655     1616    185 | 86.320 % |
0.19/0.29	c |      1953 |     200     2945    10305 |     7320     1953    184 | 86.320 % |
0.29/0.39	c |      2459 |     200     2945    10305 |     8052     2459    184 | 86.320 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: 179
0.39/0.46	o 179
0.39/0.46	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 179.544 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |      2789 |     200     2946    10505 |     5000     2789    185 | 86.320 % |
0.39/0.48	c |      2892 |     200     2946    10505 |     5500     2892    185 | 86.320 % |
0.39/0.49	c |      3043 |     200     2946    10505 |     6050     3043    184 | 86.320 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: 178
0.49/0.52	o 178
0.49/0.52	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 179.492 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |      3199 |     200     2947    10705 |     5000     3199    184 | 86.320 % |
0.49/0.54	c |      3300 |     200     2947    10705 |     5500     3300    184 | 86.320 % |
0.49/0.59	c |      3451 |     200     2947    10705 |     6050     3451    184 | 86.320 % |
0.59/0.66	c |      3677 |     200     2947    10705 |     6655     3677    184 | 86.320 % |
0.69/0.76	c |      4014 |     200     2947    10705 |     7320     4014    184 | 86.320 % |
0.89/0.92	c |      4520 |     200     2947    10705 |     8052     4520    184 | 86.320 % |
1.19/1.21	c |      5279 |     200     2947    10705 |     8857     5279    184 | 86.320 % |
1.59/1.69	c |      6419 |     200     2947    10705 |     9743     6419    185 | 86.320 % |
2.39/2.41	c |      8129 |     200     2947    10705 |    10717     8129    184 | 86.320 % |
3.39/3.44	c |     10693 |     200     2947    10705 |    11789    10693    183 | 86.320 % |
4.29/4.31	c ===============================================================================
4.29/4.31	c New solution: 177
4.29/4.31	o 177
4.29/4.31	c Elapsed CPU time: 4.27635 s	Remaining CPU time: 175.724 s
4.29/4.31	c ===============================================================================
4.29/4.31	c |     11921 |     200     2948    10905 |     5000    11921    182 | 86.320 % |
4.29/4.39	c |     12022 |     200     2948    10905 |     5500     6062    180 | 86.320 % |
4.40/4.43	c |     12172 |     200     2948    10905 |     6050     6212    180 | 86.320 % |
4.40/4.47	c |     12399 |     200     2948    10905 |     6655     6439    180 | 86.320 % |
4.49/4.54	c |     12740 |     200     2948    10905 |     7320     6780    180 | 86.320 % |
4.59/4.63	c |     13247 |     200     2948    10905 |     8052     7287    180 | 86.320 % |
4.69/4.78	c |     14007 |     200     2948    10905 |     8857     8047    180 | 86.320 % |
4.99/5.09	c |     15147 |     200     2948    10905 |     9743     9187    179 | 86.320 % |
5.39/5.50	c ===============================================================================
5.39/5.50	c New solution: 176
5.39/5.50	o 176
5.39/5.50	c Elapsed CPU time: 5.44717 s	Remaining CPU time: 174.553 s
5.39/5.50	c ===============================================================================
5.39/5.50	c |     16730 |     200     2949    11105 |     5000    10770    179 | 86.320 % |
5.59/5.60	c |     16830 |     200     2949    11105 |     5500     5485    178 | 86.320 % |
5.59/5.65	c |     16981 |     200     2949    11105 |     6050     5636    178 | 86.320 % |
5.69/5.71	c |     17206 |     200     2949    11105 |     6655     5861    178 | 86.320 % |
5.69/5.77	c |     17544 |     200     2949    11105 |     7320     6199    178 | 86.320 % |
5.79/5.89	c |     18050 |     200     2949    11105 |     8052     6705    178 | 86.320 % |
5.99/6.04	c |     18810 |     200     2949    11105 |     8857     7465    178 | 86.320 % |
6.39/6.48	c |     19949 |     200     2949    11105 |     9743     8604    178 | 86.320 % |
7.19/7.25	c |     21657 |     200     2949    11105 |    10717    10312    178 | 86.320 % |
7.79/7.89	c ===============================================================================
7.79/7.89	c New solution: 175
7.79/7.89	o 175
7.79/7.89	c Elapsed CPU time: 7.80981 s	Remaining CPU time: 172.19 s
7.79/7.89	c ===============================================================================
7.79/7.89	c |     22900 |     200     2950    11305 |     5000    11555    178 | 86.320 % |
7.89/7.99	c |     23002 |     200     2950    11305 |     5500     5880    177 | 86.320 % |
7.99/8.03	c |     23153 |     200     2950    11305 |     6050     6031    177 | 86.320 % |
8.09/8.14	c |     23379 |     200     2950    11305 |     6655     6257    177 | 86.320 % |
8.18/8.22	c ===============================================================================
8.18/8.22	c New solution: 174
8.18/8.22	o 174
8.18/8.22	c Elapsed CPU time: 8.14076 s	Remaining CPU time: 171.859 s
8.18/8.22	c ===============================================================================
8.18/8.22	c |     23567 |     200     2951    11505 |     5000     6445    177 | 86.320 % |
8.18/8.25	c |     23668 |     200     2951    11505 |     5500     3324    177 | 86.320 % |
8.18/8.28	c |     23819 |     200     2951    11505 |     6050     3475    177 | 86.320 % |
8.29/8.33	c |     24046 |     200     2951    11505 |     6655     3702    177 | 86.320 % |
8.29/8.37	c ===============================================================================
8.29/8.37	c New solution: 173
8.29/8.37	o 173
8.29/8.37	c Elapsed CPU time: 8.29274 s	Remaining CPU time: 171.707 s
8.29/8.37	c ===============================================================================
8.29/8.37	c |     24255 |     200     2952    11705 |     5000     3911    177 | 86.320 % |
8.39/8.40	c |     24356 |     200     2952    11705 |     5500     4012    177 | 86.320 % |
8.39/8.45	c |     24506 |     200     2952    11705 |     6050     4162    177 | 86.320 % |
8.49/8.53	c |     24731 |     200     2952    11705 |     6655     4387    177 | 86.320 % |
8.59/8.64	c |     25068 |     200     2952    11705 |     7320     4724    177 | 86.320 % |
8.79/8.85	c |     25576 |     200     2952    11705 |     8052     5232    177 | 86.320 % |
9.09/9.15	c |     26336 |     200     2952    11705 |     8857     5992    177 | 86.320 % |
9.49/9.55	c |     27475 |     200     2952    11705 |     9743     7131    176 | 86.320 % |
10.39/10.43	c |     29183 |     200     2952    11705 |    10717     8839    176 | 86.320 % |
11.29/11.37	c |     31747 |     200     2952    11705 |    11789    11403    176 | 86.320 % |
12.29/12.32	c |     35591 |     200     2952    11705 |    12968     8634    175 | 86.320 % |
14.19/14.29	c ===============================================================================
14.19/14.29	c New solution: 172
14.19/14.29	o 172
14.19/14.29	c Elapsed CPU time: 14.1658 s	Remaining CPU time: 165.834 s
14.19/14.29	c ===============================================================================
14.19/14.29	c |     40273 |     200     2953    11905 |     5000    13316    175 | 86.320 % |
14.48/14.59	c |     40374 |     200     2953    11905 |     5500     3430    175 | 86.320 % |
14.58/14.60	c |     40524 |     200     2953    11905 |     6050     3580    175 | 86.320 % |
14.58/14.63	c |     40750 |     200     2953    11905 |     6655     3806    175 | 86.320 % |
14.58/14.64	c ===============================================================================
14.58/14.64	c New solution: 171
14.58/14.64	o 171
14.58/14.64	c Elapsed CPU time: 14.5048 s	Remaining CPU time: 165.495 s
14.58/14.64	c ===============================================================================
14.58/14.64	c |     40762 |     200     2954    12105 |     5000     3818    175 | 86.320 % |
14.58/14.67	c |     40864 |     200     2954    12105 |     5500     3920    175 | 86.320 % |
14.58/14.70	c |     41016 |     200     2954    12105 |     6050     4072    174 | 86.320 % |
14.69/14.73	c |     41241 |     200     2954    12105 |     6655     4297    174 | 86.320 % |
14.69/14.79	c |     41578 |     200     2954    12105 |     7320     4634    174 | 86.320 % |
14.78/14.87	c |     42086 |     200     2954    12105 |     8052     5142    174 | 86.320 % |
14.89/14.94	c ===============================================================================
14.89/14.94	c New solution: 170
14.89/14.94	o 170
14.89/14.94	c Elapsed CPU time: 14.8007 s	Remaining CPU time: 165.199 s
14.89/14.94	c ===============================================================================
14.89/14.94	c |     42374 |     200     2955    12305 |     5000     5430    174 | 86.320 % |
14.89/14.99	c |     42474 |     200     2955    12305 |     5500     5530    174 | 86.320 % |
14.99/15.05	c |     42624 |     200     2955    12305 |     6050     5680    174 | 86.320 % |
15.09/15.15	c |     42851 |     200     2955    12305 |     6655     5907    174 | 86.320 % |
15.29/15.32	c |     43188 |     200     2955    12305 |     7320     6244    174 | 86.320 % |
15.49/15.53	c |     43695 |     200     2955    12305 |     8052     6751    174 | 86.320 % |
15.88/15.95	c |     44457 |     200     2955    12305 |     8857     7513    175 | 86.320 % |
16.18/16.24	c |     45597 |     200     2955    12305 |     9743     8653    174 | 86.320 % |
16.88/16.91	c |     47305 |     200     2955    12305 |    10717    10361    174 | 86.320 % |
17.89/17.99	c |     49868 |     200     2955    12305 |    11789     6851    173 | 86.320 % |
19.09/19.19	c |     53715 |     200     2955    12305 |    12968    10698    172 | 86.320 % |
20.68/20.78	c |     59481 |     200     2955    12305 |    14265     9264    171 | 86.320 % |
22.79/22.88	c |     68130 |     200     2955    12305 |    15692    10064    171 | 86.320 % |
28.18/28.26	c |     81105 |     200     2955    12305 |    17261    14478    172 | 86.320 % |
34.68/34.72	c |    100567 |     200     2955    12305 |    18987    15244    171 | 86.320 % |
46.67/46.78	c |    129762 |     200     2955    12305 |    20886    13807    173 | 86.320 % |
70.37/70.42	c |    173553 |     200     2955    12305 |    22974    11040    173 | 86.320 % |
97.36/97.42	c |    239238 |     200     2955    12305 |    25272    22182    173 | 86.320 % |
140.95/141.02	c |    337765 |     200     2955    12305 |    27799    25638    172 | 86.320 % |
161.94/162.04	c ===============================================================================
161.94/162.04	c New solution: 169
161.94/162.04	o 169
161.94/162.04	c Elapsed CPU time: 160.686 s	Remaining CPU time: 19.3144 s
161.94/162.04	c ===============================================================================
161.94/162.04	c |    390116 |     200     2956    12505 |     5000    23145    171 | 86.320 % |
162.44/162.55	c |    390217 |     200     2956    12505 |     5500     5461    171 | 86.320 % |
162.44/162.58	c |    390368 |     200     2956    12505 |     6050     5612    171 | 86.320 % |
162.44/162.60	c ===============================================================================
162.44/162.60	c New solution: 168
162.44/162.60	o 168
162.44/162.60	c Elapsed CPU time: 161.237 s	Remaining CPU time: 18.7625 s
162.44/162.60	c ===============================================================================
162.44/162.60	c |    390421 |     200     2957    12705 |     5000     5665    171 | 86.320 % |
162.54/162.63	c |    390522 |     200     2957    12705 |     5500     5766    171 | 86.320 % |
162.54/162.67	c |    390674 |     200     2957    12705 |     6050     5918    171 | 86.320 % |
162.64/162.74	c |    390900 |     200     2957    12705 |     6655     6144    172 | 86.320 % |
162.75/162.84	c |    391237 |     200     2957    12705 |     7320     6481    172 | 86.320 % |
162.94/163.07	c |    391744 |     200     2957    12705 |     8052     6988    173 | 86.320 % |
163.24/163.35	c |    392504 |     200     2957    12705 |     8857     7748    173 | 86.320 % |
163.64/163.75	c |    393644 |     200     2957    12705 |     9743     8888    173 | 86.320 % |
164.24/164.36	c |    395354 |     200     2957    12705 |    10717    10598    173 | 86.320 % |
165.14/165.22	c |    397918 |     200     2957    12705 |    11789     7088    173 | 86.320 % |
166.23/166.31	c |    401762 |     200     2957    12705 |    12968    10932    172 | 86.320 % |
168.34/168.46	c |    407529 |     200     2957    12705 |    14265     9502    170 | 86.320 % |
171.84/171.91	c |    416178 |     200     2957    12705 |    15692    10302    170 | 86.320 % |
171.94/172.05	c ===============================================================================
171.94/172.05	c New solution: 167
171.94/172.05	o 167
171.94/172.05	c Elapsed CPU time: 170.594 s	Remaining CPU time: 9.40593 s
171.94/172.05	c ===============================================================================
171.94/172.05	c |    416783 |     200     2958    12905 |     5000    10907    170 | 86.320 % |
172.04/172.14	c |    416883 |     200     2958    12905 |     5500     5554    169 | 86.320 % |
172.04/172.16	c |    417033 |     200     2958    12905 |     6050     5704    169 | 86.320 % |
172.14/172.23	c |    417258 |     200     2958    12905 |     6655     5929    170 | 86.320 % |
172.24/172.31	c |    417598 |     200     2958    12905 |     7320     6269    170 | 86.320 % |
172.34/172.43	c |    418104 |     200     2958    12905 |     8052     6775    170 | 86.320 % |
172.54/172.62	c |    418864 |     200     2958    12905 |     8857     7535    169 | 86.320 % |
172.74/172.88	c |    420004 |     200     2958    12905 |     9743     8675    169 | 86.320 % |
173.33/173.43	c |    421714 |     200     2958    12905 |    10717    10385    169 | 86.320 % |
174.24/174.38	c |    424277 |     200     2958    12905 |    11789     6874    169 | 86.320 % |
175.94/176.03	c |    428121 |     200     2958    12905 |    12968    10718    169 | 86.320 % |
178.04/178.12	c |    433889 |     200     2958    12905 |    14265     9289    169 | 86.320 % |
180.24/180.40	c |    442539 |     200     2958    12905 |    15692    10095    169 | 86.320 % |
181.44/181.57	c There are 1262 assigned variables. 0 in cost function.
181.93/182.00	c core #1
181.93/182.00	c #cores: 1
181.93/182.00	c Final Weight: 167
181.93/182.00	o 167
181.93/182.00	s OPTIMUM FOUND
181.93/182.00	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 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462
181.93/182.00	c Total CPU time: 180.435 s

Verifier Data 

OK	-33

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702556-1278570095/watcher-2702556-1278570095 -o /tmp/evaluation-result-2702556-1278570095/solver-2702556-1278570095 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702556-1278570095.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: 1.01 1.01 1.00 3/106 596
/proc/meminfo: memFree=1737432/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=2832 CPUtime=0
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 25217901 2899968 223 1992294400 134512640 135751879 4287987152 18446744073709551615 134613632 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 708 223 138 303 0 377 0

[startup+0.0559019 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 596
/proc/meminfo: memFree=1737432/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=3388 CPUtime=0.05
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 512 0 0 0 5 0 0 0 18 0 1 0 25217901 3469312 405 1992294400 134512640 135751879 4287987152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 847 405 147 303 0 542 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3388

[startup+0.101908 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 596
/proc/meminfo: memFree=1737432/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=3772 CPUtime=0.09
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 604 0 0 0 9 0 0 0 18 0 1 0 25217901 3862528 497 1992294400 134512640 135751879 4287987152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 943 497 147 303 0 638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3772

[startup+0.301928 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 596
/proc/meminfo: memFree=1737432/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=4800 CPUtime=0.29
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 869 0 0 0 28 1 0 0 18 0 1 0 25217901 4915200 762 1992294400 134512640 135751879 4287987152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 1200 762 147 303 0 895 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4800

[startup+0.70197 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 596
/proc/meminfo: memFree=1737432/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=6340 CPUtime=0.69
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 1263 0 0 0 68 1 0 0 18 0 1 0 25217901 6492160 1156 1992294400 134512640 135751879 4287987152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 1585 1156 147 303 0 1280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6340

[startup+1.50205 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 597
/proc/meminfo: memFree=1732836/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=8276 CPUtime=1.49
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 1731 0 0 0 148 1 0 0 19 0 1 0 25217901 8474624 1624 1992294400 134512640 135751879 4287987152 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 2069 1624 147 303 0 1764 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8276

[startup+3.10122 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 597
/proc/meminfo: memFree=1730604/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=11636 CPUtime=3.09
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 2574 0 0 0 307 2 0 0 24 0 1 0 25217901 11915264 2467 1992294400 134512640 135751879 4287987152 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 2909 2467 147 303 0 2604 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11636

[startup+6.30155 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 597
/proc/meminfo: memFree=1722916/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=19384 CPUtime=6.29
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 4499 0 0 0 623 6 0 0 25 0 1 0 25217901 19849216 4392 1992294400 134512640 135751879 4287987152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 4846 4392 148 303 0 4541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19384

[startup+12.7012 s]
/proc/loadavg: 1.16 1.05 1.01 2/107 597
/proc/meminfo: memFree=1708284/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=32848 CPUtime=12.68
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 7875 0 0 0 1257 11 0 0 25 0 1 0 25217901 33636352 7768 1992294400 134512640 135751879 4287987152 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 8212 7768 148 303 0 7907 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32848

[startup+25.5015 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 599
/proc/meminfo: memFree=1676912/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=62636 CPUtime=25.49
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 15300 0 0 0 2525 24 0 0 25 0 1 0 25217901 64139264 15193 1992294400 134512640 135751879 4287987152 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 15659 15193 148 303 0 15354 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62636

[startup+51.1012 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 602
/proc/meminfo: memFree=1628304/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=111924 CPUtime=51.07
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 27597 0 0 0 5061 46 0 0 25 0 1 0 25217901 114610176 27490 1992294400 134512640 135751879 4287987152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 27981 27490 148 303 0 27676 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 111924

[startup+102.308 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 602
/proc/meminfo: memFree=1539892/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=199696 CPUtime=102.27
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 49495 0 0 0 10143 84 0 0 25 0 1 0 25217901 204488704 49388 1992294400 134512640 135751879 4287987152 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 49924 49388 148 303 0 49619 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 199696

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1432508/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=307708 CPUtime=162.24
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 76467 0 0 0 16094 130 0 0 25 0 1 0 25217901 315092992 76360 1992294400 134512640 135751879 4287987152 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 76927 76360 148 303 0 76622 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 307708

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

[startup+166.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1423580/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=316712 CPUtime=166.23
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 78700 0 0 0 16489 134 0 0 25 0 1 0 25217901 324313088 78593 1992294400 134512640 135751879 4287987152 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 79178 78593 148 303 0 78873 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 316712

[startup+172.708 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1409444/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=330120 CPUtime=172.65
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 82044 0 0 0 17123 142 0 0 25 0 1 0 25217901 338042880 81937 1992294400 134512640 135751879 4287987152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 82530 81937 148 303 0 82225 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 330120

[startup+175.901 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1402500/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=336784 CPUtime=175.84
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 83722 0 0 0 17439 145 0 0 25 0 1 0 25217901 344866816 83615 1992294400 134512640 135751879 4287987152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 84196 83615 148 303 0 83891 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 336784

[startup+179.101 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1397912/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=343936 CPUtime=179.04
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 85502 0 0 0 17756 148 0 0 25 0 1 0 25217901 352190464 85395 1992294400 134512640 135751879 4287987152 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 85984 85395 148 303 0 85679 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 343936

[startup+180.702 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1391588/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=348568 CPUtime=180.64
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 86667 0 0 0 17914 150 0 0 25 0 1 0 25217901 356933632 86560 1992294400 134512640 135751879 4287987152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 87142 86560 148 303 0 86837 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 348568

[startup+181.508 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1389480/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=349848 CPUtime=181.44
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 86999 0 0 0 17993 151 0 0 25 0 1 0 25217901 358244352 86892 1992294400 134512640 135751879 4287987152 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 87462 86892 148 303 0 87157 0
Current children cumulated CPU time (s) 181.44
Current children cumulated vsize (KiB) 349848

[startup+181.901 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1389480/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=350376 CPUtime=181.83
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 87122 0 0 0 18032 151 0 0 25 0 1 0 25217901 358785024 87015 1992294400 134512640 135751879 4287987152 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 87594 87015 149 303 0 87289 0
Current children cumulated CPU time (s) 181.83
Current children cumulated vsize (KiB) 350376

[startup+182.001 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 604
/proc/meminfo: memFree=1389480/2059040 swapFree=4139656/4192956
[pid=596] ppid=594 vsize=350376 CPUtime=181.93
/proc/596/stat : 596 (wbo1.4b) R 594 596 32297 0 -1 4202496 87122 0 0 0 18042 151 0 0 25 0 1 0 25217901 358785024 87015 1992294400 134512640 135751879 4287987152 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/596/statm: 87594 87015 149 303 0 87289 0
Current children cumulated CPU time (s) 181.93
Current children cumulated vsize (KiB) 350376

Child status: 0
Real time (s): 182.041
CPU time (s): 181.985
CPU user time (s): 180.435
CPU system time (s): 1.55076
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 350376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.435
system time used= 1.55076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87123
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= 8
involuntary context switches= 149

runsolver used 0.315951 second user time and 0.863868 second system time

The end

Launcher Data 

Begin job on node083 at 2010-07-08 08:21:35
IDJOB=2702556
IDBENCH=48213
IDSOLVER=1161
FILE ID=node083/2702556-1278570095
PBS_JOBID= 11239575
Free space on /tmp= 62544 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_4.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-2702556-1278570095/watcher-2702556-1278570095 -o /tmp/evaluation-result-2702556-1278570095/solver-2702556-1278570095 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702556-1278570095.opb

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

MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7
RANDOM SEED=252412961

node083.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.249
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.249
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	: 5999.80
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1738340 kB
Buffers:         59744 kB
Cached:         157856 kB
SwapCached:       6652 kB
Active:          98472 kB
Inactive:       136948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738340 kB
SwapTotal:     4192956 kB
SwapFree:      4139656 kB
Dirty:            2612 kB
Writeback:           0 kB
AnonPages:       15876 kB
Mapped:          12036 kB
Slab:            63104 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   186264 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-2702556-1278570095.opb

Free space on /tmp at the end= 62540 MiB
End job on node083 at 2010-07-08 08:24:37