Trace number 2656062

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.24 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1793.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
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 constraint84
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656062-1276600978.opb.
0.00/0.00	c Instance file HOME/instance-2656062-1276600978.opb
0.00/0.00	c File size is 13265 bytes.
0.00/0.00	c Highest Coefficient sum: 6154
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     1368 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1434
0.00/0.00	o 1434
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     1496 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1036
0.00/0.00	o 1036
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 |        57 |     198       18     1624 |     5000       57     78 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 971
0.00/0.01	o 971
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        75 |     198       19     1752 |     5000       75     75 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 965
0.00/0.01	o 965
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 |        80 |     198       20     1880 |     5000       80     75 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 915
0.00/0.01	o 915
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 |        84 |     198       21     2008 |     5000       84     74 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 899
0.00/0.01	o 899
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 |        84 |     198       22     2136 |     5000       84     74 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 897
0.00/0.01	o 897
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 |        97 |     198       23     2264 |     5000       97     77 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 875
0.00/0.02	o 875
0.00/0.02	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       150 |     198       24     2392 |     5000      150     76 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 678
0.00/0.02	o 678
0.00/0.02	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       150 |     198       25     2520 |     5000      150     76 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 626
0.00/0.02	o 626
0.00/0.02	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       150 |     198       26     2648 |     5000      150     76 |  0.000 % |
0.00/0.03	c |       251 |     198       26     2648 |     5500      251     74 |  0.003 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 456
0.00/0.03	o 456
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       251 |     198       27     2776 |     5000      251     74 |  0.003 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 427
0.00/0.03	o 427
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       273 |     198       28     2904 |     5000      273     73 |  0.003 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 383
0.00/0.03	o 383
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 179.966 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       304 |     198       29     3032 |     5000      304     71 |  0.003 % |
0.00/0.05	c |       404 |     198       29     3032 |     5500      404     70 |  0.003 % |
0.00/0.06	c |       555 |     198       29     3032 |     6050      555     71 |  0.003 % |
0.00/0.09	c |       780 |     198       29     3032 |     6655      780     72 |  0.003 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 374
0.09/0.12	o 374
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 179.88 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |      1031 |     198       30     3160 |     5000     1031     72 |  0.003 % |
0.09/0.14	c |      1132 |     198       30     3160 |     5500     1132     71 |  0.003 % |
0.09/0.16	c |      1282 |     198       30     3160 |     6050     1282     71 |  0.003 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 264
0.09/0.17	o 264
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 179.829 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |      1422 |     198       31     3288 |     5000     1422     70 |  0.003 % |
0.09/0.19	c |      1522 |     198       31     3288 |     5500     1522     69 |  0.003 % |
0.19/0.21	c |      1672 |     198       31     3288 |     6050     1672     67 |  0.003 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c New solution: 183
0.19/0.22	o 183
0.19/0.22	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 179.788 s
0.19/0.22	c ===============================================================================
0.19/0.22	c |      1742 |     198       32     3416 |     5000     1742     67 |  0.003 % |
0.19/0.23	c |      1844 |     198       32     3416 |     5500     1844     68 |  0.003 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 182
0.19/0.24	o 182
0.19/0.24	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 179.763 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |      1919 |     198       33     3544 |     5000     1919     68 |  0.003 % |
0.19/0.26	c |      2020 |     198       33     3544 |     5500     2020     68 |  0.003 % |
0.19/0.27	c |      2170 |     198       33     3544 |     6050     2170     68 |  0.003 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c New solution: 180
0.19/0.28	o 180
0.19/0.28	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 179.724 s
0.19/0.28	c ===============================================================================
0.19/0.28	c |      2210 |     198       34     3672 |     5000     2210     68 |  0.003 % |
0.19/0.29	c |      2310 |     198       34     3672 |     5500     2310     68 |  0.003 % |
0.29/0.32	c |      2460 |     198       34     3672 |     6050     2460     68 |  0.003 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 150
0.29/0.33	o 150
0.29/0.33	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 179.671 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |      2586 |     198       35     3800 |     5000     2586     68 |  0.003 % |
0.29/0.35	c |      2688 |     198       35     3800 |     5500     2688     67 |  0.003 % |
0.29/0.37	c |      2840 |     198       35     3800 |     6050     2840     67 |  0.003 % |
0.39/0.41	c |      3066 |     198       35     3800 |     6655     3066     66 |  0.003 % |
0.39/0.46	c |      3403 |     198       35     3800 |     7320     3403     66 |  0.003 % |
0.49/0.53	c |      3909 |     198       35     3800 |     8052     3909     65 |  0.003 % |
0.59/0.63	c |      4668 |     198       35     3800 |     8857     4668     64 |  0.003 % |
0.79/0.80	c |      5808 |     198       35     3800 |     9743     5808     63 |  0.003 % |
1.00/1.08	c |      7516 |     198       35     3800 |    10717     7516     61 |  0.003 % |
1.49/1.54	c |     10078 |     198       35     3800 |    11789    10078     61 |  0.003 % |
2.20/2.27	c |     13922 |     198       35     3800 |    12968     7987     59 |  0.003 % |
3.39/3.46	c |     19688 |     198       35     3800 |    14265     7242     58 |  0.003 % |
5.19/5.24	c |     28337 |     198       35     3800 |    15692     8732     59 |  0.003 % |
8.09/8.15	c |     41311 |     198       35     3800 |    17261    13824     59 |  0.003 % |
12.99/13.02	c |     60772 |     198       35     3800 |    18987    15956     60 |  0.003 % |
14.89/14.92	c ===============================================================================
14.89/14.92	c New solution: 120
14.89/14.92	o 120
14.89/14.92	c Elapsed CPU time: 14.7458 s	Remaining CPU time: 165.254 s
14.89/14.92	c ===============================================================================
14.89/14.92	c |     67977 |     198       36     3928 |     5000    13632     60 |  0.003 % |
14.99/15.02	c |     68077 |     182       36     3928 |     5500     3471     61 |  8.083 % |
14.99/15.04	c |     68228 |     182       36     3928 |     6050     3622     61 |  8.083 % |
14.99/15.08	c |     68453 |     182       36     3928 |     6655     3847     61 |  8.083 % |
15.09/15.11	c ===============================================================================
15.09/15.11	c New solution: 108
15.09/15.11	o 108
15.09/15.11	c Elapsed CPU time: 14.9367 s	Remaining CPU time: 165.063 s
15.09/15.11	c ===============================================================================
15.09/15.11	c |     68627 |     182       37     4056 |     5000     4021     61 |  8.083 % |
15.09/15.13	c |     68727 |     182       37     4056 |     5500     4121     61 |  8.083 % |
15.09/15.15	c |     68877 |     182       37     4056 |     6050     4271     61 |  8.083 % |
15.09/15.19	c |     69102 |     182       37     4056 |     6655     4496     61 |  8.083 % |
15.19/15.24	c |     69441 |     182       37     4056 |     7320     4835     61 |  8.083 % |
15.29/15.30	c ===============================================================================
15.29/15.30	c New solution: 80
15.29/15.30	o 80
15.29/15.30	c Elapsed CPU time: 15.1197 s	Remaining CPU time: 164.88 s
15.29/15.30	c ===============================================================================
15.29/15.30	c |     69744 |     182       38     4184 |     5000     5138     61 |  8.083 % |
15.29/15.32	c |     69845 |     182       38     4184 |     5500     2670     62 |  8.083 % |
15.29/15.35	c |     69995 |     182       38     4184 |     6050     2820     63 |  8.083 % |
15.29/15.38	c |     70221 |     182       38     4184 |     6655     3046     63 |  8.083 % |
15.39/15.44	c |     70558 |     182       38     4184 |     7320     3383     63 |  8.083 % |
15.49/15.52	c |     71064 |     182       38     4184 |     8052     3889     62 |  8.083 % |
15.58/15.64	c |     71823 |     182       38     4184 |     8857     4648     61 |  8.083 % |
15.79/15.80	c |     72962 |     182       38     4184 |     9743     5787     60 |  8.083 % |
15.99/16.07	c |     74670 |     182       38     4184 |    10717     7495     60 |  8.083 % |
16.39/16.48	c |     77232 |     182       38     4184 |    11789    10057     60 |  8.083 % |
17.18/17.21	c |     81077 |     182       38     4184 |    12968     7976     60 |  8.083 % |
18.28/18.37	c |     86843 |     182       38     4184 |    14265     7223     60 |  8.083 % |
20.09/20.17	c |     95495 |     182       38     4184 |    15692     8707     63 |  8.083 % |
23.09/23.14	c |    108470 |     182       38     4184 |    17261    13798     60 |  8.083 % |
27.88/27.95	c |    127932 |     182       38     4184 |    18987    15932     60 |  8.083 % |
35.38/35.49	c |    157124 |     182       38     4184 |    20886    16550     60 |  8.083 % |
47.27/47.36	c |    200914 |     182       38     4184 |    22974    18440     60 |  8.083 % |
66.16/66.28	c |    266598 |     182       38     4184 |    25272    11654     60 |  8.083 % |
94.86/94.99	c ===============================================================================
94.86/94.99	c New solution: 69
94.86/94.99	o 69
94.86/94.99	c Elapsed CPU time: 93.9357 s	Remaining CPU time: 86.0643 s
94.86/94.99	c ===============================================================================
94.86/94.99	c |    357134 |     182       39     4312 |     5000    17648     60 |  8.083 % |
94.96/95.08	c ===============================================================================
94.96/95.08	c New solution: 67
94.96/95.08	o 67
94.96/95.08	c Elapsed CPU time: 94.0227 s	Remaining CPU time: 85.9773 s
94.96/95.08	c ===============================================================================
94.96/95.08	c |    357173 |     182       40     4440 |     5000     4451     60 |  8.083 % |
95.06/95.10	c |    357274 |     182       40     4440 |     5500     4552     60 |  8.083 % |
95.06/95.13	c |    357425 |     182       40     4440 |     6050     4703     59 |  8.083 % |
95.06/95.18	c |    357650 |     182       40     4440 |     6655     4928     60 |  8.083 % |
95.16/95.24	c |    357987 |     182       40     4440 |     7320     5265     60 |  8.083 % |
95.26/95.34	c |    358493 |     182       40     4440 |     8052     5771     60 |  8.083 % |
95.36/95.50	c |    359252 |     182       40     4440 |     8857     6530     60 |  8.083 % |
95.66/95.74	c |    360391 |     182       40     4440 |     9743     7669     60 |  8.083 % |
96.06/96.11	c |    362101 |     182       40     4440 |    10717     9379     60 |  8.083 % |
96.67/96.70	c |    364663 |     182       40     4440 |    11789     6550     60 |  8.083 % |
97.36/97.41	c ===============================================================================
97.36/97.41	c New solution: 62
97.36/97.41	o 62
97.36/97.41	c Elapsed CPU time: 96.3204 s	Remaining CPU time: 83.6796 s
97.36/97.41	c ===============================================================================
97.36/97.41	c |    368014 |     182       41     4568 |     5000     9901     60 |  8.083 % |
97.36/97.47	c |    368117 |     166       41     4568 |     5500     4967     60 | 16.164 % |
97.36/97.49	c |    368267 |     166       41     4568 |     6050     5117     61 | 16.164 % |
97.45/97.55	c |    368492 |     166       41     4568 |     6655     5342     61 | 16.164 % |
97.56/97.62	c |    368829 |     166       41     4568 |     7320     5679     61 | 16.164 % |
97.66/97.72	c |    369335 |     166       41     4568 |     8052     6185     62 | 16.164 % |
97.76/97.88	c |    370094 |     166       41     4568 |     8857     6944     62 | 16.164 % |
98.06/98.13	c |    371233 |     166       41     4568 |     9743     8083     63 | 16.164 % |
98.46/98.52	c |    372941 |     166       41     4568 |    10717     9791     63 | 16.164 % |
99.06/99.13	c |    375503 |     166       41     4568 |    11789     6946     66 | 16.164 % |
99.97/100.00	c |    379347 |     166       41     4568 |    12968    10790     66 | 16.164 % |
101.26/101.34	c |    385113 |     166       41     4568 |    14265    10028     70 | 16.164 % |
103.36/103.45	c |    393762 |     166       41     4568 |    15692    11497     70 | 16.164 % |
106.86/106.90	c |    406736 |     166       41     4568 |    17261     8698     69 | 16.164 % |
111.96/112.07	c |    426199 |     166       41     4568 |    18987    10824     73 | 16.164 % |
120.05/120.19	c |    455391 |     166       41     4568 |    20886    11424     66 | 16.164 % |
133.45/133.53	c |    499181 |     166       41     4568 |    22974    13284     67 | 16.164 % |
154.85/154.91	c |    564865 |     166       41     4568 |    25272    17663     67 | 16.164 % |
158.14/158.21	c ===============================================================================
158.14/158.21	c New solution: 53
158.14/158.21	o 53
158.14/158.21	c Elapsed CPU time: 156.532 s	Remaining CPU time: 23.4678 s
158.14/158.21	c ===============================================================================
158.14/158.21	c |    573774 |     166       42     4696 |     5000    12054     67 | 16.164 % |
158.14/158.28	c |    573875 |     166       42     4696 |     5500     3115     67 | 16.164 % |
158.24/158.31	c |    574025 |     166       42     4696 |     6050     3265     66 | 16.164 % |
158.24/158.35	c |    574250 |     166       42     4696 |     6655     3490     66 | 16.164 % |
158.34/158.42	c |    574587 |     166       42     4696 |     7320     3827     66 | 16.164 % |
158.44/158.51	c |    575093 |     166       42     4696 |     8052     4333     66 | 16.164 % |
158.54/158.66	c |    575852 |     166       42     4696 |     8857     5092     66 | 16.164 % |
158.74/158.87	c |    576991 |     166       42     4696 |     9743     6231     66 | 16.164 % |
159.14/159.22	c |    578699 |     166       42     4696 |    10717     7939     65 | 16.164 % |
159.64/159.76	c |    581261 |     166       42     4696 |    11789    10501     65 | 16.164 % |
160.44/160.59	c |    585105 |     166       42     4696 |    12968     8406     64 | 16.164 % |
161.74/161.86	c |    590871 |     166       42     4696 |    14265     7645     64 | 16.164 % |
163.84/163.98	c |    599520 |     166       42     4696 |    15692     9118     64 | 16.164 % |
167.05/167.16	c |    612495 |     166       42     4696 |    17261    14208     63 | 16.164 % |
172.23/172.31	c |    631956 |     166       42     4696 |    18987    16325     64 | 16.164 % |
180.04/180.15	c |    661148 |     166       42     4696 |    20886    16915     64 | 16.164 % |
181.84/181.92	c There are 32 assigned variables. 32 in cost function.
182.33/182.49	c ============================[ Search Statistics ]==============================
182.33/182.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.33/182.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.33/182.49	c ===============================================================================
182.33/182.49	c |         0 |      70      169     1304 |     5000        0    nan |  0.000 % |
182.44/182.51	c |       100 |      70      169     1304 |     5500      100     78 | 64.649 % |
182.44/182.54	c |       251 |      70      169     1304 |     6050      251     71 | 64.649 % |
182.44/182.58	c |       476 |      70      169     1304 |     6655      476     68 | 64.649 % |
182.54/182.66	c |       814 |      70      169     1304 |     7320      814     67 | 64.649 % |
182.63/182.76	c |      1320 |      70      169     1304 |     8052     1320     70 | 64.649 % |
182.73/182.88	c |      2079 |      70      169     1304 |     8857     2079     73 | 64.649 % |
182.94/183.07	c |      3218 |      70      169     1304 |     9743     3218     74 | 64.649 % |
183.24/183.39	c |      4926 |      70      169     1304 |    10717     4926     75 | 64.649 % |
183.84/183.90	c |      7488 |      70      169     1304 |    11789     7488     76 | 64.649 % |
184.74/184.87	c |     11333 |      70      169     1304 |    12968    11333     78 | 64.649 % |
186.23/186.39	c |     17099 |      70      169     1304 |    14265    10527     81 | 64.649 % |
188.63/188.74	c |     25749 |      70      169     1304 |    15692    11953     84 | 64.649 % |
192.54/192.60	c |     38724 |      70      169     1304 |    17261     9049     81 | 64.649 % |
197.83/197.99	c |     58187 |      70      169     1304 |    18987    11082     79 | 64.649 % |
206.83/206.94	c |     87381 |      70      169     1304 |    20886    11520     82 | 64.649 % |
220.72/220.81	c |    131171 |      70      169     1304 |    22974    13187     82 | 64.649 % |
243.81/243.99	c |    196855 |      70      169     1304 |    25272    16863     81 | 64.649 % |
279.81/279.98	c |    295381 |      70      169     1304 |    27799    13142     82 | 64.649 % |
342.09/342.29	c |    443170 |      70      169     1304 |    30579    24622     84 | 64.649 % |
436.48/436.67	c |    664853 |      70      169     1304 |    33637    29327     82 | 64.649 % |
593.93/594.19	c |    997378 |      70      169     1304 |    37001    21600     84 | 64.649 % |
861.55/861.84	c |   1496166 |      70      169     1304 |    40701    27247     83 | 64.649 % |
1285.13/1285.58	c |   2244348 |      70      169     1304 |    44771    36380     85 | 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-2656062-1276600978/watcher-2656062-1276600978 -o /tmp/evaluation-result-2656062-1276600978/solver-2656062-1276600978 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656062-1276600978.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.74 2.03 1.68 3/105 11688
/proc/meminfo: memFree=1784924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=2576 CPUtime=0
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 291 0 0 0 0 0 0 0 22 0 1 0 1390961 2637824 206 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 644 206 146 303 0 339 0

[startup+0.0972561 s]
/proc/loadavg: 1.74 2.03 1.68 3/105 11688
/proc/meminfo: memFree=1784924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=2968 CPUtime=0.09
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 381 0 0 0 9 0 0 0 18 0 1 0 1390961 3039232 296 1992294400 134512640 135751879 4292459248 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 742 296 147 303 0 437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2968

[startup+0.101257 s]
/proc/loadavg: 1.74 2.03 1.68 3/105 11688
/proc/meminfo: memFree=1784924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=2968 CPUtime=0.09
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 385 0 0 0 9 0 0 0 18 0 1 0 1390961 3039232 300 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 742 300 147 303 0 437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2968

[startup+0.301281 s]
/proc/loadavg: 1.74 2.03 1.68 3/105 11688
/proc/meminfo: memFree=1784924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=3496 CPUtime=0.29
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 535 0 0 0 29 0 0 0 18 0 1 0 1390961 3579904 450 1992294400 134512640 135751879 4292459248 18446744073709551615 134606255 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 874 450 147 303 0 569 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3496

[startup+0.701329 s]
/proc/loadavg: 1.74 2.03 1.68 3/105 11688
/proc/meminfo: memFree=1784924/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=4540 CPUtime=0.69
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 780 0 0 0 68 1 0 0 18 0 1 0 1390961 4648960 695 1992294400 134512640 135751879 4292459248 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 1135 695 147 303 0 830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4540

[startup+1.50142 s]
/proc/loadavg: 1.68 2.01 1.67 2/106 11689
/proc/meminfo: memFree=1782188/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=6160 CPUtime=1.49
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 1197 0 0 0 147 2 0 0 19 0 1 0 1390961 6307840 1112 1992294400 134512640 135751879 4292459248 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 1540 1112 147 303 0 1235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6160

[startup+3.10062 s]
/proc/loadavg: 1.68 2.01 1.67 2/106 11689
/proc/meminfo: memFree=1779708/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=9004 CPUtime=3.09
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 1894 0 0 0 305 4 0 0 24 0 1 0 1390961 9220096 1809 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 2251 1809 148 303 0 1946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9004

[startup+6.301 s]
/proc/loadavg: 1.68 2.01 1.67 2/106 11689
/proc/meminfo: memFree=1774128/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=14232 CPUtime=6.29
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 3204 0 0 0 622 7 0 0 25 0 1 0 1390961 14573568 3119 1992294400 134512640 135751879 4292459248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 3558 3119 148 303 0 3253 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14232

[startup+12.7008 s]
/proc/loadavg: 1.58 1.98 1.66 2/106 11689
/proc/meminfo: memFree=1764456/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=23196 CPUtime=12.69
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 5454 0 0 0 1255 14 0 0 25 0 1 0 1390961 23752704 5369 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 5799 5369 148 303 0 5494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23196

[startup+25.5013 s]
/proc/loadavg: 1.49 1.95 1.66 2/106 11689
/proc/meminfo: memFree=1744120/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=43096 CPUtime=25.49
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 10416 0 0 0 2518 31 0 0 25 0 1 0 1390961 44130304 10331 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 10774 10331 148 303 0 10469 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43096

[startup+51.1014 s]
/proc/loadavg: 1.29 1.85 1.63 2/106 11689
/proc/meminfo: memFree=1712128/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=75516 CPUtime=51.08
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 18507 0 0 0 5050 58 0 0 25 0 1 0 1390961 77328384 18422 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 18879 18422 148 303 0 18574 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75516

[startup+102.309 s]
/proc/loadavg: 1.13 1.72 1.60 2/106 11691
/proc/meminfo: memFree=1651616/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=135016 CPUtime=102.26
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 33397 0 0 0 10116 110 0 0 25 0 1 0 1390961 138256384 33312 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 33754 33312 148 303 0 33449 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135016

[startup+162.302 s]
/proc/loadavg: 1.04 1.59 1.56 2/106 11693
/proc/meminfo: memFree=1580688/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=206724 CPUtime=162.24
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 51290 0 0 0 16056 168 0 0 25 0 1 0 1390961 211685376 51205 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 51681 51205 148 303 0 51376 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 206724

[startup+222.301 s]
/proc/loadavg: 1.01 1.48 1.52 2/106 11695
/proc/meminfo: memFree=1517572/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=268928 CPUtime=222.22
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 66863 0 0 0 21998 224 0 0 25 0 1 0 1390961 275382272 66778 1992294400 134512640 135751879 4292459248 18446744073709551615 134616347 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 67232 66778 150 303 0 66927 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 268928

[startup+282.301 s]
/proc/loadavg: 1.00 1.39 1.49 2/106 11695
/proc/meminfo: memFree=1460532/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=326296 CPUtime=282.21
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 81209 0 0 0 27944 277 0 0 25 0 1 0 1390961 334127104 81124 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 81574 81124 150 303 0 81269 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 326296

[startup+342.301 s]
/proc/loadavg: 1.04 1.33 1.46 2/106 11697
/proc/meminfo: memFree=1410064/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=376092 CPUtime=342.19
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 93636 0 0 0 33897 322 0 0 25 0 1 0 1390961 385118208 93551 1992294400 134512640 135751879 4292459248 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 94023 93551 150 303 0 93718 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 376092

[startup+402.301 s]
/proc/loadavg: 1.01 1.27 1.43 2/106 11699
/proc/meminfo: memFree=1362696/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=423844 CPUtime=402.17
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 105562 0 0 0 39848 369 0 0 25 0 1 0 1390961 434016256 105477 1992294400 134512640 135751879 4292459248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 105961 105477 150 303 0 105656 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 423844

[startup+462.301 s]
/proc/loadavg: 1.12 1.25 1.41 2/106 11701
/proc/meminfo: memFree=1317064/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=469120 CPUtime=462.16
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 116877 0 0 0 45803 413 0 0 25 0 1 0 1390961 480378880 116792 1992294400 134512640 135751879 4292459248 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 117280 116792 150 303 0 116975 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 469120

[startup+522.302 s]
/proc/loadavg: 1.04 1.20 1.38 2/106 11703
/proc/meminfo: memFree=1272052/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=514560 CPUtime=522.14
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 128241 0 0 0 51758 456 0 0 25 0 1 0 1390961 526909440 128156 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 128640 128156 150 303 0 128335 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 514560

[startup+582.301 s]
/proc/loadavg: 1.09 1.18 1.36 2/106 11706
/proc/meminfo: memFree=1220220/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=565356 CPUtime=582.13
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 140928 0 0 0 57717 496 0 0 25 0 1 0 1390961 578924544 140843 1992294400 134512640 135751879 4292459248 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 141339 140843 150 303 0 141034 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 565356

[startup+642.301 s]
/proc/loadavg: 1.03 1.14 1.33 2/106 11708
/proc/meminfo: memFree=1173348/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=611792 CPUtime=642.12
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 152543 0 0 0 63677 535 0 0 25 0 1 0 1390961 626475008 152458 1992294400 134512640 135751879 4292459248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 152948 152458 150 303 0 152643 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 611792

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.06 1.25 2/106 11714
/proc/meminfo: memFree=993548/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=791468 CPUtime=882.05
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 197434 0 0 0 87517 688 0 0 25 0 1 0 1390961 810463232 197349 1992294400 134512640 135751879 4292459248 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 197867 197349 150 303 0 197562 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 791468

[startup+942.301 s]
/proc/loadavg: 1.00 1.04 1.23 2/106 11716
/proc/meminfo: memFree=949652/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=835872 CPUtime=942.02
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 208542 0 0 0 93475 727 0 0 25 0 1 0 1390961 855932928 208457 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 208968 208457 150 303 0 208663 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 835872

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.21 2/106 11718
/proc/meminfo: memFree=908236/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=876788 CPUtime=1002.01
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 218753 0 0 0 99437 764 0 0 25 0 1 0 1390961 897830912 218668 1992294400 134512640 135751879 4292459248 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 219197 218668 150 303 0 218892 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 876788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/106 11720
/proc/meminfo: memFree=863472/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=921952 CPUtime=1062
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 230034 0 0 0 105395 805 0 0 25 0 1 0 1390961 944078848 229949 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 230488 229949 150 303 0 230183 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 921952

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/106 11722
/proc/meminfo: memFree=821188/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=963960 CPUtime=1121.98
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 240535 0 0 0 111356 842 0 0 25 0 1 0 1390961 987095040 240450 1992294400 134512640 135751879 4292459248 18446744073709551615 134604709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 240990 240450 150 303 0 240685 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 963960

[startup+1182.3 s]
/proc/loadavg: 1.04 1.03 1.17 2/106 11722
/proc/meminfo: memFree=779524/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1005436 CPUtime=1181.96
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 250917 0 0 0 117318 878 0 0 25 0 1 0 1390961 1029566464 250832 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 251359 250832 150 303 0 251054 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1005436

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.16 2/106 11724
/proc/meminfo: memFree=738108/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1046884 CPUtime=1241.94
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 261262 0 0 0 123278 916 0 0 25 0 1 0 1390961 1072009216 261177 1992294400 134512640 135751879 4292459248 18446744073709551615 134604733 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 261721 261177 150 303 0 261416 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1046884

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.15 2/106 11726
/proc/meminfo: memFree=693096/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1091036 CPUtime=1301.93
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 272306 0 0 0 129240 953 0 0 25 0 1 0 1390961 1117220864 272221 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 272759 272221 150 303 0 272454 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1091036

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/106 11728
/proc/meminfo: memFree=655400/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1129088 CPUtime=1361.91
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 281807 0 0 0 135205 986 0 0 25 0 1 0 1390961 1156186112 281722 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 282272 281722 150 303 0 281967 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1129088

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 11730
/proc/meminfo: memFree=614480/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1169568 CPUtime=1421.9
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 291938 0 0 0 141170 1020 0 0 25 0 1 0 1390961 1197637632 291853 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 292392 291853 150 303 0 292087 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1169568

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 11730
/proc/meminfo: memFree=573560/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1210448 CPUtime=1481.88
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 302158 0 0 0 147131 1057 0 0 25 0 1 0 1390961 1239498752 302073 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 302612 302073 150 303 0 302307 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1210448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 11732
/proc/meminfo: memFree=531400/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1252740 CPUtime=1541.86
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 312701 0 0 0 153097 1089 0 0 25 0 1 0 1390961 1282805760 312616 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 313185 312616 150 303 0 312880 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1252740

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 11734
/proc/meminfo: memFree=491720/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1292828 CPUtime=1601.85
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 322728 0 0 0 159064 1121 0 0 25 0 1 0 1390961 1323855872 322643 1992294400 134512640 135751879 4292459248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 323207 322643 150 303 0 322902 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1292828

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 11736
/proc/meminfo: memFree=450428/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1333340 CPUtime=1661.83
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 332852 0 0 0 165027 1156 0 0 25 0 1 0 1390961 1365340160 332767 1992294400 134512640 135751879 4292459248 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 333335 332767 150 303 0 333030 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1333340

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 11738
/proc/meminfo: memFree=408268/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1375816 CPUtime=1721.82
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 343478 0 0 0 170989 1193 0 0 25 0 1 0 1390961 1408835584 343393 1992294400 134512640 135751879 4292459248 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 343954 343393 150 303 0 343649 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1375816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 11738
/proc/meminfo: memFree=366480/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1417068 CPUtime=1781.8
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 353772 0 0 0 176951 1229 0 0 25 0 1 0 1390961 1451077632 353687 1992294400 134512640 135751879 4292459248 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 354267 353687 150 303 0 353962 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1417068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 11740
/proc/meminfo: memFree=353460/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=1429772 CPUtime=1800.1
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4202496 356958 0 0 0 178769 1241 0 0 25 0 1 0 1390961 1464086528 356873 1992294400 134512640 135751879 4292459248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11688/statm: 357443 356873 150 303 0 357138 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1429772

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 11740
/proc/meminfo: memFree=353460/2059040 swapFree=4192956/4192956
[pid=11688] ppid=11686 vsize=0 CPUtime=1800.2
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11663 0 -1 4203524 356959 0 0 0 178769 1251 0 0 25 0 1 0 1390961 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/11688/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.24
CPU user time (s): 1787.7
CPU system time (s): 12.5391
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1429772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.7
system time used= 12.5391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356959
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= 6
involuntary context switches= 1540

runsolver used 3.03554 second user time and 8.45671 second system time

The end

Launcher Data 

Begin job on node080 at 2010-06-15 13:22:58
IDJOB=2656062
IDBENCH=2904
IDSOLVER=1161
FILE ID=node080/2656062-1276600978
PBS_JOBID= 11172247
Free space on /tmp= 62592 MiB

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

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=1933414381

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1785452 kB
Buffers:          7628 kB
Cached:         131100 kB
SwapCached:          0 kB
Active:          73684 kB
Inactive:       124876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1785452 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2764 kB
Writeback:           0 kB
AnonPages:       59808 kB
Mapped:          15332 kB
Slab:            53336 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182184 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= 62588 MiB
End job on node080 at 2010-06-15 13:53:01