Trace number 2702394

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? (TO) 1800.22 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2702394-1278565899.opb.
0.00/0.00	c Instance file HOME/instance-2702394-1278565899.opb
0.00/0.00	c File size is 462769 bytes.
0.06/0.07	c Highest Coefficient sum: 52
0.06/0.07	c ============================[ Problem Statistics ]=============================
0.06/0.07	c |                                                                             |
0.06/0.07	c |  Parsing time:          0.07         s                                      |
0.06/0.07	c |  Number Variables:      6460                                                |
0.06/0.07	c |  Number Clauses:        6460                                                |
0.06/0.07	c |  Number Cardinality:    0                                                   |
0.06/0.07	c |  Number PB Constraints: 6260                                                |
0.06/0.08	c ============================[ Search Statistics ]==============================
0.06/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.08	c ===============================================================================
0.06/0.08	c |         0 |    6460    12720    44020 |     5000        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 199
0.06/0.09	o 199
0.06/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 179.913 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |    6460    12721    44220 |     5000        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 198
0.06/0.09	o 198
0.06/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |    6460    12722    44420 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 197
0.09/0.10	o 197
0.09/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6460    12723    44620 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 84
0.09/0.10	o 84
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 179.898 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6460    12724    44820 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 83
0.09/0.11	o 83
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 179.894 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6460    12725    45020 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 82
0.09/0.11	o 82
0.09/0.11	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 179.888 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6460    12726    45220 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 81
0.09/0.12	o 81
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 179.883 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6460    12727    45420 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 63
0.09/0.13	o 63
0.09/0.13	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 179.877 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6460    12728    45620 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 56
0.09/0.13	o 56
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 179.871 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6460    12729    45820 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 55
0.09/0.14	o 55
0.09/0.14	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 179.866 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6460    12730    46020 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 54
0.09/0.14	o 54
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 179.861 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6460    12731    46220 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 53
0.09/0.15	o 53
0.09/0.15	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 179.856 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    6460    12732    46420 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 41
0.09/0.15	o 41
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 179.85 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    6460    12733    46620 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 40
0.09/0.16	o 40
0.09/0.16	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 179.846 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    6460    12734    46820 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 39
0.09/0.16	o 39
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 179.841 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    6460    12735    47020 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 38
0.09/0.17	o 38
0.09/0.17	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 179.835 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |    6460    12736    47220 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 35
0.09/0.18	o 35
0.09/0.18	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 179.829 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |         1 |    6460    12737    47420 |     5000        1     38 |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 18
0.09/0.18	o 18
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 179.823 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |         1 |    6460    12738    47620 |     5000        1     38 |  0.000 % |
0.20/0.23	c |       102 |    6460    12738    47620 |     5500      102     89 |  0.000 % |
0.20/0.24	c ===============================================================================
0.20/0.24	c New solution: 17
0.20/0.24	o 17
0.20/0.24	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 179.77 s
0.20/0.24	c ===============================================================================
0.20/0.24	c |       119 |    6460    12739    47820 |     5000      119     90 |  0.000 % |
0.20/0.26	c |       219 |    6460    12739    47820 |     5500      219    105 |  0.000 % |
0.29/0.30	c |       369 |    6460    12739    47820 |     6050      369    105 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 16
0.29/0.31	o 16
0.29/0.31	c Elapsed CPU time: 0.302953 s	Remaining CPU time: 179.697 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |       384 |    6460    12740    48020 |     5000      384    105 |  0.000 % |
0.29/0.34	c |       486 |    6460    12740    48020 |     5500      486    110 |  0.000 % |
0.29/0.37	c |       637 |    6460    12740    48020 |     6050      637    112 |  0.000 % |
0.39/0.42	c |       862 |    6460    12740    48020 |     6655      862    114 |  0.000 % |
0.49/0.51	c |      1200 |    6460    12740    48020 |     7320     1200    117 |  0.000 % |
0.59/0.64	c |      1708 |    6460    12740    48020 |     8052     1708    124 |  0.000 % |
0.79/0.84	c |      2468 |    6460    12740    48020 |     8857     2468    120 |  0.000 % |
1.09/1.17	c |      3608 |    6460    12740    48020 |     9743     3608    121 |  0.000 % |
1.69/1.71	c |      5318 |    6460    12740    48020 |    10717     5318    119 |  0.000 % |
2.39/2.48	c |      7880 |    6460    12740    48020 |    11789     7880    121 |  0.000 % |
3.89/3.91	c |     11724 |    6460    12740    48020 |    12968    11724    133 |  0.000 % |
6.09/6.11	c |     17491 |    6460    12740    48020 |    14265    17491    135 |  0.000 % |
9.19/9.25	c |     26141 |    6460    12740    48020 |    15692    17396    143 |  0.000 % |
14.38/14.49	c |     39115 |    6460    12740    48020 |    17261    10986    150 |  0.000 % |
23.19/23.28	c |     58576 |    6460    12740    48020 |    18987    18708    149 |  0.000 % |
36.48/36.58	c |     87770 |    6460    12740    48020 |    20886    21472    170 |  0.000 % |
51.98/52.06	c ===============================================================================
51.98/52.06	c New solution: 15
51.98/52.06	o 15
51.98/52.06	c Elapsed CPU time: 51.5492 s	Remaining CPU time: 128.451 s
51.98/52.06	c ===============================================================================
51.98/52.06	c |    116991 |    6460    12741    48220 |     5000    25295    127 |  0.000 % |
52.28/52.34	c |    117092 |    6460    12741    48220 |     5500     3070    129 |  0.000 % |
52.28/52.38	c |    117242 |    6460    12741    48220 |     6050     3220    127 |  0.000 % |
52.38/52.45	c |    117467 |    6460    12741    48220 |     6655     3445    127 |  0.000 % |
52.48/52.56	c |    117804 |    6460    12741    48220 |     7320     3782    124 |  0.000 % |
52.68/52.71	c |    118310 |    6460    12741    48220 |     8052     4288    125 |  0.000 % |
52.88/52.93	c |    119072 |    6460    12741    48220 |     8857     5050    124 |  0.000 % |
53.18/53.29	c |    120212 |    6460    12741    48220 |     9743     6190    124 |  0.000 % |
53.78/53.83	c |    121920 |    6460    12741    48220 |    10717     7898    121 |  0.000 % |
54.48/54.58	c |    124483 |    6460    12741    48220 |    11789    10461    126 |  0.000 % |
55.87/56.00	c |    128328 |    6460    12741    48220 |    12968    14306    130 |  0.000 % |
58.18/58.21	c |    134094 |    6460    12741    48220 |    14265    12919    143 |  0.000 % |
61.58/61.69	c |    142744 |    6460    12741    48220 |    15692    11745    133 |  0.000 % |
67.27/67.36	c ===============================================================================
67.27/67.36	c New solution: 14
67.27/67.36	o 14
67.27/67.36	c Elapsed CPU time: 66.7069 s	Remaining CPU time: 113.293 s
67.27/67.36	c ===============================================================================
67.27/67.36	c |    155085 |    6460    12742    48420 |     5000    13557    142 |  0.000 % |
67.37/67.45	c |    155186 |    6460    12742    48420 |     5500     3491    162 |  0.000 % |
67.47/67.51	c |    155338 |    6460    12742    48420 |     6050     3643    160 |  0.000 % |
67.47/67.58	c |    155566 |    6460    12742    48420 |     6655     3871    159 |  0.000 % |
67.57/67.69	c |    155903 |    6460    12742    48420 |     7320     4208    156 |  0.000 % |
67.77/67.85	c |    156410 |    6460    12742    48420 |     8052     4715    152 |  0.000 % |
67.98/68.08	c |    157169 |    6460    12742    48420 |     8857     5474    148 |  0.000 % |
68.37/68.45	c |    158309 |    6460    12742    48420 |     9743     6614    144 |  0.000 % |
68.87/68.98	c |    160018 |    6460    12742    48420 |    10717     8323    138 |  0.000 % |
69.88/69.94	c |    162581 |    6460    12742    48420 |    11789    10886    132 |  0.000 % |
71.17/71.27	c |    166425 |    6460    12742    48420 |    12968    14730    130 |  0.000 % |
73.37/73.46	c |    172191 |    6460    12742    48420 |    14265    13131    121 |  0.000 % |
77.47/77.58	c |    180840 |    6460    12742    48420 |    15692    12195    141 |  0.000 % |
84.27/84.39	c |    193816 |    6460    12742    48420 |    17261    14802    136 |  0.000 % |
94.87/94.97	c |    213277 |    6460    12742    48420 |    18987    11459    145 |  0.000 % |
108.96/109.06	c |    242469 |    6460    12742    48420 |    20886    14554    141 |  0.000 % |
135.06/135.11	c |    286258 |    6460    12742    48420 |    22974    15392    130 |  0.000 % |
171.45/171.53	c |    351943 |    6460    12742    48420 |    25272    15476    218 |  0.000 % |
181.64/181.71	c There are 0 assigned variables. 0 in cost function.
182.14/182.27	c core #1
182.14/182.27	c core #2
182.14/182.27	c ============================[ Search Statistics ]==============================
182.14/182.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.27	c ===============================================================================
182.14/182.27	c |         0 |    5294    12945    44641 |     5000        0    nan |  0.000 % |
182.34/182.44	c |       103 |    5294    12945    44641 |     5500      103    178 | 20.091 % |
182.74/182.82	c ===============================================================================
182.74/182.88	c core #3
182.74/182.88	c ============================[ Search Statistics ]==============================
182.74/182.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.74/182.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.74/182.88	c ===============================================================================
182.74/182.88	c |         0 |    6788    12946    49442 |     5000        0    nan |  0.000 % |
182.94/183.04	c |       100 |    6788    12946    49442 |     5500      100    152 |  0.528 % |
183.14/183.25	c |       250 |    6788    12946    49442 |     6050      250    147 |  0.528 % |
183.55/183.69	c |       476 |    6788    12946    49442 |     6655      476    149 |  0.528 % |
184.04/184.19	c |       814 |    6788    12946    49442 |     7320      814    140 |  0.528 % |
184.94/185.08	c |      1322 |    6788    12946    49442 |     8052     1322    150 |  0.528 % |
186.44/186.58	c |      2084 |    6788    12946    49442 |     8857     2084    145 |  0.528 % |
188.54/188.61	c |      3223 |    6788    12946    49442 |     9743     3223    166 |  0.528 % |
192.24/192.30	c |      4931 |    6788    12946    49442 |    10717     4931    184 |  0.528 % |
197.54/197.63	c |      7493 |    6788    12946    49442 |    11789     7493    185 |  0.528 % |
206.94/207.10	c |     11341 |    6788    12946    49442 |    12968    11341    190 |  0.528 % |
220.63/220.75	c |     17107 |    6788    12946    49442 |    14265    10011    268 |  0.528 % |
240.93/241.00	c ===============================================================================
241.32/241.41	c core #4
241.32/241.41	c ============================[ Search Statistics ]==============================
241.32/241.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
241.32/241.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
241.32/241.41	c ===============================================================================
241.32/241.41	c |         0 |    7024    12947    49948 |     5000        0    nan |  0.000 % |
241.42/241.58	c |       101 |    7024    12947    49948 |     5500      101    130 |  0.000 % |
241.72/241.84	c |       253 |    7024    12947    49948 |     6050      253    139 |  0.000 % |
242.02/242.16	c |       483 |    7024    12947    49948 |     6655      483    143 |  0.000 % |
242.53/242.60	c |       823 |    7024    12947    49948 |     7320      823    139 |  0.000 % |
243.12/243.26	c |      1330 |    7024    12947    49948 |     8052     1330    154 |  0.000 % |
243.92/244.02	c |      2091 |    7024    12947    49948 |     8857     2091    149 |  0.000 % |
245.42/245.58	c |      3231 |    7024    12947    49948 |     9743     3231    152 |  0.000 % |
248.13/248.21	c |      4940 |    7024    12947    49948 |    10717     4940    158 |  0.000 % |
253.12/253.27	c |      7506 |    7024    12947    49948 |    11789     7506    168 |  0.000 % |
259.11/259.29	c |     11353 |    7024    12947    49948 |    12968    11353    189 |  0.000 % |
269.62/269.78	c |     17119 |    7024    12947    49948 |    14265     9983    214 |  0.000 % |
288.02/288.10	c |     25772 |    7024    12947    49948 |    15692    10794    247 |  0.000 % |
316.61/316.79	c |     38747 |    7024    12947    49948 |    17261    15379    272 |  0.000 % |
357.30/357.43	c |     58212 |    7024    12947    49948 |    18987    16478    253 |  0.000 % |
423.28/423.46	c |     87404 |    7024    12947    49948 |    20886    14903    247 |  0.000 % |
539.85/540.01	c |    131195 |    7024    12947    49948 |    22974    15270    294 |  0.000 % |
725.59/725.86	c |    196881 |    7024    12947    49948 |    25272    20623    289 |  0.000 % |
1019.01/1019.32	c |    295407 |    7024    12947    49948 |    27799    15404    240 |  0.000 % |
1400.50/1400.98	c |    443196 |    7024    12947    49948 |    30579    18480    245 |  0.000 % |
1564.36/1564.84	c ===============================================================================
1577.76/1578.22	c core #5
1577.76/1578.22	c ============================[ Search Statistics ]==============================
1577.76/1578.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1577.76/1578.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1577.76/1578.22	c ===============================================================================
1577.76/1578.22	c |         0 |    7224    12949    50351 |     5000        0    nan |  0.000 % |
1578.06/1578.56	c |       105 |    7224    12949    50351 |     5500      105    265 |  0.000 % |
1578.15/1578.69	c |       255 |    7224    12949    50351 |     6050      255    214 |  0.000 % |
1578.35/1578.84	c |       484 |    7224    12949    50351 |     6655      484    162 |  0.000 % |
1578.75/1579.23	c |       821 |    7224    12949    50351 |     7320      821    165 |  0.000 % |
1579.25/1579.74	c |      1328 |    7224    12949    50351 |     8052     1328    178 |  0.000 % |
1580.16/1580.67	c |      2090 |    7224    12949    50351 |     8857     2090    177 |  0.000 % |
1581.55/1582.07	c |      3231 |    7224    12949    50351 |     9743     3231    207 |  0.000 % |
1583.15/1583.63	c |      4939 |    7224    12949    50351 |    10717     4939    242 |  0.000 % |
1585.45/1585.90	c |      7502 |    7224    12949    50351 |    11789     7502    264 |  0.000 % |
1590.06/1590.53	c |     11347 |    7224    12949    50351 |    12968    11347    302 |  0.000 % |
1598.96/1599.41	c |     17115 |    7224    12949    50351 |    14265     9577    360 |  0.000 % |
1614.65/1615.16	c |     25764 |    7224    12949    50351 |    15692    10468    395 |  0.000 % |
1640.14/1640.61	c |     38739 |    7224    12949    50351 |    17261    14605    371 |  0.000 % |
1698.02/1698.51	c |     58208 |    7224    12949    50351 |    18987    14869    730 |  0.000 % |
1787.50/1788.02	c |     87400 |    7224    12949    50351 |    20886    14062    626 |  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-2702394-1278565899/watcher-2702394-1278565899 -o /tmp/evaluation-result-2702394-1278565899/solver-2702394-1278565899 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702394-1278565899.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.99 0.98 0.99 3/105 31757
/proc/meminfo: memFree=1876216/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=3576 CPUtime=0
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 410 0 0 0 0 0 0 0 18 0 1 0 24796589 3661824 329 1992294400 134512640 135751879 4288628256 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 894 330 142 303 0 476 0

[startup+0.0671751 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 31757
/proc/meminfo: memFree=1876216/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=5096 CPUtime=0.06
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 848 0 0 0 6 0 0 0 20 0 1 0 24796589 5218304 767 1992294400 134512640 135751879 4288628256 18446744073709551615 135204204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 1274 768 233 303 0 856 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5096

[startup+0.101178 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 31757
/proc/meminfo: memFree=1876216/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=5068 CPUtime=0.09
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 1183 0 0 0 9 0 0 0 20 0 1 0 24796589 5189632 805 1992294400 134512640 135751879 4288628256 18446744073709551615 134518741 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 1267 805 146 303 0 962 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5068

[startup+0.301204 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 31757
/proc/meminfo: memFree=1876216/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=5464 CPUtime=0.29
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 1261 0 0 0 28 1 0 0 20 0 1 0 24796589 5595136 883 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 1366 883 147 303 0 1061 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5464

[startup+0.701254 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 31757
/proc/meminfo: memFree=1876216/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=6388 CPUtime=0.69
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 1509 0 0 0 67 2 0 0 20 0 1 0 24796589 6541312 1131 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 1597 1131 147 303 0 1292 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6388

[startup+1.50135 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31758
/proc/meminfo: memFree=1871744/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=8096 CPUtime=1.49
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 1909 0 0 0 146 3 0 0 23 0 1 0 24796589 8290304 1531 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 2024 1531 147 303 0 1719 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8096

[startup+3.10056 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31758
/proc/meminfo: memFree=1869388/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=11652 CPUtime=3.09
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 2799 0 0 0 304 5 0 0 25 0 1 0 24796589 11931648 2421 1992294400 134512640 135751879 4288628256 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 2913 2421 147 303 0 2608 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11652

[startup+6.30096 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31758
/proc/meminfo: memFree=1862816/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=17188 CPUtime=6.29
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 4186 0 0 0 620 9 0 0 25 0 1 0 24796589 17600512 3808 1992294400 134512640 135751879 4288628256 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 4297 3808 148 303 0 3992 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17188

[startup+12.7008 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31758
/proc/meminfo: memFree=1849796/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=29720 CPUtime=12.68
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 7342 0 0 0 1252 16 0 0 25 0 1 0 24796589 30433280 6964 1992294400 134512640 135751879 4288628256 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 7430 6964 148 303 0 7125 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29720

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31758
/proc/meminfo: memFree=1829088/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=50440 CPUtime=25.48
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 12520 0 0 0 2521 27 0 0 25 0 1 0 24796589 51650560 12142 1992294400 134512640 135751879 4288628256 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 12610 12142 148 303 0 12305 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50440

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31760
/proc/meminfo: memFree=1791640/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=87400 CPUtime=51.07
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 21738 0 0 0 5058 49 0 0 25 0 1 0 24796589 89497600 21360 1992294400 134512640 135751879 4288628256 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 21850 21360 148 303 0 21545 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87400

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31760
/proc/meminfo: memFree=1717240/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=161188 CPUtime=102.27
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 40181 0 0 0 10131 96 0 0 25 0 1 0 24796589 165056512 39803 1992294400 134512640 135751879 4288628256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 40297 39803 148 303 0 39992 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 161188

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31762
/proc/meminfo: memFree=1645940/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=233792 CPUtime=162.25
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 58312 0 0 0 16078 147 0 0 25 0 1 0 24796589 239403008 57934 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 58448 57934 148 303 0 58143 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 233792

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31764
/proc/meminfo: memFree=1614444/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=263412 CPUtime=222.23
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 65986 0 0 0 22045 178 0 0 25 0 1 0 24796589 269733888 65422 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 65853 65422 151 303 0 65548 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 263412

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31766
/proc/meminfo: memFree=1591256/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=287004 CPUtime=282.22
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 71845 0 0 0 28020 202 0 0 25 0 1 0 24796589 293892096 71281 1992294400 134512640 135751879 4288628256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 71751 71281 151 303 0 71446 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 287004

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31768
/proc/meminfo: memFree=1556660/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=321296 CPUtime=342.19
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 80426 0 0 0 33990 229 0 0 25 0 1 0 24796589 329007104 79862 1992294400 134512640 135751879 4288628256 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 80324 79862 151 303 0 80019 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 321296

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31768
/proc/meminfo: memFree=1519460/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=358824 CPUtime=402.18
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 89793 0 0 0 39962 256 0 0 25 0 1 0 24796589 367435776 89229 1992294400 134512640 135751879 4288628256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 89706 89229 151 303 0 89401 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 358824

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31770
/proc/meminfo: memFree=1480648/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=397180 CPUtime=462.16
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 99372 0 0 0 45935 281 0 0 25 0 1 0 24796589 406712320 98808 1992294400 134512640 135751879 4288628256 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 99295 98808 151 303 0 98990 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 397180

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31775
/proc/meminfo: memFree=1447292/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=430360 CPUtime=522.14
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 107671 0 0 0 51910 304 0 0 25 0 1 0 24796589 440688640 107107 1992294400 134512640 135751879 4288628256 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 107590 107107 151 303 0 107285 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 430360

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31777
/proc/meminfo: memFree=1408728/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=468528 CPUtime=582.13
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 117218 0 0 0 57886 327 0 0 25 0 1 0 24796589 479772672 116654 1992294400 134512640 135751879 4288628256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 117132 116654 151 303 0 116827 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 468528

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 31779
/proc/meminfo: memFree=1376860/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=500072 CPUtime=642.12
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 125101 0 0 0 63864 348 0 0 25 0 1 0 24796589 512073728 124537 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 125018 124537 151 303 0 124713 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 500072

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/106 31785
/proc/meminfo: memFree=1253728/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=623552 CPUtime=882.04
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 155898 0 0 0 87774 430 0 0 25 0 1 0 24796589 638517248 155334 1992294400 134512640 135751879 4288628256 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 155888 155334 151 303 0 155583 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 623552

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31787
/proc/meminfo: memFree=1230540/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=647220 CPUtime=942.03
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 161799 0 0 0 93756 447 0 0 25 0 1 0 24796589 662753280 161235 1992294400 134512640 135751879 4288628256 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 161805 161235 151 303 0 161500 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 647220

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31787
/proc/meminfo: memFree=1200656/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=676712 CPUtime=1002.02
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 169151 0 0 0 99733 469 0 0 25 0 1 0 24796589 692953088 168587 1992294400 134512640 135751879 4288628256 18446744073709551615 134620508 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 169178 168587 151 303 0 168873 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 676712

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31789
/proc/meminfo: memFree=1168292/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=709192 CPUtime=1062
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 177286 0 0 0 105706 494 0 0 25 0 1 0 24796589 726212608 176722 1992294400 134512640 135751879 4288628256 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 177298 176722 151 303 0 176993 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 709192

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31791
/proc/meminfo: memFree=1139276/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=738080 CPUtime=1121.98
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 184472 0 0 0 111684 514 0 0 25 0 1 0 24796589 755793920 183908 1992294400 134512640 135751879 4288628256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 184520 183908 151 303 0 184215 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 738080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31793
/proc/meminfo: memFree=1112492/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=764972 CPUtime=1181.97
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 191206 0 0 0 117662 535 0 0 25 0 1 0 24796589 783331328 190642 1992294400 134512640 135751879 4288628256 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 191243 190642 151 303 0 190938 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 764972

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31795
/proc/meminfo: memFree=1084716/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=792288 CPUtime=1241.95
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 198011 0 0 0 123640 555 0 0 25 0 1 0 24796589 811302912 197447 1992294400 134512640 135751879 4288628256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 198072 197447 151 303 0 197767 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 792288

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31795
/proc/meminfo: memFree=1053220/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=823556 CPUtime=1301.94
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 205818 0 0 0 129616 578 0 0 25 0 1 0 24796589 843321344 205254 1992294400 134512640 135751879 4288628256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 205889 205254 151 303 0 205584 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 823556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31797
/proc/meminfo: memFree=1020236/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=856772 CPUtime=1361.91
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 214125 0 0 0 135590 601 0 0 25 0 1 0 24796589 877334528 213561 1992294400 134512640 135751879 4288628256 18446744073709551615 134620383 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 214193 213561 151 303 0 213888 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 856772

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31799
/proc/meminfo: memFree=988492/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=888240 CPUtime=1421.91
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 222001 0 0 0 141567 624 0 0 25 0 1 0 24796589 909557760 221437 1992294400 134512640 135751879 4288628256 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 222060 221437 151 303 0 221755 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 888240

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31801
/proc/meminfo: memFree=963320/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=913552 CPUtime=1481.88
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 228317 0 0 0 147547 641 0 0 25 0 1 0 24796589 935477248 227753 1992294400 134512640 135751879 4288628256 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 228388 227753 151 303 0 228083 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 913552

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31803
/proc/meminfo: memFree=936288/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=940516 CPUtime=1541.86
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 235025 0 0 0 153526 660 0 0 25 0 1 0 24796589 963088384 234461 1992294400 134512640 135751879 4288628256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 235129 234461 151 303 0 234824 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 940516

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31803
/proc/meminfo: memFree=909752/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=966140 CPUtime=1601.85
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 241632 0 0 0 159499 686 0 0 25 0 1 0 24796589 989327360 241068 1992294400 134512640 135751879 4288628256 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 241535 241068 151 303 0 241230 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 966140

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31805
/proc/meminfo: memFree=872428/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=1003628 CPUtime=1661.83
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 251014 0 0 0 165472 711 0 0 25 0 1 0 24796589 1027715072 250450 1992294400 134512640 135751879 4288628256 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 250907 250450 151 303 0 250602 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1003628

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31807
/proc/meminfo: memFree=819976/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=1056120 CPUtime=1721.81
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 264157 0 0 0 171449 732 0 0 25 0 1 0 24796589 1081466880 263593 1992294400 134512640 135751879 4288628256 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 264030 263593 151 303 0 263725 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1056120

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31809
/proc/meminfo: memFree=769508/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=1105848 CPUtime=1781.8
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 276571 0 0 0 177425 755 0 0 25 0 1 0 24796589 1132388352 276007 1992294400 134512640 135751879 4288628256 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 276462 276007 151 303 0 276157 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1105848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31809
/proc/meminfo: memFree=753140/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=1121980 CPUtime=1800.1
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4202496 280603 0 0 0 179248 762 0 0 25 0 1 0 24796589 1148907520 280039 1992294400 134512640 135751879 4288628256 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31757/statm: 280495 280039 151 303 0 280190 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1121980

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: 1.00 1.00 1.00 2/106 31809
/proc/meminfo: memFree=753140/2059040 swapFree=4139404/4192956
[pid=31757] ppid=31755 vsize=0 CPUtime=1800.2
/proc/31757/stat : 31757 (wbo1.4b) R 31755 31757 31478 0 -1 4203524 280603 0 0 0 179248 772 0 0 25 0 1 0 24796589 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31757/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.22
CPU user time (s): 1792.49
CPU system time (s): 7.73082
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1121980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.49
system time used= 7.73082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280603
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= 11
involuntary context switches= 975

runsolver used 3.2665 second user time and 8.22175 second system time

The end

Launcher Data 

Begin job on node054 at 2010-07-08 07:11:39
IDJOB=2702394
IDBENCH=48132
IDSOLVER=1161
FILE ID=node054/2702394-1278565899
PBS_JOBID= 11239531
Free space on /tmp= 62472 MiB

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

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

MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032
RANDOM SEED=797067348

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1879528 kB
Buffers:         10092 kB
Cached:          79412 kB
SwapCached:       7536 kB
Active:          79856 kB
Inactive:        23696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1879528 kB
SwapTotal:     4192956 kB
SwapFree:      4139404 kB
Dirty:            2760 kB
Writeback:           0 kB
AnonPages:       11688 kB
Mapped:          12016 kB
Slab:            54060 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702394-1278565899.opb

Free space on /tmp at the end= 62468 MiB
End job on node054 at 2010-07-08 07:41:42