Trace number 1875597

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.26 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
MD5SUMbad507f566306ee26a0781c0a8fac473
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark654
Best CPU time to get the best result obtained on this benchmark1796.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 654
Optimality of the best value was proved NO
Number of variables2136
Total number of constraints9282
Number of constraints which are clauses9282
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 2136
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 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-1875597-1245161657.opb.
0.00/0.00	c Instance file HOME/instance-1875597-1245161657.opb
0.00/0.00	c File size is 249640 bytes.
0.00/0.03	c Highest Coefficient sum: 9
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      2136                                                |
0.00/0.03	c |  Number Clauses:        11418                                               |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.03	c core #1
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #2
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.03/0.04	c core #3
0.03/0.04	c Core size: 3	Core Weight: 1	Total Weight: 3
0.03/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.03/0.05	c core #4
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 4
0.03/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.03/0.06	c core #5
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 5
0.03/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.03/0.06	c core #6
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 6
0.03/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.03/0.07	c core #7
0.03/0.07	c Core size: 3	Core Weight: 1	Total Weight: 7
0.03/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.03/0.08	c core #8
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 8
0.03/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.03/0.08	c core #9
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 9
0.03/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.03/0.09	c core #10
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 10
0.03/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #11
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 11
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #12
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 12
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #13
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 13
0.09/0.11	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #14
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 14
0.09/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #15
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 15
0.09/0.12	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #16
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 16
0.09/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #17
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 17
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #18
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 18
0.09/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #19
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 19
0.09/0.15	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #20
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 20
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #21
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 21
0.09/0.16	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #22
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 22
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #23
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 23
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #24
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 24
0.09/0.18	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #25
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.19	c Elapsed CPU time: 0.19297 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #26
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 26
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #27
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 27
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #28
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 28
0.19/0.21	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #29
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 29
0.19/0.22	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #30
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 30
0.19/0.22	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #31
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 31
0.19/0.23	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #32
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 32
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #33
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 33
0.19/0.24	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #34
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 34
0.19/0.25	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #35
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 35
0.19/0.26	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #36
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 36
0.19/0.26	c Elapsed CPU time: 0.265959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #37
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 37
0.19/0.27	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #38
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 38
0.19/0.28	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #39
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 39
0.19/0.29	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #40
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 40
0.19/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #41
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 41
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #42
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 42
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #43
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 43
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #44
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 44
0.29/0.32	c Elapsed CPU time: 0.318951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #45
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 45
0.29/0.32	c Elapsed CPU time: 0.32495 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #46
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 46
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #47
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 47
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #48
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 48
0.29/0.35	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #49
0.29/0.35	c Core size: 9	Core Weight: 1	Total Weight: 49
0.29/0.35	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #50
0.29/0.36	c Core size: 9	Core Weight: 1	Total Weight: 50
0.29/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #51
0.29/0.37	c Core size: 9	Core Weight: 1	Total Weight: 51
0.29/0.37	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #52
0.29/0.37	c Core size: 9	Core Weight: 1	Total Weight: 52
0.29/0.37	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #53
0.29/0.38	c Core size: 9	Core Weight: 1	Total Weight: 53
0.29/0.38	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #54
0.29/0.39	c Core size: 9	Core Weight: 1	Total Weight: 54
0.29/0.39	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #55
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 55
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #56
0.39/0.40	c Core size: 7	Core Weight: 1	Total Weight: 56
0.39/0.40	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #57
0.39/0.41	c Core size: 7	Core Weight: 1	Total Weight: 57
0.39/0.41	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #58
0.39/0.41	c Core size: 7	Core Weight: 1	Total Weight: 58
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #59
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 59
0.39/0.42	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #60
0.39/0.43	c Core size: 7	Core Weight: 1	Total Weight: 60
0.39/0.43	c Elapsed CPU time: 0.428934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #61
0.39/0.44	c Core size: 7	Core Weight: 1	Total Weight: 61
0.39/0.44	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #62
0.39/0.44	c Core size: 7	Core Weight: 1	Total Weight: 62
0.39/0.44	c Elapsed CPU time: 0.442932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #63
0.39/0.45	c Core size: 7	Core Weight: 1	Total Weight: 63
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #64
0.39/0.46	c Core size: 7	Core Weight: 1	Total Weight: 64
0.39/0.46	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #65
0.39/0.46	c Core size: 7	Core Weight: 1	Total Weight: 65
0.39/0.46	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #66
0.39/0.47	c Core size: 7	Core Weight: 1	Total Weight: 66
0.39/0.47	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #67
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 67
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #68
0.39/0.49	c Core size: 7	Core Weight: 1	Total Weight: 68
0.39/0.49	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #69
0.39/0.49	c Core size: 7	Core Weight: 1	Total Weight: 69
0.39/0.49	c Elapsed CPU time: 0.492925 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #70
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 70
0.49/0.50	c Elapsed CPU time: 0.499924 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #71
0.49/0.51	c Core size: 7	Core Weight: 1	Total Weight: 71
0.49/0.51	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #72
0.49/0.51	c Core size: 7	Core Weight: 1	Total Weight: 72
0.49/0.51	c Elapsed CPU time: 0.513921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #73
0.49/0.52	c Core size: 7	Core Weight: 1	Total Weight: 73
0.49/0.52	c Elapsed CPU time: 0.52092 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #74
0.49/0.53	c Core size: 7	Core Weight: 1	Total Weight: 74
0.49/0.53	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #75
0.49/0.53	c Core size: 7	Core Weight: 1	Total Weight: 75
0.49/0.53	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #76
0.49/0.54	c Core size: 7	Core Weight: 1	Total Weight: 76
0.49/0.54	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #77
0.49/0.55	c Core size: 7	Core Weight: 1	Total Weight: 77
0.49/0.55	c Elapsed CPU time: 0.548916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #78
0.49/0.56	c Core size: 7	Core Weight: 1	Total Weight: 78
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #79
0.49/0.56	c Core size: 7	Core Weight: 1	Total Weight: 79
0.49/0.56	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #80
0.49/0.57	c Core size: 7	Core Weight: 1	Total Weight: 80
0.49/0.57	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #81
0.49/0.58	c Core size: 7	Core Weight: 1	Total Weight: 81
0.49/0.58	c Elapsed CPU time: 0.577912 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #82
0.49/0.59	c Core size: 7	Core Weight: 1	Total Weight: 82
0.49/0.59	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #83
0.49/0.59	c Core size: 7	Core Weight: 1	Total Weight: 83
0.49/0.59	c Elapsed CPU time: 0.59191 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #84
0.59/0.60	c Core size: 7	Core Weight: 1	Total Weight: 84
0.59/0.60	c Elapsed CPU time: 0.598908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #85
0.59/0.61	c Core size: 7	Core Weight: 1	Total Weight: 85
0.59/0.61	c Elapsed CPU time: 0.606907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #86
0.59/0.61	c Core size: 7	Core Weight: 1	Total Weight: 86
0.59/0.61	c Elapsed CPU time: 0.613906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #87
0.59/0.62	c Core size: 7	Core Weight: 1	Total Weight: 87
0.59/0.62	c Elapsed CPU time: 0.620905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #88
0.59/0.63	c Core size: 7	Core Weight: 1	Total Weight: 88
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #89
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 89
0.59/0.64	c Elapsed CPU time: 0.635903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #90
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 90
0.59/0.64	c Elapsed CPU time: 0.642902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #91
0.59/0.65	c Core size: 7	Core Weight: 1	Total Weight: 91
0.59/0.65	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #92
0.59/0.66	c Core size: 7	Core Weight: 1	Total Weight: 92
0.59/0.66	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #93
0.59/0.66	c Core size: 7	Core Weight: 1	Total Weight: 93
0.59/0.66	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #94
0.59/0.67	c Core size: 7	Core Weight: 1	Total Weight: 94
0.59/0.67	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #95
0.59/0.68	c Core size: 7	Core Weight: 1	Total Weight: 95
0.59/0.68	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #96
0.59/0.69	c Core size: 7	Core Weight: 1	Total Weight: 96
0.59/0.69	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #97
0.59/0.69	c Core size: 7	Core Weight: 1	Total Weight: 97
0.59/0.69	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #98
0.69/0.70	c Core size: 7	Core Weight: 1	Total Weight: 98
0.69/0.70	c Elapsed CPU time: 0.700893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #99
0.69/0.71	c Core size: 7	Core Weight: 1	Total Weight: 99
0.69/0.71	c Elapsed CPU time: 0.707892 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #100
0.69/0.72	c Core size: 7	Core Weight: 1	Total Weight: 100
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #101
0.69/0.72	c Core size: 7	Core Weight: 1	Total Weight: 101
0.69/0.72	c Elapsed CPU time: 0.72289 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #102
0.69/0.73	c Core size: 7	Core Weight: 1	Total Weight: 102
0.69/0.73	c Elapsed CPU time: 0.729889 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #103
0.69/0.74	c Core size: 7	Core Weight: 1	Total Weight: 103
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #104
0.69/0.75	c Core size: 7	Core Weight: 1	Total Weight: 104
0.69/0.75	c Elapsed CPU time: 0.744886 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #105
0.69/0.75	c Core size: 7	Core Weight: 1	Total Weight: 105
0.69/0.75	c Elapsed CPU time: 0.752885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #106
0.69/0.76	c Core size: 7	Core Weight: 1	Total Weight: 106
0.69/0.76	c Elapsed CPU time: 0.759884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #107
0.69/0.77	c Core size: 7	Core Weight: 1	Total Weight: 107
0.69/0.77	c Elapsed CPU time: 0.766883 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #108
0.69/0.78	c Core size: 7	Core Weight: 1	Total Weight: 108
0.69/0.78	c Elapsed CPU time: 0.774882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #109
0.69/0.78	c Core size: 7	Core Weight: 1	Total Weight: 109
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #110
0.69/0.79	c Core size: 7	Core Weight: 1	Total Weight: 110
0.69/0.79	c Elapsed CPU time: 0.789879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #111
0.79/0.80	c Core size: 7	Core Weight: 1	Total Weight: 111
0.79/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #112
0.79/0.81	c Core size: 7	Core Weight: 1	Total Weight: 112
0.79/0.81	c Elapsed CPU time: 0.804877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #113
0.79/0.81	c Core size: 7	Core Weight: 1	Total Weight: 113
0.79/0.81	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #114
0.79/0.82	c Core size: 7	Core Weight: 1	Total Weight: 114
0.79/0.82	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #115
0.79/0.83	c Core size: 7	Core Weight: 1	Total Weight: 115
0.79/0.83	c Elapsed CPU time: 0.826874 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #116
0.79/0.84	c Core size: 7	Core Weight: 1	Total Weight: 116
0.79/0.84	c Elapsed CPU time: 0.834873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #117
0.79/0.84	c Core size: 7	Core Weight: 1	Total Weight: 117
0.79/0.84	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #118
0.79/0.85	c Core size: 7	Core Weight: 1	Total Weight: 118
0.79/0.85	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #119
0.79/0.86	c Core size: 7	Core Weight: 1	Total Weight: 119
0.79/0.86	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #120
0.79/0.87	c Core size: 7	Core Weight: 1	Total Weight: 120
0.79/0.87	c Elapsed CPU time: 0.863868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #121
0.79/0.87	c Core size: 7	Core Weight: 1	Total Weight: 121
0.79/0.87	c Elapsed CPU time: 0.871867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #122
0.79/0.88	c Core size: 7	Core Weight: 1	Total Weight: 122
0.79/0.88	c Elapsed CPU time: 0.879866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #123
0.79/0.89	c Core size: 7	Core Weight: 1	Total Weight: 123
0.79/0.89	c Elapsed CPU time: 0.887865 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #124
0.79/0.90	c Core size: 7	Core Weight: 1	Total Weight: 124
0.79/0.90	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #125
0.89/0.90	c Core size: 7	Core Weight: 1	Total Weight: 125
0.89/0.90	c Elapsed CPU time: 0.901862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #126
0.89/0.91	c Core size: 7	Core Weight: 1	Total Weight: 126
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #127
0.89/0.92	c Core size: 7	Core Weight: 1	Total Weight: 127
0.89/0.92	c Elapsed CPU time: 0.91686 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #128
0.89/0.93	c Core size: 7	Core Weight: 1	Total Weight: 128
0.89/0.93	c Elapsed CPU time: 0.924859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #129
0.89/0.93	c Core size: 7	Core Weight: 1	Total Weight: 129
0.89/0.93	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #130
0.89/0.94	c Core size: 7	Core Weight: 1	Total Weight: 130
0.89/0.94	c Elapsed CPU time: 0.939857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #131
0.89/0.95	c Core size: 7	Core Weight: 1	Total Weight: 131
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #132
0.89/0.96	c Core size: 7	Core Weight: 1	Total Weight: 132
0.89/0.96	c Elapsed CPU time: 0.955854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #133
0.89/0.97	c Core size: 7	Core Weight: 1	Total Weight: 133
0.89/0.97	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #134
0.89/0.97	c Core size: 7	Core Weight: 1	Total Weight: 134
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #135
0.89/0.98	c Core size: 7	Core Weight: 1	Total Weight: 135
0.89/0.98	c Elapsed CPU time: 0.978851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #136
0.89/0.99	c Core size: 7	Core Weight: 1	Total Weight: 136
0.89/0.99	c Elapsed CPU time: 0.986849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #137
0.89/1.00	c Core size: 7	Core Weight: 1	Total Weight: 137
0.89/1.00	c Elapsed CPU time: 0.994848 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #138
0.99/1.00	c Core size: 7	Core Weight: 1	Total Weight: 138
0.99/1.00	c Elapsed CPU time: 1.00185 s	Remaining CPU time: 1799 s
0.99/1.01	c core #139
0.99/1.01	c Core size: 7	Core Weight: 1	Total Weight: 139
0.99/1.01	c Elapsed CPU time: 1.00985 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #140
0.99/1.02	c Core size: 7	Core Weight: 1	Total Weight: 140
0.99/1.02	c Elapsed CPU time: 1.01784 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #141
0.99/1.03	c Core size: 7	Core Weight: 1	Total Weight: 141
0.99/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #142
0.99/1.04	c Core size: 7	Core Weight: 1	Total Weight: 142
0.99/1.04	c Elapsed CPU time: 1.03484 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #143
0.99/1.04	c Core size: 7	Core Weight: 1	Total Weight: 143
0.99/1.04	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #144
0.99/1.05	c Core size: 7	Core Weight: 1	Total Weight: 144
0.99/1.05	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #145
0.99/1.06	c Core size: 7	Core Weight: 1	Total Weight: 145
0.99/1.06	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #146
0.99/1.07	c Core size: 7	Core Weight: 1	Total Weight: 146
0.99/1.07	c Elapsed CPU time: 1.06584 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #147
0.99/1.08	c Core size: 7	Core Weight: 1	Total Weight: 147
0.99/1.08	c Elapsed CPU time: 1.07384 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #148
0.99/1.08	c Core size: 7	Core Weight: 1	Total Weight: 148
0.99/1.08	c Elapsed CPU time: 1.08283 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #149
0.99/1.09	c Core size: 7	Core Weight: 1	Total Weight: 149
0.99/1.09	c Elapsed CPU time: 1.09083 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #150
0.99/1.10	c Core size: 7	Core Weight: 1	Total Weight: 150
0.99/1.10	c Elapsed CPU time: 1.09883 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #151
1.09/1.11	c Core size: 7	Core Weight: 1	Total Weight: 151
1.09/1.11	c Elapsed CPU time: 1.10683 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #152
1.09/1.12	c Core size: 7	Core Weight: 1	Total Weight: 152
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #153
1.09/1.12	c Core size: 7	Core Weight: 1	Total Weight: 153
1.09/1.12	c Elapsed CPU time: 1.12183 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #154
1.09/1.13	c Core size: 7	Core Weight: 1	Total Weight: 154
1.09/1.13	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #155
1.09/1.14	c Core size: 7	Core Weight: 1	Total Weight: 155
1.09/1.14	c Elapsed CPU time: 1.13783 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #156
1.09/1.15	c Core size: 7	Core Weight: 1	Total Weight: 156
1.09/1.15	c Elapsed CPU time: 1.14583 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #157
1.09/1.16	c Core size: 7	Core Weight: 1	Total Weight: 157
1.09/1.16	c Elapsed CPU time: 1.15382 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #158
1.09/1.16	c Core size: 7	Core Weight: 1	Total Weight: 158
1.09/1.16	c Elapsed CPU time: 1.16182 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #159
1.09/1.17	c Core size: 7	Core Weight: 1	Total Weight: 159
1.09/1.17	c Elapsed CPU time: 1.17082 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #160
1.09/1.18	c Core size: 7	Core Weight: 1	Total Weight: 160
1.09/1.18	c Elapsed CPU time: 1.17882 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #161
1.09/1.19	c Core size: 7	Core Weight: 1	Total Weight: 161
1.09/1.19	c Elapsed CPU time: 1.18682 s	Remaining CPU time: 1798.81 s
1.09/1.20	c core #162
1.09/1.20	c Core size: 7	Core Weight: 1	Total Weight: 162
1.09/1.20	c Elapsed CPU time: 1.19482 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #163
1.19/1.20	c Core size: 7	Core Weight: 1	Total Weight: 163
1.19/1.20	c Elapsed CPU time: 1.20282 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #164
1.19/1.21	c Core size: 7	Core Weight: 1	Total Weight: 164
1.19/1.21	c Elapsed CPU time: 1.21081 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #165
1.19/1.22	c Core size: 7	Core Weight: 1	Total Weight: 165
1.19/1.22	c Elapsed CPU time: 1.21881 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #166
1.19/1.23	c Core size: 7	Core Weight: 1	Total Weight: 166
1.19/1.23	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #167
1.19/1.24	c Core size: 7	Core Weight: 1	Total Weight: 167
1.19/1.24	c Elapsed CPU time: 1.23581 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #168
1.19/1.25	c Core size: 7	Core Weight: 1	Total Weight: 168
1.19/1.25	c Elapsed CPU time: 1.24381 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #169
1.19/1.25	c Core size: 7	Core Weight: 1	Total Weight: 169
1.19/1.25	c Elapsed CPU time: 1.25281 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #170
1.19/1.26	c Core size: 7	Core Weight: 1	Total Weight: 170
1.19/1.26	c Elapsed CPU time: 1.26081 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #171
1.19/1.27	c Core size: 7	Core Weight: 1	Total Weight: 171
1.19/1.27	c Elapsed CPU time: 1.26881 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #172
1.19/1.28	c Core size: 7	Core Weight: 1	Total Weight: 172
1.19/1.28	c Elapsed CPU time: 1.27781 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #173
1.19/1.29	c Core size: 7	Core Weight: 1	Total Weight: 173
1.19/1.29	c Elapsed CPU time: 1.2858 s	Remaining CPU time: 1798.71 s
1.19/1.30	c core #174
1.19/1.30	c Core size: 7	Core Weight: 1	Total Weight: 174
1.19/1.30	c Elapsed CPU time: 1.2948 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #175
1.29/1.30	c Core size: 7	Core Weight: 1	Total Weight: 175
1.29/1.30	c Elapsed CPU time: 1.3028 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #176
1.29/1.31	c Core size: 7	Core Weight: 1	Total Weight: 176
1.29/1.31	c Elapsed CPU time: 1.3108 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #177
1.29/1.32	c Core size: 7	Core Weight: 1	Total Weight: 177
1.29/1.32	c Elapsed CPU time: 1.3188 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #178
1.29/1.33	c Core size: 7	Core Weight: 1	Total Weight: 178
1.29/1.33	c Elapsed CPU time: 1.3278 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #179
1.29/1.34	c Core size: 7	Core Weight: 1	Total Weight: 179
1.29/1.34	c Elapsed CPU time: 1.3368 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #180
1.29/1.35	c Core size: 7	Core Weight: 1	Total Weight: 180
1.29/1.35	c Elapsed CPU time: 1.3458 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #181
1.29/1.36	c Core size: 7	Core Weight: 1	Total Weight: 181
1.29/1.36	c Elapsed CPU time: 1.35379 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #182
1.29/1.36	c Core size: 7	Core Weight: 1	Total Weight: 182
1.29/1.36	c Elapsed CPU time: 1.36279 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #183
1.29/1.37	c Core size: 7	Core Weight: 1	Total Weight: 183
1.29/1.37	c Elapsed CPU time: 1.37179 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #184
1.29/1.38	c Core size: 7	Core Weight: 1	Total Weight: 184
1.29/1.38	c Elapsed CPU time: 1.37979 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #185
1.29/1.39	c Core size: 7	Core Weight: 1	Total Weight: 185
1.29/1.39	c Elapsed CPU time: 1.38879 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #186
1.39/1.40	c Core size: 7	Core Weight: 1	Total Weight: 186
1.39/1.40	c Elapsed CPU time: 1.39779 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #187
1.39/1.41	c Core size: 7	Core Weight: 1	Total Weight: 187
1.39/1.41	c Elapsed CPU time: 1.40579 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #188
1.39/1.42	c Core size: 7	Core Weight: 1	Total Weight: 188
1.39/1.42	c Elapsed CPU time: 1.41478 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #189
1.39/1.42	c Core size: 7	Core Weight: 1	Total Weight: 189
1.39/1.42	c Elapsed CPU time: 1.42278 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #190
1.39/1.43	c Core size: 7	Core Weight: 1	Total Weight: 190
1.39/1.43	c Elapsed CPU time: 1.43178 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #191
1.39/1.44	c Core size: 7	Core Weight: 1	Total Weight: 191
1.39/1.44	c Elapsed CPU time: 1.43978 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #192
1.39/1.45	c Core size: 7	Core Weight: 1	Total Weight: 192
1.39/1.45	c Elapsed CPU time: 1.44878 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #193
1.39/1.46	c Core size: 7	Core Weight: 1	Total Weight: 193
1.39/1.46	c Elapsed CPU time: 1.45778 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #194
1.39/1.47	c Core size: 7	Core Weight: 1	Total Weight: 194
1.39/1.47	c Elapsed CPU time: 1.46578 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #195
1.39/1.48	c Core size: 7	Core Weight: 1	Total Weight: 195
1.39/1.48	c Elapsed CPU time: 1.47477 s	Remaining CPU time: 1798.53 s
1.39/1.49	c core #196
1.39/1.49	c Core size: 7	Core Weight: 1	Total Weight: 196
1.39/1.49	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #197
1.39/1.49	c Core size: 7	Core Weight: 1	Total Weight: 197
1.39/1.49	c Elapsed CPU time: 1.49277 s	Remaining CPU time: 1798.51 s
1.49/1.50	c core #198
1.49/1.50	c Core size: 7	Core Weight: 1	Total Weight: 198
1.49/1.50	c Elapsed CPU time: 1.50177 s	Remaining CPU time: 1798.5 s
1.49/1.51	c core #199
1.49/1.51	c Core size: 7	Core Weight: 1	Total Weight: 199
1.49/1.51	c Elapsed CPU time: 1.51077 s	Remaining CPU time: 1798.49 s
1.49/1.52	c core #200
1.49/1.52	c Core size: 7	Core Weight: 1	Total Weight: 200
1.49/1.52	c Elapsed CPU time: 1.51977 s	Remaining CPU time: 1798.48 s
1.49/1.53	c core #201
1.49/1.53	c Core size: 7	Core Weight: 1	Total Weight: 201
1.49/1.53	c Elapsed CPU time: 1.52877 s	Remaining CPU time: 1798.47 s
1.49/1.54	c core #202
1.49/1.54	c Core size: 7	Core Weight: 1	Total Weight: 202
1.49/1.54	c Elapsed CPU time: 1.53777 s	Remaining CPU time: 1798.46 s
1.49/1.55	c core #203
1.49/1.55	c Core size: 7	Core Weight: 1	Total Weight: 203
1.49/1.55	c Elapsed CPU time: 1.54676 s	Remaining CPU time: 1798.45 s
1.49/1.56	c core #204
1.49/1.56	c Core size: 7	Core Weight: 1	Total Weight: 204
1.49/1.56	c Elapsed CPU time: 1.55576 s	Remaining CPU time: 1798.44 s
1.49/1.57	c core #205
1.49/1.57	c Core size: 7	Core Weight: 1	Total Weight: 205
1.49/1.57	c Elapsed CPU time: 1.56476 s	Remaining CPU time: 1798.44 s
1.49/1.58	c core #206
1.49/1.58	c Core size: 7	Core Weight: 1	Total Weight: 206
1.49/1.58	c Elapsed CPU time: 1.57376 s	Remaining CPU time: 1798.43 s
1.49/1.58	c core #207
1.49/1.58	c Core size: 7	Core Weight: 1	Total Weight: 207
1.49/1.58	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.49/1.59	c core #208
1.49/1.59	c Core size: 7	Core Weight: 1	Total Weight: 208
1.49/1.59	c Elapsed CPU time: 1.59176 s	Remaining CPU time: 1798.41 s
1.59/1.60	c core #209
1.59/1.60	c Core size: 7	Core Weight: 1	Total Weight: 209
1.59/1.60	c Elapsed CPU time: 1.60076 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #210
1.59/1.61	c Core size: 7	Core Weight: 1	Total Weight: 210
1.59/1.61	c Elapsed CPU time: 1.60976 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #211
1.59/1.62	c Core size: 7	Core Weight: 1	Total Weight: 211
1.59/1.62	c Elapsed CPU time: 1.61875 s	Remaining CPU time: 1798.38 s
1.59/1.63	c core #212
1.59/1.63	c Core size: 7	Core Weight: 1	Total Weight: 212
1.59/1.63	c Elapsed CPU time: 1.62775 s	Remaining CPU time: 1798.37 s
1.59/1.64	c core #213
1.59/1.64	c Core size: 7	Core Weight: 1	Total Weight: 213
1.59/1.64	c Elapsed CPU time: 1.63775 s	Remaining CPU time: 1798.36 s
1.59/1.65	c core #214
1.59/1.65	c Core size: 7	Core Weight: 1	Total Weight: 214
1.59/1.65	c Elapsed CPU time: 1.64675 s	Remaining CPU time: 1798.35 s
1.59/1.66	c core #215
1.59/1.66	c Core size: 7	Core Weight: 1	Total Weight: 215
1.59/1.66	c Elapsed CPU time: 1.65575 s	Remaining CPU time: 1798.34 s
1.59/1.67	c core #216
1.59/1.67	c Core size: 7	Core Weight: 1	Total Weight: 216
1.59/1.67	c Elapsed CPU time: 1.66475 s	Remaining CPU time: 1798.34 s
1.59/1.68	c core #217
1.59/1.68	c Core size: 13	Core Weight: 1	Total Weight: 217
1.59/1.68	c Elapsed CPU time: 1.67375 s	Remaining CPU time: 1798.33 s
1.59/1.69	c core #218
1.59/1.69	c Core size: 22	Core Weight: 1	Total Weight: 218
1.59/1.69	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.59/1.69	c core #219
1.59/1.69	c Core size: 22	Core Weight: 1	Total Weight: 219
1.59/1.69	c Elapsed CPU time: 1.69274 s	Remaining CPU time: 1798.31 s
1.69/1.70	c core #220
1.69/1.70	c Core size: 21	Core Weight: 1	Total Weight: 220
1.69/1.70	c Elapsed CPU time: 1.70174 s	Remaining CPU time: 1798.3 s
1.69/1.71	c core #221
1.69/1.71	c Core size: 22	Core Weight: 1	Total Weight: 221
1.69/1.71	c Elapsed CPU time: 1.71174 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #222
1.69/1.72	c Core size: 22	Core Weight: 1	Total Weight: 222
1.69/1.72	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.69/1.73	c core #223
1.69/1.73	c Core size: 22	Core Weight: 1	Total Weight: 223
1.69/1.73	c Elapsed CPU time: 1.73074 s	Remaining CPU time: 1798.27 s
1.69/1.74	c core #224
1.69/1.74	c Core size: 22	Core Weight: 1	Total Weight: 224
1.69/1.74	c Elapsed CPU time: 1.73974 s	Remaining CPU time: 1798.26 s
1.69/1.75	c core #225
1.69/1.75	c Core size: 21	Core Weight: 1	Total Weight: 225
1.69/1.75	c Elapsed CPU time: 1.74873 s	Remaining CPU time: 1798.25 s
1.69/1.76	c core #226
1.69/1.76	c Core size: 20	Core Weight: 1	Total Weight: 226
1.69/1.76	c Elapsed CPU time: 1.75873 s	Remaining CPU time: 1798.24 s
1.69/1.77	c core #227
1.69/1.77	c Core size: 20	Core Weight: 1	Total Weight: 227
1.69/1.77	c Elapsed CPU time: 1.76773 s	Remaining CPU time: 1798.23 s
1.69/1.78	c core #228
1.69/1.78	c Core size: 20	Core Weight: 1	Total Weight: 228
1.69/1.78	c Elapsed CPU time: 1.77773 s	Remaining CPU time: 1798.22 s
1.69/1.79	c core #229
1.69/1.79	c Core size: 22	Core Weight: 1	Total Weight: 229
1.69/1.79	c Elapsed CPU time: 1.78773 s	Remaining CPU time: 1798.21 s
1.79/1.80	c core #230
1.79/1.80	c Core size: 20	Core Weight: 1	Total Weight: 230
1.79/1.80	c Elapsed CPU time: 1.79673 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #231
1.79/1.81	c Core size: 20	Core Weight: 1	Total Weight: 231
1.79/1.81	c Elapsed CPU time: 1.80673 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #232
1.79/1.82	c Core size: 21	Core Weight: 1	Total Weight: 232
1.79/1.82	c Elapsed CPU time: 1.81572 s	Remaining CPU time: 1798.18 s
1.79/1.83	c core #233
1.79/1.83	c Core size: 21	Core Weight: 1	Total Weight: 233
1.79/1.83	c Elapsed CPU time: 1.82572 s	Remaining CPU time: 1798.17 s
1.79/1.84	c core #234
1.79/1.84	c Core size: 21	Core Weight: 1	Total Weight: 234
1.79/1.84	c Elapsed CPU time: 1.83572 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #235
1.79/1.85	c Core size: 20	Core Weight: 1	Total Weight: 235
1.79/1.85	c Elapsed CPU time: 1.84472 s	Remaining CPU time: 1798.16 s
1.79/1.86	c core #236
1.79/1.86	c Core size: 20	Core Weight: 1	Total Weight: 236
1.79/1.86	c Elapsed CPU time: 1.85472 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #237
1.79/1.87	c Core size: 19	Core Weight: 1	Total Weight: 237
1.79/1.87	c Elapsed CPU time: 1.86472 s	Remaining CPU time: 1798.14 s
1.79/1.88	c core #238
1.79/1.88	c Core size: 21	Core Weight: 1	Total Weight: 238
1.79/1.88	c Elapsed CPU time: 1.87372 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #239
1.79/1.89	c Core size: 22	Core Weight: 1	Total Weight: 239
1.79/1.89	c Elapsed CPU time: 1.88371 s	Remaining CPU time: 1798.12 s
1.79/1.90	c core #240
1.79/1.90	c Core size: 21	Core Weight: 1	Total Weight: 240
1.79/1.90	c Elapsed CPU time: 1.89371 s	Remaining CPU time: 1798.11 s
1.89/1.91	c core #241
1.89/1.91	c Core size: 21	Core Weight: 1	Total Weight: 241
1.89/1.91	c Elapsed CPU time: 1.90371 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #242
1.89/1.92	c Core size: 21	Core Weight: 1	Total Weight: 242
1.89/1.92	c Elapsed CPU time: 1.91371 s	Remaining CPU time: 1798.09 s
1.89/1.93	c core #243
1.89/1.93	c Core size: 21	Core Weight: 1	Total Weight: 243
1.89/1.93	c Elapsed CPU time: 1.92371 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #244
1.89/1.94	c Core size: 22	Core Weight: 1	Total Weight: 244
1.89/1.94	c Elapsed CPU time: 1.93371 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #245
1.89/1.95	c Core size: 21	Core Weight: 1	Total Weight: 245
1.89/1.95	c Elapsed CPU time: 1.9437 s	Remaining CPU time: 1798.06 s
1.89/1.96	c core #246
1.89/1.96	c Core size: 20	Core Weight: 1	Total Weight: 246
1.89/1.96	c Elapsed CPU time: 1.9537 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #247
1.89/1.97	c Core size: 21	Core Weight: 1	Total Weight: 247
1.89/1.97	c Elapsed CPU time: 1.9637 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #248
1.89/1.98	c Core size: 21	Core Weight: 1	Total Weight: 248
1.89/1.98	c Elapsed CPU time: 1.9737 s	Remaining CPU time: 1798.03 s
1.89/1.99	c core #249
1.89/1.99	c Core size: 23	Core Weight: 1	Total Weight: 249
1.89/1.99	c Elapsed CPU time: 1.9837 s	Remaining CPU time: 1798.02 s
1.89/2.00	c core #250
1.89/2.00	c Core size: 19	Core Weight: 1	Total Weight: 250
1.89/2.00	c Elapsed CPU time: 1.9937 s	Remaining CPU time: 1798.01 s
1.99/2.01	c core #251
1.99/2.01	c Core size: 21	Core Weight: 1	Total Weight: 251
1.99/2.01	c Elapsed CPU time: 2.0037 s	Remaining CPU time: 1798 s
1.99/2.02	c core #252
1.99/2.02	c Core size: 22	Core Weight: 1	Total Weight: 252
1.99/2.02	c Elapsed CPU time: 2.01369 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #253
1.99/2.03	c Core size: 20	Core Weight: 1	Total Weight: 253
1.99/2.03	c Elapsed CPU time: 2.02369 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #254
1.99/2.04	c Core size: 21	Core Weight: 1	Total Weight: 254
1.99/2.04	c Elapsed CPU time: 2.03369 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #255
1.99/2.05	c Core size: 21	Core Weight: 1	Total Weight: 255
1.99/2.05	c Elapsed CPU time: 2.04369 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #256
1.99/2.06	c Core size: 22	Core Weight: 1	Total Weight: 256
1.99/2.06	c Elapsed CPU time: 2.05369 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #257
1.99/2.07	c Core size: 13	Core Weight: 1	Total Weight: 257
1.99/2.07	c Elapsed CPU time: 2.06469 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #258
1.99/2.08	c Core size: 22	Core Weight: 1	Total Weight: 258
1.99/2.08	c Elapsed CPU time: 2.07468 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #259
1.99/2.09	c Core size: 22	Core Weight: 1	Total Weight: 259
1.99/2.09	c Elapsed CPU time: 2.08468 s	Remaining CPU time: 1797.92 s
2.09/2.10	c core #260
2.09/2.10	c Core size: 21	Core Weight: 1	Total Weight: 260
2.09/2.10	c Elapsed CPU time: 2.09468 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #261
2.09/2.11	c Core size: 22	Core Weight: 1	Total Weight: 261
2.09/2.11	c Elapsed CPU time: 2.10568 s	Remaining CPU time: 1797.89 s
2.09/2.12	c core #262
2.09/2.12	c Core size: 22	Core Weight: 1	Total Weight: 262
2.09/2.12	c Elapsed CPU time: 2.11568 s	Remaining CPU time: 1797.88 s
2.09/2.13	c core #263
2.09/2.13	c Core size: 22	Core Weight: 1	Total Weight: 263
2.09/2.13	c Elapsed CPU time: 2.12668 s	Remaining CPU time: 1797.87 s
2.09/2.14	c core #264
2.09/2.14	c Core size: 22	Core Weight: 1	Total Weight: 264
2.09/2.14	c Elapsed CPU time: 2.13667 s	Remaining CPU time: 1797.86 s
2.09/2.15	c core #265
2.09/2.15	c Core size: 21	Core Weight: 1	Total Weight: 265
2.09/2.15	c Elapsed CPU time: 2.14667 s	Remaining CPU time: 1797.85 s
2.09/2.16	c core #266
2.09/2.16	c Core size: 20	Core Weight: 1	Total Weight: 266
2.09/2.16	c Elapsed CPU time: 2.15767 s	Remaining CPU time: 1797.84 s
2.09/2.17	c core #267
2.09/2.17	c Core size: 20	Core Weight: 1	Total Weight: 267
2.09/2.17	c Elapsed CPU time: 2.16767 s	Remaining CPU time: 1797.83 s
2.09/2.18	c core #268
2.09/2.18	c Core size: 20	Core Weight: 1	Total Weight: 268
2.09/2.18	c Elapsed CPU time: 2.17767 s	Remaining CPU time: 1797.82 s
2.09/2.19	c core #269
2.09/2.19	c Core size: 22	Core Weight: 1	Total Weight: 269
2.09/2.19	c Elapsed CPU time: 2.18867 s	Remaining CPU time: 1797.81 s
2.19/2.20	c core #270
2.19/2.20	c Core size: 20	Core Weight: 1	Total Weight: 270
2.19/2.20	c Elapsed CPU time: 2.19966 s	Remaining CPU time: 1797.8 s
2.19/2.21	c core #271
2.19/2.21	c Core size: 20	Core Weight: 1	Total Weight: 271
2.19/2.21	c Elapsed CPU time: 2.20966 s	Remaining CPU time: 1797.79 s
2.19/2.22	c core #272
2.19/2.22	c Core size: 21	Core Weight: 1	Total Weight: 272
2.19/2.22	c Elapsed CPU time: 2.22066 s	Remaining CPU time: 1797.78 s
2.19/2.23	c core #273
2.19/2.23	c Core size: 21	Core Weight: 1	Total Weight: 273
2.19/2.23	c Elapsed CPU time: 2.23066 s	Remaining CPU time: 1797.77 s
2.19/2.24	c core #274
2.19/2.24	c Core size: 21	Core Weight: 1	Total Weight: 274
2.19/2.24	c Elapsed CPU time: 2.24166 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #275
2.19/2.26	c Core size: 20	Core Weight: 1	Total Weight: 275
2.19/2.26	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #276
2.19/2.27	c Core size: 20	Core Weight: 1	Total Weight: 276
2.19/2.27	c Elapsed CPU time: 2.26266 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #277
2.19/2.28	c Core size: 19	Core Weight: 1	Total Weight: 277
2.19/2.28	c Elapsed CPU time: 2.27365 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #278
2.19/2.29	c Core size: 21	Core Weight: 1	Total Weight: 278
2.19/2.29	c Elapsed CPU time: 2.28365 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #279
2.29/2.30	c Core size: 22	Core Weight: 1	Total Weight: 279
2.29/2.30	c Elapsed CPU time: 2.29465 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #280
2.29/2.31	c Core size: 21	Core Weight: 1	Total Weight: 280
2.29/2.31	c Elapsed CPU time: 2.30565 s	Remaining CPU time: 1797.69 s
2.29/2.32	c core #281
2.29/2.32	c Core size: 21	Core Weight: 1	Total Weight: 281
2.29/2.32	c Elapsed CPU time: 2.31665 s	Remaining CPU time: 1797.68 s
2.29/2.33	c core #282
2.29/2.33	c Core size: 21	Core Weight: 1	Total Weight: 282
2.29/2.33	c Elapsed CPU time: 2.32665 s	Remaining CPU time: 1797.67 s
2.29/2.34	c core #283
2.29/2.34	c Core size: 21	Core Weight: 1	Total Weight: 283
2.29/2.34	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.29/2.35	c core #284
2.29/2.35	c Core size: 22	Core Weight: 1	Total Weight: 284
2.29/2.35	c Elapsed CPU time: 2.34864 s	Remaining CPU time: 1797.65 s
2.29/2.36	c core #285
2.29/2.36	c Core size: 21	Core Weight: 1	Total Weight: 285
2.29/2.36	c Elapsed CPU time: 2.35964 s	Remaining CPU time: 1797.64 s
2.29/2.37	c core #286
2.29/2.37	c Core size: 20	Core Weight: 1	Total Weight: 286
2.29/2.37	c Elapsed CPU time: 2.37064 s	Remaining CPU time: 1797.63 s
2.29/2.38	c core #287
2.29/2.38	c Core size: 21	Core Weight: 1	Total Weight: 287
2.29/2.38	c Elapsed CPU time: 2.38064 s	Remaining CPU time: 1797.62 s
2.29/2.39	c core #288
2.29/2.39	c Core size: 21	Core Weight: 1	Total Weight: 288
2.29/2.39	c Elapsed CPU time: 2.39164 s	Remaining CPU time: 1797.61 s
2.39/2.41	c core #289
2.39/2.41	c Core size: 23	Core Weight: 1	Total Weight: 289
2.39/2.41	c Elapsed CPU time: 2.40263 s	Remaining CPU time: 1797.6 s
2.39/2.42	c core #290
2.39/2.42	c Core size: 19	Core Weight: 1	Total Weight: 290
2.39/2.42	c Elapsed CPU time: 2.41363 s	Remaining CPU time: 1797.59 s
2.39/2.43	c core #291
2.39/2.43	c Core size: 21	Core Weight: 1	Total Weight: 291
2.39/2.43	c Elapsed CPU time: 2.42463 s	Remaining CPU time: 1797.58 s
2.39/2.44	c core #292
2.39/2.44	c Core size: 22	Core Weight: 1	Total Weight: 292
2.39/2.44	c Elapsed CPU time: 2.43563 s	Remaining CPU time: 1797.56 s
2.39/2.45	c core #293
2.39/2.45	c Core size: 20	Core Weight: 1	Total Weight: 293
2.39/2.45	c Elapsed CPU time: 2.44663 s	Remaining CPU time: 1797.55 s
2.39/2.46	c core #294
2.39/2.46	c Core size: 21	Core Weight: 1	Total Weight: 294
2.39/2.46	c Elapsed CPU time: 2.45563 s	Remaining CPU time: 1797.54 s
2.39/2.48	c core #295
2.39/2.48	c Core size: 21	Core Weight: 1	Total Weight: 295
2.39/2.48	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.39/2.48	c core #296
2.39/2.48	c Core size: 22	Core Weight: 1	Total Weight: 296
2.39/2.48	c Elapsed CPU time: 2.47762 s	Remaining CPU time: 1797.52 s
2.39/2.49	c core #297
2.39/2.49	c Core size: 13	Core Weight: 1	Total Weight: 297
2.39/2.49	c Elapsed CPU time: 2.48862 s	Remaining CPU time: 1797.51 s
2.49/2.50	c core #298
2.49/2.50	c Core size: 22	Core Weight: 1	Total Weight: 298
2.49/2.50	c Elapsed CPU time: 2.49962 s	Remaining CPU time: 1797.5 s
2.49/2.51	c core #299
2.49/2.51	c Core size: 22	Core Weight: 1	Total Weight: 299
2.49/2.51	c Elapsed CPU time: 2.51062 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #300
2.49/2.53	c Core size: 21	Core Weight: 1	Total Weight: 300
2.49/2.53	c Elapsed CPU time: 2.52162 s	Remaining CPU time: 1797.48 s
2.49/2.54	c core #301
2.49/2.54	c Core size: 22	Core Weight: 1	Total Weight: 301
2.49/2.54	c Elapsed CPU time: 2.53261 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #302
2.49/2.55	c Core size: 22	Core Weight: 1	Total Weight: 302
2.49/2.55	c Elapsed CPU time: 2.54461 s	Remaining CPU time: 1797.46 s
2.49/2.56	c core #303
2.49/2.56	c Core size: 22	Core Weight: 1	Total Weight: 303
2.49/2.56	c Elapsed CPU time: 2.55561 s	Remaining CPU time: 1797.44 s
2.49/2.57	c core #304
2.49/2.57	c Core size: 22	Core Weight: 1	Total Weight: 304
2.49/2.57	c Elapsed CPU time: 2.56661 s	Remaining CPU time: 1797.43 s
2.49/2.58	c core #305
2.49/2.58	c Core size: 21	Core Weight: 1	Total Weight: 305
2.49/2.58	c Elapsed CPU time: 2.57861 s	Remaining CPU time: 1797.42 s
2.49/2.59	c core #306
2.49/2.59	c Core size: 20	Core Weight: 1	Total Weight: 306
2.49/2.59	c Elapsed CPU time: 2.58961 s	Remaining CPU time: 1797.41 s
2.59/2.61	c core #307
2.59/2.61	c Core size: 20	Core Weight: 1	Total Weight: 307
2.59/2.61	c Elapsed CPU time: 2.6006 s	Remaining CPU time: 1797.4 s
2.59/2.62	c core #308
2.59/2.62	c Core size: 20	Core Weight: 1	Total Weight: 308
2.59/2.62	c Elapsed CPU time: 2.6116 s	Remaining CPU time: 1797.39 s
2.59/2.63	c core #309
2.59/2.63	c Core size: 22	Core Weight: 1	Total Weight: 309
2.59/2.63	c Elapsed CPU time: 2.6226 s	Remaining CPU time: 1797.38 s
2.59/2.64	c core #310
2.59/2.64	c Core size: 20	Core Weight: 1	Total Weight: 310
2.59/2.64	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 1797.37 s
2.59/2.65	c core #311
2.59/2.65	c Core size: 20	Core Weight: 1	Total Weight: 311
2.59/2.65	c Elapsed CPU time: 2.6446 s	Remaining CPU time: 1797.36 s
2.59/2.66	c core #312
2.59/2.66	c Core size: 21	Core Weight: 1	Total Weight: 312
2.59/2.66	c Elapsed CPU time: 2.6546 s	Remaining CPU time: 1797.35 s
2.59/2.67	c core #313
2.59/2.67	c Core size: 21	Core Weight: 1	Total Weight: 313
2.59/2.67	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 1797.33 s
2.59/2.68	c core #314
2.59/2.68	c Core size: 21	Core Weight: 1	Total Weight: 314
2.59/2.68	c Elapsed CPU time: 2.67659 s	Remaining CPU time: 1797.32 s
2.69/2.70	c core #315
2.69/2.70	c Core size: 20	Core Weight: 1	Total Weight: 315
2.69/2.70	c Elapsed CPU time: 2.68859 s	Remaining CPU time: 1797.31 s
2.69/2.71	c core #316
2.69/2.71	c Core size: 20	Core Weight: 1	Total Weight: 316
2.69/2.71	c Elapsed CPU time: 2.69959 s	Remaining CPU time: 1797.3 s
2.69/2.72	c core #317
2.69/2.72	c Core size: 19	Core Weight: 1	Total Weight: 317
2.69/2.72	c Elapsed CPU time: 2.71159 s	Remaining CPU time: 1797.29 s
2.69/2.73	c core #318
2.69/2.73	c Core size: 21	Core Weight: 1	Total Weight: 318
2.69/2.73	c Elapsed CPU time: 2.72358 s	Remaining CPU time: 1797.28 s
2.69/2.74	c core #319
2.69/2.74	c Core size: 22	Core Weight: 1	Total Weight: 319
2.69/2.74	c Elapsed CPU time: 2.73458 s	Remaining CPU time: 1797.27 s
2.69/2.75	c core #320
2.69/2.75	c Core size: 21	Core Weight: 1	Total Weight: 320
2.69/2.75	c Elapsed CPU time: 2.74658 s	Remaining CPU time: 1797.25 s
2.69/2.77	c core #321
2.69/2.77	c Core size: 21	Core Weight: 1	Total Weight: 321
2.69/2.77	c Elapsed CPU time: 2.75858 s	Remaining CPU time: 1797.24 s
2.69/2.78	c core #322
2.69/2.78	c Core size: 21	Core Weight: 1	Total Weight: 322
2.69/2.78	c Elapsed CPU time: 2.77058 s	Remaining CPU time: 1797.23 s
2.69/2.79	c core #323
2.69/2.79	c Core size: 21	Core Weight: 1	Total Weight: 323
2.69/2.79	c Elapsed CPU time: 2.78158 s	Remaining CPU time: 1797.22 s
2.79/2.80	c core #324
2.79/2.80	c Core size: 22	Core Weight: 1	Total Weight: 324
2.79/2.80	c Elapsed CPU time: 2.79258 s	Remaining CPU time: 1797.21 s
2.79/2.81	c core #325
2.79/2.81	c Core size: 21	Core Weight: 1	Total Weight: 325
2.79/2.81	c Elapsed CPU time: 2.80557 s	Remaining CPU time: 1797.19 s
2.79/2.83	c core #326
2.79/2.83	c Core size: 20	Core Weight: 1	Total Weight: 326
2.79/2.83	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 1797.18 s
2.79/2.84	c core #327
2.79/2.84	c Core size: 21	Core Weight: 1	Total Weight: 327
2.79/2.84	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 1797.17 s
2.79/2.85	c core #328
2.79/2.85	c Core size: 21	Core Weight: 1	Total Weight: 328
2.79/2.85	c Elapsed CPU time: 2.84057 s	Remaining CPU time: 1797.16 s
2.79/2.86	c core #329
2.79/2.86	c Core size: 23	Core Weight: 1	Total Weight: 329
2.79/2.86	c Elapsed CPU time: 2.85257 s	Remaining CPU time: 1797.15 s
2.79/2.87	c core #330
2.79/2.87	c Core size: 19	Core Weight: 1	Total Weight: 330
2.79/2.87	c Elapsed CPU time: 2.86456 s	Remaining CPU time: 1797.14 s
2.79/2.88	c core #331
2.79/2.88	c Core size: 21	Core Weight: 1	Total Weight: 331
2.79/2.88	c Elapsed CPU time: 2.87656 s	Remaining CPU time: 1797.12 s
2.89/2.90	c core #332
2.89/2.90	c Core size: 22	Core Weight: 1	Total Weight: 332
2.89/2.90	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 1797.11 s
2.89/2.91	c core #333
2.89/2.91	c Core size: 20	Core Weight: 1	Total Weight: 333
2.89/2.91	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.89/2.92	c core #334
2.89/2.92	c Core size: 21	Core Weight: 1	Total Weight: 334
2.89/2.92	c Elapsed CPU time: 2.91156 s	Remaining CPU time: 1797.09 s
2.89/2.93	c core #335
2.89/2.93	c Core size: 21	Core Weight: 1	Total Weight: 335
2.89/2.93	c Elapsed CPU time: 2.92355 s	Remaining CPU time: 1797.08 s
2.89/2.94	c core #336
2.89/2.94	c Core size: 22	Core Weight: 1	Total Weight: 336
2.89/2.94	c Elapsed CPU time: 2.93555 s	Remaining CPU time: 1797.06 s
2.89/2.96	c core #337
2.89/2.96	c Core size: 13	Core Weight: 1	Total Weight: 337
2.89/2.96	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.89/2.97	c core #338
2.89/2.97	c Core size: 22	Core Weight: 1	Total Weight: 338
2.89/2.97	c Elapsed CPU time: 2.95955 s	Remaining CPU time: 1797.04 s
2.89/2.98	c core #339
2.89/2.98	c Core size: 22	Core Weight: 1	Total Weight: 339
2.89/2.98	c Elapsed CPU time: 2.97155 s	Remaining CPU time: 1797.03 s
2.89/2.99	c core #340
2.89/2.99	c Core size: 21	Core Weight: 1	Total Weight: 340
2.89/2.99	c Elapsed CPU time: 2.98355 s	Remaining CPU time: 1797.02 s
2.99/3.00	c core #341
2.99/3.00	c Core size: 22	Core Weight: 1	Total Weight: 341
2.99/3.00	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 1797 s
2.99/3.02	c core #342
2.99/3.02	c Core size: 22	Core Weight: 1	Total Weight: 342
2.99/3.02	c Elapsed CPU time: 3.00654 s	Remaining CPU time: 1796.99 s
2.99/3.03	c core #343
2.99/3.03	c Core size: 22	Core Weight: 1	Total Weight: 343
2.99/3.03	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 1796.98 s
2.99/3.04	c core #344
2.99/3.04	c Core size: 22	Core Weight: 1	Total Weight: 344
2.99/3.04	c Elapsed CPU time: 3.03154 s	Remaining CPU time: 1796.97 s
2.99/3.05	c core #345
2.99/3.05	c Core size: 21	Core Weight: 1	Total Weight: 345
2.99/3.05	c Elapsed CPU time: 3.04354 s	Remaining CPU time: 1796.96 s
2.99/3.06	c core #346
2.99/3.06	c Core size: 20	Core Weight: 1	Total Weight: 346
2.99/3.06	c Elapsed CPU time: 3.05553 s	Remaining CPU time: 1796.94 s
2.99/3.08	c core #347
2.99/3.08	c Core size: 20	Core Weight: 1	Total Weight: 347
2.99/3.08	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 1796.93 s
2.99/3.09	c core #348
2.99/3.09	c Core size: 20	Core Weight: 1	Total Weight: 348
2.99/3.09	c Elapsed CPU time: 3.08053 s	Remaining CPU time: 1796.92 s
3.09/3.10	c core #349
3.09/3.10	c Core size: 22	Core Weight: 1	Total Weight: 349
3.09/3.10	c Elapsed CPU time: 3.09353 s	Remaining CPU time: 1796.91 s
3.09/3.11	c core #350
3.09/3.11	c Core size: 20	Core Weight: 1	Total Weight: 350
3.09/3.11	c Elapsed CPU time: 3.10553 s	Remaining CPU time: 1796.89 s
3.09/3.13	c core #351
3.09/3.13	c Core size: 20	Core Weight: 1	Total Weight: 351
3.09/3.13	c Elapsed CPU time: 3.11852 s	Remaining CPU time: 1796.88 s
3.09/3.14	c core #352
3.09/3.14	c Core size: 21	Core Weight: 1	Total Weight: 352
3.09/3.14	c Elapsed CPU time: 3.13052 s	Remaining CPU time: 1796.87 s
3.09/3.15	c core #353
3.09/3.15	c Core size: 21	Core Weight: 1	Total Weight: 353
3.09/3.15	c Elapsed CPU time: 3.14252 s	Remaining CPU time: 1796.86 s
3.09/3.16	c core #354
3.09/3.16	c Core size: 21	Core Weight: 1	Total Weight: 354
3.09/3.16	c Elapsed CPU time: 3.15452 s	Remaining CPU time: 1796.85 s
3.09/3.18	c core #355
3.09/3.18	c Core size: 20	Core Weight: 1	Total Weight: 355
3.09/3.18	c Elapsed CPU time: 3.16752 s	Remaining CPU time: 1796.83 s
3.09/3.19	c core #356
3.09/3.19	c Core size: 20	Core Weight: 1	Total Weight: 356
3.09/3.19	c Elapsed CPU time: 3.17952 s	Remaining CPU time: 1796.82 s
3.20/3.20	c core #357
3.20/3.20	c Core size: 19	Core Weight: 1	Total Weight: 357
3.20/3.20	c Elapsed CPU time: 3.19251 s	Remaining CPU time: 1796.81 s
3.20/3.21	c core #358
3.20/3.21	c Core size: 21	Core Weight: 1	Total Weight: 358
3.20/3.21	c Elapsed CPU time: 3.20451 s	Remaining CPU time: 1796.8 s
3.20/3.23	c core #359
3.20/3.23	c Core size: 22	Core Weight: 1	Total Weight: 359
3.20/3.23	c Elapsed CPU time: 3.21751 s	Remaining CPU time: 1796.78 s
3.20/3.24	c core #360
3.20/3.24	c Core size: 21	Core Weight: 1	Total Weight: 360
3.20/3.24	c Elapsed CPU time: 3.22951 s	Remaining CPU time: 1796.77 s
3.20/3.25	c core #361
3.20/3.25	c Core size: 21	Core Weight: 1	Total Weight: 361
3.20/3.25	c Elapsed CPU time: 3.24251 s	Remaining CPU time: 1796.76 s
3.20/3.26	c core #362
3.20/3.26	c Core size: 21	Core Weight: 1	Total Weight: 362
3.20/3.26	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 1796.75 s
3.20/3.28	c core #363
3.20/3.28	c Core size: 21	Core Weight: 1	Total Weight: 363
3.20/3.28	c Elapsed CPU time: 3.2675 s	Remaining CPU time: 1796.73 s
3.20/3.29	c core #364
3.20/3.29	c Core size: 22	Core Weight: 1	Total Weight: 364
3.20/3.29	c Elapsed CPU time: 3.2795 s	Remaining CPU time: 1796.72 s
3.30/3.30	c core #365
3.30/3.30	c Core size: 21	Core Weight: 1	Total Weight: 365
3.30/3.30	c Elapsed CPU time: 3.2925 s	Remaining CPU time: 1796.71 s
3.30/3.31	c core #366
3.30/3.31	c Core size: 20	Core Weight: 1	Total Weight: 366
3.30/3.31	c Elapsed CPU time: 3.3045 s	Remaining CPU time: 1796.7 s
3.30/3.33	c core #367
3.30/3.33	c Core size: 21	Core Weight: 1	Total Weight: 367
3.30/3.33	c Elapsed CPU time: 3.31849 s	Remaining CPU time: 1796.68 s
3.30/3.34	c core #368
3.30/3.34	c Core size: 21	Core Weight: 1	Total Weight: 368
3.30/3.34	c Elapsed CPU time: 3.33049 s	Remaining CPU time: 1796.67 s
3.30/3.35	c core #369
3.30/3.35	c Core size: 23	Core Weight: 1	Total Weight: 369
3.30/3.35	c Elapsed CPU time: 3.34349 s	Remaining CPU time: 1796.66 s
3.30/3.36	c core #370
3.30/3.36	c Core size: 19	Core Weight: 1	Total Weight: 370
3.30/3.36	c Elapsed CPU time: 3.35649 s	Remaining CPU time: 1796.64 s
3.30/3.38	c core #371
3.30/3.38	c Core size: 21	Core Weight: 1	Total Weight: 371
3.30/3.38	c Elapsed CPU time: 3.36949 s	Remaining CPU time: 1796.63 s
3.30/3.39	c core #372
3.30/3.39	c Core size: 22	Core Weight: 1	Total Weight: 372
3.30/3.39	c Elapsed CPU time: 3.38149 s	Remaining CPU time: 1796.62 s
3.39/3.40	c core #373
3.39/3.40	c Core size: 20	Core Weight: 1	Total Weight: 373
3.39/3.40	c Elapsed CPU time: 3.39448 s	Remaining CPU time: 1796.61 s
3.39/3.42	c core #374
3.39/3.42	c Core size: 21	Core Weight: 1	Total Weight: 374
3.39/3.42	c Elapsed CPU time: 3.40648 s	Remaining CPU time: 1796.59 s
3.39/3.43	c core #375
3.39/3.43	c Core size: 21	Core Weight: 1	Total Weight: 375
3.39/3.43	c Elapsed CPU time: 3.41948 s	Remaining CPU time: 1796.58 s
3.39/3.44	c core #376
3.39/3.44	c Core size: 22	Core Weight: 1	Total Weight: 376
3.39/3.44	c Elapsed CPU time: 3.43248 s	Remaining CPU time: 1796.57 s
3.39/3.45	c core #377
3.39/3.45	c Core size: 13	Core Weight: 1	Total Weight: 377
3.39/3.45	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.39/3.47	c core #378
3.39/3.47	c Core size: 22	Core Weight: 1	Total Weight: 378
3.39/3.47	c Elapsed CPU time: 3.45847 s	Remaining CPU time: 1796.54 s
3.39/3.48	c core #379
3.39/3.48	c Core size: 22	Core Weight: 1	Total Weight: 379
3.39/3.48	c Elapsed CPU time: 3.47147 s	Remaining CPU time: 1796.53 s
3.39/3.49	c core #380
3.39/3.49	c Core size: 21	Core Weight: 1	Total Weight: 380
3.39/3.49	c Elapsed CPU time: 3.48447 s	Remaining CPU time: 1796.52 s
3.49/3.51	c core #381
3.49/3.51	c Core size: 22	Core Weight: 1	Total Weight: 381
3.49/3.51	c Elapsed CPU time: 3.49747 s	Remaining CPU time: 1796.5 s
3.49/3.52	c core #382
3.49/3.52	c Core size: 22	Core Weight: 1	Total Weight: 382
3.49/3.52	c Elapsed CPU time: 3.50947 s	Remaining CPU time: 1796.49 s
3.49/3.53	c core #383
3.49/3.53	c Core size: 22	Core Weight: 1	Total Weight: 383
3.49/3.53	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.49/3.55	c core #384
3.49/3.55	c Core size: 22	Core Weight: 1	Total Weight: 384
3.49/3.55	c Elapsed CPU time: 3.53546 s	Remaining CPU time: 1796.46 s
3.49/3.56	c core #385
3.49/3.56	c Core size: 21	Core Weight: 1	Total Weight: 385
3.49/3.56	c Elapsed CPU time: 3.54846 s	Remaining CPU time: 1796.45 s
3.49/3.57	c core #386
3.49/3.57	c Core size: 20	Core Weight: 1	Total Weight: 386
3.49/3.57	c Elapsed CPU time: 3.56146 s	Remaining CPU time: 1796.44 s
3.49/3.59	c core #387
3.49/3.59	c Core size: 20	Core Weight: 1	Total Weight: 387
3.49/3.59	c Elapsed CPU time: 3.57546 s	Remaining CPU time: 1796.42 s
3.59/3.60	c core #388
3.59/3.60	c Core size: 20	Core Weight: 1	Total Weight: 388
3.59/3.60	c Elapsed CPU time: 3.58845 s	Remaining CPU time: 1796.41 s
3.59/3.61	c core #389
3.59/3.61	c Core size: 22	Core Weight: 1	Total Weight: 389
3.59/3.61	c Elapsed CPU time: 3.60145 s	Remaining CPU time: 1796.4 s
3.59/3.63	c core #390
3.59/3.63	c Core size: 20	Core Weight: 1	Total Weight: 390
3.59/3.63	c Elapsed CPU time: 3.61445 s	Remaining CPU time: 1796.39 s
3.59/3.64	c core #391
3.59/3.64	c Core size: 20	Core Weight: 1	Total Weight: 391
3.59/3.64	c Elapsed CPU time: 3.62845 s	Remaining CPU time: 1796.37 s
3.59/3.65	c core #392
3.59/3.65	c Core size: 21	Core Weight: 1	Total Weight: 392
3.59/3.65	c Elapsed CPU time: 3.64145 s	Remaining CPU time: 1796.36 s
3.59/3.67	c core #393
3.59/3.67	c Core size: 21	Core Weight: 1	Total Weight: 393
3.59/3.67	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 1796.35 s
3.59/3.68	c core #394
3.59/3.68	c Core size: 21	Core Weight: 1	Total Weight: 394
3.59/3.68	c Elapsed CPU time: 3.66844 s	Remaining CPU time: 1796.33 s
3.59/3.69	c core #395
3.59/3.69	c Core size: 20	Core Weight: 1	Total Weight: 395
3.59/3.69	c Elapsed CPU time: 3.68044 s	Remaining CPU time: 1796.32 s
3.69/3.70	c core #396
3.69/3.70	c Core size: 20	Core Weight: 1	Total Weight: 396
3.69/3.70	c Elapsed CPU time: 3.69344 s	Remaining CPU time: 1796.31 s
3.69/3.72	c core #397
3.69/3.72	c Core size: 19	Core Weight: 1	Total Weight: 397
3.69/3.72	c Elapsed CPU time: 3.70744 s	Remaining CPU time: 1796.29 s
3.69/3.73	c core #398
3.69/3.73	c Core size: 21	Core Weight: 1	Total Weight: 398
3.69/3.73	c Elapsed CPU time: 3.72043 s	Remaining CPU time: 1796.28 s
3.69/3.74	c core #399
3.69/3.74	c Core size: 22	Core Weight: 1	Total Weight: 399
3.69/3.74	c Elapsed CPU time: 3.73343 s	Remaining CPU time: 1796.27 s
3.69/3.76	c core #400
3.69/3.76	c Core size: 21	Core Weight: 1	Total Weight: 400
3.69/3.76	c Elapsed CPU time: 3.74643 s	Remaining CPU time: 1796.25 s
3.69/3.77	c core #401
3.69/3.77	c Core size: 21	Core Weight: 1	Total Weight: 401
3.69/3.77	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 1796.24 s
3.69/3.78	c core #402
3.69/3.78	c Core size: 21	Core Weight: 1	Total Weight: 402
3.69/3.78	c Elapsed CPU time: 3.77343 s	Remaining CPU time: 1796.23 s
3.79/3.80	c core #403
3.79/3.80	c Core size: 21	Core Weight: 1	Total Weight: 403
3.79/3.80	c Elapsed CPU time: 3.78742 s	Remaining CPU time: 1796.21 s
3.79/3.81	c core #404
3.79/3.81	c Core size: 22	Core Weight: 1	Total Weight: 404
3.79/3.81	c Elapsed CPU time: 3.80042 s	Remaining CPU time: 1796.2 s
3.79/3.82	c core #405
3.79/3.82	c Core size: 21	Core Weight: 1	Total Weight: 405
3.79/3.82	c Elapsed CPU time: 3.81342 s	Remaining CPU time: 1796.19 s
3.79/3.84	c core #406
3.79/3.84	c Core size: 20	Core Weight: 1	Total Weight: 406
3.79/3.84	c Elapsed CPU time: 3.82642 s	Remaining CPU time: 1796.17 s
3.79/3.85	c core #407
3.79/3.85	c Core size: 21	Core Weight: 1	Total Weight: 407
3.79/3.85	c Elapsed CPU time: 3.84042 s	Remaining CPU time: 1796.16 s
3.79/3.86	c core #408
3.79/3.86	c Core size: 21	Core Weight: 1	Total Weight: 408
3.79/3.86	c Elapsed CPU time: 3.85341 s	Remaining CPU time: 1796.15 s
3.79/3.88	c core #409
3.79/3.88	c Core size: 23	Core Weight: 1	Total Weight: 409
3.79/3.88	c Elapsed CPU time: 3.86741 s	Remaining CPU time: 1796.13 s
3.79/3.89	c core #410
3.79/3.89	c Core size: 19	Core Weight: 1	Total Weight: 410
3.79/3.89	c Elapsed CPU time: 3.88041 s	Remaining CPU time: 1796.12 s
3.89/3.91	c core #411
3.89/3.91	c Core size: 21	Core Weight: 1	Total Weight: 411
3.89/3.91	c Elapsed CPU time: 3.89441 s	Remaining CPU time: 1796.11 s
3.89/3.92	c core #412
3.89/3.92	c Core size: 22	Core Weight: 1	Total Weight: 412
3.89/3.92	c Elapsed CPU time: 3.90841 s	Remaining CPU time: 1796.09 s
3.89/3.93	c core #413
3.89/3.93	c Core size: 20	Core Weight: 1	Total Weight: 413
3.89/3.93	c Elapsed CPU time: 3.9224 s	Remaining CPU time: 1796.08 s
3.89/3.95	c core #414
3.89/3.95	c Core size: 21	Core Weight: 1	Total Weight: 414
3.89/3.95	c Elapsed CPU time: 3.9364 s	Remaining CPU time: 1796.06 s
3.89/3.96	c core #415
3.89/3.96	c Core size: 21	Core Weight: 1	Total Weight: 415
3.89/3.96	c Elapsed CPU time: 3.9504 s	Remaining CPU time: 1796.05 s
3.89/3.98	c core #416
3.89/3.98	c Core size: 22	Core Weight: 1	Total Weight: 416
3.89/3.98	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 1796.04 s
3.89/3.99	c core #417
3.89/3.99	c Core size: 13	Core Weight: 1	Total Weight: 417
3.89/3.99	c Elapsed CPU time: 3.97839 s	Remaining CPU time: 1796.02 s
3.99/4.01	c core #418
3.99/4.01	c Core size: 22	Core Weight: 1	Total Weight: 418
3.99/4.01	c Elapsed CPU time: 3.99339 s	Remaining CPU time: 1796.01 s
3.99/4.02	c core #419
3.99/4.02	c Core size: 22	Core Weight: 1	Total Weight: 419
3.99/4.02	c Elapsed CPU time: 4.00739 s	Remaining CPU time: 1795.99 s
3.99/4.03	c core #420
3.99/4.03	c Core size: 21	Core Weight: 1	Total Weight: 420
3.99/4.03	c Elapsed CPU time: 4.02139 s	Remaining CPU time: 1795.98 s
3.99/4.05	c core #421
3.99/4.05	c Core size: 22	Core Weight: 1	Total Weight: 421
3.99/4.05	c Elapsed CPU time: 4.03539 s	Remaining CPU time: 1795.96 s
3.99/4.06	c core #422
3.99/4.06	c Core size: 22	Core Weight: 1	Total Weight: 422
3.99/4.06	c Elapsed CPU time: 4.04938 s	Remaining CPU time: 1795.95 s
3.99/4.08	c core #423
3.99/4.08	c Core size: 22	Core Weight: 1	Total Weight: 423
3.99/4.08	c Elapsed CPU time: 4.06338 s	Remaining CPU time: 1795.94 s
3.99/4.09	c core #424
3.99/4.09	c Core size: 22	Core Weight: 1	Total Weight: 424
3.99/4.09	c Elapsed CPU time: 4.07838 s	Remaining CPU time: 1795.92 s
4.09/4.10	c core #425
4.09/4.10	c Core size: 21	Core Weight: 1	Total Weight: 425
4.09/4.10	c Elapsed CPU time: 4.09238 s	Remaining CPU time: 1795.91 s
4.09/4.12	c core #426
4.09/4.12	c Core size: 20	Core Weight: 1	Total Weight: 426
4.09/4.12	c Elapsed CPU time: 4.10637 s	Remaining CPU time: 1795.89 s
4.09/4.13	c core #427
4.09/4.13	c Core size: 20	Core Weight: 1	Total Weight: 427
4.09/4.13	c Elapsed CPU time: 4.12137 s	Remaining CPU time: 1795.88 s
4.09/4.15	c core #428
4.09/4.15	c Core size: 20	Core Weight: 1	Total Weight: 428
4.09/4.15	c Elapsed CPU time: 4.13537 s	Remaining CPU time: 1795.86 s
4.09/4.16	c core #429
4.09/4.16	c Core size: 22	Core Weight: 1	Total Weight: 429
4.09/4.16	c Elapsed CPU time: 4.14937 s	Remaining CPU time: 1795.85 s
4.09/4.18	c core #430
4.09/4.18	c Core size: 20	Core Weight: 1	Total Weight: 430
4.09/4.18	c Elapsed CPU time: 4.16437 s	Remaining CPU time: 1795.84 s
4.09/4.19	c core #431
4.09/4.19	c Core size: 20	Core Weight: 1	Total Weight: 431
4.09/4.19	c Elapsed CPU time: 4.17836 s	Remaining CPU time: 1795.82 s
4.19/4.20	c core #432
4.19/4.20	c Core size: 21	Core Weight: 1	Total Weight: 432
4.19/4.20	c Elapsed CPU time: 4.19236 s	Remaining CPU time: 1795.81 s
4.19/4.22	c core #433
4.19/4.22	c Core size: 21	Core Weight: 1	Total Weight: 433
4.19/4.22	c Elapsed CPU time: 4.20636 s	Remaining CPU time: 1795.79 s
4.19/4.23	c core #434
4.19/4.23	c Core size: 21	Core Weight: 1	Total Weight: 434
4.19/4.23	c Elapsed CPU time: 4.22036 s	Remaining CPU time: 1795.78 s
4.19/4.25	c core #435
4.19/4.25	c Core size: 20	Core Weight: 1	Total Weight: 435
4.19/4.25	c Elapsed CPU time: 4.23536 s	Remaining CPU time: 1795.76 s
4.19/4.26	c core #436
4.19/4.26	c Core size: 20	Core Weight: 1	Total Weight: 436
4.19/4.26	c Elapsed CPU time: 4.25035 s	Remaining CPU time: 1795.75 s
4.19/4.28	c core #437
4.19/4.28	c Core size: 19	Core Weight: 1	Total Weight: 437
4.19/4.28	c Elapsed CPU time: 4.26435 s	Remaining CPU time: 1795.74 s
4.19/4.29	c core #438
4.19/4.29	c Core size: 21	Core Weight: 1	Total Weight: 438
4.19/4.29	c Elapsed CPU time: 4.27835 s	Remaining CPU time: 1795.72 s
4.29/4.31	c core #439
4.29/4.31	c Core size: 22	Core Weight: 1	Total Weight: 439
4.29/4.31	c Elapsed CPU time: 4.29235 s	Remaining CPU time: 1795.71 s
4.29/4.32	c core #440
4.29/4.32	c Core size: 21	Core Weight: 1	Total Weight: 440
4.29/4.32	c Elapsed CPU time: 4.30734 s	Remaining CPU time: 1795.69 s
4.29/4.34	c core #441
4.29/4.34	c Core size: 21	Core Weight: 1	Total Weight: 441
4.29/4.34	c Elapsed CPU time: 4.32134 s	Remaining CPU time: 1795.68 s
4.29/4.35	c core #442
4.29/4.35	c Core size: 21	Core Weight: 1	Total Weight: 442
4.29/4.35	c Elapsed CPU time: 4.33534 s	Remaining CPU time: 1795.66 s
4.29/4.36	c core #443
4.29/4.36	c Core size: 21	Core Weight: 1	Total Weight: 443
4.29/4.36	c Elapsed CPU time: 4.35034 s	Remaining CPU time: 1795.65 s
4.29/4.38	c core #444
4.29/4.38	c Core size: 22	Core Weight: 1	Total Weight: 444
4.29/4.38	c Elapsed CPU time: 4.36534 s	Remaining CPU time: 1795.63 s
4.29/4.39	c core #445
4.29/4.39	c Core size: 21	Core Weight: 1	Total Weight: 445
4.29/4.39	c Elapsed CPU time: 4.37933 s	Remaining CPU time: 1795.62 s
4.39/4.41	c core #446
4.39/4.41	c Core size: 20	Core Weight: 1	Total Weight: 446
4.39/4.41	c Elapsed CPU time: 4.39433 s	Remaining CPU time: 1795.61 s
4.39/4.42	c core #447
4.39/4.42	c Core size: 21	Core Weight: 1	Total Weight: 447
4.39/4.42	c Elapsed CPU time: 4.40833 s	Remaining CPU time: 1795.59 s
4.39/4.44	c core #448
4.39/4.44	c Core size: 21	Core Weight: 1	Total Weight: 448
4.39/4.44	c Elapsed CPU time: 4.42233 s	Remaining CPU time: 1795.58 s
4.39/4.45	c core #449
4.39/4.45	c Core size: 23	Core Weight: 1	Total Weight: 449
4.39/4.45	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 1795.56 s
4.39/4.47	c core #450
4.39/4.47	c Core size: 19	Core Weight: 1	Total Weight: 450
4.39/4.47	c Elapsed CPU time: 4.45232 s	Remaining CPU time: 1795.55 s
4.39/4.48	c core #451
4.39/4.48	c Core size: 21	Core Weight: 1	Total Weight: 451
4.39/4.48	c Elapsed CPU time: 4.46732 s	Remaining CPU time: 1795.53 s
4.49/4.50	c core #452
4.49/4.50	c Core size: 22	Core Weight: 1	Total Weight: 452
4.49/4.50	c Elapsed CPU time: 4.48132 s	Remaining CPU time: 1795.52 s
4.49/4.51	c core #453
4.49/4.51	c Core size: 20	Core Weight: 1	Total Weight: 453
4.49/4.51	c Elapsed CPU time: 4.49632 s	Remaining CPU time: 1795.5 s
4.49/4.53	c core #454
4.49/4.53	c Core size: 21	Core Weight: 1	Total Weight: 454
4.49/4.53	c Elapsed CPU time: 4.51131 s	Remaining CPU time: 1795.49 s
4.49/4.54	c core #455
4.49/4.54	c Core size: 21	Core Weight: 1	Total Weight: 455
4.49/4.54	c Elapsed CPU time: 4.52631 s	Remaining CPU time: 1795.47 s
4.49/4.56	c core #456
4.49/4.56	c Core size: 22	Core Weight: 1	Total Weight: 456
4.49/4.56	c Elapsed CPU time: 4.53931 s	Remaining CPU time: 1795.46 s
4.49/4.57	c core #457
4.49/4.57	c Core size: 127	Core Weight: 1	Total Weight: 457
4.49/4.57	c Elapsed CPU time: 4.55531 s	Remaining CPU time: 1795.44 s
4.49/4.59	c core #458
4.49/4.59	c Core size: 67	Core Weight: 1	Total Weight: 458
4.49/4.59	c Elapsed CPU time: 4.57031 s	Remaining CPU time: 1795.43 s
4.59/4.60	c ============================[ Search Statistics ]==============================
4.59/4.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.60	c ===============================================================================
4.59/4.60	c |         0 |    4258    11876    26948 |     5000        0    nan |  0.000 % |
4.59/4.60	c ===============================================================================
4.59/4.60	c core #459
4.59/4.60	c Core size: 29	Core Weight: 1	Total Weight: 459
4.59/4.60	c Elapsed CPU time: 4.5873 s	Remaining CPU time: 1795.41 s
4.59/4.62	c ============================[ Search Statistics ]==============================
4.59/4.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.62	c ===============================================================================
4.59/4.62	c |         0 |    4271    11877    26974 |     5000        0    nan |  0.000 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c core #460
4.59/4.62	c Core size: 22	Core Weight: 1	Total Weight: 460
4.59/4.62	c Elapsed CPU time: 4.6033 s	Remaining CPU time: 1795.4 s
4.59/4.63	c ============================[ Search Statistics ]==============================
4.59/4.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.63	c ===============================================================================
4.59/4.63	c |         0 |    4282    11878    26996 |     5000        0    nan |  0.000 % |
4.59/4.64	c ===============================================================================
4.59/4.64	c core #461
4.59/4.64	c Core size: 17	Core Weight: 1	Total Weight: 461
4.59/4.64	c Elapsed CPU time: 4.6193 s	Remaining CPU time: 1795.38 s
4.59/4.65	c ============================[ Search Statistics ]==============================
4.59/4.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.65	c ===============================================================================
4.59/4.65	c |         0 |    4290    11879    27012 |     5000        0    nan |  0.000 % |
4.59/4.65	c ===============================================================================
4.59/4.65	c core #462
4.59/4.65	c Core size: 42	Core Weight: 1	Total Weight: 462
4.59/4.65	c Elapsed CPU time: 4.6363 s	Remaining CPU time: 1795.36 s
4.59/4.67	c ============================[ Search Statistics ]==============================
4.59/4.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.67	c ===============================================================================
4.59/4.67	c |         0 |    4301    11880    27034 |     5000        0    nan |  0.000 % |
4.59/4.67	c ===============================================================================
4.59/4.67	c core #463
4.59/4.67	c Core size: 46	Core Weight: 1	Total Weight: 463
4.59/4.67	c Elapsed CPU time: 4.65329 s	Remaining CPU time: 1795.35 s
4.59/4.68	c ============================[ Search Statistics ]==============================
4.59/4.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.68	c ===============================================================================
4.59/4.68	c |         0 |    4311    11881    27054 |     5000        0    nan |  0.000 % |
4.59/4.69	c ===============================================================================
4.59/4.69	c core #464
4.59/4.69	c Core size: 40	Core Weight: 1	Total Weight: 464
4.59/4.69	c Elapsed CPU time: 4.66929 s	Remaining CPU time: 1795.33 s
4.69/4.70	c Learning 1 hard constraints
4.69/4.70	c ============================[ Search Statistics ]==============================
4.69/4.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.70	c ===============================================================================
4.69/4.70	c |         0 |    4316    11883    27070 |     5000        0    nan |  0.000 % |
4.69/4.70	c ===============================================================================
4.69/4.70	c core #465
4.69/4.70	c Core size: 44	Core Weight: 1	Total Weight: 465
4.69/4.70	c Elapsed CPU time: 4.68629 s	Remaining CPU time: 1795.31 s
4.69/4.72	c ============================[ Search Statistics ]==============================
4.69/4.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.72	c ===============================================================================
4.69/4.72	c |         0 |    4325    11884    27088 |     5000        0    nan |  0.000 % |
4.69/4.72	c ===============================================================================
4.69/4.72	c core #466
4.69/4.72	c Core size: 42	Core Weight: 1	Total Weight: 466
4.69/4.72	c Elapsed CPU time: 4.70228 s	Remaining CPU time: 1795.3 s
4.69/4.73	c Learning 1 hard constraints
4.69/4.73	c ============================[ Search Statistics ]==============================
4.69/4.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.73	c ===============================================================================
4.69/4.73	c |         0 |    4333    11886    27108 |     5000        0    nan |  0.000 % |
4.69/4.74	c ===============================================================================
4.69/4.74	c core #467
4.69/4.74	c Core size: 45	Core Weight: 1	Total Weight: 467
4.69/4.74	c Elapsed CPU time: 4.71828 s	Remaining CPU time: 1795.28 s
4.69/4.75	c ============================[ Search Statistics ]==============================
4.69/4.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.75	c ===============================================================================
4.69/4.75	c |         0 |    4343    11887    27128 |     5000        0    nan |  0.000 % |
4.69/4.75	c ===============================================================================
4.69/4.75	c core #468
4.69/4.75	c Core size: 39	Core Weight: 1	Total Weight: 468
4.69/4.75	c Elapsed CPU time: 4.73528 s	Remaining CPU time: 1795.26 s
4.69/4.77	c Learning 1 hard constraints
4.69/4.77	c ============================[ Search Statistics ]==============================
4.69/4.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.77	c ===============================================================================
4.69/4.77	c |         0 |    4350    11889    27145 |     5000        0    nan |  0.000 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c core #469
4.69/4.77	c Core size: 49	Core Weight: 1	Total Weight: 469
4.69/4.77	c Elapsed CPU time: 4.75328 s	Remaining CPU time: 1795.25 s
4.69/4.78	c ============================[ Search Statistics ]==============================
4.69/4.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.78	c ===============================================================================
4.69/4.78	c |         0 |    4362    11890    27169 |     5000        0    nan |  0.000 % |
4.69/4.79	c ===============================================================================
4.69/4.79	c core #470
4.69/4.79	c Core size: 55	Core Weight: 1	Total Weight: 470
4.69/4.79	c Elapsed CPU time: 4.77127 s	Remaining CPU time: 1795.23 s
4.79/4.80	c Learning 1 hard constraints
4.79/4.80	c ============================[ Search Statistics ]==============================
4.79/4.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.80	c ===============================================================================
4.79/4.80	c |         0 |    4376    11892    27201 |     5000        0    nan |  0.000 % |
4.79/4.80	c ===============================================================================
4.79/4.80	c core #471
4.79/4.80	c Core size: 37	Core Weight: 1	Total Weight: 471
4.79/4.80	c Elapsed CPU time: 4.78827 s	Remaining CPU time: 1795.21 s
4.79/4.82	c ============================[ Search Statistics ]==============================
4.79/4.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.82	c ===============================================================================
4.79/4.82	c |         0 |    4386    11893    27221 |     5000        0    nan |  0.000 % |
4.79/4.82	c ===============================================================================
4.79/4.82	c core #472
4.79/4.82	c Core size: 13	Core Weight: 1	Total Weight: 472
4.79/4.82	c Elapsed CPU time: 4.80427 s	Remaining CPU time: 1795.2 s
4.79/4.84	c ============================[ Search Statistics ]==============================
4.79/4.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.84	c ===============================================================================
4.79/4.84	c |         0 |    4392    11894    27233 |     5000        0    nan |  0.000 % |
4.79/4.84	c ===============================================================================
4.79/4.84	c core #473
4.79/4.84	c Core size: 13	Core Weight: 1	Total Weight: 473
4.79/4.84	c Elapsed CPU time: 4.82127 s	Remaining CPU time: 1795.18 s
4.79/4.85	c ============================[ Search Statistics ]==============================
4.79/4.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.85	c ===============================================================================
4.79/4.85	c |         0 |    4398    11895    27245 |     5000        0    nan |  0.000 % |
4.79/4.85	c ===============================================================================
4.79/4.85	c core #474
4.79/4.85	c Core size: 63	Core Weight: 1	Total Weight: 474
4.79/4.85	c Elapsed CPU time: 4.83726 s	Remaining CPU time: 1795.16 s
4.79/4.87	c Learning 1 hard constraints
4.79/4.87	c ============================[ Search Statistics ]==============================
4.79/4.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.87	c ===============================================================================
4.79/4.87	c |         0 |    4413    11897    27278 |     5000        0    nan |  0.000 % |
4.79/4.87	c ===============================================================================
4.79/4.87	c core #475
4.79/4.87	c Core size: 13	Core Weight: 1	Total Weight: 475
4.79/4.87	c Elapsed CPU time: 4.85526 s	Remaining CPU time: 1795.14 s
4.79/4.89	c ============================[ Search Statistics ]==============================
4.79/4.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.89	c ===============================================================================
4.79/4.89	c |         0 |    4419    11898    27290 |     5000        0    nan |  0.000 % |
4.79/4.89	c ===============================================================================
4.79/4.89	c core #476
4.79/4.89	c Core size: 17	Core Weight: 1	Total Weight: 476
4.79/4.89	c Elapsed CPU time: 4.87326 s	Remaining CPU time: 1795.13 s
4.89/4.91	c ============================[ Search Statistics ]==============================
4.89/4.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.91	c ===============================================================================
4.89/4.91	c |         0 |    4427    11899    27306 |     5000        0    nan |  0.000 % |
4.89/4.91	c ===============================================================================
4.89/4.91	c core #477
4.89/4.91	c Core size: 34	Core Weight: 1	Total Weight: 477
4.89/4.91	c Elapsed CPU time: 4.89126 s	Remaining CPU time: 1795.11 s
4.89/4.92	c ============================[ Search Statistics ]==============================
4.89/4.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.92	c ===============================================================================
4.89/4.92	c |         0 |    4436    11900    27324 |     5000        0    nan |  0.000 % |
4.89/4.93	c ===============================================================================
4.89/4.93	c core #478
4.89/4.93	c Core size: 15	Core Weight: 1	Total Weight: 478
4.89/4.93	c Elapsed CPU time: 4.90925 s	Remaining CPU time: 1795.09 s
4.89/4.94	c ============================[ Search Statistics ]==============================
4.89/4.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.94	c ===============================================================================
4.89/4.94	c |         0 |    4443    11901    27338 |     5000        0    nan |  0.000 % |
4.89/4.95	c ===============================================================================
4.89/4.95	c core #479
4.89/4.95	c Core size: 43	Core Weight: 1	Total Weight: 479
4.89/4.95	c Elapsed CPU time: 4.92825 s	Remaining CPU time: 1795.07 s
4.89/4.96	c ============================[ Search Statistics ]==============================
4.89/4.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.96	c ===============================================================================
4.89/4.96	c |         0 |    4457    11902    27366 |     5000        0    nan |  0.000 % |
4.89/4.96	c ===============================================================================
4.89/4.96	c core #480
4.89/4.96	c Core size: 38	Core Weight: 1	Total Weight: 480
4.89/4.96	c Elapsed CPU time: 4.94525 s	Remaining CPU time: 1795.05 s
4.89/4.98	c ============================[ Search Statistics ]==============================
4.89/4.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.98	c ===============================================================================
4.89/4.98	c |         0 |    4465    11903    27382 |     5000        0    nan |  0.000 % |
4.89/4.98	c ===============================================================================
4.89/4.98	c core #481
4.89/4.98	c Core size: 39	Core Weight: 1	Total Weight: 481
4.89/4.98	c Elapsed CPU time: 4.96225 s	Remaining CPU time: 1795.04 s
4.89/4.99	c Learning 1 hard constraints
4.89/4.99	c ============================[ Search Statistics ]==============================
4.89/4.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.99	c ===============================================================================
4.89/4.99	c |         0 |    4471    11905    27397 |     5000        0    nan |  0.000 % |
4.99/5.00	c ===============================================================================
4.99/5.00	c core #482
4.99/5.00	c Core size: 40	Core Weight: 1	Total Weight: 482
4.99/5.00	c Elapsed CPU time: 4.97924 s	Remaining CPU time: 1795.02 s
4.99/5.01	c ============================[ Search Statistics ]==============================
4.99/5.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.01	c ===============================================================================
4.99/5.01	c |         0 |    4479    11906    27413 |     5000        0    nan |  0.000 % |
4.99/5.02	c ===============================================================================
4.99/5.02	c core #483
4.99/5.02	c Core size: 43	Core Weight: 1	Total Weight: 483
4.99/5.02	c Elapsed CPU time: 4.99724 s	Remaining CPU time: 1795 s
4.99/5.03	c Learning 1 hard constraints
4.99/5.03	c ============================[ Search Statistics ]==============================
4.99/5.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.03	c ===============================================================================
4.99/5.03	c |         0 |    4487    11908    27434 |     5000        0    nan |  0.000 % |
4.99/5.03	c ===============================================================================
4.99/5.03	c core #484
4.99/5.03	c Core size: 39	Core Weight: 1	Total Weight: 484
4.99/5.03	c Elapsed CPU time: 5.01324 s	Remaining CPU time: 1794.99 s
4.99/5.05	c ============================[ Search Statistics ]==============================
4.99/5.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.05	c ===============================================================================
4.99/5.05	c |         0 |    4493    11909    27446 |     5000        0    nan |  0.000 % |
4.99/5.05	c ===============================================================================
4.99/5.05	c core #485
4.99/5.05	c Core size: 40	Core Weight: 1	Total Weight: 485
4.99/5.05	c Elapsed CPU time: 5.03024 s	Remaining CPU time: 1794.97 s
4.99/5.07	c Learning 1 hard constraints
4.99/5.07	c ============================[ Search Statistics ]==============================
4.99/5.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.07	c ===============================================================================
4.99/5.07	c |         0 |    4501    11911    27465 |     5000        0    nan |  0.000 % |
4.99/5.07	c ===============================================================================
4.99/5.07	c core #486
4.99/5.07	c Core size: 38	Core Weight: 1	Total Weight: 486
4.99/5.07	c Elapsed CPU time: 5.04823 s	Remaining CPU time: 1794.95 s
4.99/5.08	c Learning 1 hard constraints
4.99/5.08	c ============================[ Search Statistics ]==============================
4.99/5.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.08	c ===============================================================================
4.99/5.08	c |         0 |    4508    11913    27482 |     5000        0    nan |  0.000 % |
4.99/5.09	c ===============================================================================
4.99/5.09	c core #487
4.99/5.09	c Core size: 72	Core Weight: 1	Total Weight: 487
4.99/5.09	c Elapsed CPU time: 5.06623 s	Remaining CPU time: 1794.93 s
5.09/5.10	c Learning 2 hard constraints
5.09/5.10	c ============================[ Search Statistics ]==============================
5.09/5.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.10	c ===============================================================================
5.09/5.10	c |         0 |    4523    11916    27521 |     5000        0    nan |  0.000 % |
5.09/5.11	c ===============================================================================
5.09/5.11	c core #488
5.09/5.11	c Core size: 37	Core Weight: 1	Total Weight: 488
5.09/5.11	c Elapsed CPU time: 5.08423 s	Remaining CPU time: 1794.92 s
5.09/5.12	c ============================[ Search Statistics ]==============================
5.09/5.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.12	c ===============================================================================
5.09/5.12	c |         0 |    4533    11917    27541 |     5000        0    nan |  0.000 % |
5.09/5.12	c ===============================================================================
5.09/5.12	c core #489
5.09/5.12	c Core size: 58	Core Weight: 1	Total Weight: 489
5.09/5.12	c Elapsed CPU time: 5.10322 s	Remaining CPU time: 1794.9 s
5.09/5.14	c Learning 1 hard constraints
5.09/5.14	c ============================[ Search Statistics ]==============================
5.09/5.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.14	c ===============================================================================
5.09/5.14	c |         0 |    4550    11919    27577 |     5000        0    nan |  0.000 % |
5.09/5.14	c ===============================================================================
5.09/5.14	c core #490
5.09/5.14	c Core size: 12	Core Weight: 1	Total Weight: 490
5.09/5.14	c Elapsed CPU time: 5.12122 s	Remaining CPU time: 1794.88 s
5.09/5.16	c ============================[ Search Statistics ]==============================
5.09/5.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.16	c ===============================================================================
5.09/5.16	c |         0 |    4556    11920    27589 |     5000        0    nan |  0.000 % |
5.09/5.16	c ===============================================================================
5.09/5.16	c core #491
5.09/5.16	c Core size: 34	Core Weight: 1	Total Weight: 491
5.09/5.16	c Elapsed CPU time: 5.14022 s	Remaining CPU time: 1794.86 s
5.09/5.18	c ============================[ Search Statistics ]==============================
5.09/5.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.18	c ===============================================================================
5.09/5.18	c |         0 |    4565    11921    27607 |     5000        0    nan |  0.000 % |
5.09/5.18	c ===============================================================================
5.09/5.18	c core #492
5.09/5.18	c Core size: 33	Core Weight: 1	Total Weight: 492
5.09/5.18	c Elapsed CPU time: 5.15822 s	Remaining CPU time: 1794.84 s
5.09/5.19	c ============================[ Search Statistics ]==============================
5.09/5.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.09/5.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.09/5.19	c ===============================================================================
5.09/5.19	c |         0 |    4574    11922    27625 |     5000        0    nan |  0.000 % |
5.19/5.20	c ===============================================================================
5.19/5.20	c core #493
5.19/5.20	c Core size: 17	Core Weight: 1	Total Weight: 493
5.19/5.20	c Elapsed CPU time: 5.17621 s	Remaining CPU time: 1794.82 s
5.19/5.21	c ============================[ Search Statistics ]==============================
5.19/5.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.21	c ===============================================================================
5.19/5.21	c |         0 |    4582    11923    27641 |     5000        0    nan |  0.000 % |
5.19/5.22	c ===============================================================================
5.19/5.22	c core #494
5.19/5.22	c Core size: 17	Core Weight: 1	Total Weight: 494
5.19/5.22	c Elapsed CPU time: 5.19521 s	Remaining CPU time: 1794.8 s
5.19/5.23	c ============================[ Search Statistics ]==============================
5.19/5.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.23	c ===============================================================================
5.19/5.23	c |         0 |    4590    11924    27657 |     5000        0    nan |  0.000 % |
5.19/5.24	c ===============================================================================
5.19/5.24	c core #495
5.19/5.24	c Core size: 49	Core Weight: 1	Total Weight: 495
5.19/5.24	c Elapsed CPU time: 5.21521 s	Remaining CPU time: 1794.78 s
5.19/5.25	c ============================[ Search Statistics ]==============================
5.19/5.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.25	c ===============================================================================
5.19/5.25	c |         0 |    4602    11925    27681 |     5000        0    nan |  0.000 % |
5.19/5.26	c ===============================================================================
5.19/5.26	c core #496
5.19/5.26	c Core size: 13	Core Weight: 1	Total Weight: 496
5.19/5.26	c Elapsed CPU time: 5.2342 s	Remaining CPU time: 1794.77 s
5.19/5.27	c Learning 2 hard constraints
5.19/5.27	c ============================[ Search Statistics ]==============================
5.19/5.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.27	c ===============================================================================
5.19/5.27	c |         0 |    4608    11928    27707 |     5000        0    nan |  0.000 % |
5.19/5.27	c ===============================================================================
5.19/5.27	c core #497
5.19/5.27	c Core size: 13	Core Weight: 1	Total Weight: 497
5.19/5.27	c Elapsed CPU time: 5.2502 s	Remaining CPU time: 1794.75 s
5.19/5.29	c ============================[ Search Statistics ]==============================
5.19/5.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.29	c ===============================================================================
5.19/5.29	c |         0 |    4614    11929    27719 |     5000        0    nan |  0.000 % |
5.19/5.29	c ===============================================================================
5.19/5.29	c core #498
5.19/5.29	c Core size: 18	Core Weight: 1	Total Weight: 498
5.19/5.29	c Elapsed CPU time: 5.2662 s	Remaining CPU time: 1794.73 s
5.29/5.31	c ============================[ Search Statistics ]==============================
5.29/5.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.31	c ===============================================================================
5.29/5.31	c |         0 |    4623    11930    27737 |     5000        0    nan |  0.000 % |
5.29/5.31	c ===============================================================================
5.29/5.31	c core #499
5.29/5.31	c Core size: 37	Core Weight: 1	Total Weight: 499
5.29/5.31	c Elapsed CPU time: 5.2842 s	Remaining CPU time: 1794.72 s
5.29/5.32	c ============================[ Search Statistics ]==============================
5.29/5.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.32	c ===============================================================================
5.29/5.32	c |         0 |    4634    11931    27759 |     5000        0    nan |  0.000 % |
5.29/5.33	c ===============================================================================
5.29/5.33	c core #500
5.29/5.33	c Core size: 57	Core Weight: 1	Total Weight: 500
5.29/5.33	c Elapsed CPU time: 5.30119 s	Remaining CPU time: 1794.7 s
5.29/5.34	c ============================[ Search Statistics ]==============================
5.29/5.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.34	c ===============================================================================
5.29/5.34	c |         0 |    4652    11932    27795 |     5000        0    nan |  0.000 % |
5.29/5.34	c ===============================================================================
5.29/5.34	c core #501
5.29/5.34	c Core size: 49	Core Weight: 1	Total Weight: 501
5.29/5.34	c Elapsed CPU time: 5.32019 s	Remaining CPU time: 1794.68 s
5.29/5.36	c ============================[ Search Statistics ]==============================
5.29/5.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.36	c ===============================================================================
5.29/5.36	c |         0 |    4662    11933    27815 |     5000        0    nan |  0.000 % |
5.29/5.36	c ===============================================================================
5.29/5.36	c core #502
5.29/5.36	c Core size: 39	Core Weight: 1	Total Weight: 502
5.29/5.36	c Elapsed CPU time: 5.33819 s	Remaining CPU time: 1794.66 s
5.29/5.38	c ============================[ Search Statistics ]==============================
5.29/5.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.38	c ===============================================================================
5.29/5.38	c |         0 |    4669    11934    27829 |     5000        0    nan |  0.000 % |
5.29/5.38	c ===============================================================================
5.29/5.38	c core #503
5.29/5.38	c Core size: 71	Core Weight: 1	Total Weight: 503
5.29/5.38	c Elapsed CPU time: 5.35618 s	Remaining CPU time: 1794.64 s
5.29/5.40	c Learning 2 hard constraints
5.29/5.40	c ============================[ Search Statistics ]==============================
5.29/5.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.40	c ===============================================================================
5.29/5.40	c |         0 |    4684    11937    27867 |     5000        0    nan |  0.000 % |
5.39/5.40	c ===============================================================================
5.39/5.40	c core #504
5.39/5.40	c Core size: 42	Core Weight: 1	Total Weight: 504
5.39/5.40	c Elapsed CPU time: 5.37418 s	Remaining CPU time: 1794.63 s
5.39/5.41	c ============================[ Search Statistics ]==============================
5.39/5.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.39/5.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.39/5.41	c ===============================================================================
5.39/5.41	c |         0 |    4691    11938    27881 |     5000        0    nan |  0.000 % |
5.39/5.42	c ===============================================================================
5.39/5.42	c core #505
5.39/5.42	c Core size: 39	Core Weight: 1	Total Weight: 505
5.39/5.42	c Elapsed CPU time: 5.39218 s	Remaining CPU time: 1794.61 s
5.39/5.43	c ============================[ Search Statistics ]==============================
5.39/5.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.39/5.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.39/5.43	c ===============================================================================
5.39/5.43	c |         0 |    4697    11939    27893 |     5000        0    nan |  0.000 % |
5.39/5.44	c ===============================================================================
5.39/5.44	c core #506
5.39/5.44	c Core size: 43	Core Weight: 1	Total Weight: 506
5.39/5.44	c Elapsed CPU time: 5.41018 s	Remaining CPU time: 1794.59 s
5.39/5.45	c Learning 1 hard constraints
5.39/5.45	c ============================[ Search Statistics ]==============================
5.39/5.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.39/5.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.39/5.45	c ===============================================================================
5.39/5.45	c |         0 |    4705    11941    27912 |     5000        0    nan |  0.000 % |
5.39/5.45	c ===============================================================================
5.39/5.45	c core #507
5.39/5.45	c Core size: 43	Core Weight: 1	Total Weight: 507
5.39/5.45	c Elapsed CPU time: 5.42917 s	Remaining CPU time: 1794.57 s
5.39/5.47	c Learning 1 hard constraints
5.39/5.47	c ============================[ Search Statistics ]==============================
5.39/5.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.39/5.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.39/5.47	c ===============================================================================
5.39/5.47	c |         0 |    4715    11943    27936 |     5000        0    nan |  0.000 % |
5.39/5.47	c ===============================================================================
5.39/5.47	c core #508
5.39/5.47	c Core size: 34	Core Weight: 1	Total Weight: 508
5.39/5.47	c Elapsed CPU time: 5.44817 s	Remaining CPU time: 1794.55 s
5.39/5.49	c ============================[ Search Statistics ]==============================
5.39/5.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.39/5.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.39/5.49	c ===============================================================================
5.39/5.49	c |         0 |    4724    11944    27954 |     5000        0    nan |  0.000 % |
5.39/5.49	c ===============================================================================
5.39/5.49	c core #509
5.39/5.49	c Core size: 62	Core Weight: 1	Total Weight: 509
5.39/5.49	c Elapsed CPU time: 5.46617 s	Remaining CPU time: 1794.53 s
5.49/5.51	c Learning 1 hard constraints
5.49/5.51	c ============================[ Search Statistics ]==============================
5.49/5.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.51	c ===============================================================================
5.49/5.51	c |         0 |    4742    11946    27996 |     5000        0    nan |  0.000 % |
5.49/5.51	c ===============================================================================
5.49/5.51	c core #510
5.49/5.51	c Core size: 39	Core Weight: 1	Total Weight: 510
5.49/5.51	c Elapsed CPU time: 5.48517 s	Remaining CPU time: 1794.51 s
5.49/5.53	c ============================[ Search Statistics ]==============================
5.49/5.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.53	c ===============================================================================
5.49/5.53	c |         0 |    4758    11947    28028 |     5000        0    nan |  0.000 % |
5.49/5.53	c ===============================================================================
5.49/5.53	c core #511
5.49/5.53	c Core size: 13	Core Weight: 1	Total Weight: 511
5.49/5.53	c Elapsed CPU time: 5.50416 s	Remaining CPU time: 1794.5 s
5.49/5.55	c ============================[ Search Statistics ]==============================
5.49/5.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.55	c ===============================================================================
5.49/5.55	c |         0 |    4764    11948    28040 |     5000        0    nan |  0.000 % |
5.49/5.55	c ===============================================================================
5.49/5.55	c core #512
5.49/5.55	c Core size: 40	Core Weight: 1	Total Weight: 512
5.49/5.55	c Elapsed CPU time: 5.52316 s	Remaining CPU time: 1794.48 s
5.49/5.57	c Learning 2 hard constraints
5.49/5.57	c ============================[ Search Statistics ]==============================
5.49/5.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.57	c ===============================================================================
5.49/5.57	c |         0 |    4772    11951    28067 |     5000        0    nan |  0.000 % |
5.49/5.57	c ===============================================================================
5.49/5.57	c core #513
5.49/5.57	c Core size: 42	Core Weight: 1	Total Weight: 513
5.49/5.57	c Elapsed CPU time: 5.54216 s	Remaining CPU time: 1794.46 s
5.49/5.58	c ============================[ Search Statistics ]==============================
5.49/5.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.58	c ===============================================================================
5.49/5.58	c |         0 |    4781    11952    28085 |     5000        0    nan |  0.000 % |
5.49/5.59	c ===============================================================================
5.49/5.59	c core #514
5.49/5.59	c Core size: 37	Core Weight: 1	Total Weight: 514
5.49/5.59	c Elapsed CPU time: 5.56215 s	Remaining CPU time: 1794.44 s
5.58/5.60	c Learning 1 hard constraints
5.58/5.60	c ============================[ Search Statistics ]==============================
5.58/5.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.58/5.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.58/5.60	c ===============================================================================
5.58/5.60	c |         0 |    4788    11954    28103 |     5000        0    nan |  0.000 % |
5.58/5.61	c ===============================================================================
5.58/5.61	c core #515
5.58/5.61	c Core size: 42	Core Weight: 1	Total Weight: 515
5.58/5.61	c Elapsed CPU time: 5.58215 s	Remaining CPU time: 1794.42 s
5.58/5.62	c Learning 3 hard constraints
5.58/5.62	c ============================[ Search Statistics ]==============================
5.58/5.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.58/5.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.58/5.62	c ===============================================================================
5.58/5.62	c |         0 |    4795    11958    28130 |     5000        0    nan |  0.000 % |
5.58/5.63	c ===============================================================================
5.58/5.63	c core #516
5.58/5.63	c Core size: 34	Core Weight: 1	Total Weight: 516
5.58/5.63	c Elapsed CPU time: 5.60015 s	Remaining CPU time: 1794.4 s
5.58/5.64	c ============================[ Search Statistics ]==============================
5.58/5.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.58/5.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.58/5.64	c ===============================================================================
5.58/5.64	c |         0 |    4804    11959    28148 |     5000        0    nan |  0.000 % |
5.58/5.65	c ===============================================================================
5.58/5.65	c core #517
5.58/5.65	c Core size: 43	Core Weight: 1	Total Weight: 517
5.58/5.65	c Elapsed CPU time: 5.61914 s	Remaining CPU time: 1794.38 s
5.58/5.66	c Learning 1 hard constraints
5.58/5.66	c ============================[ Search Statistics ]==============================
5.58/5.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.58/5.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.58/5.66	c ===============================================================================
5.58/5.66	c |         0 |    4813    11961    28173 |     5000        0    nan |  0.000 % |
5.58/5.66	c ===============================================================================
5.58/5.66	c core #518
5.58/5.66	c Core size: 38	Core Weight: 1	Total Weight: 518
5.58/5.66	c Elapsed CPU time: 5.63714 s	Remaining CPU time: 1794.36 s
5.58/5.68	c Learning 1 hard constraints
5.58/5.68	c ============================[ Search Statistics ]==============================
5.58/5.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.58/5.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.58/5.68	c ===============================================================================
5.58/5.68	c |         0 |    4820    11963    28191 |     5000        0    nan |  0.000 % |
5.58/5.68	c ===============================================================================
5.58/5.68	c core #519
5.58/5.68	c Core size: 42	Core Weight: 1	Total Weight: 519
5.58/5.68	c Elapsed CPU time: 5.65614 s	Remaining CPU time: 1794.34 s
5.68/5.70	c ============================[ Search Statistics ]==============================
5.68/5.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.70	c ===============================================================================
5.68/5.70	c |         0 |    4828    11964    28207 |     5000        0    nan |  0.000 % |
5.68/5.70	c ===============================================================================
5.68/5.70	c core #520
5.68/5.70	c Core size: 43	Core Weight: 1	Total Weight: 520
5.68/5.70	c Elapsed CPU time: 5.67514 s	Remaining CPU time: 1794.32 s
5.68/5.72	c Learning 1 hard constraints
5.68/5.72	c ============================[ Search Statistics ]==============================
5.68/5.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.72	c ===============================================================================
5.68/5.72	c |         0 |    4837    11966    28229 |     5000        0    nan |  0.000 % |
5.68/5.72	c ===============================================================================
5.68/5.72	c core #521
5.68/5.72	c Core size: 17	Core Weight: 1	Total Weight: 521
5.68/5.72	c Elapsed CPU time: 5.69513 s	Remaining CPU time: 1794.3 s
5.68/5.74	c ============================[ Search Statistics ]==============================
5.68/5.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.74	c ===============================================================================
5.68/5.74	c |         0 |    4845    11967    28245 |     5000        0    nan |  0.000 % |
5.68/5.74	c ===============================================================================
5.68/5.74	c core #522
5.68/5.74	c Core size: 17	Core Weight: 1	Total Weight: 522
5.68/5.74	c Elapsed CPU time: 5.71413 s	Remaining CPU time: 1794.29 s
5.68/5.76	c ============================[ Search Statistics ]==============================
5.68/5.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.76	c ===============================================================================
5.68/5.76	c |         0 |    4853    11968    28261 |     5000        0    nan |  0.000 % |
5.68/5.76	c ===============================================================================
5.68/5.76	c core #523
5.68/5.76	c Core size: 17	Core Weight: 1	Total Weight: 523
5.68/5.76	c Elapsed CPU time: 5.73313 s	Remaining CPU time: 1794.27 s
5.68/5.78	c ============================[ Search Statistics ]==============================
5.68/5.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.78	c ===============================================================================
5.68/5.78	c |         0 |    4861    11969    28277 |     5000        0    nan |  0.000 % |
5.68/5.78	c ===============================================================================
5.68/5.78	c core #524
5.68/5.78	c Core size: 13	Core Weight: 1	Total Weight: 524
5.68/5.78	c Elapsed CPU time: 5.75312 s	Remaining CPU time: 1794.25 s
5.79/5.80	c ============================[ Search Statistics ]==============================
5.79/5.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.80	c ===============================================================================
5.79/5.80	c |         0 |    4867    11970    28289 |     5000        0    nan |  0.000 % |
5.79/5.80	c ===============================================================================
5.79/5.80	c core #525
5.79/5.80	c Core size: 55	Core Weight: 1	Total Weight: 525
5.79/5.80	c Elapsed CPU time: 5.77112 s	Remaining CPU time: 1794.23 s
5.79/5.82	c ============================[ Search Statistics ]==============================
5.79/5.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.82	c ===============================================================================
5.79/5.82	c |         0 |    4882    11971    28319 |     5000        0    nan |  0.000 % |
5.79/5.82	c ===============================================================================
5.79/5.82	c core #526
5.79/5.82	c Core size: 13	Core Weight: 1	Total Weight: 526
5.79/5.82	c Elapsed CPU time: 5.79212 s	Remaining CPU time: 1794.21 s
5.79/5.84	c ============================[ Search Statistics ]==============================
5.79/5.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.84	c ===============================================================================
5.79/5.84	c |         0 |    4888    11972    28331 |     5000        0    nan |  0.000 % |
5.79/5.84	c ===============================================================================
5.79/5.84	c core #527
5.79/5.84	c Core size: 63	Core Weight: 1	Total Weight: 527
5.79/5.84	c Elapsed CPU time: 5.81412 s	Remaining CPU time: 1794.19 s
5.79/5.86	c ============================[ Search Statistics ]==============================
5.79/5.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.86	c ===============================================================================
5.79/5.86	c |         0 |    4907    11973    28369 |     5000        0    nan |  0.000 % |
5.79/5.86	c ===============================================================================
5.79/5.86	c core #528
5.79/5.86	c Core size: 81	Core Weight: 1	Total Weight: 528
5.79/5.86	c Elapsed CPU time: 5.83411 s	Remaining CPU time: 1794.17 s
5.79/5.88	c Learning 1 hard constraints
5.79/5.88	c ============================[ Search Statistics ]==============================
5.79/5.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.79/5.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.79/5.88	c ===============================================================================
5.79/5.88	c |         0 |    4923    11975    28405 |     5000        0    nan |  0.000 % |
5.79/5.88	c ===============================================================================
5.79/5.88	c core #529
5.79/5.88	c Core size: 44	Core Weight: 1	Total Weight: 529
5.79/5.88	c Elapsed CPU time: 5.85511 s	Remaining CPU time: 1794.14 s
5.89/5.90	c Learning 1 hard constraints
5.89/5.90	c ============================[ Search Statistics ]==============================
5.89/5.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.90	c ===============================================================================
5.89/5.90	c |         0 |    4933    11977    28428 |     5000        0    nan |  0.000 % |
5.89/5.90	c ===============================================================================
5.89/5.90	c core #530
5.89/5.90	c Core size: 13	Core Weight: 1	Total Weight: 530
5.89/5.90	c Elapsed CPU time: 5.87311 s	Remaining CPU time: 1794.13 s
5.89/5.92	c ============================[ Search Statistics ]==============================
5.89/5.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.92	c ===============================================================================
5.89/5.92	c |         0 |    4939    11978    28440 |     5000        0    nan |  0.000 % |
5.89/5.93	c ===============================================================================
5.89/5.93	c core #531
5.89/5.93	c Core size: 48	Core Weight: 1	Total Weight: 531
5.89/5.93	c Elapsed CPU time: 5.8941 s	Remaining CPU time: 1794.11 s
5.89/5.94	c ============================[ Search Statistics ]==============================
5.89/5.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.94	c ===============================================================================
5.89/5.94	c |         0 |    4949    11979    28460 |     5000        0    nan |  0.000 % |
5.89/5.95	c ===============================================================================
5.89/5.95	c core #532
5.89/5.95	c Core size: 38	Core Weight: 1	Total Weight: 532
5.89/5.95	c Elapsed CPU time: 5.9141 s	Remaining CPU time: 1794.09 s
5.89/5.96	c ============================[ Search Statistics ]==============================
5.89/5.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.96	c ===============================================================================
5.89/5.96	c |         0 |    4957    11980    28476 |     5000        0    nan |  0.000 % |
5.89/5.97	c ===============================================================================
5.89/5.97	c core #533
5.89/5.97	c Core size: 23	Core Weight: 1	Total Weight: 533
5.89/5.97	c Elapsed CPU time: 5.9341 s	Remaining CPU time: 1794.07 s
5.89/5.98	c ============================[ Search Statistics ]==============================
5.89/5.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.98	c ===============================================================================
5.89/5.98	c |         0 |    4967    11981    28496 |     5000        0    nan |  0.000 % |
5.89/5.99	c ===============================================================================
5.89/5.99	c core #534
5.89/5.99	c Core size: 32	Core Weight: 1	Total Weight: 534
5.89/5.99	c Elapsed CPU time: 5.95409 s	Remaining CPU time: 1794.05 s
5.99/6.00	c Learning 1 hard constraints
5.99/6.00	c ============================[ Search Statistics ]==============================
5.99/6.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.00	c ===============================================================================
5.99/6.00	c |         0 |    4972    11983    28509 |     5000        0    nan |  0.000 % |
5.99/6.01	c ===============================================================================
5.99/6.01	c core #535
5.99/6.01	c Core size: 40	Core Weight: 1	Total Weight: 535
5.99/6.01	c Elapsed CPU time: 5.97509 s	Remaining CPU time: 1794.02 s
5.99/6.03	c Learning 1 hard constraints
5.99/6.03	c ============================[ Search Statistics ]==============================
5.99/6.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.03	c ===============================================================================
5.99/6.03	c |         0 |    4979    11985    28527 |     5000        0    nan |  0.000 % |
5.99/6.03	c ===============================================================================
5.99/6.03	c core #536
5.99/6.03	c Core size: 42	Core Weight: 1	Total Weight: 536
5.99/6.03	c Elapsed CPU time: 5.99309 s	Remaining CPU time: 1794.01 s
5.99/6.05	c Learning 1 hard constraints
5.99/6.05	c ============================[ Search Statistics ]==============================
5.99/6.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.05	c ===============================================================================
5.99/6.05	c |         0 |    4986    11987    28544 |     5000        0    nan |  0.000 % |
5.99/6.05	c ===============================================================================
5.99/6.05	c core #537
5.99/6.05	c Core size: 43	Core Weight: 1	Total Weight: 537
5.99/6.05	c Elapsed CPU time: 6.01408 s	Remaining CPU time: 1793.99 s
5.99/6.07	c ============================[ Search Statistics ]==============================
5.99/6.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.07	c ===============================================================================
5.99/6.07	c |         0 |    4995    11988    28562 |     5000        0    nan |  0.000 % |
5.99/6.07	c ===============================================================================
5.99/6.07	c core #538
5.99/6.07	c Core size: 51	Core Weight: 1	Total Weight: 538
5.99/6.07	c Elapsed CPU time: 6.03508 s	Remaining CPU time: 1793.96 s
5.99/6.09	c Learning 3 hard constraints
5.99/6.09	c ============================[ Search Statistics ]==============================
5.99/6.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.09	c ===============================================================================
5.99/6.09	c |         0 |    5011    11992    28611 |     5000        0    nan |  0.000 % |
5.99/6.10	c ===============================================================================
5.99/6.10	c core #539
5.99/6.10	c Core size: 47	Core Weight: 1	Total Weight: 539
5.99/6.10	c Elapsed CPU time: 6.05808 s	Remaining CPU time: 1793.94 s
6.08/6.11	c Learning 1 hard constraints
6.08/6.11	c ============================[ Search Statistics ]==============================
6.08/6.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.08/6.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.08/6.11	c ===============================================================================
6.08/6.11	c |         0 |    5022    11994    28638 |     5000        0    nan |  0.000 % |
6.08/6.12	c ===============================================================================
6.08/6.12	c core #540
6.08/6.12	c Core size: 54	Core Weight: 1	Total Weight: 540
6.08/6.12	c Elapsed CPU time: 6.07808 s	Remaining CPU time: 1793.92 s
6.08/6.13	c Learning 1 hard constraints
6.08/6.13	c ============================[ Search Statistics ]==============================
6.08/6.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.08/6.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.08/6.13	c ===============================================================================
6.08/6.13	c |         0 |    5034    11996    28665 |     5000        0    nan |  0.000 % |
6.08/6.14	c ===============================================================================
6.08/6.14	c core #541
6.08/6.14	c Core size: 46	Core Weight: 1	Total Weight: 541
6.08/6.14	c Elapsed CPU time: 6.09707 s	Remaining CPU time: 1793.9 s
6.08/6.15	c ============================[ Search Statistics ]==============================
6.08/6.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.08/6.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.08/6.15	c ===============================================================================
6.08/6.15	c |         0 |    5043    11997    28683 |     5000        0    nan |  0.000 % |
6.08/6.16	c ===============================================================================
6.08/6.16	c core #542
6.08/6.16	c Core size: 53	Core Weight: 1	Total Weight: 542
6.08/6.16	c Elapsed CPU time: 6.11707 s	Remaining CPU time: 1793.88 s
6.08/6.17	c Learning 1 hard constraints
6.08/6.17	c ============================[ Search Statistics ]==============================
6.08/6.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.08/6.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.08/6.17	c ===============================================================================
6.08/6.17	c |         0 |    5054    11999    28708 |     5000        0    nan |  0.000 % |
6.08/6.18	c ===============================================================================
6.08/6.18	c core #543
6.08/6.18	c Core size: 45	Core Weight: 1	Total Weight: 543
6.08/6.18	c Elapsed CPU time: 6.13407 s	Remaining CPU time: 1793.87 s
6.08/6.19	c Learning 3 hard constraints
6.08/6.19	c ============================[ Search Statistics ]==============================
6.08/6.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.08/6.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.08/6.19	c ===============================================================================
6.08/6.19	c |         0 |    5067    12003    28751 |     5000        0    nan |  0.000 % |
6.08/6.20	c ===============================================================================
6.08/6.20	c core #544
6.08/6.20	c Core size: 55	Core Weight: 1	Total Weight: 544
6.08/6.20	c Elapsed CPU time: 6.15406 s	Remaining CPU time: 1793.85 s
6.19/6.21	c Learning 2 hard constraints
6.19/6.21	c ============================[ Search Statistics ]==============================
6.19/6.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.21	c ===============================================================================
6.19/6.21	c |         0 |    5077    12006    28777 |     5000        0    nan |  0.000 % |
6.19/6.22	c ===============================================================================
6.19/6.22	c core #545
6.19/6.22	c Core size: 40	Core Weight: 1	Total Weight: 545
6.19/6.22	c Elapsed CPU time: 6.17406 s	Remaining CPU time: 1793.83 s
6.19/6.23	c Learning 2 hard constraints
6.19/6.23	c ============================[ Search Statistics ]==============================
6.19/6.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.23	c ===============================================================================
6.19/6.23	c |         0 |    5085    12009    28803 |     5000        0    nan |  0.000 % |
6.19/6.23	c ===============================================================================
6.19/6.24	c core #546
6.19/6.24	c Core size: 44	Core Weight: 1	Total Weight: 546
6.19/6.24	c Elapsed CPU time: 6.19406 s	Remaining CPU time: 1793.81 s
6.19/6.25	c Learning 5 hard constraints
6.19/6.25	c ============================[ Search Statistics ]==============================
6.19/6.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.25	c ===============================================================================
6.19/6.25	c |         0 |    5097    12015    28851 |     5000        0    nan |  0.000 % |
6.19/6.26	c ===============================================================================
6.19/6.26	c core #547
6.19/6.26	c Core size: 116	Core Weight: 1	Total Weight: 547
6.19/6.26	c Elapsed CPU time: 6.21605 s	Remaining CPU time: 1793.78 s
6.19/6.27	c Learning 2 hard constraints
6.19/6.27	c ============================[ Search Statistics ]==============================
6.19/6.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.27	c ===============================================================================
6.19/6.27	c |         0 |    5125    12018    28915 |     5000        0    nan |  0.000 % |
6.19/6.28	c ===============================================================================
6.19/6.28	c core #548
6.19/6.28	c Core size: 58	Core Weight: 1	Total Weight: 548
6.19/6.28	c Elapsed CPU time: 6.23605 s	Remaining CPU time: 1793.76 s
6.19/6.29	c Learning 2 hard constraints
6.19/6.29	c ============================[ Search Statistics ]==============================
6.19/6.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.29	c ===============================================================================
6.19/6.29	c |         0 |    5139    12021    28950 |     5000        0    nan |  0.000 % |
6.29/6.30	c ===============================================================================
6.29/6.30	c core #549
6.29/6.30	c Core size: 179	Core Weight: 1	Total Weight: 549
6.29/6.30	c Elapsed CPU time: 6.26205 s	Remaining CPU time: 1793.74 s
6.29/6.32	c Learning 1 hard constraints
6.29/6.32	c ============================[ Search Statistics ]==============================
6.29/6.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.32	c ===============================================================================
6.29/6.32	c |         0 |    5187    12023    29050 |     5000        0    nan |  0.000 % |
6.29/6.33	c ===============================================================================
6.29/6.33	c core #550
6.29/6.33	c Core size: 64	Core Weight: 1	Total Weight: 550
6.29/6.33	c Elapsed CPU time: 6.28304 s	Remaining CPU time: 1793.72 s
6.29/6.34	c Learning 1 hard constraints
6.29/6.34	c ============================[ Search Statistics ]==============================
6.29/6.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.34	c ===============================================================================
6.29/6.34	c |         0 |    5202    12025    29084 |     5000        0    nan |  0.000 % |
6.29/6.35	c ===============================================================================
6.29/6.35	c core #551
6.29/6.35	c Core size: 116	Core Weight: 1	Total Weight: 551
6.29/6.35	c Elapsed CPU time: 6.30604 s	Remaining CPU time: 1793.69 s
6.29/6.37	c Learning 1 hard constraints
6.29/6.37	c ============================[ Search Statistics ]==============================
6.29/6.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.37	c ===============================================================================
6.29/6.37	c |         0 |    5235    12027    29153 |     5000        0    nan |  0.000 % |
6.29/6.37	c ===============================================================================
6.29/6.37	c core #552
6.29/6.37	c Core size: 150	Core Weight: 1	Total Weight: 552
6.29/6.37	c Elapsed CPU time: 6.33004 s	Remaining CPU time: 1793.67 s
6.29/6.39	c Learning 6 hard constraints
6.29/6.39	c ============================[ Search Statistics ]==============================
6.29/6.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.39	c ===============================================================================
6.29/6.39	c |         0 |    5249    12034    29204 |     5000        0    nan |  0.000 % |
6.39/6.40	c ===============================================================================
6.39/6.40	c core #553
6.39/6.40	c Core size: 112	Core Weight: 1	Total Weight: 553
6.39/6.40	c Elapsed CPU time: 6.35603 s	Remaining CPU time: 1793.64 s
6.39/6.42	c Learning 4 hard constraints
6.39/6.42	c ============================[ Search Statistics ]==============================
6.39/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.42	c ===============================================================================
6.39/6.42	c |         0 |    5266    12039    29248 |     5000        0    nan |  0.000 % |
6.39/6.43	c ===============================================================================
6.39/6.43	c core #554
6.39/6.43	c Core size: 94	Core Weight: 1	Total Weight: 554
6.39/6.43	c Elapsed CPU time: 6.38103 s	Remaining CPU time: 1793.62 s
6.39/6.45	c Learning 3 hard constraints
6.39/6.45	c ============================[ Search Statistics ]==============================
6.39/6.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.45	c ===============================================================================
6.39/6.45	c |         0 |    5283    12043    29292 |     5000        0    nan |  0.000 % |
6.39/6.45	c ===============================================================================
6.39/6.45	c core #555
6.39/6.45	c Core size: 51	Core Weight: 1	Total Weight: 555
6.39/6.45	c Elapsed CPU time: 6.40603 s	Remaining CPU time: 1793.59 s
6.39/6.47	c Learning 1 hard constraints
6.39/6.47	c ============================[ Search Statistics ]==============================
6.39/6.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.47	c ===============================================================================
6.39/6.47	c |         0 |    5295    12045    29321 |     5000        0    nan |  0.000 % |
6.39/6.48	c ===============================================================================
6.39/6.48	c core #556
6.39/6.48	c Core size: 55	Core Weight: 1	Total Weight: 556
6.39/6.48	c Elapsed CPU time: 6.43102 s	Remaining CPU time: 1793.57 s
6.39/6.50	c Learning 4 hard constraints
6.39/6.50	c ============================[ Search Statistics ]==============================
6.39/6.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.50	c ===============================================================================
6.39/6.50	c |         0 |    5308    12050    29369 |     5000        0    nan |  0.000 % |
6.50/6.51	c ===============================================================================
6.50/6.51	c core #557
6.50/6.51	c Core size: 64	Core Weight: 1	Total Weight: 557
6.50/6.51	c Elapsed CPU time: 6.45602 s	Remaining CPU time: 1793.54 s
6.50/6.52	c Learning 2 hard constraints
6.50/6.52	c ============================[ Search Statistics ]==============================
6.50/6.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.52	c ===============================================================================
6.50/6.52	c |         0 |    5325    12053    29415 |     5000        0    nan |  0.000 % |
6.50/6.53	c ===============================================================================
6.50/6.53	c core #558
6.50/6.53	c Core size: 65	Core Weight: 1	Total Weight: 558
6.50/6.53	c Elapsed CPU time: 6.48101 s	Remaining CPU time: 1793.52 s
6.50/6.55	c ============================[ Search Statistics ]==============================
6.50/6.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.55	c ===============================================================================
6.50/6.55	c |         0 |    5337    12054    29439 |     5000        0    nan |  0.000 % |
6.50/6.56	c ===============================================================================
6.50/6.56	c core #559
6.50/6.56	c Core size: 75	Core Weight: 1	Total Weight: 559
6.50/6.56	c Elapsed CPU time: 6.50901 s	Remaining CPU time: 1793.49 s
6.50/6.57	c Learning 1 hard constraints
6.50/6.57	c ============================[ Search Statistics ]==============================
6.50/6.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.57	c ===============================================================================
6.50/6.57	c |         0 |    5351    12056    29474 |     5000        0    nan |  0.000 % |
6.50/6.58	c ===============================================================================
6.50/6.59	c core #560
6.50/6.59	c Core size: 152	Core Weight: 1	Total Weight: 560
6.50/6.59	c Elapsed CPU time: 6.53501 s	Remaining CPU time: 1793.46 s
6.60/6.60	c Learning 4 hard constraints
6.60/6.60	c ============================[ Search Statistics ]==============================
6.60/6.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.60	c ===============================================================================
6.60/6.60	c |         0 |    5375    12061    29540 |     5000        0    nan |  0.000 % |
6.60/6.61	c ===============================================================================
6.60/6.61	c core #561
6.60/6.61	c Core size: 112	Core Weight: 1	Total Weight: 561
6.60/6.61	c Elapsed CPU time: 6.56 s	Remaining CPU time: 1793.44 s
6.60/6.63	c Learning 1 hard constraints
6.60/6.63	c ============================[ Search Statistics ]==============================
6.60/6.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.63	c ===============================================================================
6.60/6.63	c |         0 |    5392    12063    29576 |     5000        0    nan |  0.000 % |
6.60/6.64	c ===============================================================================
6.60/6.64	c core #562
6.60/6.64	c Core size: 163	Core Weight: 1	Total Weight: 562
6.60/6.64	c Elapsed CPU time: 6.584 s	Remaining CPU time: 1793.42 s
6.60/6.65	c Learning 1 hard constraints
6.60/6.65	c ============================[ Search Statistics ]==============================
6.60/6.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.65	c ===============================================================================
6.60/6.65	c |         0 |    5422    12065    29642 |     5000        0    nan |  0.000 % |
6.60/6.67	c ===============================================================================
6.60/6.67	c core #563
6.60/6.67	c Core size: 82	Core Weight: 1	Total Weight: 563
6.60/6.67	c Elapsed CPU time: 6.61199 s	Remaining CPU time: 1793.39 s
6.60/6.68	c ============================[ Search Statistics ]==============================
6.60/6.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.68	c ===============================================================================
6.60/6.68	c |         0 |    5439    12066    29676 |     5000        0    nan |  0.000 % |
6.60/6.69	c ===============================================================================
6.60/6.69	c core #564
6.60/6.69	c Core size: 152	Core Weight: 1	Total Weight: 564
6.60/6.69	c Elapsed CPU time: 6.63699 s	Remaining CPU time: 1793.36 s
6.69/6.71	c Learning 3 hard constraints
6.69/6.71	c ============================[ Search Statistics ]==============================
6.69/6.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.69/6.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.69/6.71	c ===============================================================================
6.69/6.71	c |         0 |    5470    12070    29748 |     5000        0    nan |  0.000 % |
6.69/6.72	c ===============================================================================
6.69/6.72	c core #565
6.69/6.72	c Core size: 27	Core Weight: 1	Total Weight: 565
6.69/6.72	c Elapsed CPU time: 6.66199 s	Remaining CPU time: 1793.34 s
6.69/6.73	c ============================[ Search Statistics ]==============================
6.69/6.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.69/6.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.69/6.73	c ===============================================================================
6.69/6.73	c |         0 |    5482    12071    29772 |     5000        0    nan |  0.000 % |
6.69/6.74	c ===============================================================================
6.69/6.74	c core #566
6.69/6.74	c Core size: 98	Core Weight: 1	Total Weight: 566
6.69/6.74	c Elapsed CPU time: 6.68698 s	Remaining CPU time: 1793.31 s
6.69/6.76	c Learning 2 hard constraints
6.69/6.76	c ============================[ Search Statistics ]==============================
6.69/6.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.69/6.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.69/6.76	c ===============================================================================
6.69/6.76	c |         0 |    5504    12074    29823 |     5000        0    nan |  0.000 % |
6.69/6.77	c ===============================================================================
6.69/6.77	c core #567
6.69/6.77	c Core size: 94	Core Weight: 1	Total Weight: 567
6.69/6.77	c Elapsed CPU time: 6.71498 s	Remaining CPU time: 1793.29 s
6.69/6.79	c Learning 5 hard constraints
6.69/6.79	c ============================[ Search Statistics ]==============================
6.69/6.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.69/6.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.69/6.79	c ===============================================================================
6.69/6.79	c |         0 |    5527    12080    29902 |     5000        0    nan |  0.000 % |
6.69/6.79	c ===============================================================================
6.69/6.79	c core #568
6.69/6.79	c Core size: 91	Core Weight: 1	Total Weight: 568
6.69/6.79	c Elapsed CPU time: 6.73798 s	Remaining CPU time: 1793.26 s
6.78/6.81	c ============================[ Search Statistics ]==============================
6.78/6.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.81	c ===============================================================================
6.78/6.81	c |         0 |    5553    12081    29954 |     5000        0    nan |  0.000 % |
6.78/6.82	c |       100 |    5543    12081    29954 |     5500      100      8 |  0.468 % |
6.78/6.82	c ===============================================================================
6.78/6.82	c core #569
6.78/6.82	c Core size: 138	Core Weight: 1	Total Weight: 569
6.78/6.82	c Elapsed CPU time: 6.76697 s	Remaining CPU time: 1793.23 s
6.78/6.84	c Learning 1 hard constraints
6.78/6.84	c ============================[ Search Statistics ]==============================
6.78/6.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.84	c ===============================================================================
6.78/6.84	c |         0 |    5584    12083    30022 |     5000        0    nan |  0.000 % |
6.78/6.85	c |       100 |    5582    12083    30022 |     5500      100     14 |  0.322 % |
6.78/6.85	c ===============================================================================
6.78/6.85	c core #570
6.78/6.85	c Core size: 139	Core Weight: 1	Total Weight: 570
6.78/6.85	c Elapsed CPU time: 6.79497 s	Remaining CPU time: 1793.21 s
6.78/6.87	c ============================[ Search Statistics ]==============================
6.78/6.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.87	c ===============================================================================
6.78/6.87	c |         0 |    5615    12084    30084 |     5000        0    nan |  0.000 % |
6.78/6.88	c |       100 |    5614    12084    30084 |     5500      100     16 |  0.249 % |
6.78/6.89	c ===============================================================================
6.78/6.89	c core #571
6.78/6.89	c Core size: 196	Core Weight: 1	Total Weight: 571
6.78/6.89	c Elapsed CPU time: 6.82796 s	Remaining CPU time: 1793.17 s
6.89/6.90	c Learning 2 hard constraints
6.89/6.90	c ============================[ Search Statistics ]==============================
6.89/6.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.89/6.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.89/6.90	c ===============================================================================
6.89/6.90	c |         0 |    5651    12087    30168 |     5000        0    nan |  0.000 % |
6.89/6.91	c |       101 |    5651    12087    30168 |     5500      101     17 |  0.212 % |
6.89/6.92	c ===============================================================================
6.89/6.92	c core #572
6.89/6.92	c Core size: 166	Core Weight: 1	Total Weight: 572
6.89/6.92	c Elapsed CPU time: 6.85896 s	Remaining CPU time: 1793.14 s
6.89/6.94	c Learning 1 hard constraints
6.89/6.94	c ============================[ Search Statistics ]==============================
6.89/6.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.89/6.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.89/6.94	c ===============================================================================
6.89/6.94	c |         0 |    5688    12089    30249 |     5000        0    nan |  0.000 % |
6.89/6.94	c |       101 |    5688    12089    30249 |     5500      101     17 |  0.211 % |
6.89/6.95	c ===============================================================================
6.89/6.95	c core #573
6.89/6.95	c Core size: 131	Core Weight: 1	Total Weight: 573
6.89/6.95	c Elapsed CPU time: 6.88795 s	Remaining CPU time: 1793.11 s
6.89/6.97	c Learning 1 hard constraints
6.89/6.97	c ============================[ Search Statistics ]==============================
6.89/6.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.89/6.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.89/6.97	c ===============================================================================
6.89/6.97	c |         0 |    5719    12091    30313 |     5000        0    nan |  0.000 % |
6.89/6.97	c |       101 |    5719    12091    30313 |     5500      101     18 |  0.210 % |
6.89/6.98	c ===============================================================================
6.89/6.98	c core #574
6.89/6.98	c Core size: 130	Core Weight: 1	Total Weight: 574
6.89/6.98	c Elapsed CPU time: 6.91595 s	Remaining CPU time: 1793.08 s
6.89/7.00	c Learning 2 hard constraints
6.89/7.00	c ============================[ Search Statistics ]==============================
6.89/7.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.89/7.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.89/7.00	c ===============================================================================
6.89/7.00	c |         0 |    5748    12094    30385 |     5000        0    nan |  0.000 % |
6.99/7.00	c |       101 |    5748    12094    30385 |     5500      101     18 |  0.209 % |
6.99/7.01	c ===============================================================================
6.99/7.01	c core #575
6.99/7.01	c Core size: 134	Core Weight: 1	Total Weight: 575
6.99/7.01	c Elapsed CPU time: 6.94694 s	Remaining CPU time: 1793.05 s
6.99/7.03	c ============================[ Search Statistics ]==============================
6.99/7.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.99/7.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.99/7.03	c ===============================================================================
6.99/7.03	c |         0 |    5781    12095    30451 |     5000        0    nan |  0.000 % |
6.99/7.03	c |       101 |    5781    12095    30451 |     5500      101     19 |  0.208 % |
6.99/7.04	c ===============================================================================
6.99/7.04	c core #576
6.99/7.04	c Core size: 111	Core Weight: 1	Total Weight: 576
6.99/7.04	c Elapsed CPU time: 6.97694 s	Remaining CPU time: 1793.02 s
6.99/7.06	c Learning 2 hard constraints
6.99/7.06	c ============================[ Search Statistics ]==============================
6.99/7.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.99/7.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.99/7.06	c ===============================================================================
6.99/7.06	c |         0 |    5806    12098    30513 |     5000        0    nan |  0.000 % |
6.99/7.07	c |       100 |    5805    12098    30513 |     5500      100     18 |  0.241 % |
6.99/7.07	c ===============================================================================
6.99/7.07	c core #577
6.99/7.07	c Core size: 152	Core Weight: 1	Total Weight: 577
6.99/7.07	c Elapsed CPU time: 7.00593 s	Remaining CPU time: 1792.99 s
6.99/7.09	c Learning 1 hard constraints
6.99/7.09	c ============================[ Search Statistics ]==============================
6.99/7.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.99/7.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.99/7.09	c ===============================================================================
6.99/7.09	c |         0 |    5839    12100    30585 |     5000        0    nan |  0.000 % |
7.09/7.10	c |       102 |    5839    12100    30585 |     5500      102     18 |  0.206 % |
7.09/7.11	c |       252 |    5818    12100    30585 |     6050      252     18 |  5.247 % |
7.09/7.12	c ===============================================================================
7.09/7.12	c core #578
7.09/7.12	c Core size: 229	Core Weight: 1	Total Weight: 578
7.09/7.12	c Elapsed CPU time: 7.05093 s	Remaining CPU time: 1792.95 s
7.09/7.14	c Learning 5 hard constraints
7.09/7.14	c ============================[ Search Statistics ]==============================
7.09/7.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.09/7.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.09/7.14	c ===============================================================================
7.09/7.14	c |         0 |    5900    12106    30741 |     5000        0    nan |  0.000 % |
7.09/7.14	c |       100 |    5900    12106    30741 |     5500      100     16 |  0.203 % |
7.09/7.15	c ===============================================================================
7.09/7.15	c core #579
7.09/7.15	c Core size: 128	Core Weight: 1	Total Weight: 579
7.09/7.15	c Elapsed CPU time: 7.08092 s	Remaining CPU time: 1792.92 s
7.09/7.17	c Learning 2 hard constraints
7.09/7.17	c ============================[ Search Statistics ]==============================
7.09/7.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.09/7.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.09/7.17	c ===============================================================================
7.09/7.17	c |         0 |    5932    12109    30819 |     5000        0    nan |  0.000 % |
7.09/7.18	c ===============================================================================
7.09/7.18	c core #580
7.09/7.18	c Core size: 141	Core Weight: 1	Total Weight: 580
7.09/7.18	c Elapsed CPU time: 7.10492 s	Remaining CPU time: 1792.9 s
7.09/7.19	c Learning 4 hard constraints
7.09/7.19	c ============================[ Search Statistics ]==============================
7.09/7.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.09/7.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.09/7.19	c ===============================================================================
7.09/7.19	c |         0 |    5961    12114    30902 |     5000        0    nan |  0.000 % |
7.19/7.20	c |       100 |    5961    12114    30902 |     5500      100     20 |  0.201 % |
7.19/7.21	c ===============================================================================
7.19/7.21	c core #581
7.19/7.21	c Core size: 175	Core Weight: 1	Total Weight: 581
7.19/7.21	c Elapsed CPU time: 7.13791 s	Remaining CPU time: 1792.86 s
7.19/7.23	c Learning 3 hard constraints
7.19/7.23	c ============================[ Search Statistics ]==============================
7.19/7.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.19/7.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.19/7.23	c ===============================================================================
7.19/7.23	c |         0 |    6005    12118    31008 |     5000        0    nan |  0.000 % |
7.19/7.23	c |       104 |    6005    12118    31008 |     5500      104     17 |  0.200 % |
7.19/7.24	c ===============================================================================
7.19/7.24	c core #582
7.19/7.24	c Core size: 155	Core Weight: 1	Total Weight: 582
7.19/7.24	c Elapsed CPU time: 7.16991 s	Remaining CPU time: 1792.83 s
7.19/7.26	c Learning 3 hard constraints
7.19/7.26	c ============================[ Search Statistics ]==============================
7.19/7.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.19/7.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.19/7.26	c ===============================================================================
7.19/7.26	c |         0 |    6040    12122    31097 |     5000        0    nan |  0.000 % |
7.19/7.27	c ===============================================================================
7.19/7.27	c core #583
7.19/7.27	c Core size: 224	Core Weight: 1	Total Weight: 583
7.19/7.27	c Elapsed CPU time: 7.19991 s	Remaining CPU time: 1792.8 s
7.19/7.29	c Learning 4 hard constraints
7.19/7.29	c ============================[ Search Statistics ]==============================
7.19/7.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.19/7.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.19/7.29	c ===============================================================================
7.19/7.29	c |         0 |    6087    12127    31214 |     5000        0    nan |  0.000 % |
7.29/7.30	c |       101 |    6086    12127    31214 |     5500      101     16 |  0.262 % |
7.29/7.31	c ===============================================================================
7.29/7.31	c core #584
7.29/7.31	c Core size: 206	Core Weight: 1	Total Weight: 584
7.29/7.31	c Elapsed CPU time: 7.2339 s	Remaining CPU time: 1792.77 s
7.29/7.33	c Learning 1 hard constraints
7.29/7.33	c ============================[ Search Statistics ]==============================
7.29/7.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.29/7.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.29/7.33	c ===============================================================================
7.29/7.33	c |         0 |    6134    12129    31312 |     5000        0    nan |  0.000 % |
7.29/7.34	c |       101 |    6132    12129    31312 |     5500      101     25 |  0.325 % |
7.29/7.35	c |       252 |    6115    12129    31312 |     6050      252     23 |  0.586 % |
7.29/7.36	c |       478 |    6078    12129    31312 |     6655      461     25 |  5.825 % |
7.29/7.38	c ===============================================================================
7.29/7.38	c core #585
7.29/7.38	c Core size: 274	Core Weight: 1	Total Weight: 585
7.29/7.38	c Elapsed CPU time: 7.30289 s	Remaining CPU time: 1792.7 s
7.38/7.40	c Learning 8 hard constraints
7.38/7.40	c ============================[ Search Statistics ]==============================
7.38/7.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.38/7.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.38/7.40	c ===============================================================================
7.38/7.40	c |         0 |    6202    12138    31500 |     5000        0    nan |  0.000 % |
7.38/7.41	c |       100 |    6202    12138    31500 |     5500      100     29 |  0.194 % |
7.38/7.42	c ===============================================================================
7.38/7.42	c core #586
7.38/7.42	c Core size: 211	Core Weight: 1	Total Weight: 586
7.38/7.42	c Elapsed CPU time: 7.34088 s	Remaining CPU time: 1792.66 s
7.38/7.44	c Learning 3 hard constraints
7.38/7.44	c ============================[ Search Statistics ]==============================
7.38/7.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.38/7.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.38/7.44	c ===============================================================================
7.38/7.44	c |         0 |    6257    12142    31624 |     5000        0    nan |  0.000 % |
7.38/7.45	c |       102 |    6257    12142    31624 |     5500      102     29 |  0.192 % |
7.38/7.46	c ===============================================================================
7.38/7.46	c core #587
7.38/7.46	c Core size: 173	Core Weight: 1	Total Weight: 587
7.38/7.46	c Elapsed CPU time: 7.37488 s	Remaining CPU time: 1792.63 s
7.38/7.48	c Learning 3 hard constraints
7.38/7.48	c ============================[ Search Statistics ]==============================
7.38/7.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.38/7.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.38/7.48	c ===============================================================================
7.38/7.48	c |         0 |    6295    12146    31713 |     5000        0    nan |  0.000 % |
7.38/7.49	c |       101 |    6295    12146    31713 |     5500      101     28 |  0.191 % |
7.49/7.50	c ===============================================================================
7.49/7.50	c core #588
7.49/7.50	c Core size: 158	Core Weight: 1	Total Weight: 588
7.49/7.50	c Elapsed CPU time: 7.41287 s	Remaining CPU time: 1792.59 s
7.49/7.52	c Learning 6 hard constraints
7.49/7.52	c ============================[ Search Statistics ]==============================
7.49/7.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.49/7.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.49/7.52	c ===============================================================================
7.49/7.52	c |         0 |    6332    12153    31818 |     5000        0    nan |  0.000 % |
7.49/7.53	c |       101 |    6332    12153    31818 |     5500      101     29 |  0.190 % |
7.49/7.54	c |       252 |    6328    12153    31818 |     6050      252     19 |  0.284 % |
7.49/7.55	c ===============================================================================
7.49/7.55	c core #589
7.49/7.55	c Core size: 330	Core Weight: 1	Total Weight: 589
7.49/7.55	c Elapsed CPU time: 7.45986 s	Remaining CPU time: 1792.54 s
7.49/7.57	c Learning 16 hard constraints
7.49/7.57	c ============================[ Search Statistics ]==============================
7.49/7.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.49/7.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.49/7.57	c ===============================================================================
7.49/7.57	c |         0 |    6405    12170    32065 |     5000        0    nan |  0.000 % |
7.49/7.58	c |       100 |    6393    12170    32065 |     5500      100      7 |  0.374 % |
7.49/7.59	c ===============================================================================
7.49/7.59	c core #590
7.49/7.59	c Core size: 153	Core Weight: 1	Total Weight: 590
7.49/7.59	c Elapsed CPU time: 7.49686 s	Remaining CPU time: 1792.5 s
7.60/7.60	c Learning 4 hard constraints
7.60/7.60	c ============================[ Search Statistics ]==============================
7.60/7.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.60/7.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.60/7.60	c ===============================================================================
7.60/7.60	c |         0 |    6439    12175    32160 |     5000        0    nan |  0.000 % |
7.60/7.62	c |       100 |    6439    12175    32160 |     5500      100     28 |  0.186 % |
7.60/7.63	c |       250 |    6376    12175    32160 |     6050      242     17 |  5.767 % |
7.60/7.64	c ===============================================================================
7.60/7.64	c core #591
7.60/7.64	c Core size: 300	Core Weight: 1	Total Weight: 591
7.60/7.64	c Elapsed CPU time: 7.54785 s	Remaining CPU time: 1792.45 s
7.60/7.66	c Learning 4 hard constraints
7.60/7.66	c ============================[ Search Statistics ]==============================
7.60/7.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.60/7.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.60/7.66	c ===============================================================================
7.60/7.66	c |         0 |    6517    12180    32342 |     5000        0    nan |  0.000 % |
7.60/7.67	c |       102 |    6517    12180    32342 |     5500      102     14 |  0.184 % |
7.60/7.68	c |       252 |    6516    12180    32342 |     6050      252     10 |  0.215 % |
7.60/7.69	c ===============================================================================
7.60/7.69	c core #592
7.60/7.69	c Core size: 332	Core Weight: 1	Total Weight: 592
7.60/7.69	c Elapsed CPU time: 7.59784 s	Remaining CPU time: 1792.4 s
7.69/7.71	c Learning 24 hard constraints
7.69/7.71	c ============================[ Search Statistics ]==============================
7.69/7.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.69/7.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.69/7.71	c ===============================================================================
7.69/7.71	c |         0 |    6596    12205    32649 |     5000        0    nan |  0.000 % |
7.69/7.72	c |       100 |    6596    12205    32649 |     5500      100     28 |  0.182 % |
7.69/7.73	c |       251 |    6593    12205    32649 |     6050      251     20 |  0.227 % |
7.69/7.75	c |       476 |    6557    12205    32649 |     6655      458     15 |  4.691 % |
7.69/7.77	c ===============================================================================
7.69/7.77	c core #593
7.69/7.77	c Core size: 341	Core Weight: 1	Total Weight: 593
7.69/7.77	c Elapsed CPU time: 7.67383 s	Remaining CPU time: 1792.33 s
7.69/7.79	c Learning 3 hard constraints
7.69/7.79	c ============================[ Search Statistics ]==============================
7.69/7.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.69/7.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.69/7.79	c ===============================================================================
7.69/7.79	c |         0 |    6687    12209    32851 |     5000        0    nan |  0.000 % |
7.79/7.80	c |       100 |    6687    12209    32851 |     5500      100     16 |  0.179 % |
7.79/7.81	c |       251 |    6681    12209    32851 |     6050      241     11 |  0.299 % |
7.79/7.82	c ===============================================================================
7.79/7.82	c core #594
7.79/7.82	c Core size: 236	Core Weight: 1	Total Weight: 594
7.79/7.82	c Elapsed CPU time: 7.72083 s	Remaining CPU time: 1792.28 s
7.79/7.84	c Learning 13 hard constraints
7.79/7.84	c ============================[ Search Statistics ]==============================
7.79/7.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.79/7.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.79/7.84	c ===============================================================================
7.79/7.84	c |         0 |    6737    12223    33032 |     5000        0    nan |  0.000 % |
7.79/7.85	c |       101 |    6737    12223    33032 |     5500      101     13 |  0.178 % |
7.79/7.86	c ===============================================================================
7.79/7.87	c core #595
7.79/7.87	c Core size: 315	Core Weight: 1	Total Weight: 595
7.79/7.87	c Elapsed CPU time: 7.76682 s	Remaining CPU time: 1792.23 s
7.79/7.89	c Learning 21 hard constraints
7.79/7.89	c ============================[ Search Statistics ]==============================
7.79/7.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.79/7.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.79/7.89	c ===============================================================================
7.79/7.89	c |         0 |    6806    12245    33294 |     5000        0    nan |  0.000 % |
7.79/7.89	c |       100 |    6806    12245    33294 |     5500      100     29 |  0.176 % |
7.89/7.91	c |       251 |    6805    12245    33294 |     6050      251     19 |  0.235 % |
7.89/7.92	c ===============================================================================
7.89/7.93	c core #596
7.89/7.93	c Core size: 245	Core Weight: 1	Total Weight: 596
7.89/7.93	c Elapsed CPU time: 7.82381 s	Remaining CPU time: 1792.18 s
7.89/7.94	c Learning 2 hard constraints
7.89/7.94	c ============================[ Search Statistics ]==============================
7.89/7.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.89/7.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.89/7.94	c ===============================================================================
7.89/7.94	c |         0 |    6862    12248    33414 |     5000        0    nan |  0.000 % |
7.89/7.96	c |       100 |    6858    12248    33414 |     5500      100      8 |  0.233 % |
7.89/7.98	c |       251 |    6854    12248    33414 |     6050      233      9 |  0.320 % |
7.89/7.98	c ===============================================================================
7.89/7.98	c core #597
7.89/7.98	c Core size: 290	Core Weight: 1	Total Weight: 597
7.89/7.98	c Elapsed CPU time: 7.8748 s	Remaining CPU time: 1792.13 s
7.99/8.00	c Learning 10 hard constraints
7.99/8.00	c ============================[ Search Statistics ]==============================
7.99/8.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.99/8.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.99/8.00	c ===============================================================================
7.99/8.00	c |         0 |    6924    12259    33593 |     5000        0    nan |  0.000 % |
7.99/8.01	c |       100 |    6920    12259    33593 |     5500      100      9 |  0.231 % |
7.99/8.02	c |       250 |    6914    12259    33593 |     6050      242     10 |  0.317 % |
7.99/8.03	c ===============================================================================
7.99/8.03	c core #598
7.99/8.03	c Core size: 215	Core Weight: 1	Total Weight: 598
7.99/8.03	c Elapsed CPU time: 7.9218 s	Remaining CPU time: 1792.08 s
7.99/8.05	c Learning 6 hard constraints
7.99/8.05	c ============================[ Search Statistics ]==============================
7.99/8.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.99/8.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.99/8.05	c ===============================================================================
7.99/8.05	c |         0 |    6974    12266    33726 |     5000        0    nan |  0.000 % |
7.99/8.06	c |       100 |    6974    12266    33726 |     5500      100     15 |  0.172 % |
7.99/8.07	c |       250 |    6972    12266    33726 |     6050      250     12 |  0.200 % |
7.99/8.09	c |       476 |    6965    12266    33726 |     6655      469     14 |  0.301 % |
8.09/8.10	c ===============================================================================
8.09/8.10	c core #599
8.09/8.10	c Core size: 222	Core Weight: 1	Total Weight: 599
8.09/8.10	c Elapsed CPU time: 7.98778 s	Remaining CPU time: 1792.01 s
8.09/8.12	c Learning 10 hard constraints
8.09/8.12	c ============================[ Search Statistics ]==============================
8.09/8.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.09/8.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.09/8.12	c ===============================================================================
8.09/8.12	c |         0 |    7028    12277    33896 |     5000        0    nan |  0.000 % |
8.09/8.13	c |       101 |    7028    12277    33896 |     5500      101     22 |  0.171 % |
8.09/8.14	c |       252 |    7026    12277    33896 |     6050      252     18 |  0.199 % |
8.09/8.16	c |       478 |    7018    12277    33896 |     6655      472     15 |  0.313 % |
8.09/8.16	c ===============================================================================
8.09/8.16	c core #600
8.09/8.16	c Core size: 245	Core Weight: 1	Total Weight: 600
8.09/8.16	c Elapsed CPU time: 8.04678 s	Remaining CPU time: 1791.95 s
8.09/8.18	c Learning 31 hard constraints
8.09/8.18	c ============================[ Search Statistics ]==============================
8.09/8.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.09/8.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.09/8.18	c ===============================================================================
8.09/8.18	c |         0 |    7075    12309    34153 |     5000        0    nan |  0.000 % |
8.19/8.20	c |       100 |    7075    12309    34153 |     5500      100      9 |  0.170 % |
8.19/8.21	c |       250 |    7071    12309    34153 |     6050      242      8 |  0.226 % |
8.19/8.22	c ===============================================================================
8.19/8.23	c core #601
8.19/8.23	c Core size: 344	Core Weight: 1	Total Weight: 601
8.19/8.23	c Elapsed CPU time: 8.10677 s	Remaining CPU time: 1791.89 s
8.19/8.25	c Learning 10 hard constraints
8.19/8.25	c ============================[ Search Statistics ]==============================
8.19/8.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.19/8.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.19/8.25	c ===============================================================================
8.19/8.25	c |         0 |    7159    12320    34388 |     5000        0    nan |  0.000 % |
8.19/8.26	c |       100 |    7159    12320    34388 |     5500      100     10 |  0.168 % |
8.19/8.27	c |       250 |    7159    12320    34388 |     6050      250     13 |  0.167 % |
8.19/8.29	c |       479 |    7159    12320    34388 |     6655      479     12 |  0.168 % |
8.29/8.31	c |       817 |    7155    12320    34388 |     7320      809     13 |  0.223 % |
8.29/8.36	c |      1324 |    7155    12320    34388 |     8052     1277     12 |  0.223 % |
8.38/8.41	c ===============================================================================
8.38/8.42	c core #602
8.38/8.42	c Core size: 697	Core Weight: 1	Total Weight: 602
8.38/8.42	c Elapsed CPU time: 8.29274 s	Remaining CPU time: 1791.71 s
8.38/8.44	c Learning 31 hard constraints
8.38/8.44	c ============================[ Search Statistics ]==============================
8.38/8.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.38/8.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.38/8.44	c ===============================================================================
8.38/8.44	c |         0 |    7312    12352    34869 |     5000        0    nan |  0.000 % |
8.38/8.46	c |       103 |    7312    12352    34869 |     5500      103     22 |  0.164 % |
8.38/8.46	c |       253 |    7312    12352    34869 |     6050      253     16 |  0.164 % |
8.38/8.49	c |       478 |    7308    12352    34869 |     6655      475     15 |  0.218 % |
8.49/8.51	c |       817 |    7304    12352    34869 |     7320      812     14 |  0.273 % |
8.49/8.54	c |      1323 |    7302    12352    34869 |     8052     1318     17 |  0.328 % |
8.49/8.57	c ===============================================================================
8.49/8.58	c core #603
8.49/8.58	c Core size: 373	Core Weight: 1	Total Weight: 603
8.49/8.58	c Elapsed CPU time: 8.44072 s	Remaining CPU time: 1791.56 s
8.49/8.60	c Learning 20 hard constraints
8.49/8.60	c ============================[ Search Statistics ]==============================
8.49/8.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.49/8.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.49/8.60	c ===============================================================================
8.49/8.60	c |         0 |    7397    12373    35158 |     5000        0    nan |  0.000 % |
8.59/8.61	c |       100 |    7397    12373    35158 |     5500      100     17 |  0.162 % |
8.59/8.63	c |       250 |    7397    12373    35158 |     6050      250     14 |  0.162 % |
8.59/8.64	c |       475 |    7394    12373    35158 |     6655      472     15 |  0.216 % |
8.59/8.66	c |       814 |    7393    12373    35158 |     7320      811     16 |  0.216 % |
8.59/8.70	c |      1320 |    7391    12373    35158 |     8052     1307     16 |  0.243 % |
8.69/8.75	c |      2079 |    7099    12373    35158 |     8857     1686     16 |  4.184 % |
8.69/8.76	c ===============================================================================
8.69/8.76	c core #604
8.69/8.76	c Core size: 418	Core Weight: 1	Total Weight: 604
8.69/8.76	c Elapsed CPU time: 8.62069 s	Remaining CPU time: 1791.38 s
8.69/8.79	c Learning 7 hard constraints
8.69/8.79	c ============================[ Search Statistics ]==============================
8.69/8.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.69/8.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.69/8.79	c ===============================================================================
8.69/8.79	c |         0 |    7506    12381    35408 |     5000        0    nan |  0.000 % |
8.79/8.80	c |       100 |    7506    12381    35408 |     5500      100     23 |  0.160 % |
8.79/8.81	c |       251 |    7506    12381    35408 |     6050      251     21 |  0.160 % |
8.79/8.83	c |       476 |    7506    12381    35408 |     6655      476     24 |  0.160 % |
8.79/8.85	c |       813 |    7502    12381    35408 |     7320      811     24 |  0.213 % |
8.79/8.89	c |      1319 |    7499    12381    35408 |     8052     1317     22 |  0.253 % |
8.89/8.94	c |      2079 |    7497    12381    35408 |     8857     2064     29 |  0.279 % |
8.99/9.04	c |      3220 |    7467    12381    35408 |     9743     3199     31 |  4.217 % |
9.19/9.21	c |      4930 |    7196    12381    35408 |    10717     4479     32 |  4.602 % |
9.28/9.36	c ===============================================================================
9.28/9.40	c core #605
9.28/9.40	c Core size: 406	Core Weight: 1	Total Weight: 605
9.28/9.40	c Elapsed CPU time: 9.23659 s	Remaining CPU time: 1790.76 s
9.38/9.42	c Learning 14 hard constraints
9.38/9.42	c ============================[ Search Statistics ]==============================
9.38/9.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.38/9.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.38/9.42	c ===============================================================================
9.38/9.42	c |         0 |    7612    12396    35715 |     5000        0    nan |  0.000 % |
9.38/9.44	c |       100 |    7612    12396    35715 |     5500      100     12 |  0.158 % |
9.38/9.46	c |       251 |    7612    12396    35715 |     6050      251     13 |  0.157 % |
9.38/9.47	c |       476 |    7612    12396    35715 |     6655      476     17 |  0.157 % |
9.38/9.49	c |       813 |    7612    12396    35715 |     7320      813     19 |  0.158 % |
9.49/9.53	c |      1319 |    7612    12396    35715 |     8052     1319     21 |  0.157 % |
9.49/9.59	c |      2078 |    7612    12396    35715 |     8857     2078     22 |  0.157 % |
9.68/9.71	c |      3218 |    7612    12396    35715 |     9743     3218     29 |  0.157 % |
9.79/9.85	c |      4927 |    7612    12396    35715 |    10717     4927     29 |  0.157 % |
10.09/10.15	c |      7489 |    7612    12396    35715 |    11789     7489     30 |  0.157 % |
10.79/10.86	c |     11333 |    7612    12396    35715 |    12968    11333     33 |  0.157 % |
11.48/11.59	c |     17101 |    7610    12396    35715 |    14265     8411     33 |  0.184 % |
11.88/11.93	c ===============================================================================
11.99/12.02	c core #606
11.99/12.02	c Core size: 863	Core Weight: 1	Total Weight: 606
11.99/12.02	c Elapsed CPU time: 11.8102 s	Remaining CPU time: 1788.19 s
11.99/12.06	c Learning 36 hard constraints
11.99/12.06	c ============================[ Search Statistics ]==============================
11.99/12.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.99/12.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.99/12.06	c ===============================================================================
11.99/12.06	c |         0 |    7783    12433    36249 |     5000        0    nan |  0.000 % |
11.99/12.07	c |       101 |    7783    12433    36249 |     5500      101     18 |  0.154 % |
11.99/12.08	c |       251 |    7783    12433    36249 |     6050      251     18 |  0.154 % |
11.99/12.10	c |       477 |    7781    12433    36249 |     6655      474     18 |  0.180 % |
12.09/12.12	c |       815 |    7774    12433    36249 |     7320      812     18 |  0.282 % |
12.09/12.15	c |      1324 |    7769    12433    36249 |     8052     1298     20 |  0.334 % |
12.18/12.22	c |      2083 |    7766    12433    36249 |     8857     2052     26 |  0.385 % |
12.28/12.35	c |      3222 |    7725    12433    36249 |     9743     3189     29 |  4.310 % |
12.28/12.39	c ===============================================================================
12.38/12.41	c core #607
12.38/12.41	c Core size: 276	Core Weight: 1	Total Weight: 607
12.38/12.41	c Elapsed CPU time: 12.1831 s	Remaining CPU time: 1787.82 s
12.38/12.43	c Learning 2 hard constraints
12.38/12.43	c ============================[ Search Statistics ]==============================
12.38/12.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.38/12.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.38/12.43	c ===============================================================================
12.38/12.43	c |         0 |    7855    12436    36406 |     5000        0    nan |  0.000 % |
12.38/12.44	c |       100 |    7855    12436    36406 |     5500      100     20 |  0.153 % |
12.38/12.45	c |       250 |    7855    12436    36406 |     6050      250     19 |  0.153 % |
12.38/12.47	c |       477 |    7855    12436    36406 |     6655      477     18 |  0.153 % |
12.38/12.49	c |       814 |    7855    12436    36406 |     7320      814     24 |  0.153 % |
12.48/12.53	c |      1321 |    7855    12436    36406 |     8052     1321     25 |  0.153 % |
12.58/12.61	c |      2081 |    7853    12436    36406 |     8857     2068     31 |  0.178 % |
12.69/12.73	c |      3221 |    7851    12436    36406 |     9743     3202     30 |  0.203 % |
12.88/12.95	c |      4932 |    7849    12436    36406 |    10717     4913     32 |  0.229 % |
13.49/13.57	c |      7494 |    7828    12436    36406 |    11789     7470     37 |  3.788 % |
14.88/14.95	c |     11339 |    7569    12436    36406 |    12968    10998     41 |  3.788 % |
16.99/17.01	c |     17107 |    7569    12436    36406 |    14265    10026     47 |  3.788 % |
18.08/18.18	c ===============================================================================
18.28/18.32	c core #608
18.28/18.32	c Core size: 578	Core Weight: 1	Total Weight: 608
18.28/18.32	c Elapsed CPU time: 18.0443 s	Remaining CPU time: 1781.96 s
18.28/18.36	c Learning 1 hard constraints
18.28/18.36	c ============================[ Search Statistics ]==============================
18.28/18.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.28/18.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.28/18.36	c ===============================================================================
18.28/18.36	c |         0 |    7985    12438    36668 |     5000        0    nan |  0.000 % |
18.28/18.38	c |       103 |    7985    12438    36668 |     5500      103     14 |  0.150 % |
18.28/18.39	c |       253 |    7985    12438    36668 |     6050      253     19 |  0.150 % |
18.38/18.41	c |       478 |    7979    12438    36668 |     6655      477     17 |  0.225 % |
18.38/18.43	c |       815 |    7979    12438    36668 |     7320      814     20 |  0.225 % |
18.38/18.46	c |      1324 |    7979    12438    36668 |     8052     1319     23 |  0.225 % |
18.48/18.53	c |      2084 |    7978    12438    36668 |     8857     2079     30 |  0.250 % |
18.59/18.62	c |      3224 |    7977    12438    36668 |     9743     3218     31 |  0.250 % |
18.78/18.87	c |      4932 |    7693    12438    36668 |    10717     4891     37 |  3.801 % |
18.88/18.91	c ===============================================================================
18.88/18.95	c core #609
18.88/18.95	c Core size: 370	Core Weight: 1	Total Weight: 609
18.88/18.95	c Elapsed CPU time: 18.6592 s	Remaining CPU time: 1781.34 s
18.88/18.98	c Learning 11 hard constraints
18.88/18.98	c ============================[ Search Statistics ]==============================
18.88/18.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.88/18.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.88/18.98	c ===============================================================================
18.88/18.98	c |         0 |    8081    12450    36911 |     5000        0    nan |  0.000 % |
18.88/18.99	c |       101 |    8080    12450    36911 |     5500      101     12 |  0.173 % |
18.98/19.01	c |       251 |    8079    12450    36911 |     6050      251     11 |  0.173 % |
18.98/19.03	c |       476 |    8075    12450    36911 |     6655      453     15 |  0.222 % |
18.98/19.05	c |       813 |    8075    12450    36911 |     7320      790     21 |  0.222 % |
18.98/19.09	c |      1319 |    8075    12450    36911 |     8052     1296     24 |  0.222 % |
19.08/19.15	c |      2078 |    8071    12450    36911 |     8857     2034     26 |  0.272 % |
19.18/19.27	c |      3218 |    8071    12450    36911 |     9743     3174     32 |  0.272 % |
19.38/19.43	c |      4926 |    8071    12450    36911 |    10717     4882     33 |  0.272 % |
19.69/19.76	c |      7488 |    8071    12450    36911 |    11789     7444     37 |  0.272 % |
20.07/20.19	c |     11334 |    8071    12450    36911 |    12968    11290     39 |  0.272 % |
20.88/20.94	c |     17100 |    8071    12450    36911 |    14265    10381     40 |  0.272 % |
22.58/22.60	c |     25750 |    8071    12450    36911 |    15692    11763     54 |  0.272 % |
25.87/25.92	c |     38727 |    8071    12450    36911 |    17261     8366     77 |  0.272 % |
28.78/28.82	c |     58188 |    8071    12450    36911 |    18987     9516     50 |  0.272 % |
39.47/39.59	c |     87386 |    8069    12450    36911 |    20886    18545     61 |  0.297 % |
60.76/60.82	c |    131176 |    8061    12450    36911 |    22974    16837     57 |  0.396 % |
104.45/104.51	c |    196862 |    7777    12450    36911 |    25272    23318     80 |  3.905 % |
130.24/130.34	c ===============================================================================
132.55/132.66	c core #610
132.55/132.66	c Core size: 1121	Core Weight: 1	Total Weight: 610
132.55/132.66	c Elapsed CPU time: 131.661 s	Remaining CPU time: 1668.34 s
132.84/132.90	c Learning 6 hard constraints
132.84/132.90	c ============================[ Search Statistics ]==============================
132.84/132.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
132.84/132.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
132.84/132.90	c ===============================================================================
132.84/132.90	c |         0 |    8296    12457    37353 |     5000        0    nan |  0.000 % |
132.84/132.96	c |       101 |    8296    12457    37353 |     5500      101     21 |  0.145 % |
132.84/132.98	c |       251 |    8295    12457    37353 |     6050      251     19 |  0.169 % |
132.84/133.00	c |       480 |    8294    12457    37353 |     6655      470     29 |  0.169 % |
132.94/133.03	c |       818 |    8294    12457    37353 |     7320      808     30 |  0.169 % |
132.94/133.07	c |      1327 |    8294    12457    37353 |     8052     1317     29 |  0.169 % |
133.04/133.14	c |      2086 |    8294    12457    37353 |     8857     2076     31 |  0.169 % |
133.14/133.27	c |      3225 |    8294    12457    37353 |     9743     3215     32 |  0.169 % |
133.34/133.44	c |      4933 |    8294    12457    37353 |    10717     4923     37 |  0.169 % |
133.74/133.86	c |      7499 |    8294    12457    37353 |    11789     7489     42 |  0.169 % |
134.44/134.55	c |     11344 |    8294    12457    37353 |    12968    11334     43 |  0.169 % |
135.54/135.61	c |     17112 |    8294    12457    37353 |    14265    10109     56 |  0.169 % |
137.73/137.83	c |     25761 |    8294    12457    37353 |    15692    10976     59 |  0.169 % |
141.03/141.13	c |     38736 |    8294    12457    37353 |    17261    15512     43 |  0.169 % |
145.24/145.33	c |     58198 |    8294    12457    37353 |    18987    17066     50 |  0.169 % |
154.64/154.78	c |     87392 |    8294    12457    37353 |    20886    16793     50 |  0.169 % |
176.82/176.95	c |    131184 |    8291    12457    37353 |    22974    16114    109 |  0.205 % |
199.42/199.50	c |    196869 |    8291    12457    37353 |    25272    21270     69 |  0.205 % |
267.50/267.68	c |    295400 |    8291    12457    37353 |    27799    24215    170 |  0.205 % |
350.78/350.95	c |    443192 |    8289    12457    37353 |    30579    14610     97 |  0.229 % |
389.67/389.85	c ===============================================================================
389.77/389.93	c core #611
389.77/389.93	c Core size: 477	Core Weight: 1	Total Weight: 611
389.77/389.93	c Elapsed CPU time: 387.136 s	Remaining CPU time: 1412.86 s
390.27/390.48	c Learning 19 hard constraints
390.27/390.48	c ============================[ Search Statistics ]==============================
390.27/390.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
390.27/390.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
390.27/390.48	c ===============================================================================
390.27/390.48	c |         0 |    8425    12477    37697 |     5000        0    nan |  0.000 % |
390.37/390.59	c |       101 |    8425    12477    37697 |     5500      101     13 |  0.142 % |
390.47/390.60	c |       251 |    8425    12477    37697 |     6050      251     16 |  0.142 % |
390.47/390.63	c |       477 |    8425    12477    37697 |     6655      477     16 |  0.142 % |
390.47/390.66	c |       815 |    8423    12477    37697 |     7320      813     20 |  0.166 % |
390.56/390.71	c |      1322 |    8421    12477    37697 |     8052     1314     23 |  0.190 % |
390.56/390.77	c |      2081 |    8421    12477    37697 |     8857     2073     29 |  0.190 % |
390.67/390.87	c |      3221 |    8421    12477    37697 |     9743     3213     28 |  0.190 % |
390.96/391.10	c |      4930 |    8419    12477    37697 |    10717     4907     38 |  0.213 % |
391.27/391.47	c |      7492 |    8417    12477    37697 |    11789     7468     38 |  0.237 % |
391.86/392.09	c |     11341 |    8417    12477    37697 |    12968    11317     43 |  0.237 % |
393.37/393.52	c |     17108 |    8386    12477    37697 |    14265    10074     50 |  3.603 % |
396.46/396.64	c |     25761 |    8386    12477    37697 |    15692    11370     50 |  3.603 % |
398.26/398.43	c ===============================================================================
398.56/398.73	c core #612
398.56/398.73	c Core size: 405	Core Weight: 1	Total Weight: 612
398.56/398.73	c Elapsed CPU time: 395.861 s	Remaining CPU time: 1404.14 s
398.66/398.80	c ============================[ Search Statistics ]==============================
398.66/398.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
398.66/398.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
398.66/398.80	c ===============================================================================
398.66/398.80	c |         0 |    8530    12478    37907 |     5000        0    nan |  0.000 % |
398.66/398.84	c |       101 |    8530    12478    37907 |     5500      101     13 |  0.141 % |
398.66/398.85	c |       251 |    8530    12478    37907 |     6050      251     20 |  0.141 % |
398.66/398.88	c |       478 |    8530    12478    37907 |     6655      478     27 |  0.141 % |
398.76/398.90	c |       815 |    8530    12478    37907 |     7320      815     25 |  0.140 % |
398.76/398.95	c |      1322 |    8530    12478    37907 |     8052     1322     26 |  0.141 % |
398.86/399.01	c |      2083 |    8530    12478    37907 |     8857     2083     28 |  0.140 % |
398.96/399.17	c |      3222 |    8530    12478    37907 |     9743     3222     35 |  0.140 % |
399.26/399.40	c |      4931 |    8530    12478    37907 |    10717     4931     34 |  0.141 % |
399.56/399.73	c |      7495 |    8530    12478    37907 |    11789     7495     33 |  0.140 % |
400.36/400.55	c |     11339 |    8530    12478    37907 |    12968    11339     37 |  0.140 % |
401.96/402.15	c |     17106 |    8528    12478    37907 |    14265    10129     44 |  0.164 % |
403.95/404.12	c |     25757 |    8526    12478    37907 |    15692    10373     51 |  0.187 % |
406.45/406.63	c |     38732 |    8526    12478    37907 |    17261    15239     43 |  0.187 % |
411.45/411.63	c |     58195 |    8522    12478    37907 |    18987    17042     52 |  0.234 % |
422.25/422.48	c |     87388 |    8520    12478    37907 |    20886    16313     52 |  0.258 % |
445.25/445.46	c |    131177 |    8520    12478    37907 |    22974    16694     80 |  0.258 % |
480.03/480.26	c |    196861 |    8518    12478    37907 |    25272    22906    101 |  0.281 % |
565.81/566.02	c |    295389 |    8224    12478    37907 |    27799    15753     98 |  3.723 % |
592.90/593.11	c ===============================================================================
594.20/594.44	c core #613
594.20/594.44	c Core size: 634	Core Weight: 1	Total Weight: 613
594.20/594.44	c Elapsed CPU time: 590.593 s	Remaining CPU time: 1209.41 s
594.60/594.83	c Learning 7 hard constraints
594.60/594.83	c ============================[ Search Statistics ]==============================
594.60/594.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
594.60/594.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
594.60/594.83	c ===============================================================================
594.60/594.83	c |         0 |    8696    12486    38263 |     5000        0    nan |  0.000 % |
594.70/594.90	c |       101 |    8696    12486    38263 |     5500      101     15 |  0.138 % |
594.70/594.92	c |       251 |    8695    12486    38263 |     6050      251     15 |  0.161 % |
594.70/594.95	c |       476 |    8694    12486    38263 |     6655      475     21 |  0.161 % |
594.70/594.98	c |       815 |    8694    12486    38263 |     7320      814     30 |  0.161 % |
594.81/595.02	c |      1322 |    8692    12486    38263 |     8052     1314     25 |  0.184 % |
594.90/595.14	c |      2082 |    8692    12486    38263 |     8857     2074     30 |  0.184 % |
595.00/595.28	c |      3221 |    8690    12486    38263 |     9743     3184     31 |  0.207 % |
595.20/595.44	c |      4931 |    8690    12486    38263 |    10717     4894     32 |  0.207 % |
595.60/595.87	c |      7494 |    8688    12486    38263 |    11789     7448     40 |  0.230 % |
596.10/596.35	c |     11340 |    8688    12486    38263 |    12968    11294     48 |  0.230 % |
597.10/597.34	c |     17106 |    8688    12486    38263 |    14265    10148     57 |  0.230 % |
598.90/599.15	c |     25756 |    8688    12486    38263 |    15692    10182     50 |  0.230 % |
600.89/601.13	c |     38738 |    8686    12486    38263 |    17261    14876     54 |  0.253 % |
607.00/607.20	c |     58200 |    8686    12486    38263 |    18987    16467     59 |  0.253 % |
618.79/619.07	c |     87394 |    8686    12486    38263 |    20886    15986     62 |  0.253 % |
639.58/639.85	c |    131184 |    8684    12486    38263 |    22974    21244    100 |  0.276 % |
669.08/669.37	c |    196869 |    8400    12486    38263 |    25272    12244     47 |  3.537 % |
713.96/714.24	c |    295395 |    8400    12486    38263 |    27799    15914     69 |  3.537 % |
813.54/813.81	c |    443184 |    8400    12486    38263 |    30579    27005     87 |  3.537 % |
929.61/929.92	c |    664867 |    8398    12486    38263 |    33637    24485     97 |  3.560 % |
963.60/963.98	c ===============================================================================
968.09/968.45	c core #614
968.09/968.45	c Core size: 735	Core Weight: 1	Total Weight: 614
968.09/968.45	c Elapsed CPU time: 962.443 s	Remaining CPU time: 837.557 s
968.89/969.21	c Learning 9 hard constraints
968.89/969.21	c ============================[ Search Statistics ]==============================
968.89/969.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
968.89/969.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
968.89/969.21	c ===============================================================================
968.89/969.21	c |         0 |    8912    12496    38713 |     5000        0    nan |  0.000 % |
968.99/969.32	c |       100 |    8912    12496    38713 |     5500      100     22 |  0.135 % |
968.99/969.36	c |       250 |    8912    12496    38713 |     6050      250     21 |  0.134 % |
969.09/969.41	c |       475 |    8912    12496    38713 |     6655      475     17 |  0.134 % |
969.09/969.44	c |       813 |    8912    12496    38713 |     7320      813     22 |  0.134 % |
969.09/969.50	c |      1321 |    8912    12496    38713 |     8052     1321     23 |  0.135 % |
969.19/969.59	c |      2081 |    8912    12496    38713 |     8857     2081     35 |  0.135 % |
969.30/969.69	c |      3221 |    8912    12496    38713 |     9743     3221     35 |  0.135 % |
969.49/969.89	c |      4929 |    8910    12496    38713 |    10717     4928     40 |  0.157 % |
969.90/970.29	c |      7491 |    8908    12496    38713 |    11789     7381     46 |  0.179 % |
970.39/970.78	c |     11335 |    8906    12496    38713 |    12968     9716     42 |  0.202 % |
971.69/972.03	c |     17101 |    8902    12496    38713 |    14265     8376     44 |  0.247 % |
975.19/975.55	c |     25750 |    8902    12496    38713 |    15692     9473     60 |  0.247 % |
978.79/979.19	c |     38725 |    8902    12496    38713 |    17261    14088     68 |  0.247 % |
985.89/986.23	c |     58186 |    8614    12496    38713 |    18987    16419     66 |  3.474 % |
1001.38/1001.77	c |     87380 |    8612    12496    38713 |    20886    16124     74 |  3.496 % |
1019.28/1019.67	c ===============================================================================
1021.58/1021.91	c core #615
1021.58/1021.91	c Core size: 633	Core Weight: 1	Total Weight: 615
1021.58/1021.91	c Elapsed CPU time: 1015.6 s	Remaining CPU time: 784.395 s
1021.78/1022.11	c Learning 1 hard constraints
1021.78/1022.11	c ============================[ Search Statistics ]==============================
1021.78/1022.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1021.78/1022.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1021.78/1022.11	c ===============================================================================
1021.78/1022.11	c |         0 |    9088    12498    39067 |     5000        0    nan |  0.000 % |
1021.78/1022.18	c |       101 |    9088    12498    39067 |     5500      101     16 |  0.132 % |
1021.78/1022.19	c |       252 |    9088    12498    39067 |     6050      252     21 |  0.132 % |
1021.88/1022.21	c |       478 |    9088    12498    39067 |     6655      478     26 |  0.132 % |
1021.88/1022.25	c |       815 |    9088    12498    39067 |     7320      815     26 |  0.132 % |
1021.88/1022.28	c |      1322 |    9088    12498    39067 |     8052     1322     27 |  0.132 % |
1021.98/1022.35	c |      2082 |    9088    12498    39067 |     8857     2082     31 |  0.132 % |
1022.08/1022.47	c |      3222 |    9088    12498    39067 |     9743     3222     36 |  0.132 % |
1022.27/1022.68	c |      4930 |    9088    12498    39067 |    10717     4930     42 |  0.132 % |
1022.57/1022.99	c |      7492 |    9088    12498    39067 |    11789     7492     46 |  0.132 % |
1023.48/1023.88	c |     11336 |    9088    12498    39067 |    12968    11336     57 |  0.132 % |
1024.47/1024.87	c |     17105 |    9086    12498    39067 |    14265    10394     54 |  0.154 % |
1025.97/1026.35	c |     25755 |    9085    12498    39067 |    15692    10669     42 |  0.176 % |
1031.08/1031.46	c |     38734 |    9084    12498    39067 |    17261    14626     66 |  0.176 % |
1035.67/1036.03	c |     58203 |    9084    12498    39067 |    18987    15636     99 |  0.176 % |
1046.16/1046.59	c |     87401 |    9084    12498    39067 |    20886    14994     54 |  0.176 % |
1061.77/1062.15	c |    131191 |    9084    12498    39067 |    22974    15222     56 |  0.176 % |
1111.05/1111.46	c |    196876 |    9082    12498    39067 |    25272    17316    103 |  0.198 % |
1174.44/1174.85	c |    295402 |    8790    12498    39067 |    27799    12986     81 |  3.407 % |
1310.39/1310.86	c |    443191 |    8790    12498    39067 |    30579    24613     99 |  3.407 % |
1537.23/1537.72	c |    664874 |    8790    12498    39067 |    33637    15790    135 |  3.407 % |

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-1875597-1245161657/watcher-1875597-1245161657 -o /tmp/evaluation-result-1875597-1245161657/solver-1875597-1245161657 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875597-1245161657.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.98 0.99 3/64 7843
/proc/meminfo: memFree=1806856/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=3096 CPUtime=0
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 183762949 3170304 250 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 774 250 125 292 0 418 0

[startup+0.0437709 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7843
/proc/meminfo: memFree=1806856/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=3872 CPUtime=0.03
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 605 0 0 0 3 0 0 0 18 0 1 0 183762949 3964928 528 1992294400 134512640 135709839 4294956240 18446744073709551615 135166723 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 968 528 133 292 0 673 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3872

[startup+0.101777 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7843
/proc/meminfo: memFree=1806856/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=3872 CPUtime=0.09
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 611 0 0 0 9 0 0 0 18 0 1 0 183762949 3964928 534 1992294400 134512640 135709839 4294956240 18446744073709551615 134530325 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 968 534 133 292 0 673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3872

[startup+0.301799 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7843
/proc/meminfo: memFree=1806856/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=3960 CPUtime=0.29
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 637 0 0 0 29 0 0 0 19 0 1 0 183762949 4055040 560 1992294400 134512640 135709839 4294956240 18446744073709551615 134605111 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 990 560 133 292 0 695 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3960

[startup+0.701842 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7843
/proc/meminfo: memFree=1806856/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=4176 CPUtime=0.69
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 700 0 0 0 69 0 0 0 22 0 1 0 183762949 4276224 613 1992294400 134512640 135709839 4294956240 18446744073709551615 134529868 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 1044 613 133 292 0 749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4176

[startup+1.50193 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1804416/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=5008 CPUtime=1.49
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 1051 0 0 0 149 0 0 0 25 0 1 0 183762949 5128192 813 1992294400 134512640 135709839 4294956240 18446744073709551615 135183222 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 1252 813 133 292 0 957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5008

[startup+3.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1803584/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=6220 CPUtime=3.09
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 2211 0 0 0 308 1 0 0 25 0 1 0 183762949 6369280 1124 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 1555 1124 133 292 0 1260 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6220

[startup+6.30145 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1798720/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=12896 CPUtime=6.29
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 5311 0 0 0 625 4 0 0 25 0 1 0 183762949 13205504 2763 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 3224 2763 135 292 0 2929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12896

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1784704/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=25392 CPUtime=12.69
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 8785 0 0 0 1246 23 0 0 25 0 1 0 183762949 26001408 5873 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 6348 5873 136 292 0 6053 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25392

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1771072/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=38044 CPUtime=25.48
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 11968 0 0 0 2511 37 0 0 25 0 1 0 183762949 38957056 9056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 9511 9056 136 292 0 9216 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38044

[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1738176/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=70688 CPUtime=51.07
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 20105 0 0 0 5048 59 0 0 25 0 1 0 183762949 72384512 17193 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 17672 17193 136 292 0 17377 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70688

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1697536/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=111172 CPUtime=102.25
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 30201 0 0 0 10142 83 0 0 25 0 1 0 183762949 113840128 27289 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 27793 27289 136 292 0 27498 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111172

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1672448/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=137124 CPUtime=162.23
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 36750 0 0 0 16102 121 0 0 25 0 1 0 183762949 140414976 33838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 34281 33838 136 292 0 33986 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 137124

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1597824/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=210796 CPUtime=222.21
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 55119 0 0 0 22054 167 0 0 25 0 1 0 183762949 215855104 52207 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 52699 52207 136 292 0 52404 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 210796

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1540224/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=269336 CPUtime=282.2
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 69729 0 0 0 28019 201 0 0 25 0 1 0 183762949 275800064 66817 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 67334 66817 136 292 0 67039 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 269336

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1489088/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=319348 CPUtime=342.18
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 82201 0 0 0 33988 230 0 0 25 0 1 0 183762949 327012352 79289 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 79837 79289 136 292 0 79542 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 319348

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1425280/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=382916 CPUtime=402.16
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 98072 0 0 0 39936 280 0 0 25 0 1 0 183762949 392105984 95160 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 95729 95160 136 292 0 95434 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 382916

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1424896/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=382916 CPUtime=462.14
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 98171 0 0 0 45898 316 0 0 25 0 1 0 183762949 392105984 95259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 95729 95259 136 292 0 95434 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 382916

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1393024/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=415452 CPUtime=522.12
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 106265 0 0 0 51872 340 0 0 25 0 1 0 183762949 425422848 103353 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 103863 103353 136 292 0 103568 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 415452

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1358784/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=449548 CPUtime=582.1
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 114743 0 0 0 57849 361 0 0 25 0 1 0 183762949 460337152 111831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 112387 111831 136 292 0 112092 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 449548

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1336000/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=471484 CPUtime=642.09
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 120324 0 0 0 63805 404 0 0 25 0 1 0 183762949 482799616 117412 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 117871 117412 136 292 0 117576 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 471484

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1156736/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=651116 CPUtime=882.02
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 165072 0 0 0 87670 532 0 0 25 0 1 0 183762949 666742784 162160 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 162779 162160 136 292 0 162484 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 651116

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1102080/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=705796 CPUtime=941.99
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 178727 0 0 0 93636 563 0 0 25 0 1 0 183762949 722735104 175815 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 176449 175815 136 292 0 176154 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 705796

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1077824/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=729704 CPUtime=1001.98
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 184711 0 0 0 99605 593 0 0 25 0 1 0 183762949 747216896 181799 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 182426 181799 136 292 0 182131 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 729704

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1061056/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=746468 CPUtime=1061.96
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 189080 0 0 0 105564 632 0 0 25 0 1 0 183762949 764383232 186168 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 186617 186168 136 292 0 186322 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 746468

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=1025728/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=781528 CPUtime=1121.95
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 197786 0 0 0 111532 663 0 0 25 0 1 0 183762949 800284672 194874 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 195382 194874 136 292 0 195087 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 781528

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=995904/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=811644 CPUtime=1181.93
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 205253 0 0 0 117508 685 0 0 25 0 1 0 183762949 831123456 202341 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 202911 202341 136 292 0 202616 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 811644

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=967488/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=839692 CPUtime=1241.91
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 212251 0 0 0 123488 703 0 0 25 0 1 0 183762949 859844608 209339 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 209923 209339 136 292 0 209628 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 839692

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=932544/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=874456 CPUtime=1301.9
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 220922 0 0 0 129462 728 0 0 25 0 1 0 183762949 895442944 218010 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 218614 218010 136 292 0 218319 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 874456

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=893952/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=913468 CPUtime=1361.88
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 230657 0 0 0 135435 753 0 0 25 0 1 0 183762949 935391232 227745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 228367 227745 136 292 0 228072 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 913468

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=845952/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=961048 CPUtime=1421.86
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 242528 0 0 0 141410 776 0 0 25 0 1 0 183762949 984113152 239616 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 240262 239616 136 292 0 239967 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 961048

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=803136/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1004428 CPUtime=1481.84
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 253356 0 0 0 147387 797 0 0 25 0 1 0 183762949 1028534272 250444 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 251107 250444 136 292 0 250812 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1004428

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=754944/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1051992 CPUtime=1541.82
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 265234 0 0 0 153362 820 0 0 25 0 1 0 183762949 1077239808 262322 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 262998 262322 136 292 0 262703 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1051992

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=712640/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1095064 CPUtime=1601.8
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 275997 0 0 0 159337 843 0 0 25 0 1 0 183762949 1121345536 273085 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 273766 273085 136 292 0 273471 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1095064

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=664640/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1142220 CPUtime=1661.79
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 287760 0 0 0 165311 868 0 0 25 0 1 0 183762949 1169633280 284848 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 285555 284849 136 292 0 285260 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1142220

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=630272/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1176644 CPUtime=1721.77
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 296361 0 0 0 171290 887 0 0 25 0 1 0 183762949 1204883456 293449 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 294161 293449 136 292 0 293866 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1176644

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=590592/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1216232 CPUtime=1781.75
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 306230 0 0 0 177267 908 0 0 25 0 1 0 183762949 1245421568 303318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 304058 303318 136 292 0 303763 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1216232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=576960/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=1229652 CPUtime=1800.06
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4194304 309583 0 0 0 179092 914 0 0 25 0 1 0 183762949 1259163648 306671 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 307413 306671 136 292 0 307118 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1229652

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7844
/proc/meminfo: memFree=576960/2055920 swapFree=4191900/4192956
[pid=7843] ppid=7841 vsize=0 CPUtime=1800.25
/proc/7843/stat : 7843 (wbo) R 7841 7843 7665 0 -1 4195332 309583 0 0 0 179092 933 0 0 25 0 1 0 183762949 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7843/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.8
CPU time (s): 1800.26
CPU user time (s): 1790.92
CPU system time (s): 9.33758
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1229652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.92
system time used= 9.33758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309583
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= 10
involuntary context switches= 3787

runsolver used 1.17982 second user time and 3.99539 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-16 16:14:18
IDJOB=1875597
IDBENCH=2207
IDSOLVER=698
FILE ID=node37/1875597-1245161657
PBS_JOBID= 9363832
Free space on /tmp= 66168 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b4.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-1875597-1245161657/watcher-1875597-1245161657 -o /tmp/evaluation-result-1875597-1245161657/solver-1875597-1245161657 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875597-1245161657.opb

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

MD5SUM BENCH= bad507f566306ee26a0781c0a8fac473
RANDOM SEED=315536354

node37.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.232
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.232
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:       1807336 kB
Buffers:         42720 kB
Cached:         127224 kB
SwapCached:        260 kB
Active:          42032 kB
Inactive:       141256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807336 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2616 kB
Writeback:           0 kB
Mapped:          21812 kB
Slab:            51416 kB
Committed_AS:   160784 kB
PageTables:       1380 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-1875597-1245161657.opb

Free space on /tmp at the end= 66164 MiB
End job on node37 at 2009-06-16 16:44:20