Trace number 3460886

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.6? (TO) 1800.07 1800.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark192
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460886-1307076265.opb.
0.00/0.00	c Instance file HOME/instance-3460886-1307076265.opb
0.00/0.00	c File size is 43630 bytes.
0.00/0.00	c Highest Coefficient sum: 228
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:      479                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 479                                                 |
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 |     479      479     4305 |     5000        0   -nan |  0.000 % |
0.01/0.02	c core #1
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 13	Core Weight: 1	Total Weight: 1
0.01/0.02	c Current CPU time: 0.003999 s
0.01/0.02	c
0.01/0.02	c core #2
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 2
0.01/0.02	c Current CPU time: 0.004999 s
0.01/0.02	c
0.01/0.02	c core #3
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 3
0.01/0.02	c Current CPU time: 0.004999 s
0.01/0.02	c
0.01/0.02	c core #4
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 14	Core Weight: 1	Total Weight: 4
0.01/0.02	c Current CPU time: 0.005999 s
0.01/0.02	c
0.01/0.02	c core #5
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 11	Core Weight: 1	Total Weight: 5
0.01/0.02	c Current CPU time: 0.005999 s
0.01/0.02	c
0.01/0.02	c core #6
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 6
0.01/0.02	c Current CPU time: 0.006998 s
0.01/0.02	c
0.01/0.02	c core #7
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 7
0.01/0.02	c Current CPU time: 0.006998 s
0.01/0.02	c
0.01/0.02	c core #8
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 11	Core Weight: 1	Total Weight: 8
0.01/0.02	c Current CPU time: 0.006998 s
0.01/0.02	c
0.01/0.02	c core #9
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 9
0.01/0.02	c Current CPU time: 0.007998 s
0.01/0.02	c
0.01/0.02	c core #10
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 10	Core Weight: 1	Total Weight: 10
0.01/0.02	c Current CPU time: 0.007998 s
0.01/0.02	c
0.01/0.02	c core #11
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 9	Core Weight: 1	Total Weight: 11
0.01/0.02	c Current CPU time: 0.008998 s
0.01/0.02	c
0.01/0.02	c core #12
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 10	Core Weight: 1	Total Weight: 12
0.01/0.02	c Current CPU time: 0.008998 s
0.01/0.02	c
0.01/0.02	c core #13
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 10	Core Weight: 1	Total Weight: 13
0.01/0.02	c Current CPU time: 0.009998 s
0.01/0.02	c
0.01/0.02	c core #14
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 14
0.01/0.02	c Current CPU time: 0.009998 s
0.01/0.02	c
0.01/0.02	c core #15
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 15
0.01/0.02	c Current CPU time: 0.010998 s
0.01/0.02	c
0.01/0.02	c core #16
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 16
0.01/0.02	c Current CPU time: 0.010998 s
0.01/0.02	c
0.01/0.02	c core #17
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 17
0.01/0.02	c Current CPU time: 0.011998 s
0.01/0.02	c
0.01/0.02	c core #18
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 18
0.01/0.02	c Current CPU time: 0.011998 s
0.01/0.02	c
0.01/0.02	c core #19
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 19
0.01/0.02	c Current CPU time: 0.012998 s
0.01/0.02	c
0.01/0.02	c core #20
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 20
0.01/0.02	c Current CPU time: 0.012998 s
0.01/0.02	c
0.01/0.02	c core #21
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 21
0.01/0.02	c Current CPU time: 0.013997 s
0.01/0.02	c
0.01/0.02	c core #22
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 11	Core Weight: 1	Total Weight: 22
0.01/0.02	c Current CPU time: 0.013997 s
0.01/0.02	c
0.01/0.02	c core #23
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 23
0.01/0.02	c Current CPU time: 0.014997 s
0.01/0.02	c
0.01/0.02	c core #24
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 24
0.01/0.02	c Current CPU time: 0.014997 s
0.01/0.02	c
0.01/0.02	c core #25
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 25
0.01/0.02	c Current CPU time: 0.015997 s
0.01/0.02	c
0.01/0.02	c core #26
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 26
0.01/0.02	c Current CPU time: 0.015997 s
0.01/0.02	c
0.01/0.02	c core #27
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 27
0.01/0.02	c Current CPU time: 0.016997 s
0.01/0.02	c
0.01/0.02	c core #28
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 11	Core Weight: 1	Total Weight: 28
0.01/0.02	c Current CPU time: 0.016997 s
0.01/0.02	c
0.01/0.02	c core #29
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 29
0.01/0.02	c Current CPU time: 0.017997 s
0.01/0.02	c
0.01/0.02	c core #30
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 30
0.01/0.02	c Current CPU time: 0.017997 s
0.01/0.02	c
0.01/0.02	c core #31
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 31
0.01/0.02	c Current CPU time: 0.018997 s
0.01/0.02	c
0.01/0.02	c core #32
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 32
0.01/0.02	c Current CPU time: 0.019996 s
0.01/0.02	c
0.01/0.02	c core #33
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 33
0.01/0.02	c Current CPU time: 0.019996 s
0.01/0.02	c
0.01/0.02	c core #34
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 34
0.01/0.02	c Current CPU time: 0.020996 s
0.01/0.02	c
0.01/0.02	c core #35
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 35
0.01/0.02	c Current CPU time: 0.021996 s
0.01/0.02	c
0.01/0.02	c core #36
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 36
0.01/0.02	c Current CPU time: 0.021996 s
0.01/0.02	c
0.01/0.02	c core #37
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 37
0.01/0.02	c Current CPU time: 0.022996 s
0.01/0.02	c
0.01/0.02	c core #38
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 38
0.01/0.02	c Current CPU time: 0.022996 s
0.01/0.02	c
0.01/0.02	c core #39
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 39
0.01/0.02	c Current CPU time: 0.023996 s
0.01/0.02	c
0.01/0.02	c core #40
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 40
0.01/0.02	c Current CPU time: 0.024996 s
0.01/0.02	c
0.01/0.02	c core #41
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 41
0.01/0.02	c Current CPU time: 0.024996 s
0.01/0.02	c
0.01/0.02	c core #42
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 42
0.01/0.02	c Current CPU time: 0.025996 s
0.01/0.02	c
0.01/0.02	c core #43
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 43
0.01/0.06	c Current CPU time: 0.026995 s
0.01/0.06	c
0.01/0.06	c core #44
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 6	Core Weight: 1	Total Weight: 44
0.01/0.06	c Current CPU time: 0.027995 s
0.01/0.06	c
0.01/0.06	c core #45
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 7	Core Weight: 1	Total Weight: 45
0.01/0.06	c Current CPU time: 0.027995 s
0.01/0.06	c
0.01/0.06	c core #46
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 6	Core Weight: 1	Total Weight: 46
0.01/0.06	c Current CPU time: 0.028995 s
0.01/0.06	c
0.01/0.06	c core #47
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 47
0.01/0.06	c Current CPU time: 0.029995 s
0.01/0.06	c
0.01/0.06	c core #48
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 48
0.01/0.06	c Current CPU time: 0.029995 s
0.01/0.06	c
0.01/0.06	c core #49
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 7	Core Weight: 1	Total Weight: 49
0.01/0.06	c Current CPU time: 0.030995 s
0.01/0.06	c
0.01/0.06	c core #50
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 50
0.01/0.06	c Current CPU time: 0.031995 s
0.01/0.06	c
0.01/0.06	c core #51
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 5	Core Weight: 1	Total Weight: 51
0.01/0.06	c Current CPU time: 0.032994 s
0.01/0.06	c
0.01/0.06	c core #52
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 52
0.01/0.06	c Current CPU time: 0.032994 s
0.01/0.06	c
0.01/0.06	c core #53
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 5	Core Weight: 1	Total Weight: 53
0.01/0.06	c Current CPU time: 0.033994 s
0.01/0.06	c
0.01/0.06	c core #54
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 6	Core Weight: 1	Total Weight: 54
0.01/0.06	c Current CPU time: 0.034994 s
0.01/0.06	c
0.01/0.06	c core #55
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 55
0.01/0.06	c Current CPU time: 0.035994 s
0.01/0.06	c
0.01/0.06	c core #56
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 5	Core Weight: 1	Total Weight: 56
0.01/0.06	c Current CPU time: 0.036994 s
0.01/0.06	c
0.01/0.06	c core #57
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 5	Core Weight: 1	Total Weight: 57
0.01/0.06	c Current CPU time: 0.036994 s
0.01/0.06	c
0.01/0.06	c core #58
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 58
0.01/0.06	c Current CPU time: 0.037994 s
0.01/0.06	c
0.01/0.06	c core #59
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 59
0.01/0.06	c Current CPU time: 0.038994 s
0.01/0.06	c
0.01/0.06	c core #60
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 60
0.01/0.06	c Current CPU time: 0.039993 s
0.01/0.06	c
0.01/0.06	c core #61
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 5	Core Weight: 1	Total Weight: 61
0.01/0.06	c Current CPU time: 0.040993 s
0.01/0.06	c
0.01/0.06	c core #62
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 62
0.01/0.06	c Current CPU time: 0.041993 s
0.01/0.06	c
0.01/0.06	c core #63
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 63
0.01/0.06	c Current CPU time: 0.041993 s
0.01/0.06	c
0.01/0.06	c core #64
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 64
0.01/0.06	c Current CPU time: 0.042993 s
0.01/0.06	c
0.01/0.06	c core #65
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 65
0.01/0.06	c Current CPU time: 0.043993 s
0.01/0.06	c
0.01/0.06	c core #66
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 7	Core Weight: 1	Total Weight: 66
0.01/0.06	c Current CPU time: 0.044993 s
0.01/0.06	c
0.01/0.06	c core #67
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 67
0.01/0.06	c Current CPU time: 0.045993 s
0.01/0.06	c
0.01/0.06	c core #68
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 10	Core Weight: 1	Total Weight: 68
0.01/0.06	c Current CPU time: 0.046992 s
0.01/0.06	c
0.01/0.06	c core #69
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 5	Core Weight: 1	Total Weight: 69
0.01/0.06	c Current CPU time: 0.047992 s
0.01/0.06	c
0.01/0.06	c core #70
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 70
0.01/0.06	c Current CPU time: 0.048992 s
0.01/0.06	c
0.01/0.06	c core #71
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 71
0.01/0.06	c Current CPU time: 0.049992 s
0.01/0.06	c
0.01/0.06	c core #72
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 72
0.01/0.06	c Current CPU time: 0.051992 s
0.01/0.06	c
0.01/0.06	c core #73
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 6	Core Weight: 1	Total Weight: 73
0.01/0.06	c Current CPU time: 0.052991 s
0.01/0.06	c
0.01/0.06	c core #74
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 10	Core Weight: 1	Total Weight: 74
0.01/0.06	c Current CPU time: 0.053991 s
0.01/0.06	c
0.01/0.06	c core #75
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 9	Core Weight: 1	Total Weight: 75
0.01/0.06	c Current CPU time: 0.054991 s
0.01/0.06	c
0.01/0.06	c core #76
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 9	Core Weight: 1	Total Weight: 76
0.01/0.06	c Current CPU time: 0.055991 s
0.01/0.06	c
0.01/0.06	c core #77
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 7	Core Weight: 1	Total Weight: 77
0.01/0.06	c Current CPU time: 0.057991 s
0.01/0.06	c
0.01/0.06	c core #78
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 10	Core Weight: 1	Total Weight: 78
0.01/0.06	c Current CPU time: 0.058991 s
0.01/0.06	c
0.01/0.06	c core #79
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 8	Core Weight: 1	Total Weight: 79
0.01/0.06	c Current CPU time: 0.05999 s
0.01/0.06	c
0.01/0.06	c core #80
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 8	Core Weight: 1	Total Weight: 80
0.01/0.06	c Current CPU time: 0.06199 s
0.01/0.06	c
0.01/0.06	c core #81
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 14	Core Weight: 1	Total Weight: 81
0.01/0.06	c Current CPU time: 0.06299 s
0.01/0.06	c
0.01/0.06	c core #82
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 8	Core Weight: 1	Total Weight: 82
0.01/0.06	c Current CPU time: 0.06399 s
0.01/0.06	c
0.01/0.06	c core #83
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 12	Core Weight: 1	Total Weight: 83
0.01/0.06	c Current CPU time: 0.06499 s
0.01/0.06	c
0.01/0.06	c core #84
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 12	Core Weight: 1	Total Weight: 84
0.01/0.06	c Current CPU time: 0.066989 s
0.01/0.06	c
0.01/0.06	c core #85
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 17	Core Weight: 1	Total Weight: 85
0.01/0.07	c Current CPU time: 0.067989 s
0.01/0.07	c
0.01/0.07	c core #86
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 12	Core Weight: 1	Total Weight: 86
0.01/0.07	c Current CPU time: 0.068989 s
0.01/0.07	c
0.01/0.07	c core #87
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 20	Core Weight: 1	Total Weight: 87
0.01/0.07	c Current CPU time: 0.070989 s
0.01/0.07	c
0.01/0.07	c core #88
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 10	Core Weight: 1	Total Weight: 88
0.01/0.07	c Current CPU time: 0.071989 s
0.01/0.07	c
0.01/0.07	c core #89
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 10	Core Weight: 1	Total Weight: 89
0.01/0.07	c Current CPU time: 0.072988 s
0.01/0.07	c
0.01/0.07	c core #90
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 10	Core Weight: 1	Total Weight: 90
0.01/0.07	c Current CPU time: 0.074988 s
0.01/0.07	c
0.01/0.07	c core #91
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 16	Core Weight: 1	Total Weight: 91
0.01/0.07	c Current CPU time: 0.075988 s
0.01/0.07	c
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |     969     1049     5803 |     5000        0   -nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #92
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 24	Core Weight: 1	Total Weight: 92
0.01/0.07	c Current CPU time: 0.077988 s
0.01/0.07	c
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |     986     1050     5835 |     5000        0   -nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.08	c core #93
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 25	Core Weight: 1	Total Weight: 93
0.01/0.08	c Current CPU time: 0.078987 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1007     1051     5876 |     5000        0   -nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #94
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 12	Core Weight: 1	Total Weight: 94
0.01/0.08	c Current CPU time: 0.080987 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1017     1052     5895 |     5000        0   -nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #95
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 26	Core Weight: 1	Total Weight: 95
0.01/0.08	c Current CPU time: 0.081987 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1037     1053     5934 |     5000        0   -nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #96
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 10	Core Weight: 1	Total Weight: 96
0.01/0.08	c Current CPU time: 0.083987 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1045     1054     5949 |     5000        0   -nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #97
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 27	Core Weight: 1	Total Weight: 97
0.01/0.08	c Current CPU time: 0.085986 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1070     1055     5996 |     5000        0   -nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #98
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 25	Core Weight: 1	Total Weight: 98
0.01/0.08	c Current CPU time: 0.086986 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    1097     1056     6044 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #99
0.01/0.09	c 
0.01/0.09	c 
0.01/0.09	c Core size: 62	Core Weight: 1	Total Weight: 99
0.01/0.09	c Current CPU time: 0.089986 s
0.01/0.09	c
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    1156     1057     6160 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #100
0.01/0.09	c 
0.01/0.09	c 
0.01/0.09	c Core size: 13	Core Weight: 1	Total Weight: 100
0.01/0.09	c Current CPU time: 0.091986 s
0.01/0.09	c
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    1166     1058     6180 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #101
0.01/0.09	c 
0.01/0.09	c 
0.01/0.09	c Core size: 10	Core Weight: 1	Total Weight: 101
0.01/0.09	c Current CPU time: 0.092985 s
0.01/0.09	c
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    1173     1059     6194 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #102
0.01/0.09	c 
0.01/0.09	c 
0.01/0.09	c Core size: 42	Core Weight: 1	Total Weight: 102
0.01/0.09	c Current CPU time: 0.094985 s
0.01/0.09	c
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    1212     1060     6268 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #103
0.01/0.09	c 
0.01/0.09	c 
0.01/0.09	c Core size: 66	Core Weight: 1	Total Weight: 103
0.01/0.09	c Current CPU time: 0.096985 s
0.01/0.09	c
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    1269     1061     6379 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.09/0.10	c core #104
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 49	Core Weight: 1	Total Weight: 104
0.09/0.10	c Current CPU time: 0.097985 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    1308     1062     6455 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #105
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 13	Core Weight: 1	Total Weight: 105
0.09/0.10	c Current CPU time: 0.099984 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    1318     1063     6475 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #106
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 99	Core Weight: 1	Total Weight: 106
0.09/0.10	c Current CPU time: 0.102984 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    1411     1064     6659 |     5000        0   -nan |  0.000 % |
0.09/0.10	c |       104 |    1410     1064     6659 |     5500      104     12 |  0.914 % |
0.09/0.11	c |       254 |    1407     1064     6659 |     6050      254     13 |  1.055 % |
0.09/0.11	c |       480 |    1407     1064     6659 |     6655      480     15 |  1.055 % |
0.09/0.12	c |       817 |    1406     1064     6659 |     7320      817     14 |  1.125 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #107
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 151	Core Weight: 1	Total Weight: 107
0.09/0.12	c Current CPU time: 0.124981 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    1565     1065     6963 |     5000        0   -nan |  0.000 % |
0.09/0.13	c |       100 |    1565     1065     6963 |     5500      100      8 |  0.445 % |
0.09/0.13	c |       251 |    1564     1065     6963 |     6050      251      8 |  0.509 % |
0.09/0.13	c |       476 |    1564     1065     6963 |     6655      476     11 |  0.509 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #108
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 86	Core Weight: 1	Total Weight: 108
0.09/0.14	c Current CPU time: 0.137979 s
0.09/0.14	c
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    1650     1066     7133 |     5000        0   -nan |  0.000 % |
0.09/0.14	c |       100 |    1650     1066     7133 |     5500      100     19 |  0.423 % |
0.09/0.15	c |       251 |    1650     1066     7133 |     6050      251     29 |  0.422 % |
0.09/0.15	c |       478 |    1646     1066     7133 |     6655      478     26 |  0.845 % |
0.09/0.16	c |       815 |    1646     1066     7133 |     7320      815     24 |  0.845 % |
0.09/0.18	c |      1324 |    1642     1066     7133 |     8052     1324     25 |  0.905 % |
0.19/0.20	c |      2084 |    1642     1066     7133 |     8857     2084     27 |  0.905 % |
0.19/0.21	c ===============================================================================
0.19/0.22	c core #109
0.19/0.22	c 
0.19/0.22	c 
0.19/0.22	c Core size: 92	Core Weight: 1	Total Weight: 109
0.19/0.22	c Current CPU time: 0.212967 s
0.19/0.22	c
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1734     1067     7300 |     5000        0   -nan |  0.000 % |
0.19/0.22	c |       100 |    1733     1067     7300 |     5500      100     17 |  0.403 % |
0.19/0.22	c |       250 |    1731     1067     7300 |     6050      250     20 |  0.575 % |
0.19/0.23	c |       476 |    1730     1067     7300 |     6655      476     22 |  0.575 % |
0.19/0.24	c |       814 |    1730     1067     7300 |     7320      814     24 |  0.575 % |
0.19/0.26	c |      1326 |    1730     1067     7300 |     8052     1326     27 |  0.575 % |
0.19/0.28	c |      2087 |    1730     1067     7300 |     8857     2087     29 |  0.575 % |
0.29/0.31	c ===============================================================================
0.29/0.32	c core #110
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 89	Core Weight: 1	Total Weight: 110
0.29/0.32	c Current CPU time: 0.317951 s
0.29/0.32	c
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1820     1068     7472 |     5000        0   -nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c core #111
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 23	Core Weight: 1	Total Weight: 111
0.29/0.33	c Current CPU time: 0.32295 s
0.29/0.33	c
0.29/0.33	c ============================[ Search Statistics ]==============================
0.29/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    1839     1069     7509 |     5000        0   -nan |  0.000 % |
0.29/0.33	c |       100 |    1839     1069     7509 |     5500      100     28 |  0.271 % |
0.29/0.34	c |       250 |    1839     1069     7509 |     6050      250     30 |  0.271 % |
0.29/0.34	c |       475 |    1839     1069     7509 |     6655      475     29 |  0.271 % |
0.29/0.35	c |       812 |    1839     1069     7509 |     7320      812     28 |  0.271 % |
0.29/0.37	c |      1319 |    1839     1069     7509 |     8052     1319     26 |  0.271 % |
0.29/0.38	c |      2079 |    1839     1069     7509 |     8857     2079     28 |  0.271 % |
0.39/0.42	c |      3221 |    1839     1069     7509 |     9743     3221     30 |  0.271 % |
0.39/0.49	c |      4930 |    1839     1069     7509 |    10717     4930     37 |  0.271 % |
0.59/0.61	c |      7494 |    1839     1069     7509 |    11789     7494     36 |  0.271 % |
0.79/0.82	c |     11338 |    1839     1069     7509 |    12968    11338     39 |  0.271 % |
1.19/1.26	c |     17106 |    1839     1069     7509 |    14265    10518     50 |  0.271 % |
1.99/2.00	c |     25755 |    1839     1069     7509 |    15692    11980     56 |  0.271 % |
3.20/3.24	c |     38733 |    1839     1069     7509 |    17261     9159     49 |  0.271 % |
5.19/5.22	c |     58194 |    1838     1069     7509 |    18987    11251     57 |  0.325 % |
5.99/6.09	c ===============================================================================
6.39/6.42	c core #112
6.39/6.42	c 
6.39/6.42	c 
6.39/6.42	c Core size: 180	Core Weight: 1	Total Weight: 112
6.39/6.42	c Current CPU time: 6.33704 s
6.39/6.42	c
6.39/6.42	c ============================[ Search Statistics ]==============================
6.39/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.42	c ===============================================================================
6.39/6.42	c |         0 |    2016     1070     7861 |     5000        0   -nan |  0.000 % |
6.39/6.42	c |       100 |    2016     1070     7861 |     5500      100     16 |  0.149 % |
6.39/6.43	c |       253 |    2016     1070     7861 |     6050      253     27 |  0.149 % |
6.39/6.43	c |       479 |    2016     1070     7861 |     6655      479     20 |  0.149 % |
6.39/6.44	c |       819 |    2016     1070     7861 |     7320      819     21 |  0.149 % |
6.39/6.46	c |      1325 |    2016     1070     7861 |     8052     1325     36 |  0.149 % |
6.39/6.49	c |      2084 |    2016     1070     7861 |     8857     2084     41 |  0.149 % |
6.50/6.53	c |      3223 |    2016     1070     7861 |     9743     3223     37 |  0.149 % |
6.50/6.60	c |      4931 |    2016     1070     7861 |    10717     4931     43 |  0.149 % |
6.69/6.76	c |      7494 |    2016     1070     7861 |    11789     7494     50 |  0.149 % |
6.99/7.05	c |     11338 |    2016     1070     7861 |    12968    11338     54 |  0.149 % |
7.49/7.53	c |     17104 |    2016     1070     7861 |    14265    10541     68 |  0.149 % |
8.09/8.18	c |     25757 |    2016     1070     7861 |    15692    11978     74 |  0.149 % |
9.29/9.35	c |     38733 |    2016     1070     7861 |    17261     9165     84 |  0.149 % |
11.69/11.75	c |     58195 |    2016     1070     7861 |    18987    11247     98 |  0.149 % |
15.89/15.98	c |     87389 |    2016     1070     7861 |    20886    11622    107 |  0.149 % |
21.69/21.73	c |    131179 |    2016     1070     7861 |    22974    13166     79 |  0.149 % |
34.37/34.45	c |    196863 |    2016     1070     7861 |    25272    20898    110 |  0.149 % |
59.27/59.34	c |    295390 |    2015     1070     7861 |    27799    17011     93 |  0.198 % |
65.05/65.13	c ===============================================================================
66.86/66.94	c core #113
66.86/66.94	c 
66.86/66.94	c 
66.86/66.94	c Core size: 122	Core Weight: 1	Total Weight: 113
66.86/66.94	c Current CPU time: 66.3529 s
66.86/66.94	c
66.86/66.94	c ============================[ Search Statistics ]==============================
66.86/66.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.86/66.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
66.86/66.94	c ===============================================================================
66.86/66.94	c |         0 |    2135     1071     8099 |     5000        0   -nan |  0.000 % |
66.86/66.94	c |       100 |    2135     1071     8099 |     5500      100     56 |  0.140 % |
66.86/66.95	c |       251 |    2135     1071     8099 |     6050      251     47 |  0.140 % |
66.86/66.95	c |       476 |    2135     1071     8099 |     6655      476     57 |  0.140 % |
66.86/66.97	c |       814 |    2135     1071     8099 |     7320      814     53 |  0.140 % |
66.86/66.98	c |      1320 |    2135     1071     8099 |     8052     1320     49 |  0.140 % |
66.86/67.01	c |      2080 |    2135     1071     8099 |     8857     2080     49 |  0.140 % |
66.96/67.06	c |      3220 |    2135     1071     8099 |     9743     3220     53 |  0.140 % |
66.96/67.09	c ===============================================================================
66.96/67.09	c core #114
66.96/67.09	c 
66.96/67.09	c 
66.96/67.09	c Core size: 97	Core Weight: 1	Total Weight: 114
66.96/67.09	c Current CPU time: 66.6699 s
66.96/67.09	c
66.96/67.09	c ============================[ Search Statistics ]==============================
66.96/67.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.96/67.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
66.96/67.09	c ===============================================================================
66.96/67.09	c |         0 |    2230     1072     8287 |     5000        0   -nan |  0.000 % |
66.96/67.10	c |       100 |    2230     1072     8287 |     5500      100     30 |  0.045 % |
66.96/67.10	c |       253 |    2230     1072     8287 |     6050      253     22 |  0.045 % |
66.96/67.11	c |       480 |    2230     1072     8287 |     6655      480     23 |  0.045 % |
67.07/67.12	c |       818 |    2228     1072     8287 |     7320      818     25 |  0.134 % |
67.07/67.13	c |      1324 |    2228     1072     8287 |     8052     1324     28 |  0.134 % |
67.07/67.15	c |      2086 |    2228     1072     8287 |     8857     2086     31 |  0.134 % |
67.15/67.20	c |      3230 |    2228     1072     8287 |     9743     3230     36 |  0.135 % |
67.15/67.29	c |      4938 |    2228     1072     8287 |    10717     4938     41 |  0.135 % |
67.35/67.45	c |      7503 |    2227     1072     8287 |    11789     7503     42 |  0.179 % |
67.66/67.70	c |     11350 |    2227     1072     8287 |    12968    11350     49 |  0.179 % |
68.25/68.38	c |     17118 |    2227     1072     8287 |    14265    10537     62 |  0.179 % |
69.36/69.42	c |     25768 |    2225     1072     8287 |    15692    11926     57 |  0.269 % |
69.86/69.96	c ===============================================================================
70.05/70.13	c core #115
70.05/70.13	c 
70.05/70.13	c 
70.05/70.13	c Core size: 150	Core Weight: 1	Total Weight: 115
70.05/70.13	c Current CPU time: 69.6794 s
70.05/70.13	c
70.05/70.13	c ============================[ Search Statistics ]==============================
70.05/70.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
70.05/70.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
70.05/70.13	c ===============================================================================
70.05/70.13	c |         0 |    2378     1073     8582 |     5000        0   -nan |  0.000 % |
70.05/70.13	c |       100 |    2378     1073     8582 |     5500      100     29 |  0.000 % |
70.05/70.14	c |       250 |    2378     1073     8582 |     6050      250     48 |  0.000 % |
70.05/70.15	c |       479 |    2378     1073     8582 |     6655      479     59 |  0.000 % |
70.05/70.16	c |       817 |    2378     1073     8582 |     7320      817     61 |  0.000 % |
70.05/70.19	c |      1324 |    2378     1073     8582 |     8052     1324     50 |  0.000 % |
70.15/70.22	c |      2085 |    2378     1073     8582 |     8857     2085     51 |  0.000 % |
70.15/70.26	c |      3224 |    2378     1073     8582 |     9743     3224     50 |  0.000 % |
70.26/70.37	c |      4932 |    2378     1073     8582 |    10717     4932     66 |  0.000 % |
70.45/70.54	c |      7496 |    2378     1073     8582 |    11789     7496     75 |  0.000 % |
70.66/70.75	c |     11340 |    2378     1073     8582 |    12968    11340     76 |  0.000 % |
71.16/71.22	c |     17107 |    2378     1073     8582 |    14265    10401     91 |  0.000 % |
72.26/72.30	c |     25756 |    2378     1073     8582 |    15692    11765    132 |  0.000 % |
73.95/74.02	c |     38733 |    2378     1073     8582 |    17261     8795    132 |  0.000 % |
76.97/77.08	c |     58195 |    2378     1073     8582 |    18987    10807    111 |  0.000 % |
81.85/81.93	c |     87388 |    2378     1073     8582 |    20886    11130    114 |  0.000 % |
88.85/88.99	c |    131177 |    2378     1073     8582 |    22974    12635    143 |  0.000 % |
102.66/102.79	c |    196865 |    2377     1073     8582 |    25272    20363    146 |  0.042 % |
129.55/129.69	c |    295391 |    2377     1073     8582 |    27799    16702    150 |  0.042 % |
176.35/176.41	c |    443184 |    2377     1073     8582 |    30579    21227    156 |  0.042 % |
236.74/236.81	c |    664868 |    2377     1073     8582 |    33637    19885    156 |  0.042 % |
349.24/349.39	c |    997397 |    2377     1073     8582 |    37001    16466    145 |  0.042 % |
537.54/537.60	c |   1496185 |    2377     1073     8582 |    40701    36964    164 |  0.042 % |
809.73/809.83	c |   2244367 |    2377     1073     8582 |    44771    39675    173 |  0.042 % |
1219.62/1219.80	c |   3366644 |    2376     1073     8582 |    49248    16483    142 |  0.084 % |
1557.52/1557.66	c ===============================================================================
1611.51/1611.63	c core #116
1611.51/1611.63	c 
1611.51/1611.63	c 
1611.51/1611.63	c Core size: 261	Core Weight: 1	Total Weight: 116
1611.51/1611.63	c Current CPU time: 1604.32 s
1611.51/1611.63	c
1611.51/1611.63	c ============================[ Search Statistics ]==============================
1611.51/1611.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1611.51/1611.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1611.51/1611.63	c ===============================================================================
1611.51/1611.63	c |         0 |    2632     1074     9090 |     5000        0   -nan |  0.000 % |
1611.51/1611.64	c |       100 |    2632     1074     9090 |     5500      100     18 |  0.000 % |
1611.51/1611.64	c |       251 |    2632     1074     9090 |     6050      251     23 |  0.000 % |
1611.51/1611.65	c |       476 |    2632     1074     9090 |     6655      476     26 |  0.000 % |
1611.51/1611.66	c |       814 |    2632     1074     9090 |     7320      814     24 |  0.000 % |
1611.51/1611.67	c |      1323 |    2632     1074     9090 |     8052     1323     28 |  0.000 % |
1611.61/1611.70	c |      2083 |    2632     1074     9090 |     8857     2083     30 |  0.000 % |
1611.61/1611.75	c |      3225 |    2632     1074     9090 |     9743     3225     31 |  0.000 % |
1611.71/1611.82	c |      4934 |    2632     1074     9090 |    10717     4934     33 |  0.000 % |
1611.80/1611.99	c |      7500 |    2632     1074     9090 |    11789     7500     49 |  0.000 % |
1612.11/1612.24	c |     11344 |    2632     1074     9090 |    12968    11344     53 |  0.000 % |
1612.53/1612.64	c |     17110 |    2632     1074     9090 |    14265    10560     65 |  0.000 % |
1613.51/1613.64	c |     25763 |    2632     1074     9090 |    15692    11921     91 |  0.000 % |
1615.41/1615.53	c |     38737 |    2632     1074     9090 |    17261     8911    107 |  0.000 % |
1618.51/1618.67	c |     58201 |    2632     1074     9090 |    18987    10866    104 |  0.000 % |
1623.21/1623.30	c |     87393 |    2632     1074     9090 |    20886    11279    104 |  0.000 % |
1631.41/1631.57	c |    131184 |    2632     1074     9090 |    22974    12787     95 |  0.000 % |
1646.71/1646.80	c |    196870 |    2632     1074     9090 |    25272    20512    117 |  0.000 % |
1672.21/1672.30	c |    295399 |    2632     1074     9090 |    27799    17042    132 |  0.000 % |
1712.20/1712.33	c |    443189 |    2632     1074     9090 |    30579    18931    132 |  0.000 % |
1788.20/1788.36	c |    664872 |    2632     1074     9090 |    33637    22845    148 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460886-1307076265/watcher-3460886-1307076265 -o /tmp/evaluation-result-3460886-1307076265/solver-3460886-1307076265 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460886-1307076265.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 2/443 12301
/proc/meminfo: memFree=29480892/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=2784 CPUtime=0 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 485 0 0 0 0 0 0 0 25 0 1 0 897857227 2850816 428 33554432000 4194304 5714214 140735936691840 18446744073709551615 4356623 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 696 428 176 372 0 321 0

[startup+0.018144 s]
/proc/loadavg: 1.92 2.00 1.99 2/443 12301
/proc/meminfo: memFree=29480892/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=3200 CPUtime=0.01 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 592 0 0 0 1 0 0 0 25 0 1 0 897857227 3276800 535 33554432000 4194304 5714214 140735936691840 18446744073709551615 4336573 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 800 535 176 372 0 425 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3200

[startup+0.101192 s]
/proc/loadavg: 1.92 2.00 1.99 2/443 12301
/proc/meminfo: memFree=29480892/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=5932 CPUtime=0.09 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 1282 0 0 0 9 0 0 0 18 0 1 0 897857227 6074368 1225 33554432000 4194304 5714214 140735936691840 18446744073709551615 4964960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 1483 1225 179 372 0 1108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5932

[startup+0.301122 s]
/proc/loadavg: 1.92 2.00 1.99 2/443 12301
/proc/meminfo: memFree=29480892/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=7012 CPUtime=0.29 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 1557 0 0 0 29 0 0 0 18 0 1 0 897857227 7180288 1500 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 1753 1500 180 372 0 1378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7012

[startup+0.701049 s]
/proc/loadavg: 1.92 2.00 1.99 2/443 12301
/proc/meminfo: memFree=29480892/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=9100 CPUtime=0.69 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 2080 0 0 0 68 1 0 0 18 0 1 0 897857227 9318400 2023 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 2275 2023 180 372 0 1900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9100

[startup+1.5009 s]
/proc/loadavg: 1.92 2.00 1.99 3/444 12302
/proc/meminfo: memFree=29471212/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=12808 CPUtime=1.49 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 3004 0 0 0 147 2 0 0 19 0 1 0 897857227 13115392 2947 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 3202 2947 180 372 0 2827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12808

[startup+3.10061 s]
/proc/loadavg: 1.92 2.00 1.99 3/444 12302
/proc/meminfo: memFree=29467120/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=16008 CPUtime=3.09 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 3790 0 0 0 306 3 0 0 25 0 1 0 897857227 16392192 3733 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 4002 3733 180 372 0 3627 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16008

[startup+6.301 s]
/proc/loadavg: 1.93 2.00 1.99 3/444 12302
/proc/meminfo: memFree=29460800/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=21968 CPUtime=6.29 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 5237 0 0 0 624 5 0 0 25 0 1 0 897857227 22495232 5180 33554432000 4194304 5714214 140735936691840 18446744073709551615 4324860 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 5492 5180 180 372 0 5117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21968

[startup+12.7008 s]
/proc/loadavg: 1.85 1.98 1.99 3/444 12330
/proc/meminfo: memFree=29962556/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=27968 CPUtime=12.69 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 6780 0 0 0 1258 11 0 0 25 0 1 0 897857227 28639232 6685 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 6992 6685 180 372 0 6617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27968

[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 1.99 3/444 12331
/proc/meminfo: memFree=29932064/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=43748 CPUtime=25.49 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 10677 0 0 0 2529 20 0 0 25 0 1 0 897857227 44797952 10582 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12301/statm: 10937 10582 180 372 0 10562 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43748

[startup+51.1006 s]
/proc/loadavg: 1.97 2.00 1.99 3/444 12331
/proc/meminfo: memFree=29877780/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=66076 CPUtime=51.05 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 16080 0 0 0 5074 31 0 0 25 0 1 0 897857227 67661824 15985 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 16519 15985 180 372 0 16144 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 66076

[startup+102.317 s]
/proc/loadavg: 1.99 2.00 1.99 3/444 12333
/proc/meminfo: memFree=29824292/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=85944 CPUtime=102.27 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 21134 0 0 0 10168 59 0 0 25 0 1 0 897857227 88006656 20984 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 21486 20984 180 372 0 21111 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85944

[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/444 12334
/proc/meminfo: memFree=29808384/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=97072 CPUtime=162.25 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 24112 0 0 0 16146 79 0 0 25 0 1 0 897857227 99401728 23962 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 24268 23962 180 372 0 23893 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97072

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/444 12336
/proc/meminfo: memFree=29736796/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=128304 CPUtime=222.25 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 31803 0 0 0 22124 101 0 0 25 0 1 0 897857227 131383296 31653 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 32076 31653 180 372 0 31701 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 128304

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 12337
/proc/meminfo: memFree=29655644/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=170332 CPUtime=282.24 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 42063 0 0 0 28102 122 0 0 25 0 1 0 897857227 174419968 41913 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 42583 41913 180 372 0 42208 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 170332

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12339
/proc/meminfo: memFree=29595096/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=198892 CPUtime=342.25 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 48972 0 0 0 34086 139 0 0 25 0 1 0 897857227 203665408 48822 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 49723 48822 180 372 0 49348 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 198892

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12341
/proc/meminfo: memFree=29525876/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=225792 CPUtime=402.25 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 55649 0 0 0 40068 157 0 0 25 0 1 0 897857227 231211008 55499 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 56448 55499 180 372 0 56073 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 225792

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12342
/proc/meminfo: memFree=29464584/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=252504 CPUtime=462.25 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 62044 0 0 0 46054 171 0 0 25 0 1 0 897857227 258564096 61894 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 63126 61894 180 372 0 62751 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 252504

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/444 12344
/proc/meminfo: memFree=29396968/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=281644 CPUtime=522.24 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 69186 0 0 0 52039 185 0 0 25 0 1 0 897857227 288403456 69036 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 70411 69036 180 372 0 70036 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 281644

[startup+582.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/444 12345
/proc/meminfo: memFree=29339132/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=310220 CPUtime=582.24 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 76140 0 0 0 58022 202 0 0 25 0 1 0 897857227 317665280 75990 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 77555 75990 180 372 0 77180 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 310220

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 12353
/proc/meminfo: memFree=29068144/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=436480 CPUtime=882.23 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 107633 0 0 0 87935 288 0 0 25 0 1 0 897857227 446955520 107483 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 109120 107483 180 372 0 108745 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 436480

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12355
/proc/meminfo: memFree=29006344/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=464960 CPUtime=942.24 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 114685 0 0 0 93917 307 0 0 25 0 1 0 897857227 476119040 114535 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 116240 114535 180 372 0 115865 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 464960

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 12366
/proc/meminfo: memFree=28960336/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=486072 CPUtime=1002.23 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 119887 0 0 0 99902 321 0 0 25 0 1 0 897857227 497737728 119737 33554432000 4194304 5714214 140735936691840 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 121518 119737 180 372 0 121143 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 486072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 12367
/proc/meminfo: memFree=28905176/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=510240 CPUtime=1062.23 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 125913 0 0 0 105888 335 0 0 25 0 1 0 897857227 522485760 125763 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 127560 125763 180 372 0 127185 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 510240

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 12369
/proc/meminfo: memFree=28864212/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=527828 CPUtime=1122.23 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 130258 0 0 0 111872 351 0 0 25 0 1 0 897857227 540495872 130108 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 131957 130108 180 372 0 131582 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 527828

[startup+1182.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/444 12370
/proc/meminfo: memFree=28802296/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=555060 CPUtime=1182.22 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 137015 0 0 0 117851 371 0 0 25 0 1 0 897857227 568381440 136865 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 138765 136865 180 372 0 138390 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 555060

[startup+1242.3 s]
/proc/loadavg: 2.11 2.03 2.00 3/444 12372
/proc/meminfo: memFree=28745096/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=584652 CPUtime=1242.22 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 144412 0 0 0 123829 393 0 0 25 0 1 0 897857227 598683648 144262 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 146163 144262 180 372 0 145788 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 584652

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 12374
/proc/meminfo: memFree=28708368/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=605244 CPUtime=1302.23 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 149496 0 0 0 129815 408 0 0 25 0 1 0 897857227 619769856 149346 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 151311 149346 180 372 0 150936 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 605244

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 12375
/proc/meminfo: memFree=28649180/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=628448 CPUtime=1362.21 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 155299 0 0 0 135797 424 0 0 25 0 1 0 897857227 643530752 155149 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 157112 155149 180 372 0 156737 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 628448

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12377
/proc/meminfo: memFree=28605380/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=650000 CPUtime=1422.23 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 160587 0 0 0 141783 440 0 0 25 0 1 0 897857227 665600000 160437 33554432000 4194304 5714214 140735936691840 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 162500 160437 180 372 0 162125 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 650000

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 12378
/proc/meminfo: memFree=28559336/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=673100 CPUtime=1482.21 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 166358 0 0 0 147764 457 0 0 25 0 1 0 897857227 689254400 166208 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 168275 166208 180 372 0 167900 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 673100

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 12380
/proc/meminfo: memFree=28515392/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=693772 CPUtime=1542.2 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 171437 0 0 0 153748 472 0 0 25 0 1 0 897857227 710422528 171287 33554432000 4194304 5714214 140735936691840 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 173443 171287 180 372 0 173068 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 693772

[startup+1602.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/444 12382
/proc/meminfo: memFree=28322660/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=862824 CPUtime=1602.21 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 213695 0 0 0 159738 483 0 0 25 0 1 0 897857227 883531776 213545 33554432000 4194304 5714214 140735936691840 18446744073709551615 4324928 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 215706 213545 180 372 0 215331 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 862824

[startup+1662.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 12383
/proc/meminfo: memFree=28291136/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=862664 CPUtime=1662.2 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 213812 0 0 0 165714 506 0 0 25 0 1 0 897857227 883367936 213565 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 215666 213565 180 372 0 215291 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 862664

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 12385
/proc/meminfo: memFree=28271496/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=862664 CPUtime=1722.2 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 213904 0 0 0 171697 523 0 0 25 0 1 0 897857227 883367936 213657 33554432000 4194304 5714214 140735936691840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 215666 213657 180 372 0 215291 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 862664

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/444 12386
/proc/meminfo: memFree=28245056/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=862664 CPUtime=1782.2 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 213934 0 0 0 177682 538 0 0 25 0 1 0 897857227 883367936 213687 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 215666 213687 180 372 0 215291 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 862664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 12387
/proc/meminfo: memFree=28231156/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=862664 CPUtime=1800.01 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 213937 0 0 0 179458 543 0 0 25 0 1 0 897857227 883367936 213690 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 215666 213690 180 372 0 215291 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 862664

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

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

[startup+1800.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/444 12387
/proc/meminfo: memFree=28231156/32950928 swapFree=52246700/67111528
[pid=12301] ppid=12299 vsize=862664 CPUtime=1800.01 cores=0,2,4,6
/proc/12301/stat : 12301 (wbo1.6) R 12299 12301 9824 0 -1 4202496 213937 0 0 0 179458 543 0 0 25 0 1 0 897857227 883367936 213690 33554432000 4194304 5714214 140735936691840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12301/statm: 215666 213690 180 372 0 215291 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 862664

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.07
CPU user time (s): 1794.59
CPU system time (s): 5.47917
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 863148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.59
system time used= 5.47917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213937
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= 11
involuntary context switches= 3759

runsolver used 8.59969 second user time and 17.3644 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-03 06:44:25
IDJOB=3460886
IDBENCH=1956
IDSOLVER=1953
FILE ID=node114/3460886-1307076265
RUNJOBID= node114-1307068244-11007
PBS_JOBID= 13497874
Free space on /tmp= 73924 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460886-1307076265/watcher-3460886-1307076265 -o /tmp/evaluation-result-3460886-1307076265/solver-3460886-1307076265 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460886-1307076265.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6
RANDOM SEED=1696656386

node114.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29481056 kB
Buffers:        255284 kB
Cached:         384676 kB
SwapCached:      10660 kB
Active:        2809300 kB
Inactive:       389488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29481056 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            4324 kB
Writeback:           0 kB
AnonPages:     2555968 kB
Mapped:          21956 kB
Slab:           139636 kB
PageTables:      63300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108706472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node114 at 2011-06-03 07:14:28