Trace number 2702419

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.15 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_3.opb
MD5SUM9e4e432c8df29dadb31632f81ac67b02
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1789.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
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 constraint11
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)2488
Sum of products size (including duplicates)4976
Number of different products2488
Sum of products size4976

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-2702419-1278566440.opb.
0.00/0.00	c Instance file HOME/instance-2702419-1278566440.opb
0.00/0.00	c File size is 185404 bytes.
0.00/0.03	c Highest Coefficient sum: 22
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      2688                                                |
0.00/0.03	c |  Number Clauses:        2688                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 2488                                                |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2688     5176    17616 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 199
0.00/0.04	o 199
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 179.96 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2688     5177    17816 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 191
0.00/0.04	o 191
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 179.959 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2688     5178    18016 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 190
0.00/0.04	o 190
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 |         0 |    2688     5179    18216 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 189
0.00/0.04	o 189
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 179.954 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2688     5180    18416 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 135
0.00/0.05	o 135
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 179.952 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2688     5181    18616 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 134
0.00/0.05	o 134
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 |         0 |    2688     5182    18816 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 133
0.00/0.05	o 133
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 179.948 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2688     5183    19016 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 132
0.00/0.05	o 132
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2688     5184    19216 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c New solution: 131
0.00/0.05	o 131
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2688     5185    19416 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 130
0.00/0.06	o 130
0.00/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 179.943 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |    2688     5186    19616 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 129
0.00/0.06	o 129
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         1 |    2688     5187    19816 |     5000        1    130 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 34
0.00/0.06	o 34
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 179.938 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |         1 |    2688     5188    20016 |     5000        1    130 |  0.000 % |
0.00/0.08	c |       103 |    2688     5188    20016 |     5500      103     76 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 33
0.00/0.08	o 33
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 179.921 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       111 |    2688     5189    20216 |     5000      111     75 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 31
0.00/0.08	o 31
0.00/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 179.918 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       111 |    2688     5190    20416 |     5000      111     75 |  0.000 % |
0.00/0.10	c |       211 |    2688     5190    20416 |     5500      211     71 |  0.000 % |
0.09/0.12	c |       361 |    2688     5190    20416 |     6050      361     74 |  0.000 % |
0.09/0.15	c |       586 |    2688     5190    20416 |     6655      586     73 |  0.000 % |
0.09/0.20	c |       924 |    2688     5190    20416 |     7320      924     75 |  0.000 % |
0.20/0.25	c ===============================================================================
0.20/0.25	c New solution: 30
0.20/0.25	o 30
0.20/0.25	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 179.752 s
0.20/0.25	c ===============================================================================
0.20/0.25	c |      1294 |    2688     5191    20616 |     5000     1294     75 |  0.000 % |
0.20/0.27	c |      1394 |    2688     5191    20616 |     5500     1394     75 |  0.000 % |
0.20/0.29	c |      1544 |    2688     5191    20616 |     6050     1544     75 |  0.000 % |
0.30/0.33	c |      1771 |    2688     5191    20616 |     6655     1771     73 |  0.000 % |
0.30/0.38	c |      2108 |    2688     5191    20616 |     7320     2108     74 |  0.000 % |
0.39/0.45	c |      2614 |    2688     5191    20616 |     8052     2614     72 |  0.000 % |
0.49/0.56	c |      3375 |    2688     5191    20616 |     8857     3375     71 |  0.000 % |
0.69/0.73	c |      4515 |    2688     5191    20616 |     9743     4515     72 |  0.000 % |
0.99/1.02	c |      6223 |    2688     5191    20616 |    10717     6223     71 |  0.000 % |
1.39/1.46	c |      8785 |    2688     5191    20616 |    11789     8785     75 |  0.000 % |
2.09/2.18	c |     12629 |    2688     5191    20616 |    12968    12629     73 |  0.000 % |
3.30/3.35	c |     18395 |    2688     5191    20616 |    14265    10867     75 |  0.000 % |
5.09/5.11	c |     27045 |    2688     5191    20616 |    15692    11360     66 |  0.000 % |
7.99/8.04	c |     40021 |    2688     5191    20616 |    17261    15404     97 |  0.000 % |
12.69/12.77	c |     59482 |    2688     5191    20616 |    18987    15462     71 |  0.000 % |
20.99/21.01	c |     88674 |    2688     5191    20616 |    20886    12960     97 |  0.000 % |
33.58/33.67	c |    132463 |    2688     5191    20616 |    22974    21762     84 |  0.000 % |
55.38/55.49	c |    198149 |    2688     5191    20616 |    25272    18309     90 |  0.000 % |
90.07/90.12	c |    296677 |    2688     5191    20616 |    27799    21731     69 |  0.000 % |
148.95/149.09	c |    444467 |    2688     5191    20616 |    30579    24727     90 |  0.000 % |
170.74/170.89	c ===============================================================================
170.74/170.89	c New solution: 29
170.74/170.89	o 29
170.74/170.89	c Elapsed CPU time: 169.106 s	Remaining CPU time: 10.8937 s
170.74/170.89	c ===============================================================================
170.74/170.89	c |    506155 |    2688     5192    20816 |     5000    23384     86 |  0.000 % |
170.94/171.04	c |    506256 |    2688     5192    20816 |     5500     3024     81 |  0.000 % |
170.94/171.06	c |    506406 |    2688     5192    20816 |     6050     3174     81 |  0.000 % |
171.04/171.10	c |    506631 |    2688     5192    20816 |     6655     3399     80 |  0.000 % |
171.04/171.15	c |    506969 |    2688     5192    20816 |     7320     3737     78 |  0.000 % |
171.15/171.24	c |    507477 |    2688     5192    20816 |     8052     4245     76 |  0.000 % |
171.25/171.36	c |    508237 |    2688     5192    20816 |     8857     5005     75 |  0.000 % |
171.45/171.57	c |    509377 |    2688     5192    20816 |     9743     6145     75 |  0.000 % |
171.74/171.88	c |    511086 |    2688     5192    20816 |    10717     7854     75 |  0.000 % |
171.84/171.90	c ===============================================================================
171.84/171.90	c New solution: 28
171.84/171.90	o 28
171.84/171.90	c Elapsed CPU time: 170.087 s	Remaining CPU time: 9.91286 s
171.84/171.90	c ===============================================================================
171.84/171.90	c |    511185 |    2688     5193    21016 |     5000     7953     75 |  0.000 % |
171.84/171.93	c |    511285 |    2688     5193    21016 |     5500     4077     72 |  0.000 % |
171.84/171.96	c |    511435 |    2688     5193    21016 |     6050     4227     72 |  0.000 % |
171.84/171.99	c |    511661 |    2688     5193    21016 |     6655     4453     71 |  0.000 % |
171.94/172.05	c |    512000 |    2688     5193    21016 |     7320     4792     72 |  0.000 % |
172.05/172.15	c |    512506 |    2688     5193    21016 |     8052     5298     73 |  0.000 % |
172.25/172.30	c |    513266 |    2688     5193    21016 |     8857     6058     71 |  0.000 % |
172.34/172.47	c |    514405 |    2688     5193    21016 |     9743     7197     70 |  0.000 % |
172.66/172.80	c |    516114 |    2688     5193    21016 |    10717     8906     70 |  0.000 % |
173.24/173.31	c |    518676 |    2688     5193    21016 |    11789    11468     70 |  0.000 % |
174.05/174.19	c |    522521 |    2688     5193    21016 |    12968     8390     65 |  0.000 % |
175.24/175.33	c |    528288 |    2688     5193    21016 |    14265    14157     66 |  0.000 % |
177.15/177.27	c |    536937 |    2688     5193    21016 |    15692    14670     69 |  0.000 % |
180.35/180.42	c |    549912 |    2688     5193    21016 |    17261     9890     80 |  0.000 % |
181.85/181.95	c There are 0 assigned variables. 0 in cost function.
182.55/182.69	c core #1
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 22	Core Weight: 1	Total Weight: 1
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c core #2
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 22	Core Weight: 1	Total Weight: 2
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c core #3
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 22	Core Weight: 1	Total Weight: 3
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c core #4
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 22	Core Weight: 1	Total Weight: 4
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c core #5
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 22	Core Weight: 1	Total Weight: 5
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c core #6
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 26	Core Weight: 1	Total Weight: 6
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c core #7
182.55/182.69	c 
182.55/182.69	c 
182.55/182.69	c Core size: 44	Core Weight: 1	Total Weight: 7
182.55/182.69	c
182.55/182.69	c
182.55/182.69	c ============================[ Search Statistics ]==============================
182.55/182.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.69	c ===============================================================================
182.55/182.69	c |         0 |    1291     5400    14962 |     5000        0    nan |  0.000 % |
182.55/182.70	c ===============================================================================
182.65/182.72	c core #8
182.65/182.72	c 
182.65/182.72	c 
182.65/182.72	c Core size: 121	Core Weight: 1	Total Weight: 8
182.65/182.72	c
182.65/182.72	c
182.65/182.72	c ============================[ Search Statistics ]==============================
182.65/182.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.65/182.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.65/182.72	c ===============================================================================
182.65/182.72	c |         0 |    1933     5401    16943 |     5000        0    nan |  0.000 % |
182.65/182.75	c |       100 |    1933     5401    16943 |     5500      100    107 | 31.889 % |
182.65/182.76	c ===============================================================================
182.65/182.79	c core #9
182.65/182.79	c 
182.65/182.79	c 
182.65/182.79	c Core size: 336	Core Weight: 1	Total Weight: 9
182.65/182.79	c
182.65/182.79	c
182.65/182.79	c ============================[ Search Statistics ]==============================
182.65/182.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.65/182.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.65/182.79	c ===============================================================================
182.65/182.79	c |         0 |    2844     5402    20592 |     5000        0    nan |  0.000 % |
182.74/182.83	c |       102 |    2844     5402    20592 |     5500      102    156 |  5.389 % |
182.74/182.90	c |       257 |    2844     5402    20592 |     6050      257    182 |  5.389 % |
182.84/182.99	c |       484 |    2844     5402    20592 |     6655      484    202 |  5.389 % |
183.04/183.17	c |       826 |    2844     5402    20592 |     7320      826    202 |  5.389 % |
183.44/183.51	c |      1332 |    2844     5402    20592 |     8052     1332    207 |  5.389 % |
183.95/184.08	c |      2092 |    2844     5402    20592 |     8857     2092    212 |  5.389 % |
184.75/184.83	c |      3231 |    2844     5402    20592 |     9743     3231    207 |  5.389 % |
185.95/186.06	c |      4945 |    2844     5402    20592 |    10717     4945    183 |  5.389 % |
188.34/188.45	c |      7507 |    2844     5402    20592 |    11789     7507    170 |  5.389 % |
189.84/189.95	c ===============================================================================
189.94/190.09	c core #10
189.94/190.09	c 
189.94/190.09	c 
189.94/190.09	c Core size: 262	Core Weight: 1	Total Weight: 10
189.94/190.09	c
189.94/190.09	c
189.94/190.09	c ============================[ Search Statistics ]==============================
189.94/190.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.09	c ===============================================================================
189.94/190.09	c |         0 |    3206     5403    22252 |     5000        0    nan |  0.000 % |
190.04/190.15	c |       110 |    3206     5403    22252 |     5500      110    163 |  0.000 % |
190.14/190.23	c |       265 |    3206     5403    22252 |     6050      265    142 |  0.000 % |
190.25/190.30	c |       490 |    3206     5403    22252 |     6655      490    133 |  0.000 % |
190.35/190.43	c |       829 |    3206     5403    22252 |     7320      829    107 |  0.000 % |
190.64/190.71	c |      1338 |    3206     5403    22252 |     8052     1338    103 |  0.000 % |
190.94/191.08	c |      2097 |    3206     5403    22252 |     8857     2097     99 |  0.000 % |
191.65/191.77	c |      3236 |    3206     5403    22252 |     9743     3236     98 |  0.000 % |
192.64/192.79	c |      4947 |    3206     5403    22252 |    10717     4947    116 |  0.000 % |
194.54/194.63	c |      7509 |    3206     5403    22252 |    11789     7509    122 |  0.000 % |
197.74/197.80	c |     11354 |    3206     5403    22252 |    12968    11354    130 |  0.000 % |
202.14/202.25	c |     17133 |    3206     5403    22252 |    14265    10498    127 |  0.000 % |
210.84/210.97	c |     25782 |    3206     5403    22252 |    15692    11712    149 |  0.000 % |
226.43/226.60	c |     38757 |    3206     5403    22252 |    17261     8499    167 |  0.000 % |
253.72/253.81	c |     58218 |    3206     5403    22252 |    18987    10244    177 |  0.000 % |
296.52/296.68	c |     87417 |    3206     5403    22252 |    20886    10256    213 |  0.000 % |
356.00/356.11	c |    131206 |    3206     5403    22252 |    22974    11221    198 |  0.000 % |
459.27/459.49	c |    196890 |    3206     5403    22252 |    25272    18606    213 |  0.000 % |
514.05/514.27	c ===============================================================================
519.75/519.94	c core #11
519.75/519.94	c 
519.75/519.94	c 
519.75/519.94	c Core size: 422	Core Weight: 1	Total Weight: 11
519.75/519.94	c
519.75/519.94	c
519.75/519.94	c ============================[ Search Statistics ]==============================
519.75/519.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
519.75/519.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
519.75/519.94	c ===============================================================================
519.75/519.94	c |         0 |    3406     5406    22658 |     5000        0    nan |  0.000 % |
519.86/520.09	c |       101 |    3406     5406    22658 |     5500      101    115 |  0.000 % |
519.96/520.16	c |       251 |    3406     5406    22658 |     6050      251     97 |  0.000 % |
520.05/520.26	c |       478 |    3406     5406    22658 |     6655      478    103 |  0.000 % |
520.26/520.45	c |       818 |    3406     5406    22658 |     7320      818    110 |  0.000 % |
520.45/520.67	c |      1326 |    3406     5406    22658 |     8052     1326    104 |  0.000 % |
520.76/520.98	c |      2086 |    3406     5406    22658 |     8857     2086    119 |  0.000 % |
521.26/521.45	c |      3225 |    3406     5406    22658 |     9743     3225    119 |  0.000 % |
522.26/522.41	c |      4933 |    3406     5406    22658 |    10717     4933    137 |  0.000 % |
523.65/523.88	c |      7495 |    3406     5406    22658 |    11789     7495    146 |  0.000 % |
526.45/526.61	c |     11341 |    3406     5406    22658 |    12968    11341    173 |  0.000 % |
531.85/532.06	c |     17110 |    3406     5406    22658 |    14265    10429    212 |  0.000 % |
540.15/540.38	c |     25760 |    3406     5406    22658 |    15692    11699    193 |  0.000 % |
550.95/551.16	c |     38736 |    3406     5406    22658 |    17261    16413    160 |  0.000 % |
578.23/578.49	c |     58200 |    3406     5406    22658 |    18987     9096    287 |  0.000 % |
620.23/620.41	c |     87393 |    3406     5406    22658 |    20886    18873    287 |  0.000 % |
699.80/700.05	c |    131182 |    3406     5406    22658 |    22974    20135    324 |  0.000 % |
813.17/813.46	c |    196867 |    3406     5406    22658 |    25272    14874    239 |  0.000 % |
942.94/943.23	c |    295396 |    3406     5406    22658 |    27799    20015    244 |  0.000 % |
1132.69/1133.01	c |    443185 |    3406     5406    22658 |    30579    15544    209 |  0.000 % |
1495.70/1496.14	c |    664868 |    3406     5406    22658 |    33637    20426    255 |  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-2702419-1278566440/watcher-2702419-1278566440 -o /tmp/evaluation-result-2702419-1278566440/solver-2702419-1278566440 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702419-1278566440.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 3590
/proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=3116 CPUtime=0
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 24857804 3190784 283 1992294400 134512640 135752675 4292456096 18446744073709551615 134612635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 779 283 140 303 0 428 0

[startup+0.107236 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 3590
/proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=3628 CPUtime=0.09
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 664 0 0 0 9 0 0 0 20 0 1 0 24857804 3715072 480 1992294400 134512640 135752675 4292456096 18446744073709551615 134605460 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 907 480 145 303 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3628

[startup+0.201248 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 3590
/proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=3888 CPUtime=0.2
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 736 0 0 0 19 1 0 0 20 0 1 0 24857804 3981312 552 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 972 552 145 303 0 667 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 3888

[startup+0.301259 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 3590
/proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=4280 CPUtime=0.3
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 804 0 0 0 29 1 0 0 20 0 1 0 24857804 4382720 620 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 1070 620 145 303 0 765 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4280

[startup+0.701305 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 3590
/proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=5328 CPUtime=0.69
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 1077 0 0 0 68 1 0 0 20 0 1 0 24857804 5455872 893 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 1332 893 145 303 0 1027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5328

[startup+1.5014 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 3591
/proc/meminfo: memFree=1558380/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=7316 CPUtime=1.49
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 1583 0 0 0 146 3 0 0 23 0 1 0 24857804 7491584 1399 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 1829 1399 145 303 0 1524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7316

[startup+3.10158 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 3591
/proc/meminfo: memFree=1555652/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=10732 CPUtime=3.09
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 2446 0 0 0 304 5 0 0 25 0 1 0 24857804 10989568 2262 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 2683 2262 145 303 0 2378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10732

[startup+6.30096 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 3591
/proc/meminfo: memFree=1548832/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=17544 CPUtime=6.29
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 4149 0 0 0 619 10 0 0 25 0 1 0 24857804 17965056 3965 1992294400 134512640 135752675 4292456096 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 4386 3965 145 303 0 4081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17544

[startup+12.7007 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 3591
/proc/meminfo: memFree=1536308/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=28908 CPUtime=12.69
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 6970 0 0 0 1251 18 0 0 25 0 1 0 24857804 29601792 6786 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 7227 6786 145 303 0 6922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28908

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3592
/proc/meminfo: memFree=1514112/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=50436 CPUtime=25.49
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 12345 0 0 0 2519 30 0 0 25 0 1 0 24857804 51646464 12161 1992294400 134512640 135752675 4292456096 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 12609 12161 145 303 0 12304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50436

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3592
/proc/meminfo: memFree=1479392/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=85568 CPUtime=51.08
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 21115 0 0 0 5050 58 0 0 25 0 1 0 24857804 87621632 20931 1992294400 134512640 135752675 4292456096 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 21392 20931 145 303 0 21087 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85568

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3594
/proc/meminfo: memFree=1415656/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=148416 CPUtime=102.27
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 36785 0 0 0 10118 109 0 0 25 0 1 0 24857804 151977984 36601 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 37104 36601 145 303 0 36799 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 148416

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3595
/proc/meminfo: memFree=1349316/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=215496 CPUtime=162.25
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 53550 0 0 0 16059 166 0 0 25 0 1 0 24857804 220667904 53366 1992294400 134512640 135752675 4292456096 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 53874 53366 145 303 0 53569 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 215496

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3597
/proc/meminfo: memFree=1303312/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=260308 CPUtime=222.24
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 64867 0 0 0 22008 216 0 0 25 0 1 0 24857804 266555392 64651 1992294400 134512640 135752675 4292456096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 65077 64651 146 303 0 64772 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 260308

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3598
/proc/meminfo: memFree=1260656/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=303504 CPUtime=282.21
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 75607 0 0 0 27972 249 0 0 25 0 1 0 24857804 310788096 75391 1992294400 134512640 135752675 4292456096 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 75876 75391 146 303 0 75571 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 303504

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 4/107 3600
/proc/meminfo: memFree=1217380/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=346340 CPUtime=342.2
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 86258 0 0 0 33942 278 0 0 25 0 1 0 24857804 354652160 86042 1992294400 134512640 135752675 4292456096 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 86585 86042 146 303 0 86280 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 346340

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3602
/proc/meminfo: memFree=1178568/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=385452 CPUtime=402.18
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 96037 0 0 0 39910 308 0 0 25 0 1 0 24857804 394702848 95821 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 96363 95821 146 303 0 96058 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 385452

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3603
/proc/meminfo: memFree=1138640/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=425216 CPUtime=462.17
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 105955 0 0 0 45878 339 0 0 25 0 1 0 24857804 435421184 105739 1992294400 134512640 135752675 4292456096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 106304 105739 146 303 0 105999 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 425216

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3605
/proc/meminfo: memFree=1101564/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=461928 CPUtime=522.15
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 115088 0 0 0 51845 370 0 0 25 0 1 0 24857804 473014272 114872 1992294400 134512640 135752675 4292456096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 115482 114872 146 303 0 115177 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 461928

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3606
/proc/meminfo: memFree=1067464/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=495492 CPUtime=582.13
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 123644 0 0 0 57812 401 0 0 25 0 1 0 24857804 507383808 123428 1992294400 134512640 135752675 4292456096 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 123873 123428 146 303 0 123568 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 495492

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3608
/proc/meminfo: memFree=1022204/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=541136 CPUtime=642.12
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 135041 0 0 0 63780 432 0 0 25 0 1 0 24857804 554123264 134825 1992294400 134512640 135752675 4292456096 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 135284 134825 146 303 0 134979 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 541136

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3614
/proc/meminfo: memFree=836576/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=725844 CPUtime=882.06
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 181162 0 0 0 87659 547 0 0 25 0 1 0 24857804 743264256 180946 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 181461 180946 146 303 0 181156 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 725844

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3616
/proc/meminfo: memFree=795036/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=767676 CPUtime=942.04
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 191617 0 0 0 93626 578 0 0 25 0 1 0 24857804 786100224 191401 1992294400 134512640 135752675 4292456096 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 191919 191401 146 303 0 191614 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 767676

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3618
/proc/meminfo: memFree=747792/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=814556 CPUtime=1002.02
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 203304 0 0 0 99589 613 0 0 25 0 1 0 24857804 834105344 203088 1992294400 134512640 135752675 4292456096 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 203639 203088 146 303 0 203334 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 814556

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3619
/proc/meminfo: memFree=704020/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=858744 CPUtime=1062.01
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 214348 0 0 0 105555 646 0 0 25 0 1 0 24857804 879353856 214132 1992294400 134512640 135752675 4292456096 18446744073709551615 134616158 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 214686 214132 146 303 0 214381 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 858744

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3621
/proc/meminfo: memFree=657892/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=904384 CPUtime=1121.99
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 225735 0 0 0 111520 679 0 0 25 0 1 0 24857804 926089216 225519 1992294400 134512640 135752675 4292456096 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 226096 225519 146 303 0 225791 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 904384

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3622
/proc/meminfo: memFree=610400/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=952216 CPUtime=1181.98
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 237684 0 0 0 117489 709 0 0 25 0 1 0 24857804 975069184 237468 1992294400 134512640 135752675 4292456096 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 238054 237468 146 303 0 237749 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 952216

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3624
/proc/meminfo: memFree=569852/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=992184 CPUtime=1241.96
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 247632 0 0 0 123459 737 0 0 25 0 1 0 24857804 1015996416 247416 1992294400 134512640 135752675 4292456096 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 248046 247416 146 303 0 247741 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 992184

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3626
/proc/meminfo: memFree=526576/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1035956 CPUtime=1301.95
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 258592 0 0 0 129430 765 0 0 25 0 1 0 24857804 1060818944 258376 1992294400 134512640 135752675 4292456096 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 258989 258376 146 303 0 258684 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1035956

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3627
/proc/meminfo: memFree=480820/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1081200 CPUtime=1361.92
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 269880 0 0 0 135398 794 0 0 25 0 1 0 24857804 1107148800 269664 1992294400 134512640 135752675 4292456096 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 270300 269664 146 303 0 269995 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1081200

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3629
/proc/meminfo: memFree=439652/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1121904 CPUtime=1421.92
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 280065 0 0 0 141368 824 0 0 25 0 1 0 24857804 1148829696 279849 1992294400 134512640 135752675 4292456096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 280476 279849 146 303 0 280171 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1121904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3630
/proc/meminfo: memFree=401336/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1160712 CPUtime=1481.9
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 289728 0 0 0 147339 851 0 0 25 0 1 0 24857804 1188569088 289512 1992294400 134512640 135752675 4292456096 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 290178 289512 146 303 0 289873 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1160712

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3632
/proc/meminfo: memFree=355580/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1205928 CPUtime=1541.89
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 301030 0 0 0 153307 882 0 0 25 0 1 0 24857804 1234870272 300814 1992294400 134512640 135752675 4292456096 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 301482 300814 146 303 0 301177 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1205928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3634
/proc/meminfo: memFree=313172/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1248668 CPUtime=1601.87
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 311690 0 0 0 159277 910 0 0 25 0 1 0 24857804 1278636032 311474 1992294400 134512640 135752675 4292456096 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 312167 311474 146 303 0 311862 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1248668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3635
/proc/meminfo: memFree=277832/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1283804 CPUtime=1661.85
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 320451 0 0 0 165257 928 0 0 25 0 1 0 24857804 1314615296 320235 1992294400 134512640 135752675 4292456096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 320951 320235 146 303 0 320646 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1283804

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3637
/proc/meminfo: memFree=246212/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1315700 CPUtime=1721.83
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 328422 0 0 0 171233 950 0 0 25 0 1 0 24857804 1347276800 328206 1992294400 134512640 135752675 4292456096 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 328925 328206 146 303 0 328620 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1315700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3638
/proc/meminfo: memFree=206656/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1354852 CPUtime=1781.82
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 338177 0 0 0 177209 973 0 0 25 0 1 0 24857804 1387368448 337961 1992294400 134512640 135752675 4292456096 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 338713 337961 146 303 0 338408 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1354852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3639
/proc/meminfo: memFree=195124/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=1366084 CPUtime=1800.02
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 340966 0 0 0 179022 980 0 0 25 0 1 0 24857804 1398870016 340750 1992294400 134512640 135752675 4292456096 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3590/statm: 341521 340750 146 303 0 341216 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1366084

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 3639
/proc/meminfo: memFree=195124/2059040 swapFree=4139384/4192956
[pid=3590] ppid=3588 vsize=0 CPUtime=1800.12
/proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4203524 340966 0 0 0 179022 990 0 0 25 0 1 0 24857804 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/3590/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.15
CPU user time (s): 1790.22
CPU system time (s): 9.92649
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1366084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.22
system time used= 9.92649
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3088

runsolver used 3.23551 second user time and 8.25174 second system time

The end

Launcher Data 

Begin job on node001 at 2010-07-08 07:20:40
IDJOB=2702419
IDBENCH=48144
IDSOLVER=1190
FILE ID=node001/2702419-1278566440
PBS_JOBID= 11239541
Free space on /tmp= 62500 MiB

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

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

MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02
RANDOM SEED=87547996

node001.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.215
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.43
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.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1563132 kB
Buffers:         86292 kB
Cached:         304488 kB
SwapCached:       8392 kB
Active:         134612 kB
Inactive:       271324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1563132 kB
SwapTotal:     4192956 kB
SwapFree:      4139384 kB
Dirty:            2612 kB
Writeback:           0 kB
AnonPages:       12060 kB
Mapped:          12096 kB
Slab:            68040 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180236 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-2702419-1278566440.opb

Free space on /tmp at the end= 62500 MiB
End job on node001 at 2010-07-08 07:50:43