Trace number 1875540

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.15 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
MD5SUM6a25ee38adc43f783b18badd1224270c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13480
Total number of constraints26619
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 constraints26619
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2843
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875540-1245170816.opb.
0.00/0.00	c Instance file HOME/instance-1875540-1245170816.opb
0.00/0.00	c File size is 7804237 bytes.
1.10/1.18	c Highest Coefficient sum: 2843
1.10/1.19	c ============================[ Problem Statistics ]=============================
1.10/1.19	c |                                                                             |
1.10/1.19	c |  Parsing time:          1.14         s                                      |
1.10/1.19	c |  Number Variables:      13480                                               |
1.10/1.19	c |  Number Clauses:        9                                                   |
1.10/1.19	c |  Number Cardinality:    0                                                   |
1.10/1.19	c |  Number PB Constraints: 26619                                               |
1.10/1.19	c core #1
1.10/1.19	c Core size: 10	Core Weight: 1	Total Weight: 1
1.10/1.19	c Elapsed CPU time: 1.13783 s	Remaining CPU time: 1798.86 s
1.39/1.48	c core #2
1.39/1.48	c Core size: 12	Core Weight: 1	Total Weight: 2
1.39/1.48	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 1798.61 s
1.79/1.84	c ============================[ Search Statistics ]==============================
1.79/1.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.84	c ===============================================================================
1.79/1.84	c |         0 |   13357    26645   916165 |     8881        0    nan |  0.000 % |
1.79/1.87	c ===============================================================================
1.79/1.87	c core #3
1.79/1.87	c Core size: 16	Core Weight: 1	Total Weight: 3
1.79/1.87	c Elapsed CPU time: 1.76373 s	Remaining CPU time: 1798.24 s
2.19/2.25	c Learning 1 hard constraints
2.19/2.25	c core #4
2.19/2.25	c Core size: 16	Core Weight: 1	Total Weight: 4
2.19/2.25	c Elapsed CPU time: 2.12568 s	Remaining CPU time: 1797.87 s
2.59/2.61	c ============================[ Search Statistics ]==============================
2.59/2.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.61	c ===============================================================================
2.59/2.61	c |         0 |   13393    26661   916206 |     8887        0    nan |  0.000 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c core #5
2.69/2.71	c Core size: 70	Core Weight: 1	Total Weight: 5
2.69/2.71	c Elapsed CPU time: 2.56961 s	Remaining CPU time: 1797.43 s
2.98/3.06	c Learning 4 hard constraints
2.98/3.06	c ============================[ Search Statistics ]==============================
2.98/3.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.98/3.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.98/3.06	c ===============================================================================
2.98/3.06	c |         0 |   13404    26672   916316 |     8890        0    nan |  0.000 % |
3.38/3.48	c ===============================================================================
3.38/3.48	c core #6
3.38/3.48	c Core size: 88	Core Weight: 3	Total Weight: 8
3.38/3.48	c Elapsed CPU time: 3.32649 s	Remaining CPU time: 1796.67 s
3.79/3.83	c Learning 16 hard constraints
3.79/3.83	c ============================[ Search Statistics ]==============================
3.79/3.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.83	c ===============================================================================
3.79/3.83	c |         0 |   13430    26694   916928 |     8898        0    nan |  0.000 % |
4.19/4.24	c ===============================================================================
4.19/4.24	c core #7
4.19/4.24	c Core size: 89	Core Weight: 1	Total Weight: 9
4.19/4.24	c Elapsed CPU time: 4.06338 s	Remaining CPU time: 1795.94 s
4.49/4.59	c Learning 13 hard constraints
4.49/4.59	c ============================[ Search Statistics ]==============================
4.49/4.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.59	c ===============================================================================
4.49/4.59	c |         0 |   13442    26713   917670 |     8904        0    nan |  0.000 % |
6.09/6.18	c ===============================================================================
6.09/6.18	c core #8
6.09/6.18	c Core size: 75	Core Weight: 1	Total Weight: 10
6.09/6.18	c Elapsed CPU time: 5.98509 s	Remaining CPU time: 1794.01 s
6.49/6.54	c Learning 44 hard constraints
6.49/6.54	c ============================[ Search Statistics ]==============================
6.49/6.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.54	c ===============================================================================
6.49/6.54	c |         0 |   12421    26763   919728 |     8921        0    nan |  0.000 % |
6.98/7.01	c ===============================================================================
6.98/7.01	c core #9
6.98/7.01	c Core size: 58	Core Weight: 6	Total Weight: 16
6.98/7.01	c Elapsed CPU time: 6.78797 s	Remaining CPU time: 1793.21 s
7.29/7.33	c Learning 28 hard constraints
7.29/7.33	c ============================[ Search Statistics ]==============================
7.29/7.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.29/7.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.29/7.33	c ===============================================================================
7.29/7.33	c |         0 |   13482    26796   920586 |     8932        0    nan |  0.000 % |
9.39/9.43	c |       100 |   13482    26796   920586 |     9825      100     40 |  0.591 % |
11.59/11.63	c ===============================================================================
11.59/11.63	c core #10
11.59/11.63	c Core size: 191	Core Weight: 1	Total Weight: 17
11.59/11.63	c Elapsed CPU time: 11.3893 s	Remaining CPU time: 1788.61 s
11.89/11.96	c Learning 199 hard constraints
11.89/11.96	c ============================[ Search Statistics ]==============================
11.89/11.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.89/11.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.89/11.96	c ===============================================================================
11.89/11.96	c |         0 |   13496    27002   927999 |     9000        0    nan |  0.000 % |
13.79/13.85	c |       100 |   13495    27002   927999 |     9900      100     49 |  0.597 % |
17.09/17.19	c |       250 |   13495    27002   927999 |    10890      250     57 |  0.597 % |
22.79/22.89	c |       476 |   13495    27002   927999 |    11979      476     64 |  0.597 % |
27.58/27.68	c |       813 |   13495    27002   927999 |    13177      813     64 |  0.597 % |
29.48/29.53	c ===============================================================================
29.48/29.53	c core #11
29.48/29.53	c Core size: 305	Core Weight: 1	Total Weight: 18
29.48/29.53	c Elapsed CPU time: 29.2566 s	Remaining CPU time: 1770.74 s
29.78/29.86	c Learning 89 hard constraints
29.78/29.86	c ============================[ Search Statistics ]==============================
29.78/29.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.78/29.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.78/29.86	c ===============================================================================
29.78/29.86	c |         0 |   13514    27098   931237 |     9032        0    nan |  0.000 % |
31.58/31.61	c |       102 |   13514    27098   931237 |     9935      102     47 |  0.589 % |
35.27/35.33	c |       252 |   13507    27098   931237 |    10929      252     51 |  0.641 % |
38.07/38.16	c ===============================================================================
38.07/38.16	c core #12
38.07/38.16	c Core size: 303	Core Weight: 1	Total Weight: 19
38.07/38.16	c Elapsed CPU time: 37.8612 s	Remaining CPU time: 1762.14 s
38.37/38.50	c Learning 373 hard constraints
38.37/38.50	c ============================[ Search Statistics ]==============================
38.37/38.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.37/38.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.37/38.50	c ===============================================================================
38.37/38.50	c |         0 |   13520    27476   950697 |     9158        0    nan |  0.000 % |
38.57/38.67	c ===============================================================================
38.57/38.67	c core #13
38.57/38.67	c Core size: 83	Core Weight: 1	Total Weight: 20
38.57/38.67	c Elapsed CPU time: 38.3512 s	Remaining CPU time: 1761.65 s
38.97/39.03	c Learning 1 hard constraints
38.97/39.03	c ============================[ Search Statistics ]==============================
38.97/39.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.97/39.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.97/39.03	c ===============================================================================
38.97/39.03	c |         0 |   13533    27482   950745 |     9160        0    nan |  0.000 % |
39.07/39.15	c |       101 |   13533    27482   950745 |    10076      101     23 |  0.683 % |
39.66/39.78	c ===============================================================================
39.66/39.78	c core #14
39.66/39.78	c Core size: 79	Core Weight: 1	Total Weight: 21
39.66/39.78	c Elapsed CPU time: 39.431 s	Remaining CPU time: 1760.57 s
40.06/40.12	c Learning 10 hard constraints
40.06/40.12	c ============================[ Search Statistics ]==============================
40.06/40.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.06/40.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.06/40.12	c ===============================================================================
40.06/40.12	c |         0 |   13558    27497   951479 |     9165        0    nan |  0.000 % |
40.16/40.24	c |       101 |   13558    27497   951479 |    10082      101     32 |  0.681 % |
40.16/40.27	c |       251 |   13558    27497   951479 |    11090      251     23 |  0.681 % |
41.36/41.45	c ===============================================================================
41.36/41.45	c core #15
41.36/41.45	c Core size: 83	Core Weight: 1	Total Weight: 22
41.36/41.45	c Elapsed CPU time: 41.0718 s	Remaining CPU time: 1758.93 s
41.66/41.79	c Learning 16 hard constraints
41.66/41.79	c ============================[ Search Statistics ]==============================
41.66/41.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.66/41.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.66/41.79	c ===============================================================================
41.66/41.79	c |         0 |   13577    27518   952459 |     9172        0    nan |  0.000 % |
41.76/41.81	c |       102 |   13577    27518   952459 |    10089      102     24 |  0.688 % |
41.76/41.84	c |       256 |   13577    27518   952459 |    11098      256     26 |  0.688 % |
41.76/41.88	c |       483 |   13577    27518   952459 |    12208      483     28 |  0.688 % |
41.86/41.93	c |       822 |   13577    27518   952459 |    13429      822     30 |  0.688 % |
41.97/42.04	c |      1332 |   13577    27518   952459 |    14772     1332     30 |  0.688 % |
42.07/42.17	c |      2091 |   13577    27518   952459 |    16249     2091     29 |  0.688 % |
42.17/42.22	c ===============================================================================
42.17/42.24	c core #16
42.17/42.24	c Core size: 73	Core Weight: 1	Total Weight: 23
42.17/42.24	c Elapsed CPU time: 41.8436 s	Remaining CPU time: 1758.16 s
42.46/42.58	c ============================[ Search Statistics ]==============================
42.46/42.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.46/42.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.46/42.58	c ===============================================================================
42.46/42.58	c |         0 |   13597    27523   952495 |     9174        0    nan |  0.000 % |
42.56/42.61	c |       102 |   13597    27523   952495 |    10091      102     32 |  0.687 % |
42.56/42.67	c |       252 |   13597    27523   952495 |    11100      252     36 |  0.687 % |
42.67/42.70	c |       480 |   13597    27523   952495 |    12211      480     38 |  0.687 % |
42.67/42.74	c |       817 |   13597    27523   952495 |    13432      817     39 |  0.687 % |
42.77/42.80	c |      1323 |   13597    27523   952495 |    14775     1323     41 |  0.687 % |
42.87/42.97	c |      2083 |   13597    27523   952495 |    16252     2083     43 |  0.687 % |
43.16/43.22	c |      3222 |   13597    27523   952495 |    17878     3222     42 |  0.687 % |
43.56/43.61	c |      4932 |   13597    27523   952495 |    19665     4932     41 |  0.687 % |
44.26/44.32	c |      7494 |   13597    27523   952495 |    21632     7494     40 |  0.687 % |
46.06/46.10	c |     11338 |   13597    27523   952495 |    23795    11338     41 |  0.687 % |
49.86/49.93	c |     17106 |   13597    27523   952495 |    26175    17106     41 |  0.687 % |
56.76/56.84	c |     25755 |   13597    27523   952495 |    28792    25755     41 |  0.687 % |
63.66/63.76	c ===============================================================================
64.26/64.32	c core #17
64.26/64.32	c Core size: 75	Core Weight: 1	Total Weight: 24
64.26/64.32	c Elapsed CPU time: 63.8353 s	Remaining CPU time: 1736.16 s
64.66/64.70	c ============================[ Search Statistics ]==============================
64.66/64.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.66/64.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
64.66/64.70	c ===============================================================================
64.66/64.70	c |         0 |   13618    27528   952533 |     9176        0    nan |  0.000 % |
64.66/64.73	c |       102 |   13618    27528   952533 |    10093      102     41 |  0.686 % |
68.05/68.18	c |       252 |   13612    27528   952533 |    11102      252     46 |  2.181 % |
73.25/73.33	c |       477 |   13612    27528   952533 |    12213      477     55 |  2.181 % |
74.94/75.04	c ===============================================================================
74.94/75.05	c core #18
74.94/75.05	c Core size: 195	Core Weight: 8	Total Weight: 32
74.94/75.05	c Elapsed CPU time: 74.5277 s	Remaining CPU time: 1725.47 s
75.25/75.38	c Learning 434 hard constraints
75.25/75.38	c ============================[ Search Statistics ]==============================
75.25/75.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
75.25/75.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
75.25/75.38	c ===============================================================================
75.25/75.38	c |         0 |   13656    27966   979324 |     9322        0    nan |  0.000 % |
76.75/76.85	c ===============================================================================
76.75/76.85	c core #19
76.75/76.85	c Core size: 169	Core Weight: 1	Total Weight: 33
76.75/76.85	c Elapsed CPU time: 76.3314 s	Remaining CPU time: 1723.67 s
77.05/77.18	c Learning 99 hard constraints
77.05/77.18	c ============================[ Search Statistics ]==============================
77.05/77.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.05/77.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.05/77.18	c ===============================================================================
77.05/77.18	c |         0 |   13677    28071   985935 |     9357        0    nan |  0.000 % |
78.55/78.61	c |       100 |   13676    28071   985935 |    10292      100     65 |  0.444 % |
80.55/80.68	c |       251 |   13675    28071   985935 |    11321      251     68 |  0.451 % |
84.55/84.68	c |       477 |   13675    28071   985935 |    12454      477     66 |  0.451 % |
91.94/92.03	c |       814 |   13656    28071   985935 |    13699      814     65 |  0.692 % |
100.44/100.55	c |      1321 |   13656    28071   985935 |    15069     1321     66 |  0.692 % |
112.43/112.56	c ===============================================================================
112.43/112.58	c core #20
112.43/112.58	c Core size: 479	Core Weight: 1	Total Weight: 34
112.43/112.58	c Elapsed CPU time: 112.007 s	Remaining CPU time: 1687.99 s
112.83/112.91	c Learning 758 hard constraints
112.83/112.91	c ============================[ Search Statistics ]==============================
112.83/112.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
112.83/112.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
112.83/112.91	c ===============================================================================
112.83/112.91	c |         0 |   13704    28836  1031864 |     9612        0    nan |  0.000 % |
114.13/114.22	c |       101 |   13704    28836  1031864 |    10573      101     61 |  0.436 % |
115.53/115.68	c |       251 |   13704    28836  1031864 |    11630      251     67 |  0.436 % |
118.33/118.42	c |       476 |   13704    28836  1031864 |    12793      476     53 |  0.436 % |
122.03/122.11	c |       815 |   13696    28836  1031864 |    14072      815     60 |  0.625 % |
127.13/127.24	c |      1322 |   13696    28836  1031864 |    15480     1322     66 |  0.625 % |
135.23/135.39	c |      2082 |   13696    28836  1031864 |    17028     2082     70 |  0.625 % |
149.72/149.84	c |      3221 |   13695    28836  1031864 |    18731     3221     69 |  0.676 % |
172.10/172.21	c |      4932 |   13694    28836  1031864 |    20604     4932     70 |  0.727 % |
215.78/215.97	c |      7495 |   13664    28836  1031864 |    22664     6677     70 |  0.727 % |
262.06/262.28	c |     11339 |   13561    28836  1031864 |    24931     7067     66 |  1.475 % |
288.46/288.65	c ===============================================================================
288.56/288.76	c core #21
288.56/288.76	c Core size: 978	Core Weight: 4	Total Weight: 38
288.56/288.76	c Elapsed CPU time: 288.006 s	Remaining CPU time: 1511.99 s
288.95/289.20	c Learning 9411 hard constraints
288.95/289.20	c ============================[ Search Statistics ]==============================
288.95/289.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
288.95/289.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
288.95/289.20	c ===============================================================================
288.95/289.20	c |         0 |   13709    38251  1682745 |    12750        0    nan |  0.000 % |
289.15/289.40	c |       105 |   13706    38251  1682745 |    14025      105     26 |  0.523 % |
289.25/289.49	c ===============================================================================
289.25/289.49	c core #22
289.25/289.49	c Core size: 103	Core Weight: 1	Total Weight: 39
289.25/289.49	c Elapsed CPU time: 288.702 s	Remaining CPU time: 1511.3 s
289.75/289.90	c Learning 1 hard constraints
289.75/289.90	c ============================[ Search Statistics ]==============================
289.75/289.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
289.75/289.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
289.75/289.90	c ===============================================================================
289.75/289.90	c |         0 |   13734    38257  1682813 |    12752        0    nan |  0.000 % |
289.85/290.01	c |       100 |   13734    38257  1682813 |    14027      100     31 |  0.514 % |
290.05/290.24	c |       252 |   13734    38257  1682813 |    15430      252     38 |  0.514 % |
293.65/293.86	c |       479 |   13734    38257  1682813 |    16973      479     56 |  0.514 % |
298.64/298.82	c |       817 |   13734    38257  1682813 |    18670      817     56 |  0.514 % |
306.04/306.28	c |      1324 |   13734    38257  1682813 |    20537     1324     56 |  0.514 % |
317.03/317.27	c |      2083 |   13734    38257  1682813 |    22591     2083     56 |  0.514 % |
333.53/333.74	c |      3223 |   13734    38257  1682813 |    24850     3223     55 |  0.514 % |
353.42/353.65	c |      4932 |   13734    38257  1682813 |    27335     4932     52 |  0.514 % |
380.61/380.87	c |      7494 |   13734    38257  1682813 |    30069     7494     51 |  0.514 % |
434.19/434.43	c |     11340 |   13734    38257  1682813 |    33076    11340     53 |  0.514 % |
499.86/500.12	c |     17106 |   13734    38257  1682813 |    36383    17106     53 |  0.514 % |
577.53/577.84	c |     25756 |   13734    38257  1682813 |    40022    25756     51 |  0.514 % |
798.51/798.90	c |     38731 |   13734    38257  1682813 |    44024    38731     55 |  0.514 % |
1089.59/1090.11	c |     58193 |   13734    38257  1682813 |    48426    25882     57 |  0.514 % |
1478.30/1479.05	c |     87386 |   13734    38257  1682813 |    53269    18381     63 |  0.514 % |

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-1875540-1245170816/watcher-1875540-1245170816 -o /tmp/evaluation-result-1875540-1245170816/solver-1875540-1245170816 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875540-1245170816.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4723
/proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=10148 CPUtime=0
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 184678718 10391552 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 2537 185 128 292 0 336 0

[startup+0.00772507 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4723
/proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=10148 CPUtime=0
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 184678718 10391552 205 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 2537 207 133 292 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10148

[startup+0.101736 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4723
/proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=12684 CPUtime=0.09
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 983 0 0 0 9 0 0 0 18 0 1 0 184678718 12988416 967 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 3171 967 291 292 0 970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12684

[startup+0.301764 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4723
/proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=17656 CPUtime=0.29
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 2560 0 0 0 28 1 0 0 19 0 1 0 184678718 18079744 2544 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 4414 2544 619 292 0 2213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17656

[startup+0.701822 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4723
/proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=27840 CPUtime=0.7
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 5756 0 0 0 67 3 0 0 23 0 1 0 184678718 28508160 5740 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 6960 5740 1273 292 0 4759 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 27840

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1822768/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=61976 CPUtime=1.49
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 17112 0 0 0 141 8 0 0 25 0 1 0 184678718 63463424 15005 1992294400 134512640 135709839 4294956240 18446744073709551615 134530681 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 15494 15005 134 292 0 15199 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61976

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1754664/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=135176 CPUtime=3.08
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 35575 0 0 0 293 15 0 0 25 0 1 0 184678718 138420224 33308 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 33794 33308 135 292 0 33499 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 135176

[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1678120/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=174056 CPUtime=6.29
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 45312 0 0 0 609 20 0 0 25 0 1 0 184678718 178233344 43045 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 43514 43046 135 292 0 43219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174056

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1623664/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=225860 CPUtime=12.69
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 58265 0 0 0 1243 26 0 0 25 0 1 0 184678718 231280640 55998 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 56465 55998 136 292 0 56170 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225860

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1623664/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=225860 CPUtime=25.48
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 58265 0 0 0 2522 26 0 0 25 0 1 0 184678718 231280640 55998 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 56465 55998 136 292 0 56170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 225860

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1512880/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=336644 CPUtime=51.06
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 85921 0 0 0 5064 42 0 0 25 0 1 0 184678718 344723456 83654 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 84161 83654 136 292 0 83866 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 336644

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1453168/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=396116 CPUtime=102.24
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 100969 0 0 0 10173 51 0 0 25 0 1 0 184678718 405622784 98540 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 99029 98540 136 292 0 98734 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 396116

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1433840/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=415452 CPUtime=162.21
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 105790 0 0 0 16165 56 0 0 25 0 1 0 184678718 425422848 103361 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/4723/statm: 103863 103361 136 292 0 103568 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 415452

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4724
/proc/meminfo: memFree=1433776/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=415452 CPUtime=222.18
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 105793 0 0 0 22160 58 0 0 25 0 1 0 184678718 425422848 103364 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 103863 103364 136 292 0 103568 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 415452

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1433392/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=415452 CPUtime=282.15
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 105804 0 0 0 28154 61 0 0 25 0 1 0 184678718 425422848 103375 1992294400 134512640 135709839 4294956240 18446744073709551615 134572622 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 103863 103375 136 292 0 103568 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 415452

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=458584 CPUtime=342.12
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 34143 69 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 114646 114153 136 292 0 114351 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 458584

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=458584 CPUtime=402.09
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 40137 72 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 114646 114153 136 292 0 114351 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 458584

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=458584 CPUtime=462.08
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 46132 76 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 114646 114153 136 292 0 114351 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 458584

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=458584 CPUtime=522.05
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 52125 80 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 114646 114153 136 292 0 114351 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 458584

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=458584 CPUtime=582.02
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116586 0 0 0 58117 85 0 0 25 0 1 0 184678718 469590016 114157 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 114646 114157 136 292 0 114351 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 458584

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4726
/proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=458584 CPUtime=642.01
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116590 0 0 0 64114 87 0 0 25 0 1 0 184678718 469590016 114161 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 114646 114161 136 292 0 114351 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 458584

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1387824/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=460968 CPUtime=881.87
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 117180 0 0 0 88092 95 0 0 25 0 1 0 184678718 472031232 114751 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 115242 114751 136 292 0 114947 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 460968

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1386992/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=461892 CPUtime=941.84
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 117388 0 0 0 94087 97 0 0 25 0 1 0 184678718 472977408 114959 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 115473 114959 136 292 0 115178 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 461892

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1385584/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=463212 CPUtime=1001.82
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 117723 0 0 0 100082 100 0 0 25 0 1 0 184678718 474329088 115294 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 115803 115294 136 292 0 115508 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 463212

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1384048/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=464664 CPUtime=1061.79
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 118112 0 0 0 106077 102 0 0 25 0 1 0 184678718 475815936 115683 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 116166 115683 136 292 0 115871 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 464664

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1382640/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=466124 CPUtime=1121.75
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 118468 0 0 0 112070 105 0 0 25 0 1 0 184678718 477310976 116039 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 116531 116039 136 292 0 116236 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 466124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1380912/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=467840 CPUtime=1181.72
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 118886 0 0 0 118064 108 0 0 25 0 1 0 184678718 479068160 116457 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 116960 116457 136 292 0 116665 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 467840

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1379056/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=469556 CPUtime=1241.7
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 119318 0 0 0 124058 112 0 0 25 0 1 0 184678718 480825344 116889 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 117389 116889 136 292 0 117094 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 469556

[startup+1302.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 4732
/proc/meminfo: memFree=1377264/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=471404 CPUtime=1301.67
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 119766 0 0 0 130052 115 0 0 25 0 1 0 184678718 482717696 117337 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 117851 117337 136 292 0 117556 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 471404

[startup+1362.3 s]
/proc/loadavg: 1.21 1.07 1.02 2/65 4732
/proc/meminfo: memFree=1375472/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=473132 CPUtime=1361.64
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 120212 0 0 0 136045 119 0 0 25 0 1 0 184678718 484487168 117783 1992294400 134512640 135709839 4294956240 18446744073709551615 134518380 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 118283 117783 136 292 0 117988 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 473132

[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 4732
/proc/meminfo: memFree=1373744/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=474848 CPUtime=1421.62
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 120631 0 0 0 142040 122 0 0 25 0 1 0 184678718 486244352 118202 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 118712 118202 136 292 0 118417 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 474848

[startup+1482.3 s]
/proc/loadavg: 1.03 1.04 1.01 2/65 4732
/proc/meminfo: memFree=1372016/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=476564 CPUtime=1481.59
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 121067 0 0 0 148034 125 0 0 25 0 1 0 184678718 488001536 118638 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 119141 118638 136 292 0 118846 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 476564

[startup+1542.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4732
/proc/meminfo: memFree=1370288/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=478152 CPUtime=1541.57
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 121479 0 0 0 154027 130 0 0 25 0 1 0 184678718 489627648 119050 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 119538 119050 136 292 0 119243 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 478152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4732
/proc/meminfo: memFree=1368688/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=479868 CPUtime=1601.55
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 121890 0 0 0 160021 134 0 0 25 0 1 0 184678718 491384832 119461 1992294400 134512640 135709839 4294956240 18446744073709551615 134572856 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 119967 119461 136 292 0 119672 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 479868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4732
/proc/meminfo: memFree=1366960/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=481456 CPUtime=1661.52
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 122301 0 0 0 166015 137 0 0 25 0 1 0 184678718 493010944 119872 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 120364 119872 136 292 0 120069 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 481456

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4732
/proc/meminfo: memFree=1364912/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=483568 CPUtime=1721.49
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 122811 0 0 0 172008 141 0 0 25 0 1 0 184678718 495173632 120382 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 120892 120382 136 292 0 120597 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 483568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4732
/proc/meminfo: memFree=1362928/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=485416 CPUtime=1781.47
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 123271 0 0 0 178002 145 0 0 25 0 1 0 184678718 497065984 120842 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 121354 120842 136 292 0 121059 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 485416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1362352/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=485948 CPUtime=1800.06
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 123415 0 0 0 179860 146 0 0 25 0 1 0 184678718 497610752 120986 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 121487 120986 136 292 0 121192 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 485948

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4732
/proc/meminfo: memFree=1362352/2055920 swapFree=4182572/4192956
[pid=4723] ppid=4721 vsize=485948 CPUtime=1800.06
/proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 123415 0 0 0 179860 146 0 0 25 0 1 0 184678718 497610752 120986 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 0 0 0
/proc/4723/statm: 121487 120986 136 292 0 121192 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 485948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.15
CPU user time (s): 1798.61
CPU system time (s): 1.54077
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 485948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.54076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123415
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= 5
involuntary context switches= 6513

runsolver used 1.61375 second user time and 4.95625 second system time

The end

Launcher Data 

Begin job on node39 at 2009-06-16 18:46:57
IDJOB=1875540
IDBENCH=2639
IDSOLVER=698
FILE ID=node39/1875540-1245170816
PBS_JOBID= 9363828
Free space on /tmp= 66124 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875540-1245170816/watcher-1875540-1245170816 -o /tmp/evaluation-result-1875540-1245170816/solver-1875540-1245170816 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875540-1245170816.opb

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

MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c
RANDOM SEED=610977197

node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848280 kB
Buffers:         43156 kB
Cached:          96448 kB
SwapCached:       4216 kB
Active:          49352 kB
Inactive:        98212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848280 kB
SwapTotal:     4192956 kB
SwapFree:      4182572 kB
Dirty:            9996 kB
Writeback:           0 kB
Mapped:          13660 kB
Slab:            46104 kB
Committed_AS:   137592 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875540-1245170816.opb

Free space on /tmp at the end= 66120 MiB
End job on node39 at 2009-06-16 19:17:00