Trace number 1875685

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.17 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
MD5SUM70025ca48ca8d6f0557fd72393d339c2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark379
Best CPU time to get the best result obtained on this benchmark1799.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 379
Optimality of the best value was proved NO
Number of variables1152
Total number of constraints4664
Number of constraints which are clauses4664
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 constraint2
Maximum length of a constraint8
Number of terms in the objective function 1152
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 1152
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1152
Number of bits of the biggest sum of numbers11
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875685-1245150485.opb.
0.00/0.00	c Instance file HOME/instance-1875685-1245150485.opb
0.00/0.00	c File size is 123595 bytes.
0.00/0.01	c Highest Coefficient sum: 9
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1152                                                |
0.00/0.01	c |  Number Clauses:        5816                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.03/0.03	c core #7
0.03/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.03/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.03/0.04	c core #8
0.03/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.03/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.03/0.04	c core #9
0.03/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.03/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.03/0.04	c core #10
0.03/0.04	c Core size: 3	Core Weight: 1	Total Weight: 10
0.03/0.04	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.03/0.05	c core #11
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.03/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.03/0.05	c core #12
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.03/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.03/0.05	c core #13
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 13
0.03/0.05	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.03/0.06	c core #14
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.03/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.03/0.06	c core #15
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.03/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.03/0.06	c core #16
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 16
0.03/0.06	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.03/0.07	c core #17
0.03/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.03/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.03/0.07	c core #18
0.03/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.03/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.03/0.08	c core #19
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.03/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.03/0.08	c core #20
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.03/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.03/0.08	c core #21
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 21
0.03/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.03/0.09	c core #22
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.03/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.03/0.09	c core #23
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.03/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.03/0.09	c core #24
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 24
0.03/0.09	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #25
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #26
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #27
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.10	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #29
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.11	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #30
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #31
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #32
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.12	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #33
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #34
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #35
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.13	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.140978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #37
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.14	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #38
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.14	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #40
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.15	c Elapsed CPU time: 0.155976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #41
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.16	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #42
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.16	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #43
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.16	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #44
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #45
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.17	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #46
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.17	c Elapsed CPU time: 0.177972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #47
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #48
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.18	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #49
0.09/0.18	c Core size: 9	Core Weight: 1	Total Weight: 49
0.09/0.18	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #50
0.09/0.19	c Core size: 9	Core Weight: 1	Total Weight: 50
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #51
0.09/0.19	c Core size: 9	Core Weight: 1	Total Weight: 51
0.09/0.19	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 1799.8 s
0.09/0.20	c core #52
0.09/0.20	c Core size: 9	Core Weight: 1	Total Weight: 52
0.09/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #53
0.19/0.20	c Core size: 9	Core Weight: 1	Total Weight: 53
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #54
0.19/0.20	c Core size: 9	Core Weight: 1	Total Weight: 54
0.19/0.20	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #55
0.19/0.21	c Core size: 7	Core Weight: 1	Total Weight: 55
0.19/0.21	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #56
0.19/0.21	c Core size: 7	Core Weight: 1	Total Weight: 56
0.19/0.21	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #57
0.19/0.21	c Core size: 7	Core Weight: 1	Total Weight: 57
0.19/0.21	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #58
0.19/0.22	c Core size: 7	Core Weight: 1	Total Weight: 58
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #59
0.19/0.22	c Core size: 7	Core Weight: 1	Total Weight: 59
0.19/0.22	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 7	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #61
0.19/0.23	c Core size: 7	Core Weight: 1	Total Weight: 61
0.19/0.23	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #62
0.19/0.23	c Core size: 7	Core Weight: 1	Total Weight: 62
0.19/0.23	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #63
0.19/0.24	c Core size: 7	Core Weight: 1	Total Weight: 63
0.19/0.24	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #64
0.19/0.24	c Core size: 7	Core Weight: 1	Total Weight: 64
0.19/0.24	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #65
0.19/0.25	c Core size: 7	Core Weight: 1	Total Weight: 65
0.19/0.25	c Elapsed CPU time: 0.248962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #66
0.19/0.25	c Core size: 7	Core Weight: 1	Total Weight: 66
0.19/0.25	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #67
0.19/0.25	c Core size: 7	Core Weight: 1	Total Weight: 67
0.19/0.25	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #68
0.19/0.26	c Core size: 7	Core Weight: 1	Total Weight: 68
0.19/0.26	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #69
0.19/0.26	c Core size: 7	Core Weight: 1	Total Weight: 69
0.19/0.26	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #70
0.19/0.27	c Core size: 7	Core Weight: 1	Total Weight: 70
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #71
0.19/0.27	c Core size: 7	Core Weight: 1	Total Weight: 71
0.19/0.27	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #72
0.19/0.27	c Core size: 7	Core Weight: 1	Total Weight: 72
0.19/0.27	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #73
0.19/0.28	c Core size: 7	Core Weight: 1	Total Weight: 73
0.19/0.28	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #74
0.19/0.28	c Core size: 7	Core Weight: 1	Total Weight: 74
0.19/0.28	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #75
0.19/0.28	c Core size: 7	Core Weight: 1	Total Weight: 75
0.19/0.28	c Elapsed CPU time: 0.287956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #76
0.19/0.29	c Core size: 7	Core Weight: 1	Total Weight: 76
0.19/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #77
0.19/0.29	c Core size: 7	Core Weight: 1	Total Weight: 77
0.19/0.29	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 7	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #79
0.29/0.30	c Core size: 7	Core Weight: 1	Total Weight: 79
0.29/0.30	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #80
0.29/0.30	c Core size: 7	Core Weight: 1	Total Weight: 80
0.29/0.30	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #81
0.29/0.31	c Core size: 7	Core Weight: 1	Total Weight: 81
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #82
0.29/0.31	c Core size: 7	Core Weight: 1	Total Weight: 82
0.29/0.31	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 7	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #84
0.29/0.32	c Core size: 7	Core Weight: 1	Total Weight: 84
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #85
0.29/0.32	c Core size: 7	Core Weight: 1	Total Weight: 85
0.29/0.32	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #86
0.29/0.33	c Core size: 7	Core Weight: 1	Total Weight: 86
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #87
0.29/0.33	c Core size: 7	Core Weight: 1	Total Weight: 87
0.29/0.33	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #88
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 88
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #89
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 89
0.29/0.34	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #90
0.29/0.35	c Core size: 7	Core Weight: 1	Total Weight: 90
0.29/0.35	c Elapsed CPU time: 0.347947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #91
0.29/0.35	c Core size: 7	Core Weight: 1	Total Weight: 91
0.29/0.35	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #92
0.29/0.35	c Core size: 7	Core Weight: 1	Total Weight: 92
0.29/0.35	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 7	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #94
0.29/0.36	c Core size: 7	Core Weight: 1	Total Weight: 94
0.29/0.36	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #95
0.29/0.37	c Core size: 7	Core Weight: 1	Total Weight: 95
0.29/0.37	c Elapsed CPU time: 0.368943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #96
0.29/0.37	c Core size: 7	Core Weight: 1	Total Weight: 96
0.29/0.37	c Elapsed CPU time: 0.371943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #97
0.29/0.37	c Core size: 7	Core Weight: 1	Total Weight: 97
0.29/0.37	c Elapsed CPU time: 0.376942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 7	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.380942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #99
0.29/0.38	c Core size: 7	Core Weight: 1	Total Weight: 99
0.29/0.38	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #100
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 100
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #102
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 102
0.29/0.39	c Elapsed CPU time: 0.396939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #103
0.39/0.40	c Core size: 7	Core Weight: 1	Total Weight: 103
0.39/0.40	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #104
0.39/0.40	c Core size: 7	Core Weight: 1	Total Weight: 104
0.39/0.40	c Elapsed CPU time: 0.405938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #105
0.39/0.41	c Core size: 7	Core Weight: 1	Total Weight: 105
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 7	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #107
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 107
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 7	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 7	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #112
0.39/0.44	c Core size: 7	Core Weight: 1	Total Weight: 112
0.39/0.44	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 7	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.443932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #114
0.39/0.45	c Core size: 7	Core Weight: 1	Total Weight: 114
0.39/0.45	c Elapsed CPU time: 0.447931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #115
0.39/0.45	c Core size: 7	Core Weight: 1	Total Weight: 115
0.39/0.45	c Elapsed CPU time: 0.451931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #116
0.39/0.45	c Core size: 7	Core Weight: 1	Total Weight: 116
0.39/0.45	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #117
0.39/0.46	c Core size: 7	Core Weight: 1	Total Weight: 117
0.39/0.46	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #118
0.39/0.46	c Core size: 7	Core Weight: 1	Total Weight: 118
0.39/0.46	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #119
0.39/0.47	c Core size: 7	Core Weight: 1	Total Weight: 119
0.39/0.47	c Elapsed CPU time: 0.468928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #120
0.39/0.47	c Core size: 7	Core Weight: 1	Total Weight: 120
0.39/0.47	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #121
0.39/0.47	c Core size: 7	Core Weight: 1	Total Weight: 121
0.39/0.47	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #122
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 122
0.39/0.48	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #123
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 123
0.39/0.48	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #124
0.39/0.49	c Core size: 7	Core Weight: 1	Total Weight: 124
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #125
0.39/0.49	c Core size: 7	Core Weight: 1	Total Weight: 125
0.39/0.49	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #126
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 126
0.49/0.50	c Elapsed CPU time: 0.499924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #127
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 127
0.49/0.50	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #128
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 128
0.49/0.50	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #129
0.49/0.51	c Core size: 7	Core Weight: 1	Total Weight: 129
0.49/0.51	c Elapsed CPU time: 0.511922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #130
0.49/0.51	c Core size: 7	Core Weight: 1	Total Weight: 130
0.49/0.51	c Elapsed CPU time: 0.515921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #131
0.49/0.52	c Core size: 7	Core Weight: 1	Total Weight: 131
0.49/0.52	c Elapsed CPU time: 0.51992 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #132
0.49/0.52	c Core size: 7	Core Weight: 1	Total Weight: 132
0.49/0.52	c Elapsed CPU time: 0.52392 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #133
0.49/0.53	c Core size: 7	Core Weight: 1	Total Weight: 133
0.49/0.53	c Elapsed CPU time: 0.528919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #134
0.49/0.53	c Core size: 7	Core Weight: 1	Total Weight: 134
0.49/0.53	c Elapsed CPU time: 0.532918 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #135
0.49/0.53	c Core size: 14	Core Weight: 1	Total Weight: 135
0.49/0.53	c Elapsed CPU time: 0.536918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #136
0.49/0.54	c Core size: 22	Core Weight: 1	Total Weight: 136
0.49/0.54	c Elapsed CPU time: 0.540917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #137
0.49/0.54	c Core size: 22	Core Weight: 1	Total Weight: 137
0.49/0.54	c Elapsed CPU time: 0.544917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #138
0.49/0.55	c Core size: 21	Core Weight: 1	Total Weight: 138
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #139
0.49/0.55	c Core size: 23	Core Weight: 1	Total Weight: 139
0.49/0.55	c Elapsed CPU time: 0.553915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #140
0.49/0.56	c Core size: 22	Core Weight: 1	Total Weight: 140
0.49/0.56	c Elapsed CPU time: 0.558915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #141
0.49/0.56	c Core size: 21	Core Weight: 1	Total Weight: 141
0.49/0.56	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #142
0.49/0.56	c Core size: 22	Core Weight: 1	Total Weight: 142
0.49/0.56	c Elapsed CPU time: 0.567913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #143
0.49/0.57	c Core size: 23	Core Weight: 1	Total Weight: 143
0.49/0.57	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #144
0.49/0.57	c Core size: 21	Core Weight: 1	Total Weight: 144
0.49/0.57	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #145
0.49/0.58	c Core size: 19	Core Weight: 1	Total Weight: 145
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #146
0.49/0.58	c Core size: 21	Core Weight: 1	Total Weight: 146
0.49/0.58	c Elapsed CPU time: 0.58591 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #147
0.49/0.59	c Core size: 20	Core Weight: 1	Total Weight: 147
0.49/0.59	c Elapsed CPU time: 0.59091 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #148
0.49/0.59	c Core size: 21	Core Weight: 1	Total Weight: 148
0.49/0.59	c Elapsed CPU time: 0.594909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #149
0.59/0.60	c Core size: 23	Core Weight: 1	Total Weight: 149
0.59/0.60	c Elapsed CPU time: 0.599908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #150
0.59/0.60	c Core size: 21	Core Weight: 1	Total Weight: 150
0.59/0.60	c Elapsed CPU time: 0.603908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #151
0.59/0.61	c Core size: 21	Core Weight: 1	Total Weight: 151
0.59/0.61	c Elapsed CPU time: 0.608907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #152
0.59/0.61	c Core size: 19	Core Weight: 1	Total Weight: 152
0.59/0.61	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #153
0.59/0.61	c Core size: 20	Core Weight: 1	Total Weight: 153
0.59/0.61	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #154
0.59/0.62	c Core size: 18	Core Weight: 1	Total Weight: 154
0.59/0.62	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #155
0.59/0.62	c Core size: 14	Core Weight: 1	Total Weight: 155
0.59/0.62	c Elapsed CPU time: 0.626904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #156
0.59/0.63	c Core size: 22	Core Weight: 1	Total Weight: 156
0.59/0.63	c Elapsed CPU time: 0.631903 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #157
0.59/0.63	c Core size: 22	Core Weight: 1	Total Weight: 157
0.59/0.63	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #158
0.59/0.64	c Core size: 21	Core Weight: 1	Total Weight: 158
0.59/0.64	c Elapsed CPU time: 0.640902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #159
0.59/0.64	c Core size: 23	Core Weight: 1	Total Weight: 159
0.59/0.64	c Elapsed CPU time: 0.645901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #160
0.59/0.65	c Core size: 22	Core Weight: 1	Total Weight: 160
0.59/0.65	c Elapsed CPU time: 0.650901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #161
0.59/0.65	c Core size: 21	Core Weight: 1	Total Weight: 161
0.59/0.65	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #162
0.59/0.66	c Core size: 22	Core Weight: 1	Total Weight: 162
0.59/0.66	c Elapsed CPU time: 0.659899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #163
0.59/0.66	c Core size: 23	Core Weight: 1	Total Weight: 163
0.59/0.66	c Elapsed CPU time: 0.664898 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #164
0.59/0.67	c Core size: 21	Core Weight: 1	Total Weight: 164
0.59/0.67	c Elapsed CPU time: 0.669898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #165
0.59/0.67	c Core size: 19	Core Weight: 1	Total Weight: 165
0.59/0.67	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #166
0.59/0.68	c Core size: 21	Core Weight: 1	Total Weight: 166
0.59/0.68	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #167
0.59/0.68	c Core size: 20	Core Weight: 1	Total Weight: 167
0.59/0.68	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #168
0.59/0.69	c Core size: 21	Core Weight: 1	Total Weight: 168
0.59/0.69	c Elapsed CPU time: 0.688895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #169
0.59/0.69	c Core size: 23	Core Weight: 1	Total Weight: 169
0.59/0.69	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.59/0.70	c core #170
0.59/0.70	c Core size: 21	Core Weight: 1	Total Weight: 170
0.59/0.70	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #171
0.69/0.70	c Core size: 21	Core Weight: 1	Total Weight: 171
0.69/0.70	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #172
0.69/0.71	c Core size: 19	Core Weight: 1	Total Weight: 172
0.69/0.71	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #173
0.69/0.71	c Core size: 20	Core Weight: 1	Total Weight: 173
0.69/0.71	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #174
0.69/0.72	c Core size: 18	Core Weight: 1	Total Weight: 174
0.69/0.72	c Elapsed CPU time: 0.71789 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #175
0.69/0.72	c Core size: 14	Core Weight: 1	Total Weight: 175
0.69/0.72	c Elapsed CPU time: 0.72289 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #176
0.69/0.73	c Core size: 22	Core Weight: 1	Total Weight: 176
0.69/0.73	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #177
0.69/0.73	c Core size: 22	Core Weight: 1	Total Weight: 177
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #178
0.69/0.74	c Core size: 21	Core Weight: 1	Total Weight: 178
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #179
0.69/0.74	c Core size: 23	Core Weight: 1	Total Weight: 179
0.69/0.74	c Elapsed CPU time: 0.742887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #180
0.69/0.74	c Core size: 22	Core Weight: 1	Total Weight: 180
0.69/0.74	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #181
0.69/0.75	c Core size: 21	Core Weight: 1	Total Weight: 181
0.69/0.75	c Elapsed CPU time: 0.751885 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #182
0.69/0.75	c Core size: 22	Core Weight: 1	Total Weight: 182
0.69/0.75	c Elapsed CPU time: 0.756884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #183
0.69/0.76	c Core size: 23	Core Weight: 1	Total Weight: 183
0.69/0.76	c Elapsed CPU time: 0.761884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #184
0.69/0.77	c Core size: 21	Core Weight: 1	Total Weight: 184
0.69/0.77	c Elapsed CPU time: 0.766883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #185
0.69/0.77	c Core size: 19	Core Weight: 1	Total Weight: 185
0.69/0.77	c Elapsed CPU time: 0.771882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #186
0.69/0.78	c Core size: 21	Core Weight: 1	Total Weight: 186
0.69/0.78	c Elapsed CPU time: 0.776881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #187
0.69/0.78	c Core size: 20	Core Weight: 1	Total Weight: 187
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #188
0.69/0.79	c Core size: 21	Core Weight: 1	Total Weight: 188
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #189
0.69/0.79	c Core size: 23	Core Weight: 1	Total Weight: 189
0.69/0.79	c Elapsed CPU time: 0.792879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #190
0.69/0.80	c Core size: 21	Core Weight: 1	Total Weight: 190
0.69/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #191
0.79/0.80	c Core size: 21	Core Weight: 1	Total Weight: 191
0.79/0.80	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #192
0.79/0.81	c Core size: 19	Core Weight: 1	Total Weight: 192
0.79/0.81	c Elapsed CPU time: 0.807877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #193
0.79/0.81	c Core size: 20	Core Weight: 1	Total Weight: 193
0.79/0.81	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #194
0.79/0.82	c Core size: 18	Core Weight: 1	Total Weight: 194
0.79/0.82	c Elapsed CPU time: 0.817875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #195
0.79/0.82	c Core size: 14	Core Weight: 1	Total Weight: 195
0.79/0.82	c Elapsed CPU time: 0.822874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #196
0.79/0.83	c Core size: 22	Core Weight: 1	Total Weight: 196
0.79/0.83	c Elapsed CPU time: 0.827874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #197
0.79/0.83	c Core size: 22	Core Weight: 1	Total Weight: 197
0.79/0.83	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #198
0.79/0.84	c Core size: 21	Core Weight: 1	Total Weight: 198
0.79/0.84	c Elapsed CPU time: 0.837872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #199
0.79/0.84	c Core size: 23	Core Weight: 1	Total Weight: 199
0.79/0.84	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #200
0.79/0.85	c Core size: 22	Core Weight: 1	Total Weight: 200
0.79/0.85	c Elapsed CPU time: 0.84887 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #201
0.79/0.85	c Core size: 21	Core Weight: 1	Total Weight: 201
0.79/0.85	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #202
0.79/0.86	c Core size: 22	Core Weight: 1	Total Weight: 202
0.79/0.86	c Elapsed CPU time: 0.858869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #203
0.79/0.86	c Core size: 23	Core Weight: 1	Total Weight: 203
0.79/0.86	c Elapsed CPU time: 0.863868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #204
0.79/0.87	c Core size: 21	Core Weight: 1	Total Weight: 204
0.79/0.87	c Elapsed CPU time: 0.869867 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #205
0.79/0.87	c Core size: 19	Core Weight: 1	Total Weight: 205
0.79/0.87	c Elapsed CPU time: 0.874867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #206
0.79/0.88	c Core size: 21	Core Weight: 1	Total Weight: 206
0.79/0.88	c Elapsed CPU time: 0.879866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #207
0.79/0.88	c Core size: 20	Core Weight: 1	Total Weight: 207
0.79/0.88	c Elapsed CPU time: 0.884865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #208
0.79/0.89	c Core size: 21	Core Weight: 1	Total Weight: 208
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #209
0.79/0.89	c Core size: 23	Core Weight: 1	Total Weight: 209
0.79/0.89	c Elapsed CPU time: 0.895863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #210
0.89/0.90	c Core size: 21	Core Weight: 1	Total Weight: 210
0.89/0.90	c Elapsed CPU time: 0.900863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #211
0.89/0.90	c Core size: 21	Core Weight: 1	Total Weight: 211
0.89/0.90	c Elapsed CPU time: 0.906862 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #212
0.89/0.91	c Core size: 19	Core Weight: 1	Total Weight: 212
0.89/0.91	c Elapsed CPU time: 0.911861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #213
0.89/0.92	c Core size: 20	Core Weight: 1	Total Weight: 213
0.89/0.92	c Elapsed CPU time: 0.91686 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #214
0.89/0.92	c Core size: 18	Core Weight: 1	Total Weight: 214
0.89/0.92	c Elapsed CPU time: 0.922859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #215
0.89/0.93	c Core size: 14	Core Weight: 1	Total Weight: 215
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #216
0.89/0.93	c Core size: 22	Core Weight: 1	Total Weight: 216
0.89/0.93	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #217
0.89/0.94	c Core size: 22	Core Weight: 1	Total Weight: 217
0.89/0.94	c Elapsed CPU time: 0.937857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #218
0.89/0.94	c Core size: 21	Core Weight: 1	Total Weight: 218
0.89/0.94	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #219
0.89/0.95	c Core size: 23	Core Weight: 1	Total Weight: 219
0.89/0.95	c Elapsed CPU time: 0.949855 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #220
0.89/0.95	c Core size: 22	Core Weight: 1	Total Weight: 220
0.89/0.95	c Elapsed CPU time: 0.954854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #221
0.89/0.96	c Core size: 21	Core Weight: 1	Total Weight: 221
0.89/0.96	c Elapsed CPU time: 0.960853 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #222
0.89/0.96	c Core size: 22	Core Weight: 1	Total Weight: 222
0.89/0.96	c Elapsed CPU time: 0.965853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #223
0.89/0.97	c Core size: 23	Core Weight: 1	Total Weight: 223
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #224
0.89/0.98	c Core size: 21	Core Weight: 1	Total Weight: 224
0.89/0.98	c Elapsed CPU time: 0.976851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #225
0.89/0.98	c Core size: 19	Core Weight: 1	Total Weight: 225
0.89/0.98	c Elapsed CPU time: 0.98285 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #226
0.89/0.99	c Core size: 21	Core Weight: 1	Total Weight: 226
0.89/0.99	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #227
0.89/0.99	c Core size: 20	Core Weight: 1	Total Weight: 227
0.89/0.99	c Elapsed CPU time: 0.993848 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #228
0.89/1.00	c Core size: 21	Core Weight: 1	Total Weight: 228
0.89/1.00	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 1799 s
1.00/1.00	c core #229
1.00/1.00	c Core size: 23	Core Weight: 1	Total Weight: 229
1.00/1.00	c Elapsed CPU time: 1.00485 s	Remaining CPU time: 1799 s
1.00/1.01	c core #230
1.00/1.01	c Core size: 21	Core Weight: 1	Total Weight: 230
1.00/1.01	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
1.00/1.01	c core #231
1.00/1.01	c Core size: 21	Core Weight: 1	Total Weight: 231
1.00/1.01	c Elapsed CPU time: 1.01684 s	Remaining CPU time: 1798.98 s
1.00/1.02	c core #232
1.00/1.02	c Core size: 19	Core Weight: 1	Total Weight: 232
1.00/1.02	c Elapsed CPU time: 1.02184 s	Remaining CPU time: 1798.98 s
1.00/1.03	c core #233
1.00/1.03	c Core size: 20	Core Weight: 1	Total Weight: 233
1.00/1.03	c Elapsed CPU time: 1.02784 s	Remaining CPU time: 1798.97 s
1.00/1.03	c core #234
1.00/1.03	c Core size: 18	Core Weight: 1	Total Weight: 234
1.00/1.03	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #235
1.00/1.04	c Core size: 14	Core Weight: 1	Total Weight: 235
1.00/1.04	c Elapsed CPU time: 1.03984 s	Remaining CPU time: 1798.96 s
1.00/1.04	c core #236
1.00/1.04	c Core size: 22	Core Weight: 1	Total Weight: 236
1.00/1.04	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
1.00/1.05	c core #237
1.00/1.05	c Core size: 22	Core Weight: 1	Total Weight: 237
1.00/1.05	c Elapsed CPU time: 1.05084 s	Remaining CPU time: 1798.95 s
1.00/1.06	c core #238
1.00/1.06	c Core size: 21	Core Weight: 1	Total Weight: 238
1.00/1.06	c Elapsed CPU time: 1.05684 s	Remaining CPU time: 1798.94 s
1.00/1.06	c core #239
1.00/1.06	c Core size: 23	Core Weight: 1	Total Weight: 239
1.00/1.06	c Elapsed CPU time: 1.06284 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #240
1.00/1.07	c Core size: 22	Core Weight: 1	Total Weight: 240
1.00/1.07	c Elapsed CPU time: 1.06884 s	Remaining CPU time: 1798.93 s
1.00/1.07	c core #241
1.00/1.07	c Core size: 21	Core Weight: 1	Total Weight: 241
1.00/1.07	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
1.00/1.08	c core #242
1.00/1.08	c Core size: 22	Core Weight: 1	Total Weight: 242
1.00/1.08	c Elapsed CPU time: 1.08083 s	Remaining CPU time: 1798.92 s
1.00/1.08	c core #243
1.00/1.08	c Core size: 23	Core Weight: 1	Total Weight: 243
1.00/1.08	c Elapsed CPU time: 1.08683 s	Remaining CPU time: 1798.91 s
1.00/1.09	c core #244
1.00/1.09	c Core size: 21	Core Weight: 1	Total Weight: 244
1.00/1.09	c Elapsed CPU time: 1.09283 s	Remaining CPU time: 1798.91 s
1.00/1.10	c core #245
1.00/1.10	c Core size: 19	Core Weight: 1	Total Weight: 245
1.00/1.10	c Elapsed CPU time: 1.09783 s	Remaining CPU time: 1798.9 s
1.10/1.10	c core #246
1.10/1.10	c Core size: 21	Core Weight: 1	Total Weight: 246
1.10/1.10	c Elapsed CPU time: 1.10283 s	Remaining CPU time: 1798.9 s
1.10/1.11	c core #247
1.10/1.11	c Core size: 20	Core Weight: 1	Total Weight: 247
1.10/1.11	c Elapsed CPU time: 1.10783 s	Remaining CPU time: 1798.89 s
1.10/1.11	c core #248
1.10/1.11	c Core size: 21	Core Weight: 1	Total Weight: 248
1.10/1.11	c Elapsed CPU time: 1.11383 s	Remaining CPU time: 1798.89 s
1.10/1.12	c core #249
1.10/1.12	c Core size: 23	Core Weight: 1	Total Weight: 249
1.10/1.12	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.10/1.13	c core #250
1.10/1.13	c Core size: 21	Core Weight: 1	Total Weight: 250
1.10/1.13	c Elapsed CPU time: 1.12583 s	Remaining CPU time: 1798.87 s
1.10/1.13	c core #251
1.10/1.13	c Core size: 21	Core Weight: 1	Total Weight: 251
1.10/1.13	c Elapsed CPU time: 1.13083 s	Remaining CPU time: 1798.87 s
1.10/1.14	c core #252
1.10/1.14	c Core size: 19	Core Weight: 1	Total Weight: 252
1.10/1.14	c Elapsed CPU time: 1.13683 s	Remaining CPU time: 1798.86 s
1.10/1.14	c core #253
1.10/1.14	c Core size: 20	Core Weight: 1	Total Weight: 253
1.10/1.14	c Elapsed CPU time: 1.14283 s	Remaining CPU time: 1798.86 s
1.10/1.15	c core #254
1.10/1.15	c Core size: 18	Core Weight: 1	Total Weight: 254
1.10/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.10/1.16	c ============================[ Search Statistics ]==============================
1.10/1.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.16	c ===============================================================================
1.10/1.16	c |         0 |    2280     6070    13764 |     5000        0    nan |  0.000 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c core #255
1.10/1.16	c Core size: 17	Core Weight: 1	Total Weight: 255
1.10/1.16	c Elapsed CPU time: 1.15582 s	Remaining CPU time: 1798.84 s
1.10/1.16	c ============================[ Search Statistics ]==============================
1.10/1.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.16	c ===============================================================================
1.10/1.16	c |         0 |    2288     6071    13780 |     5000        0    nan |  0.000 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c core #256
1.10/1.16	c Core size: 13	Core Weight: 1	Total Weight: 256
1.10/1.16	c Elapsed CPU time: 1.16282 s	Remaining CPU time: 1798.84 s
1.10/1.17	c ============================[ Search Statistics ]==============================
1.10/1.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.17	c ===============================================================================
1.10/1.17	c |         0 |    2294     6072    13792 |     5000        0    nan |  0.000 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c core #257
1.10/1.17	c Core size: 13	Core Weight: 1	Total Weight: 257
1.10/1.17	c Elapsed CPU time: 1.16982 s	Remaining CPU time: 1798.83 s
1.10/1.18	c ============================[ Search Statistics ]==============================
1.10/1.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.18	c ===============================================================================
1.10/1.18	c |         0 |    2300     6073    13804 |     5000        0    nan |  0.000 % |
1.10/1.18	c ===============================================================================
1.10/1.18	c core #258
1.10/1.18	c Core size: 15	Core Weight: 1	Total Weight: 258
1.10/1.18	c Elapsed CPU time: 1.17682 s	Remaining CPU time: 1798.82 s
1.10/1.18	c ============================[ Search Statistics ]==============================
1.10/1.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.18	c ===============================================================================
1.10/1.18	c |         0 |    2307     6074    13818 |     5000        0    nan |  0.000 % |
1.10/1.19	c ===============================================================================
1.10/1.19	c core #259
1.10/1.19	c Core size: 17	Core Weight: 1	Total Weight: 259
1.10/1.19	c Elapsed CPU time: 1.18282 s	Remaining CPU time: 1798.82 s
1.10/1.19	c ============================[ Search Statistics ]==============================
1.10/1.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.19	c ===============================================================================
1.10/1.19	c |         0 |    2315     6075    13834 |     5000        0    nan |  0.000 % |
1.10/1.19	c ===============================================================================
1.10/1.19	c core #260
1.10/1.19	c Core size: 17	Core Weight: 1	Total Weight: 260
1.10/1.19	c Elapsed CPU time: 1.18982 s	Remaining CPU time: 1798.81 s
1.19/1.20	c ============================[ Search Statistics ]==============================
1.19/1.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.20	c ===============================================================================
1.19/1.20	c |         0 |    2323     6076    13850 |     5000        0    nan |  0.000 % |
1.19/1.20	c ===============================================================================
1.19/1.20	c core #261
1.19/1.20	c Core size: 19	Core Weight: 1	Total Weight: 261
1.19/1.20	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.19/1.20	c ============================[ Search Statistics ]==============================
1.19/1.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.20	c ===============================================================================
1.19/1.20	c |         0 |    2332     6077    13868 |     5000        0    nan |  0.000 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c core #262
1.19/1.21	c Core size: 43	Core Weight: 1	Total Weight: 262
1.19/1.21	c Elapsed CPU time: 1.20382 s	Remaining CPU time: 1798.8 s
1.19/1.21	c Learning 1 hard constraints
1.19/1.21	c ============================[ Search Statistics ]==============================
1.19/1.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.21	c ===============================================================================
1.19/1.21	c |         0 |    2340     6079    13888 |     5000        0    nan |  0.000 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c core #263
1.19/1.21	c Core size: 48	Core Weight: 1	Total Weight: 263
1.19/1.21	c Elapsed CPU time: 1.21081 s	Remaining CPU time: 1798.79 s
1.19/1.22	c Learning 1 hard constraints
1.19/1.22	c ============================[ Search Statistics ]==============================
1.19/1.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.22	c ===============================================================================
1.19/1.22	c |         0 |    2347     6081    13908 |     5000        0    nan |  0.000 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c core #264
1.19/1.22	c Core size: 39	Core Weight: 1	Total Weight: 264
1.19/1.22	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.19/1.23	c Learning 2 hard constraints
1.19/1.23	c ============================[ Search Statistics ]==============================
1.19/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.23	c ===============================================================================
1.19/1.23	c |         0 |    2354     6084    13932 |     5000        0    nan |  0.000 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c core #265
1.19/1.23	c Core size: 56	Core Weight: 1	Total Weight: 265
1.19/1.23	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 1798.78 s
1.19/1.23	c ============================[ Search Statistics ]==============================
1.19/1.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.23	c ===============================================================================
1.19/1.23	c |         0 |    2367     6085    13958 |     5000        0    nan |  0.000 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c core #266
1.19/1.24	c Core size: 13	Core Weight: 1	Total Weight: 266
1.19/1.24	c Elapsed CPU time: 1.23081 s	Remaining CPU time: 1798.77 s
1.19/1.24	c Learning 1 hard constraints
1.19/1.24	c ============================[ Search Statistics ]==============================
1.19/1.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.24	c ===============================================================================
1.19/1.24	c |         0 |    2373     6087    13974 |     5000        0    nan |  0.000 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c core #267
1.19/1.24	c Core size: 61	Core Weight: 1	Total Weight: 267
1.19/1.24	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.19/1.25	c ============================[ Search Statistics ]==============================
1.19/1.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.25	c ===============================================================================
1.19/1.25	c |         0 |    2393     6088    14014 |     5000        0    nan |  0.000 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c core #268
1.19/1.25	c Core size: 58	Core Weight: 1	Total Weight: 268
1.19/1.25	c Elapsed CPU time: 1.24481 s	Remaining CPU time: 1798.76 s
1.19/1.26	c Learning 2 hard constraints
1.19/1.26	c ============================[ Search Statistics ]==============================
1.19/1.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.26	c ===============================================================================
1.19/1.26	c |         0 |    2406     6091    14051 |     5000        0    nan |  0.000 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c core #269
1.19/1.26	c Core size: 13	Core Weight: 1	Total Weight: 269
1.19/1.26	c Elapsed CPU time: 1.25181 s	Remaining CPU time: 1798.75 s
1.19/1.26	c ============================[ Search Statistics ]==============================
1.19/1.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.26	c ===============================================================================
1.19/1.26	c |         0 |    2412     6092    14063 |     5000        0    nan |  0.000 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c core #270
1.19/1.27	c Core size: 15	Core Weight: 1	Total Weight: 270
1.19/1.27	c Elapsed CPU time: 1.25881 s	Remaining CPU time: 1798.74 s
1.19/1.27	c ============================[ Search Statistics ]==============================
1.19/1.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.27	c ===============================================================================
1.19/1.27	c |         0 |    2419     6093    14077 |     5000        0    nan |  0.000 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c core #271
1.19/1.27	c Core size: 15	Core Weight: 1	Total Weight: 271
1.19/1.27	c Elapsed CPU time: 1.26581 s	Remaining CPU time: 1798.73 s
1.19/1.28	c ============================[ Search Statistics ]==============================
1.19/1.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.28	c ===============================================================================
1.19/1.28	c |         0 |    2426     6094    14091 |     5000        0    nan |  0.000 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c core #272
1.19/1.28	c Core size: 36	Core Weight: 1	Total Weight: 272
1.19/1.28	c Elapsed CPU time: 1.27281 s	Remaining CPU time: 1798.73 s
1.19/1.29	c ============================[ Search Statistics ]==============================
1.19/1.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.29	c ===============================================================================
1.19/1.29	c |         0 |    2436     6095    14111 |     5000        0    nan |  0.000 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c core #273
1.19/1.29	c Core size: 13	Core Weight: 1	Total Weight: 273
1.19/1.29	c Elapsed CPU time: 1.2788 s	Remaining CPU time: 1798.72 s
1.19/1.30	c ============================[ Search Statistics ]==============================
1.19/1.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.30	c ===============================================================================
1.19/1.30	c |         0 |    2442     6096    14123 |     5000        0    nan |  0.000 % |
1.28/1.30	c ===============================================================================
1.28/1.30	c core #274
1.28/1.30	c Core size: 13	Core Weight: 1	Total Weight: 274
1.28/1.30	c Elapsed CPU time: 1.2868 s	Remaining CPU time: 1798.71 s
1.28/1.30	c ============================[ Search Statistics ]==============================
1.28/1.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.30	c ===============================================================================
1.28/1.30	c |         0 |    2448     6097    14135 |     5000        0    nan |  0.000 % |
1.28/1.30	c ===============================================================================
1.28/1.30	c core #275
1.28/1.30	c Core size: 17	Core Weight: 1	Total Weight: 275
1.28/1.30	c Elapsed CPU time: 1.2938 s	Remaining CPU time: 1798.71 s
1.28/1.31	c ============================[ Search Statistics ]==============================
1.28/1.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.31	c ===============================================================================
1.28/1.31	c |         0 |    2456     6098    14151 |     5000        0    nan |  0.000 % |
1.28/1.31	c ===============================================================================
1.28/1.31	c core #276
1.28/1.31	c Core size: 15	Core Weight: 1	Total Weight: 276
1.28/1.31	c Elapsed CPU time: 1.3008 s	Remaining CPU time: 1798.7 s
1.28/1.32	c ============================[ Search Statistics ]==============================
1.28/1.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.32	c ===============================================================================
1.28/1.32	c |         0 |    2463     6099    14165 |     5000        0    nan |  0.000 % |
1.28/1.32	c ===============================================================================
1.28/1.32	c core #277
1.28/1.32	c Core size: 15	Core Weight: 1	Total Weight: 277
1.28/1.32	c Elapsed CPU time: 1.3088 s	Remaining CPU time: 1798.69 s
1.28/1.33	c ============================[ Search Statistics ]==============================
1.28/1.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.33	c ===============================================================================
1.28/1.33	c |         0 |    2470     6100    14179 |     5000        0    nan |  0.000 % |
1.28/1.33	c ===============================================================================
1.28/1.33	c core #278
1.28/1.33	c Core size: 17	Core Weight: 1	Total Weight: 278
1.28/1.33	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.28/1.33	c ============================[ Search Statistics ]==============================
1.28/1.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.33	c ===============================================================================
1.28/1.33	c |         0 |    2478     6101    14195 |     5000        0    nan |  0.000 % |
1.28/1.34	c ===============================================================================
1.28/1.34	c core #279
1.28/1.34	c Core size: 13	Core Weight: 1	Total Weight: 279
1.28/1.34	c Elapsed CPU time: 1.3228 s	Remaining CPU time: 1798.68 s
1.28/1.34	c ============================[ Search Statistics ]==============================
1.28/1.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.34	c ===============================================================================
1.28/1.34	c |         0 |    2484     6102    14207 |     5000        0    nan |  0.000 % |
1.28/1.34	c ===============================================================================
1.28/1.34	c core #280
1.28/1.34	c Core size: 17	Core Weight: 1	Total Weight: 280
1.28/1.34	c Elapsed CPU time: 1.3298 s	Remaining CPU time: 1798.67 s
1.28/1.35	c ============================[ Search Statistics ]==============================
1.28/1.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.35	c ===============================================================================
1.28/1.35	c |         0 |    2492     6103    14223 |     5000        0    nan |  0.000 % |
1.28/1.35	c ===============================================================================
1.28/1.35	c core #281
1.28/1.35	c Core size: 17	Core Weight: 1	Total Weight: 281
1.28/1.35	c Elapsed CPU time: 1.3368 s	Remaining CPU time: 1798.66 s
1.28/1.36	c ============================[ Search Statistics ]==============================
1.28/1.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.36	c ===============================================================================
1.28/1.36	c |         0 |    2500     6104    14239 |     5000        0    nan |  0.000 % |
1.28/1.36	c ===============================================================================
1.28/1.36	c core #282
1.28/1.36	c Core size: 13	Core Weight: 1	Total Weight: 282
1.28/1.36	c Elapsed CPU time: 1.3438 s	Remaining CPU time: 1798.66 s
1.28/1.37	c ============================[ Search Statistics ]==============================
1.28/1.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.37	c ===============================================================================
1.28/1.37	c |         0 |    2506     6105    14251 |     5000        0    nan |  0.000 % |
1.28/1.37	c ===============================================================================
1.28/1.37	c core #283
1.28/1.37	c Core size: 13	Core Weight: 1	Total Weight: 283
1.28/1.37	c Elapsed CPU time: 1.35179 s	Remaining CPU time: 1798.65 s
1.28/1.37	c ============================[ Search Statistics ]==============================
1.28/1.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.38	c ===============================================================================
1.28/1.38	c |         0 |    2512     6106    14263 |     5000        0    nan |  0.000 % |
1.28/1.38	c ===============================================================================
1.28/1.38	c core #284
1.28/1.38	c Core size: 34	Core Weight: 1	Total Weight: 284
1.28/1.38	c Elapsed CPU time: 1.35979 s	Remaining CPU time: 1798.64 s
1.28/1.38	c ============================[ Search Statistics ]==============================
1.28/1.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.38	c ===============================================================================
1.28/1.38	c |         0 |    2521     6107    14281 |     5000        0    nan |  0.000 % |
1.28/1.38	c ===============================================================================
1.28/1.38	c core #285
1.28/1.38	c Core size: 16	Core Weight: 1	Total Weight: 285
1.28/1.38	c Elapsed CPU time: 1.36779 s	Remaining CPU time: 1798.63 s
1.28/1.39	c ============================[ Search Statistics ]==============================
1.28/1.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.28/1.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.28/1.39	c ===============================================================================
1.28/1.39	c |         0 |    2529     6108    14297 |     5000        0    nan |  0.000 % |
1.28/1.39	c ===============================================================================
1.28/1.39	c core #286
1.28/1.39	c Core size: 35	Core Weight: 1	Total Weight: 286
1.28/1.39	c Elapsed CPU time: 1.37579 s	Remaining CPU time: 1798.62 s
1.38/1.40	c ============================[ Search Statistics ]==============================
1.38/1.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.40	c ===============================================================================
1.38/1.40	c |         0 |    2538     6109    14315 |     5000        0    nan |  0.000 % |
1.38/1.40	c ===============================================================================
1.38/1.40	c core #287
1.38/1.40	c Core size: 15	Core Weight: 1	Total Weight: 287
1.38/1.40	c Elapsed CPU time: 1.38379 s	Remaining CPU time: 1798.62 s
1.38/1.41	c ============================[ Search Statistics ]==============================
1.38/1.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.41	c ===============================================================================
1.38/1.41	c |         0 |    2545     6110    14329 |     5000        0    nan |  0.000 % |
1.38/1.41	c ===============================================================================
1.38/1.41	c core #288
1.38/1.41	c Core size: 17	Core Weight: 1	Total Weight: 288
1.38/1.41	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.38/1.42	c ============================[ Search Statistics ]==============================
1.38/1.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.42	c ===============================================================================
1.38/1.42	c |         0 |    2553     6111    14345 |     5000        0    nan |  0.000 % |
1.38/1.42	c ===============================================================================
1.38/1.42	c core #289
1.38/1.42	c Core size: 13	Core Weight: 1	Total Weight: 289
1.38/1.42	c Elapsed CPU time: 1.39979 s	Remaining CPU time: 1798.6 s
1.38/1.42	c ============================[ Search Statistics ]==============================
1.38/1.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.42	c ===============================================================================
1.38/1.42	c |         0 |    2559     6112    14357 |     5000        0    nan |  0.000 % |
1.38/1.43	c ===============================================================================
1.38/1.43	c core #290
1.38/1.43	c Core size: 13	Core Weight: 1	Total Weight: 290
1.38/1.43	c Elapsed CPU time: 1.40878 s	Remaining CPU time: 1798.59 s
1.38/1.43	c ============================[ Search Statistics ]==============================
1.38/1.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.43	c ===============================================================================
1.38/1.43	c |         0 |    2565     6113    14369 |     5000        0    nan |  0.000 % |
1.38/1.43	c ===============================================================================
1.38/1.43	c core #291
1.38/1.43	c Core size: 13	Core Weight: 1	Total Weight: 291
1.38/1.43	c Elapsed CPU time: 1.41678 s	Remaining CPU time: 1798.58 s
1.38/1.44	c ============================[ Search Statistics ]==============================
1.38/1.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.44	c ===============================================================================
1.38/1.44	c |         0 |    2571     6114    14381 |     5000        0    nan |  0.000 % |
1.38/1.44	c ===============================================================================
1.38/1.44	c core #292
1.38/1.44	c Core size: 12	Core Weight: 1	Total Weight: 292
1.38/1.44	c Elapsed CPU time: 1.42378 s	Remaining CPU time: 1798.58 s
1.38/1.45	c ============================[ Search Statistics ]==============================
1.38/1.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.45	c ===============================================================================
1.38/1.45	c |         0 |    2577     6115    14393 |     5000        0    nan |  0.000 % |
1.38/1.45	c ===============================================================================
1.38/1.45	c core #293
1.38/1.45	c Core size: 51	Core Weight: 1	Total Weight: 293
1.38/1.45	c Elapsed CPU time: 1.43178 s	Remaining CPU time: 1798.57 s
1.38/1.46	c Learning 1 hard constraints
1.38/1.46	c ============================[ Search Statistics ]==============================
1.38/1.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.46	c ===============================================================================
1.38/1.46	c |         0 |    2588     6117    14418 |     5000        0    nan |  0.000 % |
1.38/1.46	c ===============================================================================
1.38/1.46	c core #294
1.38/1.46	c Core size: 50	Core Weight: 1	Total Weight: 294
1.38/1.46	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 1798.56 s
1.38/1.47	c Learning 1 hard constraints
1.38/1.47	c ============================[ Search Statistics ]==============================
1.38/1.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.47	c ===============================================================================
1.38/1.47	c |         0 |    2602     6119    14449 |     5000        0    nan |  0.000 % |
1.38/1.47	c ===============================================================================
1.38/1.47	c core #295
1.38/1.47	c Core size: 22	Core Weight: 1	Total Weight: 295
1.38/1.47	c Elapsed CPU time: 1.44778 s	Remaining CPU time: 1798.55 s
1.38/1.47	c ============================[ Search Statistics ]==============================
1.38/1.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.48	c ===============================================================================
1.38/1.48	c |         0 |    2612     6120    14469 |     5000        0    nan |  0.000 % |
1.38/1.48	c ===============================================================================
1.38/1.48	c core #296
1.38/1.48	c Core size: 81	Core Weight: 1	Total Weight: 296
1.38/1.48	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.38/1.48	c Learning 2 hard constraints
1.38/1.48	c ============================[ Search Statistics ]==============================
1.38/1.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.48	c ===============================================================================
1.38/1.48	c |         0 |    2634     6123    14520 |     5000        0    nan |  0.000 % |
1.38/1.49	c ===============================================================================
1.38/1.49	c core #297
1.38/1.49	c Core size: 37	Core Weight: 1	Total Weight: 297
1.38/1.49	c Elapsed CPU time: 1.46578 s	Remaining CPU time: 1798.53 s
1.38/1.49	c Learning 1 hard constraints
1.38/1.49	c ============================[ Search Statistics ]==============================
1.38/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.49	c ===============================================================================
1.38/1.49	c |         0 |    2643     6125    14544 |     5000        0    nan |  0.000 % |
1.38/1.49	c ===============================================================================
1.38/1.49	c core #298
1.38/1.49	c Core size: 50	Core Weight: 1	Total Weight: 298
1.38/1.49	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 1798.53 s
1.48/1.50	c Learning 2 hard constraints
1.48/1.50	c ============================[ Search Statistics ]==============================
1.48/1.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.50	c ===============================================================================
1.48/1.50	c |         0 |    2653     6128    14571 |     5000        0    nan |  0.000 % |
1.48/1.50	c ===============================================================================
1.48/1.50	c core #299
1.48/1.50	c Core size: 17	Core Weight: 1	Total Weight: 299
1.48/1.50	c Elapsed CPU time: 1.48277 s	Remaining CPU time: 1798.52 s
1.48/1.51	c ============================[ Search Statistics ]==============================
1.48/1.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.51	c ===============================================================================
1.48/1.51	c |         0 |    2661     6129    14587 |     5000        0    nan |  0.000 % |
1.48/1.51	c ===============================================================================
1.48/1.51	c core #300
1.48/1.51	c Core size: 54	Core Weight: 1	Total Weight: 300
1.48/1.51	c Elapsed CPU time: 1.49177 s	Remaining CPU time: 1798.51 s
1.48/1.52	c ============================[ Search Statistics ]==============================
1.48/1.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.52	c ===============================================================================
1.48/1.52	c |         0 |    2677     6130    14619 |     5000        0    nan |  0.000 % |
1.48/1.52	c ===============================================================================
1.48/1.52	c core #301
1.48/1.52	c Core size: 41	Core Weight: 1	Total Weight: 301
1.48/1.52	c Elapsed CPU time: 1.49977 s	Remaining CPU time: 1798.5 s
1.48/1.53	c ============================[ Search Statistics ]==============================
1.48/1.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.53	c ===============================================================================
1.48/1.53	c |         0 |    2686     6131    14637 |     5000        0    nan |  0.000 % |
1.48/1.53	c ===============================================================================
1.48/1.53	c core #302
1.48/1.53	c Core size: 36	Core Weight: 1	Total Weight: 302
1.48/1.53	c Elapsed CPU time: 1.50677 s	Remaining CPU time: 1798.49 s
1.48/1.54	c ============================[ Search Statistics ]==============================
1.48/1.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.54	c ===============================================================================
1.48/1.54	c |         0 |    2697     6132    14659 |     5000        0    nan |  0.000 % |
1.48/1.54	c ===============================================================================
1.48/1.54	c core #303
1.48/1.54	c Core size: 36	Core Weight: 1	Total Weight: 303
1.48/1.54	c Elapsed CPU time: 1.51577 s	Remaining CPU time: 1798.48 s
1.48/1.54	c Learning 1 hard constraints
1.48/1.54	c ============================[ Search Statistics ]==============================
1.48/1.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.55	c ===============================================================================
1.48/1.55	c |         0 |    2703     6134    14674 |     5000        0    nan |  0.000 % |
1.48/1.55	c ===============================================================================
1.48/1.55	c core #304
1.48/1.55	c Core size: 45	Core Weight: 1	Total Weight: 304
1.48/1.55	c Elapsed CPU time: 1.52477 s	Remaining CPU time: 1798.48 s
1.48/1.55	c ============================[ Search Statistics ]==============================
1.48/1.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.55	c ===============================================================================
1.48/1.55	c |         0 |    2713     6135    14694 |     5000        0    nan |  0.000 % |
1.48/1.56	c ===============================================================================
1.48/1.56	c core #305
1.48/1.56	c Core size: 17	Core Weight: 1	Total Weight: 305
1.48/1.56	c Elapsed CPU time: 1.53277 s	Remaining CPU time: 1798.47 s
1.48/1.56	c ============================[ Search Statistics ]==============================
1.48/1.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.56	c ===============================================================================
1.48/1.56	c |         0 |    2721     6136    14710 |     5000        0    nan |  0.000 % |
1.48/1.56	c ===============================================================================
1.48/1.56	c core #306
1.48/1.56	c Core size: 60	Core Weight: 1	Total Weight: 306
1.48/1.56	c Elapsed CPU time: 1.54076 s	Remaining CPU time: 1798.46 s
1.48/1.57	c ============================[ Search Statistics ]==============================
1.48/1.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.57	c ===============================================================================
1.48/1.57	c |         0 |    2736     6137    14740 |     5000        0    nan |  0.000 % |
1.48/1.58	c ===============================================================================
1.48/1.58	c core #307
1.48/1.58	c Core size: 53	Core Weight: 1	Total Weight: 307
1.48/1.58	c Elapsed CPU time: 1.55176 s	Remaining CPU time: 1798.45 s
1.48/1.58	c Learning 7 hard constraints
1.48/1.58	c ============================[ Search Statistics ]==============================
1.48/1.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.58	c ===============================================================================
1.48/1.58	c |         0 |    2746     6145    14802 |     5000        0    nan |  0.000 % |
1.48/1.59	c ===============================================================================
1.48/1.59	c core #308
1.48/1.59	c Core size: 73	Core Weight: 1	Total Weight: 308
1.48/1.59	c Elapsed CPU time: 1.56076 s	Remaining CPU time: 1798.44 s
1.48/1.59	c ============================[ Search Statistics ]==============================
1.48/1.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.48/1.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.48/1.59	c ===============================================================================
1.48/1.59	c |         0 |    2769     6146    14848 |     5000        0    nan |  0.000 % |
1.48/1.60	c ===============================================================================
1.48/1.60	c core #309
1.48/1.60	c Core size: 17	Core Weight: 1	Total Weight: 309
1.48/1.60	c Elapsed CPU time: 1.57076 s	Remaining CPU time: 1798.43 s
1.58/1.60	c Learning 1 hard constraints
1.58/1.60	c ============================[ Search Statistics ]==============================
1.58/1.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.60	c ===============================================================================
1.58/1.60	c |         0 |    2777     6148    14867 |     5000        0    nan |  0.000 % |
1.58/1.61	c ===============================================================================
1.58/1.61	c core #310
1.58/1.61	c Core size: 14	Core Weight: 1	Total Weight: 310
1.58/1.61	c Elapsed CPU time: 1.57976 s	Remaining CPU time: 1798.42 s
1.58/1.61	c ============================[ Search Statistics ]==============================
1.58/1.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.61	c ===============================================================================
1.58/1.61	c |         0 |    2784     6149    14881 |     5000        0    nan |  0.000 % |
1.58/1.61	c ===============================================================================
1.58/1.61	c core #311
1.58/1.61	c Core size: 41	Core Weight: 1	Total Weight: 311
1.58/1.61	c Elapsed CPU time: 1.58676 s	Remaining CPU time: 1798.41 s
1.58/1.62	c Learning 1 hard constraints
1.58/1.62	c ============================[ Search Statistics ]==============================
1.58/1.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.62	c ===============================================================================
1.58/1.62	c |         0 |    2792     6151    14901 |     5000        0    nan |  0.000 % |
1.58/1.62	c ===============================================================================
1.58/1.62	c core #312
1.58/1.62	c Core size: 43	Core Weight: 1	Total Weight: 312
1.58/1.62	c Elapsed CPU time: 1.59576 s	Remaining CPU time: 1798.4 s
1.58/1.63	c ============================[ Search Statistics ]==============================
1.58/1.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.63	c ===============================================================================
1.58/1.63	c |         0 |    2802     6152    14921 |     5000        0    nan |  0.000 % |
1.58/1.63	c ===============================================================================
1.58/1.63	c core #313
1.58/1.63	c Core size: 39	Core Weight: 1	Total Weight: 313
1.58/1.63	c Elapsed CPU time: 1.60276 s	Remaining CPU time: 1798.4 s
1.58/1.64	c Learning 1 hard constraints
1.58/1.64	c ============================[ Search Statistics ]==============================
1.58/1.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.64	c ===============================================================================
1.58/1.64	c |         0 |    2810     6154    14943 |     5000        0    nan |  0.000 % |
1.58/1.64	c ===============================================================================
1.58/1.64	c core #314
1.58/1.64	c Core size: 38	Core Weight: 1	Total Weight: 314
1.58/1.64	c Elapsed CPU time: 1.61076 s	Remaining CPU time: 1798.39 s
1.58/1.65	c Learning 1 hard constraints
1.58/1.65	c ============================[ Search Statistics ]==============================
1.58/1.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.65	c ===============================================================================
1.58/1.65	c |         0 |    2816     6156    14958 |     5000        0    nan |  0.000 % |
1.58/1.65	c ===============================================================================
1.58/1.65	c core #315
1.58/1.65	c Core size: 43	Core Weight: 1	Total Weight: 315
1.58/1.65	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 1798.38 s
1.58/1.66	c ============================[ Search Statistics ]==============================
1.58/1.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.66	c ===============================================================================
1.58/1.66	c |         0 |    2824     6157    14974 |     5000        0    nan |  0.000 % |
1.58/1.66	c ===============================================================================
1.58/1.66	c core #316
1.58/1.66	c Core size: 53	Core Weight: 1	Total Weight: 316
1.58/1.66	c Elapsed CPU time: 1.62675 s	Remaining CPU time: 1798.37 s
1.58/1.67	c Learning 3 hard constraints
1.58/1.67	c ============================[ Search Statistics ]==============================
1.58/1.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.67	c ===============================================================================
1.58/1.67	c |         0 |    2837     6161    15014 |     5000        0    nan |  0.000 % |
1.58/1.67	c ===============================================================================
1.58/1.67	c core #317
1.58/1.67	c Core size: 82	Core Weight: 1	Total Weight: 317
1.58/1.67	c Elapsed CPU time: 1.63475 s	Remaining CPU time: 1798.37 s
1.58/1.67	c Learning 1 hard constraints
1.58/1.67	c ============================[ Search Statistics ]==============================
1.58/1.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.67	c ===============================================================================
1.58/1.67	c |         0 |    2861     6163    15067 |     5000        0    nan |  0.000 % |
1.58/1.68	c ===============================================================================
1.58/1.68	c core #318
1.58/1.68	c Core size: 113	Core Weight: 1	Total Weight: 318
1.58/1.68	c Elapsed CPU time: 1.64275 s	Remaining CPU time: 1798.36 s
1.58/1.68	c Learning 1 hard constraints
1.58/1.68	c ============================[ Search Statistics ]==============================
1.58/1.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.68	c ===============================================================================
1.58/1.68	c |         0 |    2889     6165    15128 |     5000        0    nan |  0.000 % |
1.58/1.69	c ===============================================================================
1.58/1.69	c core #319
1.58/1.69	c Core size: 92	Core Weight: 1	Total Weight: 319
1.58/1.69	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 1798.35 s
1.58/1.70	c Learning 3 hard constraints
1.58/1.70	c ============================[ Search Statistics ]==============================
1.58/1.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.58/1.70	c ===============================================================================
1.58/1.70	c |         0 |    2910     6169    15185 |     5000        0    nan |  0.000 % |
1.67/1.70	c ===============================================================================
1.67/1.70	c core #320
1.67/1.70	c Core size: 22	Core Weight: 1	Total Weight: 320
1.67/1.70	c Elapsed CPU time: 1.65975 s	Remaining CPU time: 1798.34 s
1.67/1.70	c ============================[ Search Statistics ]==============================
1.67/1.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.70	c ===============================================================================
1.67/1.70	c |         0 |    2920     6170    15205 |     5000        0    nan |  0.000 % |
1.67/1.71	c ===============================================================================
1.67/1.71	c core #321
1.67/1.71	c Core size: 15	Core Weight: 1	Total Weight: 321
1.67/1.71	c Elapsed CPU time: 1.66775 s	Remaining CPU time: 1798.33 s
1.67/1.71	c ============================[ Search Statistics ]==============================
1.67/1.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.71	c ===============================================================================
1.67/1.71	c |         0 |    2927     6171    15219 |     5000        0    nan |  0.000 % |
1.67/1.72	c ===============================================================================
1.67/1.72	c core #322
1.67/1.72	c Core size: 13	Core Weight: 1	Total Weight: 322
1.67/1.72	c Elapsed CPU time: 1.67575 s	Remaining CPU time: 1798.32 s
1.67/1.72	c ============================[ Search Statistics ]==============================
1.67/1.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.72	c ===============================================================================
1.67/1.72	c |         0 |    2933     6172    15231 |     5000        0    nan |  0.000 % |
1.67/1.73	c ===============================================================================
1.67/1.73	c core #323
1.67/1.73	c Core size: 36	Core Weight: 1	Total Weight: 323
1.67/1.73	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.67/1.73	c Learning 1 hard constraints
1.67/1.73	c ============================[ Search Statistics ]==============================
1.67/1.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.73	c ===============================================================================
1.67/1.73	c |         0 |    2941     6174    15251 |     5000        0    nan |  0.000 % |
1.67/1.73	c ===============================================================================
1.67/1.73	c core #324
1.67/1.73	c Core size: 38	Core Weight: 1	Total Weight: 324
1.67/1.73	c Elapsed CPU time: 1.69274 s	Remaining CPU time: 1798.31 s
1.67/1.74	c Learning 2 hard constraints
1.67/1.74	c ============================[ Search Statistics ]==============================
1.67/1.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.74	c ===============================================================================
1.67/1.74	c |         0 |    2948     6177    15277 |     5000        0    nan |  0.000 % |
1.67/1.74	c ===============================================================================
1.67/1.74	c core #325
1.67/1.74	c Core size: 47	Core Weight: 1	Total Weight: 325
1.67/1.74	c Elapsed CPU time: 1.70174 s	Remaining CPU time: 1798.3 s
1.67/1.75	c Learning 1 hard constraints
1.67/1.75	c ============================[ Search Statistics ]==============================
1.67/1.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.75	c ===============================================================================
1.67/1.75	c |         0 |    2958     6179    15301 |     5000        0    nan |  0.000 % |
1.67/1.76	c ===============================================================================
1.67/1.76	c core #326
1.67/1.76	c Core size: 50	Core Weight: 1	Total Weight: 326
1.67/1.76	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.67/1.76	c Learning 2 hard constraints
1.67/1.76	c ============================[ Search Statistics ]==============================
1.67/1.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.76	c ===============================================================================
1.67/1.76	c |         0 |    2969     6182    15333 |     5000        0    nan |  0.000 % |
1.67/1.77	c ===============================================================================
1.67/1.77	c core #327
1.67/1.77	c Core size: 78	Core Weight: 1	Total Weight: 327
1.67/1.77	c Elapsed CPU time: 1.72274 s	Remaining CPU time: 1798.28 s
1.67/1.77	c Learning 2 hard constraints
1.67/1.77	c ============================[ Search Statistics ]==============================
1.67/1.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.77	c ===============================================================================
1.67/1.77	c |         0 |    2993     6185    15393 |     5000        0    nan |  0.000 % |
1.67/1.78	c ===============================================================================
1.67/1.78	c core #328
1.67/1.78	c Core size: 85	Core Weight: 1	Total Weight: 328
1.67/1.78	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 1798.27 s
1.67/1.78	c Learning 1 hard constraints
1.67/1.78	c ============================[ Search Statistics ]==============================
1.67/1.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.78	c ===============================================================================
1.67/1.78	c |         0 |    3008     6187    15428 |     5000        0    nan |  0.000 % |
1.67/1.79	c ===============================================================================
1.67/1.79	c core #329
1.67/1.79	c Core size: 44	Core Weight: 1	Total Weight: 329
1.67/1.79	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 1798.26 s
1.67/1.79	c ============================[ Search Statistics ]==============================
1.67/1.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.67/1.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.67/1.79	c ===============================================================================
1.67/1.79	c |         0 |    3017     6188    15446 |     5000        0    nan |  0.000 % |
1.77/1.80	c ===============================================================================
1.77/1.80	c core #330
1.77/1.80	c Core size: 58	Core Weight: 1	Total Weight: 330
1.77/1.80	c Elapsed CPU time: 1.75173 s	Remaining CPU time: 1798.25 s
1.77/1.80	c ============================[ Search Statistics ]==============================
1.77/1.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.77/1.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.77/1.81	c ===============================================================================
1.77/1.81	c |         0 |    3031     6189    15474 |     5000        0    nan |  0.000 % |
1.77/1.81	c ===============================================================================
1.77/1.81	c core #331
1.77/1.81	c Core size: 88	Core Weight: 1	Total Weight: 331
1.77/1.81	c Elapsed CPU time: 1.76473 s	Remaining CPU time: 1798.24 s
1.77/1.82	c Learning 1 hard constraints
1.77/1.82	c ============================[ Search Statistics ]==============================
1.77/1.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.77/1.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.77/1.82	c ===============================================================================
1.77/1.82	c |         0 |    3058     6191    15531 |     5000        0    nan |  0.000 % |
1.77/1.83	c ===============================================================================
1.77/1.83	c core #332
1.77/1.83	c Core size: 221	Core Weight: 1	Total Weight: 332
1.77/1.83	c Elapsed CPU time: 1.78173 s	Remaining CPU time: 1798.22 s
1.77/1.84	c Learning 8 hard constraints
1.77/1.84	c ============================[ Search Statistics ]==============================
1.77/1.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.77/1.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.77/1.84	c ===============================================================================
1.77/1.84	c |         0 |    3100     6200    15655 |     5000        0    nan |  0.000 % |
1.77/1.85	c ===============================================================================
1.77/1.85	c core #333
1.77/1.85	c Core size: 295	Core Weight: 1	Total Weight: 333
1.77/1.85	c Elapsed CPU time: 1.79973 s	Remaining CPU time: 1798.2 s
1.77/1.85	c Learning 3 hard constraints
1.77/1.85	c ============================[ Search Statistics ]==============================
1.77/1.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.77/1.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.77/1.85	c ===============================================================================
1.77/1.85	c |         0 |    3163     6204    15798 |     5000        0    nan |  0.000 % |
1.77/1.86	c |       101 |    3162     6204    15798 |     5500      101      9 |  0.441 % |
1.77/1.87	c ===============================================================================
1.77/1.87	c core #334
1.77/1.87	c Core size: 403	Core Weight: 1	Total Weight: 334
1.77/1.87	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.77/1.88	c Learning 15 hard constraints
1.77/1.88	c ============================[ Search Statistics ]==============================
1.77/1.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.77/1.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.77/1.88	c ===============================================================================
1.77/1.88	c |         0 |    3241     6220    16027 |     5000        0    nan |  0.000 % |
1.77/1.89	c |       101 |    3239     6220    16027 |     5500      101      7 |  0.430 % |
1.87/1.90	c ===============================================================================
1.87/1.90	c core #335
1.87/1.90	c Core size: 394	Core Weight: 1	Total Weight: 335
1.87/1.90	c Elapsed CPU time: 1.84772 s	Remaining CPU time: 1798.15 s
1.87/1.91	c Learning 6 hard constraints
1.87/1.91	c ============================[ Search Statistics ]==============================
1.87/1.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.87/1.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.87/1.91	c ===============================================================================
1.87/1.91	c |         0 |    3330     6227    16232 |     5000        0    nan |  0.000 % |
1.87/1.91	c |       100 |    3298     6227    16232 |     5500      100      7 |  2.962 % |
1.87/1.92	c |       250 |    3239     6227    16232 |     6050      220     10 |  3.113 % |
1.87/1.94	c |       476 |    3223     6227    16232 |     6655      441      8 |  3.800 % |
1.87/1.94	c ===============================================================================
1.87/1.94	c core #336
1.87/1.94	c Core size: 598	Core Weight: 1	Total Weight: 336
1.87/1.94	c Elapsed CPU time: 1.88671 s	Remaining CPU time: 1798.11 s
1.87/1.95	c Learning 23 hard constraints
1.87/1.95	c ============================[ Search Statistics ]==============================
1.87/1.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.87/1.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.87/1.95	c ===============================================================================
1.87/1.95	c |         0 |    3444     6251    16577 |     5000        0    nan |  0.000 % |
1.87/1.96	c |       101 |    3443     6251    16577 |     5500      101     10 |  0.405 % |
1.87/1.97	c |       251 |    3440     6251    16577 |     6050      245     12 |  0.464 % |
1.87/1.99	c |       480 |    3428     6251    16577 |     6655      464     14 |  0.928 % |
1.87/2.00	c ===============================================================================
1.97/2.00	c core #337
1.97/2.00	c Core size: 506	Core Weight: 1	Total Weight: 337
1.97/2.00	c Elapsed CPU time: 1.9437 s	Remaining CPU time: 1798.06 s
1.97/2.01	c Learning 6 hard constraints
1.97/2.01	c ============================[ Search Statistics ]==============================
1.97/2.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.97/2.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.97/2.01	c ===============================================================================
1.97/2.01	c |         0 |    3576     6258    16873 |     5000        0    nan |  0.000 % |
1.97/2.01	c |       102 |    3576     6258    16873 |     5500      102     12 |  0.335 % |
1.97/2.03	c |       252 |    3458     6258    16873 |     6050      227     12 |  3.623 % |
1.97/2.04	c |       477 |    3451     6258    16873 |     6655      446     14 |  3.846 % |
1.97/2.06	c ===============================================================================
1.97/2.06	c core #338
1.97/2.06	c Core size: 512	Core Weight: 1	Total Weight: 338
1.97/2.06	c Elapsed CPU time: 2.00569 s	Remaining CPU time: 1797.99 s
1.97/2.07	c Learning 32 hard constraints
1.97/2.07	c ============================[ Search Statistics ]==============================
1.97/2.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.97/2.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.97/2.07	c ===============================================================================
1.97/2.07	c |         0 |    3705     6291    17326 |     5000        0    nan |  0.000 % |
1.97/2.08	c |       100 |    3705     6291    17326 |     5500      100     19 |  0.323 % |
1.97/2.09	c |       251 |    3703     6291    17326 |     6050      248     15 |  0.377 % |
2.06/2.10	c |       476 |    3699     6291    17326 |     6655      470     15 |  0.484 % |
2.06/2.13	c |       813 |    3663     6291    17326 |     7320      793     19 |  3.955 % |
2.06/2.14	c ===============================================================================
2.06/2.14	c core #339
2.06/2.14	c Core size: 370	Core Weight: 1	Total Weight: 339
2.06/2.14	c Elapsed CPU time: 2.07568 s	Remaining CPU time: 1797.92 s
2.06/2.15	c Learning 9 hard constraints
2.06/2.15	c ============================[ Search Statistics ]==============================
2.06/2.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.06/2.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.06/2.15	c ===============================================================================
2.06/2.15	c |         0 |    3796     6301    17559 |     5000        0    nan |  0.000 % |
2.06/2.16	c |       100 |    3796     6301    17559 |     5500      100     13 |  0.316 % |
2.06/2.17	c |       250 |    3796     6301    17559 |     6050      250     17 |  0.315 % |
2.06/2.18	c |       475 |    3796     6301    17559 |     6655      475     13 |  0.315 % |
2.16/2.21	c |       812 |    3787     6301    17559 |     7320      776     12 |  0.605 % |
2.16/2.21	c ===============================================================================
2.16/2.21	c core #340
2.16/2.21	c Core size: 473	Core Weight: 1	Total Weight: 340
2.16/2.21	c Elapsed CPU time: 2.14267 s	Remaining CPU time: 1797.86 s
2.16/2.22	c Learning 52 hard constraints
2.16/2.22	c ============================[ Search Statistics ]==============================
2.16/2.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.16/2.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.16/2.22	c ===============================================================================
2.16/2.22	c |         0 |    3887     6354    18046 |     5000        0    nan |  0.000 % |
2.16/2.23	c |       100 |    3887     6354    18046 |     5500      100     13 |  0.309 % |
2.16/2.24	c |       251 |    3887     6354    18046 |     6050      251     14 |  0.308 % |
2.16/2.26	c |       478 |    3885     6354    18046 |     6655      476     13 |  0.359 % |
2.16/2.28	c |       815 |    3875     6354    18046 |     7320      741     13 |  0.667 % |
2.16/2.29	c ===============================================================================
2.16/2.29	c core #341
2.16/2.29	c Core size: 464	Core Weight: 1	Total Weight: 341
2.16/2.29	c Elapsed CPU time: 2.21366 s	Remaining CPU time: 1797.79 s
2.26/2.30	c Learning 20 hard constraints
2.26/2.30	c ============================[ Search Statistics ]==============================
2.26/2.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.26/2.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.26/2.30	c ===============================================================================
2.26/2.30	c |         0 |    3990     6375    18386 |     5000        0    nan |  0.000 % |
2.26/2.31	c |       100 |    3990     6375    18386 |     5500      100     18 |  0.300 % |
2.26/2.32	c |       250 |    3990     6375    18386 |     6050      250     22 |  0.300 % |
2.26/2.34	c |       475 |    3990     6375    18386 |     6655      475     23 |  0.300 % |
2.26/2.36	c |       812 |    3990     6375    18386 |     7320      812     23 |  0.300 % |
2.35/2.40	c |      1319 |    3986     6375    18386 |     8052     1300     24 |  0.400 % |
2.35/2.46	c |      2078 |    3981     6375    18386 |     8857     2044     28 |  0.550 % |
2.46/2.58	c |      3219 |    3959     6375    18386 |     9743     2320     28 |  3.748 % |
2.75/2.81	c |      4931 |    3938     6375    18386 |    10717     4032     41 |  3.748 % |
3.05/3.20	c ===============================================================================
3.15/3.24	c core #342
3.15/3.24	c Core size: 411	Core Weight: 1	Total Weight: 342
3.15/3.24	c Elapsed CPU time: 3.13652 s	Remaining CPU time: 1796.86 s
3.15/3.25	c Learning 24 hard constraints
3.15/3.25	c ============================[ Search Statistics ]==============================
3.15/3.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.15/3.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.15/3.25	c ===============================================================================
3.15/3.25	c |         0 |    4079     6400    18698 |     5000        0    nan |  0.000 % |
3.15/3.26	c |       101 |    4079     6400    18698 |     5500      101      9 |  0.294 % |
3.15/3.27	c |       252 |    4079     6400    18698 |     6050      252     11 |  0.293 % |
3.15/3.29	c |       477 |    4079     6400    18698 |     6655      477     12 |  0.293 % |
3.26/3.31	c |       817 |    4079     6400    18698 |     7320      817     16 |  0.293 % |
3.26/3.35	c |      1325 |    4071     6400    18698 |     8052     1191     18 |  0.489 % |
3.26/3.38	c ===============================================================================
3.26/3.39	c core #343
3.26/3.39	c Core size: 601	Core Weight: 1	Total Weight: 343
3.26/3.39	c Elapsed CPU time: 3.2825 s	Remaining CPU time: 1796.72 s
3.35/3.40	c Learning 21 hard constraints
3.35/3.40	c ============================[ Search Statistics ]==============================
3.35/3.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.35/3.40	c ===============================================================================
3.35/3.40	c |         0 |    4220     6422    19111 |     5000        0    nan |  0.000 % |
3.35/3.41	c |       100 |    4220     6422    19111 |     5500      100     14 |  0.284 % |
3.35/3.43	c |       250 |    4220     6422    19111 |     6050      250     14 |  0.284 % |
3.35/3.44	c |       475 |    4220     6422    19111 |     6655      475     20 |  0.284 % |
3.35/3.47	c |       814 |    4216     6422    19111 |     7320      808     21 |  0.378 % |
3.46/3.52	c |      1320 |    4216     6422    19111 |     8052     1298     28 |  0.378 % |
3.46/3.57	c |      2080 |    4215     6422    19111 |     8857     2056     30 |  0.402 % |
3.55/3.68	c |      3221 |    4213     6422    19111 |     9743     3138     35 |  0.449 % |
3.75/3.88	c |      4929 |    4213     6422    19111 |    10717     4846     39 |  0.449 % |
4.06/4.17	c |      7491 |    4209     6422    19111 |    11789     7403     39 |  0.543 % |
4.55/4.68	c ===============================================================================
4.66/4.72	c core #344
4.66/4.72	c Core size: 510	Core Weight: 1	Total Weight: 344
4.66/4.72	c Elapsed CPU time: 4.5803 s	Remaining CPU time: 1795.42 s
4.66/4.75	c Learning 44 hard constraints
4.66/4.75	c ============================[ Search Statistics ]==============================
4.66/4.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.66/4.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.66/4.75	c ===============================================================================
4.66/4.75	c |         0 |    4336     6467    19599 |     5000        0    nan |  0.000 % |
4.66/4.76	c |       100 |    4336     6467    19599 |     5500      100     15 |  0.276 % |
4.66/4.77	c |       250 |    4336     6467    19599 |     6050      250     13 |  0.276 % |
4.66/4.78	c |       476 |    4336     6467    19599 |     6655      476     16 |  0.276 % |
4.75/4.81	c |       815 |    4334     6467    19599 |     7320      811     19 |  0.322 % |
4.75/4.85	c |      1322 |    4332     6467    19599 |     8052     1316     22 |  0.368 % |
4.86/4.90	c |      2081 |    4326     6467    19599 |     8857     2070     23 |  0.506 % |
4.95/5.00	c |      3220 |    4322     6467    19599 |     9743     3172     28 |  0.598 % |
5.05/5.15	c |      4928 |    4278     6467    19599 |    10717     4871     31 |  3.864 % |
5.36/5.45	c |      7490 |    4180     6467    19599 |    11789     6877     33 |  3.864 % |
6.05/6.12	c |     11337 |    4180     6467    19599 |    12968    10724     35 |  3.864 % |
7.75/7.82	c |     17104 |    4180     6467    19599 |    14265     9803     44 |  3.865 % |
8.35/8.40	c ===============================================================================
8.45/8.54	c core #345
8.45/8.54	c Core size: 573	Core Weight: 1	Total Weight: 345
8.45/8.54	c Elapsed CPU time: 8.34773 s	Remaining CPU time: 1791.65 s
8.45/8.56	c Learning 4 hard constraints
8.45/8.57	c ============================[ Search Statistics ]==============================
8.45/8.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.45/8.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.45/8.57	c ===============================================================================
8.45/8.57	c |         0 |    4479     6472    19893 |     5000        0    nan |  0.000 % |
8.45/8.58	c |       101 |    4479     6472    19893 |     5500      101     19 |  0.268 % |
8.45/8.59	c |       251 |    4479     6472    19893 |     6050      251     20 |  0.267 % |
8.55/8.60	c |       476 |    4479     6472    19893 |     6655      476     21 |  0.268 % |
8.55/8.62	c |       818 |    4479     6472    19893 |     7320      818     23 |  0.267 % |
8.55/8.67	c |      1325 |    4479     6472    19893 |     8052     1325     25 |  0.268 % |
8.65/8.73	c |      2085 |    4479     6472    19893 |     8857     2085     22 |  0.267 % |
8.75/8.83	c |      3224 |    4477     6472    19893 |     9743     3202     28 |  0.312 % |
8.85/9.00	c |      4932 |    4474     6472    19893 |    10717     4838     29 |  0.401 % |
9.25/9.32	c |      7494 |    4471     6472    19893 |    11789     7385     31 |  0.445 % |
9.85/9.94	c |     11340 |    4471     6472    19893 |    12968    11178     36 |  0.445 % |
11.14/11.23	c |     17107 |    4333     6472    19893 |    14265     9877     42 |  3.518 % |
11.85/11.96	c ===============================================================================
11.95/12.06	c core #346
11.95/12.06	c Core size: 543	Core Weight: 1	Total Weight: 346
11.95/12.06	c Elapsed CPU time: 11.8152 s	Remaining CPU time: 1788.18 s
11.95/12.09	c Learning 9 hard constraints
11.95/12.09	c ============================[ Search Statistics ]==============================
11.95/12.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.95/12.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.95/12.09	c ===============================================================================
11.95/12.09	c |         0 |    4619     6482    20217 |     5000        0    nan |  0.000 % |
12.05/12.10	c |       100 |    4619     6482    20217 |     5500      100     19 |  0.259 % |
12.05/12.11	c |       251 |    4619     6482    20217 |     6050      251     21 |  0.259 % |
12.05/12.13	c |       476 |    4619     6482    20217 |     6655      476     21 |  0.259 % |
12.05/12.15	c |       814 |    4619     6482    20217 |     7320      814     21 |  0.259 % |
12.05/12.19	c |      1320 |    4619     6482    20217 |     8052     1320     26 |  0.259 % |
12.14/12.24	c |      2080 |    4619     6482    20217 |     8857     2080     29 |  0.259 % |
12.24/12.35	c |      3219 |    4617     6482    20217 |     9743     3213     31 |  0.302 % |
12.45/12.52	c |      4927 |    4613     6482    20217 |    10717     4882     32 |  0.410 % |
12.75/12.82	c |      7489 |    4611     6482    20217 |    11789     7444     34 |  0.453 % |
13.54/13.68	c |     11334 |    4576     6482    20217 |    12968    11192     39 |  3.952 % |
15.55/15.62	c |     17101 |    4447     6482    20217 |    14265    10026     51 |  3.973 % |
21.54/21.64	c |     25752 |    4446     6482    20217 |    15692    11249     56 |  3.995 % |
26.64/26.79	c ===============================================================================
26.94/27.07	c core #347
26.94/27.07	c Core size: 529	Core Weight: 1	Total Weight: 347
26.94/27.07	c Elapsed CPU time: 26.7379 s	Remaining CPU time: 1773.26 s
27.04/27.11	c ============================[ Search Statistics ]==============================
27.04/27.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.04/27.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.04/27.11	c ===============================================================================
27.04/27.11	c |         0 |    4750     6483    20479 |     5000        0    nan |  0.000 % |
27.04/27.13	c |       101 |    4750     6483    20479 |     5500      101     28 |  0.252 % |
27.04/27.14	c |       254 |    4750     6483    20479 |     6050      254     23 |  0.252 % |
27.04/27.16	c |       479 |    4750     6483    20479 |     6655      479     24 |  0.252 % |
27.04/27.18	c |       816 |    4748     6483    20479 |     7320      815     26 |  0.294 % |
27.14/27.22	c |      1322 |    4748     6483    20479 |     8052     1321     24 |  0.294 % |
27.14/27.29	c |      2083 |    4748     6483    20479 |     8857     2082     34 |  0.294 % |
27.24/27.39	c |      3223 |    4746     6483    20479 |     9743     3103     32 |  0.336 % |
27.44/27.58	c |      4931 |    4746     6483    20479 |    10717     4811     36 |  0.336 % |
27.84/27.99	c |      7494 |    4744     6483    20479 |    11789     7329     40 |  0.378 % |
28.44/28.50	c |     11340 |    4744     6483    20479 |    12968    11175     43 |  0.378 % |
29.64/29.78	c |     17108 |    4742     6483    20479 |    14265    10007     47 |  0.420 % |
31.63/31.70	c |     25760 |    4740     6483    20479 |    15692    11179     59 |  0.462 % |
34.93/35.04	c |     38734 |    4740     6483    20479 |    17261    15944     59 |  0.462 % |
41.83/41.90	c |     58195 |    4740     6483    20479 |    18987    17262     55 |  0.462 % |
53.92/54.01	c |     87387 |    4740     6483    20479 |    20886    16876     54 |  0.462 % |
77.32/77.45	c |    131178 |    4740     6483    20479 |    22974    18068     72 |  0.462 % |
94.31/94.41	c ===============================================================================
94.71/94.85	c core #348
94.71/94.85	c Core size: 534	Core Weight: 1	Total Weight: 348
94.71/94.85	c Elapsed CPU time: 94.0627 s	Remaining CPU time: 1705.94 s
94.91/95.03	c Learning 10 hard constraints
94.91/95.03	c ============================[ Search Statistics ]==============================
94.91/95.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.91/95.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.91/95.03	c ===============================================================================
94.91/95.03	c |         0 |    4886     6494    20792 |     5000        0    nan |  0.000 % |
94.91/95.07	c |       101 |    4886     6494    20792 |     5500      101     19 |  0.245 % |
94.91/95.08	c |       253 |    4886     6494    20792 |     6050      253     20 |  0.245 % |
94.91/95.09	c |       479 |    4886     6494    20792 |     6655      479     24 |  0.245 % |
95.02/95.11	c |       817 |    4886     6494    20792 |     7320      817     24 |  0.245 % |
95.02/95.15	c |      1325 |    4886     6494    20792 |     8052     1325     25 |  0.245 % |
95.11/95.22	c |      2084 |    4886     6494    20792 |     8857     2084     32 |  0.245 % |
95.22/95.33	c |      3224 |    4886     6494    20792 |     9743     3224     40 |  0.245 % |
95.41/95.50	c |      4932 |    4886     6494    20792 |    10717     4932     39 |  0.245 % |
95.71/95.87	c |      7495 |    4886     6494    20792 |    11789     7495     39 |  0.245 % |
96.42/96.59	c |     11339 |    4886     6494    20792 |    12968    11339     52 |  0.245 % |
97.52/97.66	c |     17106 |    4886     6494    20792 |    14265    10166     54 |  0.245 % |
100.31/100.46	c |     25756 |    4882     6494    20792 |    15692    11289     53 |  0.327 % |
103.41/103.59	c |     38733 |    4882     6494    20792 |    17261    15909     47 |  0.327 % |
106.62/106.77	c |     58197 |    4882     6494    20792 |    18987    17109     43 |  0.327 % |
111.81/111.91	c |     87390 |    4876     6494    20792 |    20886    16571     43 |  0.449 % |
129.90/130.00	c |    131179 |    4871     6494    20792 |    22974    17652     62 |  0.551 % |
190.48/190.64	c |    196865 |    4838     6494    20792 |    25272    22682     78 |  3.920 % |
276.66/276.88	c |    295396 |    4706     6494    20792 |    27799    17001     73 |  3.920 % |
406.12/406.32	c ===============================================================================
412.92/413.19	c core #349
412.92/413.19	c Core size: 514	Core Weight: 1	Total Weight: 349
412.92/413.19	c Elapsed CPU time: 411.036 s	Remaining CPU time: 1388.96 s
413.42/413.66	c Learning 3 hard constraints
413.42/413.66	c ============================[ Search Statistics ]==============================
413.42/413.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
413.42/413.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
413.42/413.66	c ===============================================================================
413.42/413.66	c |         0 |    5016     6498    21063 |     5000        0    nan |  0.000 % |
413.51/413.73	c |       100 |    5016     6498    21063 |     5500      100     22 |  0.239 % |
413.51/413.76	c |       252 |    5016     6498    21063 |     6050      252     19 |  0.239 % |
413.51/413.78	c |       477 |    5016     6498    21063 |     6655      477     31 |  0.239 % |
413.62/413.81	c |       814 |    5016     6498    21063 |     7320      814     30 |  0.239 % |
413.62/413.85	c |      1321 |    5016     6498    21063 |     8052     1321     37 |  0.239 % |
413.71/413.91	c |      2081 |    5016     6498    21063 |     8857     2081     33 |  0.239 % |
413.82/414.03	c |      3220 |    5016     6498    21063 |     9743     3220     36 |  0.239 % |
414.01/414.20	c |      4928 |    5016     6498    21063 |    10717     4928     38 |  0.239 % |
414.32/414.51	c |      7491 |    5016     6498    21063 |    11789     7491     38 |  0.239 % |
414.72/414.97	c |     11337 |    5016     6498    21063 |    12968    11337     37 |  0.239 % |
415.62/415.89	c |     17105 |    5016     6498    21063 |    14265     9921     52 |  0.239 % |
416.91/417.15	c |     25756 |    5016     6498    21063 |    15692    10869     44 |  0.239 % |
419.71/419.95	c |     38732 |    5016     6498    21063 |    17261    15222     54 |  0.239 % |
426.02/426.24	c |     58194 |    5016     6498    21063 |    18987    15929     60 |  0.239 % |
441.61/441.88	c |     87386 |    5016     6498    21063 |    20886    13620     71 |  0.239 % |
457.50/457.75	c |    131177 |    5014     6498    21063 |    22974    11335     56 |  0.278 % |
498.19/498.49	c |    196863 |    5010     6498    21063 |    25272    14499     84 |  0.358 % |
592.26/592.59	c |    295389 |    5008     6498    21063 |    27799    14756     93 |  0.398 % |
698.94/699.28	c |    443183 |    5008     6498    21063 |    30579    17621     84 |  0.398 % |
923.87/924.26	c |    664866 |    5008     6498    21063 |    33637    25272     96 |  0.398 % |
1231.48/1231.92	c |    997394 |    5006     6498    21063 |    37001    23943     95 |  0.438 % |
1405.12/1405.66	c ===============================================================================
1408.42/1408.99	c core #350
1408.42/1408.99	c Core size: 650	Core Weight: 1	Total Weight: 350
1408.42/1408.99	c Elapsed CPU time: 1403.04 s	Remaining CPU time: 396.964 s
1409.63/1410.17	c Learning 7 hard constraints
1409.63/1410.17	c ============================[ Search Statistics ]==============================
1409.63/1410.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1409.63/1410.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1409.63/1410.17	c ===============================================================================
1409.63/1410.17	c |         0 |    5199     6506    21443 |     5000        0    nan |  0.000 % |
1409.73/1410.25	c |       101 |    5199     6506    21443 |     5500      101     25 |  0.231 % |
1409.82/1410.35	c |       251 |    5199     6506    21443 |     6050      251     21 |  0.230 % |
1409.82/1410.37	c |       476 |    5199     6506    21443 |     6655      476     30 |  0.230 % |
1409.92/1410.44	c |       814 |    5199     6506    21443 |     7320      814     27 |  0.230 % |
1409.92/1410.49	c |      1320 |    5199     6506    21443 |     8052     1320     30 |  0.230 % |
1410.01/1410.58	c |      2079 |    5199     6506    21443 |     8857     2079     29 |  0.230 % |
1410.22/1410.74	c |      3218 |    5199     6506    21443 |     9743     3218     41 |  0.230 % |
1410.52/1411.02	c |      4930 |    5199     6506    21443 |    10717     4930     52 |  0.230 % |
1410.72/1411.26	c |      7492 |    5199     6506    21443 |    11789     7492     49 |  0.230 % |
1411.82/1412.31	c |     11338 |    5199     6506    21443 |    12968    11338     60 |  0.231 % |
1412.82/1413.39	c |     17104 |    5199     6506    21443 |    14265     9763     61 |  0.230 % |
1415.02/1415.51	c |     25757 |    5199     6506    21443 |    15692    11044     61 |  0.230 % |
1417.92/1418.49	c |     38732 |    5199     6506    21443 |    17261    15241     65 |  0.230 % |
1426.61/1427.15	c |     58194 |    5199     6506    21443 |    18987    16298     65 |  0.230 % |
1437.21/1437.77	c |     87386 |    5199     6506    21443 |    20886    15071     65 |  0.230 % |
1448.51/1449.04	c |    131175 |    5197     6506    21443 |    22974    14678     50 |  0.269 % |
1493.50/1494.04	c |    196859 |    5197     6506    21443 |    25272    19438     68 |  0.269 % |
1542.18/1542.74	c |    295385 |    5195     6506    21443 |    27799    16325     76 |  0.307 % |
1647.55/1648.14	c |    443175 |    5193     6506    21443 |    30579    23356     62 |  0.345 % |
1784.00/1784.65	c |    664860 |    5193     6506    21443 |    33637    24115     72 |  0.345 % |

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-1875685-1245150485/watcher-1875685-1245150485 -o /tmp/evaluation-result-1875685-1245150485/solver-1875685-1245150485 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875685-1245150485.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3665
/proc/meminfo: memFree=1859120/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=2792 CPUtime=0
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 182649572 2859008 217 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 698 217 127 292 0 372 0

[startup+0.0372219 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3665
/proc/meminfo: memFree=1859120/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=3196 CPUtime=0.03
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 416 0 0 0 3 0 0 0 18 0 1 0 182649572 3272704 369 1992294400 134512640 135709839 4294956240 18446744073709551615 135163538 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 799 369 133 292 0 504 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3196

[startup+0.101214 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3665
/proc/meminfo: memFree=1859120/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=3196 CPUtime=0.09
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 418 0 0 0 9 0 0 0 18 0 1 0 182649572 3272704 371 1992294400 134512640 135709839 4294956240 18446744073709551615 135166770 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 799 371 133 292 0 504 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3196

[startup+0.301238 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3665
/proc/meminfo: memFree=1859120/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=3404 CPUtime=0.29
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 465 0 0 0 29 0 0 0 19 0 1 0 182649572 3485696 418 1992294400 134512640 135709839 4294956240 18446744073709551615 134517345 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 851 418 133 292 0 556 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3404

[startup+0.701284 s]
/proc/loadavg: 0.99 0.97 0.96 3/64 3665
/proc/meminfo: memFree=1859120/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=4012 CPUtime=0.69
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 623 0 0 0 69 0 0 0 22 0 1 0 182649572 4108288 559 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 1003 559 133 292 0 708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4012

[startup+1.50138 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1857000/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=5932 CPUtime=1.48
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 1127 0 0 0 147 1 0 0 25 0 1 0 182649572 6074368 1033 1992294400 134512640 135709839 4294956240 18446744073709551615 135165891 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 1483 1033 135 292 0 1188 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5932

[startup+3.10157 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1853352/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=9632 CPUtime=3.05
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 2094 0 0 0 299 6 0 0 25 0 1 0 182649572 9863168 1976 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 2408 1976 136 292 0 2113 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9632

[startup+6.30195 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1848424/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=12560 CPUtime=6.25
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 2868 0 0 0 612 13 0 0 25 0 1 0 182649572 12861440 2702 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 3140 2702 136 292 0 2845 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 12560

[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1842856/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=19048 CPUtime=12.64
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 4476 0 0 0 1242 22 0 0 25 0 1 0 182649572 19505152 4310 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 4762 4310 136 292 0 4467 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 19048

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1835432/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=25740 CPUtime=25.44
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 6154 0 0 0 2517 27 0 0 25 0 1 0 182649572 26357760 5988 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 6435 5988 136 292 0 6140 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 25740

[startup+51.1022 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1807336/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=54388 CPUtime=51.03
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 13284 0 0 0 5053 50 0 0 25 0 1 0 182649572 55693312 13118 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 13597 13118 136 292 0 13302 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 54388

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1767400/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=93688 CPUtime=102.21
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 23097 0 0 0 10142 79 0 0 25 0 1 0 182649572 95936512 22931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 23422 22931 136 292 0 23127 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 93688

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1731368/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=129744 CPUtime=162.19
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 32111 0 0 0 16104 115 0 0 25 0 1 0 182649572 132857856 31945 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 32436 31945 136 292 0 32141 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 129744

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1701672/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=159412 CPUtime=222.18
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 39512 0 0 0 22085 133 0 0 25 0 1 0 182649572 163237888 39346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 39853 39346 136 292 0 39558 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 159412

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1668840/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=192296 CPUtime=282.15
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 47727 0 0 0 28060 155 0 0 25 0 1 0 182649572 196911104 47561 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 48074 47561 136 292 0 47779 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 192296

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1635944/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=225232 CPUtime=342.14
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 55926 0 0 0 34039 175 0 0 25 0 1 0 182649572 230637568 55760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 56308 55760 136 292 0 56013 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 225232

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1606184/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=255072 CPUtime=402.12
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 63381 0 0 0 40016 196 0 0 25 0 1 0 182649572 261193728 63215 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 63768 63215 136 292 0 63473 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 255072

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1588840/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=271884 CPUtime=462.11
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 67726 0 0 0 45982 229 0 0 25 0 1 0 182649572 278409216 67532 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 67971 67532 136 292 0 67676 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 271884

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1555560/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=305268 CPUtime=522.08
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 76001 0 0 0 51955 253 0 0 25 0 1 0 182649572 312594432 75807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 76317 75807 136 292 0 76022 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 305268

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1531752/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=329084 CPUtime=582.07
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 81900 0 0 0 57938 269 0 0 25 0 1 0 182649572 336982016 81706 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 82271 81706 136 292 0 81976 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 329084

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1484776/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=375972 CPUtime=642.06
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 93564 0 0 0 63904 302 0 0 25 0 1 0 182649572 384995328 93370 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 93993 93370 136 292 0 93698 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 375972

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1364456/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=496432 CPUtime=881.98
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 123582 0 0 0 87819 379 0 0 25 0 1 0 182649572 508346368 123388 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 124108 123388 136 292 0 123813 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 496432

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1325800/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=535396 CPUtime=941.96
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 133286 0 0 0 93795 401 0 0 25 0 1 0 182649572 548245504 133092 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 133849 133092 136 292 0 133554 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 535396

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1292136/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=568856 CPUtime=1001.94
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 141603 0 0 0 99772 422 0 0 25 0 1 0 182649572 582508544 141409 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 142214 141409 136 292 0 141919 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 568856

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1260392/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=600796 CPUtime=1061.92
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 149570 0 0 0 105751 441 0 0 25 0 1 0 182649572 615215104 149376 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 150199 149376 136 292 0 149904 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 600796

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1232360/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=628660 CPUtime=1121.9
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 156494 0 0 0 111730 460 0 0 25 0 1 0 182649572 643747840 156300 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 157165 156300 136 292 0 156870 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 628660

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1199144/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=662168 CPUtime=1181.89
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 164863 0 0 0 117710 479 0 0 25 0 1 0 182649572 678060032 164669 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 165542 164669 136 292 0 165247 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 662168

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1160168/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=700996 CPUtime=1241.87
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 174561 0 0 0 123686 501 0 0 25 0 1 0 182649572 717819904 174367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 175249 174367 136 292 0 174954 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 700996

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1124520/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=736392 CPUtime=1301.86
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 183361 0 0 0 129665 521 0 0 25 0 1 0 182649572 754065408 183167 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 184098 183167 136 292 0 183803 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 736392

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1098920/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=762128 CPUtime=1361.83
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 189788 0 0 0 135646 537 0 0 25 0 1 0 182649572 780419072 189594 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 190532 189594 136 292 0 190237 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 762128

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1079080/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=781884 CPUtime=1421.82
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 194683 0 0 0 141623 559 0 0 25 0 1 0 182649572 800649216 194489 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 195471 194489 136 292 0 195176 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 781884

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1078120/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=781884 CPUtime=1481.8
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 194907 0 0 0 147590 590 0 0 25 0 1 0 182649572 800649216 194713 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 195471 194713 136 292 0 195176 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 781884

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1063528/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=795424 CPUtime=1541.78
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 198581 0 0 0 153563 615 0 0 25 0 1 0 182649572 814514176 198387 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 198856 198387 136 292 0 198561 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 795424

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1039528/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=819748 CPUtime=1601.76
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 204606 0 0 0 159537 639 0 0 25 0 1 0 182649572 839421952 204412 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 204937 204412 136 292 0 204642 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 819748

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=1014696/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=844764 CPUtime=1661.75
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 210817 0 0 0 165508 667 0 0 25 0 1 0 182649572 865038336 210623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 211191 210623 136 292 0 210896 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 844764

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=979048/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=880832 CPUtime=1721.73
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 219805 0 0 0 171483 690 0 0 25 0 1 0 182649572 901971968 219611 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 220208 219611 136 292 0 219913 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 880832

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=943464/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=915824 CPUtime=1781.71
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 228522 0 0 0 177449 722 0 0 25 0 1 0 182649572 937803776 228328 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 228956 228328 136 292 0 228661 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 915824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=929576/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=929656 CPUtime=1800.01
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4194304 231954 0 0 0 179266 735 0 0 25 0 1 0 182649572 951967744 231760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 232414 231760 136 292 0 232119 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 929656

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3666
/proc/meminfo: memFree=929576/2055920 swapFree=4191900/4192956
[pid=3665] ppid=3663 vsize=0 CPUtime=1800.11
/proc/3665/stat : 3665 (wbo) R 3663 3665 3460 0 -1 4195332 231954 0 0 0 179266 745 0 0 25 0 1 0 182649572 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.76
CPU time (s): 1800.17
CPU user time (s): 1792.66
CPU system time (s): 7.50586
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 929656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.66
system time used= 7.50586
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231954
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= 2
involuntary context switches= 5704

runsolver used 1.37579 second user time and 3.67144 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 13:08:05
IDJOB=1875685
IDBENCH=2066
IDSOLVER=698
FILE ID=node1/1875685-1245150485
PBS_JOBID= 9363766
Free space on /tmp= 66220 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875685-1245150485/watcher-1875685-1245150485 -o /tmp/evaluation-result-1875685-1245150485/solver-1875685-1245150485 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875685-1245150485.opb

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

MD5SUM BENCH= 70025ca48ca8d6f0557fd72393d339c2
RANDOM SEED=2114554752

node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1859536 kB
Buffers:         28240 kB
Cached:          90364 kB
SwapCached:        260 kB
Active:          12296 kB
Inactive:       119672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859536 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2500 kB
Writeback:           0 kB
Mapped:          22552 kB
Slab:            50308 kB
Committed_AS:   151308 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875685-1245150485.opb

Free space on /tmp at the end= 66220 MiB
End job on node1 at 2009-06-16 13:38:08