Trace number 2680690

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.1 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark269.719
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680690-1277457835.opb.
0.00/0.00	c Instance file HOME/instance-2680690-1277457835.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      94                                                  |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 8                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      94        8      366 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 780
0.00/0.00	o 780
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      94        9      430 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 556
0.00/0.00	o 556
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        62 |      94       10      494 |     5000       62     36 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 388
0.00/0.00	o 388
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        62 |      94       11      558 |     5000       62     36 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 380
0.00/0.00	o 380
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        63 |      94       12      622 |     5000       63     37 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 372
0.00/0.00	o 372
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        66 |      94       13      686 |     5000       66     36 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 370
0.00/0.00	o 370
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        67 |      94       14      750 |     5000       67     37 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 368
0.00/0.00	o 368
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        74 |      94       15      814 |     5000       74     36 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 348
0.00/0.00	o 348
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       116 |      94       16      878 |     5000      116     35 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 186
0.00/0.00	o 186
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       116 |      94       17      942 |     5000      116     35 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 184
0.00/0.00	o 184
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       117 |      94       18     1006 |     5000      117     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 171
0.00/0.01	o 171
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       121 |      94       19     1070 |     5000      121     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 166
0.00/0.01	o 166
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       132 |      94       20     1134 |     5000      132     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 105
0.00/0.01	o 105
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       156 |      94       21     1198 |     5000      156     34 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 77
0.00/0.01	o 77
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       203 |      86       22     1262 |     5000       90     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 56
0.00/0.01	o 56
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       207 |      86       23     1326 |     5000       94     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 32
0.00/0.01	o 32
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       226 |      78       24     1390 |     5000      113     33 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 28
0.00/0.02	o 28
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       263 |      70       25     1454 |     5000      150     33 |  0.000 % |
0.00/0.02	c |       363 |      70       25     1454 |     5500      250     34 | 25.543 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 20
0.00/0.02	o 20
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       438 |      70       26     1518 |     5000      233     35 | 25.543 % |
0.00/0.03	c |       538 |      70       26     1518 |     5500      333     35 | 25.543 % |
0.03/0.04	c |       688 |      70       26     1518 |     6050      483     34 | 25.543 % |
0.03/0.05	c |       913 |      70       26     1518 |     6655      708     34 | 25.543 % |
0.03/0.07	c |      1250 |      70       26     1518 |     7320     1045     35 | 25.543 % |
0.09/0.10	c |      1756 |      70       26     1518 |     8052     1551     34 | 25.543 % |
0.09/0.15	c |      2516 |      70       26     1518 |     8857     2311     36 | 25.543 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 19
0.09/0.17	o 19
0.09/0.17	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 179.842 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |      2745 |      70       27     1582 |     5000     2540     35 | 25.543 % |
0.09/0.18	c |      2845 |      70       27     1582 |     5500     2640     36 | 25.543 % |
0.09/0.19	c |      2995 |      70       27     1582 |     6050     2790     36 | 25.543 % |
0.19/0.21	c |      3220 |      70       27     1582 |     6655     3015     35 | 25.543 % |
0.19/0.24	c |      3557 |      70       27     1582 |     7320     3352     35 | 25.543 % |
0.19/0.28	c |      4063 |      70       27     1582 |     8052     3858     35 | 25.543 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 18
0.29/0.32	o 18
0.29/0.32	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 179.688 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |      4526 |      70       28     1646 |     5000     4321     35 | 25.543 % |
0.29/0.33	c |      4626 |      70       28     1646 |     5500     4421     35 | 25.543 % |
0.29/0.35	c |      4776 |      70       28     1646 |     6050     4571     35 | 25.543 % |
0.29/0.37	c |      5002 |      70       28     1646 |     6655     4797     35 | 25.543 % |
0.39/0.41	c |      5339 |      70       28     1646 |     7320     5134     35 | 25.543 % |
0.39/0.46	c |      5846 |      70       28     1646 |     8052     5641     35 | 25.543 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: 16
0.39/0.48	o 16
0.39/0.48	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 179.539 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |      5982 |      70       29     1710 |     5000     5777     35 | 25.543 % |
0.49/0.50	c |      6082 |      62       29     1710 |     5500     2937     35 | 34.054 % |
0.49/0.51	c |      6233 |      62       29     1710 |     6050     3088     35 | 34.054 % |
0.49/0.53	c |      6458 |      62       29     1710 |     6655     3313     35 | 34.054 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: 15
0.49/0.54	o 15
0.49/0.54	c Elapsed CPU time: 0.52192 s	Remaining CPU time: 179.478 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |      6592 |      62       30     1774 |     5000     3447     35 | 34.054 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 14
0.49/0.55	o 14
0.49/0.55	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 179.47 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |      6681 |      62       31     1838 |     5000     3536     35 | 34.054 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 12
0.49/0.55	o 12
0.49/0.55	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 179.47 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |      6682 |      62       32     1902 |     5000     3537     35 | 34.054 % |
0.49/0.56	c |      6782 |      62       32     1902 |     5500     3637     35 | 34.054 % |
0.49/0.57	c |      6932 |      62       32     1902 |     6050     3787     35 | 34.054 % |
0.49/0.59	c |      7158 |      62       32     1902 |     6655     4013     35 | 34.054 % |
0.59/0.62	c |      7496 |      62       32     1902 |     7320     4351     36 | 34.054 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: 11
0.59/0.65	o 11
0.59/0.65	c Elapsed CPU time: 0.629904 s	Remaining CPU time: 179.37 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |      7824 |      62       33     1966 |     5000     4679     36 | 34.054 % |
0.59/0.66	c |      7924 |      62       33     1966 |     5500     4779     36 | 34.054 % |
0.59/0.68	c |      8074 |      62       33     1966 |     6050     4929     36 | 34.054 % |
0.69/0.70	c |      8299 |      62       33     1966 |     6655     5154     36 | 34.054 % |
0.69/0.74	c |      8637 |      62       33     1966 |     7320     5492     36 | 34.054 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 9
0.69/0.75	o 9
0.69/0.75	c Elapsed CPU time: 0.728889 s	Remaining CPU time: 179.271 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |      8777 |      62       34     2030 |     5000     5632     36 | 34.054 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: 7
0.69/0.76	o 7
0.69/0.76	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 179.263 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |      8779 |      62       35     2094 |     5000     2818     38 | 34.054 % |
0.69/0.77	c |      8880 |      60       35     2094 |     5500     2919     38 | 42.565 % |
0.69/0.78	c |      9031 |      60       35     2094 |     6050     3070     38 | 42.565 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 6
0.69/0.78	o 6
0.69/0.78	c Elapsed CPU time: 0.757884 s	Remaining CPU time: 179.242 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |      9057 |      54       36     2158 |     5000     3096     38 | 42.565 % |
0.69/0.79	c |      9158 |      54       36     2158 |     5500     3197     39 | 42.565 % |
0.79/0.80	c |      9308 |      54       36     2158 |     6050     3347     39 | 42.565 % |
0.79/0.82	c |      9534 |      54       36     2158 |     6655     3573     39 | 42.565 % |
0.79/0.84	c |      9873 |      54       36     2158 |     7320     3912     39 | 42.565 % |
0.79/0.88	c |     10379 |      54       36     2158 |     8052     4418     40 | 42.565 % |
0.89/0.95	c |     11139 |      54       36     2158 |     8857     5178     40 | 42.565 % |
1.00/1.05	c |     12278 |      54       36     2158 |     9743     6317     41 | 42.565 % |
1.19/1.24	c |     13986 |      54       36     2158 |    10717     8025     39 | 42.565 % |
1.49/1.58	c |     16548 |      54       36     2158 |    11789    10587     39 | 42.565 % |
1.99/2.09	c |     20393 |      54       36     2158 |    12968     8506     39 | 42.565 % |
2.79/2.82	c |     26159 |      54       36     2158 |    14265     7758     39 | 42.565 % |
3.49/3.50	c ===============================================================================
3.49/3.50	c New solution: 3
3.49/3.50	o 3
3.49/3.50	c Elapsed CPU time: 3.43348 s	Remaining CPU time: 176.567 s
3.49/3.50	c ===============================================================================
3.49/3.50	c |     31131 |      54       37     2222 |     5000    12730     41 | 42.565 % |
3.49/3.56	c |     31231 |      53       37     2222 |     5500     3283     44 | 51.075 % |
3.49/3.57	c |     31381 |      52       37     2222 |     6050     3433     44 | 51.075 % |
3.49/3.59	c |     31607 |      51       37     2222 |     6655     3659     44 | 51.075 % |
3.59/3.61	c |     31944 |      51       37     2222 |     7320     3996     44 | 51.075 % |
3.59/3.65	c |     32450 |      51       37     2222 |     8052     4502     44 | 51.075 % |
3.69/3.71	c |     33211 |      50       37     2222 |     8857     5263     44 | 51.075 % |
3.79/3.82	c |     34350 |      50       37     2222 |     9743     6402     44 | 51.075 % |
3.89/3.99	c |     36060 |      49       37     2222 |    10717     8112     45 | 51.075 % |
4.19/4.30	c |     38622 |      46       37     2222 |    11789    10671     45 | 51.075 % |
4.79/4.82	c |     42466 |      46       37     2222 |    12968     8586     46 | 51.075 % |
5.59/5.67	c |     48235 |      46       37     2222 |    14265     7835     48 | 51.075 % |
6.89/6.90	c |     56886 |      46       37     2222 |    15692     9320     48 | 51.075 % |
8.99/9.04	c |     69860 |      46       37     2222 |    17261    14415     48 | 51.075 % |
12.68/12.76	c |     89321 |      46       37     2222 |    18987    16547     48 | 51.075 % |
19.09/19.17	c |    118513 |      46       37     2222 |    20886    17154     47 | 51.075 % |
29.59/29.64	c |    162302 |      46       37     2222 |    22974    19030     47 | 51.075 % |
48.07/48.10	c |    227987 |      46       37     2222 |    25272    10969     48 | 51.075 % |
74.07/74.17	c ===============================================================================
74.07/74.17	c New solution: 2
74.07/74.17	o 2
74.07/74.17	c Elapsed CPU time: 73.3279 s	Remaining CPU time: 106.672 s
74.07/74.17	c ===============================================================================
74.07/74.17	c |    324847 |      46       38     2286 |     5000    20866     47 | 51.075 % |
74.27/74.35	c |    324947 |      38       38     2286 |     5500     2638     48 | 59.586 % |
74.27/74.36	c |    325097 |      38       38     2286 |     6050     2788     48 | 59.586 % |
74.27/74.38	c |    325323 |      38       38     2286 |     6655     3014     48 | 59.586 % |
74.37/74.41	c |    325660 |      38       38     2286 |     7320     3351     48 | 59.586 % |
74.37/74.45	c |    326168 |      38       38     2286 |     8052     3859     48 | 59.586 % |
74.47/74.52	c |    326927 |      38       38     2286 |     8857     4618     48 | 59.586 % |
74.57/74.63	c |    328067 |      38       38     2286 |     9743     5758     48 | 59.586 % |
74.78/74.81	c |    329775 |      38       38     2286 |    10717     7466     49 | 59.586 % |
75.07/75.15	c |    332337 |      38       38     2286 |    11789    10028     50 | 59.586 % |
75.57/75.69	c |    336181 |      38       38     2286 |    12968     7938     50 | 59.586 % |
76.47/76.55	c |    341947 |      38       38     2286 |    14265     7181     50 | 59.586 % |
77.87/77.95	c |    350597 |      38       38     2286 |    15692     8660     51 | 59.586 % |
80.07/80.17	c |    363571 |      38       38     2286 |    17261    13749     51 | 59.586 % |
84.07/84.13	c |    383032 |      38       38     2286 |    18987    15872     52 | 59.586 % |
90.77/90.82	c |    412225 |      38       38     2286 |    20886    16473     52 | 59.586 % |
102.07/102.11	c |    456014 |      38       38     2286 |    22974    18340     51 | 59.586 % |
120.56/120.63	c |    521700 |      38       38     2286 |    25272    11726     51 | 59.586 % |
150.75/150.85	c |    620227 |      38       38     2286 |    27799    23184     51 | 59.586 % |
181.84/181.95	c There are 56 assigned variables. 56 in cost function.
182.34/182.43	c ============================[ Search Statistics ]==============================
182.34/182.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.43	c ===============================================================================
182.34/182.43	c |         0 |      30       76      254 |     5000        0    nan |  0.000 % |
182.34/182.44	c |       101 |      30       76      254 |     5500      101     24 | 68.097 % |
182.34/182.45	c |       251 |      30       76      254 |     6050      251     24 | 68.097 % |
182.34/182.47	c |       476 |      30       76      254 |     6655      476     24 | 68.097 % |
182.45/182.53	c |       813 |      30       76      254 |     7320      813     24 | 68.097 % |
182.45/182.57	c |      1319 |      30       76      254 |     8052     1319     25 | 68.097 % |
182.55/182.61	c |      2078 |      30       76      254 |     8857     2078     25 | 68.097 % |
182.55/182.69	c |      3218 |      30       76      254 |     9743     3218     25 | 68.097 % |
182.74/182.84	c |      4927 |      30       76      254 |    10717     4927     25 | 68.097 % |
183.04/183.17	c |      7489 |      30       76      254 |    11789     7489     25 | 68.097 % |
183.74/183.81	c |     11334 |      30       76      254 |    12968    11334     24 | 68.097 % |
184.65/184.77	c |     17100 |      30       76      254 |    14265    10576     24 | 68.097 % |
186.45/186.51	c |     25749 |      30       76      254 |    15692    12052     25 | 68.097 % |
188.94/189.01	c |     38723 |      30       76      254 |    17261     9254     25 | 68.097 % |
193.24/193.30	c |     58184 |      30       76      254 |    18987    11371     25 | 68.097 % |
200.84/200.91	c |     87377 |      30       76      254 |    20886    11961     25 | 68.097 % |
212.94/213.02	c |    131166 |      30       76      254 |    22974    13807     25 | 68.097 % |
228.63/228.72	c |    196850 |      30       76      254 |    25272    17892     25 | 68.097 % |
253.12/253.29	c |    295376 |      30       76      254 |    27799    14761     25 | 68.097 % |
295.72/295.90	c |    443165 |      30       76      254 |    30579    26984     25 | 68.097 % |
372.89/373.03	c |    664848 |      30       76      254 |    33637    13028     24 | 68.097 % |
503.67/503.83	c |    997374 |      30       76      254 |    37001    29177     25 | 68.097 % |
736.71/736.94	c |   1496162 |      30       76      254 |    40701    36428     25 | 68.108 % |
1136.39/1136.78	c |   2244344 |      30       76      254 |    44771    18296     26 | 68.108 % |

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-2680690-1277457835/watcher-2680690-1277457835 -o /tmp/evaluation-result-2680690-1277457835/solver-2680690-1277457835 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680690-1277457835.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.92 1.01 0.99 3/105 27088
/proc/meminfo: memFree=1853164/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=2568 CPUtime=0
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 272 0 0 0 0 0 0 0 25 0 1 0 87077007 2629632 189 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 642 189 143 303 0 337 0

[startup+0.042468 s]
/proc/loadavg: 0.92 1.01 0.99 3/105 27088
/proc/meminfo: memFree=1853164/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=2700 CPUtime=0.03
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 313 0 0 0 3 0 0 0 25 0 1 0 87077007 2764800 230 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 675 230 144 303 0 370 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2700

[startup+0.101474 s]
/proc/loadavg: 0.92 1.01 0.99 3/105 27088
/proc/meminfo: memFree=1853164/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=2964 CPUtime=0.09
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 372 0 0 0 9 0 0 0 25 0 1 0 87077007 3035136 289 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 741 289 144 303 0 436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2964

[startup+0.301496 s]
/proc/loadavg: 0.92 1.01 0.99 3/105 27088
/proc/meminfo: memFree=1853164/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=3484 CPUtime=0.29
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 527 0 0 0 28 1 0 0 25 0 1 0 87077007 3567616 444 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 871 444 144 303 0 566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3484

[startup+0.700542 s]
/proc/loadavg: 0.92 1.01 0.99 3/105 27088
/proc/meminfo: memFree=1853164/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=4532 CPUtime=0.69
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 777 0 0 0 67 2 0 0 25 0 1 0 87077007 4640768 694 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 1133 694 145 303 0 828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4532

[startup+1.50063 s]
/proc/loadavg: 0.92 1.01 0.99 2/106 27089
/proc/meminfo: memFree=1849932/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=6376 CPUtime=1.49
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 1252 0 0 0 145 4 0 0 25 0 1 0 87077007 6529024 1169 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 1594 1169 145 303 0 1289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6376

[startup+3.10081 s]
/proc/loadavg: 0.92 1.01 0.99 2/106 27089
/proc/meminfo: memFree=1847700/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=9412 CPUtime=3.09
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 2008 0 0 0 303 6 0 0 25 0 1 0 87077007 9637888 1925 1992294400 134512640 135752675 4291683136 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 2353 1925 145 303 0 2048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9412

[startup+6.30116 s]
/proc/loadavg: 0.93 1.01 0.99 2/106 27089
/proc/meminfo: memFree=1840880/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=15896 CPUtime=6.29
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 3601 0 0 0 617 12 0 0 25 0 1 0 87077007 16277504 3518 1992294400 134512640 135752675 4291683136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 3974 3518 145 303 0 3669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15896

[startup+12.7009 s]
/proc/loadavg: 0.93 1.01 0.99 2/106 27089
/proc/meminfo: memFree=1830340/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=25556 CPUtime=12.68
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 6020 0 0 0 1249 19 0 0 25 0 1 0 87077007 26169344 5937 1992294400 134512640 135752675 4291683136 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 6389 5937 145 303 0 6084 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25556

[startup+25.5013 s]
/proc/loadavg: 0.95 1.01 0.99 2/106 27089
/proc/meminfo: memFree=1815336/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=39848 CPUtime=25.48
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 9588 0 0 0 2513 35 0 0 25 0 1 0 87077007 40804352 9505 1992294400 134512640 135752675 4291683136 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 9962 9505 145 303 0 9657 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39848

[startup+51.1011 s]
/proc/loadavg: 0.96 1.01 0.99 2/106 27089
/proc/meminfo: memFree=1790288/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=65068 CPUtime=51.08
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 15905 0 0 0 5047 61 0 0 25 0 1 0 87077007 66629632 15822 1992294400 134512640 135752675 4291683136 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 16267 15822 145 303 0 15962 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65068

[startup+102.309 s]
/proc/loadavg: 0.98 1.00 0.99 2/106 27091
/proc/meminfo: memFree=1731388/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=123464 CPUtime=102.27
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 30479 0 0 0 10109 118 0 0 25 0 1 0 87077007 126427136 30396 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 30866 30396 145 303 0 30561 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 123464

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27093
/proc/meminfo: memFree=1676456/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=178552 CPUtime=162.25
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 44233 0 0 0 16051 174 0 0 25 0 1 0 87077007 182837248 44150 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 44638 44150 145 303 0 44333 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 178552

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27095
/proc/meminfo: memFree=1659468/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=195152 CPUtime=222.23
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 48452 0 0 0 21995 228 0 0 25 0 1 0 87077007 199835648 48341 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 48788 48341 146 303 0 48483 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 195152

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27095
/proc/meminfo: memFree=1631196/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=223512 CPUtime=282.22
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 55499 0 0 0 27942 280 0 0 25 0 1 0 87077007 228876288 55388 1992294400 134512640 135752675 4291683136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 55878 55388 146 303 0 55573 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 223512

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27097
/proc/meminfo: memFree=1602552/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=251856 CPUtime=342.2
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 62598 0 0 0 33889 331 0 0 25 0 1 0 87077007 257900544 62487 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 62964 62487 146 303 0 62659 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 251856

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27099
/proc/meminfo: memFree=1574156/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=280344 CPUtime=402.18
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 69717 0 0 0 39845 373 0 0 25 0 1 0 87077007 287072256 69606 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 70086 69606 146 303 0 69781 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 280344

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27101
/proc/meminfo: memFree=1549976/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=304416 CPUtime=462.17
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 75701 0 0 0 45808 409 0 0 25 0 1 0 87077007 311721984 75590 1992294400 134512640 135752675 4291683136 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 76104 75590 146 303 0 75799 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 304416

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27105
/proc/meminfo: memFree=1524308/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=330228 CPUtime=522.16
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 82173 0 0 0 51765 451 0 0 25 0 1 0 87077007 338153472 82062 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 82557 82062 146 303 0 82252 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 330228

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27106
/proc/meminfo: memFree=1500872/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=353176 CPUtime=582.14
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 87899 0 0 0 57728 486 0 0 25 0 1 0 87077007 361652224 87788 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 88294 87788 146 303 0 87989 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 353176

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27108
/proc/meminfo: memFree=1478676/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=374956 CPUtime=642.13
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 93352 0 0 0 63691 522 0 0 25 0 1 0 87077007 383954944 93241 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 93739 93241 146 303 0 93434 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 374956

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27114
/proc/meminfo: memFree=1396588/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=457148 CPUtime=882.06
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 113881 0 0 0 87541 665 0 0 25 0 1 0 87077007 468119552 113770 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 114287 113770 146 303 0 113982 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 457148

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27116
/proc/meminfo: memFree=1378484/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=475236 CPUtime=942.05
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 118421 0 0 0 93509 696 0 0 25 0 1 0 87077007 486641664 118310 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 118809 118310 146 303 0 118504 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 475236

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27118
/proc/meminfo: memFree=1358396/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=495148 CPUtime=1002.03
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 123398 0 0 0 99475 728 0 0 25 0 1 0 87077007 507031552 123287 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 123787 123287 146 303 0 123482 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 495148

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27120
/proc/meminfo: memFree=1339548/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=514288 CPUtime=1062.01
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 128158 0 0 0 105443 758 0 0 25 0 1 0 87077007 526630912 128047 1992294400 134512640 135752675 4291683136 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 128572 128047 146 303 0 128267 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 514288

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27122
/proc/meminfo: memFree=1319584/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=534112 CPUtime=1122
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 133108 0 0 0 111409 791 0 0 25 0 1 0 87077007 546930688 132997 1992294400 134512640 135752675 4291683136 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 133528 132997 146 303 0 133223 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 534112

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27122
/proc/meminfo: memFree=1301108/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=552480 CPUtime=1181.98
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 137708 0 0 0 117374 824 0 0 25 0 1 0 87077007 565739520 137597 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 138120 137597 146 303 0 137815 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 552480

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27124
/proc/meminfo: memFree=1283376/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=569920 CPUtime=1241.97
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 142038 0 0 0 123342 855 0 0 25 0 1 0 87077007 583598080 141927 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 142480 141927 146 303 0 142175 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 569920

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27126
/proc/meminfo: memFree=1265892/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=587212 CPUtime=1301.96
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 146357 0 0 0 129311 885 0 0 25 0 1 0 87077007 601305088 146246 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 146803 146246 146 303 0 146498 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 587212

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27128
/proc/meminfo: memFree=1248904/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=604240 CPUtime=1361.94
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 150606 0 0 0 135279 915 0 0 25 0 1 0 87077007 618741760 150495 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 151060 150495 146 303 0 150755 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 604240

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27130
/proc/meminfo: memFree=1233280/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=619816 CPUtime=1421.93
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 154516 0 0 0 141248 945 0 0 25 0 1 0 87077007 634691584 154405 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 154954 154405 146 303 0 154649 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 619816

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27130
/proc/meminfo: memFree=1216540/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=636732 CPUtime=1481.9
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 158751 0 0 0 147216 974 0 0 25 0 1 0 87077007 652013568 158640 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 159183 158640 146 303 0 158878 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 636732

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27132
/proc/meminfo: memFree=1198808/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=654288 CPUtime=1541.88
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 163130 0 0 0 153184 1004 0 0 25 0 1 0 87077007 669990912 163019 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 163572 163019 146 303 0 163267 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 654288

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27134
/proc/meminfo: memFree=1183804/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=669732 CPUtime=1601.87
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 166977 0 0 0 159155 1032 0 0 25 0 1 0 87077007 685805568 166866 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 167433 166866 146 303 0 167128 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 669732

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27136
/proc/meminfo: memFree=1167932/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=685004 CPUtime=1661.85
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 170808 0 0 0 165125 1060 0 0 25 0 1 0 87077007 701444096 170697 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 171251 170697 146 303 0 170946 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 685004

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27138
/proc/meminfo: memFree=1150448/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=702352 CPUtime=1721.84
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 175138 0 0 0 171096 1088 0 0 25 0 1 0 87077007 719208448 175027 1992294400 134512640 135752675 4291683136 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 175588 175027 146 303 0 175283 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 702352

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27138
/proc/meminfo: memFree=1131228/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=721360 CPUtime=1781.82
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 179887 0 0 0 177062 1120 0 0 25 0 1 0 87077007 738672640 179776 1992294400 134512640 135752675 4291683136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 180340 179776 146 303 0 180035 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 721360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27140
/proc/meminfo: memFree=1125772/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=726640 CPUtime=1800.03
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 181221 0 0 0 178874 1129 0 0 25 0 1 0 87077007 744079360 181110 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 181660 181110 146 303 0 181355 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 726640

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/106 27140
/proc/meminfo: memFree=1125772/2059040 swapFree=4139944/4192956
[pid=27088] ppid=27086 vsize=726640 CPUtime=1800.03
/proc/27088/stat : 27088 (wbo1.4b) R 27086 27088 26658 0 -1 4202496 181221 0 0 0 178874 1129 0 0 25 0 1 0 87077007 744079360 181110 1992294400 134512640 135752675 4291683136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27088/statm: 181660 181110 146 303 0 181355 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 726640

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.1
CPU user time (s): 1788.74
CPU system time (s): 11.3583
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 726640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.74
system time used= 11.3583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181221
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= 2
involuntary context switches= 2539

runsolver used 2.98255 second user time and 8.49971 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-25 11:23:55
IDJOB=2680690
IDBENCH=2896
IDSOLVER=1190
FILE ID=node087/2680690-1277457835
PBS_JOBID= 11188103
Free space on /tmp= 62460 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680690-1277457835/watcher-2680690-1277457835 -o /tmp/evaluation-result-2680690-1277457835/solver-2680690-1277457835 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680690-1277457835.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1608295385

node087.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.213
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.42
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.213
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.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853568 kB
Buffers:         30792 kB
Cached:          82516 kB
SwapCached:       5436 kB
Active:          59836 kB
Inactive:        66528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853568 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:            2668 kB
Writeback:           0 kB
AnonPages:       11640 kB
Mapped:          12004 kB
Slab:            57032 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182212 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= 62460 MiB
End job on node087 at 2010-06-25 11:53:57