Trace number 2656054

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b? (TO) 1800.19 1800.82

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656054-1276602499.opb.
0.00/0.00	c Instance file HOME/instance-2656054-1276602499.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.00	c New solution: 1114
0.00/0.00	o 1114
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     146       13      880 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 976
0.00/0.00	o 976
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        18 |     146       14      976 |     5000       18     61 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 197
0.00/0.00	o 197
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        18 |     146       15     1072 |     5000       18     61 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 182
0.00/0.00	o 182
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        29 |     146       16     1168 |     5000       29     57 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 166
0.00/0.00	o 166
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        46 |     146       17     1264 |     5000       46     53 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 164
0.00/0.00	o 164
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 |        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.00/0.07	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.168974 s	Remaining CPU time: 179.831 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.270958 s	Remaining CPU time: 179.729 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.59/0.61	c ===============================================================================
0.59/0.61	c New solution: 122
0.59/0.61	o 122
0.59/0.61	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 179.402 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |      5541 |     146       21     1648 |     5000     5541     42 |  0.005 % |
0.59/0.63	c |      5641 |     134       21     1648 |     5500     2696     42 |  8.224 % |
0.59/0.65	c |      5791 |     134       21     1648 |     6050     2846     43 |  8.224 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 70
0.59/0.67	o 70
0.59/0.67	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 179.343 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      5932 |     134       22     1744 |     5000     2987     43 |  8.224 % |
0.59/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.07	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.72	c |     13425 |     134       22     1744 |    11789    10480     43 |  8.224 % |
1.89/1.94	c ===============================================================================
1.89/1.94	c New solution: 59
1.89/1.94	o 59
1.89/1.94	c Elapsed CPU time: 1.91371 s	Remaining CPU time: 178.086 s
1.89/1.94	c ===============================================================================
1.89/1.94	c |     14670 |     134       23     1840 |     5000    11725     43 |  8.224 % |
1.99/2.00	c |     14770 |     123       23     1840 |     5500     3032     44 | 16.443 % |
1.99/2.02	c |     14920 |     123       23     1840 |     6050     3182     45 | 16.443 % |
1.99/2.05	c |     15145 |     123       23     1840 |     6655     3407     45 | 16.443 % |
1.99/2.09	c |     15482 |     123       23     1840 |     7320     3744     45 | 16.443 % |
2.10/2.15	c |     15989 |     123       23     1840 |     8052     4251     45 | 16.443 % |
2.10/2.20	c ===============================================================================
2.10/2.20	c New solution: 54
2.10/2.20	o 54
2.10/2.20	c Elapsed CPU time: 2.16667 s	Remaining CPU time: 177.833 s
2.10/2.20	c ===============================================================================
2.10/2.20	c |     16378 |     122       24     1936 |     5000     4640     45 | 16.443 % |
2.10/2.20	c ===============================================================================
2.10/2.20	c New solution: 52
2.10/2.20	o 52
2.10/2.20	c Elapsed CPU time: 2.16767 s	Remaining CPU time: 177.832 s
2.10/2.20	c ===============================================================================
2.10/2.20	c |     16378 |     122       25     2032 |     5000     4640     45 | 16.443 % |
2.20/2.21	c |     16478 |     122       25     2032 |     5500     4740     46 | 16.443 % |
2.20/2.23	c |     16628 |     122       25     2032 |     6050     4890     46 | 16.443 % |
2.20/2.26	c |     16853 |     122       25     2032 |     6655     5115     46 | 16.443 % |
2.29/2.30	c |     17190 |     122       25     2032 |     7320     5452     46 | 16.443 % |
2.29/2.37	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.54861 s	Remaining CPU time: 177.451 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |     19268 |     122       26     2128 |     5000     7496     46 | 16.443 % |
2.59/2.62	c |     19368 |     122       26     2128 |     5500     3848     47 | 16.443 % |
2.59/2.63	c |     19518 |     122       26     2128 |     6050     3998     47 | 16.443 % |
2.59/2.66	c |     19743 |     122       26     2128 |     6655     4223     47 | 16.443 % |
2.69/2.71	c |     20080 |     122       26     2128 |     7320     4560     47 | 16.443 % |
2.69/2.77	c |     20586 |     122       26     2128 |     8052     5066     47 | 16.443 % |
2.79/2.88	c |     21345 |     122       26     2128 |     8857     5825     47 | 16.443 % |
2.99/3.04	c |     22484 |     122       26     2128 |     9743     6964     48 | 16.443 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 46
3.09/3.11	o 46
3.09/3.11	c Elapsed CPU time: 3.06553 s	Remaining CPU time: 176.934 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |     22881 |     122       27     2224 |     5000     7361     48 | 16.443 % |
3.09/3.14	c |     22981 |     122       27     2224 |     5500     3781     48 | 16.443 % |
3.09/3.16	c |     23131 |     122       27     2224 |     6050     3931     48 | 16.443 % |
3.09/3.19	c |     23356 |     122       27     2224 |     6655     4156     48 | 16.443 % |
3.20/3.23	c ===============================================================================
3.20/3.23	c New solution: 36
3.20/3.23	o 36
3.20/3.23	c Elapsed CPU time: 3.18452 s	Remaining CPU time: 176.815 s
3.20/3.23	c ===============================================================================
3.20/3.23	c |     23661 |     122       28     2320 |     5000     4461     48 | 16.443 % |
3.20/3.24	c |     23761 |     122       28     2320 |     5500     4561     48 | 16.443 % |
3.20/3.26	c |     23911 |     122       28     2320 |     6050     4711     48 | 16.443 % |
3.20/3.29	c |     24137 |     122       28     2320 |     6655     4937     48 | 16.443 % |
3.29/3.34	c |     24474 |     122       28     2320 |     7320     5274     48 | 16.443 % |
3.39/3.41	c |     24981 |     122       28     2320 |     8052     5781     47 | 16.443 % |
3.49/3.51	c |     25740 |     122       28     2320 |     8857     6540     47 | 16.443 % |
3.59/3.68	c |     26879 |     122       28     2320 |     9743     7679     47 | 16.443 % |
3.89/3.95	c |     28587 |     122       28     2320 |    10717     9387     47 | 16.443 % |
4.29/4.39	c |     31149 |     122       28     2320 |    11789     6560     46 | 16.443 % |
4.89/4.99	c |     34994 |     122       28     2320 |    12968    10405     46 | 16.443 % |
5.69/5.76	c ===============================================================================
5.69/5.76	c New solution: 34
5.69/5.76	o 34
5.69/5.76	c Elapsed CPU time: 5.68114 s	Remaining CPU time: 174.319 s
5.69/5.76	c ===============================================================================
5.69/5.76	c |     38897 |     122       29     2416 |     5000     7795     46 | 16.443 % |
5.69/5.79	c ===============================================================================
5.69/5.79	c New solution: 27
5.69/5.79	o 27
5.69/5.79	c Elapsed CPU time: 5.70713 s	Remaining CPU time: 174.293 s
5.69/5.79	c ===============================================================================
5.69/5.79	c |     38948 |     122       30     2512 |     5000     3949     46 | 16.443 % |
5.79/5.81	c |     39048 |     110       30     2512 |     5500     4028     46 | 24.662 % |
5.79/5.83	c |     39198 |     110       30     2512 |     6050     4178     46 | 24.662 % |
5.79/5.86	c |     39423 |     110       30     2512 |     6655     4403     47 | 24.662 % |
5.89/5.91	c |     39760 |     110       30     2512 |     7320     4740     47 | 24.662 % |
5.89/5.98	c |     40267 |     110       30     2512 |     8052     5247     48 | 24.662 % |
5.99/6.07	c |     41026 |     110       30     2512 |     8857     6006     49 | 24.662 % |
6.19/6.22	c |     42165 |     110       30     2512 |     9743     7145     49 | 24.662 % |
6.39/6.49	c |     43873 |     110       30     2512 |    10717     8853     50 | 24.662 % |
6.50/6.56	c ===============================================================================
6.50/6.56	c New solution: 17
6.50/6.56	o 17
6.50/6.56	c Elapsed CPU time: 6.47501 s	Remaining CPU time: 173.525 s
6.50/6.56	c ===============================================================================
6.50/6.56	c |     44299 |     110       31     2608 |     5000     9279     50 | 24.662 % |
6.50/6.59	c |     44400 |     110       31     2608 |     5500     4741     53 | 24.662 % |
6.59/6.61	c |     44551 |     110       31     2608 |     6050     4892     53 | 24.662 % |
6.59/6.64	c |     44777 |     110       31     2608 |     6655     5118     53 | 24.662 % |
6.59/6.68	c |     45114 |     110       31     2608 |     7320     5455     53 | 24.662 % |
6.69/6.74	c |     45621 |     110       31     2608 |     8052     5962     52 | 24.662 % |
6.79/6.84	c |     46381 |     110       31     2608 |     8857     6722     52 | 24.662 % |
6.89/6.98	c |     47520 |     110       31     2608 |     9743     7861     51 | 24.662 % |
7.19/7.24	c |     49228 |     110       31     2608 |    10717     9569     51 | 24.662 % |
7.60/7.64	c |     51790 |     110       31     2608 |    11789     6734     48 | 24.662 % |
8.19/8.27	c |     55634 |     110       31     2608 |    12968    10578     48 | 24.662 % |
9.29/9.37	c |     61400 |     110       31     2608 |    14265     9827     49 | 24.662 % |
10.99/11.03	c |     70050 |     110       31     2608 |    15692    11314     51 | 24.662 % |
13.79/13.80	c |     83024 |     110       31     2608 |    17261     8524     51 | 24.662 % |
18.08/18.19	c |    102485 |     110       31     2608 |    18987    10660     53 | 24.662 % |
21.58/21.62	c ===============================================================================
21.58/21.62	c New solution: 6
21.58/21.62	o 6
21.58/21.62	c Elapsed CPU time: 21.3328 s	Remaining CPU time: 158.667 s
21.58/21.62	c ===============================================================================
21.58/21.62	c |    116905 |     110       32     2704 |     5000    15550     52 | 24.662 % |
21.68/21.75	c |    117005 |      86       32     2704 |     5500     3983     52 | 41.101 % |
21.68/21.77	c |    117155 |      86       32     2704 |     6050     4133     52 | 41.101 % |
21.78/21.81	c |    117380 |      86       32     2704 |     6655     4358     53 | 41.101 % |
21.78/21.86	c |    117718 |      86       32     2704 |     7320     4696     53 | 41.101 % |
21.89/21.93	c |    118224 |      86       32     2704 |     8052     5202     54 | 41.101 % |
21.99/22.03	c |    118983 |      86       32     2704 |     8857     5961     55 | 41.101 % |
22.18/22.20	c |    120122 |      86       32     2704 |     9743     7100     56 | 41.101 % |
22.48/22.50	c |    121831 |      86       32     2704 |    10717     8809     57 | 41.101 % |
22.89/22.96	c |    124393 |      86       32     2704 |    11789     5957     62 | 41.101 % |
23.48/23.55	c |    128238 |      86       32     2704 |    12968     9802     62 | 41.101 % |
24.59/24.64	c |    134005 |      86       32     2704 |    14265     9035     63 | 41.101 % |
26.19/26.29	c |    142655 |      86       32     2704 |    15692    10501     61 | 41.101 % |
29.08/29.12	c |    155630 |      86       32     2704 |    17261    15581     60 | 41.101 % |
33.48/33.57	c |    175092 |      86       32     2704 |    18987     9009     59 | 41.101 % |
40.28/40.38	c |    204285 |      86       32     2704 |    20886     9582     62 | 41.101 % |
53.28/53.33	c |    248075 |      86       32     2704 |    22974    11410     61 | 41.101 % |
71.17/71.26	c |    313760 |      86       32     2704 |    25272    15469     62 | 41.101 % |
102.16/102.29	c |    412286 |      86       32     2704 |    27799    12312     58 | 41.101 % |
153.64/153.76	c |    560075 |      86       32     2704 |    30579    24568     62 | 41.101 % |
181.83/181.92	c There are 60 assigned variables. 60 in cost function.
182.33/182.40	c ============================[ Search Statistics ]==============================
182.33/182.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.33/182.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.33/182.40	c ===============================================================================
182.33/182.40	c |         0 |      50      120      664 |     5000        0    nan |  0.000 % |
182.33/182.41	c |       100 |      50      120      664 |     5500      100     48 | 65.758 % |
182.33/182.43	c |       251 |      50      120      664 |     6050      251     47 | 65.758 % |
182.33/182.46	c |       477 |      50      120      664 |     6655      477     50 | 65.758 % |
182.44/182.55	c |       814 |      50      120      664 |     7320      814     50 | 65.758 % |
182.54/182.61	c |      1321 |      50      120      664 |     8052     1321     51 | 65.758 % |
182.54/182.69	c |      2081 |      50      120      664 |     8857     2081     51 | 65.758 % |
182.73/182.83	c |      3220 |      50      120      664 |     9743     3220     51 | 65.758 % |
182.93/183.06	c |      4928 |      50      120      664 |    10717     4928     50 | 65.758 % |
183.33/183.45	c |      7490 |      50      120      664 |    11789     7490     50 | 65.758 % |
184.02/184.19	c |     11334 |      50      120      664 |    12968    11334     51 | 65.758 % |
185.23/185.34	c |     17100 |      50      120      664 |    14265    10550     51 | 65.758 % |
187.03/187.18	c |     25750 |      50      120      664 |    15692    12003     51 | 65.758 % |
190.03/190.12	c |     38725 |      50      120      664 |    17261     9152     50 | 65.758 % |
194.53/194.67	c |     58187 |      50      120      664 |    18987    11223     52 | 65.758 % |
201.82/201.99	c |     87380 |      50      120      664 |    20886    11734     50 | 65.758 % |
214.42/214.52	c |    131169 |      50      120      664 |    22974    13489     52 | 65.758 % |
234.51/234.66	c |    196853 |      50      120      664 |    25272    17366     51 | 65.758 % |
266.90/267.01	c |    295381 |      50      120      664 |    27799    13939     52 | 65.758 % |
319.28/319.43	c |    443170 |      50      120      664 |    30579    25739     52 | 65.758 % |
407.45/407.67	c |    664853 |      50      120      664 |    33637    11249     54 | 65.758 % |
539.50/539.80	c |    997378 |      50      120      664 |    37001    26793     49 | 65.758 % |
770.22/770.52	c |   1496166 |      50      120      664 |    40701    33221     51 | 65.758 % |
1171.08/1171.56	c |   2244348 |      50      120      664 |    44771    13952     51 | 65.758 % |
1762.77/1763.43	c |   3366624 |      50      120      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-2656054-1276602499/watcher-2656054-1276602499 -o /tmp/evaluation-result-2656054-1276602499/solver-2656054-1276602499 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656054-1276602499.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4426
/proc/meminfo: memFree=1804356/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=2572 CPUtime=0
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 33906224 2633728 198 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 643 198 146 303 0 338 0

[startup+0.0825659 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4426
/proc/meminfo: memFree=1804356/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=2832 CPUtime=0.08
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 346 0 0 0 8 0 0 0 20 0 1 0 33906224 2899968 262 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 708 262 147 303 0 403 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2832

[startup+0.10057 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4426
/proc/meminfo: memFree=1804356/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=2832 CPUtime=0.09
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 360 0 0 0 9 0 0 0 20 0 1 0 33906224 2899968 276 1992294400 134512640 135751879 4292573552 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 708 276 147 303 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2832

[startup+0.300607 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4426
/proc/meminfo: memFree=1804356/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=3360 CPUtime=0.29
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 499 0 0 0 29 0 0 0 20 0 1 0 33906224 3440640 415 1992294400 134512640 135751879 4292573552 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 840 415 147 303 0 535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3360

[startup+0.700682 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4426
/proc/meminfo: memFree=1804356/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=4276 CPUtime=0.69
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 736 0 0 0 68 1 0 0 21 0 1 0 33906224 4378624 652 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 1069 652 148 303 0 764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4276

[startup+1.50083 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 4427
/proc/meminfo: memFree=1801620/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=5968 CPUtime=1.49
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 1150 0 0 0 147 2 0 0 23 0 1 0 33906224 6111232 1066 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 1492 1066 148 303 0 1187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5968

[startup+3.10113 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 4427
/proc/meminfo: memFree=1799264/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=9236 CPUtime=3.09
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 1946 0 0 0 305 4 0 0 18 0 1 0 33906224 9457664 1862 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 2309 1862 148 303 0 2004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9236

[startup+6.30073 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4427
/proc/meminfo: memFree=1792940/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=14872 CPUtime=6.29
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 3380 0 0 0 621 8 0 0 25 0 1 0 33906224 15228928 3296 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 3718 3296 148 303 0 3413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14872

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4429
/proc/meminfo: memFree=1782028/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=25000 CPUtime=12.69
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 5897 0 0 0 1252 17 0 0 25 0 1 0 33906224 25600000 5813 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 6250 5813 148 303 0 5945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25000

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 4429
/proc/meminfo: memFree=1763056/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=43428 CPUtime=25.49
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 10507 0 0 0 2513 36 0 0 25 0 1 0 33906224 44470272 10423 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 10857 10423 148 303 0 10552 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43428

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 4429
/proc/meminfo: memFree=1731560/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=75076 CPUtime=51.07
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 18422 0 0 0 5042 65 0 0 25 0 1 0 33906224 76877824 18338 1992294400 134512640 135751879 4292573552 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 18769 18338 148 303 0 18464 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 75076

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 4431
/proc/meminfo: memFree=1677248/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=128608 CPUtime=102.26
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 31799 0 0 0 10110 116 0 0 25 0 1 0 33906224 131694592 31715 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 32152 31715 148 303 0 31847 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128608

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4433
/proc/meminfo: memFree=1623060/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=182968 CPUtime=162.23
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 45370 0 0 0 16054 169 0 0 25 0 1 0 33906224 187359232 45286 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 45742 45286 148 303 0 45437 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 182968

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4433
/proc/meminfo: memFree=1580280/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=225492 CPUtime=222.22
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 56054 0 0 0 21995 227 0 0 25 0 1 0 33906224 230903808 55940 1992294400 134512640 135751879 4292573552 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 56373 55940 150 303 0 56068 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 225492

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4435
/proc/meminfo: memFree=1537872/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=268084 CPUtime=282.2
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 66672 0 0 0 27940 280 0 0 25 0 1 0 33906224 274518016 66558 1992294400 134512640 135751879 4292573552 18446744073709551615 134616748 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 67021 66558 150 303 0 66716 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 268084

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4437
/proc/meminfo: memFree=1499680/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=305936 CPUtime=342.18
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 76117 0 0 0 33894 324 0 0 25 0 1 0 33906224 313278464 76003 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 76484 76003 150 303 0 76179 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 305936

[startup+402.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 4439
/proc/meminfo: memFree=1465456/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=340868 CPUtime=402.16
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 84845 0 0 0 39848 368 0 0 25 0 1 0 33906224 349048832 84731 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 85217 84731 150 303 0 84912 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 340868

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 4441
/proc/meminfo: memFree=1424412/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=381156 CPUtime=462.13
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 94891 0 0 0 45802 411 0 0 25 0 1 0 33906224 390303744 94777 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 95289 94777 150 303 0 94984 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 381156

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4441
/proc/meminfo: memFree=1383120/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=422532 CPUtime=522.11
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 105267 0 0 0 51757 454 0 0 25 0 1 0 33906224 432672768 105153 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 105633 105153 150 303 0 105328 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 422532

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4443
/proc/meminfo: memFree=1346540/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=459128 CPUtime=582.1
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 114400 0 0 0 57713 497 0 0 25 0 1 0 33906224 470147072 114286 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 114782 114286 150 303 0 114477 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 459128

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4445
/proc/meminfo: memFree=1309836/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=495220 CPUtime=642.08
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 123410 0 0 0 63671 537 0 0 25 0 1 0 33906224 507105280 123296 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 123805 123296 150 303 0 123500 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 495220

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4460
/proc/meminfo: memFree=1173560/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=630576 CPUtime=881.98
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 157244 0 0 0 87506 692 0 0 25 0 1 0 33906224 645709824 157130 1992294400 134512640 135751879 4292573552 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 157644 157130 150 303 0 157339 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 630576

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4462
/proc/meminfo: memFree=1143056/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=661420 CPUtime=941.96
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 164949 0 0 0 93468 728 0 0 25 0 1 0 33906224 677294080 164835 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 165355 164835 150 303 0 165050 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 661420

[startup+1002.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 4464
/proc/meminfo: memFree=1110692/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=693380 CPUtime=1001.94
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 172930 0 0 0 99432 762 0 0 25 0 1 0 33906224 710021120 172816 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 173345 172816 150 303 0 173040 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 693380

[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 4466
/proc/meminfo: memFree=1079692/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=724836 CPUtime=1061.92
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 180806 0 0 0 105393 799 0 0 25 0 1 0 33906224 742232064 180692 1992294400 134512640 135751879 4292573552 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 181209 180692 150 303 0 180904 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 724836

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4466
/proc/meminfo: memFree=1049684/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=754540 CPUtime=1121.89
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 188232 0 0 0 111356 833 0 0 25 0 1 0 33906224 772648960 188118 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 188635 188118 150 303 0 188330 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 754540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4468
/proc/meminfo: memFree=1017940/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=786220 CPUtime=1181.88
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 196140 0 0 0 117314 874 0 0 25 0 1 0 33906224 805089280 196026 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 196555 196026 150 303 0 196250 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 786220

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4470
/proc/meminfo: memFree=989048/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=814900 CPUtime=1241.86
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 203285 0 0 0 123279 907 0 0 25 0 1 0 33906224 834457600 203171 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 203725 203171 150 303 0 203420 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 814900

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4472
/proc/meminfo: memFree=959412/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=844232 CPUtime=1301.84
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 210632 0 0 0 129244 940 0 0 25 0 1 0 33906224 864493568 210518 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 211058 210518 150 303 0 210753 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 844232

[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 4474
/proc/meminfo: memFree=927544/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=876352 CPUtime=1361.81
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 218665 0 0 0 135204 977 0 0 25 0 1 0 33906224 897384448 218551 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 219088 218551 150 303 0 218783 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 876352

[startup+1422.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 4474
/proc/meminfo: memFree=897164/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=906532 CPUtime=1421.79
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 226189 0 0 0 141166 1013 0 0 25 0 1 0 33906224 928288768 226075 1992294400 134512640 135751879 4292573552 18446744073709551615 134607430 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 226633 226075 150 303 0 226328 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 906532

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4476
/proc/meminfo: memFree=866288/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=937716 CPUtime=1481.77
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 233991 0 0 0 147124 1053 0 0 25 0 1 0 33906224 960221184 233877 1992294400 134512640 135751879 4292573552 18446744073709551615 134616760 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 234429 233877 150 303 0 234124 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 937716

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4478
/proc/meminfo: memFree=836900/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=966756 CPUtime=1541.76
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 241263 0 0 0 153090 1086 0 0 25 0 1 0 33906224 989958144 241149 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 241689 241149 150 303 0 241384 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 966756

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4480
/proc/meminfo: memFree=806892/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=996860 CPUtime=1601.73
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 248773 0 0 0 159053 1120 0 0 25 0 1 0 33906224 1020784640 248659 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 249215 248659 150 303 0 248910 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 996860

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 4482
/proc/meminfo: memFree=774528/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=1028996 CPUtime=1661.71
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 256823 0 0 0 165012 1159 0 0 25 0 1 0 33906224 1053691904 256709 1992294400 134512640 135751879 4292573552 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 257249 256709 150 303 0 256944 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1028996

[startup+1722.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 4482
/proc/meminfo: memFree=743900/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=1059684 CPUtime=1721.69
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 264470 0 0 0 170976 1193 0 0 25 0 1 0 33906224 1085116416 264356 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 264921 264356 150 303 0 264616 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1059684

[startup+1782.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 4484
/proc/meminfo: memFree=713272/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=1090292 CPUtime=1781.67
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 272126 0 0 0 176938 1229 0 0 25 0 1 0 33906224 1116459008 272012 1992294400 134512640 135751879 4292573552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 272573 272012 150 303 0 272268 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1090292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 4484
/proc/meminfo: memFree=703724/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=1099532 CPUtime=1800.08
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4202496 274442 0 0 0 178766 1242 0 0 25 0 1 0 33906224 1125920768 274328 1992294400 134512640 135751879 4292573552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4426/statm: 274883 274328 150 303 0 274578 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1099532

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: 1.08 1.04 1.00 2/107 4484
/proc/meminfo: memFree=703724/2059040 swapFree=4140448/4192956
[pid=4426] ppid=4424 vsize=0 CPUtime=1800.17
/proc/4426/stat : 4426 (wbo1.4b) R 4424 4426 4173 0 -1 4203524 274442 0 0 0 178766 1251 0 0 25 0 1 0 33906224 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/4426/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.82
CPU time (s): 1800.19
CPU user time (s): 1787.67
CPU system time (s): 12.5241
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 1099532

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

runsolver used 2.86756 second user time and 8.61669 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-15 13:48:19
IDJOB=2656054
IDBENCH=2910
IDSOLVER=1161
FILE ID=node019/2656054-1276602499
PBS_JOBID= 11172237
Free space on /tmp= 62416 MiB

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

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=2036238685

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1804760 kB
Buffers:         39172 kB
Cached:         125880 kB
SwapCached:       6012 kB
Active:          89544 kB
Inactive:        88868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1804760 kB
SwapTotal:     4192956 kB
SwapFree:      4140448 kB
Dirty:            2748 kB
Writeback:           0 kB
AnonPages:       11712 kB
Mapped:          13096 kB
Slab:            54104 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181116 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= 62412 MiB
End job on node019 at 2010-06-15 14:18:22