Trace number 2680705

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.16 1800.84

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680705-1277457988.opb.
0.00/0.00	c Instance file HOME/instance-2680705-1277457988.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.007998 s	Remaining CPU time: 179.992 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.009998 s	Remaining CPU time: 179.99 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.010998 s	Remaining CPU time: 179.989 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.011998 s	Remaining CPU time: 179.988 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.011998 s	Remaining CPU time: 179.988 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.013997 s	Remaining CPU time: 179.986 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.019996 s	Remaining CPU time: 179.98 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.020996 s	Remaining CPU time: 179.979 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.021996 s	Remaining CPU time: 179.978 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.032994 s	Remaining CPU time: 179.967 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.035994 s	Remaining CPU time: 179.964 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       273 |     198       28     2904 |     5000      273     73 |  0.003 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c New solution: 383
0.00/0.04	o 383
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 179.959 s
0.00/0.04	c ===============================================================================
0.00/0.04	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.06/0.07	c |       555 |     198       29     3032 |     6050      555     71 |  0.003 % |
0.06/0.10	c |       780 |     198       29     3032 |     6655      780     72 |  0.003 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 374
0.09/0.13	o 374
0.09/0.13	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 179.867 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |      1031 |     198       30     3160 |     5000     1031     72 |  0.003 % |
0.09/0.15	c |      1132 |     198       30     3160 |     5500     1132     71 |  0.003 % |
0.09/0.17	c |      1282 |     198       30     3160 |     6050     1282     71 |  0.003 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 264
0.09/0.19	o 264
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 179.812 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |      1422 |     198       31     3288 |     5000     1422     70 |  0.003 % |
0.19/0.20	c |      1522 |     198       31     3288 |     5500     1522     69 |  0.003 % |
0.19/0.22	c |      1672 |     198       31     3288 |     6050     1672     67 |  0.003 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 183
0.19/0.23	o 183
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 179.77 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |      1742 |     198       32     3416 |     5000     1742     67 |  0.003 % |
0.19/0.25	c |      1844 |     198       32     3416 |     5500     1844     68 |  0.003 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 182
0.19/0.26	o 182
0.19/0.26	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 179.742 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |      1919 |     198       33     3544 |     5000     1919     68 |  0.003 % |
0.19/0.28	c |      2020 |     198       33     3544 |     5500     2020     68 |  0.003 % |
0.19/0.30	c |      2170 |     198       33     3544 |     6050     2170     68 |  0.003 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 180
0.29/0.30	o 180
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 179.701 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |      2210 |     198       34     3672 |     5000     2210     68 |  0.003 % |
0.29/0.32	c |      2310 |     198       34     3672 |     5500     2310     68 |  0.003 % |
0.29/0.34	c |      2460 |     198       34     3672 |     6050     2460     68 |  0.003 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 150
0.29/0.36	o 150
0.29/0.36	c Elapsed CPU time: 0.356945 s	Remaining CPU time: 179.643 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |      2586 |     198       35     3800 |     5000     2586     68 |  0.003 % |
0.29/0.38	c |      2688 |     198       35     3800 |     5500     2688     67 |  0.003 % |
0.39/0.40	c |      2840 |     198       35     3800 |     6050     2840     67 |  0.003 % |
0.39/0.44	c |      3066 |     198       35     3800 |     6655     3066     66 |  0.003 % |
0.39/0.49	c |      3403 |     198       35     3800 |     7320     3403     66 |  0.003 % |
0.49/0.57	c |      3909 |     198       35     3800 |     8052     3909     65 |  0.003 % |
0.59/0.68	c |      4668 |     198       35     3800 |     8857     4668     64 |  0.003 % |
0.79/0.86	c |      5808 |     198       35     3800 |     9743     5808     63 |  0.003 % |
1.09/1.16	c |      7516 |     198       35     3800 |    10717     7516     61 |  0.003 % |
1.59/1.65	c |     10078 |     198       35     3800 |    11789    10078     61 |  0.003 % |
2.39/2.42	c |     13922 |     198       35     3800 |    12968     7987     59 |  0.003 % |
3.59/3.67	c |     19688 |     198       35     3800 |    14265     7242     58 |  0.003 % |
5.50/5.56	c |     28337 |     198       35     3800 |    15692     8732     59 |  0.003 % |
8.59/8.66	c |     41311 |     198       35     3800 |    17261    13824     59 |  0.003 % |
13.79/13.82	c |     60772 |     198       35     3800 |    18987    15956     60 |  0.003 % |
15.79/15.82	c ===============================================================================
15.79/15.82	c New solution: 120
15.79/15.82	o 120
15.79/15.82	c Elapsed CPU time: 15.6196 s	Remaining CPU time: 164.38 s
15.79/15.82	c ===============================================================================
15.79/15.82	c |     67977 |     198       36     3928 |     5000    13632     60 |  0.003 % |
15.88/15.90	c |     68077 |     182       36     3928 |     5500     3471     61 |  8.083 % |
15.88/15.92	c |     68228 |     182       36     3928 |     6050     3622     61 |  8.083 % |
15.88/15.96	c |     68453 |     182       36     3928 |     6655     3847     61 |  8.083 % |
15.98/16.00	c ===============================================================================
15.98/16.00	c New solution: 108
15.98/16.00	o 108
15.98/16.00	c Elapsed CPU time: 15.7996 s	Remaining CPU time: 164.2 s
15.98/16.00	c ===============================================================================
15.98/16.00	c |     68627 |     182       37     4056 |     5000     4021     61 |  8.083 % |
15.98/16.02	c |     68727 |     182       37     4056 |     5500     4121     61 |  8.083 % |
15.98/16.04	c |     68877 |     182       37     4056 |     6050     4271     61 |  8.083 % |
15.98/16.08	c |     69102 |     182       37     4056 |     6655     4496     61 |  8.083 % |
16.08/16.14	c |     69441 |     182       37     4056 |     7320     4835     61 |  8.083 % |
16.18/16.20	c ===============================================================================
16.18/16.20	c New solution: 80
16.18/16.20	o 80
16.18/16.20	c Elapsed CPU time: 15.9996 s	Remaining CPU time: 164 s
16.18/16.20	c ===============================================================================
16.18/16.20	c |     69744 |     182       38     4184 |     5000     5138     61 |  8.083 % |
16.18/16.22	c |     69845 |     182       38     4184 |     5500     2670     62 |  8.083 % |
16.18/16.25	c |     69995 |     182       38     4184 |     6050     2820     63 |  8.083 % |
16.18/16.29	c |     70221 |     182       38     4184 |     6655     3046     63 |  8.083 % |
16.29/16.35	c |     70558 |     182       38     4184 |     7320     3383     63 |  8.083 % |
16.40/16.44	c |     71064 |     182       38     4184 |     8052     3889     62 |  8.083 % |
16.50/16.56	c |     71823 |     182       38     4184 |     8857     4648     61 |  8.083 % |
16.69/16.74	c |     72962 |     182       38     4184 |     9743     5787     60 |  8.083 % |
16.99/17.03	c |     74670 |     182       38     4184 |    10717     7495     60 |  8.083 % |
17.38/17.47	c |     77232 |     182       38     4184 |    11789    10057     60 |  8.083 % |
18.18/18.25	c |     81077 |     182       38     4184 |    12968     7976     60 |  8.083 % |
19.39/19.49	c |     86843 |     182       38     4184 |    14265     7223     60 |  8.083 % |
21.39/21.40	c |     95495 |     182       38     4184 |    15692     8707     63 |  8.083 % |
24.49/24.56	c |    108470 |     182       38     4184 |    17261    13798     60 |  8.083 % |
29.58/29.62	c |    127932 |     182       38     4184 |    18987    15932     60 |  8.083 % |
37.47/37.57	c |    157124 |     182       38     4184 |    20886    16550     60 |  8.083 % |
50.07/50.14	c |    200914 |     182       38     4184 |    22974    18440     60 |  8.083 % |
69.86/69.96	c |    266598 |     182       38     4184 |    25272    11654     60 |  8.083 % |
100.15/100.27	c ===============================================================================
100.15/100.27	c New solution: 69
100.15/100.27	o 69
100.15/100.27	c Elapsed CPU time: 99.1069 s	Remaining CPU time: 80.8931 s
100.15/100.27	c ===============================================================================
100.15/100.27	c |    357134 |     182       39     4312 |     5000    17648     60 |  8.083 % |
100.25/100.34	c ===============================================================================
100.25/100.34	c New solution: 67
100.25/100.34	o 67
100.25/100.34	c Elapsed CPU time: 99.1719 s	Remaining CPU time: 80.8281 s
100.25/100.34	c ===============================================================================
100.25/100.34	c |    357173 |     182       40     4440 |     5000     4451     60 |  8.083 % |
100.25/100.36	c |    357274 |     182       40     4440 |     5500     4552     60 |  8.083 % |
100.25/100.39	c |    357425 |     182       40     4440 |     6050     4703     59 |  8.083 % |
100.34/100.44	c |    357650 |     182       40     4440 |     6655     4928     60 |  8.083 % |
100.44/100.51	c |    357987 |     182       40     4440 |     7320     5265     60 |  8.083 % |
100.54/100.62	c |    358493 |     182       40     4440 |     8052     5771     60 |  8.083 % |
100.65/100.78	c |    359252 |     182       40     4440 |     8857     6530     60 |  8.083 % |
100.95/101.05	c |    360391 |     182       40     4440 |     9743     7669     60 |  8.083 % |
101.35/101.45	c |    362101 |     182       40     4440 |    10717     9379     60 |  8.083 % |
101.95/102.08	c |    364663 |     182       40     4440 |    11789     6550     60 |  8.083 % |
102.75/102.84	c ===============================================================================
102.75/102.84	c New solution: 62
102.75/102.84	o 62
102.75/102.84	c Elapsed CPU time: 101.639 s	Remaining CPU time: 78.3615 s
102.75/102.84	c ===============================================================================
102.75/102.84	c |    368014 |     182       41     4568 |     5000     9901     60 |  8.083 % |
102.85/102.90	c |    368117 |     166       41     4568 |     5500     4967     60 | 16.164 % |
102.85/102.92	c |    368267 |     166       41     4568 |     6050     5117     61 | 16.164 % |
102.85/102.98	c |    368492 |     166       41     4568 |     6655     5342     61 | 16.164 % |
102.95/103.06	c |    368829 |     166       41     4568 |     7320     5679     61 | 16.164 % |
103.05/103.17	c |    369335 |     166       41     4568 |     8052     6185     62 | 16.164 % |
103.25/103.34	c |    370094 |     166       41     4568 |     8857     6944     62 | 16.164 % |
103.55/103.61	c |    371233 |     166       41     4568 |     9743     8083     63 | 16.164 % |
103.94/104.02	c |    372941 |     166       41     4568 |    10717     9791     63 | 16.164 % |
104.55/104.67	c |    375503 |     166       41     4568 |    11789     6946     66 | 16.164 % |
105.45/105.60	c |    379347 |     166       41     4568 |    12968    10790     66 | 16.164 % |
106.94/107.03	c |    385113 |     166       41     4568 |    14265    10028     70 | 16.164 % |
109.14/109.28	c |    393762 |     166       41     4568 |    15692    11497     70 | 16.164 % |
112.84/112.94	c |    406736 |     166       41     4568 |    17261     8698     69 | 16.164 % |
118.34/118.44	c |    426199 |     166       41     4568 |    18987    10824     73 | 16.164 % |
126.94/127.05	c |    455391 |     166       41     4568 |    20886    11424     66 | 16.164 % |
141.13/141.25	c |    499181 |     166       41     4568 |    22974    13284     67 | 16.164 % |
163.93/164.01	c |    564865 |     166       41     4568 |    25272    17663     67 | 16.164 % |
167.42/167.51	c ===============================================================================
167.42/167.51	c New solution: 53
167.42/167.51	o 53
167.42/167.51	c Elapsed CPU time: 165.666 s	Remaining CPU time: 14.3342 s
167.42/167.51	c ===============================================================================
167.42/167.51	c |    573774 |     166       42     4696 |     5000    12054     67 | 16.164 % |
167.42/167.56	c |    573875 |     166       42     4696 |     5500     3115     67 | 16.164 % |
167.53/167.60	c |    574025 |     166       42     4696 |     6050     3265     66 | 16.164 % |
167.53/167.64	c |    574250 |     166       42     4696 |     6655     3490     66 | 16.164 % |
167.62/167.72	c |    574587 |     166       42     4696 |     7320     3827     66 | 16.164 % |
167.72/167.82	c |    575093 |     166       42     4696 |     8052     4333     66 | 16.164 % |
167.82/167.97	c |    575852 |     166       42     4696 |     8857     5092     66 | 16.164 % |
168.13/168.20	c |    576991 |     166       42     4696 |     9743     6231     66 | 16.164 % |
168.42/168.57	c |    578699 |     166       42     4696 |    10717     7939     65 | 16.164 % |
169.03/169.14	c |    581261 |     166       42     4696 |    11789    10501     65 | 16.164 % |
169.92/170.03	c |    585105 |     166       42     4696 |    12968     8406     64 | 16.164 % |
171.22/171.36	c |    590871 |     166       42     4696 |    14265     7645     64 | 16.164 % |
173.42/173.57	c |    599520 |     166       42     4696 |    15692     9118     64 | 16.164 % |
176.82/177.00	c |    612495 |     166       42     4696 |    17261    14208     63 | 16.164 % |
181.92/182.03	c There are 32 assigned variables. 32 in cost function.
182.43/182.58	c ============================[ Search Statistics ]==============================
182.43/182.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.43/182.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.43/182.58	c ===============================================================================
182.43/182.58	c |         0 |      70      168     1304 |     5000        0    nan |  0.000 % |
182.53/182.61	c |       100 |      70      168     1304 |     5500      100     78 | 64.649 % |
182.53/182.63	c |       251 |      70      168     1304 |     6050      251     71 | 64.649 % |
182.53/182.68	c |       476 |      70      168     1304 |     6655      476     68 | 64.649 % |
182.62/182.76	c |       814 |      70      168     1304 |     7320      814     67 | 64.649 % |
182.72/182.86	c |      1320 |      70      168     1304 |     8052     1320     70 | 64.649 % |
182.82/182.99	c |      2079 |      70      168     1304 |     8857     2079     73 | 64.649 % |
183.02/183.19	c |      3218 |      70      168     1304 |     9743     3218     74 | 64.649 % |
183.42/183.54	c |      4926 |      70      168     1304 |    10717     4926     75 | 64.649 % |
183.92/184.08	c |      7488 |      70      168     1304 |    11789     7488     76 | 64.649 % |
185.02/185.13	c |     11333 |      70      168     1304 |    12968    11333     78 | 64.649 % |
186.61/186.75	c |     17099 |      70      168     1304 |    14265    10527     81 | 64.649 % |
189.12/189.27	c |     25749 |      70      168     1304 |    15692    11953     84 | 64.649 % |
193.21/193.38	c |     38724 |      70      168     1304 |    17261     9049     81 | 64.649 % |
198.92/199.09	c |     58187 |      70      168     1304 |    18987    11082     79 | 64.649 % |
208.61/208.73	c |     87381 |      70      168     1304 |    20886    11520     82 | 64.649 % |
223.40/223.59	c |    131171 |      70      168     1304 |    22974    13187     82 | 64.649 % |
248.10/248.29	c |    196855 |      70      168     1304 |    25272    16863     81 | 64.649 % |
286.18/286.33	c |    295381 |      70      168     1304 |    27799    13142     82 | 64.649 % |
352.76/352.98	c |    443170 |      70      168     1304 |    30579    24622     84 | 64.649 % |
452.42/452.70	c |    664853 |      70      168     1304 |    33637    29327     82 | 64.649 % |
617.86/618.10	c |    997378 |      70      168     1304 |    37001    21600     84 | 64.649 % |
897.26/897.66	c |   1496166 |      70      168     1304 |    40701    27247     83 | 64.649 % |
1338.78/1339.37	c |   2244348 |      70      168     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-2680705-1277457988/watcher-2680705-1277457988 -o /tmp/evaluation-result-2680705-1277457988/solver-2680705-1277457988 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680705-1277457988.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28539
/proc/meminfo: memFree=1807496/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=2568 CPUtime=0
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 286 0 0 0 0 0 0 0 17 0 1 0 87091101 2629632 201 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 642 201 143 303 0 337 0

[startup+0.07116 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28539
/proc/meminfo: memFree=1807496/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=2824 CPUtime=0.06
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 346 0 0 0 6 0 0 0 17 0 1 0 87091101 2891776 261 1992294400 134512640 135752675 4294911280 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 706 261 144 303 0 401 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2824

[startup+0.101167 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28539
/proc/meminfo: memFree=1807496/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=2956 CPUtime=0.09
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 374 0 0 0 9 0 0 0 17 0 1 0 87091101 3026944 289 1992294400 134512640 135752675 4294911280 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 739 289 144 303 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2956

[startup+0.301203 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28539
/proc/meminfo: memFree=1807496/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=3468 CPUtime=0.29
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 513 0 0 0 29 0 0 0 17 0 1 0 87091101 3551232 428 1992294400 134512640 135752675 4294911280 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 867 428 144 303 0 562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3468

[startup+0.701275 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28539
/proc/meminfo: memFree=1807496/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=4380 CPUtime=0.69
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 745 0 0 0 68 1 0 0 17 0 1 0 87091101 4485120 660 1992294400 134512640 135752675 4294911280 18446744073709551615 134638485 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 1095 660 144 303 0 790 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4380

[startup+1.50142 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28540
/proc/meminfo: memFree=1804760/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=5940 CPUtime=1.49
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 1143 0 0 0 147 2 0 0 18 0 1 0 87091101 6082560 1058 1992294400 134512640 135752675 4294911280 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 1485 1058 144 303 0 1180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5940

[startup+3.10071 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28540
/proc/meminfo: memFree=1802652/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=8560 CPUtime=3.09
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 1804 0 0 0 305 4 0 0 21 0 1 0 87091101 8765440 1719 1992294400 134512640 135752675 4294911280 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 2140 1719 145 303 0 1835 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8560

[startup+6.30129 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28540
/proc/meminfo: memFree=1797072/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=13660 CPUtime=6.29
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 3057 0 0 0 621 8 0 0 25 0 1 0 87091101 13987840 2972 1992294400 134512640 135752675 4294911280 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 3415 2972 145 303 0 3110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13660

[startup+12.7005 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28540
/proc/meminfo: memFree=1788144/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=22236 CPUtime=12.69
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 5222 0 0 0 1253 16 0 0 25 0 1 0 87091101 22769664 5137 1992294400 134512640 135752675 4294911280 18446744073709551615 134638097 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 5559 5137 145 303 0 5254 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22236

[startup+25.5008 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28542
/proc/meminfo: memFree=1768676/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=40996 CPUtime=25.48
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 9887 0 0 0 2517 31 0 0 25 0 1 0 87091101 41979904 9802 1992294400 134512640 135752675 4294911280 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 10249 9802 145 303 0 9944 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40996

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28542
/proc/meminfo: memFree=1737924/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=72008 CPUtime=51.06
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 17638 0 0 0 5044 62 0 0 25 0 1 0 87091101 73736192 17553 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 18002 17553 145 303 0 17697 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 72008

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28544
/proc/meminfo: memFree=1682372/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=126736 CPUtime=102.26
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 31315 0 0 0 10111 115 0 0 25 0 1 0 87091101 129777664 31230 1992294400 134512640 135752675 4294911280 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 31684 31230 145 303 0 31379 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 126736

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28544
/proc/meminfo: memFree=1614172/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=195308 CPUtime=162.23
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 48446 0 0 0 16049 174 0 0 25 0 1 0 87091101 199995392 48361 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 48827 48361 145 303 0 48522 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 195308

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28546
/proc/meminfo: memFree=1555520/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=253112 CPUtime=222.2
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 62924 0 0 0 21985 235 0 0 25 0 1 0 87091101 259186688 62839 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 63278 62839 146 303 0 62973 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 253112

[startup+282.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28548
/proc/meminfo: memFree=1501828/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=307460 CPUtime=282.18
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 76513 0 0 0 27932 286 0 0 25 0 1 0 87091101 314839040 76428 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 76865 76428 146 303 0 76560 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 307460

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28550
/proc/meminfo: memFree=1453096/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=355464 CPUtime=342.16
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 88490 0 0 0 33888 328 0 0 25 0 1 0 87091101 363995136 88405 1992294400 134512640 135752675 4294911280 18446744073709551615 134611724 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 88866 88405 146 303 0 88561 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 355464

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28555
/proc/meminfo: memFree=1407340/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=401096 CPUtime=402.13
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 99900 0 0 0 39844 369 0 0 25 0 1 0 87091101 410722304 99815 1992294400 134512640 135752675 4294911280 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 100274 99815 146 303 0 99969 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 401096

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28555
/proc/meminfo: memFree=1362328/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=445400 CPUtime=462.11
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 110966 0 0 0 45797 414 0 0 25 0 1 0 87091101 456089600 110881 1992294400 134512640 135752675 4294911280 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 111350 110881 146 303 0 111045 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 445400

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28557
/proc/meminfo: memFree=1320912/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=487248 CPUtime=522.09
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 121399 0 0 0 51753 456 0 0 25 0 1 0 87091101 498941952 121314 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 121812 121314 146 303 0 121507 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 487248

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28559
/proc/meminfo: memFree=1273296/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=534696 CPUtime=582.07
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 133278 0 0 0 57708 499 0 0 25 0 1 0 87091101 547528704 133193 1992294400 134512640 135752675 4294911280 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 133674 133193 146 303 0 133369 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 534696

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28561
/proc/meminfo: memFree=1225308/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=582068 CPUtime=642.05
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 145084 0 0 0 63666 539 0 0 25 0 1 0 87091101 596037632 144999 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 145517 144999 146 303 0 145212 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 582068

[startup+702.302 s]

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

[startup+882.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28567
/proc/meminfo: memFree=1052328/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=754824 CPUtime=881.95
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 188272 0 0 0 87504 691 0 0 25 0 1 0 87091101 772939776 188187 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 188706 188187 146 303 0 188401 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 754824

[startup+942.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28569
/proc/meminfo: memFree=1010788/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=796932 CPUtime=941.93
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 198791 0 0 0 93467 726 0 0 25 0 1 0 87091101 816058368 198706 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 199233 198706 146 303 0 198928 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 796932

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28571
/proc/meminfo: memFree=967884/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=839036 CPUtime=1001.91
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 209327 0 0 0 99430 761 0 0 25 0 1 0 87091101 859172864 209242 1992294400 134512640 135752675 4294911280 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 209759 209242 146 303 0 209454 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 839036

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28571
/proc/meminfo: memFree=928700/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=878684 CPUtime=1061.89
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 219228 0 0 0 105391 798 0 0 25 0 1 0 87091101 899772416 219143 1992294400 134512640 135752675 4294911280 18446744073709551615 135204597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 219671 219143 146 303 0 219366 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 878684

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28573
/proc/meminfo: memFree=884432/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=922388 CPUtime=1121.86
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 230158 0 0 0 111348 838 0 0 25 0 1 0 87091101 944525312 230073 1992294400 134512640 135752675 4294911280 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 230597 230073 146 303 0 230292 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 922388

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28575
/proc/meminfo: memFree=846364/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=960680 CPUtime=1181.84
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 239729 0 0 0 117311 873 0 0 25 0 1 0 87091101 983736320 239644 1992294400 134512640 135752675 4294911280 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 240170 239644 146 303 0 239865 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 960680

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28577
/proc/meminfo: memFree=805816/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1001228 CPUtime=1241.82
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 249852 0 0 0 123271 911 0 0 25 0 1 0 87091101 1025257472 249767 1992294400 134512640 135752675 4294911280 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 250307 249767 146 303 0 250002 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1001228

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28579
/proc/meminfo: memFree=763408/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1042936 CPUtime=1301.81
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 260285 0 0 0 129232 949 0 0 25 0 1 0 87091101 1067966464 260200 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 260734 260200 146 303 0 260429 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1042936

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28579
/proc/meminfo: memFree=723976/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1082704 CPUtime=1361.77
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 270198 0 0 0 135192 985 0 0 25 0 1 0 87091101 1108688896 270113 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 270676 270113 146 303 0 270371 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1082704

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28581
/proc/meminfo: memFree=686032/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1120224 CPUtime=1421.76
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 279603 0 0 0 141157 1019 0 0 25 0 1 0 87091101 1147109376 279518 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 280056 279518 146 303 0 279751 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1120224

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28583
/proc/meminfo: memFree=647096/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1159512 CPUtime=1481.73
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 289408 0 0 0 147118 1055 0 0 25 0 1 0 87091101 1187340288 289323 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 289878 289323 146 303 0 289573 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1159512

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28585
/proc/meminfo: memFree=606920/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1199280 CPUtime=1541.71
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 299345 0 0 0 153077 1094 0 0 25 0 1 0 87091101 1228062720 299260 1992294400 134512640 135752675 4294911280 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 299820 299260 146 303 0 299515 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1199280

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28587
/proc/meminfo: memFree=567364/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1239060 CPUtime=1601.69
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 309295 0 0 0 159038 1131 0 0 25 0 1 0 87091101 1268797440 309210 1992294400 134512640 135752675 4294911280 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 309765 309210 146 303 0 309460 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1239060

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28587
/proc/meminfo: memFree=527932/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1278172 CPUtime=1661.66
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 319054 0 0 0 164997 1169 0 0 25 0 1 0 87091101 1308848128 318969 1992294400 134512640 135752675 4294911280 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 319543 318969 146 303 0 319238 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1278172

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28589
/proc/meminfo: memFree=489120/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1317092 CPUtime=1721.64
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 328813 0 0 0 170963 1201 0 0 25 0 1 0 87091101 1348702208 328728 1992294400 134512640 135752675 4294911280 18446744073709551615 134606989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 329273 328728 146 303 0 328968 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1317092

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28591
/proc/meminfo: memFree=448200/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1357792 CPUtime=1781.62
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 338953 0 0 0 176926 1236 0 0 25 0 1 0 87091101 1390379008 338868 1992294400 134512640 135752675 4294911280 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 339448 338868 146 303 0 339143 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1357792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28591
/proc/meminfo: memFree=435800/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=1370004 CPUtime=1800.02
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4202496 342016 0 0 0 178755 1247 0 0 25 0 1 0 87091101 1402884096 341931 1992294400 134512640 135752675 4294911280 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28539/statm: 342501 341931 146 303 0 342196 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1370004

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28591
/proc/meminfo: memFree=435800/2059040 swapFree=4140856/4192956
[pid=28539] ppid=28537 vsize=0 CPUtime=1800.11
/proc/28539/stat : 28539 (wbo1.4b) R 28537 28539 28024 0 -1 4203524 342016 0 0 0 178755 1256 0 0 25 0 1 0 87091101 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.84
CPU time (s): 1800.16
CPU user time (s): 1787.56
CPU system time (s): 12.6021
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 1370004

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

runsolver used 3.12153 second user time and 8.36273 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-25 11:26:28
IDJOB=2680705
IDBENCH=2904
IDSOLVER=1190
FILE ID=node044/2680705-1277457988
PBS_JOBID= 11188123
Free space on /tmp= 62276 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_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680705-1277457988/watcher-2680705-1277457988 -o /tmp/evaluation-result-2680705-1277457988/solver-2680705-1277457988 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680705-1277457988.opb

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=681898377

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1808024 kB
Buffers:         15348 kB
Cached:         138520 kB
SwapCached:       5300 kB
Active:          35580 kB
Inactive:       131588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1808024 kB
SwapTotal:     4192956 kB
SwapFree:      4140856 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       12012 kB
Mapped:          12044 kB
Slab:            61764 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181416 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= 62276 MiB
End job on node044 at 2010-06-25 11:56:31