Trace number 2702387

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.4b (fixed)? (TO) 1800.22 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
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 constraint26
Maximum length of a constraint44
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)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702387-1278565592.opb.
0.00/0.00	c Instance file HOME/instance-2702387-1278565592.opb
0.00/0.00	c File size is 458821 bytes.
0.00/0.08	c Highest Coefficient sum: 45
0.00/0.08	c ============================[ Problem Statistics ]=============================
0.00/0.08	c |                                                                             |
0.00/0.08	c |  Parsing time:          0.08         s                                      |
0.00/0.08	c |  Number Variables:      6404                                                |
0.00/0.08	c |  Number Clauses:        6404                                                |
0.00/0.08	c |  Number Cardinality:    0                                                   |
0.00/0.08	c |  Number PB Constraints: 6204                                                |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |    6404    12608    43628 |     5000        0    nan |  0.000 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 199
0.00/0.09	o 199
0.00/0.09	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |    6404    12609    43828 |     5000        0    nan |  0.000 % |
0.00/0.10	c ===============================================================================
0.00/0.10	c New solution: 198
0.00/0.10	o 198
0.00/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.00/0.10	c ===============================================================================
0.00/0.10	c |         0 |    6404    12610    44028 |     5000        0    nan |  0.000 % |
0.10/0.10	c ===============================================================================
0.10/0.10	c New solution: 197
0.10/0.10	o 197
0.10/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 179.894 s
0.10/0.10	c ===============================================================================
0.10/0.10	c |         0 |    6404    12611    44228 |     5000        0    nan |  0.000 % |
0.10/0.11	c ===============================================================================
0.10/0.11	c New solution: 196
0.10/0.11	o 196
0.10/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 179.889 s
0.10/0.11	c ===============================================================================
0.10/0.11	c |         0 |    6404    12612    44428 |     5000        0    nan |  0.000 % |
0.10/0.11	c ===============================================================================
0.10/0.11	c New solution: 195
0.10/0.11	o 195
0.10/0.11	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 179.885 s
0.10/0.11	c ===============================================================================
0.10/0.11	c |         0 |    6404    12613    44628 |     5000        0    nan |  0.000 % |
0.10/0.12	c ===============================================================================
0.10/0.12	c New solution: 194
0.10/0.12	o 194
0.10/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 179.881 s
0.10/0.12	c ===============================================================================
0.10/0.12	c |         0 |    6404    12614    44828 |     5000        0    nan |  0.000 % |
0.10/0.12	c ===============================================================================
0.10/0.12	c New solution: 193
0.10/0.12	o 193
0.10/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 179.877 s
0.10/0.12	c ===============================================================================
0.10/0.12	c |         0 |    6404    12615    45028 |     5000        0    nan |  0.000 % |
0.10/0.13	c ===============================================================================
0.10/0.13	c New solution: 192
0.10/0.13	o 192
0.10/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 179.873 s
0.10/0.13	c ===============================================================================
0.10/0.13	c |         0 |    6404    12616    45228 |     5000        0    nan |  0.000 % |
0.10/0.13	c ===============================================================================
0.10/0.13	c New solution: 170
0.10/0.13	o 170
0.10/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 179.868 s
0.10/0.13	c ===============================================================================
0.10/0.13	c |         0 |    6404    12617    45428 |     5000        0    nan |  0.000 % |
0.10/0.14	c ===============================================================================
0.10/0.14	c New solution: 169
0.10/0.14	o 169
0.10/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 179.863 s
0.10/0.14	c ===============================================================================
0.10/0.14	c |         0 |    6404    12618    45628 |     5000        0    nan |  0.000 % |
0.10/0.14	c ===============================================================================
0.10/0.14	c New solution: 168
0.10/0.14	o 168
0.10/0.14	c Elapsed CPU time: 0.140978 s	Remaining CPU time: 179.859 s
0.10/0.14	c ===============================================================================
0.10/0.14	c |         0 |    6404    12619    45828 |     5000        0    nan |  0.000 % |
0.10/0.15	c ===============================================================================
0.10/0.15	c New solution: 148
0.10/0.15	o 148
0.10/0.15	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 179.854 s
0.10/0.15	c ===============================================================================
0.10/0.15	c |         0 |    6404    12620    46028 |     5000        0    nan |  0.000 % |
0.10/0.15	c ===============================================================================
0.10/0.15	c New solution: 147
0.10/0.15	o 147
0.10/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 179.85 s
0.10/0.15	c ===============================================================================
0.10/0.15	c |         0 |    6404    12621    46228 |     5000        0    nan |  0.000 % |
0.10/0.16	c ===============================================================================
0.10/0.16	c New solution: 146
0.10/0.16	o 146
0.10/0.16	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 179.845 s
0.10/0.16	c ===============================================================================
0.10/0.16	c |         0 |    6404    12622    46428 |     5000        0    nan |  0.000 % |
0.10/0.17	c ===============================================================================
0.10/0.17	c New solution: 145
0.10/0.17	o 145
0.10/0.17	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 179.841 s
0.10/0.17	c ===============================================================================
0.10/0.17	c |         0 |    6404    12623    46628 |     5000        0    nan |  0.000 % |
0.10/0.17	c ===============================================================================
0.10/0.17	c New solution: 99
0.10/0.17	o 99
0.10/0.17	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 179.835 s
0.10/0.17	c ===============================================================================
0.10/0.17	c |         0 |    6404    12624    46828 |     5000        0    nan |  0.000 % |
0.10/0.18	c ===============================================================================
0.10/0.18	c New solution: 22
0.10/0.18	o 22
0.10/0.18	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 179.829 s
0.10/0.18	c ===============================================================================
0.10/0.18	c |         0 |    6404    12625    47028 |     5000        0    nan |  0.000 % |
0.19/0.25	c |       100 |    6404    12625    47028 |     5500      100     51 |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 21
0.19/0.26	o 21
0.19/0.26	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 179.747 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |       100 |    6404    12626    47228 |     5000      100     51 |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 18
0.19/0.27	o 18
0.19/0.27	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 179.741 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |       100 |    6404    12627    47428 |     5000      100     51 |  0.000 % |
0.19/0.29	c |       200 |    6404    12627    47428 |     5500      200     76 |  0.000 % |
0.29/0.32	c |       350 |    6404    12627    47428 |     6050      350     98 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 17
0.29/0.34	o 17
0.29/0.34	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 179.669 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |       391 |    6404    12628    47628 |     5000      391     98 |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 16
0.29/0.35	o 16
0.29/0.35	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 179.661 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |       393 |    6404    12629    47828 |     5000      393     98 |  0.000 % |
0.29/0.37	c |       494 |    6404    12629    47828 |     5500      494    110 |  0.000 % |
0.39/0.41	c |       645 |    6404    12629    47828 |     6050      645    121 |  0.000 % |
0.39/0.47	c |       871 |    6404    12629    47828 |     6655      871    126 |  0.000 % |
0.49/0.55	c |      1209 |    6404    12629    47828 |     7320     1209    126 |  0.000 % |
0.59/0.68	c |      1717 |    6404    12629    47828 |     8052     1717    125 |  0.000 % |
0.79/0.90	c |      2477 |    6404    12629    47828 |     8857     2477    126 |  0.000 % |
1.10/1.20	c |      3617 |    6404    12629    47828 |     9743     3617    121 |  0.000 % |
1.69/1.71	c |      5326 |    6404    12629    47828 |    10717     5326    134 |  0.000 % |
2.49/2.57	c |      7888 |    6404    12629    47828 |    11789     7888    132 |  0.000 % |
3.79/3.85	c |     11733 |    6404    12629    47828 |    12968    11733    131 |  0.000 % |
5.69/5.76	c |     17499 |    6404    12629    47828 |    14265    17499    139 |  0.000 % |
6.09/6.17	c ===============================================================================
6.09/6.17	c New solution: 15
6.09/6.17	o 15
6.09/6.17	c Elapsed CPU time: 6.09807 s	Remaining CPU time: 173.902 s
6.09/6.17	c ===============================================================================
6.09/6.17	c |     18694 |    6404    12630    48028 |     5000     9945    149 |  0.000 % |
6.19/6.22	c |     18794 |    6404    12630    48028 |     5500     5073    155 |  0.000 % |
6.19/6.26	c |     18946 |    6404    12630    48028 |     6050     5225    154 |  0.000 % |
6.29/6.33	c |     19171 |    6404    12630    48028 |     6655     5450    154 |  0.000 % |
6.39/6.44	c |     19508 |    6404    12630    48028 |     7320     5787    151 |  0.000 % |
6.59/6.61	c |     20015 |    6404    12630    48028 |     8052     6294    147 |  0.000 % |
6.78/6.82	c |     20776 |    6404    12630    48028 |     8857     7055    148 |  0.000 % |
7.09/7.18	c |     21915 |    6404    12630    48028 |     9743     8194    147 |  0.000 % |
7.59/7.70	c |     23623 |    6404    12630    48028 |    10717     9902    144 |  0.000 % |
8.49/8.53	c |     26185 |    6404    12630    48028 |    11789    12464    142 |  0.000 % |
9.79/9.88	c |     30029 |    6404    12630    48028 |    12968    10076    153 |  0.000 % |
11.89/11.95	c |     35796 |    6404    12630    48028 |    14265    15843    158 |  0.000 % |
15.28/15.31	c |     44447 |    6404    12630    48028 |    15692    16573    165 |  0.000 % |
20.58/20.60	c |     57421 |    6404    12630    48028 |    17261    10753    143 |  0.000 % |
29.69/29.74	c |     76884 |    6404    12630    48028 |    18987    18814    134 |  0.000 % |
43.48/43.55	c |    106076 |    6404    12630    48028 |    20886    21694    168 |  0.000 % |
68.87/68.99	c |    149866 |    6404    12630    48028 |    22974    11419    150 |  0.000 % |
71.68/71.70	c ===============================================================================
71.68/71.70	c New solution: 14
71.68/71.70	o 14
71.68/71.70	c Elapsed CPU time: 71.0062 s	Remaining CPU time: 108.994 s
71.68/71.70	c ===============================================================================
71.68/71.70	c |    156658 |    6404    12631    48228 |     5000    18211    154 |  0.000 % |
71.78/71.80	c |    156758 |    6404    12631    48228 |     5500     4653    156 |  0.000 % |
71.78/71.84	c |    156909 |    6404    12631    48228 |     6050     4804    155 |  0.000 % |
71.88/71.91	c |    157134 |    6404    12631    48228 |     6655     5029    154 |  0.000 % |
71.98/72.01	c |    157471 |    6404    12631    48228 |     7320     5366    152 |  0.000 % |
72.08/72.19	c |    157977 |    6404    12631    48228 |     8052     5872    149 |  0.000 % |
72.38/72.46	c |    158736 |    6404    12631    48228 |     8857     6631    146 |  0.000 % |
72.87/72.92	c |    159876 |    6404    12631    48228 |     9743     7771    146 |  0.000 % |
73.47/73.55	c |    161585 |    6404    12631    48228 |    10717     9480    141 |  0.000 % |
74.37/74.47	c |    164147 |    6404    12631    48228 |    11789    12042    137 |  0.000 % |
75.88/75.96	c |    167991 |    6404    12631    48228 |    12968     9865    126 |  0.000 % |
77.97/78.06	c |    173757 |    6404    12631    48228 |    14265    15631    133 |  0.000 % |
81.48/81.52	c |    182406 |    6404    12631    48228 |    15692    16465    138 |  0.000 % |
87.37/87.40	c |    195381 |    6404    12631    48228 |    17261    10858    121 |  0.000 % |
95.57/95.70	c |    214842 |    6404    12631    48228 |    18987    18705    142 |  0.000 % |
109.97/110.01	c |    244035 |    6404    12631    48228 |    20886    22037    134 |  0.000 % |
132.46/132.53	c |    287824 |    6404    12631    48228 |    22974    11585    136 |  0.000 % |
170.35/170.41	c |    353509 |    6404    12631    48228 |    25272    12880    123 |  0.000 % |
181.56/181.61	c There are 0 assigned variables. 0 in cost function.
182.05/182.16	c core #1
182.05/182.16	c 
182.05/182.16	c 
182.05/182.16	c Core size: 52	Core Weight: 1	Total Weight: 1
182.05/182.16	c
182.05/182.16	c
182.05/182.16	c core #2
182.05/182.16	c 
182.05/182.16	c 
182.05/182.16	c Core size: 68	Core Weight: 1	Total Weight: 2
182.05/182.16	c
182.05/182.16	c
182.05/182.16	c ============================[ Search Statistics ]==============================
182.05/182.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.05/182.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.05/182.16	c ===============================================================================
182.05/182.16	c |         0 |    2020    12833    32296 |     5000        0    nan |  0.000 % |
182.05/182.17	c ===============================================================================
182.15/182.22	c core #3
182.15/182.22	c 
182.15/182.22	c 
182.15/182.22	c Core size: 300	Core Weight: 1	Total Weight: 3
182.15/182.22	c
182.15/182.22	c
182.15/182.22	c ============================[ Search Statistics ]==============================
182.15/182.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.15/182.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.15/182.22	c ===============================================================================
182.15/182.22	c |         0 |    5414    12834    43135 |     5000        0    nan |  0.000 % |
182.25/182.31	c |       103 |    5414    12834    43135 |     5500      103    187 | 17.982 % |
182.34/182.47	c |       255 |    5414    12834    43135 |     6050      255    206 | 17.982 % |
182.65/182.73	c ===============================================================================
182.65/182.78	c core #4
182.65/182.78	c 
182.65/182.78	c 
182.65/182.78	c Core size: 440	Core Weight: 1	Total Weight: 4
182.65/182.78	c
182.65/182.78	c
182.65/182.78	c ============================[ Search Statistics ]==============================
182.65/182.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.65/182.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.65/182.78	c ===============================================================================
182.65/182.78	c |         0 |    6772    12835    49139 |     5000        0    nan |  0.000 % |
182.74/182.86	c |       100 |    6772    12835    49139 |     5500      100    178 |  0.397 % |
182.94/183.04	c |       251 |    6772    12835    49139 |     6050      251    172 |  0.397 % |
183.24/183.35	c |       477 |    6772    12835    49139 |     6655      477    211 |  0.397 % |
183.75/183.83	c |       814 |    6772    12835    49139 |     7320      814    197 |  0.397 % |
184.45/184.51	c |      1322 |    6772    12835    49139 |     8052     1322    196 |  0.397 % |
185.55/185.63	c |      2083 |    6772    12835    49139 |     8857     2083    210 |  0.397 % |
187.55/187.69	c |      3222 |    6772    12835    49139 |     9743     3222    219 |  0.397 % |
190.36/190.46	c |      4934 |    6772    12835    49139 |    10717     4934    226 |  0.397 % |
195.24/195.38	c |      7496 |    6772    12835    49139 |    11789     7496    245 |  0.397 % |
204.24/204.33	c |     11345 |    6772    12835    49139 |    12968    11345    262 |  0.397 % |
218.04/218.15	c |     17111 |    6772    12835    49139 |    14265    10061    274 |  0.397 % |
241.94/242.02	c |     25764 |    6772    12835    49139 |    15692    10823    328 |  0.397 % |
276.42/276.50	c |     38738 |    6772    12835    49139 |    17261    15278    326 |  0.397 % |
308.21/308.39	c ===============================================================================
309.21/309.36	c core #5
309.21/309.36	c 
309.21/309.36	c 
309.21/309.36	c Core size: 414	Core Weight: 1	Total Weight: 5
309.21/309.36	c
309.21/309.36	c
309.21/309.36	c ============================[ Search Statistics ]==============================
309.21/309.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
309.21/309.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
309.21/309.36	c ===============================================================================
309.21/309.36	c |         0 |    6999    12838    49624 |     5000        0    nan |  0.000 % |
309.32/309.47	c |       107 |    6999    12838    49624 |     5500      107    199 |  0.000 % |
309.42/309.59	c |       259 |    6999    12838    49624 |     6050      259    177 |  0.000 % |
309.82/309.91	c |       485 |    6999    12838    49624 |     6655      485    154 |  0.000 % |
310.23/310.35	c |       823 |    6999    12838    49624 |     7320      823    170 |  0.000 % |
310.82/310.99	c |      1330 |    6999    12838    49624 |     8052     1330    168 |  0.000 % |
311.82/311.90	c |      2090 |    6999    12838    49624 |     8857     2090    190 |  0.000 % |
313.32/313.41	c |      3229 |    6999    12838    49624 |     9743     3229    232 |  0.000 % |
315.22/315.35	c |      4937 |    6999    12838    49624 |    10717     4937    261 |  0.000 % |
319.41/319.54	c |      7499 |    6999    12838    49624 |    11789     7499    320 |  0.000 % |
326.51/326.68	c |     11344 |    6999    12838    49624 |    12968    11344    334 |  0.000 % |
338.61/338.73	c |     17113 |    6999    12838    49624 |    14265     9920    346 |  0.000 % |
358.40/358.59	c |     25765 |    6999    12838    49624 |    15692    10797    386 |  0.000 % |
386.90/387.08	c |     38742 |    6999    12838    49624 |    17261    14953    301 |  0.000 % |
430.79/430.97	c |     58205 |    6999    12838    49624 |    18987    15192    325 |  0.000 % |
490.07/490.26	c |     87398 |    6999    12838    49624 |    20886    12816    339 |  0.000 % |
594.55/594.73	c |    131188 |    6999    12838    49624 |    22974    22359    375 |  0.000 % |
755.81/756.01	c |    196872 |    6999    12838    49624 |    25272    14777    278 |  0.000 % |
1044.64/1045.00	c |    295400 |    6999    12838    49624 |    27799    17906    380 |  0.000 % |
1482.04/1482.48	c |    443191 |    6999    12838    49624 |    30579    18668    551 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702387-1278565592/watcher-2702387-1278565592 -o /tmp/evaluation-result-2702387-1278565592/solver-2702387-1278565592 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702387-1278565592.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.00 1.00 1.00 3/106 29496
/proc/meminfo: memFree=1834896/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=3596 CPUtime=0
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 24769902 3682304 322 1992294400 134512640 135752675 4287322496 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 899 323 137 303 0 481 0

[startup+0.106223 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29496
/proc/meminfo: memFree=1834896/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=5060 CPUtime=0.1
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 1175 0 0 0 10 0 0 0 20 0 1 0 24769902 5181440 799 1992294400 134512640 135752675 4287322496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 1265 799 143 303 0 960 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5060

[startup+0.201232 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29496
/proc/meminfo: memFree=1834896/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=5192 CPUtime=0.19
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 1198 0 0 0 18 1 0 0 20 0 1 0 24769902 5316608 822 1992294400 134512640 135752675 4287322496 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 1298 822 144 303 0 993 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5192

[startup+0.30124 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29496
/proc/meminfo: memFree=1834896/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=5324 CPUtime=0.29
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 1227 0 0 0 28 1 0 0 20 0 1 0 24769902 5451776 851 1992294400 134512640 135752675 4287322496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 1331 851 145 303 0 1026 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5324

[startup+0.701274 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29496
/proc/meminfo: memFree=1834896/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=6380 CPUtime=0.69
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 1479 0 0 0 68 1 0 0 21 0 1 0 24769902 6533120 1103 1992294400 134512640 135752675 4287322496 18446744073709551615 134638073 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 1595 1103 145 303 0 1290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6380

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29497
/proc/meminfo: memFree=1830548/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=8092 CPUtime=1.49
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 1931 0 0 0 147 2 0 0 23 0 1 0 24769902 8286208 1555 1992294400 134512640 135752675 4287322496 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 2023 1556 145 303 0 1718 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8092

[startup+3.10048 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29497
/proc/meminfo: memFree=1827820/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=11392 CPUtime=3.09
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 2737 0 0 0 305 4 0 0 25 0 1 0 24769902 11665408 2361 1992294400 134512640 135752675 4287322496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 2848 2361 145 303 0 2543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11392

[startup+6.30076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29497
/proc/meminfo: memFree=1820752/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=18236 CPUtime=6.29
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 4440 0 0 0 622 7 0 0 25 0 1 0 24769902 18673664 4064 1992294400 134512640 135752675 4287322496 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 4559 4064 145 303 0 4254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18236

[startup+12.7003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29497
/proc/meminfo: memFree=1806616/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=31928 CPUtime=12.69
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 7872 0 0 0 1253 16 0 0 25 0 1 0 24769902 32694272 7496 1992294400 134512640 135752675 4287322496 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 7982 7496 145 303 0 7677 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31928

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29497
/proc/meminfo: memFree=1784916/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=52576 CPUtime=25.49
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 13046 0 0 0 2520 29 0 0 25 0 1 0 24769902 53837824 12670 1992294400 134512640 135752675 4287322496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 13144 12670 145 303 0 12839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52576

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29498
/proc/meminfo: memFree=1746848/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=91228 CPUtime=51.08
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 22684 0 0 0 5057 51 0 0 25 0 1 0 24769902 93417472 22308 1992294400 134512640 135752675 4287322496 18446744073709551615 135209702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 22807 22308 145 303 0 22502 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91228

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29499
/proc/meminfo: memFree=1673564/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=163388 CPUtime=102.27
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 40715 0 0 0 10131 96 0 0 25 0 1 0 24769902 167309312 40339 1992294400 134512640 135752675 4287322496 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 40847 40339 145 303 0 40542 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163388

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29501
/proc/meminfo: memFree=1599288/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=238396 CPUtime=162.25
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 59457 0 0 0 16083 142 0 0 25 0 1 0 24769902 244117504 59081 1992294400 134512640 135752675 4287322496 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 59599 59081 145 303 0 59294 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 238396

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29503
/proc/meminfo: memFree=1569156/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=267268 CPUtime=222.25
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 66906 0 0 0 22057 168 0 0 25 0 1 0 24769902 273682432 66386 1992294400 134512640 135752675 4287322496 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 66817 66386 146 303 0 66512 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 267268

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29504
/proc/meminfo: memFree=1534312/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=302400 CPUtime=282.23
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 75665 0 0 0 28032 191 0 0 25 0 1 0 24769902 309657600 75145 1992294400 134512640 135752675 4287322496 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 75600 75145 146 303 0 75295 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 302400

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29505
/proc/meminfo: memFree=1508024/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=328336 CPUtime=342.21
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 82139 0 0 0 34008 213 0 0 25 0 1 0 24769902 336216064 81619 1992294400 134512640 135752675 4287322496 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 82084 81619 146 303 0 81779 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 328336

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29507
/proc/meminfo: memFree=1469212/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=367400 CPUtime=402.2
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 91902 0 0 0 39980 240 0 0 25 0 1 0 24769902 376217600 91382 1992294400 134512640 135752675 4287322496 18446744073709551615 134616024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 91850 91382 146 303 0 91545 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 367400

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29509
/proc/meminfo: memFree=1425192/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=410984 CPUtime=462.18
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 102807 0 0 0 45952 266 0 0 25 0 1 0 24769902 420847616 102287 1992294400 134512640 135752675 4287322496 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 102746 102287 146 303 0 102441 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 410984

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29511
/proc/meminfo: memFree=1371252/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=465668 CPUtime=522.17
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 116466 0 0 0 51919 298 0 0 25 0 1 0 24769902 476844032 115946 1992294400 134512640 135752675 4287322496 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 116417 115946 146 303 0 116112 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 465668

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29512
/proc/meminfo: memFree=1326116/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=509852 CPUtime=582.16
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 127501 0 0 0 57895 321 0 0 25 0 1 0 24769902 522088448 126981 1992294400 134512640 135752675 4287322496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 127463 126981 146 303 0 127158 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 509852

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29513
/proc/meminfo: memFree=1271184/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=565800 CPUtime=642.14
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 141477 0 0 0 63866 348 0 0 25 0 1 0 24769902 579379200 140957 1992294400 134512640 135752675 4287322496 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 141450 140957 146 303 0 141145 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 565800

[startup+702.302 s]

################
# More data... #
################

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29523
/proc/meminfo: memFree=1101800/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=733168 CPUtime=882.08
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 183272 0 0 0 87766 442 0 0 25 0 1 0 24769902 750764032 182752 1992294400 134512640 135752675 4287322496 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 183292 182752 146 303 0 182987 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 733168

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29524
/proc/meminfo: memFree=1057656/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=777428 CPUtime=942.07
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 194339 0 0 0 93741 466 0 0 25 0 1 0 24769902 796086272 193819 1992294400 134512640 135752675 4287322496 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 194357 193819 146 303 0 194052 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 777428

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29526
/proc/meminfo: memFree=1017108/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=817632 CPUtime=1002.06
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 204387 0 0 0 99718 488 0 0 25 0 1 0 24769902 837255168 203867 1992294400 134512640 135752675 4287322496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 204408 203867 146 303 0 204103 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 817632

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29528
/proc/meminfo: memFree=979908/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=855568 CPUtime=1062.04
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 213866 0 0 0 105696 508 0 0 25 0 1 0 24769902 876101632 213346 1992294400 134512640 135752675 4287322496 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 213892 213346 146 303 0 213587 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 855568

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29530
/proc/meminfo: memFree=927332/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=907436 CPUtime=1122.03
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 226799 0 0 0 111671 532 0 0 25 0 1 0 24769902 929214464 226279 1992294400 134512640 135752675 4287322496 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 226859 226279 146 303 0 226554 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 907436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29531
/proc/meminfo: memFree=871408/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=964448 CPUtime=1182.01
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 241039 0 0 0 117645 556 0 0 25 0 1 0 24769902 987594752 240519 1992294400 134512640 135752675 4287322496 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 241112 240519 146 303 0 240807 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 964448

[startup+1242.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 29532
/proc/meminfo: memFree=820816/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1013776 CPUtime=1241.99
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 253369 0 0 0 123618 581 0 0 25 0 1 0 24769902 1038106624 252849 1992294400 134512640 135752675 4287322496 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 253444 252849 146 303 0 253139 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1013776

[startup+1302.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 29534
/proc/meminfo: memFree=775556/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1059548 CPUtime=1301.98
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 264802 0 0 0 129594 604 0 0 25 0 1 0 24769902 1084977152 264282 1992294400 134512640 135752675 4287322496 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 264887 264282 146 303 0 264582 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1059548

[startup+1362.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 29536
/proc/meminfo: memFree=722980/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1111896 CPUtime=1361.97
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 277879 0 0 0 135572 625 0 0 25 0 1 0 24769902 1138581504 277359 1992294400 134512640 135752675 4287322496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 277974 277359 146 303 0 277669 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1111896

[startup+1422.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 29538
/proc/meminfo: memFree=668420/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1165804 CPUtime=1421.97
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 291368 0 0 0 141545 652 0 0 25 0 1 0 24769902 1193783296 290848 1992294400 134512640 135752675 4287322496 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 291451 290848 146 303 0 291146 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1165804

[startup+1482.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 29539
/proc/meminfo: memFree=612124/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1222312 CPUtime=1481.94
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 305489 0 0 0 147516 678 0 0 25 0 1 0 24769902 1251647488 304969 1992294400 134512640 135752675 4287322496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 305578 304969 146 303 0 305273 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1222312

[startup+1542.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 29540
/proc/meminfo: memFree=558556/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1275524 CPUtime=1541.93
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 318780 0 0 0 153490 703 0 0 25 0 1 0 24769902 1306136576 318260 1992294400 134512640 135752675 4287322496 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 318881 318260 146 303 0 318576 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1275524

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29542
/proc/meminfo: memFree=505856/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1328708 CPUtime=1601.91
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 332059 0 0 0 159466 725 0 0 25 0 1 0 24769902 1360596992 331539 1992294400 134512640 135752675 4287322496 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 332177 331539 146 303 0 331872 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29544
/proc/meminfo: memFree=454148/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1379988 CPUtime=1661.9
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 344885 0 0 0 165439 751 0 0 25 0 1 0 24769902 1413107712 344365 1992294400 134512640 135752675 4287322496 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 344997 344365 146 303 0 344692 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1379988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29546
/proc/meminfo: memFree=405664/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1428636 CPUtime=1721.89
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 357025 0 0 0 171413 776 0 0 25 0 1 0 24769902 1462923264 356505 1992294400 134512640 135752675 4287322496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 357159 356505 146 303 0 356854 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1428636

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29547
/proc/meminfo: memFree=357428/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1476160 CPUtime=1781.87
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 368901 0 0 0 177387 800 0 0 25 0 1 0 24769902 1511587840 368381 1992294400 134512640 135752675 4287322496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 369040 368381 146 303 0 368735 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1476160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29548
/proc/meminfo: memFree=345400/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=1488040 CPUtime=1800.07
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4202496 371875 0 0 0 179200 807 0 0 25 0 1 0 24769902 1523752960 371355 1992294400 134512640 135752675 4287322496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29496/statm: 372010 371355 146 303 0 371705 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1488040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29548
/proc/meminfo: memFree=345400/2059040 swapFree=4139724/4192956
[pid=29496] ppid=29494 vsize=0 CPUtime=1800.17
/proc/29496/stat : 29496 (wbo1.4b) R 29494 29496 29063 0 -1 4203524 371876 0 0 0 179200 817 0 0 25 0 1 0 24769902 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29496/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.65
CPU time (s): 1800.22
CPU user time (s): 1792
CPU system time (s): 8.21375
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1488040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792
system time used= 8.21375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371876
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= 4538

runsolver used 2.82357 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node031 at 2010-07-08 07:06:33
IDJOB=2702387
IDBENCH=48128
IDSOLVER=1190
FILE ID=node031/2702387-1278565592
PBS_JOBID= 11239533
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=1940118732

node031.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.220
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.44
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.220
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1836292 kB
Buffers:         36064 kB
Cached:          93588 kB
SwapCached:       6812 kB
Active:          94000 kB
Inactive:        49620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1836292 kB
SwapTotal:     4192956 kB
SwapFree:      4139724 kB
Dirty:            2724 kB
Writeback:           0 kB
AnonPages:       11948 kB
Mapped:          12132 kB
Slab:            57092 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180096 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702387-1278565592.opb

Free space on /tmp at the end= 62564 MiB
End job on node031 at 2010-07-08 07:36:35