Trace number 2656047

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.11 1800.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark269.719
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
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 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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-2656047-1276599123.opb.
0.00/0.00	c Instance file HOME/instance-2656047-1276599123.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
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:      94                                                  |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 8                                                   |
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 |      94        8      366 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 780
0.00/0.00	o 780
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      94        9      430 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 556
0.00/0.00	o 556
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 |        62 |      94       10      494 |     5000       62     36 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 388
0.00/0.00	o 388
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 |        62 |      94       11      558 |     5000       62     36 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 380
0.00/0.00	o 380
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 |        63 |      94       12      622 |     5000       63     37 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 372
0.00/0.00	o 372
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 |        66 |      94       13      686 |     5000       66     36 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 370
0.00/0.01	o 370
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 |        67 |      94       14      750 |     5000       67     37 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 368
0.00/0.01	o 368
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 |        74 |      94       15      814 |     5000       74     36 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 348
0.00/0.01	o 348
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 |       116 |      94       16      878 |     5000      116     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 186
0.00/0.01	o 186
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 |       116 |      94       17      942 |     5000      116     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 184
0.00/0.01	o 184
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 |       117 |      94       18     1006 |     5000      117     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 171
0.00/0.01	o 171
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 |       121 |      94       19     1070 |     5000      121     35 |  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.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       132 |      94       20     1134 |     5000      132     35 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 105
0.00/0.01	o 105
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       156 |      94       21     1198 |     5000      156     34 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 77
0.00/0.02	o 77
0.00/0.02	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       203 |      86       22     1262 |     5000       90     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 56
0.00/0.02	o 56
0.00/0.02	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       207 |      86       23     1326 |     5000       94     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 32
0.00/0.02	o 32
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       226 |      78       24     1390 |     5000      113     33 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 28
0.00/0.02	o 28
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       263 |      70       25     1454 |     5000      150     33 |  0.000 % |
0.00/0.03	c |       363 |      70       25     1454 |     5500      250     34 | 25.543 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 20
0.00/0.03	o 20
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       438 |      70       26     1518 |     5000      233     35 | 25.543 % |
0.00/0.04	c |       538 |      70       26     1518 |     5500      333     35 | 25.543 % |
0.00/0.04	c |       688 |      70       26     1518 |     6050      483     34 | 25.543 % |
0.04/0.06	c |       913 |      70       26     1518 |     6655      708     34 | 25.543 % |
0.04/0.08	c |      1250 |      70       26     1518 |     7320     1045     35 | 25.543 % |
0.09/0.11	c |      1756 |      70       26     1518 |     8052     1551     34 | 25.543 % |
0.09/0.17	c |      2516 |      70       26     1518 |     8857     2311     36 | 25.543 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 19
0.09/0.18	o 19
0.09/0.18	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 179.824 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |      2745 |      70       27     1582 |     5000     2540     35 | 25.543 % |
0.09/0.19	c |      2845 |      70       27     1582 |     5500     2640     36 | 25.543 % |
0.18/0.21	c |      2995 |      70       27     1582 |     6050     2790     36 | 25.543 % |
0.18/0.22	c |      3220 |      70       27     1582 |     6655     3015     35 | 25.543 % |
0.18/0.26	c |      3557 |      70       27     1582 |     7320     3352     35 | 25.543 % |
0.28/0.31	c |      4063 |      70       27     1582 |     8052     3858     35 | 25.543 % |
0.28/0.35	c ===============================================================================
0.28/0.35	c New solution: 18
0.28/0.35	o 18
0.28/0.35	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 179.661 s
0.28/0.35	c ===============================================================================
0.28/0.35	c |      4526 |      70       28     1646 |     5000     4321     35 | 25.543 % |
0.28/0.36	c |      4626 |      70       28     1646 |     5500     4421     35 | 25.543 % |
0.28/0.38	c |      4776 |      70       28     1646 |     6050     4571     35 | 25.543 % |
0.39/0.40	c |      5002 |      70       28     1646 |     6655     4797     35 | 25.543 % |
0.39/0.44	c |      5339 |      70       28     1646 |     7320     5134     35 | 25.543 % |
0.39/0.49	c |      5846 |      70       28     1646 |     8052     5641     35 | 25.543 % |
0.48/0.51	c ===============================================================================
0.48/0.51	c New solution: 16
0.48/0.51	o 16
0.48/0.51	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 179.504 s
0.48/0.51	c ===============================================================================
0.48/0.51	c |      5982 |      70       29     1710 |     5000     5777     35 | 25.543 % |
0.48/0.54	c |      6082 |      62       29     1710 |     5500     2937     35 | 34.054 % |
0.48/0.55	c |      6233 |      62       29     1710 |     6050     3088     35 | 34.054 % |
0.48/0.57	c |      6458 |      62       29     1710 |     6655     3313     35 | 34.054 % |
0.48/0.58	c ===============================================================================
0.48/0.58	c New solution: 15
0.48/0.58	o 15
0.48/0.58	c Elapsed CPU time: 0.565913 s	Remaining CPU time: 179.434 s
0.48/0.58	c ===============================================================================
0.48/0.58	c |      6592 |      62       30     1774 |     5000     3447     35 | 34.054 % |
0.48/0.59	c ===============================================================================
0.48/0.59	c New solution: 14
0.48/0.59	o 14
0.48/0.59	c Elapsed CPU time: 0.574912 s	Remaining CPU time: 179.425 s
0.48/0.59	c ===============================================================================
0.48/0.59	c |      6681 |      62       31     1838 |     5000     3536     35 | 34.054 % |
0.48/0.59	c ===============================================================================
0.48/0.59	c New solution: 12
0.48/0.59	o 12
0.48/0.59	c Elapsed CPU time: 0.574912 s	Remaining CPU time: 179.425 s
0.48/0.59	c ===============================================================================
0.48/0.59	c |      6682 |      62       32     1902 |     5000     3537     35 | 34.054 % |
0.58/0.60	c |      6782 |      62       32     1902 |     5500     3637     35 | 34.054 % |
0.58/0.62	c |      6932 |      62       32     1902 |     6050     3787     35 | 34.054 % |
0.58/0.64	c |      7158 |      62       32     1902 |     6655     4013     35 | 34.054 % |
0.58/0.67	c |      7496 |      62       32     1902 |     7320     4351     36 | 34.054 % |
0.68/0.70	c ===============================================================================
0.68/0.70	c New solution: 11
0.68/0.70	o 11
0.68/0.70	c Elapsed CPU time: 0.681896 s	Remaining CPU time: 179.318 s
0.68/0.70	c ===============================================================================
0.68/0.70	c |      7824 |      62       33     1966 |     5000     4679     36 | 34.054 % |
0.68/0.71	c |      7924 |      62       33     1966 |     5500     4779     36 | 34.054 % |
0.68/0.73	c |      8074 |      62       33     1966 |     6050     4929     36 | 34.054 % |
0.68/0.75	c |      8299 |      62       33     1966 |     6655     5154     36 | 34.054 % |
0.68/0.79	c |      8637 |      62       33     1966 |     7320     5492     36 | 34.054 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: 9
0.79/0.81	o 9
0.79/0.81	c Elapsed CPU time: 0.78688 s	Remaining CPU time: 179.213 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |      8777 |      62       34     2030 |     5000     5632     36 | 34.054 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: 7
0.79/0.82	o 7
0.79/0.82	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 179.202 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |      8779 |      62       35     2094 |     5000     2818     38 | 34.054 % |
0.79/0.83	c |      8880 |      60       35     2094 |     5500     2919     38 | 42.565 % |
0.79/0.84	c |      9031 |      60       35     2094 |     6050     3070     38 | 42.565 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: 6
0.79/0.84	o 6
0.79/0.84	c Elapsed CPU time: 0.818875 s	Remaining CPU time: 179.181 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |      9057 |      54       36     2158 |     5000     3096     38 | 42.565 % |
0.79/0.85	c |      9158 |      54       36     2158 |     5500     3197     39 | 42.565 % |
0.79/0.86	c |      9308 |      54       36     2158 |     6050     3347     39 | 42.565 % |
0.79/0.88	c |      9534 |      54       36     2158 |     6655     3573     39 | 42.565 % |
0.89/0.91	c |      9873 |      54       36     2158 |     7320     3912     39 | 42.565 % |
0.89/0.95	c |     10379 |      54       36     2158 |     8052     4418     40 | 42.565 % |
0.99/1.02	c |     11139 |      54       36     2158 |     8857     5178     40 | 42.565 % |
1.10/1.13	c |     12278 |      54       36     2158 |     9743     6317     41 | 42.565 % |
1.28/1.33	c |     13986 |      54       36     2158 |    10717     8025     39 | 42.565 % |
1.59/1.69	c |     16548 |      54       36     2158 |    11789    10587     39 | 42.565 % |
2.19/2.23	c |     20393 |      54       36     2158 |    12968     8506     39 | 42.565 % |
2.99/3.03	c |     26159 |      54       36     2158 |    14265     7758     39 | 42.565 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c New solution: 3
3.69/3.74	o 3
3.69/3.74	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 176.346 s
3.69/3.74	c ===============================================================================
3.69/3.74	c |     31131 |      54       37     2222 |     5000    12730     41 | 42.565 % |
3.79/3.83	c |     31231 |      53       37     2222 |     5500     3283     44 | 51.075 % |
3.79/3.84	c |     31381 |      52       37     2222 |     6050     3433     44 | 51.075 % |
3.79/3.86	c |     31607 |      51       37     2222 |     6655     3659     44 | 51.075 % |
3.79/3.88	c |     31944 |      51       37     2222 |     7320     3996     44 | 51.075 % |
3.89/3.92	c |     32450 |      51       37     2222 |     8052     4502     44 | 51.075 % |
3.89/3.99	c |     33211 |      50       37     2222 |     8857     5263     44 | 51.075 % |
4.09/4.10	c |     34350 |      50       37     2222 |     9743     6402     44 | 51.075 % |
4.19/4.28	c |     36060 |      49       37     2222 |    10717     8112     45 | 51.075 % |
4.59/4.61	c |     38622 |      46       37     2222 |    11789    10671     45 | 51.075 % |
5.09/5.18	c |     42466 |      46       37     2222 |    12968     8586     46 | 51.075 % |
6.08/6.10	c |     48235 |      46       37     2222 |    14265     7835     48 | 51.075 % |
7.38/7.43	c |     56886 |      46       37     2222 |    15692     9320     48 | 51.075 % |
9.59/9.69	c |     69860 |      46       37     2222 |    17261    14415     48 | 51.075 % |
13.59/13.65	c |     89321 |      46       37     2222 |    18987    16547     48 | 51.075 % |
20.29/20.39	c |    118513 |      46       37     2222 |    20886    17154     47 | 51.075 % |
31.98/32.04	c |    162302 |      46       37     2222 |    22974    19030     47 | 51.075 % |
51.27/51.34	c |    227987 |      46       37     2222 |    25272    10969     48 | 51.075 % |
78.87/78.98	c ===============================================================================
78.87/78.98	c New solution: 2
78.87/78.98	o 2
78.87/78.98	c Elapsed CPU time: 78.0091 s	Remaining CPU time: 101.991 s
78.87/78.98	c ===============================================================================
78.87/78.98	c |    324847 |      46       38     2286 |     5000    20866     47 | 51.075 % |
79.18/79.27	c |    324947 |      38       38     2286 |     5500     2638     48 | 59.586 % |
79.18/79.29	c |    325097 |      38       38     2286 |     6050     2788     48 | 59.586 % |
79.27/79.31	c |    325323 |      38       38     2286 |     6655     3014     48 | 59.586 % |
79.27/79.34	c |    325660 |      38       38     2286 |     7320     3351     48 | 59.586 % |
79.27/79.38	c |    326168 |      38       38     2286 |     8052     3859     48 | 59.586 % |
79.37/79.46	c |    326927 |      38       38     2286 |     8857     4618     48 | 59.586 % |
79.47/79.57	c |    328067 |      38       38     2286 |     9743     5758     48 | 59.586 % |
79.66/79.76	c |    329775 |      38       38     2286 |    10717     7466     49 | 59.586 % |
80.07/80.11	c |    332337 |      38       38     2286 |    11789    10028     50 | 59.586 % |
80.57/80.67	c |    336181 |      38       38     2286 |    12968     7938     50 | 59.586 % |
81.46/81.56	c |    341947 |      38       38     2286 |    14265     7181     50 | 59.586 % |
82.97/83.01	c |    350597 |      38       38     2286 |    15692     8660     51 | 59.586 % |
85.37/85.42	c |    363571 |      38       38     2286 |    17261    13749     51 | 59.586 % |
89.46/89.52	c |    383032 |      38       38     2286 |    18987    15872     52 | 59.586 % |
96.16/96.26	c |    412225 |      38       38     2286 |    20886    16473     52 | 59.586 % |
107.46/107.58	c |    456014 |      38       38     2286 |    22974    18340     51 | 59.586 % |
126.55/126.69	c |    521700 |      38       38     2286 |    25272    11726     51 | 59.586 % |
157.05/157.16	c |    620227 |      38       38     2286 |    27799    23184     51 | 59.586 % |
182.04/182.17	c There are 56 assigned variables. 56 in cost function.
182.55/182.65	c ============================[ Search Statistics ]==============================
182.55/182.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.55/182.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.55/182.65	c ===============================================================================
182.55/182.65	c |         0 |      30       77      254 |     5000        0    nan |  0.000 % |
182.55/182.66	c |       101 |      30       77      254 |     5500      101     24 | 68.097 % |
182.55/182.67	c |       251 |      30       77      254 |     6050      251     24 | 68.097 % |
182.55/182.69	c |       476 |      30       77      254 |     6655      476     24 | 68.097 % |
182.64/182.75	c |       813 |      30       77      254 |     7320      813     24 | 68.097 % |
182.64/182.79	c |      1319 |      30       77      254 |     8052     1319     25 | 68.097 % |
182.74/182.84	c |      2078 |      30       77      254 |     8857     2078     25 | 68.097 % |
182.84/182.92	c |      3218 |      30       77      254 |     9743     3218     25 | 68.097 % |
182.94/183.08	c |      4927 |      30       77      254 |    10717     4927     25 | 68.097 % |
183.34/183.43	c |      7489 |      30       77      254 |    11789     7489     25 | 68.097 % |
184.04/184.11	c |     11334 |      30       77      254 |    12968    11334     24 | 68.097 % |
185.04/185.14	c |     17100 |      30       77      254 |    14265    10576     24 | 68.097 % |
186.84/187.00	c |     25749 |      30       77      254 |    15692    12052     25 | 68.097 % |
189.54/189.68	c |     38723 |      30       77      254 |    17261     9254     25 | 68.097 % |
194.24/194.31	c |     58184 |      30       77      254 |    18987    11371     25 | 68.097 % |
202.24/202.38	c |     87377 |      30       77      254 |    20886    11961     25 | 68.097 % |
214.34/214.48	c |    131166 |      30       77      254 |    22974    13807     25 | 68.097 % |
229.73/229.80	c |    196850 |      30       77      254 |    25272    17892     25 | 68.097 % |
253.32/253.41	c |    295376 |      30       77      254 |    27799    14761     25 | 68.097 % |
295.41/295.53	c |    443165 |      30       77      254 |    30579    26984     25 | 68.097 % |
374.59/374.77	c |    664848 |      30       77      254 |    33637    13028     24 | 68.097 % |
509.07/509.25	c |    997374 |      30       77      254 |    37001    29177     25 | 68.097 % |
747.89/748.13	c |   1496162 |      30       77      254 |    40701    36428     25 | 68.108 % |
1161.99/1162.34	c |   2244344 |      30       77      254 |    44771    18296     26 | 68.108 % |

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-2656047-1276599123/watcher-2656047-1276599123 -o /tmp/evaluation-result-2656047-1276599123/solver-2656047-1276599123 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656047-1276599123.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.01 1.00 3/106 9191
/proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=2440 CPUtime=0
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 271 0 0 0 0 0 0 0 19 0 1 0 1205175 2498560 188 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 610 188 146 303 0 305 0

[startup+0.052907 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 9191
/proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=2704 CPUtime=0.04
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 321 0 0 0 4 0 0 0 20 0 1 0 1205175 2768896 238 1992294400 134512640 135751879 4294555680 18446744073709551615 134610838 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 676 238 147 303 0 371 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2704

[startup+0.100912 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 9191
/proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=2836 CPUtime=0.09
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 367 0 0 0 9 0 0 0 20 0 1 0 1205175 2904064 284 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 709 284 147 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.300932 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 9191
/proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=3484 CPUtime=0.28
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 515 0 0 0 28 0 0 0 20 0 1 0 1205175 3567616 432 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 871 432 147 303 0 566 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3484

[startup+0.700971 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 9191
/proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=4396 CPUtime=0.68
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 750 0 0 0 67 1 0 0 20 0 1 0 1205175 4501504 667 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 1099 667 148 303 0 794 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 4396

[startup+1.50105 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9192
/proc/meminfo: memFree=1508248/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=6224 CPUtime=1.49
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 1211 0 0 0 145 4 0 0 23 0 1 0 1205175 6373376 1128 1992294400 134512640 135751879 4294555680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 1556 1128 148 303 0 1251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6224

[startup+3.10121 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9192
/proc/meminfo: memFree=1506016/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=9016 CPUtime=3.09
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 1902 0 0 0 302 7 0 0 25 0 1 0 1205175 9232384 1819 1992294400 134512640 135751879 4294555680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 2254 1819 148 303 0 1949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9016

[startup+6.30052 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9192
/proc/meminfo: memFree=1499568/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=14964 CPUtime=6.29
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 3393 0 0 0 616 13 0 0 25 0 1 0 1205175 15323136 3310 1992294400 134512640 135751879 4294555680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 3741 3310 148 303 0 3436 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14964

[startup+12.7001 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9192
/proc/meminfo: memFree=1489648/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=24368 CPUtime=12.68
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 5729 0 0 0 1247 21 0 0 25 0 1 0 1205175 24952832 5646 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 6092 5646 148 303 0 5787 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24368

[startup+25.5014 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 9192
/proc/meminfo: memFree=1475264/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=38128 CPUtime=25.48
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 9174 0 0 0 2513 35 0 0 25 0 1 0 1205175 39043072 9091 1992294400 134512640 135751879 4294555680 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 9532 9091 148 303 0 9227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38128

[startup+51.1009 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 9194
/proc/meminfo: memFree=1451208/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=62168 CPUtime=51.07
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 15157 0 0 0 5044 63 0 0 25 0 1 0 1205175 63660032 15074 1992294400 134512640 135751879 4294555680 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 15542 15074 148 303 0 15237 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62168

[startup+102.308 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 9196
/proc/meminfo: memFree=1395408/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=117528 CPUtime=102.27
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 29006 0 0 0 10102 125 0 0 25 0 1 0 1205175 120348672 28923 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 29382 28923 148 303 0 29077 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 117528

[startup+162.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 9196
/proc/meminfo: memFree=1339980/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=173540 CPUtime=162.24
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 42979 0 0 0 16030 194 0 0 25 0 1 0 1205175 177704960 42896 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 43385 42896 148 303 0 43080 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 173540

[startup+222.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 9198
/proc/meminfo: memFree=1322620/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=190004 CPUtime=222.23
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 47172 0 0 0 21972 251 0 0 25 0 1 0 1205175 194564096 47061 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 47501 47061 150 303 0 47196 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 190004

[startup+282.302 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 9200
/proc/meminfo: memFree=1293976/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=218868 CPUtime=282.22
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 54352 0 0 0 27908 314 0 0 25 0 1 0 1205175 224120832 54241 1992294400 134512640 135751879 4294555680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 54717 54241 150 303 0 54412 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 218868

[startup+342.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 9202
/proc/meminfo: memFree=1264836/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=247724 CPUtime=342.2
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 61560 0 0 0 33854 366 0 0 25 0 1 0 1205175 253669376 61449 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 61931 61449 150 303 0 61626 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 247724

[startup+402.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 9204
/proc/meminfo: memFree=1237184/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=275576 CPUtime=402.18
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 68539 0 0 0 39810 408 0 0 25 0 1 0 1205175 282189824 68428 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 68894 68428 150 303 0 68589 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 275576

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9204
/proc/meminfo: memFree=1213376/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=299292 CPUtime=462.17
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 74430 0 0 0 45768 449 0 0 25 0 1 0 1205175 306475008 74319 1992294400 134512640 135751879 4294555680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 74823 74319 150 303 0 74518 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 299292

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9206
/proc/meminfo: memFree=1188080/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=324572 CPUtime=522.16
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 80738 0 0 0 51727 489 0 0 25 0 1 0 1205175 332361728 80627 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 81143 80627 150 303 0 80838 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 324572

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9217
/proc/meminfo: memFree=1165388/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=346408 CPUtime=582.14
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 86208 0 0 0 57687 527 0 0 25 0 1 0 1205175 354721792 86097 1992294400 134512640 135751879 4294555680 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 86602 86097 150 303 0 86297 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 346408

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9219
/proc/meminfo: memFree=1143068/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=368452 CPUtime=642.12
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 91710 0 0 0 63648 564 0 0 25 0 1 0 1205175 377294848 91599 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 92113 91599 150 303 0 91808 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 368452

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9225
/proc/meminfo: memFree=1065072/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=446404 CPUtime=882.05
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 111209 0 0 0 87500 705 0 0 25 0 1 0 1205175 457117696 111098 1992294400 134512640 135751879 4294555680 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 111601 111098 150 303 0 111296 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 446404

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9227
/proc/meminfo: memFree=1045728/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=465892 CPUtime=942.04
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 116077 0 0 0 93463 741 0 0 25 0 1 0 1205175 477073408 115966 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 116473 115966 150 303 0 116168 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 465892

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9229
/proc/meminfo: memFree=1026756/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=484784 CPUtime=1002.02
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 120800 0 0 0 99425 777 0 0 25 0 1 0 1205175 496418816 120689 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 121196 120689 150 303 0 120891 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 484784

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9229
/proc/meminfo: memFree=1009272/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=502268 CPUtime=1062.01
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 125174 0 0 0 105390 811 0 0 25 0 1 0 1205175 514322432 125063 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 125567 125063 150 303 0 125262 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 502268

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9231
/proc/meminfo: memFree=989556/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=521928 CPUtime=1121.99
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 130060 0 0 0 111353 846 0 0 25 0 1 0 1205175 534454272 129949 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 130482 129949 150 303 0 130177 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 521928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9233
/proc/meminfo: memFree=971204/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=540652 CPUtime=1181.98
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 134751 0 0 0 117317 881 0 0 25 0 1 0 1205175 553627648 134640 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 135163 134640 150 303 0 134858 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 540652

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9235
/proc/meminfo: memFree=953348/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=558220 CPUtime=1241.97
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 139125 0 0 0 123285 912 0 0 25 0 1 0 1205175 571617280 139014 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 139555 139014 150 303 0 139250 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 558220

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9237
/proc/meminfo: memFree=936856/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=574504 CPUtime=1301.96
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 143175 0 0 0 129253 943 0 0 25 0 1 0 1205175 588292096 143064 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 143626 143064 150 303 0 143321 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 574504

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9237
/proc/meminfo: memFree=920240/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=591532 CPUtime=1361.93
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 147431 0 0 0 135218 975 0 0 25 0 1 0 1205175 605728768 147320 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 147883 147320 150 303 0 147578 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 591532

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9239
/proc/meminfo: memFree=904616/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=606712 CPUtime=1421.93
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 151246 0 0 0 141190 1003 0 0 25 0 1 0 1205175 621273088 151135 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 151678 151135 150 303 0 151373 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 606712

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9241
/proc/meminfo: memFree=888744/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=622552 CPUtime=1481.91
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 155204 0 0 0 147162 1029 0 0 25 0 1 0 1205175 637493248 155093 1992294400 134512640 135751879 4294555680 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 155638 155093 150 303 0 155333 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 622552

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9243
/proc/meminfo: memFree=872004/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=639204 CPUtime=1541.9
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 159361 0 0 0 153128 1062 0 0 25 0 1 0 1205175 654544896 159250 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 159801 159250 150 303 0 159496 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 639204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9245
/proc/meminfo: memFree=857992/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=653592 CPUtime=1601.88
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 162944 0 0 0 159098 1090 0 0 25 0 1 0 1205175 669278208 162833 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 163398 162833 150 303 0 163093 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 653592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9245
/proc/meminfo: memFree=841252/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=669916 CPUtime=1661.86
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 167032 0 0 0 165066 1120 0 0 25 0 1 0 1205175 685993984 166921 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 167479 166921 150 303 0 167174 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 669916

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9247
/proc/meminfo: memFree=825876/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=685492 CPUtime=1721.85
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 170908 0 0 0 171034 1151 0 0 25 0 1 0 1205175 701943808 170797 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 171373 170797 150 303 0 171068 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 685492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9249
/proc/meminfo: memFree=806904/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=704032 CPUtime=1781.84
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 175559 0 0 0 176998 1186 0 0 25 0 1 0 1205175 720928768 175448 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 176008 175448 150 303 0 175703 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 704032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9249
/proc/meminfo: memFree=802316/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=708520 CPUtime=1800.04
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 176684 0 0 0 178809 1195 0 0 25 0 1 0 1205175 725524480 176573 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 177130 176573 150 303 0 176825 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 708520

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9249
/proc/meminfo: memFree=802316/2059040 swapFree=4192956/4192956
[pid=9191] ppid=9189 vsize=708520 CPUtime=1800.04
/proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 176684 0 0 0 178809 1195 0 0 25 0 1 0 1205175 725524480 176573 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9191/statm: 177130 176573 150 303 0 176825 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 708520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.11
CPU user time (s): 1788.09
CPU system time (s): 12.0142
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 708520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.09
system time used= 12.0142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176684
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= 8
involuntary context switches= 2403

runsolver used 3.08953 second user time and 8.39572 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-15 12:52:03
IDJOB=2656047
IDBENCH=2896
IDSOLVER=1161
FILE ID=node036/2656047-1276599123
PBS_JOBID= 11172215
Free space on /tmp= 62524 MiB

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

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1195552632

node036.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.251
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.50
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.251
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:       1511636 kB
Buffers:         46532 kB
Cached:         362428 kB
SwapCached:          0 kB
Active:         185140 kB
Inactive:       283220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1511636 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2668 kB
Writeback:           0 kB
AnonPages:       59424 kB
Mapped:          15360 kB
Slab:            57180 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179844 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= 62524 MiB
End job on node036 at 2010-06-15 13:22:05