Trace number 2680731

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.21 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark2.37564
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
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 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2680731-1277451709.opb.
0.00/0.01	c Instance file HOME/instance-2680731-1277451709.opb
0.00/0.01	c File size is 214964 bytes.
0.00/0.03	c Highest Coefficient sum: 33
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:      2112                                                |
0.00/0.03	c |  Number Clauses:        4128                                                |
0.00/0.03	c |  Number Cardinality:    416                                                 |
0.00/0.03	c |  Number PB Constraints: 576                                                 |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2112     5120    24192 |     5000        0    nan |  0.000 % |
0.00/0.06	c |       100 |    2112     5120    24192 |     5500      100     21 |  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.054991 s	Remaining CPU time: 179.945 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       106 |    2112     5121    24480 |     5000      106     21 |  0.000 % |
0.00/0.07	c |       206 |    2112     5121    24480 |     5500      206     46 |  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.071989 s	Remaining CPU time: 179.928 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       242 |    2112     5122    24768 |     5000      242     42 |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c New solution: 26
0.07/0.08	o 26
0.07/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 179.924 s
0.07/0.08	c ===============================================================================
0.07/0.08	c |       247 |    2112     5123    25056 |     5000      247     42 |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c New solution: 25
0.07/0.09	o 25
0.07/0.09	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.07/0.09	c ===============================================================================
0.07/0.09	c |       268 |    2112     5124    25344 |     5000      268     42 |  0.000 % |
0.09/0.10	c |       368 |    2112     5124    25344 |     5500      368     41 |  0.000 % |
0.09/0.13	c |       519 |    2112     5124    25344 |     6050      519     46 |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 24
0.09/0.14	o 24
0.09/0.14	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 179.872 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |       544 |    2112     5125    25632 |     5000      544     45 |  0.000 % |
0.09/0.15	c |       645 |    2112     5125    25632 |     5500      645     46 |  0.000 % |
0.09/0.17	c |       796 |    2112     5125    25632 |     6050      796     46 |  0.000 % |
0.19/0.22	c |      1025 |    2112     5125    25632 |     6655     1025     46 |  0.000 % |
0.19/0.24	c |      1365 |    2112     5125    25632 |     7320     1365     44 |  0.000 % |
0.29/0.31	c |      1872 |    2112     5125    25632 |     8052     1872     47 |  0.000 % |
0.39/0.43	c |      2632 |    2112     5125    25632 |     8857     2632     55 |  0.000 % |
0.49/0.53	c |      3771 |    2112     5125    25632 |     9743     3771     52 |  0.000 % |
0.79/0.83	c |      5479 |    2112     5125    25632 |    10717     5479     65 |  0.000 % |
1.29/1.35	c |      8041 |    2112     5125    25632 |    11789     8041     66 |  0.000 % |
1.89/1.99	c |     11885 |    2112     5125    25632 |    12968    11885     72 |  0.000 % |
3.09/3.18	c |     17652 |    2112     5125    25632 |    14265    10520     85 |  0.000 % |
4.98/5.06	c |     26303 |    2112     5125    25632 |    15692    11495     77 |  0.000 % |
7.78/7.85	c |     39277 |    2112     5125    25632 |    17261    15987     79 |  0.000 % |
13.10/13.16	c |     58738 |    2112     5125    25632 |    18987    16973     75 |  0.000 % |
13.10/13.19	c ===============================================================================
13.10/13.19	c New solution: 23
13.10/13.19	o 23
13.10/13.19	c Elapsed CPU time: 12.99 s	Remaining CPU time: 167.01 s
13.10/13.19	c ===============================================================================
13.10/13.19	c |     58923 |    2112     5126    25920 |     5000    17158     75 |  0.000 % |
13.20/13.26	c |     59023 |    2112     5126    25920 |     5500     4390     80 |  0.000 % |
13.20/13.29	c |     59173 |    2112     5126    25920 |     6050     4540     79 |  0.000 % |
13.29/13.32	c |     59399 |    2112     5126    25920 |     6655     4766     78 |  0.000 % |
13.29/13.38	c |     59737 |    2112     5126    25920 |     7320     5104     77 |  0.000 % |
13.39/13.48	c |     60243 |    2112     5126    25920 |     8052     5610     77 |  0.000 % |
13.48/13.59	c |     61003 |    2112     5126    25920 |     8857     6370     76 |  0.000 % |
13.78/13.80	c |     62142 |    2112     5126    25920 |     9743     7509     75 |  0.000 % |
14.08/14.16	c |     63851 |    2112     5126    25920 |    10717     9218     72 |  0.000 % |
14.68/14.70	c |     66415 |    2112     5126    25920 |    11789     5933     63 |  0.000 % |
14.68/14.71	c ===============================================================================
14.68/14.71	c New solution: 21
14.68/14.71	o 21
14.68/14.71	c Elapsed CPU time: 14.4748 s	Remaining CPU time: 165.525 s
14.68/14.71	c ===============================================================================
14.68/14.71	c |     66423 |    2112     5127    26208 |     5000     5941     63 |  0.000 % |
14.68/14.73	c |     66523 |    2112     5127    26208 |     5500     3071     63 |  0.000 % |
14.68/14.77	c |     66674 |    2112     5127    26208 |     6050     3222     62 |  0.000 % |
14.78/14.81	c |     66899 |    2112     5127    26208 |     6655     3447     62 |  0.000 % |
14.78/14.86	c |     67236 |    2112     5127    26208 |     7320     3784     60 |  0.000 % |
14.88/14.93	c |     67743 |    2112     5127    26208 |     8052     4291     59 |  0.000 % |
14.99/15.09	c |     68503 |    2112     5127    26208 |     8857     5051     59 |  0.000 % |
15.29/15.31	c |     69642 |    2112     5127    26208 |     9743     6190     59 |  0.000 % |
15.59/15.61	c |     71353 |    2112     5127    26208 |    10717     7901     64 |  0.000 % |
16.08/16.15	c |     73916 |    2112     5127    26208 |    11789    10464     67 |  0.000 % |
16.98/17.06	c |     77761 |    2112     5127    26208 |    12968     7887     73 |  0.000 % |
18.18/18.21	c |     83527 |    2112     5127    26208 |    14265    13653     68 |  0.000 % |
19.99/20.01	c |     92177 |    2112     5127    26208 |    15692    14565     60 |  0.000 % |
23.48/23.51	c |    105154 |    2112     5127    26208 |    17261    10894     88 |  0.000 % |
29.18/29.24	c |    124616 |    2112     5127    26208 |    18987    11994     67 |  0.000 % |
38.98/39.06	c |    153810 |    2112     5127    26208 |    20886    11265    106 |  0.000 % |
51.48/51.53	c |    197599 |    2112     5127    26208 |    22974    21982     89 |  0.000 % |
72.48/72.54	c |    263283 |    2112     5127    26208 |    25272    23808     78 |  0.000 % |
102.17/102.25	c |    361809 |    2112     5127    26208 |    27799    16729     81 |  0.000 % |
144.05/144.13	c |    509598 |    2112     5127    26208 |    30579    24210     74 |  0.000 % |
182.13/182.23	c There are 0 assigned variables. 0 in cost function.
183.03/183.14	c core #1
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 33	Core Weight: 1	Total Weight: 1
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #2
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 25	Core Weight: 1	Total Weight: 2
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #3
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 34	Core Weight: 1	Total Weight: 3
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #4
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 25	Core Weight: 1	Total Weight: 4
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #5
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 33	Core Weight: 1	Total Weight: 5
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #6
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 33	Core Weight: 1	Total Weight: 6
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #7
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 25	Core Weight: 1	Total Weight: 7
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #8
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 34	Core Weight: 1	Total Weight: 8
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #9
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 25	Core Weight: 1	Total Weight: 9
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c core #10
183.03/183.14	c 
183.03/183.14	c 
183.03/183.14	c Core size: 33	Core Weight: 1	Total Weight: 10
183.03/183.14	c
183.03/183.14	c
183.03/183.14	c ============================[ Search Statistics ]==============================
183.03/183.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.14	c ===============================================================================
183.03/183.14	c |         0 |    1072     5425    17056 |     5000        0    nan |  0.000 % |
183.03/183.14	c ===============================================================================
183.03/183.16	c core #11
183.03/183.16	c 
183.03/183.16	c 
183.03/183.16	c Core size: 35	Core Weight: 1	Total Weight: 11
183.03/183.16	c
183.03/183.16	c
183.03/183.16	c ============================[ Search Statistics ]==============================
183.03/183.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.16	c ===============================================================================
183.03/183.16	c |         0 |    1304     5426    18776 |     5000        0    nan |  0.000 % |
183.03/183.17	c ===============================================================================
183.03/183.19	c core #12
183.03/183.19	c 
183.03/183.19	c 
183.03/183.19	c Core size: 191	Core Weight: 1	Total Weight: 12
183.03/183.19	c
183.03/183.19	c
183.03/183.19	c ============================[ Search Statistics ]==============================
183.03/183.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.19	c ===============================================================================
183.03/183.19	c |         0 |    2088     5427    24728 |     5000        0    nan |  0.000 % |
183.14/183.22	c |       100 |    2083     5427    24728 |     5500      100     35 | 12.332 % |
183.14/183.26	c |       250 |    2080     5427    24728 |     6050      238     43 | 12.458 % |
183.23/183.30	c |       476 |    2078     5427    24728 |     6655      464     38 | 12.542 % |
183.23/183.35	c ===============================================================================
183.23/183.37	c core #13
183.23/183.37	c 
183.23/183.37	c 
183.23/183.37	c Core size: 265	Core Weight: 1	Total Weight: 13
183.23/183.37	c
183.23/183.37	c
183.23/183.37	c ============================[ Search Statistics ]==============================
183.23/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.37	c ===============================================================================
183.23/183.37	c |         0 |    2464     5428    26716 |     5000        0    nan |  0.000 % |
183.23/183.40	c |       102 |    2464     5428    26716 |     5500      102     46 |  3.750 % |
183.33/183.43	c |       252 |    2464     5428    26716 |     6050      252     51 |  3.750 % |
183.33/183.49	c |       477 |    2464     5428    26716 |     6655      477     67 |  3.750 % |
183.44/183.56	c |       815 |    2464     5428    26716 |     7320      815     77 |  3.750 % |
183.64/183.72	c |      1321 |    2464     5428    26716 |     8052     1321     82 |  3.750 % |
183.94/184.00	c |      2082 |    2464     5428    26716 |     8857     2082     83 |  3.750 % |
184.24/184.36	c |      3223 |    2464     5428    26716 |     9743     3223     79 |  3.750 % |
184.83/184.91	c |      4932 |    2463     5428    26716 |    10717     4931     75 |  3.789 % |
185.63/185.77	c |      7494 |    2458     5428    26716 |    11789     7489     72 |  3.984 % |
186.94/187.07	c |     11339 |    2447     5428    26716 |    12968    11329     74 |  4.414 % |
189.33/189.49	c |     17110 |    2438     5428    26716 |    14265    10442     72 |  4.766 % |
189.43/189.50	c ===============================================================================
189.63/189.74	c core #14
189.63/189.74	c 
189.63/189.74	c 
189.63/189.74	c Core size: 265	Core Weight: 1	Total Weight: 14
189.63/189.74	c
189.63/189.74	c
189.63/189.74	c ============================[ Search Statistics ]==============================
189.63/189.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.74	c ===============================================================================
189.63/189.74	c |         0 |    2808     5438    27915 |     5000        0    nan |  0.000 % |
189.63/189.78	c |       102 |    2808     5438    27915 |     5500      102     38 |  0.000 % |
189.63/189.80	c |       256 |    2808     5438    27915 |     6050      256     42 |  0.000 % |
189.74/189.84	c |       482 |    2808     5438    27915 |     6655      482     40 |  0.000 % |
189.74/189.88	c |       819 |    2808     5438    27915 |     7320      819     38 |  0.000 % |
189.83/189.97	c |      1328 |    2808     5438    27915 |     8052     1328     50 |  0.000 % |
190.03/190.16	c |      2087 |    2808     5438    27915 |     8857     2087     68 |  0.000 % |
190.33/190.47	c |      3226 |    2808     5438    27915 |     9743     3226     76 |  0.000 % |
191.03/191.10	c |      4937 |    2808     5438    27915 |    10717     4937     82 |  0.000 % |
191.93/192.06	c |      7503 |    2808     5438    27915 |    11789     7503     85 |  0.000 % |
193.73/193.81	c |     11347 |    2808     5438    27915 |    12968    11347    102 |  0.000 % |
196.63/196.78	c |     17115 |    2807     5438    27915 |    14265    10524    108 |  0.036 % |
200.23/200.32	c |     25766 |    2803     5438    27915 |    15692    12021    105 |  0.178 % |
205.43/205.50	c |     38740 |    2795     5438    27915 |    17261     9092     85 |  0.463 % |
207.23/207.31	c ===============================================================================
207.84/207.93	c core #15
207.84/207.93	c 
207.84/207.93	c 
207.84/207.93	c Core size: 239	Core Weight: 1	Total Weight: 15
207.84/207.93	c
207.84/207.93	c
207.84/207.93	c ============================[ Search Statistics ]==============================
207.84/207.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.84/207.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.84/207.93	c ===============================================================================
207.84/207.93	c |         0 |    3040     5441    28384 |     5000        0    nan |  0.000 % |
207.84/207.97	c |       100 |    3040     5441    28384 |     5500      100     46 |  0.000 % |
207.93/208.01	c |       253 |    3040     5441    28384 |     6050      253     74 |  0.000 % |
207.93/208.04	c |       479 |    3040     5441    28384 |     6655      479     92 |  0.000 % |
208.03/208.11	c |       816 |    3040     5441    28384 |     7320      816    115 |  0.000 % |
208.13/208.24	c |      1323 |    3040     5441    28384 |     8052     1323    126 |  0.000 % |
208.43/208.56	c |      2082 |    3040     5441    28384 |     8857     2082    175 |  0.000 % |
208.93/209.02	c |      3223 |    3040     5441    28384 |     9743     3223    194 |  0.000 % |
209.93/210.01	c |      4933 |    3040     5441    28384 |    10717     4933    208 |  0.000 % |
211.03/211.20	c |      7495 |    3039     5441    28384 |    11789     7453    201 |  0.033 % |
213.02/213.13	c |     11342 |    3039     5441    28384 |    12968    11300    192 |  0.033 % |
216.43/216.51	c |     17116 |    3039     5441    28384 |    14265    10397    219 |  0.033 % |
224.02/224.16	c |     25771 |    3039     5441    28384 |    15692    11745    260 |  0.033 % |
232.52/232.60	c |     38747 |    3039     5441    28384 |    17261     8724    216 |  0.033 % |
245.22/245.37	c |     58212 |    3039     5441    28384 |    18987    10660    211 |  0.033 % |
263.51/263.64	c |     87406 |    3039     5441    28384 |    20886    11056    200 |  0.033 % |
297.60/297.78	c |    131195 |    3039     5441    28384 |    22974    12469    217 |  0.033 % |
352.48/352.65	c |    196879 |    3039     5441    28384 |    25272    19624    187 |  0.033 % |
422.46/422.69	c |    295405 |    3039     5441    28384 |    27799    13348    140 |  0.033 % |
532.53/532.70	c |    443195 |    3039     5441    28384 |    30579    16040    159 |  0.033 % |
747.57/747.87	c |    664880 |    3037     5441    28384 |    33637    21999    166 |  0.099 % |
1048.27/1048.63	c |    997405 |    3037     5441    28384 |    37001    18174    175 |  0.099 % |
1066.67/1067.05	c ===============================================================================
1083.66/1084.07	c core #16
1083.66/1084.07	c 
1083.66/1084.07	c 
1083.66/1084.07	c Core size: 266	Core Weight: 1	Total Weight: 16
1083.66/1084.07	c
1083.66/1084.07	c
1083.66/1084.07	c ============================[ Search Statistics ]==============================
1083.66/1084.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1083.66/1084.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1083.66/1084.07	c ===============================================================================
1083.66/1084.07	c |         0 |    3292     5460    28926 |     5000        0    nan |  0.000 % |
1083.86/1084.25	c |       100 |    3292     5460    28926 |     5500      100     83 |  0.000 % |
1083.86/1084.30	c |       250 |    3292     5460    28926 |     6050      250     65 |  0.000 % |
1083.96/1084.34	c |       477 |    3292     5460    28926 |     6655      477     66 |  0.000 % |
1083.96/1084.39	c |       817 |    3292     5460    28926 |     7320      817     50 |  0.000 % |
1084.06/1084.48	c |      1323 |    3292     5460    28926 |     8052     1323     57 |  0.000 % |
1084.27/1084.67	c |      2082 |    3292     5460    28926 |     8857     2082     70 |  0.000 % |
1084.56/1084.90	c |      3223 |    3292     5460    28926 |     9743     3223     70 |  0.000 % |
1084.96/1085.31	c |      4933 |    3292     5460    28926 |    10717     4933     91 |  0.000 % |
1085.86/1086.20	c |      7497 |    3292     5460    28926 |    11789     7497    103 |  0.000 % |
1087.25/1087.64	c |     11341 |    3292     5460    28926 |    12968    11341    133 |  0.000 % |
1091.15/1091.52	c |     17108 |    3292     5460    28926 |    14265    10395    220 |  0.000 % |
1096.45/1096.86	c |     25758 |    3292     5460    28926 |    15692    11907    214 |  0.000 % |
1102.06/1102.48	c |     38732 |    3292     5460    28926 |    17261     8674    235 |  0.000 % |
1113.35/1113.76	c |     58194 |    3292     5460    28926 |    18987    10208    240 |  0.000 % |
1136.84/1137.21	c |     87386 |    3292     5460    28926 |    20886    19808    308 |  0.000 % |
1181.71/1182.15	c |    131175 |    3292     5460    28926 |    22974    21063    214 |  0.000 % |
1245.69/1246.14	c |    196860 |    3292     5460    28926 |    25272    16007    249 |  0.000 % |
1371.76/1372.25	c |    295387 |    3292     5460    28926 |    27799    22849    229 |  0.000 % |
1527.71/1528.20	c |    443179 |    3292     5460    28926 |    30579    19730    196 |  0.000 % |
1753.84/1754.46	c |    664862 |    3292     5460    28926 |    33637    20003    297 |  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-2680731-1277451709/watcher-2680731-1277451709 -o /tmp/evaluation-result-2680731-1277451709/solver-2680731-1277451709 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680731-1277451709.opb 

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/105 27892
/proc/meminfo: memFree=1835400/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=3088 CPUtime=0
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 366 0 0 0 0 0 0 0 22 0 1 0 86464597 3162112 284 1992294400 134512640 135752675 4293582416 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 772 285 137 303 0 414 0

[startup+0.0843879 s]
/proc/loadavg: 0.00 0.00 0.00 2/105 27892
/proc/meminfo: memFree=1835400/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=3944 CPUtime=0.07
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 670 0 0 0 7 0 0 0 22 0 1 0 86464597 4038656 535 1992294400 134512640 135752675 4293582416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 986 535 145 303 0 681 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3944

[startup+0.100389 s]
/proc/loadavg: 0.00 0.00 0.00 2/105 27892
/proc/meminfo: memFree=1835400/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=3944 CPUtime=0.09
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 670 0 0 0 8 1 0 0 22 0 1 0 86464597 4038656 535 1992294400 134512640 135752675 4293582416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 986 535 145 303 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3944

[startup+0.300411 s]
/proc/loadavg: 0.00 0.00 0.00 2/105 27892
/proc/meminfo: memFree=1835400/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=4076 CPUtime=0.29
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 719 0 0 0 28 1 0 0 23 0 1 0 86464597 4173824 584 1992294400 134512640 135752675 4293582416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 1019 584 145 303 0 714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4076

[startup+0.700456 s]
/proc/loadavg: 0.00 0.00 0.00 2/105 27892
/proc/meminfo: memFree=1835400/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=5260 CPUtime=0.69
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 1016 0 0 0 67 2 0 0 25 0 1 0 86464597 5386240 881 1992294400 134512640 135752675 4293582416 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 1315 881 145 303 0 1010 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5260

[startup+1.50054 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27893
/proc/meminfo: memFree=1831672/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=7116 CPUtime=1.49
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 1462 0 0 0 145 4 0 0 25 0 1 0 86464597 7286784 1327 1992294400 134512640 135752675 4293582416 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 1779 1327 145 303 0 1474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7116

[startup+3.10072 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27893
/proc/meminfo: memFree=1828572/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=11088 CPUtime=3.09
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 2449 0 0 0 302 7 0 0 25 0 1 0 86464597 11354112 2314 1992294400 134512640 135752675 4293582416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 2772 2314 145 303 0 2467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11088

[startup+6.30107 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 27893
/proc/meminfo: memFree=1821752/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=17780 CPUtime=6.29
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 4125 0 0 0 617 12 0 0 25 0 1 0 86464597 18206720 3990 1992294400 134512640 135752675 4293582416 18446744073709551615 134604970 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 4445 3990 145 303 0 4140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17780

[startup+12.7008 s]
/proc/loadavg: 0.15 0.03 0.01 2/106 27893
/proc/meminfo: memFree=1810592/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=27836 CPUtime=12.69
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 6632 0 0 0 1250 19 0 0 25 0 1 0 86464597 28504064 6497 1992294400 134512640 135752675 4293582416 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 6959 6497 145 303 0 6654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27836

[startup+25.5012 s]
/proc/loadavg: 0.34 0.08 0.02 2/106 27893
/proc/meminfo: memFree=1787528/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=49868 CPUtime=25.48
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 12140 0 0 0 2510 38 0 0 25 0 1 0 86464597 51064832 12005 1992294400 134512640 135752675 4293582416 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 12467 12005 145 303 0 12162 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49868

[startup+51.101 s]
/proc/loadavg: 0.56 0.15 0.05 2/106 27895
/proc/meminfo: memFree=1751692/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=86404 CPUtime=51.08
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 21275 0 0 0 5041 67 0 0 25 0 1 0 86464597 88477696 21140 1992294400 134512640 135752675 4293582416 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 21601 21140 145 303 0 21296 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86404

[startup+102.308 s]
/proc/loadavg: 0.81 0.28 0.10 2/106 27895
/proc/meminfo: memFree=1680392/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=156592 CPUtime=102.27
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 38837 0 0 0 10104 123 0 0 25 0 1 0 86464597 160350208 38702 1992294400 134512640 135752675 4293582416 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 39148 38702 145 303 0 38843 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 156592

[startup+162.3 s]
/proc/loadavg: 0.93 0.41 0.15 2/106 27897
/proc/meminfo: memFree=1590740/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=246956 CPUtime=162.24
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 61398 0 0 0 16028 196 0 0 25 0 1 0 86464597 252882944 61263 1992294400 134512640 135752675 4293582416 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 61739 61263 145 303 0 61434 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 246956

[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/106 27899
/proc/meminfo: memFree=1542380/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=294272 CPUtime=222.22
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 73307 0 0 0 21961 261 0 0 25 0 1 0 86464597 301334528 73141 1992294400 134512640 135752675 4293582416 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 73568 73141 146 303 0 73263 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 294272

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/106 27901
/proc/meminfo: memFree=1456200/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=380676 CPUtime=282.21
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 94895 0 0 0 27900 321 0 0 25 0 1 0 86464597 389812224 94729 1992294400 134512640 135752675 4293582416 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 95169 94729 146 303 0 94864 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 380676

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/106 27903
/proc/meminfo: memFree=1385024/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=451380 CPUtime=342.19
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 112558 0 0 0 33856 363 0 0 25 0 1 0 86464597 462213120 112392 1992294400 134512640 135752675 4293582416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 112845 112392 146 303 0 112540 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 451380

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/106 27903
/proc/meminfo: memFree=1324760/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=511868 CPUtime=402.17
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 127658 0 0 0 39808 409 0 0 25 0 1 0 86464597 524152832 127492 1992294400 134512640 135752675 4293582416 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 127967 127492 146 303 0 127662 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 511868

[startup+462.3 s]
/proc/loadavg: 0.99 0.77 0.37 2/106 27905
/proc/meminfo: memFree=1267844/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=568592 CPUtime=462.15
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 141825 0 0 0 45763 452 0 0 25 0 1 0 86464597 582238208 141659 1992294400 134512640 135752675 4293582416 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 142148 141659 146 303 0 141843 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 568592

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/106 27907
/proc/meminfo: memFree=1206588/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=630664 CPUtime=522.13
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 157314 0 0 0 51713 500 0 0 25 0 1 0 86464597 645799936 157148 1992294400 134512640 135752675 4293582416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 157666 157148 146 303 0 157361 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 630664

[startup+582.301 s]
/proc/loadavg: 0.99 0.84 0.44 2/106 27909
/proc/meminfo: memFree=1146820/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=689788 CPUtime=582.12
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 172077 0 0 0 57668 544 0 0 25 0 1 0 86464597 706342912 171911 1992294400 134512640 135752675 4293582416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 172447 171911 146 303 0 172142 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 689788

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.47 2/106 27911
/proc/meminfo: memFree=1079612/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=756124 CPUtime=642.1
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 188624 0 0 0 63628 582 0 0 25 0 1 0 86464597 774270976 188458 1992294400 134512640 135752675 4293582416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 189031 188458 146 303 0 188726 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 756124

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/106 27917
/proc/meminfo: memFree=830992/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1004512 CPUtime=882.02
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 250681 0 0 0 87461 741 0 0 25 0 1 0 86464597 1028620288 250515 1992294400 134512640 135752675 4293582416 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 251128 250515 146 303 0 250823 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1004512

[startup+942.3 s]
/proc/loadavg: 0.99 0.94 0.61 2/106 27919
/proc/meminfo: memFree=780028/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1056548 CPUtime=942
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 263631 0 0 0 93420 780 0 0 25 0 1 0 86464597 1081905152 263465 1992294400 134512640 135752675 4293582416 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 264137 263465 146 303 0 263832 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1056548

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/106 27919
/proc/meminfo: memFree=717036/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1118688 CPUtime=1001.98
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 279143 0 0 0 99377 821 0 0 25 0 1 0 86464597 1145536512 278977 1992294400 134512640 135752675 4293582416 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 279672 278977 146 303 0 279367 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1118688

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/106 27921
/proc/meminfo: memFree=655532/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1179904 CPUtime=1061.96
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 294464 0 0 0 105332 864 0 0 25 0 1 0 86464597 1208221696 294298 1992294400 134512640 135752675 4293582416 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 294976 294298 146 303 0 294671 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1179904

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/106 27923
/proc/meminfo: memFree=629616/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1204424 CPUtime=1121.95
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 300839 0 0 0 111288 907 0 0 25 0 1 0 86464597 1233330176 300673 1992294400 134512640 135752675 4293582416 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 301106 300673 146 303 0 300801 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1204424

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/106 27934
/proc/meminfo: memFree=579272/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1255120 CPUtime=1181.91
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 313497 0 0 0 117247 944 0 0 25 0 1 0 86464597 1285242880 313331 1992294400 134512640 135752675 4293582416 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 313780 313331 146 303 0 313475 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1255120

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/106 27936
/proc/meminfo: memFree=519876/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1314116 CPUtime=1241.89
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 328232 0 0 0 123208 981 0 0 25 0 1 0 86464597 1345654784 328066 1992294400 134512640 135752675 4293582416 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 328529 328066 146 303 0 328224 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1314116

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/106 27936
/proc/meminfo: memFree=471764/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1361736 CPUtime=1301.89
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 340121 0 0 0 129177 1012 0 0 25 0 1 0 86464597 1394417664 339955 1992294400 134512640 135752675 4293582416 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 340434 339955 146 303 0 340129 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1361736

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/106 27938
/proc/meminfo: memFree=430224/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1403728 CPUtime=1361.86
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 350560 0 0 0 135148 1038 0 0 25 0 1 0 86464597 1437417472 350394 1992294400 134512640 135752675 4293582416 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 350932 350394 146 303 0 350627 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1403728

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/106 27940
/proc/meminfo: memFree=376532/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1457220 CPUtime=1421.84
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 363900 0 0 0 141116 1068 0 0 25 0 1 0 86464597 1492193280 363734 1992294400 134512640 135752675 4293582416 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 364305 363734 146 303 0 364000 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1457220

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/106 27942
/proc/meminfo: memFree=322468/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1511368 CPUtime=1481.83
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 377418 0 0 0 147075 1108 0 0 25 0 1 0 86464597 1547640832 377252 1992294400 134512640 135752675 4293582416 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 377842 377252 146 303 0 377537 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1511368

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/106 27944
/proc/meminfo: memFree=280680/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1553004 CPUtime=1541.8
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 387813 0 0 0 153038 1142 0 0 25 0 1 0 86464597 1590276096 387647 1992294400 134512640 135752675 4293582416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 388251 387647 146 303 0 387946 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1553004

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/106 27944
/proc/meminfo: memFree=230088/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1603880 CPUtime=1601.79
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 400527 0 0 0 159002 1177 0 0 25 0 1 0 86464597 1642373120 400361 1992294400 134512640 135752675 4293582416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 400970 400361 146 303 0 400665 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1603880

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/106 27946
/proc/meminfo: memFree=166600/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1666712 CPUtime=1661.76
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 416237 0 0 0 164960 1216 0 0 25 0 1 0 86464597 1706713088 416071 1992294400 134512640 135752675 4293582416 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 416678 416071 146 303 0 416373 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1666712

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/106 27948
/proc/meminfo: memFree=98524/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1736212 CPUtime=1721.75
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 433599 0 0 0 170918 1257 0 0 25 0 1 0 86464597 1777881088 433433 1992294400 134512640 135752675 4293582416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 434053 433433 146 303 0 433748 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1736212

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27950
/proc/meminfo: memFree=25984/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1807156 CPUtime=1781.73
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 451334 0 0 0 176874 1299 0 0 25 0 1 0 86464597 1850527744 451168 1992294400 134512640 135752675 4293582416 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 451789 451168 146 303 0 451484 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1807156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27950
/proc/meminfo: memFree=13088/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=1819828 CPUtime=1800.04
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4202496 454494 0 0 0 178696 1308 0 0 25 0 1 0 86464597 1863503872 454328 1992294400 134512640 135752675 4293582416 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27892/statm: 454957 454328 146 303 0 454652 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1819828

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

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

[startup+1800.72 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27950
/proc/meminfo: memFree=13088/2059040 swapFree=4136664/4192956
[pid=27892] ppid=27890 vsize=0 CPUtime=1800.14
/proc/27892/stat : 27892 (wbo1.4b) R 27890 27892 27867 0 -1 4203524 454494 0 0 0 178696 1318 0 0 25 0 1 0 86464597 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27892/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.77
CPU time (s): 1800.21
CPU user time (s): 1786.97
CPU system time (s): 13.238
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1819828

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

runsolver used 3.05054 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-25 09:41:49
IDJOB=2680731
IDBENCH=1850
IDSOLVER=1190
FILE ID=node086/2680731-1277451709
PBS_JOBID= 11188104
Free space on /tmp= 62388 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680731-1277451709/watcher-2680731-1277451709 -o /tmp/evaluation-result-2680731-1277451709/solver-2680731-1277451709 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680731-1277451709.opb

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=1143222047

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1835928 kB
Buffers:         47876 kB
Cached:          84916 kB
SwapCached:       9356 kB
Active:          79204 kB
Inactive:        66560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835928 kB
SwapTotal:     4192956 kB
SwapFree:      4136664 kB
Dirty:            3108 kB
Writeback:           0 kB
AnonPages:       11524 kB
Mapped:           8280 kB
Slab:            55624 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62388 MiB
End job on node086 at 2010-06-25 10:11:51