Trace number 2680703

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.18 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUM0278ee4f163393ac33163ff791a7f96d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1791.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
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-2680703-1277458221.opb.
0.00/0.00	c Instance file HOME/instance-2680703-1277458221.opb
0.00/0.00	c File size is 13159 bytes.
0.00/0.00	c Highest Coefficient sum: 5856
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:      198                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 16                                                  |
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 |     198       16     1354 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1080
0.00/0.00	o 1080
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     198       17     1482 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |     198       17     1482 |     5500      101     79 |  0.003 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 702
0.00/0.01	o 702
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 |       119 |     198       18     1610 |     5000      119     78 |  0.003 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 671
0.00/0.01	o 671
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       149 |     198       19     1738 |     5000      149     75 |  0.003 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 667
0.00/0.02	o 667
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 |       170 |     198       20     1866 |     5000      170     72 |  0.003 % |
0.00/0.03	c |       270 |     198       20     1866 |     5500      270     71 |  0.003 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 664
0.00/0.04	o 664
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 |       344 |     198       21     1994 |     5000      344     68 |  0.003 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 662
0.00/0.04	o 662
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.00/0.04	c ===============================================================================
0.00/0.04	c |       358 |     198       22     2122 |     5000      358     69 |  0.003 % |
0.00/0.05	c |       460 |     198       22     2122 |     5500      460     70 |  0.003 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 533
0.00/0.06	o 533
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       559 |     198       23     2250 |     5000      559     70 |  0.003 % |
0.00/0.07	c |       660 |     198       23     2250 |     5500      660     69 |  0.003 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 524
0.00/0.07	o 524
0.00/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 179.926 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       660 |     198       24     2378 |     5000      660     69 |  0.003 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 522
0.00/0.07	o 522
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 |       660 |     198       25     2506 |     5000      660     69 |  0.003 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 518
0.00/0.07	o 518
0.00/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 179.924 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       663 |     198       26     2634 |     5000      663     69 |  0.003 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 505
0.00/0.07	o 505
0.00/0.07	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       666 |     198       27     2762 |     5000      666     68 |  0.003 % |
0.00/0.09	c |       766 |     198       27     2762 |     5500      766     69 |  0.003 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 503
0.00/0.09	o 503
0.00/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 179.905 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |       793 |     198       28     2890 |     5000      793     68 |  0.003 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c New solution: 485
0.00/0.09	o 485
0.00/0.09	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.00/0.09	c ===============================================================================
0.00/0.09	c |       799 |     198       29     3018 |     5000      799     68 |  0.003 % |
0.00/0.10	c ===============================================================================
0.00/0.10	c New solution: 451
0.00/0.10	o 451
0.00/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 179.901 s
0.00/0.10	c ===============================================================================
0.00/0.10	c |       803 |     198       30     3146 |     5000      803     68 |  0.003 % |
0.09/0.11	c |       904 |     198       30     3146 |     5500      904     70 |  0.003 % |
0.09/0.13	c |      1054 |     198       30     3146 |     6050     1054     70 |  0.003 % |
0.09/0.16	c |      1279 |     198       30     3146 |     6655     1279     69 |  0.003 % |
0.19/0.20	c |      1617 |     198       30     3146 |     7320     1617     69 |  0.003 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 434
0.19/0.21	o 434
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 179.786 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |      1660 |     198       31     3274 |     5000     1660     69 |  0.003 % |
0.19/0.22	c |      1760 |     198       31     3274 |     5500     1760     69 |  0.003 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 309
0.19/0.24	o 309
0.19/0.24	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 179.761 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |      1851 |     198       32     3402 |     5000     1851     68 |  0.003 % |
0.19/0.25	c |      1951 |     198       32     3402 |     5500     1951     68 |  0.003 % |
0.19/0.27	c |      2101 |     198       32     3402 |     6050     2101     67 |  0.003 % |
0.29/0.30	c |      2327 |     198       32     3402 |     6655     2327     66 |  0.003 % |
0.29/0.35	c |      2665 |     198       32     3402 |     7320     2665     65 |  0.003 % |
0.39/0.42	c |      3172 |     198       32     3402 |     8052     3172     64 |  0.003 % |
0.49/0.54	c |      3934 |     198       32     3402 |     8857     3934     64 |  0.003 % |
0.69/0.71	c |      5073 |     198       32     3402 |     9743     5073     63 |  0.003 % |
0.99/1.02	c |      6781 |     198       32     3402 |    10717     6781     62 |  0.003 % |
1.49/1.54	c |      9343 |     198       32     3402 |    11789     9343     63 |  0.003 % |
2.29/2.35	c |     13189 |     198       32     3402 |    12968     7264     62 |  0.003 % |
2.29/2.36	c ===============================================================================
2.29/2.36	c New solution: 279
2.29/2.36	o 279
2.29/2.36	c Elapsed CPU time: 2.33664 s	Remaining CPU time: 177.663 s
2.29/2.36	c ===============================================================================
2.29/2.36	c |     13253 |     198       33     3530 |     5000     7328     62 |  0.003 % |
2.29/2.38	c ===============================================================================
2.29/2.38	c New solution: 269
2.29/2.38	o 269
2.29/2.38	c Elapsed CPU time: 2.34964 s	Remaining CPU time: 177.65 s
2.29/2.38	c ===============================================================================
2.29/2.38	c |     13276 |     198       34     3658 |     5000     3687     62 |  0.003 % |
2.29/2.38	c ===============================================================================
2.29/2.38	c New solution: 267
2.29/2.38	o 267
2.29/2.38	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 177.649 s
2.29/2.38	c ===============================================================================
2.29/2.38	c |     13279 |     198       35     3786 |     5000     3690     62 |  0.003 % |
2.29/2.39	c |     13379 |     198       35     3786 |     5500     3790     62 |  0.003 % |
2.39/2.42	c |     13529 |     198       35     3786 |     6050     3940     64 |  0.003 % |
2.39/2.45	c |     13754 |     198       35     3786 |     6655     4165     64 |  0.003 % |
2.39/2.49	c ===============================================================================
2.39/2.49	c New solution: 214
2.39/2.49	o 214
2.39/2.49	c Elapsed CPU time: 2.46163 s	Remaining CPU time: 177.538 s
2.39/2.49	c ===============================================================================
2.39/2.49	c |     14040 |     198       36     3914 |     5000     4451     64 |  0.003 % |
2.49/2.51	c |     14140 |     198       36     3914 |     5500     4551     64 |  0.003 % |
2.49/2.52	c ===============================================================================
2.49/2.52	c New solution: 194
2.49/2.52	o 194
2.49/2.52	c Elapsed CPU time: 2.48562 s	Remaining CPU time: 177.514 s
2.49/2.52	c ===============================================================================
2.49/2.52	c |     14166 |     198       37     4042 |     5000     4577     64 |  0.003 % |
2.49/2.53	c |     14266 |     198       37     4042 |     5500     4677     64 |  0.003 % |
2.49/2.56	c |     14416 |     198       37     4042 |     6050     4827     64 |  0.003 % |
2.49/2.59	c |     14641 |     198       37     4042 |     6655     5052     64 |  0.003 % |
2.59/2.66	c |     14978 |     198       37     4042 |     7320     5389     63 |  0.003 % |
2.69/2.75	c |     15485 |     198       37     4042 |     8052     5896     63 |  0.003 % |
2.79/2.86	c ===============================================================================
2.79/2.86	c New solution: 178
2.79/2.86	o 178
2.79/2.86	c Elapsed CPU time: 2.82557 s	Remaining CPU time: 177.174 s
2.79/2.86	c ===============================================================================
2.79/2.86	c |     16063 |     198       38     4170 |     5000     6474     63 |  0.003 % |
2.79/2.89	c |     16163 |     198       38     4170 |     5500     3337     65 |  0.003 % |
2.89/2.92	c |     16313 |     198       38     4170 |     6050     3487     65 |  0.003 % |
2.89/2.96	c |     16541 |     198       38     4170 |     6655     3715     65 |  0.003 % |
2.99/3.02	c |     16878 |     198       38     4170 |     7320     4052     64 |  0.003 % |
3.09/3.11	c |     17384 |     198       38     4170 |     8052     4558     64 |  0.003 % |
3.19/3.25	c |     18144 |     198       38     4170 |     8857     5318     63 |  0.003 % |
3.40/3.45	c |     19283 |     198       38     4170 |     9743     6457     62 |  0.003 % |
3.69/3.77	c |     20991 |     198       38     4170 |    10717     8165     61 |  0.003 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 146
3.89/3.91	o 146
3.89/3.91	c Elapsed CPU time: 3.86641 s	Remaining CPU time: 176.134 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |     21745 |     198       39     4298 |     5000     8919     61 |  0.003 % |
3.89/3.94	c |     21845 |     198       39     4298 |     5500     4560     59 |  0.003 % |
3.89/3.98	c |     21995 |     198       39     4298 |     6050     4710     59 |  0.003 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: 144
3.99/4.01	o 144
3.99/4.01	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 176.036 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |     22199 |     198       40     4426 |     5000     4914     59 |  0.003 % |
3.99/4.03	c |     22299 |     198       40     4426 |     5500     5014     59 |  0.003 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c New solution: 133
3.99/4.04	o 133
3.99/4.04	c Elapsed CPU time: 3.99539 s	Remaining CPU time: 176.005 s
3.99/4.04	c ===============================================================================
3.99/4.04	c |     22373 |     198       41     4554 |     5000     5088     59 |  0.003 % |
3.99/4.07	c |     22473 |     198       41     4554 |     5500     2644     60 |  0.003 % |
3.99/4.09	c |     22623 |     198       41     4554 |     6050     2794     60 |  0.003 % |
4.09/4.13	c |     22848 |     198       41     4554 |     6655     3019     60 |  0.003 % |
4.09/4.19	c |     23185 |     198       41     4554 |     7320     3356     60 |  0.003 % |
4.19/4.28	c |     23691 |     198       41     4554 |     8052     3862     60 |  0.003 % |
4.39/4.41	c ===============================================================================
4.39/4.41	c New solution: 114
4.39/4.41	o 114
4.39/4.41	c Elapsed CPU time: 4.35334 s	Remaining CPU time: 175.647 s
4.39/4.41	c ===============================================================================
4.39/4.41	c |     24408 |     198       42     4682 |     5000     4579     60 |  0.003 % |
4.39/4.43	c |     24508 |     182       42     4682 |     5500     4552     61 |  8.083 % |
4.39/4.46	c |     24658 |     182       42     4682 |     6050     4702     61 |  8.083 % |
4.39/4.49	c ===============================================================================
4.39/4.49	c New solution: 107
4.39/4.49	o 107
4.39/4.49	c Elapsed CPU time: 4.43832 s	Remaining CPU time: 175.562 s
4.39/4.49	c ===============================================================================
4.39/4.49	c |     24797 |     182       43     4810 |     5000     4841     61 |  8.083 % |
4.49/4.52	c |     24897 |     182       43     4810 |     5500     4941     61 |  8.083 % |
4.49/4.55	c |     25049 |     182       43     4810 |     6050     5093     61 |  8.083 % |
4.59/4.60	c |     25274 |     182       43     4810 |     6655     5318     61 |  8.083 % |
4.59/4.67	c |     25611 |     182       43     4810 |     7320     5655     61 |  8.083 % |
4.69/4.77	c |     26117 |     182       43     4810 |     8052     6161     61 |  8.083 % |
4.89/4.92	c |     26876 |     182       43     4810 |     8857     6920     61 |  8.083 % |
5.09/5.10	c ===============================================================================
5.09/5.10	c New solution: 79
5.09/5.10	o 79
5.09/5.10	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 174.963 s
5.09/5.10	c ===============================================================================
5.09/5.10	c |     27706 |     182       44     4938 |     5000     7750     62 |  8.083 % |
5.09/5.13	c |     27806 |     182       44     4938 |     5500     3975     64 |  8.083 % |
5.09/5.16	c |     27956 |     182       44     4938 |     6050     4125     63 |  8.083 % |
5.19/5.20	c |     28181 |     182       44     4938 |     6655     4350     63 |  8.083 % |
5.19/5.26	c |     28519 |     182       44     4938 |     7320     4688     63 |  8.083 % |
5.29/5.36	c |     29026 |     182       44     4938 |     8052     5195     62 |  8.083 % |
5.50/5.50	c |     29786 |     182       44     4938 |     8857     5955     62 |  8.083 % |
5.69/5.71	c |     30926 |     182       44     4938 |     9743     7095     62 |  8.083 % |
5.99/6.07	c |     32635 |     182       44     4938 |    10717     8804     62 |  8.083 % |
6.59/6.66	c ===============================================================================
6.59/6.66	c New solution: 71
6.59/6.66	o 71
6.59/6.66	c Elapsed CPU time: 6.563 s	Remaining CPU time: 173.437 s
6.59/6.66	c ===============================================================================
6.59/6.66	c |     35195 |     182       45     5066 |     5000     5969     61 |  8.083 % |
6.59/6.67	c ===============================================================================
6.59/6.67	c New solution: 69
6.59/6.67	o 69
6.59/6.67	c Elapsed CPU time: 6.576 s	Remaining CPU time: 173.424 s
6.59/6.67	c ===============================================================================
6.59/6.67	c |     35207 |     182       46     5194 |     5000     2997     61 |  8.083 % |
6.59/6.69	c |     35307 |     182       46     5194 |     5500     3097     61 |  8.083 % |
6.69/6.72	c |     35457 |     182       46     5194 |     6050     3247     61 |  8.083 % |
6.69/6.77	c |     35682 |     182       46     5194 |     6655     3472     61 |  8.083 % |
6.79/6.83	c |     36019 |     182       46     5194 |     7320     3809     61 |  8.083 % |
6.89/6.93	c |     36525 |     182       46     5194 |     8052     4315     60 |  8.083 % |
6.98/7.07	c |     37286 |     182       46     5194 |     8857     5076     60 |  8.083 % |
7.19/7.30	c |     38427 |     182       46     5194 |     9743     6217     60 |  8.083 % |
7.59/7.67	c |     40135 |     182       46     5194 |    10717     7925     60 |  8.083 % |
8.19/8.25	c |     42697 |     182       46     5194 |    11789    10487     60 |  8.083 % |
9.09/9.16	c |     46541 |     182       46     5194 |    12968     8402     60 |  8.083 % |
10.48/10.54	c |     52308 |     182       46     5194 |    14265     7649     60 |  8.083 % |
12.59/12.63	c |     60957 |     182       46     5194 |    15692     9128     60 |  8.083 % |
15.89/15.95	c |     73931 |     182       46     5194 |    17261    14213     59 |  8.083 % |
21.18/21.21	c |     93392 |     182       46     5194 |    18987    16356     59 |  8.083 % |
29.79/29.87	c |    122584 |     182       46     5194 |    20886    16965     61 |  8.083 % |
42.78/42.80	c |    166373 |     182       46     5194 |    22974    18845     60 |  8.083 % |
63.37/63.41	c |    232063 |     182       46     5194 |    25272    10875     59 |  8.083 % |
94.86/94.94	c |    330589 |     182       46     5194 |    27799    24589     59 |  8.083 % |
110.07/110.14	c ===============================================================================
110.07/110.14	c New solution: 63
110.07/110.14	o 63
110.07/110.14	c Elapsed CPU time: 109.005 s	Remaining CPU time: 70.9946 s
110.07/110.14	c ===============================================================================
110.07/110.14	c |    375154 |     182       47     5322 |     5000    19130     60 |  8.083 % |
110.16/110.29	c |    375254 |     166       47     5322 |     5500     4777     60 | 16.164 % |
110.26/110.32	c |    375405 |     166       47     5322 |     6050     4928     60 | 16.164 % |
110.26/110.38	c |    375630 |     166       47     5322 |     6655     5153     60 | 16.164 % |
110.36/110.46	c |    375967 |     166       47     5322 |     7320     5490     60 | 16.164 % |
110.47/110.58	c |    376473 |     166       47     5322 |     8052     5996     61 | 16.164 % |
110.66/110.75	c |    377232 |     166       47     5322 |     8857     6755     61 | 16.164 % |
110.96/111.01	c |    378371 |     166       47     5322 |     9743     7894     62 | 16.164 % |
111.36/111.40	c |    380080 |     166       47     5322 |    10717     9603     63 | 16.164 % |
111.96/112.03	c |    382642 |     166       47     5322 |    11789     6760     66 | 16.164 % |
112.76/112.89	c |    386486 |     166       47     5322 |    12968    10604     67 | 16.164 % |
114.26/114.37	c |    392252 |     166       47     5322 |    14265     9844     68 | 16.164 % |
116.36/116.45	c |    400901 |     166       47     5322 |    15692    11321     67 | 16.164 % |
120.16/120.24	c |    413876 |     166       47     5322 |    17261     8527     67 | 16.164 % |
125.96/126.01	c |    433337 |     166       47     5322 |    18987    10641     66 | 16.164 % |
135.06/135.11	c |    462530 |     166       47     5322 |    20886    11225     69 | 16.164 % |
142.06/142.19	c ===============================================================================
142.06/142.19	c New solution: 60
142.06/142.19	o 60
142.06/142.19	c Elapsed CPU time: 140.714 s	Remaining CPU time: 39.2864 s
142.06/142.19	c ===============================================================================
142.06/142.19	c |    484511 |     166       48     5450 |     5000    12235     67 | 16.164 % |
142.16/142.26	c |    484611 |     166       48     5450 |     5500     3159     66 | 16.164 % |
142.16/142.28	c |    484761 |     166       48     5450 |     6050     3309     66 | 16.164 % |
142.26/142.34	c |    484986 |     166       48     5450 |     6655     3534     66 | 16.164 % |
142.35/142.41	c |    485323 |     166       48     5450 |     7320     3871     66 | 16.164 % |
142.45/142.51	c |    485829 |     166       48     5450 |     8052     4377     66 | 16.164 % |
142.55/142.67	c |    486588 |     166       48     5450 |     8857     5136     67 | 16.164 % |
142.86/142.91	c |    487727 |     166       48     5450 |     9743     6275     67 | 16.164 % |
143.15/143.28	c |    489435 |     166       48     5450 |    10717     7983     67 | 16.164 % |
143.75/143.89	c |    491997 |     166       48     5450 |    11789    10545     67 | 16.164 % |
144.76/144.83	c |    495841 |     166       48     5450 |    12968     8449     68 | 16.164 % |
146.26/146.35	c |    501607 |     166       48     5450 |    14265     7688     68 | 16.164 % |
148.35/148.45	c |    510256 |     166       48     5450 |    15692     9163     66 | 16.164 % |
151.65/151.77	c |    523230 |     166       48     5450 |    17261    14242     66 | 16.164 % |
157.36/157.49	c |    542691 |     166       48     5450 |    18987    16358     67 | 16.164 % |
166.74/166.87	c |    571883 |     166       48     5450 |    20886    16945     70 | 16.164 % |
181.15/181.26	c |    615673 |     166       48     5450 |    22974    18806     69 | 16.164 % |
181.74/181.84	c There are 32 assigned variables. 32 in cost function.
182.24/182.39	c ============================[ Search Statistics ]==============================
182.24/182.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.24/182.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.24/182.39	c ===============================================================================
182.24/182.39	c |         0 |      70      175     1290 |     5000        0    nan |  0.000 % |
182.34/182.41	c |       100 |      70      175     1290 |     5500      100     73 | 64.649 % |
182.34/182.44	c |       250 |      70      175     1290 |     6050      250     75 | 64.649 % |
182.34/182.47	c |       475 |      70      175     1290 |     6655      475     75 | 64.649 % |
182.44/182.53	c |       812 |      70      175     1290 |     7320      812     73 | 64.649 % |
182.55/182.63	c |      1318 |      70      175     1290 |     8052     1318     71 | 64.649 % |
182.65/182.78	c |      2077 |      70      175     1290 |     8857     2077     71 | 64.649 % |
182.84/182.96	c |      3216 |      70      175     1290 |     9743     3216     70 | 64.649 % |
183.14/183.25	c |      4925 |      70      175     1290 |    10717     4925     71 | 64.649 % |
183.65/183.77	c |      7487 |      70      175     1290 |    11789     7487     71 | 64.649 % |
184.64/184.70	c |     11331 |      70      175     1290 |    12968    11331     71 | 64.649 % |
186.04/186.14	c |     17097 |      70      175     1290 |    14265    10521     73 | 64.649 % |
188.15/188.21	c |     25746 |      70      175     1290 |    15692    11946     74 | 64.649 % |
191.54/191.68	c |     38720 |      70      175     1290 |    17261     9044     80 | 64.649 % |
197.14/197.28	c |     58181 |      70      175     1290 |    18987    11065     78 | 64.649 % |
205.94/206.05	c |     87373 |      70      175     1290 |    20886    11506     79 | 64.649 % |
219.14/219.24	c |    131162 |      70      175     1290 |    22974    13168     76 | 64.649 % |
241.53/241.61	c |    196846 |      70      175     1290 |    25272    16843     78 | 64.649 % |
278.72/278.80	c |    295372 |      70      175     1290 |    27799    13217     80 | 64.649 % |
335.80/335.91	c |    443161 |      70      175     1290 |    30579    24666     81 | 64.649 % |
432.08/432.20	c |    664844 |      70      175     1290 |    33637    29359     81 | 64.649 % |
589.34/589.52	c |    997369 |      70      175     1290 |    37001    21557     83 | 64.649 % |
854.07/854.35	c |   1496157 |      70      175     1290 |    40701    27158     84 | 64.649 % |
1250.87/1251.29	c |   2244339 |      70      175     1290 |    44771    36329     81 | 64.649 % |

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-2680703-1277458221/watcher-2680703-1277458221 -o /tmp/evaluation-result-2680703-1277458221/solver-2680703-1277458221 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680703-1277458221.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29245
/proc/meminfo: memFree=1854700/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=2572 CPUtime=0
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 287 0 0 0 0 0 0 0 20 0 1 0 121426027 2633728 201 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 643 201 143 303 0 338 0

[startup+0.100751 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29245
/proc/meminfo: memFree=1854700/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=2836 CPUtime=0.09
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 374 0 0 0 9 0 0 0 20 0 1 0 121426027 2904064 288 1992294400 134512640 135752675 4286953648 18446744073709551615 134616506 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 709 289 144 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.201762 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29245
/proc/meminfo: memFree=1854700/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=3220 CPUtime=0.19
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 451 0 0 0 19 0 0 0 20 0 1 0 121426027 3297280 365 1992294400 134512640 135752675 4286953648 18446744073709551615 134638856 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 805 366 144 303 0 500 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3220

[startup+0.301772 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29245
/proc/meminfo: memFree=1854700/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=3484 CPUtime=0.29
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 517 0 0 0 29 0 0 0 20 0 1 0 121426027 3567616 431 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 871 431 144 303 0 566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3484

[startup+0.701812 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 29245
/proc/meminfo: memFree=1854700/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=4404 CPUtime=0.69
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 754 0 0 0 69 0 0 0 21 0 1 0 121426027 4509696 668 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 1101 668 144 303 0 796 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4404

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29246
/proc/meminfo: memFree=1851716/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=5980 CPUtime=1.49
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 1140 0 0 0 148 1 0 0 23 0 1 0 121426027 6123520 1054 1992294400 134512640 135752675 4286953648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 1495 1054 144 303 0 1190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5980

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29246
/proc/meminfo: memFree=1849608/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=8980 CPUtime=3.09
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 1882 0 0 0 305 4 0 0 25 0 1 0 121426027 9195520 1796 1992294400 134512640 135752675 4286953648 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 2245 1796 145 303 0 1940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8980

[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29246
/proc/meminfo: memFree=1843408/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=14576 CPUtime=6.29
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 3312 0 0 0 620 9 0 0 25 0 1 0 121426027 14925824 3226 1992294400 134512640 135752675 4286953648 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 3644 3226 145 303 0 3339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14576

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29246
/proc/meminfo: memFree=1833240/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=24136 CPUtime=12.69
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 5699 0 0 0 1252 17 0 0 25 0 1 0 121426027 24715264 5613 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 6034 5613 145 303 0 5729 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24136

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29246
/proc/meminfo: memFree=1816872/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=39976 CPUtime=25.48
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 9649 0 0 0 2519 29 0 0 25 0 1 0 121426027 40935424 9563 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 9994 9563 145 303 0 9689 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39976

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29248
/proc/meminfo: memFree=1787732/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=69196 CPUtime=51.08
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 16952 0 0 0 5055 53 0 0 25 0 1 0 121426027 70856704 16866 1992294400 134512640 135752675 4286953648 18446744073709551615 134638720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 17299 16866 145 303 0 16994 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69196

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29248
/proc/meminfo: memFree=1733792/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=122528 CPUtime=102.27
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 30248 0 0 0 10123 104 0 0 25 0 1 0 121426027 125468672 30162 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 30632 30162 145 303 0 30327 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 122528

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29250
/proc/meminfo: memFree=1662244/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=194636 CPUtime=162.25
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 48266 0 0 0 16063 162 0 0 25 0 1 0 121426027 199307264 48180 1992294400 134512640 135752675 4286953648 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 48659 48180 145 303 0 48354 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 194636

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29252
/proc/meminfo: memFree=1607188/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=248736 CPUtime=222.24
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 61862 0 0 0 22007 217 0 0 25 0 1 0 121426027 254705664 61748 1992294400 134512640 135752675 4286953648 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 62184 61748 146 303 0 61879 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 248736

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29254
/proc/meminfo: memFree=1552008/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=304388 CPUtime=282.22
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 75754 0 0 0 27951 271 0 0 25 0 1 0 121426027 311693312 75640 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 76097 75640 146 303 0 75792 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 304388

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29256
/proc/meminfo: memFree=1499928/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=355844 CPUtime=342.2
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 88621 0 0 0 33899 321 0 0 25 0 1 0 121426027 364384256 88507 1992294400 134512640 135752675 4286953648 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 88961 88507 146 303 0 88656 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 355844

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29256
/proc/meminfo: memFree=1454420/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=401872 CPUtime=402.18
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 100115 0 0 0 39852 366 0 0 25 0 1 0 121426027 411516928 100001 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 100468 100001 146 303 0 100163 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 401872

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29258
/proc/meminfo: memFree=1407052/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=448600 CPUtime=462.17
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 111789 0 0 0 45805 412 0 0 25 0 1 0 121426027 459366400 111675 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 112150 111675 146 303 0 111845 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 448600

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29260
/proc/meminfo: memFree=1362412/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=493440 CPUtime=522.15
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 122973 0 0 0 51761 454 0 0 25 0 1 0 121426027 505282560 122859 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 123360 122859 146 303 0 123055 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 493440

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29262
/proc/meminfo: memFree=1309340/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=546268 CPUtime=582.14
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 136188 0 0 0 57717 497 0 0 25 0 1 0 121426027 559378432 136074 1992294400 134512640 135752675 4286953648 18446744073709551615 134638342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 136567 136074 146 303 0 136262 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 546268

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29264
/proc/meminfo: memFree=1260608/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=595276 CPUtime=642.12
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 148413 0 0 0 63676 536 0 0 25 0 1 0 121426027 609562624 148299 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 148819 148299 146 303 0 148514 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 595276

[startup+702.302 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29270
/proc/meminfo: memFree=1083908/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=770964 CPUtime=882.07
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 192329 0 0 0 87520 687 0 0 25 0 1 0 121426027 789467136 192215 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 192741 192215 146 303 0 192436 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 770964

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 29272
/proc/meminfo: memFree=1040880/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=814036 CPUtime=942.05
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 203097 0 0 0 93479 726 0 0 25 0 1 0 121426027 833572864 202983 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 203509 202983 146 303 0 203204 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 814036

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 0.95 2/107 29272
/proc/meminfo: memFree=995868/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=858732 CPUtime=1002.04
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 214264 0 0 0 99438 766 0 0 25 0 1 0 121426027 879341568 214150 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 214683 214150 146 303 0 214378 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 858732

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 0.95 2/107 29274
/proc/meminfo: memFree=951104/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=903676 CPUtime=1062.02
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 225506 0 0 0 105398 804 0 0 25 0 1 0 121426027 925364224 225392 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 225919 225392 146 303 0 225614 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 903676

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29276
/proc/meminfo: memFree=905844/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=948828 CPUtime=1122
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 236761 0 0 0 111354 846 0 0 25 0 1 0 121426027 971599872 236647 1992294400 134512640 135752675 4286953648 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 237207 236647 146 303 0 236902 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 948828

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29278
/proc/meminfo: memFree=861328/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=993492 CPUtime=1181.99
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 247934 0 0 0 117314 885 0 0 25 0 1 0 121426027 1017335808 247820 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 248373 247820 146 303 0 248068 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 993492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29280
/proc/meminfo: memFree=818052/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1036392 CPUtime=1241.98
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 258649 0 0 0 123275 923 0 0 25 0 1 0 121426027 1061265408 258535 1992294400 134512640 135752675 4286953648 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 259098 258535 146 303 0 258793 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1036392

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29280
/proc/meminfo: memFree=782216/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1071988 CPUtime=1301.96
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 267554 0 0 0 129239 957 0 0 25 0 1 0 121426027 1097715712 267440 1992294400 134512640 135752675 4286953648 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 267997 267440 146 303 0 267692 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1071988

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29282
/proc/meminfo: memFree=744520/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1109608 CPUtime=1361.95
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 276954 0 0 0 135206 989 0 0 25 0 1 0 121426027 1136238592 276840 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 277402 276840 146 303 0 277097 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1109608

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29284
/proc/meminfo: memFree=704964/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1148956 CPUtime=1421.93
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 286774 0 0 0 141169 1024 0 0 25 0 1 0 121426027 1176530944 286660 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 287239 286660 146 303 0 286934 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1148956

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29286
/proc/meminfo: memFree=664292/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1190164 CPUtime=1481.92
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 297078 0 0 0 147128 1064 0 0 25 0 1 0 121426027 1218727936 296964 1992294400 134512640 135752675 4286953648 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 297541 296964 146 303 0 297236 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1190164

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29288
/proc/meminfo: memFree=619156/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1234528 CPUtime=1541.9
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 308185 0 0 0 153089 1101 0 0 25 0 1 0 121426027 1264156672 308071 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 308632 308071 146 303 0 308327 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1234528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29288
/proc/meminfo: memFree=577492/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1276636 CPUtime=1601.88
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 318691 0 0 0 159050 1138 0 0 25 0 1 0 121426027 1307275264 318577 1992294400 134512640 135752675 4286953648 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 319159 318577 146 303 0 318854 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1276636

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29290
/proc/meminfo: memFree=536200/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1317424 CPUtime=1661.86
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 328888 0 0 0 165009 1177 0 0 25 0 1 0 121426027 1349042176 328774 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 329356 328774 146 303 0 329051 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1317424

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 0.95 2/107 29292
/proc/meminfo: memFree=496520/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1357292 CPUtime=1721.85
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 338849 0 0 0 170968 1217 0 0 25 0 1 0 121426027 1389867008 338735 1992294400 134512640 135752675 4286953648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 339323 338735 146 303 0 339018 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1357292

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 0.95 2/107 29294
/proc/meminfo: memFree=456592/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1396760 CPUtime=1781.84
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 348743 0 0 0 176932 1252 0 0 25 0 1 0 121426027 1430282240 348629 1992294400 134512640 135752675 4286953648 18446744073709551615 134606957 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 349190 348629 146 303 0 348885 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1396760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.01 0.95 2/107 29294
/proc/meminfo: memFree=444192/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=1409036 CPUtime=1800.04
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4202496 351789 0 0 0 178741 1263 0 0 25 0 1 0 121426027 1442852864 351675 1992294400 134512640 135752675 4286953648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29245/statm: 352259 351675 146 303 0 351954 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1409036

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

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

[startup+1800.61 s]
/proc/loadavg: 1.01 1.01 0.95 2/107 29294
/proc/meminfo: memFree=444192/2059040 swapFree=4135576/4192956
[pid=29245] ppid=29243 vsize=0 CPUtime=1800.14
/proc/29245/stat : 29245 (wbo1.4b) R 29243 29245 28720 0 -1 4203524 351789 0 0 0 178741 1273 0 0 25 0 1 0 121426027 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29245/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.64
CPU time (s): 1800.18
CPU user time (s): 1787.42
CPU system time (s): 12.7651
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1409036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.42
system time used= 12.7651
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351789
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= 4
involuntary context switches= 1836

runsolver used 3.03054 second user time and 8.45172 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-25 11:30:21
IDJOB=2680703
IDBENCH=2912
IDSOLVER=1190
FILE ID=node002/2680703-1277458221
PBS_JOBID= 11188155
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d
RANDOM SEED=1354718225

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
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.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855228 kB
Buffers:         28852 kB
Cached:          74724 kB
SwapCached:       9840 kB
Active:          58764 kB
Inactive:        57872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855228 kB
SwapTotal:     4192956 kB
SwapFree:      4135576 kB
Dirty:            2644 kB
Writeback:           0 kB
AnonPages:       11648 kB
Mapped:           8396 kB
Slab:            65036 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182048 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= 62456 MiB
End job on node002 at 2010-06-25 12:00:23