Trace number 2680697

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
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-2680697-1277458156.opb.
0.00/0.00	c Instance file HOME/instance-2680697-1277458156.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      146                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     146       12      784 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.01	c New solution: 1114
0.00/0.01	o 1114
0.00/0.01	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     146       13      880 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 976
0.00/0.01	o 976
0.00/0.01	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        18 |     146       14      976 |     5000       18     61 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 197
0.00/0.01	o 197
0.00/0.01	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        18 |     146       15     1072 |     5000       18     61 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 182
0.00/0.01	o 182
0.00/0.01	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        29 |     146       16     1168 |     5000       29     57 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 166
0.00/0.01	o 166
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 |        46 |     146       17     1264 |     5000       46     53 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 164
0.00/0.01	o 164
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 |        52 |     146       18     1360 |     5000       52     56 |  0.000 % |
0.00/0.01	c |       154 |     146       18     1360 |     5500      154     47 |  0.005 % |
0.00/0.03	c |       305 |     146       18     1360 |     6050      305     46 |  0.005 % |
0.00/0.04	c |       530 |     146       18     1360 |     6655      530     45 |  0.005 % |
0.07/0.08	c |       868 |     146       18     1360 |     7320      868     44 |  0.005 % |
0.09/0.12	c |      1374 |     146       18     1360 |     8052     1374     44 |  0.005 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: 162
0.09/0.17	o 162
0.09/0.17	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 179.83 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |      1785 |     146       19     1456 |     5000     1785     43 |  0.005 % |
0.09/0.18	c |      1887 |     146       19     1456 |     5500     1887     43 |  0.005 % |
0.09/0.19	c |      2041 |     146       19     1456 |     6050     2041     43 |  0.005 % |
0.19/0.22	c |      2266 |     146       19     1456 |     6655     2266     43 |  0.005 % |
0.19/0.26	c |      2603 |     146       19     1456 |     7320     2603     43 |  0.005 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 131
0.19/0.27	o 131
0.19/0.27	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 179.73 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |      2732 |     146       20     1552 |     5000     2732     43 |  0.005 % |
0.19/0.28	c |      2833 |     146       20     1552 |     5500     2833     43 |  0.005 % |
0.29/0.30	c |      2983 |     146       20     1552 |     6050     2983     43 |  0.005 % |
0.29/0.33	c |      3211 |     146       20     1552 |     6655     3211     43 |  0.005 % |
0.29/0.37	c |      3548 |     146       20     1552 |     7320     3548     43 |  0.005 % |
0.39/0.43	c |      4054 |     146       20     1552 |     8052     4054     43 |  0.005 % |
0.49/0.52	c |      4814 |     146       20     1552 |     8857     4814     43 |  0.005 % |
0.60/0.61	c ===============================================================================
0.60/0.61	c New solution: 122
0.60/0.61	o 122
0.60/0.61	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 179.395 s
0.60/0.61	c ===============================================================================
0.60/0.61	c |      5541 |     146       21     1648 |     5000     5541     42 |  0.005 % |
0.60/0.64	c |      5641 |     134       21     1648 |     5500     2696     42 |  8.224 % |
0.60/0.65	c |      5791 |     134       21     1648 |     6050     2846     43 |  8.224 % |
0.60/0.67	c ===============================================================================
0.60/0.67	c New solution: 70
0.60/0.67	o 70
0.60/0.67	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 179.339 s
0.60/0.67	c ===============================================================================
0.60/0.67	c |      5932 |     134       22     1744 |     5000     2987     43 |  8.224 % |
0.60/0.68	c |      6033 |     134       22     1744 |     5500     3088     43 |  8.224 % |
0.69/0.70	c |      6184 |     134       22     1744 |     6050     3239     42 |  8.224 % |
0.69/0.72	c |      6409 |     134       22     1744 |     6655     3464     42 |  8.224 % |
0.69/0.76	c |      6747 |     134       22     1744 |     7320     3802     42 |  8.224 % |
0.79/0.82	c |      7253 |     134       22     1744 |     8052     4308     42 |  8.224 % |
0.89/0.92	c |      8012 |     134       22     1744 |     8857     5067     42 |  8.224 % |
1.00/1.08	c |      9151 |     134       22     1744 |     9743     6206     42 |  8.224 % |
1.29/1.32	c |     10862 |     134       22     1744 |    10717     7917     43 |  8.224 % |
1.69/1.73	c |     13425 |     134       22     1744 |    11789    10480     43 |  8.224 % |
1.89/1.95	c ===============================================================================
1.89/1.95	c New solution: 59
1.89/1.95	o 59
1.89/1.95	c Elapsed CPU time: 1.91471 s	Remaining CPU time: 178.085 s
1.89/1.95	c ===============================================================================
1.89/1.95	c |     14670 |     134       23     1840 |     5000    11725     43 |  8.224 % |
1.89/2.00	c |     14770 |     123       23     1840 |     5500     3032     44 | 16.443 % |
1.99/2.01	c |     14920 |     123       23     1840 |     6050     3182     45 | 16.443 % |
1.99/2.04	c |     15145 |     123       23     1840 |     6655     3407     45 | 16.443 % |
1.99/2.08	c |     15482 |     123       23     1840 |     7320     3744     45 | 16.443 % |
2.10/2.14	c |     15989 |     123       23     1840 |     8052     4251     45 | 16.443 % |
2.10/2.19	c ===============================================================================
2.10/2.19	c New solution: 54
2.10/2.19	o 54
2.10/2.19	c Elapsed CPU time: 2.15567 s	Remaining CPU time: 177.844 s
2.10/2.19	c ===============================================================================
2.10/2.19	c |     16378 |     122       24     1936 |     5000     4640     45 | 16.443 % |
2.10/2.19	c ===============================================================================
2.10/2.19	c New solution: 52
2.10/2.19	o 52
2.10/2.19	c Elapsed CPU time: 2.15567 s	Remaining CPU time: 177.844 s
2.10/2.19	c ===============================================================================
2.10/2.19	c |     16378 |     122       25     2032 |     5000     4640     45 | 16.443 % |
2.10/2.20	c |     16478 |     122       25     2032 |     5500     4740     46 | 16.443 % |
2.19/2.22	c |     16628 |     122       25     2032 |     6050     4890     46 | 16.443 % |
2.19/2.25	c |     16853 |     122       25     2032 |     6655     5115     46 | 16.443 % |
2.19/2.29	c |     17190 |     122       25     2032 |     7320     5452     46 | 16.443 % |
2.29/2.36	c |     17696 |     122       25     2032 |     8052     5958     46 | 16.443 % |
2.39/2.47	c |     18455 |     122       25     2032 |     8857     6683     46 | 16.443 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 50
2.49/2.58	o 50
2.49/2.58	c Elapsed CPU time: 2.53361 s	Remaining CPU time: 177.466 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |     19268 |     122       26     2128 |     5000     7496     46 | 16.443 % |
2.59/2.60	c |     19368 |     122       26     2128 |     5500     3848     47 | 16.443 % |
2.59/2.62	c |     19518 |     122       26     2128 |     6050     3998     47 | 16.443 % |
2.59/2.65	c |     19743 |     122       26     2128 |     6655     4223     47 | 16.443 % |
2.59/2.69	c |     20080 |     122       26     2128 |     7320     4560     47 | 16.443 % |
2.69/2.76	c |     20586 |     122       26     2128 |     8052     5066     47 | 16.443 % |
2.80/2.86	c |     21345 |     122       26     2128 |     8857     5825     47 | 16.443 % |
2.99/3.03	c |     22484 |     122       26     2128 |     9743     6964     48 | 16.443 % |
2.99/3.10	c ===============================================================================
2.99/3.10	c New solution: 46
2.99/3.10	o 46
2.99/3.10	c Elapsed CPU time: 3.04554 s	Remaining CPU time: 176.954 s
2.99/3.10	c ===============================================================================
2.99/3.10	c |     22881 |     122       27     2224 |     5000     7361     48 | 16.443 % |
3.09/3.12	c |     22981 |     122       27     2224 |     5500     3781     48 | 16.443 % |
3.09/3.14	c |     23131 |     122       27     2224 |     6050     3931     48 | 16.443 % |
3.09/3.17	c |     23356 |     122       27     2224 |     6655     4156     48 | 16.443 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: 36
3.20/3.21	o 36
3.20/3.21	c Elapsed CPU time: 3.16152 s	Remaining CPU time: 176.838 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |     23661 |     122       28     2320 |     5000     4461     48 | 16.443 % |
3.20/3.23	c |     23761 |     122       28     2320 |     5500     4561     48 | 16.443 % |
3.20/3.25	c |     23911 |     122       28     2320 |     6050     4711     48 | 16.443 % |
3.20/3.28	c |     24137 |     122       28     2320 |     6655     4937     48 | 16.443 % |
3.30/3.32	c |     24474 |     122       28     2320 |     7320     5274     48 | 16.443 % |
3.30/3.39	c |     24981 |     122       28     2320 |     8052     5781     47 | 16.443 % |
3.49/3.50	c |     25740 |     122       28     2320 |     8857     6540     47 | 16.443 % |
3.59/3.67	c |     26879 |     122       28     2320 |     9743     7679     47 | 16.443 % |
3.89/3.94	c |     28587 |     122       28     2320 |    10717     9387     47 | 16.443 % |
4.30/4.37	c |     31149 |     122       28     2320 |    11789     6560     46 | 16.443 % |
4.89/4.98	c |     34994 |     122       28     2320 |    12968    10405     46 | 16.443 % |
5.69/5.72	c ===============================================================================
5.69/5.72	c New solution: 34
5.69/5.72	o 34
5.69/5.72	c Elapsed CPU time: 5.62614 s	Remaining CPU time: 174.374 s
5.69/5.72	c ===============================================================================
5.69/5.72	c |     38897 |     122       29     2416 |     5000     7795     46 | 16.443 % |
5.69/5.74	c ===============================================================================
5.69/5.74	c New solution: 27
5.69/5.74	o 27
5.69/5.74	c Elapsed CPU time: 5.64814 s	Remaining CPU time: 174.352 s
5.69/5.74	c ===============================================================================
5.69/5.74	c |     38948 |     122       30     2512 |     5000     3949     46 | 16.443 % |
5.69/5.76	c |     39048 |     110       30     2512 |     5500     4028     46 | 24.662 % |
5.69/5.79	c |     39198 |     110       30     2512 |     6050     4178     46 | 24.662 % |
5.79/5.82	c |     39423 |     110       30     2512 |     6655     4403     47 | 24.662 % |
5.79/5.87	c |     39760 |     110       30     2512 |     7320     4740     47 | 24.662 % |
5.89/5.94	c |     40267 |     110       30     2512 |     8052     5247     48 | 24.662 % |
5.99/6.03	c |     41026 |     110       30     2512 |     8857     6006     49 | 24.662 % |
6.09/6.18	c |     42165 |     110       30     2512 |     9743     7145     49 | 24.662 % |
6.39/6.45	c |     43873 |     110       30     2512 |    10717     8853     50 | 24.662 % |
6.50/6.52	c ===============================================================================
6.50/6.52	c New solution: 17
6.50/6.52	o 17
6.50/6.52	c Elapsed CPU time: 6.41402 s	Remaining CPU time: 173.586 s
6.50/6.52	c ===============================================================================
6.50/6.52	c |     44299 |     110       31     2608 |     5000     9279     50 | 24.662 % |
6.50/6.55	c |     44400 |     110       31     2608 |     5500     4741     53 | 24.662 % |
6.50/6.57	c |     44551 |     110       31     2608 |     6050     4892     53 | 24.662 % |
6.50/6.60	c |     44777 |     110       31     2608 |     6655     5118     53 | 24.662 % |
6.60/6.64	c |     45114 |     110       31     2608 |     7320     5455     53 | 24.662 % |
6.69/6.70	c |     45621 |     110       31     2608 |     8052     5962     52 | 24.662 % |
6.79/6.80	c |     46381 |     110       31     2608 |     8857     6722     52 | 24.662 % |
6.89/6.94	c |     47520 |     110       31     2608 |     9743     7861     51 | 24.662 % |
7.09/7.19	c |     49228 |     110       31     2608 |    10717     9569     51 | 24.662 % |
7.59/7.60	c |     51790 |     110       31     2608 |    11789     6734     48 | 24.662 % |
8.19/8.23	c |     55634 |     110       31     2608 |    12968    10578     48 | 24.662 % |
9.29/9.31	c |     61400 |     110       31     2608 |    14265     9827     49 | 24.662 % |
10.90/10.96	c |     70050 |     110       31     2608 |    15692    11314     51 | 24.662 % |
13.68/13.70	c |     83024 |     110       31     2608 |    17261     8524     51 | 24.662 % |
17.98/18.05	c |    102485 |     110       31     2608 |    18987    10660     53 | 24.662 % |
21.38/21.47	c ===============================================================================
21.38/21.47	c New solution: 6
21.38/21.47	o 6
21.38/21.47	c Elapsed CPU time: 21.1598 s	Remaining CPU time: 158.84 s
21.38/21.47	c ===============================================================================
21.38/21.47	c |    116905 |     110       32     2704 |     5000    15550     52 | 24.662 % |
21.48/21.56	c |    117005 |      86       32     2704 |     5500     3983     52 | 41.101 % |
21.48/21.59	c |    117155 |      86       32     2704 |     6050     4133     52 | 41.101 % |
21.59/21.62	c |    117380 |      86       32     2704 |     6655     4358     53 | 41.101 % |
21.59/21.68	c |    117718 |      86       32     2704 |     7320     4696     53 | 41.101 % |
21.69/21.74	c |    118224 |      86       32     2704 |     8052     5202     54 | 41.101 % |
21.78/21.85	c |    118983 |      86       32     2704 |     8857     5961     55 | 41.101 % |
21.99/22.02	c |    120122 |      86       32     2704 |     9743     7100     56 | 41.101 % |
22.28/22.32	c |    121831 |      86       32     2704 |    10717     8809     57 | 41.101 % |
22.69/22.76	c |    124393 |      86       32     2704 |    11789     5957     62 | 41.101 % |
23.29/23.35	c |    128238 |      86       32     2704 |    12968     9802     62 | 41.101 % |
24.38/24.45	c |    134005 |      86       32     2704 |    14265     9035     63 | 41.101 % |
25.98/26.09	c |    142655 |      86       32     2704 |    15692    10501     61 | 41.101 % |
28.88/28.97	c |    155630 |      86       32     2704 |    17261    15581     60 | 41.101 % |
33.28/33.35	c |    175092 |      86       32     2704 |    18987     9009     59 | 41.101 % |
39.98/40.08	c |    204285 |      86       32     2704 |    20886     9582     62 | 41.101 % |
52.78/52.87	c |    248075 |      86       32     2704 |    22974    11410     61 | 41.101 % |
70.47/70.57	c |    313760 |      86       32     2704 |    25272    15469     62 | 41.101 % |
101.17/101.24	c |    412286 |      86       32     2704 |    27799    12312     58 | 41.101 % |
152.44/152.58	c |    560075 |      86       32     2704 |    30579    24568     62 | 41.101 % |
181.83/181.98	c There are 60 assigned variables. 60 in cost function.
182.33/182.46	c ============================[ Search Statistics ]==============================
182.33/182.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.33/182.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.33/182.46	c ===============================================================================
182.33/182.46	c |         0 |      50      119      664 |     5000        0    nan |  0.000 % |
182.33/182.47	c |       100 |      50      119      664 |     5500      100     48 | 65.758 % |
182.33/182.49	c |       251 |      50      119      664 |     6050      251     47 | 65.758 % |
182.44/182.52	c |       477 |      50      119      664 |     6655      477     50 | 65.758 % |
182.54/182.61	c |       814 |      50      119      664 |     7320      814     50 | 65.758 % |
182.54/182.67	c |      1321 |      50      119      664 |     8052     1321     51 | 65.758 % |
182.63/182.75	c |      2081 |      50      119      664 |     8857     2081     51 | 65.758 % |
182.73/182.89	c |      3220 |      50      119      664 |     9743     3220     51 | 65.758 % |
183.03/183.12	c |      4928 |      50      119      664 |    10717     4928     50 | 65.758 % |
183.43/183.52	c |      7490 |      50      119      664 |    11789     7490     50 | 65.758 % |
184.13/184.26	c |     11334 |      50      119      664 |    12968    11334     51 | 65.758 % |
185.33/185.40	c |     17100 |      50      119      664 |    14265    10550     51 | 65.758 % |
187.13/187.23	c |     25750 |      50      119      664 |    15692    12003     51 | 65.758 % |
190.03/190.14	c |     38725 |      50      119      664 |    17261     9152     50 | 65.758 % |
194.63/194.71	c |     58187 |      50      119      664 |    18987    11223     52 | 65.758 % |
201.83/201.96	c |     87380 |      50      119      664 |    20886    11734     50 | 65.758 % |
214.43/214.54	c |    131169 |      50      119      664 |    22974    13489     52 | 65.758 % |
234.41/234.51	c |    196853 |      50      119      664 |    25272    17366     51 | 65.758 % |
266.40/266.56	c |    295381 |      50      119      664 |    27799    13939     52 | 65.758 % |
318.59/318.73	c |    443170 |      50      119      664 |    30579    25739     52 | 65.758 % |
405.26/405.47	c |    664853 |      50      119      664 |    33637    11249     54 | 65.758 % |
536.92/537.19	c |    997378 |      50      119      664 |    37001    26793     49 | 65.758 % |
767.34/767.64	c |   1496166 |      50      119      664 |    40701    33221     51 | 65.758 % |
1167.60/1168.09	c |   2244348 |      50      119      664 |    44771    13952     51 | 65.758 % |
1753.71/1754.36	c |   3366624 |      50      119      664 |    49248    30937     47 | 65.758 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680697-1277458156/watcher-2680697-1277458156 -o /tmp/evaluation-result-2680697-1277458156/solver-2680697-1277458156 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680697-1277458156.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 19935
/proc/meminfo: memFree=1852600/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=2572 CPUtime=0
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 279 0 0 0 0 0 0 0 25 0 1 0 119467473 2633728 196 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 643 196 143 303 0 338 0

[startup+0.073242 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 19935
/proc/meminfo: memFree=1852600/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=2704 CPUtime=0.07
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 335 0 0 0 7 0 0 0 25 0 1 0 119467473 2768896 252 1992294400 134512640 135752675 4291245488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 676 252 144 303 0 371 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2704

[startup+0.101239 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 19935
/proc/meminfo: memFree=1852600/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=2836 CPUtime=0.09
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 356 0 0 0 9 0 0 0 25 0 1 0 119467473 2904064 273 1992294400 134512640 135752675 4291245488 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 709 273 144 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.301275 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 19935
/proc/meminfo: memFree=1852600/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=3360 CPUtime=0.29
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 495 0 0 0 29 0 0 0 25 0 1 0 119467473 3440640 412 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 840 412 144 303 0 535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3360

[startup+0.701347 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 19935
/proc/meminfo: memFree=1852600/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=4276 CPUtime=0.69
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 731 0 0 0 68 1 0 0 25 0 1 0 119467473 4378624 648 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 1069 648 145 303 0 764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4276

[startup+1.50149 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19936
/proc/meminfo: memFree=1849864/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=5968 CPUtime=1.49
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 1145 0 0 0 147 2 0 0 25 0 1 0 119467473 6111232 1062 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 1492 1062 145 303 0 1187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5968

[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19936
/proc/meminfo: memFree=1847632/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=9220 CPUtime=3.09
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 1947 0 0 0 304 5 0 0 18 0 1 0 119467473 9441280 1864 1992294400 134512640 135752675 4291245488 18446744073709551615 134650574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 2305 1864 145 303 0 2000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9220

[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19936
/proc/meminfo: memFree=1841184/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=15000 CPUtime=6.29
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 3394 0 0 0 619 10 0 0 25 0 1 0 119467473 15360000 3311 1992294400 134512640 135752675 4291245488 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 3750 3311 145 303 0 3445 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15000

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19936
/proc/meminfo: memFree=1830272/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=25128 CPUtime=12.69
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 5927 0 0 0 1250 19 0 0 25 0 1 0 119467473 25731072 5844 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 6282 5844 145 303 0 5977 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25128

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19938
/proc/meminfo: memFree=1811052/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=43688 CPUtime=25.48
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 10571 0 0 0 2511 37 0 0 25 0 1 0 119467473 44736512 10488 1992294400 134512640 135752675 4291245488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 10922 10488 145 303 0 10617 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43688

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19938
/proc/meminfo: memFree=1779308/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=75592 CPUtime=51.08
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 18539 0 0 0 5040 68 0 0 25 0 1 0 119467473 77406208 18456 1992294400 134512640 135752675 4291245488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 18898 18456 145 303 0 18593 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75592

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19940
/proc/meminfo: memFree=1724128/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=130172 CPUtime=102.26
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 32162 0 0 0 10107 119 0 0 25 0 1 0 119467473 133296128 32079 1992294400 134512640 135752675 4291245488 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 32543 32079 145 303 0 32238 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130172

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19940
/proc/meminfo: memFree=1670684/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=183748 CPUtime=162.23
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 45546 0 0 0 16050 173 0 0 25 0 1 0 119467473 188157952 45463 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 45937 45463 145 303 0 45632 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 183748

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19942
/proc/meminfo: memFree=1628400/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=225696 CPUtime=222.22
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 56094 0 0 0 21984 238 0 0 25 0 1 0 119467473 231112704 55981 1992294400 134512640 135752675 4291245488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 56424 55981 146 303 0 56119 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 225696

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19944
/proc/meminfo: memFree=1585744/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=268416 CPUtime=282.2
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 66743 0 0 0 27930 290 0 0 25 0 1 0 119467473 274857984 66630 1992294400 134512640 135752675 4291245488 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 67104 66630 146 303 0 66799 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 268416

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19946
/proc/meminfo: memFree=1547436/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=306436 CPUtime=342.18
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 76255 0 0 0 33880 338 0 0 25 0 1 0 119467473 313790464 76142 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 76609 76142 146 303 0 76304 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 306436

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19948
/proc/meminfo: memFree=1511972/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=342432 CPUtime=402.15
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 85210 0 0 0 39829 386 0 0 25 0 1 0 119467473 350650368 85097 1992294400 134512640 135752675 4291245488 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 85608 85097 146 303 0 85303 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 342432

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19948
/proc/meminfo: memFree=1470804/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=383228 CPUtime=462.14
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 95418 0 0 0 45781 433 0 0 25 0 1 0 119467473 392425472 95305 1992294400 134512640 135752675 4291245488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 95807 95305 146 303 0 95502 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 383228

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19950
/proc/meminfo: memFree=1430132/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=423716 CPUtime=522.12
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 105554 0 0 0 51732 480 0 0 25 0 1 0 119467473 433885184 105441 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 105929 105441 146 303 0 105624 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 423716

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 3/108 19955
/proc/meminfo: memFree=1377920/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=461500 CPUtime=582.1
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 114982 0 0 0 57687 523 0 0 25 0 1 0 119467473 472576000 114869 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 115375 114869 146 303 0 115070 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 461500

[startup+642.301 s]
/proc/loadavg: 1.03 1.01 0.95 2/107 19957
/proc/meminfo: memFree=1354988/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=497724 CPUtime=642.08
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 124019 0 0 0 63644 564 0 0 25 0 1 0 119467473 509669376 123906 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 124431 123906 146 303 0 124126 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 497724

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19963
/proc/meminfo: memFree=1219580/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=633080 CPUtime=881.99
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 157856 0 0 0 87483 716 0 0 25 0 1 0 119467473 648273920 157743 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 158270 157743 146 303 0 157965 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 633080

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19965
/proc/meminfo: memFree=1190192/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=662472 CPUtime=941.97
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 165217 0 0 0 93443 754 0 0 25 0 1 0 119467473 678371328 165104 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 165618 165104 146 303 0 165313 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 662472

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19967
/proc/meminfo: memFree=1157828/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=694564 CPUtime=1001.95
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 173245 0 0 0 99405 790 0 0 25 0 1 0 119467473 711233536 173132 1992294400 134512640 135752675 4291245488 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 173641 173132 146 303 0 173336 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 694564

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19967
/proc/meminfo: memFree=1126084/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=726548 CPUtime=1061.94
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 181225 0 0 0 105367 827 0 0 25 0 1 0 119467473 743985152 181112 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 181637 181112 146 303 0 181332 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 726548

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19969
/proc/meminfo: memFree=1095084/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=757440 CPUtime=1121.91
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 188935 0 0 0 111328 863 0 0 25 0 1 0 119467473 775618560 188822 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 189360 188822 146 303 0 189055 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 757440

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19971
/proc/meminfo: memFree=1065076/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=787516 CPUtime=1181.9
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 196440 0 0 0 117293 897 0 0 25 0 1 0 119467473 806416384 196327 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 196879 196327 146 303 0 196574 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 787516

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19973
/proc/meminfo: memFree=1036308/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=815820 CPUtime=1241.88
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 203540 0 0 0 123257 931 0 0 25 0 1 0 119467473 835399680 203427 1992294400 134512640 135752675 4291245488 18446744073709551615 134603352 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 203955 203427 146 303 0 203650 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 815820

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19975
/proc/meminfo: memFree=1004564/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=847528 CPUtime=1301.87
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 211451 0 0 0 129216 971 0 0 25 0 1 0 119467473 867868672 211338 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 211882 211338 146 303 0 211577 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 847528

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19975
/proc/meminfo: memFree=974060/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=878064 CPUtime=1361.83
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 219081 0 0 0 135173 1010 0 0 25 0 1 0 119467473 899137536 218968 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 219516 218968 146 303 0 219211 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 878064

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19977
/proc/meminfo: memFree=942688/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=909432 CPUtime=1421.83
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 226908 0 0 0 141137 1046 0 0 25 0 1 0 119467473 931258368 226795 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 227358 226795 146 303 0 227053 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 909432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19979
/proc/meminfo: memFree=911564/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=940616 CPUtime=1481.8
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 234713 0 0 0 147098 1082 0 0 25 0 1 0 119467473 963190784 234600 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 235154 234600 146 303 0 234849 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 940616

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19981
/proc/meminfo: memFree=882424/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=969392 CPUtime=1541.78
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 241915 0 0 0 153061 1117 0 0 25 0 1 0 119467473 992657408 241802 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 242348 241802 146 303 0 242043 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 969392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19983
/proc/meminfo: memFree=850308/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=1001740 CPUtime=1601.75
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 250002 0 0 0 159019 1156 0 0 25 0 1 0 119467473 1025781760 249889 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 250435 249889 146 303 0 250130 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1001740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19983
/proc/meminfo: memFree=819432/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=1032160 CPUtime=1661.74
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 257607 0 0 0 164982 1192 0 0 25 0 1 0 119467473 1056931840 257494 1992294400 134512640 135752675 4291245488 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 258040 257494 146 303 0 257735 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1032160

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19985
/proc/meminfo: memFree=786324/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=1065768 CPUtime=1721.72
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 265983 0 0 0 170940 1232 0 0 25 0 1 0 119467473 1091346432 265870 1992294400 134512640 135752675 4291245488 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 266442 265870 146 303 0 266137 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1065768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19987
/proc/meminfo: memFree=756564/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=1095040 CPUtime=1781.7
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 273291 0 0 0 176899 1271 0 0 25 0 1 0 119467473 1121320960 273178 1992294400 134512640 135752675 4291245488 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 273760 273178 146 303 0 273455 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1095040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19987
/proc/meminfo: memFree=747388/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=1104016 CPUtime=1800.01
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4202496 275546 0 0 0 178718 1283 0 0 25 0 1 0 119467473 1130512384 275433 1992294400 134512640 135752675 4291245488 18446744073709551615 134606992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19935/statm: 276004 275433 146 303 0 275699 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1104016

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19987
/proc/meminfo: memFree=747388/2059040 swapFree=4136184/4192956
[pid=19935] ppid=19933 vsize=0 CPUtime=1800.11
/proc/19935/stat : 19935 (wbo1.4b) R 19933 19935 19605 0 -1 4203524 275546 0 0 0 178718 1293 0 0 25 0 1 0 119467473 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/19935/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.73
CPU time (s): 1800.12
CPU user time (s): 1787.18
CPU system time (s): 12.939
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1104016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.18
system time used= 12.939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3508

runsolver used 4.08638 second user time and 8.93264 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-25 11:29:16
IDJOB=2680697
IDBENCH=2910
IDSOLVER=1190
FILE ID=node027/2680697-1277458156
PBS_JOBID= 11188137
Free space on /tmp= 62032 MiB

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

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1779119596

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.261
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853128 kB
Buffers:         21308 kB
Cached:          93976 kB
SwapCached:       9196 kB
Active:          13228 kB
Inactive:       115168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853128 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            2608 kB
Writeback:           0 kB
AnonPages:       11800 kB
Mapped:           8412 kB
Slab:            55308 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182200 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62028 MiB
End job on node027 at 2010-06-25 11:59:19