Trace number 2655901

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.16 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
MD5SUM9e8d546df5cfe52cfb5a29d8ae802e41
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables8601
Total number of constraints386810
Number of constraints which are clauses384742
Number of constraints which are cardinality constraints (but not clauses)2068
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
Number of terms in the objective function 94
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 94
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 92
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 186
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655901-1276623572.opb.
0.00/0.00	c Instance file HOME/instance-2655901-1276623572.opb
0.00/0.00	c File size is 13071211 bytes.
1.69/1.70	c Highest Coefficient sum: 186
1.69/1.70	c ============================[ Problem Statistics ]=============================
1.69/1.70	c |                                                                             |
1.69/1.70	c |  Parsing time:          1.69         s                                      |
1.69/1.70	c |  Number Variables:      8601                                                |
1.69/1.70	c |  Number Clauses:        385282                                              |
1.69/1.70	c |  Number Cardinality:    3570                                                |
1.69/1.70	c |  Number PB Constraints: 0                                                   |
31.68/31.71	c ============================[ Search Statistics ]==============================
31.68/31.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.68/31.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
31.68/31.71	c ===============================================================================
31.68/31.71	c |         0 |    3338   389167   117904 |   129617        0    nan |  0.000 % |
31.68/31.73	c ===============================================================================
31.68/31.73	c New solution: 51
31.68/31.73	o 51
31.68/31.73	c Elapsed CPU time: 31.6462 s	Remaining CPU time: 148.354 s
31.68/31.73	c ===============================================================================
31.68/31.73	c |         0 |    3338   389168   117998 |   129722        0    nan |  0.000 % |
31.68/31.74	c |       102 |    3338   389168   117998 |   142694      102    128 | 61.191 % |
31.68/31.78	c ===============================================================================
31.68/31.78	c New solution: 50
31.68/31.78	o 50
31.68/31.78	c Elapsed CPU time: 31.6942 s	Remaining CPU time: 148.306 s
31.68/31.78	c ===============================================================================
31.68/31.78	c |       181 |    3338   389169   118092 |   129723      181     88 | 61.191 % |
31.68/31.79	c |       281 |    3338   389169   118092 |   142695      281    100 | 61.191 % |
31.79/31.82	c |       431 |    3338   389169   118092 |   156964      431     95 | 61.191 % |
31.79/31.86	c ===============================================================================
31.79/31.86	c New solution: 49
31.79/31.86	o 49
31.79/31.86	c Elapsed CPU time: 31.7662 s	Remaining CPU time: 148.234 s
31.79/31.86	c ===============================================================================
31.79/31.86	c |       534 |    3338   389170   118186 |   129723      534     92 | 61.191 % |
31.79/31.87	c |       634 |    3338   389170   118186 |   142695      634    106 | 61.191 % |
31.79/31.89	c |       784 |    3338   389170   118186 |   156965      784    100 | 61.191 % |
31.89/31.95	c |      1009 |    3338   389170   118186 |   172661     1009     99 | 61.191 % |
31.98/32.02	c |      1346 |    3338   389170   118186 |   189927     1346    105 | 61.191 % |
31.98/32.08	c |      1855 |    3338   389170   118186 |   208920     1855    111 | 61.191 % |
32.09/32.18	c |      2615 |    3338   389170   118186 |   229812     2615    126 | 61.191 % |
32.28/32.34	c |      3754 |    3338   389170   118186 |   252794     3754    156 | 61.191 % |
32.38/32.41	c ===============================================================================
32.38/32.41	c New solution: 48
32.38/32.41	o 48
32.38/32.41	c Elapsed CPU time: 32.3081 s	Remaining CPU time: 147.692 s
32.38/32.41	c ===============================================================================
32.38/32.41	c |      4176 |    3338   389171   118280 |   129723     4176    149 | 61.191 % |
32.38/32.43	c |      4277 |    3338   389171   118280 |   142696     4277    149 | 61.191 % |
32.38/32.47	c ===============================================================================
32.38/32.47	c New solution: 47
32.38/32.47	o 47
32.38/32.47	c Elapsed CPU time: 32.3641 s	Remaining CPU time: 147.636 s
32.38/32.47	c ===============================================================================
32.38/32.47	c |      4360 |    3338   389172   118374 |   129724     4360    147 | 61.191 % |
32.38/32.49	c |      4461 |    3338   389172   118374 |   142696     4461    147 | 61.191 % |
32.49/32.52	c |      4613 |    3338   389172   118374 |   156966     4613    144 | 61.191 % |
32.49/32.58	c |      4838 |    3338   389172   118374 |   172662     4838    143 | 61.191 % |
32.58/32.64	c |      5177 |    3338   389172   118374 |   189928     5177    142 | 61.191 % |
32.58/32.68	c ===============================================================================
32.58/32.68	c New solution: 41
32.58/32.68	o 41
32.58/32.68	c Elapsed CPU time: 32.563 s	Remaining CPU time: 147.437 s
32.58/32.68	c ===============================================================================
32.58/32.68	c |      5247 |    3338   389173   118468 |   129724     5247    141 | 61.191 % |
32.58/32.69	c |      5347 |    3338   389173   118468 |   142696     5347    140 | 61.191 % |
32.68/32.72	c |      5497 |    3338   389173   118468 |   156966     5497    139 | 61.191 % |
32.68/32.75	c |      5722 |    3338   389173   118468 |   172663     5722    140 | 61.191 % |
32.79/32.81	c |      6060 |    3338   389173   118468 |   189929     6060    137 | 61.191 % |
32.79/32.89	c |      6567 |    3338   389173   118468 |   208922     6567    136 | 61.191 % |
32.99/33.04	c |      7326 |    3338   389173   118468 |   229814     7326    144 | 61.191 % |
33.18/33.22	c |      8465 |    3338   389173   118468 |   252796     8465    150 | 61.191 % |
33.48/33.54	c |     10175 |    3338   389173   118468 |   278075    10175    153 | 61.191 % |
33.99/34.00	c |     12738 |    3338   389173   118468 |   305883    12738    164 | 61.191 % |
34.88/34.91	c |     16583 |    3338   389173   118468 |   336471    16583    190 | 61.191 % |
36.29/36.33	c |     22350 |    3338   389173   118468 |   370118    22350    194 | 61.191 % |
37.18/37.24	c ===============================================================================
37.18/37.24	c New solution: 40
37.18/37.24	o 40
37.18/37.24	c Elapsed CPU time: 37.0544 s	Remaining CPU time: 142.946 s
37.18/37.24	c ===============================================================================
37.18/37.24	c |     25301 |    3338   389174   118562 |   129724    25301    196 | 61.191 % |
37.29/37.32	c |     25402 |    3338   389174   118562 |   142697    25402    195 | 61.191 % |
37.29/37.36	c |     25553 |    3338   389174   118562 |   156966    25553    195 | 61.191 % |
37.39/37.47	c |     25779 |    3338   389174   118562 |   172663    25779    194 | 61.191 % |
37.48/37.55	c |     26117 |    3338   389174   118562 |   189929    26117    193 | 61.191 % |
37.58/37.67	c |     26623 |    3338   389174   118562 |   208922    26623    193 | 61.191 % |
37.78/37.89	c |     27382 |    3338   389174   118562 |   229815    27382    192 | 61.191 % |
38.08/38.18	c |     28521 |    3338   389174   118562 |   252796    28521    191 | 61.191 % |
38.58/38.63	c |     30230 |    3338   389174   118562 |   278076    30230    191 | 61.191 % |
39.49/39.57	c |     32792 |    3338   389174   118562 |   305883    32792    197 | 61.191 % |
40.48/40.58	c |     36636 |    3338   389174   118562 |   336472    36636    202 | 61.191 % |
40.98/41.09	c ===============================================================================
40.98/41.09	c New solution: 39
40.98/41.09	o 39
40.98/41.09	c Elapsed CPU time: 40.8588 s	Remaining CPU time: 139.141 s
40.98/41.09	c ===============================================================================
40.98/41.09	c |     37695 |    3338   389175   118656 |   129725    37695    201 | 61.191 % |
41.08/41.17	c |     37796 |    3338   389175   118656 |   142697    37796    201 | 61.191 % |
41.18/41.24	c |     37946 |    3338   389175   118656 |   156967    37946    201 | 61.191 % |
41.28/41.37	c |     38171 |    3338   389175   118656 |   172663    38171    200 | 61.191 % |
41.48/41.53	c |     38508 |    3338   389175   118656 |   189930    38508    200 | 61.191 % |
41.69/41.76	c |     39015 |    3338   389175   118656 |   208923    39015    199 | 61.191 % |
41.98/42.04	c |     39774 |    3338   389175   118656 |   229815    39774    201 | 61.191 % |
42.28/42.36	c |     40913 |    3338   389175   118656 |   252797    40913    200 | 61.191 % |
42.89/42.99	c |     42621 |    3338   389175   118656 |   278077    42621    198 | 61.191 % |
43.78/43.84	c |     45183 |    3338   389175   118656 |   305884    45183    196 | 61.191 % |
45.08/45.12	c |     49028 |    3338   389175   118656 |   336473    49028    194 | 61.191 % |
46.98/47.02	c |     54795 |    3338   389175   118656 |   370120    54795    191 | 61.191 % |
49.88/49.95	c |     63444 |    3338   389175   118656 |   407132    63444    188 | 61.191 % |
55.88/55.90	c |     76418 |    3338   389175   118656 |   447845    76418    192 | 61.191 % |
70.17/70.23	c |     95880 |    3338   389175   118656 |   492630    95880    220 | 61.191 % |
94.47/94.50	c |    125072 |    3338   389175   118656 |   541893   125072    227 | 61.191 % |
148.24/148.33	c |    168862 |    3338   389175   118656 |   596082   168862    249 | 61.191 % |
181.14/181.20	c There are 5263 assigned variables. 8 in cost function.
181.93/182.06	c core #1
181.93/182.06	c core #2
181.93/182.06	c core #3
181.93/182.06	c core #4
181.93/182.06	c core #5
181.93/182.06	c core #6
181.93/182.06	c core #7
181.93/182.06	c core #8
181.93/182.06	c core #9
181.93/182.06	c core #10
181.93/182.06	c core #11
181.93/182.06	c core #12
181.93/182.06	c core #13
181.93/182.06	c core #14
181.93/182.06	c ============================[ Search Statistics ]==============================
181.93/182.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.93/182.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.93/182.06	c ===============================================================================
181.93/182.06	c |         0 |    3473    42998    89181 |    14332        0    nan |  0.000 % |
181.93/182.07	c ===============================================================================
182.03/182.10	c core #15
182.03/182.10	c ============================[ Search Statistics ]==============================
182.03/182.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.10	c ===============================================================================
182.03/182.10	c |         0 |    3520    43042    89359 |    14347        0    nan |  0.000 % |
182.03/182.11	c ===============================================================================
182.03/182.15	c core #16
182.03/182.15	c ============================[ Search Statistics ]==============================
182.03/182.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.15	c ===============================================================================
182.03/182.15	c |         0 |    3554    43072    89660 |    14357        0    nan |  0.000 % |
182.03/182.15	c ===============================================================================
182.03/182.20	c core #17
182.03/182.20	c ============================[ Search Statistics ]==============================
182.03/182.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.20	c ===============================================================================
182.03/182.20	c |         0 |    3626    43141    90029 |    14380        0    nan |  0.000 % |
182.13/182.20	c ===============================================================================
182.13/182.24	c core #18
182.13/182.24	c ============================[ Search Statistics ]==============================
182.13/182.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.24	c ===============================================================================
182.13/182.24	c |         0 |    3665    43179    90186 |    14393        0    nan |  0.000 % |
182.13/182.26	c |       102 |    3657    43179    90186 |    15832      102     13 | 59.276 % |
182.13/182.27	c |       252 |    3639    43179    90186 |    17415      252     19 | 59.711 % |
182.13/182.27	c ===============================================================================
182.23/182.31	c core #19
182.23/182.31	c ============================[ Search Statistics ]==============================
182.23/182.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.31	c ===============================================================================
182.23/182.31	c |         0 |    3904    43420    91362 |    14473        0    nan |  0.000 % |
182.23/182.31	c ===============================================================================
182.23/182.36	c core #20
182.23/182.36	c ============================[ Search Statistics ]==============================
182.23/182.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.36	c ===============================================================================
182.23/182.36	c |         0 |    3962    43475    91756 |    14491        0    nan |  0.000 % |
182.23/182.37	c |       100 |    3961    43475    91756 |    15940      100     19 | 57.276 % |
182.23/182.39	c |       250 |    3961    43475    91756 |    17534      250     24 | 57.276 % |
182.23/182.40	c ===============================================================================
182.34/182.44	c core #21
182.34/182.44	c ============================[ Search Statistics ]==============================
182.34/182.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.44	c ===============================================================================
182.34/182.44	c |         0 |    4280    43817    93233 |    14605        0    nan |  0.000 % |
182.34/182.46	c |       101 |    4279    43817    93233 |    16066      101     34 | 55.367 % |
182.34/182.47	c |       251 |    4279    43817    93233 |    17672      251     24 | 55.367 % |
182.34/182.49	c |       476 |    4279    43817    93233 |    19440      476     22 | 55.367 % |
182.44/182.52	c |       813 |    4279    43817    93233 |    21384      812     31 | 55.367 % |
182.44/182.58	c |      1319 |    4279    43817    93233 |    23522     1318     36 | 55.367 % |
182.54/182.67	c |      2078 |    4278    43817    93233 |    25874     2062     38 | 55.377 % |
182.73/182.82	c |      3219 |    4276    43817    93233 |    28462     3191     42 | 55.398 % |
183.04/183.10	c |      4931 |    4275    43817    93233 |    31308     4902     47 | 55.408 % |
183.43/183.54	c |      7493 |    4155    43817    93233 |    34439     4718     37 | 56.660 % |
183.64/183.71	c ===============================================================================
183.73/183.83	c core #22
183.73/183.83	c ============================[ Search Statistics ]==============================
183.73/183.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.83	c ===============================================================================
183.73/183.83	c |         0 |    6136    45871   101660 |    15290        0    nan |  0.000 % |
183.73/183.84	c |       100 |    6126    45871   101660 |    16819      100     37 | 47.057 % |
183.73/183.85	c ===============================================================================
183.73/183.89	c core #23
183.73/183.89	c ============================[ Search Statistics ]==============================
183.73/183.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.89	c ===============================================================================
183.73/183.89	c |         0 |    6607    46344   103590 |    15448        0    nan |  0.000 % |
183.83/183.91	c |       100 |    6605    46344   103590 |    16992      100     54 | 44.487 % |
183.83/183.93	c |       250 |    6605    46344   103590 |    18692      250     40 | 44.487 % |
183.83/183.95	c |       476 |    6605    46344   103590 |    20561      476     34 | 44.487 % |
183.93/184.02	c |       813 |    6605    46344   103590 |    22617      811     30 | 44.486 % |
184.04/184.12	c |      1319 |    6605    46344   103590 |    24879     1317     33 | 44.486 % |
184.14/184.27	c |      2078 |    6605    46344   103590 |    27367     2076     35 | 44.486 % |
184.43/184.55	c |      3217 |    6605    46344   103590 |    30103     3215     41 | 44.487 % |
184.84/184.97	c |      4925 |    6605    46344   103590 |    33114     4923     38 | 44.487 % |
185.44/185.58	c |      7490 |    6604    46344   103590 |    36425     7484     39 | 44.495 % |
186.63/186.72	c |     11335 |    6602    46344   103590 |    40068    10521     41 | 44.520 % |
188.63/188.78	c |     17101 |    6581    46344   103590 |    44074    16169     48 | 44.722 % |
193.23/193.30	c |     25751 |    6573    46344   103590 |    48482    24750     53 | 44.755 % |
202.23/202.31	c |     38725 |    6568    46344   103590 |    53330    37237     62 | 44.814 % |
210.73/210.84	c ===============================================================================
211.53/211.62	c core #24
211.53/211.62	c ============================[ Search Statistics ]==============================
211.53/211.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.53/211.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.53/211.62	c ===============================================================================
211.53/211.62	c |         0 |    8300    48277   111459 |    16092        0    nan |  0.000 % |
211.53/211.64	c |       102 |    8298    48277   111459 |    17701      102     48 | 38.931 % |
211.53/211.66	c |       252 |    8298    48277   111459 |    19471      252     47 | 38.931 % |
211.53/211.69	c |       477 |    8298    48277   111459 |    21418      477     44 | 38.931 % |
211.63/211.78	c |       815 |    8298    48277   111459 |    23560      813     47 | 38.931 % |
211.82/211.91	c |      1322 |    8298    48277   111459 |    25916     1320     39 | 38.931 % |
212.03/212.14	c |      2081 |    8298    48277   111459 |    28508     2079     38 | 38.931 % |
212.32/212.48	c |      3220 |    8298    48277   111459 |    31359     3218     46 | 38.931 % |
212.73/212.84	c |      4929 |    8296    48277   111459 |    34495     4926     47 | 38.947 % |
213.52/213.66	c |      7491 |    8296    48277   111459 |    37944     7487     52 | 38.946 % |
214.83/214.98	c |     11336 |    8296    48277   111459 |    41739    11332     53 | 38.946 % |
217.73/217.89	c |     17102 |    8296    48277   111459 |    45913    17098     53 | 38.946 % |
221.92/222.08	c |     25751 |    8296    48277   111459 |    50504    25747     66 | 38.946 % |
229.42/229.50	c |     38726 |    8286    48277   111459 |    55555    38625     66 | 39.020 % |
244.52/244.68	c |     58187 |    8280    48277   111459 |    61110    57995     75 | 39.071 % |
270.42/270.57	c |     87380 |    8267    48277   111459 |    67221    36850    120 | 39.167 % |
315.20/315.31	c |    131170 |    8252    48277   111459 |    73943    26285     98 | 39.285 % |
392.49/392.68	c |    196854 |    8231    48277   111459 |    81338    33070    114 | 39.432 % |
468.76/468.91	c ===============================================================================
476.46/476.69	c core #25
476.46/476.69	c ============================[ Search Statistics ]==============================
476.46/476.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
476.46/476.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
476.46/476.69	c ===============================================================================
476.46/476.69	c |         0 |   10841    51198   123368 |    17066        0    nan |  0.000 % |
476.56/476.75	c |       100 |   10841    51198   123368 |    18772      100     52 | 32.765 % |
476.56/476.77	c |       250 |   10841    51198   123368 |    20649      250     41 | 32.765 % |
476.65/476.89	c |       478 |   10841    51198   123368 |    22714      478     38 | 32.765 % |
476.75/476.99	c |       816 |   10841    51198   123368 |    24986      816     36 | 32.765 % |
477.05/477.22	c |      1322 |   10841    51198   123368 |    27484     1322     54 | 32.765 % |
477.36/477.57	c |      2081 |   10841    51198   123368 |    30233     2081     54 | 32.765 % |
477.85/478.05	c |      3222 |   10841    51198   123368 |    33256     3222     49 | 32.765 % |
478.66/478.88	c |      4932 |   10841    51198   123368 |    36582     4932     44 | 32.765 % |
479.55/479.72	c |      7495 |   10841    51198   123368 |    40240     7495     48 | 32.765 % |
481.56/481.78	c |     11341 |   10841    51198   123368 |    44264    11341     55 | 32.765 % |
484.65/484.80	c |     17108 |   10840    51198   123368 |    48691    17107     59 | 32.771 % |
490.46/490.62	c |     25759 |   10840    51198   123368 |    53560    25758     71 | 32.771 % |
499.75/499.90	c |     38733 |   10840    51198   123368 |    58916    38732     76 | 32.771 % |
517.34/517.55	c |     58194 |   10840    51198   123368 |    64808    58193     85 | 32.771 % |
545.44/545.66	c |     87387 |   10840    51198   123368 |    71288    29772    102 | 32.772 % |
596.02/596.28	c |    131176 |   10837    51198   123368 |    78417    73556    111 | 32.790 % |
674.59/674.86	c |    196862 |   10837    51198   123368 |    86259    68921    126 | 32.790 % |
812.66/812.98	c |    295390 |   10837    51198   123368 |    94885    89661    154 | 32.790 % |
1037.18/1037.56	c |    443179 |   10837    51198   123368 |   104374    72177    147 | 32.790 % |
1354.69/1355.10	c |    664868 |   10834    51198   123368 |   114811    17320    125 | 32.808 % |

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-2655901-1276623572/watcher-2655901-1276623572 -o /tmp/evaluation-result-2655901-1276623572/solver-2655901-1276623572 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655901-1276623572.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.50 1.77 1.49 3/105 10885
/proc/meminfo: memFree=1732324/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=15840 CPUtime=0
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 417 0 0 0 0 0 0 0 22 0 1 0 3650731 16220160 336 1992294400 134512640 135751879 4291369856 18446744073709551615 134638951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 3960 336 144 303 0 463 0

[startup+0.012235 s]
/proc/loadavg: 1.50 1.77 1.49 3/105 10885
/proc/meminfo: memFree=1732324/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=16160 CPUtime=0.01
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 499 0 0 0 1 0 0 0 22 0 1 0 3650731 16547840 418 1992294400 134512640 135751879 4291369856 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 4040 419 148 303 0 543 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16160

[startup+0.101242 s]
/proc/loadavg: 1.50 1.77 1.49 3/105 10885
/proc/meminfo: memFree=1732324/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=17280 CPUtime=0.09
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 921 0 0 0 9 0 0 0 22 0 1 0 3650731 17694720 840 1992294400 134512640 135751879 4291369856 18446744073709551615 135225248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 4320 840 318 303 0 823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17280

[startup+0.301262 s]
/proc/loadavg: 1.50 1.77 1.49 3/105 10885
/proc/meminfo: memFree=1732324/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=19492 CPUtime=0.29
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 1844 0 0 0 29 0 0 0 22 0 1 0 3650731 19959808 1763 1992294400 134512640 135751879 4291369856 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 4873 1763 707 303 0 1376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19492

[startup+0.7013 s]
/proc/loadavg: 1.50 1.77 1.49 3/105 10885
/proc/meminfo: memFree=1732324/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=23640 CPUtime=0.69
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 3653 0 0 0 69 0 0 0 25 0 1 0 3650731 24207360 3572 1992294400 134512640 135751879 4291369856 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 5910 3572 1468 303 0 2413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23640

[startup+1.50038 s]
/proc/loadavg: 1.50 1.77 1.49 2/106 10886
/proc/meminfo: memFree=1720660/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=32344 CPUtime=1.49
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 7230 0 0 0 148 1 0 0 25 0 1 0 3650731 33120256 7149 1992294400 134512640 135751879 4291369856 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 8086 7149 2963 303 0 4589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32344

[startup+3.10383 s]
/proc/loadavg: 1.46 1.76 1.49 2/106 10886
/proc/meminfo: memFree=1707516/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=29828 CPUtime=3.09
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 10528 0 0 0 307 2 0 0 25 0 1 0 3650731 30543872 6771 1992294400 134512640 135751879 4291369856 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 7457 6773 146 303 0 7152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29828

[startup+6.30084 s]
/proc/loadavg: 1.46 1.76 1.49 2/106 10886
/proc/meminfo: memFree=1700456/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=35636 CPUtime=6.29
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 11980 0 0 0 626 3 0 0 25 0 1 0 3650731 36491264 8223 1992294400 134512640 135751879 4291369856 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 8909 8223 146 303 0 8604 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35636

[startup+12.7005 s]
/proc/loadavg: 1.54 1.77 1.49 2/106 10886
/proc/meminfo: memFree=1691404/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=44216 CPUtime=12.69
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 14129 0 0 0 1265 4 0 0 25 0 1 0 3650731 45277184 10372 1992294400 134512640 135751879 4291369856 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 11054 10372 146 303 0 10749 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44216

[startup+25.5017 s]
/proc/loadavg: 1.45 1.74 1.49 2/106 10886
/proc/meminfo: memFree=1678632/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=56492 CPUtime=25.48
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 17205 0 0 0 2542 6 0 0 25 0 1 0 3650731 57847808 13448 1992294400 134512640 135751879 4291369856 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 14123 13448 146 303 0 13818 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56492

[startup+51.1012 s]
/proc/loadavg: 1.30 1.68 1.47 2/106 10886
/proc/meminfo: memFree=1652716/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=83336 CPUtime=51.08
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 23884 0 0 0 5075 33 0 0 25 0 1 0 3650731 85336064 20127 1992294400 134512640 135751879 4291369856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 20834 20127 147 303 0 20529 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83336

[startup+102.308 s]
/proc/loadavg: 1.12 1.56 1.44 2/106 10888
/proc/meminfo: memFree=1567280/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=167944 CPUtime=102.27
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 45017 0 0 0 10157 70 0 0 25 0 1 0 3650731 171974656 41260 1992294400 134512640 135751879 4291369856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 41986 41260 147 303 0 41681 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 167944

[startup+162.302 s]
/proc/loadavg: 1.05 1.47 1.42 2/106 10890
/proc/meminfo: memFree=1504164/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=231540 CPUtime=162.24
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 60887 0 0 0 16120 104 0 0 25 0 1 0 3650731 237096960 57130 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 57885 57130 147 303 0 57580 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 231540

[startup+222.302 s]
/proc/loadavg: 1.01 1.37 1.39 2/106 10892
/proc/meminfo: memFree=1485564/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=222.22
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65949 0 0 0 22081 141 0 0 25 0 1 0 3650731 254701568 61527 1992294400 134512640 135751879 4291369856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61527 151 303 0 61878 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 248732

[startup+282.302 s]
/proc/loadavg: 1.00 1.31 1.36 2/106 10894
/proc/meminfo: memFree=1485440/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=282.2
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65953 0 0 0 28054 166 0 0 25 0 1 0 3650731 254701568 61531 1992294400 134512640 135751879 4291369856 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61531 151 303 0 61878 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 248732

[startup+342.301 s]
/proc/loadavg: 1.03 1.26 1.34 2/106 10894
/proc/meminfo: memFree=1485440/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=342.19
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65959 0 0 0 34031 188 0 0 25 0 1 0 3650731 254701568 61537 1992294400 134512640 135751879 4291369856 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61537 151 303 0 61878 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 248732

[startup+402.301 s]
/proc/loadavg: 1.01 1.21 1.32 2/106 10896
/proc/meminfo: memFree=1485316/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=402.17
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65977 0 0 0 40010 207 0 0 25 0 1 0 3650731 254701568 61555 1992294400 134512640 135751879 4291369856 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61555 151 303 0 61878 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 248732

[startup+462.301 s]
/proc/loadavg: 1.00 1.17 1.29 2/106 10898
/proc/meminfo: memFree=1485316/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=462.16
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65987 0 0 0 45994 222 0 0 25 0 1 0 3650731 254701568 61565 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61565 151 303 0 61878 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 248732

[startup+522.301 s]
/proc/loadavg: 1.00 1.14 1.27 2/106 10900
/proc/meminfo: memFree=1485192/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=522.14
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65988 0 0 0 51969 245 0 0 25 0 1 0 3650731 254701568 61566 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61566 151 303 0 61878 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 248732

[startup+582.301 s]
/proc/loadavg: 1.00 1.11 1.25 2/106 10902
/proc/meminfo: memFree=1485192/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=582.11
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65988 0 0 0 57945 266 0 0 25 0 1 0 3650731 254701568 61566 1992294400 134512640 135751879 4291369856 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61566 151 303 0 61878 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 248732

[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.23 2/106 10902
/proc/meminfo: memFree=1485068/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=248732 CPUtime=642.1
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 65997 0 0 0 63926 284 0 0 25 0 1 0 3650731 254701568 61575 1992294400 134512640 135751879 4291369856 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 62183 61575 151 303 0 61878 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 248732

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.04 1.18 2/106 10908
/proc/meminfo: memFree=1409056/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=325256 CPUtime=822.05
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 85089 0 0 0 81855 350 0 0 25 0 1 0 3650731 333062144 80667 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 81314 80667 151 303 0 81009 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 325256

[startup+882.301 s]
/proc/loadavg: 1.00 1.03 1.17 2/106 10910
/proc/meminfo: memFree=1366772/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=367248 CPUtime=882.03
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 95585 0 0 0 87828 375 0 0 25 0 1 0 3650731 376061952 91163 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 91812 91163 151 303 0 91507 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 367248

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.16 2/106 10910
/proc/meminfo: memFree=1338748/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=395388 CPUtime=942.01
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 102613 0 0 0 93807 394 0 0 25 0 1 0 3650731 404877312 98191 1992294400 134512640 135751879 4291369856 18446744073709551615 134616728 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 98847 98191 151 303 0 98542 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 395388

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.15 2/106 10912
/proc/meminfo: memFree=1307376/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=426552 CPUtime=1002
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 110410 0 0 0 99781 419 0 0 25 0 1 0 3650731 436789248 105988 1992294400 134512640 135751879 4291369856 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 106638 105988 151 303 0 106333 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 426552

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/106 10914
/proc/meminfo: memFree=1276128/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=457988 CPUtime=1061.98
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 118248 0 0 0 105753 445 0 0 25 0 1 0 3650731 468979712 113826 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 114497 113826 151 303 0 114192 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 457988

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/106 10916
/proc/meminfo: memFree=1248972/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=484868 CPUtime=1121.96
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 124971 0 0 0 111727 469 0 0 25 0 1 0 3650731 496504832 120549 1992294400 134512640 135751879 4291369856 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 121217 120549 151 303 0 120912 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 484868

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 10918
/proc/meminfo: memFree=1218220/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=515544 CPUtime=1181.95
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 132650 0 0 0 117702 493 0 0 25 0 1 0 3650731 527917056 128228 1992294400 134512640 135751879 4291369856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 128886 128228 151 303 0 128581 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 515544

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 10918
/proc/meminfo: memFree=1192428/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=541440 CPUtime=1241.93
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 139076 0 0 0 123678 515 0 0 25 0 1 0 3650731 554434560 134654 1992294400 134512640 135751879 4291369856 18446744073709551615 134616285 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 135360 134654 151 303 0 135055 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 541440

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 10929
/proc/meminfo: memFree=1150020/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=583068 CPUtime=1301.9
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 149461 0 0 0 129651 539 0 0 25 0 1 0 3650731 597061632 145039 1992294400 134512640 135751879 4291369856 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 145767 145039 151 303 0 145462 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 583068

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 10931
/proc/meminfo: memFree=1117656/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=615872 CPUtime=1361.88
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 157661 0 0 0 135625 563 0 0 25 0 1 0 3650731 630652928 153239 1992294400 134512640 135751879 4291369856 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 153968 153239 151 303 0 153663 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 615872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 10933
/proc/meminfo: memFree=1083432/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=649576 CPUtime=1421.87
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 166107 0 0 0 141596 591 0 0 25 0 1 0 3650731 665165824 161685 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 162394 161685 151 303 0 162089 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 649576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 10935
/proc/meminfo: memFree=1061360/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=671844 CPUtime=1481.85
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 171650 0 0 0 147577 608 0 0 25 0 1 0 3650731 687968256 167228 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 167961 167228 151 303 0 167656 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 671844

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 10935
/proc/meminfo: memFree=1037304/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=695840 CPUtime=1541.83
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 177653 0 0 0 153554 629 0 0 25 0 1 0 3650731 712540160 173231 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 173960 173231 151 303 0 173655 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 695840

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 10937
/proc/meminfo: memFree=1000600/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=732540 CPUtime=1601.81
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 186824 0 0 0 159522 659 0 0 25 0 1 0 3650731 750120960 182402 1992294400 134512640 135751879 4291369856 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 183135 182402 151 303 0 182830 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 732540

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.06 2/106 10939
/proc/meminfo: memFree=977164/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=755948 CPUtime=1661.8
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 192644 0 0 0 165500 680 0 0 25 0 1 0 3650731 774090752 188222 1992294400 134512640 135751879 4291369856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 188987 188222 151 303 0 188682 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 755948

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.06 2/106 10941
/proc/meminfo: memFree=947032/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=786444 CPUtime=1721.77
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 200286 0 0 0 171474 703 0 0 25 0 1 0 3650731 805318656 195864 1992294400 134512640 135751879 4291369856 18446744073709551615 134616819 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 196611 195864 151 303 0 196306 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 786444

[startup+1782.3 s]
/proc/loadavg: 1.05 1.03 1.06 2/106 10943
/proc/meminfo: memFree=918016/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=814860 CPUtime=1781.77
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 207379 0 0 0 177452 725 0 0 25 0 1 0 3650731 834416640 202957 1992294400 134512640 135751879 4291369856 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 203715 202957 151 303 0 203410 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 814860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.10 1.04 1.06 2/106 10943
/proc/meminfo: memFree=911320/2059040 swapFree=4192956/4192956
[pid=10885] ppid=10883 vsize=821328 CPUtime=1800.07
/proc/10885/stat : 10885 (wbo1.4b) R 10883 10885 10380 0 -1 4202496 209008 0 0 0 179276 731 0 0 25 0 1 0 3650731 841039872 204586 1992294400 134512640 135751879 4291369856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10885/statm: 205332 204586 151 303 0 205027 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 821328

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.69
CPU time (s): 1800.16
CPU user time (s): 1792.76
CPU system time (s): 7.39188
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 821328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.76
system time used= 7.39188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209008
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= 10
involuntary context switches= 4640

runsolver used 3.01154 second user time and 8.47571 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 19:39:32
IDJOB=2655901
IDBENCH=2957
IDSOLVER=1161
FILE ID=node089/2655901-1276623572
PBS_JOBID= 11172319
Free space on /tmp= 62544 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655901-1276623572/watcher-2655901-1276623572 -o /tmp/evaluation-result-2655901-1276623572/solver-2655901-1276623572 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655901-1276623572.opb

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

MD5SUM BENCH= 9e8d546df5cfe52cfb5a29d8ae802e41
RANDOM SEED=1243441912

node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1732852 kB
Buffers:         50348 kB
Cached:         151716 kB
SwapCached:          0 kB
Active:          98300 kB
Inactive:       163252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1732852 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           15472 kB
Writeback:           0 kB
AnonPages:       59480 kB
Mapped:          15584 kB
Slab:            43160 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62544 MiB
End job on node089 at 2010-06-15 20:09:35