Trace number 2680549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (MO) 1442.5 1442.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark122.753
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 225
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680549-1277454908.opb.
0.00/0.00	c Instance file HOME/instance-2680549-1277454908.opb
0.00/0.00	c File size is 11487 bytes.
0.00/0.00	c Highest Coefficient sum: 6
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:      225                                                 |
0.00/0.00	c |  Number Clauses:        225                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
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 |     225      225     1065 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 75
0.00/0.00	o 75
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     225      226     1290 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 71
0.00/0.00	o 71
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     225      227     1515 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 70
0.00/0.00	o 70
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 |        10 |     225      228     1740 |     5000       10     74 |  0.000 % |
0.00/0.01	c |       111 |     225      228     1740 |     5500      111     77 |  0.002 % |
0.00/0.01	c |       261 |     225      228     1740 |     6050      261     75 |  0.002 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 69
0.00/0.01	o 69
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       261 |     225      229     1965 |     5000      261     75 |  0.002 % |
0.00/0.02	c |       361 |     225      229     1965 |     5500      361     75 |  0.002 % |
0.00/0.02	c |       512 |     225      229     1965 |     6050      512     75 |  0.002 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 68
0.00/0.03	o 68
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       512 |     225      230     2190 |     5000      512     75 |  0.002 % |
0.00/0.03	c |       613 |     225      230     2190 |     5500      613     75 |  0.002 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 65
0.00/0.03	o 65
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       613 |     225      231     2415 |     5000      613     75 |  0.002 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 64
0.00/0.03	o 64
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       615 |     225      232     2640 |     5000      615     75 |  0.002 % |
0.00/0.04	c |       715 |     225      232     2640 |     5500      715     74 |  0.002 % |
0.00/0.04	c |       865 |     225      232     2640 |     6050      865     74 |  0.002 % |
0.00/0.06	c |      1092 |     225      232     2640 |     6655     1092     73 |  0.002 % |
0.07/0.07	c |      1429 |     225      232     2640 |     7320     1429     72 |  0.002 % |
0.09/0.11	c |      1935 |     225      232     2640 |     8052     1935     72 |  0.002 % |
0.09/0.15	c |      2694 |     225      232     2640 |     8857     2694     72 |  0.002 % |
0.20/0.23	c |      3834 |     225      232     2640 |     9743     3834     72 |  0.002 % |
0.29/0.35	c |      5543 |     225      232     2640 |    10717     5543     71 |  0.002 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: 63
0.29/0.36	o 63
0.29/0.36	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 179.654 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |      5749 |     225      233     2865 |     5000     5749     71 |  0.002 % |
0.29/0.37	c |      5850 |     225      233     2865 |     5500     2976     71 |  0.002 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: 62
0.29/0.37	o 62
0.29/0.37	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 179.641 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |      5855 |     225      234     3090 |     5000     2981     71 |  0.002 % |
0.29/0.38	c |      5955 |     225      234     3090 |     5500     3081     71 |  0.002 % |
0.29/0.39	c |      6105 |     225      234     3090 |     6050     3231     71 |  0.002 % |
0.40/0.40	c |      6331 |     225      234     3090 |     6655     3457     70 |  0.002 % |
0.40/0.42	c |      6669 |     225      234     3090 |     7320     3795     70 |  0.002 % |
0.40/0.45	c |      7175 |     225      234     3090 |     8052     4301     70 |  0.002 % |
0.49/0.51	c |      7934 |     225      234     3090 |     8857     5060     70 |  0.002 % |
0.49/0.59	c |      9075 |     225      234     3090 |     9743     6201     70 |  0.002 % |
0.69/0.71	c |     10783 |     225      234     3090 |    10717     7909     69 |  0.002 % |
0.79/0.89	c |     13346 |     225      234     3090 |    11789    10472     69 |  0.002 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: 61
0.89/0.95	o 61
0.89/0.95	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 179.082 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |     14111 |     225      235     3315 |     5000    11237     69 |  0.002 % |
0.89/0.99	c |     14211 |     225      235     3315 |     5500     2910     67 |  0.002 % |
0.89/1.00	c |     14361 |     225      235     3315 |     6050     3060     67 |  0.002 % |
1.00/1.01	c |     14586 |     225      235     3315 |     6655     3285     67 |  0.002 % |
1.00/1.03	c |     14923 |     225      235     3315 |     7320     3622     67 |  0.002 % |
1.00/1.06	c |     15429 |     225      235     3315 |     8052     4128     67 |  0.002 % |
1.10/1.11	c |     16188 |     225      235     3315 |     8857     4887     67 |  0.002 % |
1.10/1.19	c |     17328 |     225      235     3315 |     9743     6027     67 |  0.002 % |
1.29/1.33	c |     19037 |     225      235     3315 |    10717     7736     67 |  0.002 % |
1.49/1.54	c |     21599 |     225      235     3315 |    11789    10298     67 |  0.002 % |
1.89/1.99	c |     25443 |     225      235     3315 |    12968     8155     68 |  0.002 % |
2.39/2.46	c |     31209 |     225      235     3315 |    14265     7344     68 |  0.002 % |
3.49/3.56	c |     39858 |     225      235     3315 |    15692     8766     68 |  0.002 % |
4.89/4.93	c |     52832 |     225      235     3315 |    17261    13796     69 |  0.002 % |
8.69/8.73	c |     72295 |     225      235     3315 |    18987    15811     70 |  0.002 % |
13.09/13.19	c |    101489 |     225      235     3315 |    20886    16231     70 |  0.002 % |
22.48/22.52	c |    145279 |     225      235     3315 |    22974    17875     68 |  0.002 % |
31.58/31.65	c |    210964 |     225      235     3315 |    25272    22297     69 |  0.002 % |
59.57/59.68	c |    309490 |     225      235     3315 |    27799    21335     68 |  0.002 % |
87.16/87.28	c |    457280 |     225      235     3315 |    30579    19641     68 |  0.002 % |
152.94/153.07	c |    678964 |     225      235     3315 |    33637    28823     68 |  0.002 % |
182.44/182.57	c There are 0 assigned variables. 0 in cost function.
183.43/183.57	c core #1
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 4	Core Weight: 1	Total Weight: 1
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #2
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 2
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #3
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 3
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #4
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 4
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #5
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 5
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #6
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 6
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #7
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 7
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #8
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 8
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #9
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 9
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #10
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 10
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #11
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 11
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #12
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 12
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #13
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 13
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #14
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 14
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #15
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 15
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #16
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 16
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #17
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 17
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #18
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 18
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #19
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 19
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #20
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 20
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #21
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 21
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #22
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 22
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #23
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 23
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #24
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 24
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #25
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 25
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #26
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 26
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #27
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 27
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #28
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 28
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #29
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 29
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #30
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 30
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #31
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 31
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #32
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 32
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #33
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 33
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #34
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 34
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #35
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 35
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #36
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 36
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #37
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 37
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #38
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 38
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #39
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 6	Core Weight: 1	Total Weight: 39
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #40
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 40
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #41
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 41
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #42
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 42
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c core #43
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 5	Core Weight: 1	Total Weight: 43
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c ============================[ Search Statistics ]==============================
183.43/183.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.57	c ===============================================================================
183.43/183.57	c |         0 |     396      503     3909 |     5000        0    nan |  0.000 % |
183.43/183.57	c ===============================================================================
183.43/183.57	c core #44
183.43/183.57	c 
183.43/183.57	c 
183.43/183.57	c Core size: 54	Core Weight: 1	Total Weight: 44
183.43/183.57	c
183.43/183.57	c
183.43/183.57	c ============================[ Search Statistics ]==============================
183.43/183.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.57	c ===============================================================================
183.43/183.57	c |         0 |     449      504     4006 |     5000        0    nan |  0.000 % |
183.43/183.58	c ===============================================================================
183.43/183.58	c core #45
183.43/183.58	c 
183.43/183.58	c 
183.43/183.58	c Core size: 84	Core Weight: 1	Total Weight: 45
183.43/183.58	c
183.43/183.58	c
183.43/183.58	c ============================[ Search Statistics ]==============================
183.43/183.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.58	c ===============================================================================
183.43/183.58	c |         0 |     526      505     4156 |     5000        0    nan |  0.000 % |
183.43/183.59	c |       102 |     526      505     4156 |     5500      102     18 |  2.593 % |
183.43/183.59	c |       252 |     526      505     4156 |     6050      252     17 |  2.593 % |
183.54/183.61	c |       479 |     526      505     4156 |     6655      479     19 |  2.593 % |
183.54/183.63	c |       817 |     526      505     4156 |     7320      817     23 |  2.593 % |
183.54/183.68	c |      1330 |     526      505     4156 |     8052     1330     26 |  2.593 % |
183.63/183.75	c |      2089 |     525      505     4156 |     8857     2069     27 |  2.778 % |
183.63/183.79	c ===============================================================================
183.73/183.82	c core #46
183.73/183.82	c 
183.73/183.82	c 
183.73/183.82	c Core size: 123	Core Weight: 1	Total Weight: 46
183.73/183.82	c
183.73/183.82	c
183.73/183.82	c ============================[ Search Statistics ]==============================
183.73/183.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.82	c ===============================================================================
183.73/183.82	c |         0 |     639      506     4379 |     5000        0    nan |  0.000 % |
183.73/183.83	c |       101 |     639      506     4379 |     5500      101     49 |  1.693 % |
183.73/183.84	c |       252 |     639      506     4379 |     6050      252     36 |  1.693 % |
183.73/183.86	c |       477 |     639      506     4379 |     6655      477     34 |  1.693 % |
183.73/183.89	c |       814 |     639      506     4379 |     7320      814     40 |  1.693 % |
183.83/183.94	c |      1321 |     639      506     4379 |     8052     1321     42 |  1.693 % |
183.93/184.02	c |      2081 |     639      506     4379 |     8857     2081     47 |  1.693 % |
184.03/184.14	c |      3222 |     635      506     4379 |     9743     3219     50 |  2.308 % |
184.23/184.35	c |      4930 |     635      506     4379 |    10717     4927     49 |  2.308 % |
184.64/184.73	c |      7497 |     627      506     4379 |    11789     7488     52 |  3.539 % |
185.53/185.62	c |     11346 |     627      506     4379 |    12968    11337     63 |  3.539 % |
187.03/187.15	c |     17112 |     627      506     4379 |    14265    10542     82 |  3.539 % |
187.33/187.43	c ===============================================================================
187.53/187.66	c core #47
187.53/187.66	c 
187.53/187.66	c 
187.53/187.66	c Core size: 173	Core Weight: 1	Total Weight: 47
187.53/187.66	c
187.53/187.66	c
187.53/187.66	c ============================[ Search Statistics ]==============================
187.53/187.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.53/187.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.53/187.66	c ===============================================================================
187.53/187.66	c |         0 |     815      507     4723 |     5000        0    nan |  0.000 % |
187.53/187.68	c |       103 |     815      507     4723 |     5500      103     64 |  0.367 % |
187.53/187.69	c |       254 |     815      507     4723 |     6050      254     69 |  0.367 % |
187.63/187.73	c |       479 |     815      507     4723 |     6655      479     70 |  0.367 % |
187.63/187.77	c |       819 |     815      507     4723 |     7320      819     72 |  0.367 % |
187.73/187.85	c |      1329 |     815      507     4723 |     8052     1329     75 |  0.367 % |
187.83/187.99	c |      2090 |     815      507     4723 |     8857     2090     83 |  0.367 % |
188.13/188.20	c |      3230 |     815      507     4723 |     9743     3230     85 |  0.367 % |
188.32/188.48	c |      4940 |     815      507     4723 |    10717     4940     84 |  0.367 % |
188.83/188.98	c |      7503 |     813      507     4723 |    11789     7502     86 |  0.611 % |
189.83/189.95	c |     11352 |     622      507     4723 |    12968     7115    113 | 23.961 % |
190.63/190.74	c ===============================================================================
190.73/190.84	c core #48
190.73/190.84	c 
190.73/190.84	c 
190.73/190.84	c Core size: 207	Core Weight: 1	Total Weight: 48
190.73/190.84	c
190.73/190.84	c
190.73/190.84	c ============================[ Search Statistics ]==============================
190.73/190.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.84	c ===============================================================================
190.73/190.84	c |         0 |    1021      508     5132 |     5000        0    nan |  0.000 % |
190.73/190.85	c |       101 |    1021      508     5132 |     5500      101     68 |  0.000 % |
190.73/190.87	c |       252 |    1021      508     5132 |     6050      252     71 |  0.000 % |
190.73/190.89	c |       477 |    1021      508     5132 |     6655      477     53 |  0.000 % |
190.83/190.93	c |       816 |    1021      508     5132 |     7320      816     80 |  0.000 % |
190.83/190.99	c |      1323 |    1021      508     5132 |     8052     1323     94 |  0.000 % |
191.03/191.14	c |      2084 |    1021      508     5132 |     8857     2084    114 |  0.000 % |
191.23/191.35	c |      3223 |    1021      508     5132 |     9743     3223    111 |  0.000 % |
191.53/191.65	c |      4931 |    1021      508     5132 |    10717     4931    112 |  0.000 % |
192.12/192.21	c |      7494 |    1021      508     5132 |    11789     7494    129 |  0.000 % |
193.54/193.62	c |     11338 |    1021      508     5132 |    12968    11338    142 |  0.000 % |
195.53/195.63	c |     17105 |    1021      508     5132 |    14265    10512    147 |  0.000 % |
200.03/200.11	c |     25755 |    1021      508     5132 |    15692    11923    146 |  0.000 % |
205.33/205.45	c |     38729 |    1021      508     5132 |    17261     8998    164 |  0.000 % |
207.43/207.54	c ===============================================================================
207.52/207.66	c core #49
207.52/207.66	c 
207.52/207.66	c 
207.52/207.66	c Core size: 203	Core Weight: 1	Total Weight: 49
207.52/207.66	c
207.52/207.66	c
207.52/207.66	c ============================[ Search Statistics ]==============================
207.52/207.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.52/207.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.52/207.66	c ===============================================================================
207.52/207.66	c |         0 |    1210      509     5510 |     5000        0    nan |  0.000 % |
207.52/207.69	c |       101 |    1210      509     5510 |     5500      101    135 |  0.000 % |
207.62/207.70	c |       252 |    1210      509     5510 |     6050      252     77 |  0.000 % |
207.62/207.74	c |       477 |    1210      509     5510 |     6655      477    109 |  0.000 % |
207.62/207.80	c |       814 |    1210      509     5510 |     7320      814    122 |  0.000 % |
207.73/207.85	c |      1320 |    1210      509     5510 |     8052     1320     98 |  0.000 % |
207.83/207.95	c |      2087 |    1210      509     5510 |     8857     2087     87 |  0.000 % |
208.03/208.12	c |      3228 |    1210      509     5510 |     9743     3228     72 |  0.000 % |
208.32/208.40	c |      4940 |    1210      509     5510 |    10717     4940     66 |  0.000 % |
208.72/208.86	c |      7503 |    1210      509     5510 |    11789     7503     64 |  0.000 % |
209.52/209.65	c |     11349 |    1210      509     5510 |    12968    11349     72 |  0.000 % |
211.03/211.14	c |     17117 |    1210      509     5510 |    14265    10472     99 |  0.000 % |
213.82/213.98	c |     25767 |    1210      509     5510 |    15692    11877     92 |  0.000 % |
219.02/219.13	c |     38745 |    1210      509     5510 |    17261     8880     82 |  0.000 % |
227.11/227.28	c |     58207 |    1210      509     5510 |    18987    10688    128 |  0.000 % |
245.81/245.96	c |     87400 |    1210      509     5510 |    20886    11003    141 |  0.000 % |
266.60/266.78	c |    131193 |    1210      509     5510 |    22974    12484     98 |  0.000 % |
307.69/307.80	c |    196882 |    1210      509     5510 |    25272    20220    123 |  0.000 % |
398.36/398.58	c |    295408 |    1210      509     5510 |    27799    16124    145 |  0.000 % |
495.32/495.52	c ===============================================================================
507.52/507.72	c core #50
507.52/507.72	c 
507.52/507.72	c 
507.52/507.72	c Core size: 227	Core Weight: 1	Total Weight: 50
507.52/507.72	c
507.52/507.72	c
507.52/507.72	c ============================[ Search Statistics ]==============================
507.52/507.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
507.52/507.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
507.52/507.72	c ===============================================================================
507.52/507.72	c |         0 |    1430      510     5950 |     5000        0    nan |  0.000 % |
507.62/507.83	c |       100 |    1430      510     5950 |     5500      100     81 |  0.000 % |
507.62/507.85	c |       250 |    1430      510     5950 |     6050      250     55 |  0.000 % |
507.72/507.92	c |       476 |    1430      510     5950 |     6655      476     79 |  0.000 % |
507.72/507.95	c |       814 |    1430      510     5950 |     7320      814     66 |  0.000 % |
507.82/508.03	c |      1321 |    1430      510     5950 |     8052     1321    114 |  0.000 % |
507.93/508.13	c |      2080 |    1430      510     5950 |     8857     2080    112 |  0.000 % |
508.12/508.36	c |      3221 |    1430      510     5950 |     9743     3221    125 |  0.000 % |
508.42/508.66	c |      4930 |    1430      510     5950 |    10717     4930    113 |  0.000 % |
509.02/509.29	c |      7494 |    1430      510     5950 |    11789     7494    129 |  0.000 % |
510.13/510.30	c |     11338 |    1430      510     5950 |    12968    11338    148 |  0.000 % |
512.72/512.97	c |     17108 |    1430      510     5950 |    14265    10274    250 |  0.000 % |
516.72/516.97	c |     25758 |    1430      510     5950 |    15692    11362    279 |  0.000 % |
523.62/523.87	c |     38736 |    1430      510     5950 |    17261    16212    285 |  0.000 % |
536.31/536.52	c |     58201 |    1430      510     5950 |    18987     9106    212 |  0.000 % |
550.50/550.72	c |     87393 |    1430      510     5950 |    20886    18866    171 |  0.000 % |
577.40/577.64	c |    131182 |    1430      510     5950 |    22974    20201    202 |  0.000 % |
632.08/632.34	c |    196868 |    1430      510     5950 |    25272    15295    277 |  0.000 % |
720.16/720.41	c |    295395 |    1430      510     5950 |    27799    22790    361 |  0.000 % |
905.00/905.37	c |    443187 |    1430      510     5950 |    30579    14557    347 |  0.000 % |
1191.59/1192.09	c |    664877 |    1430      510     5950 |    33637    20341    276 |  0.000 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 19781
/proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=2576 CPUtime=0
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 119142673 2637824 206 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 644 206 144 303 0 339 0

[startup+0.076711 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 19781
/proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=3092 CPUtime=0.07
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 427 0 0 0 7 0 0 0 25 0 1 0 119142673 3166208 343 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 773 343 145 303 0 468 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3092

[startup+0.101715 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 19781
/proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=3220 CPUtime=0.09
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 467 0 0 0 9 0 0 0 25 0 1 0 119142673 3297280 383 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 805 383 145 303 0 500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3220

[startup+0.301751 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 19781
/proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=4512 CPUtime=0.29
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 775 0 0 0 28 1 0 0 25 0 1 0 119142673 4620288 691 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 1128 692 145 303 0 823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4512

[startup+0.701823 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 19781
/proc/meminfo: memFree=1853960/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=6696 CPUtime=0.69
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 1329 0 0 0 66 3 0 0 25 0 1 0 119142673 6856704 1245 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 1674 1245 145 303 0 1369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6696

[startup+1.50097 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19782
/proc/meminfo: memFree=1847876/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=10616 CPUtime=1.49
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 2313 0 0 0 143 6 0 0 25 0 1 0 119142673 10870784 2229 1992294400 134512640 135752675 4294733408 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 2654 2229 145 303 0 2349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10616

[startup+3.10126 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19782
/proc/meminfo: memFree=1843040/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=16572 CPUtime=3.09
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 3790 0 0 0 299 10 0 0 25 0 1 0 119142673 16969728 3706 1992294400 134512640 135752675 4294733408 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 4143 3706 145 303 0 3838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16572

[startup+6.30084 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19782
/proc/meminfo: memFree=1831632/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=26072 CPUtime=6.29
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 6167 0 0 0 613 16 0 0 25 0 1 0 119142673 26697728 6083 1992294400 134512640 135752675 4294733408 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 6518 6083 145 303 0 6213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26072

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19782
/proc/meminfo: memFree=1816752/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=40332 CPUtime=12.69
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 9715 0 0 0 1243 26 0 0 25 0 1 0 119142673 41299968 9631 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 10083 9631 145 303 0 9778 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40332

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19782
/proc/meminfo: memFree=1788976/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=67408 CPUtime=25.48
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 16499 0 0 0 2502 46 0 0 25 0 1 0 119142673 69025792 16415 1992294400 134512640 135752675 4294733408 18446744073709551615 134612030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 16852 16415 145 303 0 16547 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67408

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19784
/proc/meminfo: memFree=1746816/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=109496 CPUtime=51.08
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 26990 0 0 0 5029 79 0 0 25 0 1 0 119142673 112123904 26906 1992294400 134512640 135752675 4294733408 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 27374 26906 145 303 0 27069 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109496

[startup+102.309 s]
/proc/loadavg: 1.04 1.01 0.91 2/107 19784
/proc/meminfo: memFree=1663612/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=192020 CPUtime=102.26
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 47554 0 0 0 10082 144 0 0 25 0 1 0 119142673 196628480 47470 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 48005 47470 145 303 0 47700 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 192020

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 0.91 2/107 19786
/proc/meminfo: memFree=1581276/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=274860 CPUtime=162.23
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 68267 0 0 0 16007 216 0 0 25 0 1 0 119142673 281456640 68183 1992294400 134512640 135752675 4294733408 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 68715 68183 145 303 0 68410 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 274860

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 19788
/proc/meminfo: memFree=1505512/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=349620 CPUtime=222.22
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 87090 0 0 0 21918 304 0 0 25 0 1 0 119142673 358010880 86972 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 87405 86972 146 303 0 87100 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 349620

[startup+282.301 s]
/proc/loadavg: 1.03 1.01 0.92 2/107 19793
/proc/meminfo: memFree=1390500/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=415432 CPUtime=282.2
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 103483 0 0 0 27864 356 0 0 25 0 1 0 119142673 425402368 103365 1992294400 134512640 135752675 4294733408 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 103858 103365 146 303 0 103553 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 415432

[startup+342.301 s]
/proc/loadavg: 1.06 1.02 0.93 2/107 19795
/proc/meminfo: memFree=1330112/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=475548 CPUtime=342.18
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 118470 0 0 0 33824 394 0 0 25 0 1 0 119142673 486961152 118352 1992294400 134512640 135752675 4294733408 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 118887 118352 146 303 0 118582 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 475548

[startup+402.301 s]
/proc/loadavg: 1.02 1.02 0.93 2/107 19795
/proc/meminfo: memFree=1277784/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=528388 CPUtime=402.16
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 131634 0 0 0 39788 428 0 0 25 0 1 0 119142673 541069312 131516 1992294400 134512640 135752675 4294733408 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 132097 131516 146 303 0 131792 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 528388

[startup+462.302 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 19797
/proc/meminfo: memFree=1222356/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=583352 CPUtime=462.13
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 145344 0 0 0 45752 461 0 0 25 0 1 0 119142673 597352448 145226 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 145838 145226 146 303 0 145533 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 583352

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 0.93 2/107 19799
/proc/meminfo: memFree=1163332/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=643192 CPUtime=522.11
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 160488 0 0 0 51707 504 0 0 25 0 1 0 119142673 658628608 160370 1992294400 134512640 135752675 4294733408 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 160798 160370 146 303 0 160493 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 643192

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 19801
/proc/meminfo: memFree=1078516/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=726768 CPUtime=582.09
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 181354 0 0 0 57640 569 0 0 25 0 1 0 119142673 744210432 181236 1992294400 134512640 135752675 4294733408 18446744073709551615 134639952 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 181692 181236 146 303 0 181387 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 726768

[startup+642.3 s]
/proc/loadavg: 1.07 1.02 0.93 2/107 19803
/proc/meminfo: memFree=984152/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=820332 CPUtime=642.09
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 204715 0 0 0 63594 615 0 0 25 0 1 0 119142673 840019968 204597 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 205083 204597 146 303 0 204778 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 820332

[startup+702.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/107 19803
/proc/meminfo: memFree=884208/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=920876 CPUtime=702.05
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 229865 0 0 0 69544 661 0 0 25 0 1 0 119142673 942977024 229747 1992294400 134512640 135752675 4294733408 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 230219 229747 146 303 0 229914 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 920876

[startup+762.309 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 19805
/proc/meminfo: memFree=805468/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=998768 CPUtime=762.05
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 249289 0 0 0 75511 694 0 0 25 0 1 0 119142673 1022738432 249171 1992294400 134512640 135752675 4294733408 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 249692 249171 146 303 0 249387 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 998768

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 19807
/proc/meminfo: memFree=742476/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1063308 CPUtime=822.01
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 265412 0 0 0 81475 726 0 0 25 0 1 0 119142673 1088827392 265294 1992294400 134512640 135752675 4294733408 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 265827 265294 146 303 0 265522 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1063308

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 19809
/proc/meminfo: memFree=654560/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1149584 CPUtime=882
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 286979 0 0 0 87434 766 0 0 25 0 1 0 119142673 1177174016 286861 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 287396 286861 146 303 0 287091 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1149584

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 19811
/proc/meminfo: memFree=578796/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1226116 CPUtime=941.98
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 306107 0 0 0 93396 802 0 0 25 0 1 0 119142673 1255542784 305989 1992294400 134512640 135752675 4294733408 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 306529 305989 146 303 0 306224 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1226116

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 19811
/proc/meminfo: memFree=517664/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1286608 CPUtime=1001.96
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 321221 0 0 0 99363 833 0 0 25 0 1 0 119142673 1317486592 321103 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 321652 321103 146 303 0 321347 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 1286608

[startup+1062.3 s]
/proc/loadavg: 1.06 1.01 0.94 2/107 19813
/proc/meminfo: memFree=440288/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1364492 CPUtime=1061.94
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 340666 0 0 0 105328 866 0 0 25 0 1 0 119142673 1397239808 340548 1992294400 134512640 135752675 4294733408 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 341123 340548 146 303 0 340818 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1364492

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 0.94 2/107 19815
/proc/meminfo: memFree=385356/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1418360 CPUtime=1121.92
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 354108 0 0 0 111298 894 0 0 25 0 1 0 119142673 1452400640 353990 1992294400 134512640 135752675 4294733408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 354590 353990 146 303 0 354285 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1418360

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19817
/proc/meminfo: memFree=316660/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1488076 CPUtime=1181.89
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 371501 0 0 0 117258 931 0 0 25 0 1 0 119142673 1523789824 371383 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 372019 371383 146 303 0 371714 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1488076

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19819
/proc/meminfo: memFree=231844/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1571840 CPUtime=1241.88
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 392439 0 0 0 123218 970 0 0 25 0 1 0 119142673 1609564160 392321 1992294400 134512640 135752675 4294733408 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 392960 392321 146 303 0 392655 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1571840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19819
/proc/meminfo: memFree=147648/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1655556 CPUtime=1301.87
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 413349 0 0 0 129182 1005 0 0 25 0 1 0 119142673 1695289344 413231 1992294400 134512640 135752675 4294733408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 413889 413231 146 303 0 413584 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1655556

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19821
/proc/meminfo: memFree=57872/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1745932 CPUtime=1361.84
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 435916 0 0 0 135140 1044 0 0 25 0 1 0 119142673 1787834368 435798 1992294400 134512640 135752675 4294733408 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 436483 435798 146 303 0 436178 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1745932

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19823
/proc/meminfo: memFree=10460/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1814688 CPUtime=1421.83
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 453106 0 0 0 141108 1075 0 0 25 0 1 0 119142673 1858240512 452988 1992294400 134512640 135752675 4294733408 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 453672 452988 146 303 0 453367 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1814688



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1442.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19823
/proc/meminfo: memFree=9712/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=1843244 CPUtime=1442.32
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4202496 460209 0 0 0 143142 1090 0 0 25 0 1 0 119142673 1887481856 460091 1992294400 134512640 135752675 4294733408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19781/statm: 460811 460091 146 303 0 460506 0
Current children cumulated CPU time (s) 1442.32
Current children cumulated vsize (KiB) 1843244

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

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

[startup+1442.91 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 19823
/proc/meminfo: memFree=9712/2059040 swapFree=4136184/4192956
[pid=19781] ppid=19779 vsize=0 CPUtime=1442.42
/proc/19781/stat : 19781 (wbo1.4b) R 19779 19781 19605 0 -1 4203524 460210 0 0 0 143142 1100 0 0 25 0 1 0 119142673 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/19781/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1442.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1442.99
CPU time (s): 1442.5
CPU user time (s): 1431.43
CPU system time (s): 11.0783
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 1843244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1431.43
system time used= 11.0783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3000

runsolver used 3.04054 second user time and 7.17891 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-25 10:35:08
IDJOB=2680549
IDBENCH=2214
IDSOLVER=1190
FILE ID=node027/2680549-1277454908
PBS_JOBID= 11188137
Free space on /tmp= 62032 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680549-1277454908/watcher-2680549-1277454908 -o /tmp/evaluation-result-2680549-1277454908/solver-2680549-1277454908 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680549-1277454908.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=172133165

node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854240 kB
Buffers:         33884 kB
Cached:          77084 kB
SwapCached:       9244 kB
Active:          11840 kB
Inactive:       112344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854240 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       11772 kB
Mapped:           8412 kB
Slab:            58400 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182200 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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