Trace number 2680698

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
MD5SUM740b964ee569656e2f29dedde6e3939b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1790.56
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint62
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4969
Number of bits of the biggest sum of numbers13
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-2680698-1277458442.opb.
0.00/0.00	c Instance file HOME/instance-2680698-1277458442.opb
0.00/0.00	c File size is 7674 bytes.
0.00/0.00	c Highest Coefficient sum: 4969
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:      146                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
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 |     146       12      778 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 965
0.00/0.00	o 965
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 |         0 |     146       13      874 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 888
0.00/0.00	o 888
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 |        71 |     146       14      970 |     5000       71     59 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 463
0.00/0.00	o 463
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 |        77 |     146       15     1066 |     5000       77     59 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 438
0.00/0.00	o 438
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 |        79 |     146       16     1162 |     5000       79     59 |  0.000 % |
0.00/0.01	c |       181 |     146       16     1162 |     5500      181     52 |  0.005 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 432
0.00/0.02	o 432
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 |       229 |     146       17     1258 |     5000      229     50 |  0.005 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 385
0.00/0.02	o 385
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       297 |     146       18     1354 |     5000      297     50 |  0.005 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 354
0.00/0.02	o 354
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       315 |     146       19     1450 |     5000      315     49 |  0.005 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 353
0.00/0.03	o 353
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       325 |     146       20     1546 |     5000      325     50 |  0.005 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 351
0.00/0.03	o 351
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 179.965 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       411 |     146       21     1642 |     5000      411     51 |  0.005 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 299
0.00/0.04	o 299
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 179.961 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       454 |     146       22     1738 |     5000      454     51 |  0.005 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 261
0.00/0.04	o 261
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 179.96 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       455 |     146       23     1834 |     5000      455     51 |  0.005 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 259
0.00/0.04	o 259
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 179.957 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       486 |     146       24     1930 |     5000      486     52 |  0.005 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 222
0.00/0.04	o 222
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 179.954 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       516 |     146       25     2026 |     5000      516     51 |  0.005 % |
0.00/0.05	c |       616 |     146       25     2026 |     5500      616     49 |  0.005 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 217
0.05/0.06	o 217
0.05/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 179.942 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       636 |     146       26     2122 |     5000      636     49 |  0.005 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 163
0.05/0.06	o 163
0.05/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       643 |     146       27     2218 |     5000      643     49 |  0.005 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 159
0.05/0.06	o 159
0.05/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       652 |     146       28     2314 |     5000      652     49 |  0.005 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 156
0.05/0.06	o 156
0.05/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       669 |     146       29     2410 |     5000      669     49 |  0.005 % |
0.05/0.06	c ===============================================================================
0.05/0.06	c New solution: 144
0.05/0.06	o 144
0.05/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.05/0.06	c ===============================================================================
0.05/0.06	c |       684 |     146       30     2506 |     5000      684     49 |  0.005 % |
0.05/0.07	c ===============================================================================
0.05/0.07	c New solution: 132
0.05/0.07	o 132
0.05/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 179.932 s
0.05/0.07	c ===============================================================================
0.05/0.07	c |       697 |     146       31     2602 |     5000      697     49 |  0.005 % |
0.05/0.08	c |       797 |     146       31     2602 |     5500      797     48 |  0.005 % |
0.05/0.08	c ===============================================================================
0.05/0.08	c New solution: 106
0.05/0.08	o 106
0.05/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 179.917 s
0.05/0.08	c ===============================================================================
0.05/0.08	c |       816 |     146       32     2698 |     5000      816     48 |  0.005 % |
0.05/0.09	c ===============================================================================
0.05/0.09	c New solution: 102
0.05/0.09	o 102
0.05/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 179.911 s
0.05/0.09	c ===============================================================================
0.05/0.09	c |       861 |     134       33     2794 |     5000      452     49 |  0.005 % |
0.09/0.10	c |       962 |     134       33     2794 |     5500      553     48 |  8.224 % |
0.09/0.12	c |      1112 |     134       33     2794 |     6050      703     47 |  8.224 % |
0.09/0.14	c |      1337 |     134       33     2794 |     6655      928     46 |  8.224 % |
0.09/0.18	c |      1675 |     134       33     2794 |     7320     1266     45 |  8.224 % |
0.19/0.24	c |      2181 |     134       33     2794 |     8052     1772     45 |  8.224 % |
0.29/0.33	c |      2940 |     134       33     2794 |     8857     2531     44 |  8.224 % |
0.39/0.48	c |      4079 |     134       33     2794 |     9743     3670     44 |  8.224 % |
0.69/0.74	c |      5787 |     134       33     2794 |    10717     5378     44 |  8.224 % |
1.10/1.14	c |      8349 |     134       33     2794 |    11789     7940     44 |  8.224 % |
1.79/1.88	c |     12193 |     134       33     2794 |    12968    11784     43 |  8.224 % |
2.89/2.97	c |     17959 |     134       33     2794 |    14265    11041     43 |  8.224 % |
4.69/4.79	c |     26608 |     134       33     2794 |    15692    12535     44 |  8.224 % |
4.99/5.04	c ===============================================================================
4.99/5.04	c New solution: 95
4.99/5.04	o 95
4.99/5.04	c Elapsed CPU time: 4.97424 s	Remaining CPU time: 175.026 s
4.99/5.04	c ===============================================================================
4.99/5.04	c |     27861 |     134       34     2890 |     5000    13788     44 |  8.224 % |
5.09/5.11	c |     27961 |     134       34     2890 |     5500     3547     45 |  8.224 % |
5.09/5.13	c |     28111 |     134       34     2890 |     6050     3697     45 |  8.224 % |
5.09/5.16	c |     28337 |     134       34     2890 |     6655     3923     45 |  8.224 % |
5.09/5.19	c ===============================================================================
5.09/5.19	c New solution: 65
5.09/5.19	o 65
5.09/5.19	c Elapsed CPU time: 5.12322 s	Remaining CPU time: 174.877 s
5.09/5.19	c ===============================================================================
5.09/5.19	c |     28554 |     134       35     2986 |     5000     4140     45 |  8.224 % |
5.19/5.21	c |     28656 |     134       35     2986 |     5500     4242     45 |  8.224 % |
5.19/5.23	c |     28806 |     134       35     2986 |     6050     4392     45 |  8.224 % |
5.19/5.26	c |     29031 |     134       35     2986 |     6655     4617     45 |  8.224 % |
5.29/5.31	c |     29369 |     134       35     2986 |     7320     4955     45 |  8.224 % |
5.29/5.39	c |     29875 |     134       35     2986 |     8052     5461     44 |  8.224 % |
5.39/5.50	c |     30635 |     134       35     2986 |     8857     6221     44 |  8.224 % |
5.59/5.69	c |     31774 |     134       35     2986 |     9743     7360     44 |  8.224 % |
5.89/5.99	c |     33483 |     134       35     2986 |    10717     9069     44 |  8.224 % |
6.39/6.46	c |     36045 |     134       35     2986 |    11789     6249     44 |  8.224 % |
6.69/6.74	c ===============================================================================
6.69/6.74	c New solution: 42
6.69/6.74	o 42
6.69/6.74	c Elapsed CPU time: 6.65299 s	Remaining CPU time: 173.347 s
6.69/6.74	c ===============================================================================
6.69/6.74	c |     37754 |     134       36     3082 |     5000     7958     44 |  8.224 % |
6.69/6.78	c |     37855 |     122       36     3082 |     5500     3980     44 | 16.443 % |
6.79/6.80	c |     38005 |     122       36     3082 |     6050     4130     45 | 16.443 % |
6.79/6.83	c |     38230 |     122       36     3082 |     6655     4355     45 | 16.443 % |
6.79/6.85	c ===============================================================================
6.79/6.85	c New solution: 41
6.79/6.85	o 41
6.79/6.85	c Elapsed CPU time: 6.75297 s	Remaining CPU time: 173.247 s
6.79/6.85	c ===============================================================================
6.79/6.85	c |     38390 |     122       37     3178 |     5000     4515     45 | 16.443 % |
6.79/6.86	c |     38490 |     122       37     3178 |     5500     4615     45 | 16.443 % |
6.79/6.88	c |     38640 |     122       37     3178 |     6050     4765     45 | 16.443 % |
6.89/6.91	c |     38866 |     122       37     3178 |     6655     4991     45 | 16.443 % |
6.89/6.96	c |     39204 |     122       37     3178 |     7320     5329     45 | 16.443 % |
6.99/7.03	c |     39711 |     122       37     3178 |     8052     5836     45 | 16.443 % |
7.09/7.14	c |     40470 |     122       37     3178 |     8857     6595     45 | 16.443 % |
7.29/7.32	c |     41609 |     122       37     3178 |     9743     7734     45 | 16.443 % |
7.49/7.60	c |     43317 |     122       37     3178 |    10717     9442     45 | 16.443 % |
7.98/8.06	c |     45879 |     122       37     3178 |    11789     6613     46 | 16.443 % |
8.69/8.77	c |     49723 |     122       37     3178 |    12968    10457     47 | 16.443 % |
9.69/9.75	c |     55490 |     122       37     3178 |    14265     9714     46 | 16.443 % |
10.79/10.83	c ===============================================================================
10.79/10.83	c New solution: 37
10.79/10.83	o 37
10.79/10.83	c Elapsed CPU time: 10.6824 s	Remaining CPU time: 169.318 s
10.79/10.83	c ===============================================================================
10.79/10.83	c |     60954 |     122       38     3274 |     5000     8017     45 | 16.443 % |
10.79/10.86	c |     61054 |     122       38     3274 |     5500     4109     45 | 16.443 % |
10.79/10.88	c |     61204 |     122       38     3274 |     6050     4259     45 | 16.443 % |
10.89/10.90	c |     61430 |     122       38     3274 |     6655     4485     45 | 16.443 % |
10.89/10.96	c |     61767 |     122       38     3274 |     7320     4822     45 | 16.443 % |
11.00/11.03	c |     62274 |     122       38     3274 |     8052     5329     45 | 16.443 % |
11.09/11.14	c |     63034 |     122       38     3274 |     8857     6089     46 | 16.443 % |
11.29/11.30	c |     64173 |     122       38     3274 |     9743     7228     46 | 16.443 % |
11.49/11.58	c |     65882 |     122       38     3274 |    10717     8937     46 | 16.443 % |
11.99/12.04	c |     68444 |     122       38     3274 |    11789     6111     46 | 16.443 % |
12.59/12.64	c |     72288 |     122       38     3274 |    12968     9955     46 | 16.443 % |
13.59/13.68	c |     78054 |     122       38     3274 |    14265     9208     44 | 16.443 % |
14.30/14.38	c ===============================================================================
14.30/14.38	c New solution: 36
14.30/14.38	o 36
14.30/14.38	c Elapsed CPU time: 14.1868 s	Remaining CPU time: 165.813 s
14.30/14.38	c ===============================================================================
14.30/14.38	c |     81878 |     122       39     3370 |     5000    13032     44 | 16.443 % |
14.39/14.43	c |     81980 |     122       39     3370 |     5500     3360     44 | 16.443 % |
14.39/14.45	c |     82130 |     122       39     3370 |     6050     3510     44 | 16.443 % |
14.39/14.49	c |     82356 |     122       39     3370 |     6655     3736     44 | 16.443 % |
14.49/14.53	c |     82694 |     122       39     3370 |     7320     4074     44 | 16.443 % |
14.59/14.60	c |     83200 |     122       39     3370 |     8052     4580     44 | 16.443 % |
14.69/14.72	c |     83959 |     122       39     3370 |     8857     5339     44 | 16.443 % |
14.89/14.90	c |     85099 |     122       39     3370 |     9743     6479     44 | 16.443 % |
15.09/15.18	c |     86807 |     122       39     3370 |    10717     8187     44 | 16.443 % |
15.59/15.68	c |     89369 |     122       39     3370 |    11789    10749     45 | 16.443 % |
16.29/16.38	c |     93213 |     122       39     3370 |    12968     8667     45 | 16.443 % |
17.49/17.57	c |     98979 |     122       39     3370 |    14265     7917     45 | 16.443 % |
19.18/19.26	c |    107628 |     122       39     3370 |    15692     9409     44 | 16.443 % |
21.79/21.86	c |    120602 |     122       39     3370 |    17261    14509     44 | 16.443 % |
22.58/22.68	c ===============================================================================
22.58/22.68	c New solution: 28
22.58/22.68	o 28
22.58/22.68	c Elapsed CPU time: 22.3696 s	Remaining CPU time: 157.63 s
22.58/22.68	c ===============================================================================
22.58/22.68	c |    123804 |     122       40     3466 |     5000     9055     44 | 16.443 % |
22.68/22.72	c |    123904 |     110       40     3466 |     5500     4592     44 | 24.662 % |
22.68/22.75	c |    124054 |     110       40     3466 |     6050     4742     45 | 24.662 % |
22.68/22.78	c |    124279 |     110       40     3466 |     6655     4967     45 | 24.662 % |
22.78/22.83	c |    124616 |     110       40     3466 |     7320     5304     46 | 24.662 % |
22.89/22.90	c |    125122 |     110       40     3466 |     8052     5810     46 | 24.662 % |
22.99/23.01	c |    125882 |     110       40     3466 |     8857     6570     47 | 24.662 % |
23.09/23.17	c |    127021 |     110       40     3466 |     9743     7709     48 | 24.662 % |
23.38/23.45	c |    128729 |     110       40     3466 |    10717     9417     49 | 24.662 % |
23.78/23.87	c ===============================================================================
23.78/23.87	c New solution: 25
23.78/23.87	o 25
23.78/23.87	c Elapsed CPU time: 23.5354 s	Remaining CPU time: 156.465 s
23.78/23.87	c ===============================================================================
23.78/23.87	c |    131074 |     110       41     3562 |     5000     6368     54 | 24.662 % |
23.78/23.89	c |    131174 |     110       41     3562 |     5500     3284     54 | 24.662 % |
23.88/23.91	c |    131325 |     110       41     3562 |     6050     3435     54 | 24.662 % |
23.88/23.94	c |    131550 |     110       41     3562 |     6655     3660     54 | 24.662 % |
23.88/23.98	c |    131887 |     110       41     3562 |     7320     3997     54 | 24.662 % |
23.99/24.03	c |    132393 |     110       41     3562 |     8052     4503     54 | 24.662 % |
24.09/24.13	c |    133152 |     110       41     3562 |     8857     5262     53 | 24.662 % |
24.19/24.27	c |    134291 |     110       41     3562 |     9743     6401     53 | 24.662 % |
24.48/24.51	c |    136000 |     110       41     3562 |    10717     8110     52 | 24.662 % |
24.78/24.89	c |    138562 |     110       41     3562 |    11789    10672     51 | 24.662 % |
25.38/25.49	c |    142407 |     110       41     3562 |    12968     8584     49 | 24.662 % |
26.48/26.50	c |    148173 |     110       41     3562 |    14265     7831     50 | 24.662 % |
27.98/28.05	c |    156823 |     110       41     3562 |    15692     9311     53 | 24.662 % |
30.57/30.67	c |    169798 |     110       41     3562 |    17261    14408     52 | 24.662 % |
34.97/35.08	c |    189259 |     110       41     3562 |    18987    16536     52 | 24.662 % |
38.08/38.12	c ===============================================================================
38.08/38.12	c New solution: 16
38.08/38.13	o 16
38.08/38.13	c Elapsed CPU time: 37.6103 s	Remaining CPU time: 142.39 s
38.08/38.13	c ===============================================================================
38.08/38.13	c |    201602 |     110       42     3658 |     5000     9821     53 | 24.662 % |
38.08/38.17	c |    201702 |      98       42     3658 |     5500     5003     54 | 32.881 % |
38.08/38.19	c |    201852 |      98       42     3658 |     6050     5153     54 | 32.881 % |
38.17/38.23	c |    202077 |      98       42     3658 |     6655     5378     54 | 32.881 % |
38.17/38.27	c |    202414 |      98       42     3658 |     7320     5715     54 | 32.881 % |
38.27/38.35	c |    202920 |      98       42     3658 |     8052     6221     54 | 32.881 % |
38.38/38.48	c |    203679 |      98       42     3658 |     8857     6980     55 | 32.881 % |
38.57/38.64	c |    204818 |      98       42     3658 |     9743     8119     55 | 32.881 % |
38.87/38.92	c |    206526 |      98       42     3658 |    10717     9827     55 | 32.881 % |
39.28/39.34	c |    209089 |      98       42     3658 |    11789     6988     57 | 32.881 % |
39.88/39.94	c |    212933 |      98       42     3658 |    12968    10832     57 | 32.881 % |
40.87/40.93	c |    218700 |      98       42     3658 |    14265    10076     57 | 32.881 % |
42.37/42.43	c |    227349 |      98       42     3658 |    15692    11552     56 | 32.881 % |
44.87/44.92	c |    240323 |      98       42     3658 |    17261     8749     52 | 32.881 % |
48.67/48.74	c |    259784 |      98       42     3658 |    18987    10862     53 | 32.881 % |
55.27/55.34	c |    288976 |      98       42     3658 |    20886    11455     57 | 32.881 % |
65.87/65.95	c |    332765 |      98       42     3658 |    22974    13307     58 | 32.881 % |
82.86/82.92	c |    398449 |      98       42     3658 |    25272    17475     52 | 32.881 % |
111.65/111.70	c |    496975 |      98       42     3658 |    27799    16546     57 | 32.881 % |
158.34/158.42	c |    644765 |      98       42     3658 |    30579    11961     54 | 32.881 % |
168.83/168.95	c ===============================================================================
168.83/168.95	c New solution: 13
168.83/168.95	o 13
168.83/168.95	c Elapsed CPU time: 166.997 s	Remaining CPU time: 13.0034 s
168.83/168.95	c ===============================================================================
168.83/168.95	c |    676980 |      98       43     3754 |     5000    24540     53 | 32.881 % |
169.03/169.11	c |    677081 |      98       43     3754 |     5500     2801     55 | 32.881 % |
169.03/169.12	c |    677231 |      98       43     3754 |     6050     2951     56 | 32.881 % |
169.03/169.15	c |    677456 |      98       43     3754 |     6655     3176     56 | 32.881 % |
169.03/169.18	c |    677794 |      98       43     3754 |     7320     3514     56 | 32.881 % |
169.13/169.24	c |    678300 |      98       43     3754 |     8052     4020     56 | 32.881 % |
169.24/169.33	c |    679060 |      98       43     3754 |     8857     4780     57 | 32.881 % |
169.35/169.49	c |    680199 |      98       43     3754 |     9743     5919     57 | 32.881 % |
169.63/169.74	c |    681907 |      98       43     3754 |    10717     7627     57 | 32.881 % |
170.04/170.16	c |    684470 |      98       43     3754 |    11789    10190     57 | 32.881 % |
170.74/170.84	c |    688314 |      98       43     3754 |    12968     8101     57 | 32.881 % |
171.73/171.89	c |    694080 |      98       43     3754 |    14265     7340     57 | 32.881 % |
173.33/173.45	c |    702730 |      98       43     3754 |    15692     8816     59 | 32.881 % |
175.94/176.07	c |    715705 |      98       43     3754 |    17261    13905     58 | 32.881 % |
180.23/180.34	c |    735167 |      98       43     3754 |    18987    16015     55 | 32.881 % |
182.03/182.12	c There are 48 assigned variables. 48 in cost function.
182.54/182.69	c ============================[ Search Statistics ]==============================
182.54/182.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.54/182.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.54/182.69	c ===============================================================================
182.54/182.69	c |         0 |      50      125      682 |     5000        0    nan |  0.000 % |
182.63/182.70	c |       101 |      50      125      682 |     5500      101     53 | 65.758 % |
182.63/182.72	c |       251 |      50      125      682 |     6050      251     52 | 65.758 % |
182.63/182.74	c |       476 |      50      125      682 |     6655      476     52 | 65.758 % |
182.63/182.79	c |       813 |      50      125      682 |     7320      813     53 | 65.758 % |
182.83/182.91	c |      1319 |      50      125      682 |     8052     1319     54 | 65.758 % |
182.92/183.00	c |      2078 |      50      125      682 |     8857     2078     55 | 65.758 % |
183.03/183.14	c |      3217 |      50      125      682 |     9743     3217     55 | 65.758 % |
183.23/183.39	c |      4925 |      50      125      682 |    10717     4925     55 | 65.758 % |
183.73/183.82	c |      7487 |      50      125      682 |    11789     7487     55 | 65.758 % |
184.53/184.62	c |     11331 |      50      125      682 |    12968    11331     55 | 65.758 % |
185.63/185.78	c |     17098 |      50      125      682 |    14265    10546     55 | 65.758 % |
187.32/187.46	c |     25747 |      50      125      682 |    15692    12000     53 | 65.758 % |
190.13/190.25	c |     38721 |      50      125      682 |    17261     9154     56 | 65.758 % |
194.42/194.54	c |     58183 |      50      125      682 |    18987    11222     53 | 65.758 % |
201.62/201.79	c |     87375 |      50      125      682 |    20886    11731     54 | 65.758 % |
212.82/212.92	c |    131164 |      50      125      682 |    22974    13495     54 | 65.758 % |
231.31/231.47	c |    196848 |      50      125      682 |    25272    17365     55 | 65.758 % |
264.80/264.96	c |    295374 |      50      125      682 |    27799    13930     56 | 65.758 % |
316.19/316.33	c |    443164 |      50      125      682 |    30579    25722     55 | 65.758 % |
402.96/403.10	c |    664850 |      50      125      682 |    33637    11233     56 | 65.758 % |
542.32/542.58	c |    997375 |      50      125      682 |    37001    26763     54 | 65.758 % |
752.95/753.23	c |   1496165 |      50      125      682 |    40701    33207     53 | 65.758 % |
1114.74/1115.15	c |   2244347 |      50      125      682 |    44771    13928     54 | 65.758 % |
1747.74/1748.37	c |   3366621 |      50      125      682 |    49248    31010     56 | 65.758 % |

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-2680698-1277458442/watcher-2680698-1277458442 -o /tmp/evaluation-result-2680698-1277458442/solver-2680698-1277458442 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680698-1277458442.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 0.98 0.98 3/106 27318
/proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=2572 CPUtime=0
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 87135233 2633728 197 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 643 197 143 303 0 338 0

[startup+0.059202 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 27318
/proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=2700 CPUtime=0.05
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 333 0 0 0 5 0 0 0 25 0 1 0 87135233 2764800 250 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 675 250 144 303 0 370 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2700

[startup+0.101207 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 27318
/proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=2832 CPUtime=0.09
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 363 0 0 0 9 0 0 0 25 0 1 0 87135233 2899968 280 1992294400 134512640 135752675 4289584304 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 708 280 144 303 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2832

[startup+0.301236 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 27318
/proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=3364 CPUtime=0.29
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 486 0 0 0 29 0 0 0 25 0 1 0 87135233 3444736 403 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 841 403 144 303 0 536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3364

[startup+0.701295 s]
/proc/loadavg: 0.92 0.98 0.98 3/106 27318
/proc/meminfo: memFree=1855540/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=4152 CPUtime=0.69
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 696 0 0 0 68 1 0 0 25 0 1 0 87135233 4251648 613 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 1038 613 144 303 0 733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4152

[startup+1.50141 s]
/proc/loadavg: 0.92 0.98 0.98 2/107 27319
/proc/meminfo: memFree=1852928/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=5584 CPUtime=1.49
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 1038 0 0 0 147 2 0 0 25 0 1 0 87135233 5718016 955 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 1396 955 144 303 0 1091 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5584

[startup+3.10065 s]
/proc/loadavg: 0.92 0.98 0.98 2/107 27319
/proc/meminfo: memFree=1851068/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=7920 CPUtime=3.09
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 1622 0 0 0 305 4 0 0 25 0 1 0 87135233 8110080 1539 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 1980 1539 145 303 0 1675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7920

[startup+6.30111 s]
/proc/loadavg: 0.93 0.98 0.98 2/107 27319
/proc/meminfo: memFree=1846108/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=12772 CPUtime=6.29
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 2837 0 0 0 621 8 0 0 25 0 1 0 87135233 13078528 2754 1992294400 134512640 135752675 4289584304 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 3193 2754 145 303 0 2888 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12772

[startup+12.701 s]
/proc/loadavg: 1.01 1.00 0.99 2/107 27320
/proc/meminfo: memFree=1834568/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=23196 CPUtime=12.69
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 5450 0 0 0 1252 17 0 0 25 0 1 0 87135233 23752704 5367 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 5799 5367 145 303 0 5494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23196

[startup+25.5009 s]
/proc/loadavg: 1.01 1.00 0.99 2/107 27322
/proc/meminfo: memFree=1814728/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=42528 CPUtime=25.48
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 10266 0 0 0 2513 35 0 0 25 0 1 0 87135233 43548672 10183 1992294400 134512640 135752675 4289584304 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 10632 10183 145 303 0 10327 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42528

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27322
/proc/meminfo: memFree=1777916/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=79588 CPUtime=51.07
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 19522 0 0 0 5039 68 0 0 25 0 1 0 87135233 81498112 19439 1992294400 134512640 135752675 4289584304 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 19897 19439 145 303 0 19592 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79588

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27324
/proc/meminfo: memFree=1720008/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=136688 CPUtime=102.26
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 33810 0 0 0 10100 126 0 0 25 0 1 0 87135233 139968512 33727 1992294400 134512640 135752675 4289584304 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 34172 33727 145 303 0 33867 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 136688

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27324
/proc/meminfo: memFree=1663712/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=193340 CPUtime=162.24
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 47950 0 0 0 16040 184 0 0 25 0 1 0 87135233 197980160 47867 1992294400 134512640 135752675 4289584304 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 48335 47867 145 303 0 48030 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 193340

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27326
/proc/meminfo: memFree=1606176/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=250324 CPUtime=222.21
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 62248 0 0 0 21972 249 0 0 25 0 1 0 87135233 256331776 62135 1992294400 134512640 135752675 4289584304 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 62581 62135 146 303 0 62276 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 250324

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27328
/proc/meminfo: memFree=1562528/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=294056 CPUtime=282.19
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 73179 0 0 0 27917 302 0 0 25 0 1 0 87135233 301113344 73066 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 73514 73066 146 303 0 73209 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 294056

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27330
/proc/meminfo: memFree=1522228/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=334400 CPUtime=342.18
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 83228 0 0 0 33867 351 0 0 25 0 1 0 87135233 342425600 83115 1992294400 134512640 135752675 4289584304 18446744073709551615 134611683 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 83600 83115 146 303 0 83295 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 334400

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27332
/proc/meminfo: memFree=1484408/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=372156 CPUtime=402.16
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 92674 0 0 0 39821 395 0 0 25 0 1 0 87135233 381087744 92561 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 93039 92561 146 303 0 92734 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 372156

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27332
/proc/meminfo: memFree=1446340/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=410160 CPUtime=462.14
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 102167 0 0 0 45778 436 0 0 25 0 1 0 87135233 420003840 102054 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 102540 102054 146 303 0 102235 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 410160

[startup+522.301 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 27334
/proc/meminfo: memFree=1405792/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=451136 CPUtime=522.12
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 112393 0 0 0 51733 479 0 0 25 0 1 0 87135233 461963264 112280 1992294400 134512640 135752675 4289584304 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 112784 112280 146 303 0 112479 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 451136

[startup+582.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 27336
/proc/meminfo: memFree=1366360/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=490388 CPUtime=582.11
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 122229 0 0 0 57688 523 0 0 25 0 1 0 87135233 502157312 122116 1992294400 134512640 135752675 4289584304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 122597 122116 146 303 0 122292 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 490388

[startup+642.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 27338
/proc/meminfo: memFree=1325564/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=530548 CPUtime=642.1
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 132240 0 0 0 63640 570 0 0 25 0 1 0 87135233 543281152 132127 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 132637 132127 146 303 0 132332 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 530548

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27344
/proc/meminfo: memFree=1171308/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=684356 CPUtime=882.01
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 170688 0 0 0 87461 740 0 0 25 0 1 0 87135233 700780544 170575 1992294400 134512640 135752675 4289584304 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 171089 170575 146 303 0 170784 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 684356

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27346
/proc/meminfo: memFree=1134108/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=722240 CPUtime=941.99
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 180158 0 0 0 93418 781 0 0 25 0 1 0 87135233 739573760 180045 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 180560 180045 146 303 0 180255 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 722240

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27348
/proc/meminfo: memFree=1098644/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=757128 CPUtime=1001.98
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 188853 0 0 0 99379 819 0 0 25 0 1 0 87135233 775299072 188740 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 189282 188740 146 303 0 188977 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 757128

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27348
/proc/meminfo: memFree=1062312/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=793824 CPUtime=1061.96
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 198025 0 0 0 105336 860 0 0 25 0 1 0 87135233 812875776 197912 1992294400 134512640 135752675 4289584304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 198456 197912 146 303 0 198151 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 793824

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27350
/proc/meminfo: memFree=1026352/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=829268 CPUtime=1121.94
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 206888 0 0 0 111294 900 0 0 25 0 1 0 87135233 849170432 206775 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 207317 206775 146 303 0 207012 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 829268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27352
/proc/meminfo: memFree=996220/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=859536 CPUtime=1181.93
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 214427 0 0 0 117259 934 0 0 25 0 1 0 87135233 880164864 214314 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 214884 214314 146 303 0 214579 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 859536

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27354
/proc/meminfo: memFree=966088/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=889240 CPUtime=1241.91
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 221846 0 0 0 123220 971 0 0 25 0 1 0 87135233 910581760 221733 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 222310 221733 146 303 0 222005 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 889240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27356
/proc/meminfo: memFree=937196/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=917832 CPUtime=1301.9
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 228980 0 0 0 129186 1004 0 0 25 0 1 0 87135233 939859968 228867 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 229458 228867 146 303 0 229153 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 917832

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27356
/proc/meminfo: memFree=907808/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=947460 CPUtime=1361.87
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 236381 0 0 0 135151 1036 0 0 25 0 1 0 87135233 970199040 236268 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 236865 236268 146 303 0 236560 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 947460

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27358
/proc/meminfo: memFree=875072/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=979932 CPUtime=1421.87
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 244514 0 0 0 141112 1075 0 0 25 0 1 0 87135233 1003450368 244401 1992294400 134512640 135752675 4289584304 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 244983 244401 146 303 0 244678 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 979932

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27360
/proc/meminfo: memFree=844320/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1010952 CPUtime=1481.84
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 252260 0 0 0 147074 1110 0 0 25 0 1 0 87135233 1035214848 252147 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 252738 252147 146 303 0 252433 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1010952

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27362
/proc/meminfo: memFree=812080/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1042900 CPUtime=1541.82
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 260238 0 0 0 153035 1147 0 0 25 0 1 0 87135233 1067929600 260125 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 260725 260125 146 303 0 260420 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1042900

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27364
/proc/meminfo: memFree=782568/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1072508 CPUtime=1601.8
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 267640 0 0 0 158999 1181 0 0 25 0 1 0 87135233 1098248192 267527 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 268127 267527 146 303 0 267822 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1072508

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27373
/proc/meminfo: memFree=753552/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1100912 CPUtime=1661.77
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 274731 0 0 0 164962 1215 0 0 25 0 1 0 87135233 1127333888 274618 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 275228 274618 146 303 0 274923 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1100912

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27375
/proc/meminfo: memFree=720568/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1134176 CPUtime=1721.76
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 283077 0 0 0 170922 1254 0 0 25 0 1 0 87135233 1161396224 282964 1992294400 134512640 135752675 4289584304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 283544 282964 146 303 0 283239 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1134176

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27377
/proc/meminfo: memFree=692916/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1161424 CPUtime=1781.74
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 289887 0 0 0 176886 1288 0 0 25 0 1 0 87135233 1189298176 289774 1992294400 134512640 135752675 4289584304 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 290356 289774 146 303 0 290051 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1161424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27377
/proc/meminfo: memFree=683616/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=1170532 CPUtime=1800.04
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4202496 292159 0 0 0 178704 1300 0 0 25 0 1 0 87135233 1198624768 292046 1992294400 134512640 135752675 4289584304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27318/statm: 292633 292046 146 303 0 292328 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1170532

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27377
/proc/meminfo: memFree=683616/2059040 swapFree=4140520/4192956
[pid=27318] ppid=27316 vsize=0 CPUtime=1800.14
/proc/27318/stat : 27318 (wbo1.4b) R 27316 27318 26951 0 -1 4203524 292159 0 0 0 178704 1310 0 0 25 0 1 0 87135233 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27318/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.16
CPU user time (s): 1787.04
CPU system time (s): 13.118
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1170532

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

runsolver used 2.97555 second user time and 8.5237 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-25 11:34:02
IDJOB=2680698
IDBENCH=2925
IDSOLVER=1190
FILE ID=node052/2680698-1277458442
PBS_JOBID= 11188116
Free space on /tmp= 62252 MiB

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

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

MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b
RANDOM SEED=788557759

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1856076 kB
Buffers:         15504 kB
Cached:          90860 kB
SwapCached:       5528 kB
Active:          14464 kB
Inactive:       104876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856076 kB
SwapTotal:     4192956 kB
SwapFree:      4140520 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:       11656 kB
Mapped:          11968 kB
Slab:            61552 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181256 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= 62248 MiB
End job on node052 at 2010-06-25 12:04:05