Trace number 2656279

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.4bSignal 182.798 182.849

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark113.9
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
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 constraint44
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 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656279-1276613715.opb.
0.00/0.00	c Instance file HOME/instance-2656279-1276613715.opb
0.00/0.00	c File size is 3562 bytes.
0.00/0.00	c Highest Coefficient sum: 2934
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      362 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 863
0.00/0.00	o 863
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      426 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 845
0.00/0.00	o 845
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 |         6 |      94       10      490 |     5000        6     46 |  0.000 % |
0.00/0.00	c |       106 |      94       10      490 |     5500      106     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 752
0.00/0.00	o 752
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 |       106 |      94       11      554 |     5000      106     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 746
0.00/0.00	o 746
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 |       111 |      94       12      618 |     5000      111     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 700
0.00/0.00	o 700
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 |       113 |      94       13      682 |     5000      113     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 692
0.00/0.00	o 692
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 |       113 |      94       14      746 |     5000      113     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 658
0.00/0.00	o 658
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 |       113 |      94       15      810 |     5000      113     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 554
0.00/0.00	o 554
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       113 |      94       16      874 |     5000      113     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 541
0.00/0.00	o 541
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       114 |      94       17      938 |     5000      114     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 507
0.00/0.00	o 507
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       114 |      94       18     1002 |     5000      114     38 |  0.011 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 493
0.00/0.00	o 493
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 |       115 |      94       19     1066 |     5000      115     38 |  0.011 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 379
0.00/0.01	o 379
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 |       135 |      94       20     1130 |     5000      135     37 |  0.011 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 334
0.00/0.01	o 334
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       136 |      94       21     1194 |     5000      136     37 |  0.011 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 300
0.00/0.01	o 300
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 |       149 |      94       22     1258 |     5000      149     36 |  0.011 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 288
0.00/0.01	o 288
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       155 |      94       23     1322 |     5000      155     36 |  0.011 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 269
0.00/0.01	o 269
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       166 |      94       24     1386 |     5000      166     35 |  0.011 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 254
0.00/0.01	o 254
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       170 |      94       25     1450 |     5000      170     35 |  0.011 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 204
0.00/0.02	o 204
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       257 |      94       26     1514 |     5000      257     34 |  0.011 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 174
0.00/0.02	o 174
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       258 |      94       27     1578 |     5000      258     34 |  0.011 % |
0.00/0.03	c |       358 |      94       27     1578 |     5500      358     32 |  0.011 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 172
0.00/0.04	o 172
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 179.962 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       490 |      94       28     1642 |     5000      490     31 |  0.011 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 123
0.00/0.04	o 123
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       557 |      94       29     1706 |     5000      557     31 |  0.011 % |
0.00/0.05	c |       657 |      86       29     1706 |     5500      460     29 |  8.522 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 120
0.00/0.06	o 120
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       738 |      86       30     1770 |     5000      541     29 |  8.522 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 114
0.00/0.06	o 114
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 179.938 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       758 |      86       31     1834 |     5000      561     29 |  8.522 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 92
0.00/0.07	o 92
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 179.932 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       850 |      86       32     1898 |     5000      653     29 |  8.522 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 90
0.00/0.07	o 90
0.00/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 179.931 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       856 |      86       33     1962 |     5000      659     29 |  8.522 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 88
0.00/0.07	o 88
0.00/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 179.93 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       859 |      86       34     2026 |     5000      662     29 |  8.522 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 86
0.00/0.07	o 86
0.00/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       906 |      86       35     2090 |     5000      709     30 |  8.522 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 66
0.00/0.08	o 66
0.00/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       928 |      86       36     2154 |     5000      731     30 |  8.522 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 64
0.00/0.08	o 64
0.00/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       929 |      86       37     2218 |     5000      732     30 |  8.522 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 59
0.00/0.08	o 59
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 179.92 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       962 |      78       38     2282 |     5000      765     30 |  8.522 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 56
0.00/0.09	o 56
0.00/0.09	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 179.915 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |      1008 |      78       39     2346 |     5000      811     30 |  8.522 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 54
0.00/0.09	o 54
0.00/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |      1071 |      78       40     2410 |     5000      874     30 |  8.522 % |
0.09/0.10	c |      1171 |      78       40     2410 |     5500      974     30 | 17.033 % |
0.09/0.11	c |      1321 |      78       40     2410 |     6050     1124     30 | 17.033 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 39
0.09/0.13	o 39
0.09/0.13	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 179.875 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |      1439 |      78       41     2474 |     5000     1242     30 | 17.033 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 35
0.09/0.13	o 35
0.09/0.13	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 179.874 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |      1439 |      78       42     2538 |     5000      883     30 | 17.033 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 29
0.09/0.13	o 29
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 179.872 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |      1459 |      78       43     2602 |     5000      903     30 | 17.033 % |
0.09/0.14	c |      1560 |      72       43     2602 |     5500     1004     30 | 25.543 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 18
0.09/0.15	o 18
0.09/0.15	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 179.856 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |      1645 |      70       44     2666 |     5000     1089     30 | 25.543 % |
0.09/0.16	c |      1746 |      70       44     2666 |     5500     1190     31 | 25.543 % |
0.09/0.17	c |      1896 |      70       44     2666 |     6050     1340     31 | 25.543 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 16
0.09/0.18	o 16
0.09/0.18	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 179.824 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |      2014 |      70       45     2730 |     5000     1458     31 | 25.543 % |
0.09/0.19	c |      2115 |      62       45     2730 |     5500     1559     32 | 34.054 % |
0.19/0.20	c |      2265 |      62       45     2730 |     6050     1709     32 | 34.054 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 14
0.19/0.22	o 14
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 179.783 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |      2452 |      62       46     2794 |     5000     1896     33 | 34.054 % |
0.19/0.23	c |      2553 |      62       46     2794 |     5500     1997     33 | 34.054 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 13
0.19/0.23	o 13
0.19/0.23	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 179.774 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |      2594 |      62       47     2858 |     5000     2038     33 | 34.054 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 9
0.19/0.24	o 9
0.19/0.24	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 179.765 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |      2691 |      62       48     2922 |     5000     2135     34 | 34.054 % |
0.19/0.25	c |      2793 |      62       48     2922 |     5500     2237     34 | 34.054 % |
0.19/0.27	c |      2943 |      62       48     2922 |     6050     2387     34 | 34.054 % |
0.19/0.28	c |      3169 |      62       48     2922 |     6655     2613     34 | 34.054 % |
0.29/0.32	c |      3506 |      62       48     2922 |     7320     2950     35 | 34.054 % |
0.29/0.37	c |      4012 |      62       48     2922 |     8052     3456     36 | 34.054 % |
0.39/0.45	c |      4771 |      62       48     2922 |     8857     4215     36 | 34.054 % |
0.59/0.61	c |      5910 |      62       48     2922 |     9743     5076     37 | 34.054 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: 6
0.69/0.77	o 6
0.69/0.77	c Elapsed CPU time: 0.751885 s	Remaining CPU time: 179.248 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |      7138 |      62       49     2986 |     5000     6304     38 | 34.054 % |
0.69/0.79	c |      7239 |      59       49     2986 |     5500     3253     41 | 42.565 % |
0.80/0.81	c |      7390 |      54       49     2986 |     6050     3404     41 | 42.565 % |
0.80/0.83	c |      7616 |      54       49     2986 |     6655     3630     41 | 42.565 % |
0.80/0.86	c |      7953 |      54       49     2986 |     7320     3967     41 | 42.565 % |
0.89/0.92	c |      8459 |      54       49     2986 |     8052     4473     42 | 42.565 % |
0.99/1.00	c |      9218 |      54       49     2986 |     8857     5232     42 | 42.565 % |
1.10/1.13	c |     10358 |      54       49     2986 |     9743     6372     42 | 42.565 % |
1.30/1.35	c |     12066 |      54       49     2986 |    10717     8080     43 | 42.565 % |
1.59/1.64	c ===============================================================================
1.59/1.64	c New solution: 5
1.59/1.64	o 5
1.59/1.64	c Elapsed CPU time: 1.60576 s	Remaining CPU time: 178.394 s
1.59/1.64	c ===============================================================================
1.59/1.64	c |     13877 |      54       50     3050 |     5000     9891     43 | 42.565 % |
1.59/1.68	c |     13980 |      54       50     3050 |     5500     5049     45 | 42.565 % |
1.69/1.70	c |     14132 |      54       50     3050 |     6050     5201     45 | 42.565 % |
1.69/1.72	c |     14357 |      54       50     3050 |     6655     5426     45 | 42.565 % |
1.69/1.77	c |     14695 |      54       50     3050 |     7320     5764     45 | 42.565 % |
1.79/1.82	c |     15202 |      54       50     3050 |     8052     6271     45 | 42.565 % |
1.89/1.91	c |     15961 |      54       50     3050 |     8857     7030     45 | 42.565 % |
1.99/2.04	c |     17100 |      54       50     3050 |     9743     8169     45 | 42.565 % |
2.29/2.31	c |     18808 |      54       50     3050 |    10717     4978     44 | 42.565 % |
2.60/2.61	c |     21370 |      54       50     3050 |    11789     7540     44 | 42.565 % |
3.09/3.13	c |     25214 |      54       50     3050 |    12968    11384     44 | 42.565 % |
3.99/4.06	c |     30981 |      54       50     3050 |    14265    10626     44 | 42.565 % |
4.89/5.00	c ===============================================================================
4.89/5.00	c New solution: 3
4.89/5.00	o 3
4.89/5.00	c Elapsed CPU time: 4.89226 s	Remaining CPU time: 175.108 s
4.89/5.00	c ===============================================================================
4.89/5.00	c |     35906 |      54       51     3114 |     5000     8390     44 | 42.565 % |
4.99/5.04	c |     36008 |      53       51     3114 |     5500     4297     44 | 51.075 % |
4.99/5.05	c |     36158 |      52       51     3114 |     6050     4447     44 | 51.075 % |
4.99/5.07	c |     36383 |      52       51     3114 |     6655     4672     45 | 51.075 % |
5.09/5.11	c |     36720 |      52       51     3114 |     7320     5009     45 | 51.075 % |
5.09/5.16	c |     37226 |      49       51     3114 |     8052     5515     45 | 51.075 % |
5.19/5.25	c |     37985 |      49       51     3114 |     8857     6274     45 | 51.075 % |
5.29/5.39	c |     39126 |      49       51     3114 |     9743     7415     45 | 51.075 % |
5.59/5.63	c |     40835 |      47       51     3114 |    10717     9124     46 | 51.075 % |
5.99/6.04	c |     43397 |      47       51     3114 |    11789     6294     48 | 51.075 % |
6.49/6.57	c |     47242 |      46       51     3114 |    12968    10139     48 | 51.075 % |
7.49/7.57	c |     53009 |      46       51     3114 |    14265     9392     49 | 51.075 % |
8.99/9.03	c |     61659 |      46       51     3114 |    15692    10876     48 | 51.075 % |
11.69/11.76	c |     74633 |      46       51     3114 |    17261     8094     48 | 51.075 % |
15.89/15.91	c |     94095 |      46       51     3114 |    18987    10221     48 | 51.075 % |
23.09/23.17	c |    123287 |      46       51     3114 |    20886    10836     47 | 51.075 % |
34.78/34.82	c |    167078 |      46       51     3114 |    22974    12725     47 | 51.075 % |
55.48/55.56	c |    232762 |      46       51     3114 |    25272    16922     47 | 51.075 % |
64.48/64.50	c ===============================================================================
64.48/64.50	c New solution: 1
64.48/64.50	o 1
64.48/64.50	c Elapsed CPU time: 63.6753 s	Remaining CPU time: 116.325 s
64.48/64.50	c ===============================================================================
64.48/64.50	c |    256949 |      46       52     3178 |     5000    12099     46 | 51.075 % |
64.58/64.60	c |    257049 |      30       52     3178 |     5500     3080     45 | 68.097 % |
64.58/64.62	c |    257201 |      30       52     3178 |     6050     3232     45 | 68.097 % |
64.58/64.64	c |    257427 |      30       52     3178 |     6655     3458     45 | 68.097 % |
64.58/64.66	c |    257764 |      30       52     3178 |     7320     3795     45 | 68.097 % |
64.68/64.71	c |    258271 |      30       52     3178 |     8052     4302     45 | 68.097 % |
64.68/64.78	c |    259030 |      30       52     3178 |     8857     5061     45 | 68.097 % |
64.88/64.90	c |    260170 |      30       52     3178 |     9743     6201     46 | 68.097 % |
65.07/65.10	c |    261878 |      30       52     3178 |    10717     7909     46 | 68.097 % |
65.38/65.49	c |    264441 |      30       52     3178 |    11789    10472     47 | 68.097 % |
65.98/66.10	c |    268285 |      30       52     3178 |    12968     8383     50 | 68.097 % |
67.08/67.14	c |    274052 |      30       52     3178 |    14265     7624     53 | 68.097 % |
68.57/68.60	c |    282701 |      30       52     3178 |    15692     9101     53 | 68.097 % |
71.27/71.31	c |    295675 |      30       52     3178 |    17261    14187     56 | 68.097 % |
75.88/75.90	c |    315137 |      30       52     3178 |    18987    16308     55 | 68.097 % |
83.07/83.17	c |    344330 |      30       52     3178 |    20886    16899     57 | 68.097 % |
95.67/95.74	c |    388121 |      30       52     3178 |    22974    18758     57 | 68.097 % |
119.16/119.20	c |    453806 |      30       52     3178 |    25272    22938     56 | 68.097 % |
154.75/154.81	c |    552332 |      30       52     3178 |    27799    19899     58 | 68.097 % |
182.04/182.14	c There are 64 assigned variables. 64 in cost function.

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-2656279-1276613715/watcher-2656279-1276613715 -o /tmp/evaluation-result-2656279-1276613715/solver-2656279-1276613715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656279-1276613715.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.99 3/106 2679
/proc/meminfo: memFree=1801420/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=2576 CPUtime=0
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 36972978 2637824 197 1992294400 134512640 135751879 4288198208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 644 197 147 303 0 339 0

[startup+0.103147 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2679
/proc/meminfo: memFree=1801420/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=2840 CPUtime=0.09
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 350 0 0 0 9 0 0 0 20 0 1 0 36972978 2908160 268 1992294400 134512640 135751879 4288198208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 710 268 147 303 0 405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2840

[startup+0.201161 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2679
/proc/meminfo: memFree=1801420/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=3104 CPUtime=0.19
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 417 0 0 0 19 0 0 0 20 0 1 0 36972978 3178496 335 1992294400 134512640 135751879 4288198208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 776 335 147 303 0 471 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3104

[startup+0.301174 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2679
/proc/meminfo: memFree=1801420/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=3368 CPUtime=0.29
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 486 0 0 0 28 1 0 0 20 0 1 0 36972978 3448832 404 1992294400 134512640 135751879 4288198208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 842 404 147 303 0 537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3368

[startup+0.701226 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 2679
/proc/meminfo: memFree=1801420/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=4292 CPUtime=0.69
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 706 0 0 0 68 1 0 0 20 0 1 0 36972978 4395008 624 1992294400 134512640 135751879 4288198208 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 1073 624 147 303 0 768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4292

[startup+1.50133 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 2680
/proc/meminfo: memFree=1798560/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=6008 CPUtime=1.49
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 1140 0 0 0 146 3 0 0 22 0 1 0 36972978 6152192 1058 1992294400 134512640 135751879 4288198208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 1502 1058 148 303 0 1197 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6008

[startup+3.10154 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 2680
/proc/meminfo: memFree=1796080/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=9168 CPUtime=3.09
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 1925 0 0 0 302 7 0 0 25 0 1 0 36972978 9388032 1843 1992294400 134512640 135751879 4288198208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 2292 1843 148 303 0 1987 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9168

[startup+6.30096 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 2680
/proc/meminfo: memFree=1790252/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=14572 CPUtime=6.29
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 3278 0 0 0 617 12 0 0 25 0 1 0 36972978 14921728 3196 1992294400 134512640 135751879 4288198208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 3643 3196 148 303 0 3338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14572

[startup+12.7008 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 2680
/proc/meminfo: memFree=1780208/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=24080 CPUtime=12.68
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 5649 0 0 0 1247 21 0 0 25 0 1 0 36972978 24657920 5567 1992294400 134512640 135751879 4288198208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 6020 5567 148 303 0 5715 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24080

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 2682
/proc/meminfo: memFree=1765700/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=37784 CPUtime=25.48
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 9070 0 0 0 2511 37 0 0 25 0 1 0 36972978 38690816 8988 1992294400 134512640 135751879 4288198208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 9446 8988 148 303 0 9141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37784

[startup+51.1008 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 2682
/proc/meminfo: memFree=1742760/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=60952 CPUtime=51.08
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 14865 0 0 0 5039 69 0 0 25 0 1 0 36972978 62414848 14783 1992294400 134512640 135751879 4288198208 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 15238 14783 148 303 0 14933 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 60952

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 2684
/proc/meminfo: memFree=1689812/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=113204 CPUtime=102.27
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 27935 0 0 0 10105 122 0 0 25 0 1 0 36972978 115920896 27853 1992294400 134512640 135751879 4288198208 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 28301 27853 148 303 0 27996 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113204

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2684
/proc/meminfo: memFree=1641080/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=162276 CPUtime=162.24
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 40181 0 0 0 16049 175 0 0 25 0 1 0 36972978 166170624 40099 1992294400 134512640 135751879 4288198208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 40569 40099 148 303 0 40264 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 162276

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

[startup+166.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1637856/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=165180 CPUtime=166.34
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 40897 0 0 0 16455 179 0 0 25 0 1 0 36972978 169144320 40815 1992294400 134512640 135751879 4288198208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 41295 40815 148 303 0 40990 0
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (KiB) 165180

[startup+172.809 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1633268/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=169668 CPUtime=172.76
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 42013 0 0 0 17091 185 0 0 25 0 1 0 36972978 173740032 41931 1992294400 134512640 135751879 4288198208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 42417 41931 148 303 0 42112 0
Current children cumulated CPU time (s) 172.76
Current children cumulated vsize (KiB) 169668

[startup+179.202 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1629300/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=174156 CPUtime=179.14
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 43137 0 0 0 17725 189 0 0 25 0 1 0 36972978 178335744 43055 1992294400 134512640 135751879 4288198208 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 43539 43055 148 303 0 43234 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 174156

[startup+180.801 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1628308/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=174816 CPUtime=180.74
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 43314 0 0 0 17884 190 0 0 25 0 1 0 36972978 179011584 43232 1992294400 134512640 135751879 4288198208 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 43704 43232 148 303 0 43399 0
Current children cumulated CPU time (s) 180.74
Current children cumulated vsize (KiB) 174816

[startup+181.609 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1627812/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=175212 CPUtime=181.55
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4202496 43406 0 0 0 17965 190 0 0 25 0 1 0 36972978 179417088 43324 1992294400 134512640 135751879 4288198208 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 43803 43324 148 303 0 43498 0
Current children cumulated CPU time (s) 181.55
Current children cumulated vsize (KiB) 175212

[startup+182.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1627812/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=175344 CPUtime=182.34
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4204032 43435 0 0 0 18018 216 0 0 25 0 1 0 36972978 179552256 43353 1992294400 134512640 135751879 4288198208 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 43836 43353 148 303 0 43531 0
Current children cumulated CPU time (s) 182.34
Current children cumulated vsize (KiB) 175344

[startup+182.801 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 2686
/proc/meminfo: memFree=1507160/2059040 swapFree=4139776/4192956
[pid=2679] ppid=2677 vsize=175344 CPUtime=182.74
/proc/2679/stat : 2679 (wbo1.4b) R 2677 2679 2654 0 -1 4204032 43435 0 0 0 18018 256 0 0 25 0 1 0 36972978 179552256 43353 1992294400 134512640 135751879 4288198208 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2679/statm: 43836 43353 148 303 0 43531 0
Current children cumulated CPU time (s) 182.74
Current children cumulated vsize (KiB) 175344

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 182.849
CPU time (s): 182.798
CPU user time (s): 180.183
CPU system time (s): 2.6156
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 175344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.183
system time used= 2.6156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43436
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= 3
involuntary context switches= 276

runsolver used 0.315951 second user time and 0.868867 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-15 16:55:15
IDJOB=2656279
IDBENCH=2916
IDSOLVER=1161
FILE ID=node013/2656279-1276613715
PBS_JOBID= 11172294
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=175201722

node013.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.253
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.50
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.253
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1801948 kB
Buffers:         69256 kB
Cached:         106320 kB
SwapCached:       6656 kB
Active:          90584 kB
Inactive:        98648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1801948 kB
SwapTotal:     4192956 kB
SwapFree:      4139776 kB
Dirty:            2628 kB
Writeback:           0 kB
AnonPages:       12092 kB
Mapped:          13004 kB
Slab:            46104 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180304 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= 62380 MiB
End job on node013 at 2010-06-15 16:58:18