Trace number 1875785

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.08 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUMa4212e7e4d5e950e6ac9fce9bc7b8e0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark802
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 802
Optimality of the best value was proved YES
Number of variables1648
Total number of constraints20302
Number of constraints which are clauses20302
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 constraint32
Number of terms in the objective function 1648
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 1648
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1648
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875785-1245157448.opb.
0.00/0.00	c Instance file HOME/instance-1875785-1245157448.opb
0.00/0.00	c File size is 732082 bytes.
0.01/0.09	c Highest Coefficient sum: 33
0.01/0.10	c ============================[ Problem Statistics ]=============================
0.01/0.10	c |                                                                             |
0.01/0.10	c |  Parsing time:          0.10         s                                      |
0.01/0.10	c |  Number Variables:      1648                                                |
0.01/0.10	c |  Number Clauses:        21950                                               |
0.01/0.10	c |  Number Cardinality:    0                                                   |
0.01/0.10	c |  Number PB Constraints: 0                                                   |
0.01/0.10	c core #1
0.01/0.10	c Core size: 3	Core Weight: 1	Total Weight: 1
0.01/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #2
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 2
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #3
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 3
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.14	c core #4
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 4
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #5
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 5
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.17	c core #6
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 6
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #7
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 7
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.19/0.20	c core #8
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 8
0.19/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #9
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 9
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.23	c core #10
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 10
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #11
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 11
0.19/0.24	c Elapsed CPU time: 0.242963 s	Remaining CPU time: 1799.76 s
0.19/0.26	c core #12
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 12
0.19/0.26	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #13
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 13
0.19/0.27	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 1799.73 s
0.19/0.29	c core #14
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 14
0.19/0.29	c Elapsed CPU time: 0.286956 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #15
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 15
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #16
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 16
0.29/0.31	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #17
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 17
0.29/0.33	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #18
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 18
0.29/0.34	c Elapsed CPU time: 0.344947 s	Remaining CPU time: 1799.66 s
0.29/0.36	c core #19
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 19
0.29/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #20
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 20
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.39	c core #21
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 21
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #22
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 22
0.39/0.40	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.42	c core #23
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 23
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #24
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 24
0.39/0.43	c Elapsed CPU time: 0.431934 s	Remaining CPU time: 1799.57 s
0.39/0.45	c core #25
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 25
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #26
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 26
0.39/0.46	c Elapsed CPU time: 0.461929 s	Remaining CPU time: 1799.54 s
0.39/0.48	c core #27
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 27
0.39/0.48	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #28
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 28
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.49/0.51	c core #29
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 29
0.49/0.51	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #30
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 30
0.49/0.52	c Elapsed CPU time: 0.51992 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #31
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 31
0.49/0.53	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 1799.47 s
0.49/0.55	c core #32
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 32
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #33
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 33
0.49/0.56	c Elapsed CPU time: 0.563914 s	Remaining CPU time: 1799.44 s
0.49/0.58	c core #34
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 34
0.49/0.58	c Elapsed CPU time: 0.578911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #35
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 35
0.49/0.59	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.59/0.61	c core #36
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 36
0.59/0.61	c Elapsed CPU time: 0.608907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #37
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 37
0.59/0.62	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 1799.38 s
0.59/0.64	c core #38
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 38
0.59/0.64	c Elapsed CPU time: 0.637903 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #39
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 39
0.59/0.65	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.59/0.67	c core #40
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 40
0.59/0.67	c Elapsed CPU time: 0.667898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #41
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 41
0.59/0.68	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 1799.32 s
0.69/0.70	c core #42
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 42
0.69/0.70	c Elapsed CPU time: 0.697893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #43
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 43
0.69/0.71	c Elapsed CPU time: 0.712891 s	Remaining CPU time: 1799.29 s
0.69/0.73	c core #44
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 44
0.69/0.73	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #45
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 45
0.69/0.74	c Elapsed CPU time: 0.742887 s	Remaining CPU time: 1799.26 s
0.69/0.76	c core #46
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 46
0.69/0.76	c Elapsed CPU time: 0.757884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #47
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 47
0.69/0.77	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.79	c core #48
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 48
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #49
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 49
0.79/0.80	c Elapsed CPU time: 0.801878 s	Remaining CPU time: 1799.2 s
0.79/0.82	c core #50
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 50
0.79/0.82	c Elapsed CPU time: 0.816875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #51
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 51
0.79/0.83	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 1799.17 s
0.79/0.85	c core #52
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 52
0.79/0.85	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #53
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 53
0.79/0.86	c Elapsed CPU time: 0.861868 s	Remaining CPU time: 1799.14 s
0.79/0.88	c core #54
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 54
0.79/0.88	c Elapsed CPU time: 0.876866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #55
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 55
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.89/0.91	c core #56
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 56
0.89/0.91	c Elapsed CPU time: 0.905862 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #57
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 57
0.89/0.92	c Elapsed CPU time: 0.92086 s	Remaining CPU time: 1799.08 s
0.89/0.94	c core #58
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 58
0.89/0.94	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #59
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 59
0.89/0.95	c Elapsed CPU time: 0.950855 s	Remaining CPU time: 1799.05 s
0.89/0.97	c core #60
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 60
0.89/0.97	c Elapsed CPU time: 0.965853 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #61
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 61
0.89/0.98	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 1799.02 s
0.89/1.00	c core #62
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 62
0.89/1.00	c Elapsed CPU time: 0.995848 s	Remaining CPU time: 1799 s
1.00/1.01	c core #63
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 63
1.00/1.01	c Elapsed CPU time: 1.00985 s	Remaining CPU time: 1798.99 s
1.00/1.03	c core #64
1.00/1.03	c Core size: 3	Core Weight: 1	Total Weight: 64
1.00/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #65
1.00/1.04	c Core size: 3	Core Weight: 1	Total Weight: 65
1.00/1.04	c Elapsed CPU time: 1.04084 s	Remaining CPU time: 1798.96 s
1.00/1.06	c core #66
1.00/1.06	c Core size: 3	Core Weight: 1	Total Weight: 66
1.00/1.06	c Elapsed CPU time: 1.05584 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #67
1.00/1.07	c Core size: 3	Core Weight: 1	Total Weight: 67
1.00/1.07	c Elapsed CPU time: 1.07184 s	Remaining CPU time: 1798.93 s
1.00/1.09	c core #68
1.00/1.09	c Core size: 3	Core Weight: 1	Total Weight: 68
1.00/1.09	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 1798.91 s
1.10/1.10	c core #69
1.10/1.10	c Core size: 3	Core Weight: 1	Total Weight: 69
1.10/1.10	c Elapsed CPU time: 1.10183 s	Remaining CPU time: 1798.9 s
1.10/1.12	c core #70
1.10/1.12	c Core size: 3	Core Weight: 1	Total Weight: 70
1.10/1.12	c Elapsed CPU time: 1.11783 s	Remaining CPU time: 1798.88 s
1.10/1.13	c core #71
1.10/1.13	c Core size: 3	Core Weight: 1	Total Weight: 71
1.10/1.13	c Elapsed CPU time: 1.13283 s	Remaining CPU time: 1798.87 s
1.10/1.15	c core #72
1.10/1.15	c Core size: 3	Core Weight: 1	Total Weight: 72
1.10/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.10/1.16	c core #73
1.10/1.16	c Core size: 3	Core Weight: 1	Total Weight: 73
1.10/1.16	c Elapsed CPU time: 1.16282 s	Remaining CPU time: 1798.84 s
1.10/1.18	c core #74
1.10/1.18	c Core size: 3	Core Weight: 1	Total Weight: 74
1.10/1.18	c Elapsed CPU time: 1.17782 s	Remaining CPU time: 1798.82 s
1.10/1.19	c core #75
1.10/1.19	c Core size: 3	Core Weight: 1	Total Weight: 75
1.10/1.19	c Elapsed CPU time: 1.19382 s	Remaining CPU time: 1798.81 s
1.19/1.21	c core #76
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 76
1.19/1.21	c Elapsed CPU time: 1.20982 s	Remaining CPU time: 1798.79 s
1.19/1.23	c core #77
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 77
1.19/1.23	c Elapsed CPU time: 1.22581 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #78
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 78
1.19/1.24	c Elapsed CPU time: 1.24181 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #79
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 79
1.19/1.26	c Elapsed CPU time: 1.25681 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #80
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 80
1.19/1.27	c Elapsed CPU time: 1.27281 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #81
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 81
1.19/1.29	c Elapsed CPU time: 1.2868 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #82
1.29/1.30	c Core size: 3	Core Weight: 1	Total Weight: 82
1.29/1.30	c Elapsed CPU time: 1.3038 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #83
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 83
1.29/1.32	c Elapsed CPU time: 1.3178 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #84
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 84
1.29/1.33	c Elapsed CPU time: 1.3328 s	Remaining CPU time: 1798.67 s
1.29/1.35	c core #85
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 85
1.29/1.35	c Elapsed CPU time: 1.3478 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #86
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 86
1.29/1.36	c Elapsed CPU time: 1.36379 s	Remaining CPU time: 1798.64 s
1.29/1.38	c core #87
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 87
1.29/1.38	c Elapsed CPU time: 1.37979 s	Remaining CPU time: 1798.62 s
1.29/1.40	c core #88
1.29/1.40	c Core size: 3	Core Weight: 1	Total Weight: 88
1.29/1.40	c Elapsed CPU time: 1.39579 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #89
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 89
1.39/1.41	c Elapsed CPU time: 1.41078 s	Remaining CPU time: 1798.59 s
1.39/1.43	c core #90
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 90
1.39/1.43	c Elapsed CPU time: 1.42578 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #91
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 91
1.39/1.44	c Elapsed CPU time: 1.44178 s	Remaining CPU time: 1798.56 s
1.39/1.46	c core #92
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 92
1.39/1.46	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #93
1.39/1.47	c Core size: 3	Core Weight: 1	Total Weight: 93
1.39/1.47	c Elapsed CPU time: 1.47278 s	Remaining CPU time: 1798.53 s
1.39/1.49	c core #94
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 94
1.39/1.49	c Elapsed CPU time: 1.48777 s	Remaining CPU time: 1798.51 s
1.49/1.50	c core #95
1.49/1.50	c Core size: 3	Core Weight: 1	Total Weight: 95
1.49/1.50	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.49/1.52	c core #96
1.49/1.52	c Core size: 3	Core Weight: 1	Total Weight: 96
1.49/1.52	c Elapsed CPU time: 1.51877 s	Remaining CPU time: 1798.48 s
1.49/1.53	c core #97
1.49/1.53	c Core size: 3	Core Weight: 1	Total Weight: 97
1.49/1.53	c Elapsed CPU time: 1.53377 s	Remaining CPU time: 1798.47 s
1.49/1.55	c core #98
1.49/1.55	c Core size: 3	Core Weight: 1	Total Weight: 98
1.49/1.55	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 1798.45 s
1.49/1.56	c core #99
1.49/1.56	c Core size: 3	Core Weight: 1	Total Weight: 99
1.49/1.56	c Elapsed CPU time: 1.56476 s	Remaining CPU time: 1798.44 s
1.49/1.58	c core #100
1.49/1.58	c Core size: 3	Core Weight: 1	Total Weight: 100
1.49/1.58	c Elapsed CPU time: 1.58076 s	Remaining CPU time: 1798.42 s
1.59/1.60	c core #101
1.59/1.60	c Core size: 3	Core Weight: 1	Total Weight: 101
1.59/1.60	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #102
1.59/1.61	c Core size: 3	Core Weight: 1	Total Weight: 102
1.59/1.61	c Elapsed CPU time: 1.61175 s	Remaining CPU time: 1798.39 s
1.59/1.63	c core #103
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 103
1.59/1.63	c Elapsed CPU time: 1.62775 s	Remaining CPU time: 1798.37 s
1.59/1.64	c core #104
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 104
1.59/1.64	c Elapsed CPU time: 1.64375 s	Remaining CPU time: 1798.36 s
1.59/1.66	c core #105
1.59/1.66	c Core size: 3	Core Weight: 1	Total Weight: 105
1.59/1.66	c Elapsed CPU time: 1.65875 s	Remaining CPU time: 1798.34 s
1.59/1.68	c core #106
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 106
1.59/1.68	c Elapsed CPU time: 1.67475 s	Remaining CPU time: 1798.33 s
1.59/1.69	c core #107
1.59/1.69	c Core size: 3	Core Weight: 1	Total Weight: 107
1.59/1.69	c Elapsed CPU time: 1.68974 s	Remaining CPU time: 1798.31 s
1.69/1.71	c core #108
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 108
1.69/1.71	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 1798.3 s
1.69/1.72	c core #109
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 109
1.69/1.72	c Elapsed CPU time: 1.71974 s	Remaining CPU time: 1798.28 s
1.69/1.74	c core #110
1.69/1.74	c Core size: 3	Core Weight: 1	Total Weight: 110
1.69/1.74	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.69/1.75	c core #111
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 111
1.69/1.75	c Elapsed CPU time: 1.75173 s	Remaining CPU time: 1798.25 s
1.69/1.77	c core #112
1.69/1.77	c Core size: 3	Core Weight: 1	Total Weight: 112
1.69/1.77	c Elapsed CPU time: 1.76773 s	Remaining CPU time: 1798.23 s
1.69/1.78	c core #113
1.69/1.78	c Core size: 3	Core Weight: 1	Total Weight: 113
1.69/1.78	c Elapsed CPU time: 1.78273 s	Remaining CPU time: 1798.22 s
1.79/1.80	c core #114
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 114
1.79/1.80	c Elapsed CPU time: 1.79873 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #115
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 115
1.79/1.81	c Elapsed CPU time: 1.81372 s	Remaining CPU time: 1798.19 s
1.79/1.83	c core #116
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 116
1.79/1.83	c Elapsed CPU time: 1.82872 s	Remaining CPU time: 1798.17 s
1.79/1.84	c core #117
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 117
1.79/1.84	c Elapsed CPU time: 1.84372 s	Remaining CPU time: 1798.16 s
1.79/1.86	c core #118
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 118
1.79/1.86	c Elapsed CPU time: 1.85972 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #119
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 119
1.79/1.87	c Elapsed CPU time: 1.87472 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #120
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 120
1.79/1.89	c Elapsed CPU time: 1.88971 s	Remaining CPU time: 1798.11 s
1.89/1.90	c core #121
1.89/1.90	c Core size: 3	Core Weight: 1	Total Weight: 121
1.89/1.90	c Elapsed CPU time: 1.90471 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #122
1.89/1.92	c Core size: 3	Core Weight: 1	Total Weight: 122
1.89/1.92	c Elapsed CPU time: 1.92071 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #123
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 123
1.89/1.94	c Elapsed CPU time: 1.93571 s	Remaining CPU time: 1798.06 s
1.89/1.95	c core #124
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 124
1.89/1.95	c Elapsed CPU time: 1.9507 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #125
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 125
1.89/1.97	c Elapsed CPU time: 1.9657 s	Remaining CPU time: 1798.03 s
1.89/1.98	c core #126
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 126
1.89/1.98	c Elapsed CPU time: 1.9807 s	Remaining CPU time: 1798.02 s
1.99/2.00	c core #127
1.99/2.00	c Core size: 3	Core Weight: 1	Total Weight: 127
1.99/2.00	c Elapsed CPU time: 1.9967 s	Remaining CPU time: 1798 s
1.99/2.01	c core #128
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 128
1.99/2.01	c Elapsed CPU time: 2.01269 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #129
1.99/2.03	c Core size: 33	Core Weight: 1	Total Weight: 129
1.99/2.03	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.99/2.04	c core #130
1.99/2.04	c Core size: 33	Core Weight: 1	Total Weight: 130
1.99/2.04	c Elapsed CPU time: 2.04369 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #131
1.99/2.06	c Core size: 33	Core Weight: 1	Total Weight: 131
1.99/2.06	c Elapsed CPU time: 2.05969 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #132
1.99/2.08	c Core size: 33	Core Weight: 1	Total Weight: 132
1.99/2.08	c Elapsed CPU time: 2.07568 s	Remaining CPU time: 1797.92 s
1.99/2.09	c core #133
1.99/2.09	c Core size: 5	Core Weight: 1	Total Weight: 133
1.99/2.09	c Elapsed CPU time: 2.09268 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #134
2.09/2.11	c Core size: 5	Core Weight: 1	Total Weight: 134
2.09/2.11	c Elapsed CPU time: 2.10968 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #135
2.09/2.13	c Core size: 5	Core Weight: 1	Total Weight: 135
2.09/2.13	c Elapsed CPU time: 2.12468 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #136
2.09/2.14	c Core size: 5	Core Weight: 1	Total Weight: 136
2.09/2.14	c Elapsed CPU time: 2.14067 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #137
2.09/2.16	c Core size: 5	Core Weight: 1	Total Weight: 137
2.09/2.16	c Elapsed CPU time: 2.15667 s	Remaining CPU time: 1797.84 s
2.09/2.17	c core #138
2.09/2.17	c Core size: 5	Core Weight: 1	Total Weight: 138
2.09/2.17	c Elapsed CPU time: 2.17267 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #139
2.09/2.19	c Core size: 5	Core Weight: 1	Total Weight: 139
2.09/2.19	c Elapsed CPU time: 2.18867 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #140
2.19/2.21	c Core size: 5	Core Weight: 1	Total Weight: 140
2.19/2.21	c Elapsed CPU time: 2.20466 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #141
2.19/2.22	c Core size: 5	Core Weight: 1	Total Weight: 141
2.19/2.22	c Elapsed CPU time: 2.22166 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #142
2.19/2.24	c Core size: 5	Core Weight: 1	Total Weight: 142
2.19/2.24	c Elapsed CPU time: 2.23766 s	Remaining CPU time: 1797.76 s
2.19/2.25	c core #143
2.19/2.25	c Core size: 5	Core Weight: 1	Total Weight: 143
2.19/2.25	c Elapsed CPU time: 2.25366 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #144
2.19/2.27	c Core size: 5	Core Weight: 1	Total Weight: 144
2.19/2.27	c Elapsed CPU time: 2.26965 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #145
2.19/2.29	c Core size: 5	Core Weight: 1	Total Weight: 145
2.19/2.29	c Elapsed CPU time: 2.28565 s	Remaining CPU time: 1797.71 s
2.29/2.30	c core #146
2.29/2.30	c Core size: 5	Core Weight: 1	Total Weight: 146
2.29/2.30	c Elapsed CPU time: 2.30165 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #147
2.29/2.32	c Core size: 5	Core Weight: 1	Total Weight: 147
2.29/2.32	c Elapsed CPU time: 2.31765 s	Remaining CPU time: 1797.68 s
2.29/2.33	c core #148
2.29/2.33	c Core size: 5	Core Weight: 1	Total Weight: 148
2.29/2.33	c Elapsed CPU time: 2.33465 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #149
2.29/2.35	c Core size: 5	Core Weight: 1	Total Weight: 149
2.29/2.35	c Elapsed CPU time: 2.35164 s	Remaining CPU time: 1797.65 s
2.29/2.37	c core #150
2.29/2.37	c Core size: 5	Core Weight: 1	Total Weight: 150
2.29/2.37	c Elapsed CPU time: 2.36864 s	Remaining CPU time: 1797.63 s
2.29/2.39	c core #151
2.29/2.39	c Core size: 5	Core Weight: 1	Total Weight: 151
2.29/2.39	c Elapsed CPU time: 2.38564 s	Remaining CPU time: 1797.61 s
2.39/2.40	c core #152
2.39/2.40	c Core size: 5	Core Weight: 1	Total Weight: 152
2.39/2.40	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.39/2.42	c core #153
2.39/2.42	c Core size: 5	Core Weight: 1	Total Weight: 153
2.39/2.42	c Elapsed CPU time: 2.41763 s	Remaining CPU time: 1797.58 s
2.39/2.43	c core #154
2.39/2.43	c Core size: 5	Core Weight: 1	Total Weight: 154
2.39/2.43	c Elapsed CPU time: 2.43463 s	Remaining CPU time: 1797.57 s
2.39/2.45	c core #155
2.39/2.45	c Core size: 5	Core Weight: 1	Total Weight: 155
2.39/2.45	c Elapsed CPU time: 2.45063 s	Remaining CPU time: 1797.55 s
2.39/2.47	c core #156
2.39/2.47	c Core size: 5	Core Weight: 1	Total Weight: 156
2.39/2.47	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.39/2.48	c core #157
2.39/2.48	c Core size: 5	Core Weight: 1	Total Weight: 157
2.39/2.48	c Elapsed CPU time: 2.48362 s	Remaining CPU time: 1797.52 s
2.49/2.50	c core #158
2.49/2.50	c Core size: 5	Core Weight: 1	Total Weight: 158
2.49/2.50	c Elapsed CPU time: 2.50062 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #159
2.49/2.52	c Core size: 5	Core Weight: 1	Total Weight: 159
2.49/2.52	c Elapsed CPU time: 2.51662 s	Remaining CPU time: 1797.48 s
2.49/2.53	c core #160
2.49/2.53	c Core size: 5	Core Weight: 1	Total Weight: 160
2.49/2.53	c Elapsed CPU time: 2.53361 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #161
2.49/2.55	c Core size: 5	Core Weight: 1	Total Weight: 161
2.49/2.55	c Elapsed CPU time: 2.54961 s	Remaining CPU time: 1797.45 s
2.49/2.57	c core #162
2.49/2.57	c Core size: 5	Core Weight: 1	Total Weight: 162
2.49/2.57	c Elapsed CPU time: 2.56761 s	Remaining CPU time: 1797.43 s
2.49/2.58	c core #163
2.49/2.58	c Core size: 5	Core Weight: 1	Total Weight: 163
2.49/2.58	c Elapsed CPU time: 2.58461 s	Remaining CPU time: 1797.42 s
2.59/2.60	c core #164
2.59/2.60	c Core size: 5	Core Weight: 1	Total Weight: 164
2.59/2.60	c Elapsed CPU time: 2.6006 s	Remaining CPU time: 1797.4 s
2.59/2.62	c core #165
2.59/2.62	c Core size: 5	Core Weight: 1	Total Weight: 165
2.59/2.62	c Elapsed CPU time: 2.6176 s	Remaining CPU time: 1797.38 s
2.59/2.63	c core #166
2.59/2.63	c Core size: 5	Core Weight: 1	Total Weight: 166
2.59/2.63	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 1797.37 s
2.59/2.65	c core #167
2.59/2.65	c Core size: 5	Core Weight: 1	Total Weight: 167
2.59/2.65	c Elapsed CPU time: 2.6506 s	Remaining CPU time: 1797.35 s
2.59/2.67	c core #168
2.59/2.67	c Core size: 5	Core Weight: 1	Total Weight: 168
2.59/2.67	c Elapsed CPU time: 2.66759 s	Remaining CPU time: 1797.33 s
2.59/2.68	c core #169
2.59/2.68	c Core size: 5	Core Weight: 1	Total Weight: 169
2.59/2.68	c Elapsed CPU time: 2.68459 s	Remaining CPU time: 1797.32 s
2.69/2.70	c core #170
2.69/2.70	c Core size: 5	Core Weight: 1	Total Weight: 170
2.69/2.70	c Elapsed CPU time: 2.70159 s	Remaining CPU time: 1797.3 s
2.69/2.72	c core #171
2.69/2.72	c Core size: 5	Core Weight: 1	Total Weight: 171
2.69/2.72	c Elapsed CPU time: 2.71959 s	Remaining CPU time: 1797.28 s
2.69/2.74	c core #172
2.69/2.74	c Core size: 5	Core Weight: 1	Total Weight: 172
2.69/2.74	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 1797.26 s
2.69/2.75	c core #173
2.69/2.75	c Core size: 5	Core Weight: 1	Total Weight: 173
2.69/2.75	c Elapsed CPU time: 2.75258 s	Remaining CPU time: 1797.25 s
2.69/2.77	c core #174
2.69/2.77	c Core size: 5	Core Weight: 1	Total Weight: 174
2.69/2.77	c Elapsed CPU time: 2.76958 s	Remaining CPU time: 1797.23 s
2.69/2.79	c core #175
2.69/2.79	c Core size: 5	Core Weight: 1	Total Weight: 175
2.69/2.79	c Elapsed CPU time: 2.78558 s	Remaining CPU time: 1797.21 s
2.79/2.80	c core #176
2.79/2.80	c Core size: 5	Core Weight: 1	Total Weight: 176
2.79/2.80	c Elapsed CPU time: 2.80157 s	Remaining CPU time: 1797.2 s
2.79/2.82	c core #177
2.79/2.82	c Core size: 5	Core Weight: 1	Total Weight: 177
2.79/2.82	c Elapsed CPU time: 2.81757 s	Remaining CPU time: 1797.18 s
2.79/2.84	c core #178
2.79/2.84	c Core size: 5	Core Weight: 1	Total Weight: 178
2.79/2.84	c Elapsed CPU time: 2.83457 s	Remaining CPU time: 1797.17 s
2.79/2.85	c core #179
2.79/2.85	c Core size: 5	Core Weight: 1	Total Weight: 179
2.79/2.85	c Elapsed CPU time: 2.85157 s	Remaining CPU time: 1797.15 s
2.79/2.87	c core #180
2.79/2.87	c Core size: 5	Core Weight: 1	Total Weight: 180
2.79/2.87	c Elapsed CPU time: 2.86856 s	Remaining CPU time: 1797.13 s
2.79/2.89	c core #181
2.79/2.89	c Core size: 5	Core Weight: 1	Total Weight: 181
2.79/2.89	c Elapsed CPU time: 2.88556 s	Remaining CPU time: 1797.11 s
2.89/2.90	c core #182
2.89/2.90	c Core size: 5	Core Weight: 1	Total Weight: 182
2.89/2.90	c Elapsed CPU time: 2.90256 s	Remaining CPU time: 1797.1 s
2.89/2.92	c core #183
2.89/2.92	c Core size: 5	Core Weight: 1	Total Weight: 183
2.89/2.92	c Elapsed CPU time: 2.91856 s	Remaining CPU time: 1797.08 s
2.89/2.94	c core #184
2.89/2.94	c Core size: 5	Core Weight: 1	Total Weight: 184
2.89/2.94	c Elapsed CPU time: 2.93655 s	Remaining CPU time: 1797.06 s
2.89/2.95	c core #185
2.89/2.95	c Core size: 5	Core Weight: 1	Total Weight: 185
2.89/2.95	c Elapsed CPU time: 2.95355 s	Remaining CPU time: 1797.05 s
2.89/2.97	c core #186
2.89/2.97	c Core size: 5	Core Weight: 1	Total Weight: 186
2.89/2.97	c Elapsed CPU time: 2.97055 s	Remaining CPU time: 1797.03 s
2.89/2.99	c core #187
2.89/2.99	c Core size: 5	Core Weight: 1	Total Weight: 187
2.89/2.99	c Elapsed CPU time: 2.98655 s	Remaining CPU time: 1797.01 s
2.99/3.00	c core #188
2.99/3.00	c Core size: 5	Core Weight: 1	Total Weight: 188
2.99/3.00	c Elapsed CPU time: 3.00354 s	Remaining CPU time: 1797 s
2.99/3.02	c core #189
2.99/3.02	c Core size: 5	Core Weight: 1	Total Weight: 189
2.99/3.02	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 1796.98 s
2.99/3.04	c core #190
2.99/3.04	c Core size: 5	Core Weight: 1	Total Weight: 190
2.99/3.04	c Elapsed CPU time: 3.03654 s	Remaining CPU time: 1796.96 s
2.99/3.06	c core #191
2.99/3.06	c Core size: 5	Core Weight: 1	Total Weight: 191
2.99/3.06	c Elapsed CPU time: 3.05354 s	Remaining CPU time: 1796.95 s
2.99/3.07	c core #192
2.99/3.07	c Core size: 5	Core Weight: 1	Total Weight: 192
2.99/3.07	c Elapsed CPU time: 3.07153 s	Remaining CPU time: 1796.93 s
2.99/3.09	c core #193
2.99/3.09	c Core size: 5	Core Weight: 1	Total Weight: 193
2.99/3.09	c Elapsed CPU time: 3.08853 s	Remaining CPU time: 1796.91 s
3.09/3.11	c core #194
3.09/3.11	c Core size: 5	Core Weight: 1	Total Weight: 194
3.09/3.11	c Elapsed CPU time: 3.10753 s	Remaining CPU time: 1796.89 s
3.09/3.13	c core #195
3.09/3.13	c Core size: 5	Core Weight: 1	Total Weight: 195
3.09/3.13	c Elapsed CPU time: 3.12352 s	Remaining CPU time: 1796.88 s
3.09/3.14	c core #196
3.09/3.14	c Core size: 5	Core Weight: 1	Total Weight: 196
3.09/3.14	c Elapsed CPU time: 3.14052 s	Remaining CPU time: 1796.86 s
3.09/3.16	c core #197
3.09/3.16	c Core size: 5	Core Weight: 1	Total Weight: 197
3.09/3.16	c Elapsed CPU time: 3.15752 s	Remaining CPU time: 1796.84 s
3.09/3.18	c core #198
3.09/3.18	c Core size: 5	Core Weight: 1	Total Weight: 198
3.09/3.18	c Elapsed CPU time: 3.17452 s	Remaining CPU time: 1796.83 s
3.09/3.19	c core #199
3.09/3.19	c Core size: 5	Core Weight: 1	Total Weight: 199
3.09/3.19	c Elapsed CPU time: 3.19051 s	Remaining CPU time: 1796.81 s
3.19/3.21	c core #200
3.19/3.21	c Core size: 5	Core Weight: 1	Total Weight: 200
3.19/3.21	c Elapsed CPU time: 3.20851 s	Remaining CPU time: 1796.79 s
3.19/3.23	c core #201
3.19/3.23	c Core size: 5	Core Weight: 1	Total Weight: 201
3.19/3.23	c Elapsed CPU time: 3.22351 s	Remaining CPU time: 1796.78 s
3.19/3.24	c core #202
3.19/3.24	c Core size: 5	Core Weight: 1	Total Weight: 202
3.19/3.24	c Elapsed CPU time: 3.24151 s	Remaining CPU time: 1796.76 s
3.19/3.26	c core #203
3.19/3.26	c Core size: 5	Core Weight: 1	Total Weight: 203
3.19/3.26	c Elapsed CPU time: 3.2585 s	Remaining CPU time: 1796.74 s
3.19/3.28	c core #204
3.19/3.28	c Core size: 5	Core Weight: 1	Total Weight: 204
3.19/3.28	c Elapsed CPU time: 3.2765 s	Remaining CPU time: 1796.72 s
3.19/3.30	c core #205
3.19/3.30	c Core size: 5	Core Weight: 1	Total Weight: 205
3.19/3.30	c Elapsed CPU time: 3.2945 s	Remaining CPU time: 1796.71 s
3.29/3.31	c core #206
3.29/3.31	c Core size: 5	Core Weight: 1	Total Weight: 206
3.29/3.31	c Elapsed CPU time: 3.3115 s	Remaining CPU time: 1796.69 s
3.29/3.33	c core #207
3.29/3.33	c Core size: 5	Core Weight: 1	Total Weight: 207
3.29/3.33	c Elapsed CPU time: 3.32749 s	Remaining CPU time: 1796.67 s
3.29/3.35	c core #208
3.29/3.35	c Core size: 5	Core Weight: 1	Total Weight: 208
3.29/3.35	c Elapsed CPU time: 3.34649 s	Remaining CPU time: 1796.65 s
3.29/3.37	c core #209
3.29/3.37	c Core size: 5	Core Weight: 1	Total Weight: 209
3.29/3.37	c Elapsed CPU time: 3.36349 s	Remaining CPU time: 1796.64 s
3.29/3.39	c core #210
3.29/3.39	c Core size: 5	Core Weight: 1	Total Weight: 210
3.29/3.39	c Elapsed CPU time: 3.38149 s	Remaining CPU time: 1796.62 s
3.39/3.40	c core #211
3.39/3.40	c Core size: 5	Core Weight: 1	Total Weight: 211
3.39/3.40	c Elapsed CPU time: 3.39848 s	Remaining CPU time: 1796.6 s
3.39/3.42	c core #212
3.39/3.42	c Core size: 5	Core Weight: 1	Total Weight: 212
3.39/3.42	c Elapsed CPU time: 3.41548 s	Remaining CPU time: 1796.58 s
3.39/3.44	c core #213
3.39/3.44	c Core size: 5	Core Weight: 1	Total Weight: 213
3.39/3.44	c Elapsed CPU time: 3.43248 s	Remaining CPU time: 1796.57 s
3.39/3.45	c core #214
3.39/3.45	c Core size: 5	Core Weight: 1	Total Weight: 214
3.39/3.45	c Elapsed CPU time: 3.44948 s	Remaining CPU time: 1796.55 s
3.39/3.47	c core #215
3.39/3.47	c Core size: 5	Core Weight: 1	Total Weight: 215
3.39/3.47	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.39/3.49	c core #216
3.39/3.49	c Core size: 5	Core Weight: 1	Total Weight: 216
3.39/3.49	c Elapsed CPU time: 3.48447 s	Remaining CPU time: 1796.52 s
3.49/3.51	c core #217
3.49/3.51	c Core size: 5	Core Weight: 1	Total Weight: 217
3.49/3.51	c Elapsed CPU time: 3.50147 s	Remaining CPU time: 1796.5 s
3.49/3.52	c core #218
3.49/3.52	c Core size: 5	Core Weight: 1	Total Weight: 218
3.49/3.52	c Elapsed CPU time: 3.51846 s	Remaining CPU time: 1796.48 s
3.49/3.54	c core #219
3.49/3.54	c Core size: 5	Core Weight: 1	Total Weight: 219
3.49/3.54	c Elapsed CPU time: 3.53646 s	Remaining CPU time: 1796.46 s
3.49/3.56	c core #220
3.49/3.56	c Core size: 5	Core Weight: 1	Total Weight: 220
3.49/3.56	c Elapsed CPU time: 3.55446 s	Remaining CPU time: 1796.45 s
3.49/3.58	c core #221
3.49/3.58	c Core size: 5	Core Weight: 1	Total Weight: 221
3.49/3.58	c Elapsed CPU time: 3.57146 s	Remaining CPU time: 1796.43 s
3.49/3.59	c core #222
3.49/3.59	c Core size: 5	Core Weight: 1	Total Weight: 222
3.49/3.59	c Elapsed CPU time: 3.59045 s	Remaining CPU time: 1796.41 s
3.59/3.61	c core #223
3.59/3.61	c Core size: 5	Core Weight: 1	Total Weight: 223
3.59/3.61	c Elapsed CPU time: 3.60745 s	Remaining CPU time: 1796.39 s
3.59/3.63	c core #224
3.59/3.63	c Core size: 5	Core Weight: 1	Total Weight: 224
3.59/3.63	c Elapsed CPU time: 3.62545 s	Remaining CPU time: 1796.37 s
3.59/3.65	c core #225
3.59/3.65	c Core size: 5	Core Weight: 1	Total Weight: 225
3.59/3.65	c Elapsed CPU time: 3.64345 s	Remaining CPU time: 1796.36 s
3.59/3.67	c core #226
3.59/3.67	c Core size: 5	Core Weight: 1	Total Weight: 226
3.59/3.67	c Elapsed CPU time: 3.66144 s	Remaining CPU time: 1796.34 s
3.59/3.68	c core #227
3.59/3.68	c Core size: 5	Core Weight: 1	Total Weight: 227
3.59/3.68	c Elapsed CPU time: 3.67844 s	Remaining CPU time: 1796.32 s
3.69/3.70	c core #228
3.69/3.70	c Core size: 5	Core Weight: 1	Total Weight: 228
3.69/3.70	c Elapsed CPU time: 3.69744 s	Remaining CPU time: 1796.3 s
3.69/3.72	c core #229
3.69/3.72	c Core size: 5	Core Weight: 1	Total Weight: 229
3.69/3.72	c Elapsed CPU time: 3.71443 s	Remaining CPU time: 1796.29 s
3.69/3.74	c core #230
3.69/3.74	c Core size: 5	Core Weight: 1	Total Weight: 230
3.69/3.74	c Elapsed CPU time: 3.73143 s	Remaining CPU time: 1796.27 s
3.69/3.75	c core #231
3.69/3.75	c Core size: 5	Core Weight: 1	Total Weight: 231
3.69/3.75	c Elapsed CPU time: 3.74943 s	Remaining CPU time: 1796.25 s
3.69/3.77	c core #232
3.69/3.77	c Core size: 5	Core Weight: 1	Total Weight: 232
3.69/3.77	c Elapsed CPU time: 3.76643 s	Remaining CPU time: 1796.23 s
3.69/3.79	c core #233
3.69/3.79	c Core size: 5	Core Weight: 1	Total Weight: 233
3.69/3.79	c Elapsed CPU time: 3.78542 s	Remaining CPU time: 1796.21 s
3.79/3.81	c core #234
3.79/3.81	c Core size: 5	Core Weight: 1	Total Weight: 234
3.79/3.81	c Elapsed CPU time: 3.80242 s	Remaining CPU time: 1796.2 s
3.79/3.83	c core #235
3.79/3.83	c Core size: 5	Core Weight: 1	Total Weight: 235
3.79/3.83	c Elapsed CPU time: 3.82042 s	Remaining CPU time: 1796.18 s
3.79/3.84	c core #236
3.79/3.84	c Core size: 5	Core Weight: 1	Total Weight: 236
3.79/3.84	c Elapsed CPU time: 3.83742 s	Remaining CPU time: 1796.16 s
3.79/3.86	c core #237
3.79/3.86	c Core size: 5	Core Weight: 1	Total Weight: 237
3.79/3.86	c Elapsed CPU time: 3.85641 s	Remaining CPU time: 1796.14 s
3.79/3.88	c core #238
3.79/3.88	c Core size: 5	Core Weight: 1	Total Weight: 238
3.79/3.88	c Elapsed CPU time: 3.87441 s	Remaining CPU time: 1796.13 s
3.89/3.90	c core #239
3.89/3.90	c Core size: 5	Core Weight: 1	Total Weight: 239
3.89/3.90	c Elapsed CPU time: 3.89341 s	Remaining CPU time: 1796.11 s
3.89/3.92	c core #240
3.89/3.92	c Core size: 5	Core Weight: 1	Total Weight: 240
3.89/3.92	c Elapsed CPU time: 3.91141 s	Remaining CPU time: 1796.09 s
3.89/3.93	c core #241
3.89/3.93	c Core size: 5	Core Weight: 1	Total Weight: 241
3.89/3.93	c Elapsed CPU time: 3.9284 s	Remaining CPU time: 1796.07 s
3.89/3.95	c core #242
3.89/3.95	c Core size: 5	Core Weight: 1	Total Weight: 242
3.89/3.95	c Elapsed CPU time: 3.9464 s	Remaining CPU time: 1796.05 s
3.89/3.97	c core #243
3.89/3.97	c Core size: 5	Core Weight: 1	Total Weight: 243
3.89/3.97	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 1796.04 s
3.89/3.99	c core #244
3.89/3.99	c Core size: 5	Core Weight: 1	Total Weight: 244
3.89/3.99	c Elapsed CPU time: 3.98339 s	Remaining CPU time: 1796.02 s
3.99/4.01	c core #245
3.99/4.01	c Core size: 5	Core Weight: 1	Total Weight: 245
3.99/4.01	c Elapsed CPU time: 4.00139 s	Remaining CPU time: 1796 s
3.99/4.03	c core #246
3.99/4.03	c Core size: 5	Core Weight: 1	Total Weight: 246
3.99/4.03	c Elapsed CPU time: 4.01939 s	Remaining CPU time: 1795.98 s
3.99/4.04	c core #247
3.99/4.04	c Core size: 5	Core Weight: 1	Total Weight: 247
3.99/4.04	c Elapsed CPU time: 4.03739 s	Remaining CPU time: 1795.96 s
3.99/4.06	c core #248
3.99/4.06	c Core size: 5	Core Weight: 1	Total Weight: 248
3.99/4.06	c Elapsed CPU time: 4.05538 s	Remaining CPU time: 1795.94 s
3.99/4.08	c core #249
3.99/4.08	c Core size: 5	Core Weight: 1	Total Weight: 249
3.99/4.08	c Elapsed CPU time: 4.07438 s	Remaining CPU time: 1795.93 s
4.09/4.10	c core #250
4.09/4.10	c Core size: 5	Core Weight: 1	Total Weight: 250
4.09/4.10	c Elapsed CPU time: 4.09338 s	Remaining CPU time: 1795.91 s
4.09/4.12	c core #251
4.09/4.12	c Core size: 5	Core Weight: 1	Total Weight: 251
4.09/4.12	c Elapsed CPU time: 4.11137 s	Remaining CPU time: 1795.89 s
4.09/4.14	c core #252
4.09/4.14	c Core size: 5	Core Weight: 1	Total Weight: 252
4.09/4.14	c Elapsed CPU time: 4.13037 s	Remaining CPU time: 1795.87 s
4.09/4.15	c core #253
4.09/4.15	c Core size: 5	Core Weight: 1	Total Weight: 253
4.09/4.15	c Elapsed CPU time: 4.14737 s	Remaining CPU time: 1795.85 s
4.09/4.17	c core #254
4.09/4.17	c Core size: 5	Core Weight: 1	Total Weight: 254
4.09/4.17	c Elapsed CPU time: 4.16537 s	Remaining CPU time: 1795.83 s
4.09/4.19	c core #255
4.09/4.19	c Core size: 5	Core Weight: 1	Total Weight: 255
4.09/4.19	c Elapsed CPU time: 4.18336 s	Remaining CPU time: 1795.82 s
4.19/4.21	c core #256
4.19/4.21	c Core size: 5	Core Weight: 1	Total Weight: 256
4.19/4.21	c Elapsed CPU time: 4.20236 s	Remaining CPU time: 1795.8 s
4.19/4.23	c core #257
4.19/4.23	c Core size: 5	Core Weight: 1	Total Weight: 257
4.19/4.23	c Elapsed CPU time: 4.22036 s	Remaining CPU time: 1795.78 s
4.19/4.24	c core #258
4.19/4.24	c Core size: 5	Core Weight: 1	Total Weight: 258
4.19/4.24	c Elapsed CPU time: 4.23836 s	Remaining CPU time: 1795.76 s
4.19/4.26	c core #259
4.19/4.26	c Core size: 5	Core Weight: 1	Total Weight: 259
4.19/4.26	c Elapsed CPU time: 4.25635 s	Remaining CPU time: 1795.74 s
4.19/4.28	c core #260
4.19/4.28	c Core size: 5	Core Weight: 1	Total Weight: 260
4.19/4.28	c Elapsed CPU time: 4.27535 s	Remaining CPU time: 1795.72 s
4.19/4.30	c core #261
4.19/4.30	c Core size: 5	Core Weight: 1	Total Weight: 261
4.19/4.30	c Elapsed CPU time: 4.29335 s	Remaining CPU time: 1795.71 s
4.29/4.32	c core #262
4.29/4.32	c Core size: 5	Core Weight: 1	Total Weight: 262
4.29/4.32	c Elapsed CPU time: 4.31034 s	Remaining CPU time: 1795.69 s
4.29/4.34	c core #263
4.29/4.34	c Core size: 5	Core Weight: 1	Total Weight: 263
4.29/4.34	c Elapsed CPU time: 4.32834 s	Remaining CPU time: 1795.67 s
4.29/4.35	c core #264
4.29/4.35	c Core size: 5	Core Weight: 1	Total Weight: 264
4.29/4.35	c Elapsed CPU time: 4.34634 s	Remaining CPU time: 1795.65 s
4.29/4.37	c core #265
4.29/4.37	c Core size: 5	Core Weight: 1	Total Weight: 265
4.29/4.37	c Elapsed CPU time: 4.36434 s	Remaining CPU time: 1795.64 s
4.29/4.39	c core #266
4.29/4.39	c Core size: 5	Core Weight: 1	Total Weight: 266
4.29/4.39	c Elapsed CPU time: 4.38233 s	Remaining CPU time: 1795.62 s
4.40/4.41	c core #267
4.40/4.41	c Core size: 5	Core Weight: 1	Total Weight: 267
4.40/4.41	c Elapsed CPU time: 4.40033 s	Remaining CPU time: 1795.6 s
4.40/4.43	c core #268
4.40/4.43	c Core size: 5	Core Weight: 1	Total Weight: 268
4.40/4.43	c Elapsed CPU time: 4.41933 s	Remaining CPU time: 1795.58 s
4.40/4.45	c core #269
4.40/4.45	c Core size: 5	Core Weight: 1	Total Weight: 269
4.40/4.45	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 1795.56 s
4.40/4.46	c core #270
4.40/4.46	c Core size: 5	Core Weight: 1	Total Weight: 270
4.40/4.46	c Elapsed CPU time: 4.45632 s	Remaining CPU time: 1795.54 s
4.40/4.48	c core #271
4.40/4.48	c Core size: 5	Core Weight: 1	Total Weight: 271
4.40/4.48	c Elapsed CPU time: 4.47432 s	Remaining CPU time: 1795.53 s
4.49/4.50	c core #272
4.49/4.50	c Core size: 5	Core Weight: 1	Total Weight: 272
4.49/4.50	c Elapsed CPU time: 4.49232 s	Remaining CPU time: 1795.51 s
4.49/4.52	c core #273
4.49/4.52	c Core size: 5	Core Weight: 1	Total Weight: 273
4.49/4.52	c Elapsed CPU time: 4.51131 s	Remaining CPU time: 1795.49 s
4.49/4.54	c core #274
4.49/4.54	c Core size: 5	Core Weight: 1	Total Weight: 274
4.49/4.54	c Elapsed CPU time: 4.52931 s	Remaining CPU time: 1795.47 s
4.49/4.56	c core #275
4.49/4.56	c Core size: 47	Core Weight: 1	Total Weight: 275
4.49/4.56	c Elapsed CPU time: 4.54731 s	Remaining CPU time: 1795.45 s
4.49/4.58	c core #276
4.49/4.58	c Core size: 63	Core Weight: 1	Total Weight: 276
4.49/4.58	c Elapsed CPU time: 4.5663 s	Remaining CPU time: 1795.43 s
4.59/4.60	c core #277
4.59/4.60	c Core size: 68	Core Weight: 1	Total Weight: 277
4.59/4.60	c Elapsed CPU time: 4.5863 s	Remaining CPU time: 1795.41 s
4.59/4.62	c core #278
4.59/4.62	c Core size: 70	Core Weight: 1	Total Weight: 278
4.59/4.62	c Elapsed CPU time: 4.6083 s	Remaining CPU time: 1795.39 s
4.59/4.64	c core #279
4.59/4.64	c Core size: 72	Core Weight: 1	Total Weight: 279
4.59/4.64	c Elapsed CPU time: 4.6293 s	Remaining CPU time: 1795.37 s
4.59/4.66	c core #280
4.59/4.66	c Core size: 72	Core Weight: 1	Total Weight: 280
4.59/4.66	c Elapsed CPU time: 4.65129 s	Remaining CPU time: 1795.35 s
4.59/4.69	c core #281
4.59/4.69	c Core size: 70	Core Weight: 1	Total Weight: 281
4.59/4.69	c Elapsed CPU time: 4.67429 s	Remaining CPU time: 1795.33 s
4.69/4.71	c core #282
4.69/4.71	c Core size: 70	Core Weight: 1	Total Weight: 282
4.69/4.71	c Elapsed CPU time: 4.69629 s	Remaining CPU time: 1795.3 s
4.69/4.73	c core #283
4.69/4.73	c Core size: 73	Core Weight: 1	Total Weight: 283
4.69/4.73	c Elapsed CPU time: 4.71828 s	Remaining CPU time: 1795.28 s
4.69/4.75	c core #284
4.69/4.75	c Core size: 71	Core Weight: 1	Total Weight: 284
4.69/4.75	c Elapsed CPU time: 4.74128 s	Remaining CPU time: 1795.26 s
4.69/4.78	c core #285
4.69/4.78	c Core size: 71	Core Weight: 1	Total Weight: 285
4.69/4.78	c Elapsed CPU time: 4.76228 s	Remaining CPU time: 1795.24 s
4.79/4.80	c core #286
4.79/4.80	c Core size: 71	Core Weight: 1	Total Weight: 286
4.79/4.80	c Elapsed CPU time: 4.78527 s	Remaining CPU time: 1795.21 s
4.79/4.82	c core #287
4.79/4.82	c Core size: 70	Core Weight: 1	Total Weight: 287
4.79/4.82	c Elapsed CPU time: 4.80827 s	Remaining CPU time: 1795.19 s
4.79/4.85	c core #288
4.79/4.85	c Core size: 72	Core Weight: 1	Total Weight: 288
4.79/4.85	c Elapsed CPU time: 4.83127 s	Remaining CPU time: 1795.17 s
4.79/4.87	c core #289
4.79/4.87	c Core size: 70	Core Weight: 1	Total Weight: 289
4.79/4.87	c Elapsed CPU time: 4.85426 s	Remaining CPU time: 1795.15 s
4.79/4.89	c core #290
4.79/4.89	c Core size: 70	Core Weight: 1	Total Weight: 290
4.79/4.89	c Elapsed CPU time: 4.87726 s	Remaining CPU time: 1795.12 s
4.89/4.91	c core #291
4.89/4.91	c Core size: 70	Core Weight: 1	Total Weight: 291
4.89/4.91	c Elapsed CPU time: 4.89926 s	Remaining CPU time: 1795.1 s
4.89/4.94	c core #292
4.89/4.94	c Core size: 72	Core Weight: 1	Total Weight: 292
4.89/4.94	c Elapsed CPU time: 4.92325 s	Remaining CPU time: 1795.08 s
4.89/4.96	c core #293
4.89/4.96	c Core size: 70	Core Weight: 1	Total Weight: 293
4.89/4.96	c Elapsed CPU time: 4.94625 s	Remaining CPU time: 1795.05 s
4.89/4.99	c core #294
4.89/4.99	c Core size: 71	Core Weight: 1	Total Weight: 294
4.89/4.99	c Elapsed CPU time: 4.97024 s	Remaining CPU time: 1795.03 s
4.99/5.01	c core #295
4.99/5.01	c Core size: 71	Core Weight: 1	Total Weight: 295
4.99/5.01	c Elapsed CPU time: 4.99324 s	Remaining CPU time: 1795.01 s
4.99/5.03	c core #296
4.99/5.03	c Core size: 70	Core Weight: 1	Total Weight: 296
4.99/5.03	c Elapsed CPU time: 5.01624 s	Remaining CPU time: 1794.98 s
4.99/5.06	c core #297
4.99/5.06	c Core size: 71	Core Weight: 1	Total Weight: 297
4.99/5.06	c Elapsed CPU time: 5.03923 s	Remaining CPU time: 1794.96 s
4.99/5.08	c core #298
4.99/5.08	c Core size: 71	Core Weight: 1	Total Weight: 298
4.99/5.08	c Elapsed CPU time: 5.06323 s	Remaining CPU time: 1794.94 s
5.08/5.10	c core #299
5.08/5.10	c Core size: 47	Core Weight: 1	Total Weight: 299
5.08/5.10	c Elapsed CPU time: 5.08523 s	Remaining CPU time: 1794.91 s
5.08/5.13	c core #300
5.08/5.13	c Core size: 63	Core Weight: 1	Total Weight: 300
5.08/5.13	c Elapsed CPU time: 5.10822 s	Remaining CPU time: 1794.89 s
5.08/5.15	c core #301
5.08/5.15	c Core size: 68	Core Weight: 1	Total Weight: 301
5.08/5.15	c Elapsed CPU time: 5.13222 s	Remaining CPU time: 1794.87 s
5.08/5.18	c core #302
5.08/5.18	c Core size: 70	Core Weight: 1	Total Weight: 302
5.08/5.18	c Elapsed CPU time: 5.15822 s	Remaining CPU time: 1794.84 s
5.18/5.20	c core #303
5.18/5.20	c Core size: 72	Core Weight: 1	Total Weight: 303
5.18/5.20	c Elapsed CPU time: 5.18421 s	Remaining CPU time: 1794.82 s
5.18/5.23	c core #304
5.18/5.23	c Core size: 72	Core Weight: 1	Total Weight: 304
5.18/5.23	c Elapsed CPU time: 5.21021 s	Remaining CPU time: 1794.79 s
5.18/5.25	c core #305
5.18/5.25	c Core size: 70	Core Weight: 1	Total Weight: 305
5.18/5.25	c Elapsed CPU time: 5.2332 s	Remaining CPU time: 1794.77 s
5.18/5.28	c core #306
5.18/5.28	c Core size: 70	Core Weight: 1	Total Weight: 306
5.18/5.28	c Elapsed CPU time: 5.2592 s	Remaining CPU time: 1794.74 s
5.28/5.30	c core #307
5.28/5.30	c Core size: 73	Core Weight: 1	Total Weight: 307
5.28/5.30	c Elapsed CPU time: 5.2852 s	Remaining CPU time: 1794.71 s
5.28/5.33	c core #308
5.28/5.33	c Core size: 71	Core Weight: 1	Total Weight: 308
5.28/5.33	c Elapsed CPU time: 5.31119 s	Remaining CPU time: 1794.69 s
5.28/5.36	c core #309
5.28/5.36	c Core size: 71	Core Weight: 1	Total Weight: 309
5.28/5.36	c Elapsed CPU time: 5.33619 s	Remaining CPU time: 1794.66 s
5.28/5.38	c core #310
5.28/5.38	c Core size: 71	Core Weight: 1	Total Weight: 310
5.28/5.38	c Elapsed CPU time: 5.36218 s	Remaining CPU time: 1794.64 s
5.39/5.41	c core #311
5.39/5.41	c Core size: 70	Core Weight: 1	Total Weight: 311
5.39/5.41	c Elapsed CPU time: 5.38918 s	Remaining CPU time: 1794.61 s
5.39/5.44	c core #312
5.39/5.44	c Core size: 72	Core Weight: 1	Total Weight: 312
5.39/5.44	c Elapsed CPU time: 5.41518 s	Remaining CPU time: 1794.58 s
5.39/5.46	c core #313
5.39/5.46	c Core size: 70	Core Weight: 1	Total Weight: 313
5.39/5.46	c Elapsed CPU time: 5.44117 s	Remaining CPU time: 1794.56 s
5.39/5.49	c core #314
5.39/5.49	c Core size: 70	Core Weight: 1	Total Weight: 314
5.39/5.49	c Elapsed CPU time: 5.46817 s	Remaining CPU time: 1794.53 s
5.49/5.51	c core #315
5.49/5.51	c Core size: 70	Core Weight: 1	Total Weight: 315
5.49/5.51	c Elapsed CPU time: 5.49416 s	Remaining CPU time: 1794.51 s
5.49/5.54	c core #316
5.49/5.54	c Core size: 72	Core Weight: 1	Total Weight: 316
5.49/5.54	c Elapsed CPU time: 5.52116 s	Remaining CPU time: 1794.48 s
5.49/5.57	c core #317
5.49/5.57	c Core size: 70	Core Weight: 1	Total Weight: 317
5.49/5.57	c Elapsed CPU time: 5.54816 s	Remaining CPU time: 1794.45 s
5.49/5.60	c core #318
5.49/5.60	c Core size: 71	Core Weight: 1	Total Weight: 318
5.49/5.60	c Elapsed CPU time: 5.57515 s	Remaining CPU time: 1794.42 s
5.58/5.62	c core #319
5.58/5.62	c Core size: 71	Core Weight: 1	Total Weight: 319
5.58/5.62	c Elapsed CPU time: 5.60215 s	Remaining CPU time: 1794.4 s
5.58/5.65	c core #320
5.58/5.65	c Core size: 70	Core Weight: 1	Total Weight: 320
5.58/5.65	c Elapsed CPU time: 5.62814 s	Remaining CPU time: 1794.37 s
5.58/5.68	c core #321
5.58/5.68	c Core size: 71	Core Weight: 1	Total Weight: 321
5.58/5.68	c Elapsed CPU time: 5.65514 s	Remaining CPU time: 1794.34 s
5.68/5.70	c core #322
5.68/5.70	c Core size: 71	Core Weight: 1	Total Weight: 322
5.68/5.70	c Elapsed CPU time: 5.68314 s	Remaining CPU time: 1794.32 s
5.68/5.73	c core #323
5.68/5.73	c Core size: 47	Core Weight: 1	Total Weight: 323
5.68/5.73	c Elapsed CPU time: 5.70813 s	Remaining CPU time: 1794.29 s
5.68/5.76	c core #324
5.68/5.76	c Core size: 63	Core Weight: 1	Total Weight: 324
5.68/5.76	c Elapsed CPU time: 5.73413 s	Remaining CPU time: 1794.27 s
5.68/5.78	c core #325
5.68/5.78	c Core size: 68	Core Weight: 1	Total Weight: 325
5.68/5.78	c Elapsed CPU time: 5.76012 s	Remaining CPU time: 1794.24 s
5.78/5.81	c core #326
5.78/5.81	c Core size: 70	Core Weight: 1	Total Weight: 326
5.78/5.81	c Elapsed CPU time: 5.78912 s	Remaining CPU time: 1794.21 s
5.78/5.84	c core #327
5.78/5.84	c Core size: 72	Core Weight: 1	Total Weight: 327
5.78/5.84	c Elapsed CPU time: 5.81712 s	Remaining CPU time: 1794.18 s
5.78/5.87	c core #328
5.78/5.87	c Core size: 72	Core Weight: 1	Total Weight: 328
5.78/5.87	c Elapsed CPU time: 5.84611 s	Remaining CPU time: 1794.15 s
5.78/5.90	c core #329
5.78/5.90	c Core size: 70	Core Weight: 1	Total Weight: 329
5.78/5.90	c Elapsed CPU time: 5.87411 s	Remaining CPU time: 1794.13 s
5.88/5.93	c core #330
5.88/5.93	c Core size: 70	Core Weight: 1	Total Weight: 330
5.88/5.93	c Elapsed CPU time: 5.9021 s	Remaining CPU time: 1794.1 s
5.88/5.95	c core #331
5.88/5.95	c Core size: 73	Core Weight: 1	Total Weight: 331
5.88/5.95	c Elapsed CPU time: 5.9311 s	Remaining CPU time: 1794.07 s
5.88/5.98	c core #332
5.88/5.98	c Core size: 71	Core Weight: 1	Total Weight: 332
5.88/5.98	c Elapsed CPU time: 5.96009 s	Remaining CPU time: 1794.04 s
5.98/6.01	c core #333
5.98/6.01	c Core size: 71	Core Weight: 1	Total Weight: 333
5.98/6.01	c Elapsed CPU time: 5.98909 s	Remaining CPU time: 1794.01 s
5.98/6.04	c core #334
5.98/6.04	c Core size: 71	Core Weight: 1	Total Weight: 334
5.98/6.04	c Elapsed CPU time: 6.01809 s	Remaining CPU time: 1793.98 s
5.98/6.07	c core #335
5.98/6.07	c Core size: 70	Core Weight: 1	Total Weight: 335
5.98/6.07	c Elapsed CPU time: 6.04908 s	Remaining CPU time: 1793.95 s
6.08/6.10	c core #336
6.08/6.10	c Core size: 72	Core Weight: 1	Total Weight: 336
6.08/6.10	c Elapsed CPU time: 6.07907 s	Remaining CPU time: 1793.92 s
6.08/6.13	c core #337
6.08/6.13	c Core size: 70	Core Weight: 1	Total Weight: 337
6.08/6.13	c Elapsed CPU time: 6.10907 s	Remaining CPU time: 1793.89 s
6.08/6.16	c core #338
6.08/6.16	c Core size: 70	Core Weight: 1	Total Weight: 338
6.08/6.16	c Elapsed CPU time: 6.13907 s	Remaining CPU time: 1793.86 s
6.08/6.19	c core #339
6.08/6.19	c Core size: 70	Core Weight: 1	Total Weight: 339
6.08/6.19	c Elapsed CPU time: 6.16806 s	Remaining CPU time: 1793.83 s
6.18/6.22	c core #340
6.18/6.22	c Core size: 72	Core Weight: 1	Total Weight: 340
6.18/6.22	c Elapsed CPU time: 6.19806 s	Remaining CPU time: 1793.8 s
6.18/6.25	c core #341
6.18/6.25	c Core size: 70	Core Weight: 1	Total Weight: 341
6.18/6.25	c Elapsed CPU time: 6.22705 s	Remaining CPU time: 1793.77 s
6.18/6.28	c core #342
6.18/6.28	c Core size: 71	Core Weight: 1	Total Weight: 342
6.18/6.28	c Elapsed CPU time: 6.25705 s	Remaining CPU time: 1793.74 s
6.28/6.31	c core #343
6.28/6.31	c Core size: 71	Core Weight: 1	Total Weight: 343
6.28/6.31	c Elapsed CPU time: 6.28704 s	Remaining CPU time: 1793.71 s
6.28/6.34	c core #344
6.28/6.34	c Core size: 70	Core Weight: 1	Total Weight: 344
6.28/6.34	c Elapsed CPU time: 6.31704 s	Remaining CPU time: 1793.68 s
6.28/6.37	c core #345
6.28/6.37	c Core size: 71	Core Weight: 1	Total Weight: 345
6.28/6.37	c Elapsed CPU time: 6.34803 s	Remaining CPU time: 1793.65 s
6.38/6.40	c core #346
6.38/6.40	c Core size: 71	Core Weight: 1	Total Weight: 346
6.38/6.40	c Elapsed CPU time: 6.37703 s	Remaining CPU time: 1793.62 s
6.38/6.43	c core #347
6.38/6.43	c Core size: 47	Core Weight: 1	Total Weight: 347
6.38/6.43	c Elapsed CPU time: 6.40503 s	Remaining CPU time: 1793.59 s
6.38/6.46	c core #348
6.38/6.46	c Core size: 63	Core Weight: 1	Total Weight: 348
6.38/6.46	c Elapsed CPU time: 6.43402 s	Remaining CPU time: 1793.57 s
6.38/6.49	c core #349
6.38/6.49	c Core size: 68	Core Weight: 1	Total Weight: 349
6.38/6.49	c Elapsed CPU time: 6.46302 s	Remaining CPU time: 1793.54 s
6.48/6.52	c core #350
6.48/6.52	c Core size: 70	Core Weight: 1	Total Weight: 350
6.48/6.52	c Elapsed CPU time: 6.49401 s	Remaining CPU time: 1793.51 s
6.48/6.55	c core #351
6.48/6.55	c Core size: 72	Core Weight: 1	Total Weight: 351
6.48/6.55	c Elapsed CPU time: 6.52501 s	Remaining CPU time: 1793.47 s
6.48/6.58	c core #352
6.48/6.58	c Core size: 72	Core Weight: 1	Total Weight: 352
6.48/6.58	c Elapsed CPU time: 6.556 s	Remaining CPU time: 1793.44 s
6.58/6.61	c core #353
6.58/6.61	c Core size: 70	Core Weight: 1	Total Weight: 353
6.58/6.61	c Elapsed CPU time: 6.586 s	Remaining CPU time: 1793.41 s
6.58/6.64	c core #354
6.58/6.64	c Core size: 70	Core Weight: 1	Total Weight: 354
6.58/6.64	c Elapsed CPU time: 6.61699 s	Remaining CPU time: 1793.38 s
6.58/6.68	c core #355
6.58/6.68	c Core size: 73	Core Weight: 1	Total Weight: 355
6.58/6.68	c Elapsed CPU time: 6.64899 s	Remaining CPU time: 1793.35 s
6.67/6.71	c core #356
6.67/6.71	c Core size: 71	Core Weight: 1	Total Weight: 356
6.67/6.71	c Elapsed CPU time: 6.67998 s	Remaining CPU time: 1793.32 s
6.67/6.74	c core #357
6.67/6.74	c Core size: 71	Core Weight: 1	Total Weight: 357
6.67/6.74	c Elapsed CPU time: 6.71198 s	Remaining CPU time: 1793.29 s
6.67/6.77	c core #358
6.67/6.77	c Core size: 71	Core Weight: 1	Total Weight: 358
6.67/6.77	c Elapsed CPU time: 6.74397 s	Remaining CPU time: 1793.26 s
6.77/6.80	c core #359
6.77/6.80	c Core size: 70	Core Weight: 1	Total Weight: 359
6.77/6.80	c Elapsed CPU time: 6.77497 s	Remaining CPU time: 1793.23 s
6.77/6.83	c core #360
6.77/6.83	c Core size: 72	Core Weight: 1	Total Weight: 360
6.77/6.83	c Elapsed CPU time: 6.80696 s	Remaining CPU time: 1793.19 s
6.77/6.87	c core #361
6.77/6.87	c Core size: 70	Core Weight: 1	Total Weight: 361
6.77/6.87	c Elapsed CPU time: 6.83896 s	Remaining CPU time: 1793.16 s
6.87/6.90	c core #362
6.87/6.90	c Core size: 70	Core Weight: 1	Total Weight: 362
6.87/6.90	c Elapsed CPU time: 6.87096 s	Remaining CPU time: 1793.13 s
6.87/6.93	c core #363
6.87/6.93	c Core size: 70	Core Weight: 1	Total Weight: 363
6.87/6.93	c Elapsed CPU time: 6.90195 s	Remaining CPU time: 1793.1 s
6.87/6.96	c core #364
6.87/6.96	c Core size: 72	Core Weight: 1	Total Weight: 364
6.87/6.96	c Elapsed CPU time: 6.93394 s	Remaining CPU time: 1793.07 s
6.87/6.99	c core #365
6.87/6.99	c Core size: 70	Core Weight: 1	Total Weight: 365
6.87/6.99	c Elapsed CPU time: 6.96594 s	Remaining CPU time: 1793.03 s
6.97/7.03	c core #366
6.97/7.03	c Core size: 71	Core Weight: 1	Total Weight: 366
6.97/7.03	c Elapsed CPU time: 6.99894 s	Remaining CPU time: 1793 s
6.97/7.06	c core #367
6.97/7.06	c Core size: 71	Core Weight: 1	Total Weight: 367
6.97/7.06	c Elapsed CPU time: 7.03093 s	Remaining CPU time: 1792.97 s
6.97/7.09	c core #368
6.97/7.09	c Core size: 70	Core Weight: 1	Total Weight: 368
6.97/7.09	c Elapsed CPU time: 7.06393 s	Remaining CPU time: 1792.94 s
7.07/7.12	c core #369
7.07/7.12	c Core size: 71	Core Weight: 1	Total Weight: 369
7.07/7.12	c Elapsed CPU time: 7.09592 s	Remaining CPU time: 1792.9 s
7.07/7.16	c core #370
7.07/7.16	c Core size: 71	Core Weight: 1	Total Weight: 370
7.07/7.16	c Elapsed CPU time: 7.12792 s	Remaining CPU time: 1792.87 s
7.07/7.19	c core #371
7.07/7.19	c Core size: 281	Core Weight: 1	Total Weight: 371
7.07/7.19	c Elapsed CPU time: 7.15991 s	Remaining CPU time: 1792.84 s
7.17/7.21	c ============================[ Search Statistics ]==============================
7.17/7.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.17/7.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.17/7.21	c ===============================================================================
7.17/7.21	c |         0 |    3296    22321    76792 |     7440        0    nan |  0.000 % |
7.17/7.22	c ===============================================================================
7.17/7.22	c core #372
7.17/7.22	c Core size: 13	Core Weight: 1	Total Weight: 372
7.17/7.22	c Elapsed CPU time: 7.18891 s	Remaining CPU time: 1792.81 s
7.17/7.24	c ============================[ Search Statistics ]==============================
7.17/7.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.17/7.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.17/7.24	c ===============================================================================
7.17/7.24	c |         0 |    3302    22322    76804 |     7440        0    nan |  0.000 % |
7.17/7.25	c ===============================================================================
7.17/7.25	c core #373
7.17/7.25	c Core size: 83	Core Weight: 1	Total Weight: 373
7.17/7.25	c Elapsed CPU time: 7.2179 s	Remaining CPU time: 1792.78 s
7.17/7.27	c ============================[ Search Statistics ]==============================
7.17/7.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.17/7.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.17/7.27	c ===============================================================================
7.17/7.27	c |         0 |    3317    22323    76834 |     7441        0    nan |  0.000 % |
7.17/7.28	c ===============================================================================
7.17/7.28	c core #374
7.17/7.28	c Core size: 18	Core Weight: 1	Total Weight: 374
7.17/7.28	c Elapsed CPU time: 7.2459 s	Remaining CPU time: 1792.75 s
7.27/7.30	c ============================[ Search Statistics ]==============================
7.27/7.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.27/7.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.27/7.30	c ===============================================================================
7.27/7.30	c |         0 |    3326    22324    76852 |     7441        0    nan |  0.000 % |
7.27/7.31	c ===============================================================================
7.27/7.31	c core #375
7.27/7.31	c Core size: 83	Core Weight: 1	Total Weight: 375
7.27/7.31	c Elapsed CPU time: 7.27489 s	Remaining CPU time: 1792.73 s
7.27/7.33	c ============================[ Search Statistics ]==============================
7.27/7.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.27/7.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.27/7.33	c ===============================================================================
7.27/7.33	c |         0 |    3337    22325    76874 |     7441        0    nan |  0.000 % |
7.27/7.34	c ===============================================================================
7.27/7.34	c core #376
7.27/7.34	c Core size: 83	Core Weight: 1	Total Weight: 376
7.27/7.34	c Elapsed CPU time: 7.30189 s	Remaining CPU time: 1792.7 s
7.27/7.36	c ============================[ Search Statistics ]==============================
7.27/7.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.27/7.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.27/7.36	c ===============================================================================
7.27/7.36	c |         0 |    3348    22326    76896 |     7442        0    nan |  0.000 % |
7.27/7.36	c ===============================================================================
7.27/7.36	c core #377
7.27/7.36	c Core size: 13	Core Weight: 1	Total Weight: 377
7.27/7.36	c Elapsed CPU time: 7.32988 s	Remaining CPU time: 1792.67 s
7.27/7.39	c ============================[ Search Statistics ]==============================
7.27/7.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.27/7.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.27/7.39	c ===============================================================================
7.27/7.39	c |         0 |    3354    22327    76908 |     7442        0    nan |  0.000 % |
7.27/7.39	c ===============================================================================
7.27/7.39	c core #378
7.27/7.39	c Core size: 13	Core Weight: 1	Total Weight: 378
7.27/7.39	c Elapsed CPU time: 7.35888 s	Remaining CPU time: 1792.64 s
7.37/7.42	c ============================[ Search Statistics ]==============================
7.37/7.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.37/7.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.37/7.42	c ===============================================================================
7.37/7.42	c |         0 |    3360    22328    76920 |     7442        0    nan |  0.000 % |
7.37/7.42	c ===============================================================================
7.37/7.42	c core #379
7.37/7.42	c Core size: 22	Core Weight: 1	Total Weight: 379
7.37/7.42	c Elapsed CPU time: 7.38588 s	Remaining CPU time: 1792.61 s
7.37/7.45	c ============================[ Search Statistics ]==============================
7.37/7.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.37/7.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.37/7.45	c ===============================================================================
7.37/7.45	c |         0 |    3371    22329    76942 |     7443        0    nan |  0.000 % |
7.37/7.45	c ===============================================================================
7.37/7.45	c core #380
7.37/7.45	c Core size: 82	Core Weight: 1	Total Weight: 380
7.37/7.45	c Elapsed CPU time: 7.41387 s	Remaining CPU time: 1792.59 s
7.37/7.48	c ============================[ Search Statistics ]==============================
7.37/7.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.37/7.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.37/7.48	c ===============================================================================
7.37/7.48	c |         0 |    3381    22330    76962 |     7443        0    nan |  0.000 % |
7.37/7.48	c ===============================================================================
7.37/7.48	c core #381
7.37/7.48	c Core size: 81	Core Weight: 1	Total Weight: 381
7.37/7.48	c Elapsed CPU time: 7.44287 s	Remaining CPU time: 1792.56 s
7.47/7.51	c ============================[ Search Statistics ]==============================
7.47/7.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.47/7.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.47/7.51	c ===============================================================================
7.47/7.51	c |         0 |    3390    22331    76980 |     7443        0    nan |  0.000 % |
7.47/7.51	c ===============================================================================
7.47/7.51	c core #382
7.47/7.51	c Core size: 82	Core Weight: 1	Total Weight: 382
7.47/7.51	c Elapsed CPU time: 7.47286 s	Remaining CPU time: 1792.53 s
7.47/7.54	c ============================[ Search Statistics ]==============================
7.47/7.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.47/7.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.47/7.54	c ===============================================================================
7.47/7.54	c |         0 |    3400    22332    77000 |     7444        0    nan |  0.000 % |
7.47/7.54	c ===============================================================================
7.47/7.54	c core #383
7.47/7.54	c Core size: 83	Core Weight: 1	Total Weight: 383
7.47/7.54	c Elapsed CPU time: 7.50186 s	Remaining CPU time: 1792.5 s
7.47/7.57	c ============================[ Search Statistics ]==============================
7.47/7.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.47/7.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.47/7.57	c ===============================================================================
7.47/7.57	c |         0 |    3410    22333    77020 |     7444        0    nan |  0.000 % |
7.47/7.57	c ===============================================================================
7.47/7.57	c core #384
7.47/7.57	c Core size: 82	Core Weight: 1	Total Weight: 384
7.47/7.57	c Elapsed CPU time: 7.52985 s	Remaining CPU time: 1792.47 s
7.47/7.60	c ============================[ Search Statistics ]==============================
7.47/7.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.47/7.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.47/7.60	c ===============================================================================
7.47/7.60	c |         0 |    3419    22334    77038 |     7444        0    nan |  0.000 % |
7.47/7.60	c ===============================================================================
7.47/7.60	c core #385
7.47/7.60	c Core size: 84	Core Weight: 1	Total Weight: 385
7.47/7.60	c Elapsed CPU time: 7.55785 s	Remaining CPU time: 1792.44 s
7.57/7.63	c ============================[ Search Statistics ]==============================
7.57/7.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.57/7.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.57/7.63	c ===============================================================================
7.57/7.63	c |         0 |    3430    22335    77060 |     7445        0    nan |  0.000 % |
7.57/7.63	c ===============================================================================
7.57/7.63	c core #386
7.57/7.63	c Core size: 80	Core Weight: 1	Total Weight: 386
7.57/7.63	c Elapsed CPU time: 7.58685 s	Remaining CPU time: 1792.41 s
7.57/7.66	c ============================[ Search Statistics ]==============================
7.57/7.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.57/7.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.57/7.66	c ===============================================================================
7.57/7.66	c |         0 |    3439    22336    77078 |     7445        0    nan |  0.000 % |
7.57/7.66	c ===============================================================================
7.57/7.66	c core #387
7.57/7.66	c Core size: 12	Core Weight: 1	Total Weight: 387
7.57/7.66	c Elapsed CPU time: 7.61584 s	Remaining CPU time: 1792.38 s
7.57/7.69	c ============================[ Search Statistics ]==============================
7.57/7.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.57/7.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.57/7.69	c ===============================================================================
7.57/7.69	c |         0 |    3445    22337    77090 |     7445        0    nan |  0.000 % |
7.57/7.69	c ===============================================================================
7.57/7.69	c core #388
7.57/7.69	c Core size: 15	Core Weight: 1	Total Weight: 388
7.57/7.69	c Elapsed CPU time: 7.64484 s	Remaining CPU time: 1792.36 s
7.67/7.72	c ============================[ Search Statistics ]==============================
7.67/7.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.67/7.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.67/7.72	c ===============================================================================
7.67/7.72	c |         0 |    3452    22338    77104 |     7446        0    nan |  0.000 % |
7.67/7.72	c ===============================================================================
7.67/7.72	c core #389
7.67/7.72	c Core size: 13	Core Weight: 1	Total Weight: 389
7.67/7.72	c Elapsed CPU time: 7.67283 s	Remaining CPU time: 1792.33 s
7.67/7.75	c ============================[ Search Statistics ]==============================
7.67/7.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.67/7.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.67/7.75	c ===============================================================================
7.67/7.75	c |         0 |    3458    22339    77116 |     7446        0    nan |  0.000 % |
7.67/7.75	c ===============================================================================
7.67/7.75	c core #390
7.67/7.75	c Core size: 17	Core Weight: 1	Total Weight: 390
7.67/7.75	c Elapsed CPU time: 7.70183 s	Remaining CPU time: 1792.3 s
7.67/7.77	c ============================[ Search Statistics ]==============================
7.67/7.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.67/7.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.67/7.77	c ===============================================================================
7.67/7.77	c |         0 |    3466    22340    77132 |     7446        0    nan |  0.000 % |
7.67/7.78	c ===============================================================================
7.67/7.78	c core #391
7.67/7.78	c Core size: 163	Core Weight: 1	Total Weight: 391
7.67/7.78	c Elapsed CPU time: 7.73282 s	Remaining CPU time: 1792.27 s
7.76/7.81	c ============================[ Search Statistics ]==============================
7.76/7.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.76/7.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.76/7.81	c ===============================================================================
7.76/7.81	c |         0 |    3479    22341    77158 |     7447        0    nan |  0.000 % |
7.76/7.81	c ===============================================================================
7.76/7.81	c core #392
7.76/7.81	c Core size: 169	Core Weight: 1	Total Weight: 392
7.76/7.81	c Elapsed CPU time: 7.76282 s	Remaining CPU time: 1792.24 s
7.76/7.84	c ============================[ Search Statistics ]==============================
7.76/7.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.76/7.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.76/7.84	c ===============================================================================
7.76/7.84	c |         0 |    3489    22342    77178 |     7447        0    nan |  0.000 % |
7.76/7.84	c ===============================================================================
7.76/7.84	c core #393
7.76/7.84	c Core size: 198	Core Weight: 1	Total Weight: 393
7.76/7.84	c Elapsed CPU time: 7.79481 s	Remaining CPU time: 1792.21 s
7.76/7.87	c Learning 4 hard constraints
7.76/7.87	c ============================[ Search Statistics ]==============================
7.76/7.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.76/7.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.76/7.87	c ===============================================================================
7.76/7.87	c |         0 |    3518    22347    77344 |     7449        0    nan |  0.000 % |
7.76/7.87	c ===============================================================================
7.76/7.87	c core #394
7.76/7.87	c Core size: 124	Core Weight: 1	Total Weight: 394
7.76/7.87	c Elapsed CPU time: 7.82481 s	Remaining CPU time: 1792.18 s
7.86/7.90	c Learning 1 hard constraints
7.86/7.90	c ============================[ Search Statistics ]==============================
7.86/7.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.86/7.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.86/7.90	c ===============================================================================
7.86/7.90	c |         0 |    3524    22349    77382 |     7449        0    nan |  0.000 % |
7.86/7.91	c ===============================================================================
7.86/7.91	c core #395
7.86/7.91	c Core size: 82	Core Weight: 1	Total Weight: 395
7.86/7.91	c Elapsed CPU time: 7.85581 s	Remaining CPU time: 1792.14 s
7.86/7.93	c Learning 2 hard constraints
7.86/7.93	c ============================[ Search Statistics ]==============================
7.86/7.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.86/7.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.86/7.93	c ===============================================================================
7.86/7.93	c |         0 |    3534    22352    77457 |     7450        0    nan |  0.000 % |
7.86/7.94	c ===============================================================================
7.86/7.94	c core #396
7.86/7.94	c Core size: 22	Core Weight: 1	Total Weight: 396
7.86/7.94	c Elapsed CPU time: 7.8888 s	Remaining CPU time: 1792.11 s
7.86/7.97	c Learning 1 hard constraints
7.86/7.97	c ============================[ Search Statistics ]==============================
7.86/7.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.86/7.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.86/7.97	c ===============================================================================
7.86/7.97	c |         0 |    3545    22354    77506 |     7451        0    nan |  0.000 % |
7.86/7.97	c ===============================================================================
7.86/7.97	c core #397
7.86/7.97	c Core size: 13	Core Weight: 1	Total Weight: 397
7.86/7.97	c Elapsed CPU time: 7.9208 s	Remaining CPU time: 1792.08 s
7.96/8.00	c ============================[ Search Statistics ]==============================
7.96/8.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.96/8.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.96/8.00	c ===============================================================================
7.96/8.00	c |         0 |    3551    22355    77518 |     7451        0    nan |  0.000 % |
7.96/8.01	c ===============================================================================
7.96/8.01	c core #398
7.96/8.01	c Core size: 85	Core Weight: 1	Total Weight: 398
7.96/8.01	c Elapsed CPU time: 7.95379 s	Remaining CPU time: 1792.05 s
7.96/8.03	c ============================[ Search Statistics ]==============================
7.96/8.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.96/8.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.96/8.03	c ===============================================================================
7.96/8.03	c |         0 |    3563    22356    77542 |     7452        0    nan |  0.000 % |
7.96/8.04	c ===============================================================================
7.96/8.04	c core #399
7.96/8.04	c Core size: 85	Core Weight: 1	Total Weight: 399
7.96/8.04	c Elapsed CPU time: 7.98679 s	Remaining CPU time: 1792.01 s
7.96/8.07	c ============================[ Search Statistics ]==============================
7.96/8.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.96/8.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.96/8.07	c ===============================================================================
7.96/8.07	c |         0 |    3575    22357    77566 |     7452        0    nan |  0.000 % |
7.96/8.07	c ===============================================================================
7.96/8.07	c core #400
7.96/8.07	c Core size: 15	Core Weight: 1	Total Weight: 400
7.96/8.07	c Elapsed CPU time: 8.01978 s	Remaining CPU time: 1791.98 s
8.06/8.10	c Learning 2 hard constraints
8.06/8.10	c ============================[ Search Statistics ]==============================
8.06/8.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.06/8.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.06/8.10	c ===============================================================================
8.06/8.10	c |         0 |    3582    22360    77641 |     7453        0    nan |  0.000 % |
8.06/8.11	c ===============================================================================
8.06/8.11	c core #401
8.06/8.11	c Core size: 13	Core Weight: 1	Total Weight: 401
8.06/8.11	c Elapsed CPU time: 8.05278 s	Remaining CPU time: 1791.95 s
8.06/8.13	c ============================[ Search Statistics ]==============================
8.06/8.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.06/8.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.06/8.13	c ===============================================================================
8.06/8.13	c |         0 |    3588    22361    77653 |     7453        0    nan |  0.000 % |
8.06/8.14	c ===============================================================================
8.06/8.14	c core #402
8.06/8.14	c Core size: 84	Core Weight: 1	Total Weight: 402
8.06/8.14	c Elapsed CPU time: 8.08577 s	Remaining CPU time: 1791.91 s
8.06/8.17	c ============================[ Search Statistics ]==============================
8.06/8.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.06/8.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.06/8.17	c ===============================================================================
8.06/8.17	c |         0 |    3599    22362    77675 |     7454        0    nan |  0.000 % |
8.06/8.17	c ===============================================================================
8.06/8.17	c core #403
8.06/8.17	c Core size: 13	Core Weight: 1	Total Weight: 403
8.06/8.17	c Elapsed CPU time: 8.11777 s	Remaining CPU time: 1791.88 s
8.16/8.20	c ============================[ Search Statistics ]==============================
8.16/8.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.16/8.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.16/8.20	c ===============================================================================
8.16/8.20	c |         0 |    3605    22363    77687 |     7454        0    nan |  0.000 % |
8.16/8.21	c ===============================================================================
8.16/8.21	c core #404
8.16/8.21	c Core size: 15	Core Weight: 1	Total Weight: 404
8.16/8.21	c Elapsed CPU time: 8.15076 s	Remaining CPU time: 1791.85 s
8.16/8.23	c Learning 2 hard constraints
8.16/8.23	c ============================[ Search Statistics ]==============================
8.16/8.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.16/8.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.16/8.23	c ===============================================================================
8.16/8.23	c |         0 |    3612    22366    77757 |     7455        0    nan |  0.000 % |
8.16/8.24	c ===============================================================================
8.16/8.24	c core #405
8.16/8.24	c Core size: 13	Core Weight: 1	Total Weight: 405
8.16/8.24	c Elapsed CPU time: 8.18276 s	Remaining CPU time: 1791.82 s
8.16/8.27	c ============================[ Search Statistics ]==============================
8.16/8.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.16/8.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.16/8.27	c ===============================================================================
8.16/8.27	c |         0 |    3618    22367    77769 |     7455        0    nan |  0.000 % |
8.16/8.27	c ===============================================================================
8.16/8.27	c core #406
8.16/8.27	c Core size: 85	Core Weight: 1	Total Weight: 406
8.16/8.27	c Elapsed CPU time: 8.21475 s	Remaining CPU time: 1791.79 s
8.25/8.30	c Learning 2 hard constraints
8.25/8.30	c ============================[ Search Statistics ]==============================
8.25/8.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.25/8.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.25/8.30	c ===============================================================================
8.25/8.30	c |         0 |    3630    22370    77850 |     7456        0    nan |  0.000 % |
8.25/8.31	c ===============================================================================
8.25/8.31	c core #407
8.25/8.31	c Core size: 13	Core Weight: 1	Total Weight: 407
8.25/8.31	c Elapsed CPU time: 8.24875 s	Remaining CPU time: 1791.75 s
8.25/8.33	c ============================[ Search Statistics ]==============================
8.25/8.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.25/8.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.25/8.33	c ===============================================================================
8.25/8.33	c |         0 |    3636    22371    77862 |     7457        0    nan |  0.000 % |
8.25/8.34	c ===============================================================================
8.25/8.34	c core #408
8.25/8.34	c Core size: 15	Core Weight: 1	Total Weight: 408
8.25/8.34	c Elapsed CPU time: 8.28174 s	Remaining CPU time: 1791.72 s
8.25/8.37	c Learning 2 hard constraints
8.25/8.37	c ============================[ Search Statistics ]==============================
8.25/8.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.25/8.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.25/8.37	c ===============================================================================
8.25/8.37	c |         0 |    3643    22374    77932 |     7458        0    nan |  0.000 % |
8.25/8.37	c ===============================================================================
8.25/8.37	c core #409
8.25/8.37	c Core size: 106	Core Weight: 1	Total Weight: 409
8.25/8.37	c Elapsed CPU time: 8.31574 s	Remaining CPU time: 1791.68 s
8.36/8.40	c Learning 1 hard constraints
8.36/8.40	c ============================[ Search Statistics ]==============================
8.36/8.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.36/8.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.36/8.40	c ===============================================================================
8.36/8.40	c |         0 |    3662    22376    77999 |     7458        0    nan |  0.000 % |
8.36/8.41	c ===============================================================================
8.36/8.41	c core #410
8.36/8.41	c Core size: 13	Core Weight: 1	Total Weight: 410
8.36/8.41	c Elapsed CPU time: 8.34773 s	Remaining CPU time: 1791.65 s
8.36/8.44	c ============================[ Search Statistics ]==============================
8.36/8.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.36/8.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.36/8.44	c ===============================================================================
8.36/8.44	c |         0 |    3668    22377    78011 |     7459        0    nan |  0.000 % |
8.36/8.44	c ===============================================================================
8.36/8.44	c core #411
8.36/8.44	c Core size: 84	Core Weight: 1	Total Weight: 411
8.36/8.44	c Elapsed CPU time: 8.37973 s	Remaining CPU time: 1791.62 s
8.36/8.47	c ============================[ Search Statistics ]==============================
8.36/8.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.36/8.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.36/8.47	c ===============================================================================
8.36/8.47	c |         0 |    3679    22378    78033 |     7459        0    nan |  0.000 % |
8.36/8.48	c ===============================================================================
8.36/8.48	c core #412
8.36/8.48	c Core size: 13	Core Weight: 1	Total Weight: 412
8.36/8.48	c Elapsed CPU time: 8.41272 s	Remaining CPU time: 1791.59 s
8.46/8.50	c Learning 1 hard constraints
8.46/8.50	c ============================[ Search Statistics ]==============================
8.46/8.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.46/8.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.46/8.50	c ===============================================================================
8.46/8.50	c |         0 |    3685    22380    78074 |     7460        0    nan |  0.000 % |
8.46/8.51	c ===============================================================================
8.46/8.51	c core #413
8.46/8.51	c Core size: 34	Core Weight: 1	Total Weight: 413
8.46/8.51	c Elapsed CPU time: 8.44772 s	Remaining CPU time: 1791.55 s
8.46/8.54	c ============================[ Search Statistics ]==============================
8.46/8.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.46/8.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.46/8.54	c ===============================================================================
8.46/8.54	c |         0 |    3699    22381    78102 |     7460        0    nan |  0.000 % |
8.46/8.55	c ===============================================================================
8.46/8.55	c core #414
8.46/8.55	c Core size: 19	Core Weight: 1	Total Weight: 414
8.46/8.55	c Elapsed CPU time: 8.48471 s	Remaining CPU time: 1791.52 s
8.46/8.58	c Learning 6 hard constraints
8.46/8.58	c ============================[ Search Statistics ]==============================
8.46/8.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.46/8.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.46/8.58	c ===============================================================================
8.46/8.58	c |         0 |    3708    22388    78296 |     7462        0    nan |  0.000 % |
8.46/8.58	c ===============================================================================
8.46/8.58	c core #415
8.46/8.58	c Core size: 321	Core Weight: 1	Total Weight: 415
8.46/8.58	c Elapsed CPU time: 8.5197 s	Remaining CPU time: 1791.48 s
8.56/8.61	c Learning 3 hard constraints
8.56/8.61	c ============================[ Search Statistics ]==============================
8.56/8.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.56/8.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.56/8.61	c ===============================================================================
8.56/8.61	c |         0 |    3746    22392    78458 |     7464        0    nan |  0.000 % |
8.56/8.62	c ===============================================================================
8.56/8.62	c core #416
8.56/8.62	c Core size: 79	Core Weight: 1	Total Weight: 416
8.56/8.62	c Elapsed CPU time: 8.5547 s	Remaining CPU time: 1791.45 s
8.56/8.65	c Learning 3 hard constraints
8.56/8.65	c ============================[ Search Statistics ]==============================
8.56/8.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.56/8.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.56/8.65	c ===============================================================================
8.56/8.65	c |         0 |    3759    22396    78566 |     7465        0    nan |  0.000 % |
8.56/8.65	c ===============================================================================
8.56/8.65	c core #417
8.56/8.65	c Core size: 227	Core Weight: 1	Total Weight: 417
8.56/8.65	c Elapsed CPU time: 8.58869 s	Remaining CPU time: 1791.41 s
8.56/8.68	c Learning 6 hard constraints
8.56/8.68	c ============================[ Search Statistics ]==============================
8.56/8.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.56/8.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.56/8.68	c ===============================================================================
8.56/8.68	c |         0 |    3777    22403    78773 |     7467        0    nan |  0.000 % |
8.56/8.69	c ===============================================================================
8.56/8.69	c core #418
8.56/8.69	c Core size: 86	Core Weight: 1	Total Weight: 418
8.56/8.69	c Elapsed CPU time: 8.62469 s	Remaining CPU time: 1791.38 s
8.66/8.72	c Learning 1 hard constraints
8.66/8.72	c ============================[ Search Statistics ]==============================
8.66/8.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.66/8.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.66/8.72	c ===============================================================================
8.66/8.72	c |         0 |    3790    22405    78828 |     7468        0    nan |  0.000 % |
8.66/8.72	c ===============================================================================
8.66/8.72	c core #419
8.66/8.72	c Core size: 85	Core Weight: 1	Total Weight: 419
8.66/8.72	c Elapsed CPU time: 8.65868 s	Remaining CPU time: 1791.34 s
8.66/8.75	c ============================[ Search Statistics ]==============================
8.66/8.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.66/8.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.66/8.75	c ===============================================================================
8.66/8.75	c |         0 |    3802    22406    78852 |     7468        0    nan |  0.000 % |
8.66/8.76	c ===============================================================================
8.66/8.76	c core #420
8.66/8.76	c Core size: 13	Core Weight: 1	Total Weight: 420
8.66/8.76	c Elapsed CPU time: 8.69268 s	Remaining CPU time: 1791.31 s
8.66/8.79	c ============================[ Search Statistics ]==============================
8.66/8.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.66/8.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.66/8.79	c ===============================================================================
8.66/8.79	c |         0 |    3808    22407    78864 |     7469        0    nan |  0.000 % |
8.66/8.79	c ===============================================================================
8.66/8.79	c core #421
8.66/8.79	c Core size: 86	Core Weight: 1	Total Weight: 421
8.66/8.79	c Elapsed CPU time: 8.72467 s	Remaining CPU time: 1791.28 s
8.76/8.82	c ============================[ Search Statistics ]==============================
8.76/8.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.76/8.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.76/8.82	c ===============================================================================
8.76/8.82	c |         0 |    3821    22408    78890 |     7469        0    nan |  0.000 % |
8.76/8.82	c ===============================================================================
8.76/8.82	c core #422
8.76/8.82	c Core size: 13	Core Weight: 1	Total Weight: 422
8.76/8.82	c Elapsed CPU time: 8.75767 s	Remaining CPU time: 1791.24 s
8.76/8.85	c ============================[ Search Statistics ]==============================
8.76/8.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.76/8.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.76/8.85	c ===============================================================================
8.76/8.85	c |         0 |    3827    22409    78902 |     7469        0    nan |  0.000 % |
8.76/8.86	c ===============================================================================
8.76/8.86	c core #423
8.76/8.86	c Core size: 84	Core Weight: 1	Total Weight: 423
8.76/8.86	c Elapsed CPU time: 8.78766 s	Remaining CPU time: 1791.21 s
8.76/8.88	c ============================[ Search Statistics ]==============================
8.76/8.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.76/8.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.76/8.88	c ===============================================================================
8.76/8.88	c |         0 |    3838    22410    78924 |     7470        0    nan |  0.000 % |
8.76/8.89	c ===============================================================================
8.76/8.89	c core #424
8.76/8.89	c Core size: 14	Core Weight: 1	Total Weight: 424
8.76/8.89	c Elapsed CPU time: 8.82466 s	Remaining CPU time: 1791.18 s
8.85/8.92	c Learning 3 hard constraints
8.85/8.92	c ============================[ Search Statistics ]==============================
8.85/8.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.85/8.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.85/8.92	c ===============================================================================
8.85/8.92	c |         0 |    3845    22414    79019 |     7471        0    nan |  0.000 % |
8.85/8.93	c ===============================================================================
8.85/8.93	c core #425
8.85/8.93	c Core size: 84	Core Weight: 1	Total Weight: 425
8.85/8.93	c Elapsed CPU time: 8.85765 s	Remaining CPU time: 1791.14 s
8.85/8.95	c Learning 1 hard constraints
8.85/8.95	c ============================[ Search Statistics ]==============================
8.85/8.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.85/8.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.85/8.95	c ===============================================================================
8.85/8.95	c |         0 |    3856    22416    79069 |     7472        0    nan |  0.000 % |
8.85/8.96	c ===============================================================================
8.85/8.96	c core #426
8.85/8.96	c Core size: 17	Core Weight: 1	Total Weight: 426
8.85/8.96	c Elapsed CPU time: 8.88965 s	Remaining CPU time: 1791.11 s
8.85/8.99	c ============================[ Search Statistics ]==============================
8.85/8.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.85/8.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.85/8.99	c ===============================================================================
8.85/8.99	c |         0 |    3864    22417    79085 |     7472        0    nan |  0.000 % |
8.85/8.99	c ===============================================================================
8.85/8.99	c core #427
8.85/8.99	c Core size: 12	Core Weight: 1	Total Weight: 427
8.85/8.99	c Elapsed CPU time: 8.92164 s	Remaining CPU time: 1791.08 s
8.95/9.02	c ============================[ Search Statistics ]==============================
8.95/9.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.95/9.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.95/9.02	c ===============================================================================
8.95/9.02	c |         0 |    3870    22418    79097 |     7472        0    nan |  0.000 % |
8.95/9.03	c |       100 |    3869    22418    79097 |     8219      100     19 |  0.052 % |
8.95/9.04	c |       250 |    3866    22418    79097 |     9041      250     28 |  0.130 % |
8.95/9.06	c ===============================================================================
8.95/9.06	c core #428
8.95/9.06	c Core size: 12	Core Weight: 1	Total Weight: 428
8.95/9.06	c Elapsed CPU time: 8.98663 s	Remaining CPU time: 1791.01 s
8.95/9.09	c Learning 26 hard constraints
8.95/9.09	c ============================[ Search Statistics ]==============================
8.95/9.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.95/9.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.95/9.09	c ===============================================================================
8.95/9.09	c |         0 |    3876    22445    79876 |     7481        0    nan |  0.000 % |
8.95/9.09	c ===============================================================================
8.95/9.09	c core #429
8.95/9.09	c Core size: 40	Core Weight: 1	Total Weight: 429
8.95/9.09	c Elapsed CPU time: 9.02163 s	Remaining CPU time: 1790.98 s
9.05/9.12	c ============================[ Search Statistics ]==============================
9.05/9.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.05/9.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.05/9.12	c ===============================================================================
9.05/9.12	c |         0 |    3894    22446    79912 |     7482        0    nan |  0.000 % |
9.05/9.13	c |       101 |    3893    22446    79912 |     8230      101     36 |  0.051 % |
9.05/9.14	c ===============================================================================
9.05/9.14	c core #430
9.05/9.14	c Core size: 13	Core Weight: 1	Total Weight: 430
9.05/9.14	c Elapsed CPU time: 9.06162 s	Remaining CPU time: 1790.94 s
9.05/9.16	c Learning 5 hard constraints
9.05/9.16	c ============================[ Search Statistics ]==============================
9.05/9.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.05/9.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.05/9.16	c ===============================================================================
9.05/9.16	c |         0 |    3900    22452    80061 |     7484        0    nan |  0.000 % |
9.05/9.17	c ===============================================================================
9.05/9.17	c core #431
9.05/9.17	c Core size: 85	Core Weight: 1	Total Weight: 431
9.05/9.17	c Elapsed CPU time: 9.09362 s	Remaining CPU time: 1790.91 s
9.15/9.20	c ============================[ Search Statistics ]==============================
9.15/9.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.15/9.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.15/9.20	c ===============================================================================
9.15/9.20	c |         0 |    3911    22453    80083 |     7484        0    nan |  0.000 % |
9.15/9.20	c ===============================================================================
9.15/9.20	c core #432
9.15/9.20	c Core size: 19	Core Weight: 1	Total Weight: 432
9.15/9.20	c Elapsed CPU time: 9.12761 s	Remaining CPU time: 1790.87 s
9.15/9.23	c ============================[ Search Statistics ]==============================
9.15/9.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.15/9.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.15/9.23	c ===============================================================================
9.15/9.23	c |         0 |    3920    22454    80101 |     7484        0    nan |  0.000 % |
9.15/9.24	c ===============================================================================
9.15/9.24	c core #433
9.15/9.24	c Core size: 12	Core Weight: 1	Total Weight: 433
9.15/9.24	c Elapsed CPU time: 9.16361 s	Remaining CPU time: 1790.84 s
9.15/9.27	c ============================[ Search Statistics ]==============================
9.15/9.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.15/9.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.15/9.27	c ===============================================================================
9.15/9.27	c |         0 |    3926    22455    80113 |     7485        0    nan |  0.000 % |
9.15/9.28	c ===============================================================================
9.15/9.28	c core #434
9.15/9.28	c Core size: 13	Core Weight: 1	Total Weight: 434
9.15/9.28	c Elapsed CPU time: 9.1986 s	Remaining CPU time: 1790.8 s
9.24/9.31	c ============================[ Search Statistics ]==============================
9.24/9.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.24/9.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.24/9.31	c ===============================================================================
9.24/9.31	c |         0 |    3932    22456    80125 |     7485        0    nan |  0.000 % |
9.24/9.31	c ===============================================================================
9.24/9.31	c core #435
9.24/9.31	c Core size: 15	Core Weight: 1	Total Weight: 435
9.24/9.31	c Elapsed CPU time: 9.2346 s	Remaining CPU time: 1790.77 s
9.24/9.34	c ============================[ Search Statistics ]==============================
9.24/9.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.24/9.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.24/9.34	c ===============================================================================
9.24/9.34	c |         0 |    3939    22457    80139 |     7485        0    nan |  0.000 % |
9.24/9.35	c ===============================================================================
9.24/9.35	c core #436
9.24/9.35	c Core size: 92	Core Weight: 1	Total Weight: 436
9.24/9.35	c Elapsed CPU time: 9.26659 s	Remaining CPU time: 1790.73 s
9.24/9.38	c ============================[ Search Statistics ]==============================
9.24/9.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.24/9.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.24/9.38	c ===============================================================================
9.24/9.38	c |         0 |    3953    22458    80167 |     7486        0    nan |  0.000 % |
9.24/9.38	c ===============================================================================
9.24/9.38	c core #437
9.24/9.38	c Core size: 14	Core Weight: 1	Total Weight: 437
9.24/9.38	c Elapsed CPU time: 9.29859 s	Remaining CPU time: 1790.7 s
9.34/9.41	c ============================[ Search Statistics ]==============================
9.34/9.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.34/9.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.34/9.41	c ===============================================================================
9.34/9.41	c |         0 |    3960    22459    80181 |     7486        0    nan |  0.000 % |
9.34/9.42	c ===============================================================================
9.34/9.42	c core #438
9.34/9.42	c Core size: 15	Core Weight: 1	Total Weight: 438
9.34/9.42	c Elapsed CPU time: 9.33458 s	Remaining CPU time: 1790.67 s
9.34/9.44	c ============================[ Search Statistics ]==============================
9.34/9.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.34/9.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.34/9.44	c ===============================================================================
9.34/9.44	c |         0 |    3967    22460    80195 |     7486        0    nan |  0.000 % |
9.34/9.45	c ===============================================================================
9.34/9.45	c core #439
9.34/9.45	c Core size: 15	Core Weight: 1	Total Weight: 439
9.34/9.45	c Elapsed CPU time: 9.37058 s	Remaining CPU time: 1790.63 s
9.34/9.48	c ============================[ Search Statistics ]==============================
9.34/9.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.34/9.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.34/9.48	c ===============================================================================
9.34/9.48	c |         0 |    3974    22461    80209 |     7487        0    nan |  0.000 % |
9.34/9.49	c ===============================================================================
9.34/9.49	c core #440
9.34/9.49	c Core size: 13	Core Weight: 1	Total Weight: 440
9.34/9.49	c Elapsed CPU time: 9.40457 s	Remaining CPU time: 1790.6 s
9.44/9.51	c ============================[ Search Statistics ]==============================
9.44/9.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.44/9.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.44/9.51	c ===============================================================================
9.44/9.51	c |         0 |    3980    22462    80221 |     7487        0    nan |  0.000 % |
9.44/9.52	c ===============================================================================
9.44/9.52	c core #441
9.44/9.52	c Core size: 25	Core Weight: 1	Total Weight: 441
9.44/9.52	c Elapsed CPU time: 9.43956 s	Remaining CPU time: 1790.56 s
9.44/9.55	c ============================[ Search Statistics ]==============================
9.44/9.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.44/9.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.44/9.55	c ===============================================================================
9.44/9.55	c |         0 |    3991    22463    80243 |     7487        0    nan |  0.000 % |
9.44/9.56	c ===============================================================================
9.44/9.56	c core #442
9.44/9.56	c Core size: 30	Core Weight: 1	Total Weight: 442
9.44/9.56	c Elapsed CPU time: 9.47356 s	Remaining CPU time: 1790.53 s
9.44/9.58	c ============================[ Search Statistics ]==============================
9.44/9.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.44/9.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.44/9.58	c ===============================================================================
9.44/9.58	c |         0 |    4004    22464    80269 |     7488        0    nan |  0.000 % |
9.44/9.59	c ===============================================================================
9.44/9.59	c core #443
9.44/9.59	c Core size: 29	Core Weight: 1	Total Weight: 443
9.44/9.59	c Elapsed CPU time: 9.50755 s	Remaining CPU time: 1790.49 s
9.54/9.62	c ============================[ Search Statistics ]==============================
9.54/9.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.54/9.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.54/9.62	c ===============================================================================
9.54/9.62	c |         0 |    4017    22465    80295 |     7488        0    nan |  0.000 % |
9.54/9.63	c ===============================================================================
9.54/9.63	c core #444
9.54/9.63	c Core size: 200	Core Weight: 1	Total Weight: 444
9.54/9.63	c Elapsed CPU time: 9.54555 s	Remaining CPU time: 1790.45 s
9.54/9.66	c Learning 1 hard constraints
9.54/9.66	c ============================[ Search Statistics ]==============================
9.54/9.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.54/9.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.54/9.66	c ===============================================================================
9.54/9.66	c |         0 |    4060    22467    80410 |     7489        0    nan |  0.000 % |
9.54/9.67	c ===============================================================================
9.54/9.67	c core #445
9.54/9.67	c Core size: 13	Core Weight: 1	Total Weight: 445
9.54/9.67	c Elapsed CPU time: 9.58054 s	Remaining CPU time: 1790.42 s
9.54/9.70	c ============================[ Search Statistics ]==============================
9.54/9.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.54/9.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.54/9.70	c ===============================================================================
9.54/9.70	c |         0 |    4066    22468    80422 |     7489        0    nan |  0.000 % |
9.64/9.70	c ===============================================================================
9.64/9.70	c core #446
9.64/9.70	c Core size: 16	Core Weight: 1	Total Weight: 446
9.64/9.70	c Elapsed CPU time: 9.61654 s	Remaining CPU time: 1790.38 s
9.64/9.73	c Learning 1 hard constraints
9.64/9.73	c ============================[ Search Statistics ]==============================
9.64/9.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.64/9.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.64/9.73	c ===============================================================================
9.64/9.73	c |         0 |    4074    22470    80468 |     7490        0    nan |  0.000 % |
9.64/9.74	c ===============================================================================
9.64/9.74	c core #447
9.64/9.74	c Core size: 83	Core Weight: 1	Total Weight: 447
9.64/9.74	c Elapsed CPU time: 9.65053 s	Remaining CPU time: 1790.35 s
9.64/9.77	c ============================[ Search Statistics ]==============================
9.64/9.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.64/9.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.64/9.77	c ===============================================================================
9.64/9.77	c |         0 |    4083    22471    80486 |     7490        0    nan |  0.000 % |
9.64/9.77	c ===============================================================================
9.64/9.77	c core #448
9.64/9.77	c Core size: 13	Core Weight: 1	Total Weight: 448
9.64/9.77	c Elapsed CPU time: 9.68453 s	Remaining CPU time: 1790.32 s
9.64/9.80	c ============================[ Search Statistics ]==============================
9.64/9.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.64/9.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.64/9.80	c ===============================================================================
9.64/9.80	c |         0 |    4089    22472    80498 |     7490        0    nan |  0.000 % |
9.74/9.80	c ===============================================================================
9.74/9.80	c core #449
9.74/9.80	c Core size: 21	Core Weight: 1	Total Weight: 449
9.74/9.80	c Elapsed CPU time: 9.71752 s	Remaining CPU time: 1790.28 s
9.74/9.83	c ============================[ Search Statistics ]==============================
9.74/9.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.74/9.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.74/9.83	c ===============================================================================
9.74/9.83	c |         0 |    4099    22473    80518 |     7491        0    nan |  0.000 % |
9.74/9.84	c ===============================================================================
9.74/9.84	c core #450
9.74/9.84	c Core size: 12	Core Weight: 1	Total Weight: 450
9.74/9.84	c Elapsed CPU time: 9.75052 s	Remaining CPU time: 1790.25 s
9.74/9.87	c ============================[ Search Statistics ]==============================
9.74/9.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.74/9.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.74/9.87	c ===============================================================================
9.74/9.87	c |         0 |    4105    22474    80530 |     7491        0    nan |  0.000 % |
9.74/9.87	c ===============================================================================
9.74/9.87	c core #451
9.74/9.87	c Core size: 14	Core Weight: 1	Total Weight: 451
9.74/9.87	c Elapsed CPU time: 9.78551 s	Remaining CPU time: 1790.21 s
9.85/9.90	c ============================[ Search Statistics ]==============================
9.85/9.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.85/9.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.85/9.90	c ===============================================================================
9.85/9.90	c |         0 |    4112    22475    80544 |     7491        0    nan |  0.000 % |
9.85/9.91	c ===============================================================================
9.85/9.91	c core #452
9.85/9.91	c Core size: 95	Core Weight: 1	Total Weight: 452
9.85/9.91	c Elapsed CPU time: 9.82151 s	Remaining CPU time: 1790.18 s
9.85/9.94	c ============================[ Search Statistics ]==============================
9.85/9.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.85/9.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.85/9.94	c ===============================================================================
9.85/9.94	c |         0 |    4128    22476    80576 |     7492        0    nan |  0.000 % |
9.85/9.95	c ===============================================================================
9.85/9.95	c core #453
9.85/9.95	c Core size: 88	Core Weight: 1	Total Weight: 453
9.85/9.95	c Elapsed CPU time: 9.8555 s	Remaining CPU time: 1790.14 s
9.85/9.98	c ============================[ Search Statistics ]==============================
9.85/9.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.85/9.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.85/9.98	c ===============================================================================
9.85/9.98	c |         0 |    4141    22477    80602 |     7492        0    nan |  0.000 % |
9.85/9.98	c ===============================================================================
9.85/9.98	c core #454
9.85/9.98	c Core size: 43	Core Weight: 1	Total Weight: 454
9.85/9.98	c Elapsed CPU time: 9.8905 s	Remaining CPU time: 1790.11 s
9.94/10.01	c ============================[ Search Statistics ]==============================
9.94/10.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.94/10.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.94/10.01	c ===============================================================================
9.94/10.01	c |         0 |    4157    22478    80634 |     7492        0    nan |  0.000 % |
9.94/10.02	c ===============================================================================
9.94/10.02	c core #455
9.94/10.02	c Core size: 96	Core Weight: 1	Total Weight: 455
9.94/10.02	c Elapsed CPU time: 9.92549 s	Remaining CPU time: 1790.07 s
9.94/10.05	c ============================[ Search Statistics ]==============================
9.94/10.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.94/10.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.94/10.05	c ===============================================================================
9.94/10.05	c |         0 |    4174    22479    80668 |     7493        0    nan |  0.000 % |
9.94/10.05	c ===============================================================================
9.94/10.05	c core #456
9.94/10.05	c Core size: 15	Core Weight: 1	Total Weight: 456
9.94/10.05	c Elapsed CPU time: 9.96049 s	Remaining CPU time: 1790.04 s
9.94/10.08	c ============================[ Search Statistics ]==============================
9.94/10.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.94/10.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.94/10.08	c ===============================================================================
9.94/10.08	c |         0 |    4181    22480    80682 |     7493        0    nan |  0.000 % |
9.94/10.08	c ===============================================================================
9.94/10.08	c core #457
9.94/10.08	c Core size: 13	Core Weight: 1	Total Weight: 457
9.94/10.08	c Elapsed CPU time: 9.99448 s	Remaining CPU time: 1790.01 s
10.04/10.11	c ============================[ Search Statistics ]==============================
10.04/10.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.04/10.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.04/10.11	c ===============================================================================
10.04/10.11	c |         0 |    4187    22481    80694 |     7493        0    nan |  0.000 % |
10.04/10.12	c ===============================================================================
10.04/10.12	c core #458
10.04/10.12	c Core size: 149	Core Weight: 1	Total Weight: 458
10.04/10.12	c Elapsed CPU time: 10.0315 s	Remaining CPU time: 1789.97 s
10.04/10.15	c ============================[ Search Statistics ]==============================
10.04/10.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.04/10.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.04/10.15	c ===============================================================================
10.04/10.15	c |         0 |    4214    22482    80748 |     7494        0    nan |  0.000 % |
10.04/10.16	c ===============================================================================
10.04/10.16	c core #459
10.04/10.16	c Core size: 155	Core Weight: 1	Total Weight: 459
10.04/10.16	c Elapsed CPU time: 10.0685 s	Remaining CPU time: 1789.93 s
10.04/10.19	c Learning 1 hard constraints
10.04/10.19	c ============================[ Search Statistics ]==============================
10.04/10.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.04/10.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.04/10.19	c ===============================================================================
10.04/10.19	c |         0 |    4223    22484    80794 |     7494        0    nan |  0.000 % |
10.04/10.19	c ===============================================================================
10.04/10.19	c core #460
10.04/10.19	c Core size: 101	Core Weight: 1	Total Weight: 460
10.04/10.19	c Elapsed CPU time: 10.1045 s	Remaining CPU time: 1789.9 s
10.14/10.22	c ============================[ Search Statistics ]==============================
10.14/10.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.14/10.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.14/10.22	c ===============================================================================
10.14/10.23	c |         0 |    4243    22485    80834 |     7495        0    nan |  0.000 % |
10.14/10.24	c |       101 |    4239    22485    80834 |     8244      101     31 |  0.118 % |
10.14/10.24	c ===============================================================================
10.14/10.24	c core #461
10.14/10.24	c Core size: 13	Core Weight: 1	Total Weight: 461
10.14/10.24	c Elapsed CPU time: 10.1535 s	Remaining CPU time: 1789.85 s
10.14/10.27	c Learning 3 hard constraints
10.14/10.27	c ============================[ Search Statistics ]==============================
10.14/10.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.14/10.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.14/10.27	c ===============================================================================
10.14/10.27	c |         0 |    4249    22489    80934 |     7496        0    nan |  0.000 % |
10.14/10.28	c ===============================================================================
10.14/10.28	c core #462
10.14/10.28	c Core size: 194	Core Weight: 1	Total Weight: 462
10.14/10.28	c Elapsed CPU time: 10.1905 s	Remaining CPU time: 1789.81 s
10.24/10.31	c Learning 6 hard constraints
10.24/10.31	c ============================[ Search Statistics ]==============================
10.24/10.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.24/10.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.24/10.31	c ===============================================================================
10.24/10.31	c |         0 |    4312    22496    81221 |     7498        0    nan |  0.000 % |
10.24/10.32	c ===============================================================================
10.24/10.32	c core #463
10.24/10.32	c Core size: 15	Core Weight: 1	Total Weight: 463
10.24/10.32	c Elapsed CPU time: 10.2254 s	Remaining CPU time: 1789.77 s
10.24/10.35	c ============================[ Search Statistics ]==============================
10.24/10.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.24/10.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.24/10.35	c ===============================================================================
10.24/10.35	c |         0 |    4319    22497    81235 |     7499        0    nan |  0.000 % |
10.24/10.36	c ===============================================================================
10.24/10.36	c core #464
10.24/10.36	c Core size: 13	Core Weight: 1	Total Weight: 464
10.24/10.36	c Elapsed CPU time: 10.2604 s	Remaining CPU time: 1789.74 s
10.24/10.39	c ============================[ Search Statistics ]==============================
10.24/10.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.24/10.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.24/10.39	c ===============================================================================
10.24/10.39	c |         0 |    4325    22498    81247 |     7499        0    nan |  0.000 % |
10.24/10.39	c ===============================================================================
10.24/10.39	c core #465
10.24/10.39	c Core size: 13	Core Weight: 1	Total Weight: 465
10.24/10.39	c Elapsed CPU time: 10.2954 s	Remaining CPU time: 1789.7 s
10.34/10.42	c ============================[ Search Statistics ]==============================
10.34/10.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.34/10.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.34/10.42	c ===============================================================================
10.34/10.42	c |         0 |    4331    22499    81259 |     7499        0    nan |  0.000 % |
10.34/10.43	c ===============================================================================
10.34/10.43	c core #466
10.34/10.43	c Core size: 17	Core Weight: 1	Total Weight: 466
10.34/10.43	c Elapsed CPU time: 10.3304 s	Remaining CPU time: 1789.67 s
10.34/10.45	c ============================[ Search Statistics ]==============================
10.34/10.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.34/10.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.34/10.46	c ===============================================================================
10.34/10.46	c |         0 |    4339    22500    81275 |     7500        0    nan |  0.000 % |
10.34/10.47	c |       100 |    4332    22500    81275 |     8250      100     30 |  0.207 % |
10.34/10.48	c ===============================================================================
10.34/10.48	c core #467
10.34/10.48	c Core size: 548	Core Weight: 1	Total Weight: 467
10.34/10.48	c Elapsed CPU time: 10.3844 s	Remaining CPU time: 1789.62 s
10.43/10.51	c Learning 15 hard constraints
10.43/10.51	c ============================[ Search Statistics ]==============================
10.43/10.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.43/10.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.43/10.51	c ===============================================================================
10.43/10.51	c |         0 |    4430    22516    81899 |     7505        0    nan |  0.000 % |
10.43/10.52	c ===============================================================================
10.43/10.52	c core #468
10.43/10.52	c Core size: 19	Core Weight: 1	Total Weight: 468
10.43/10.52	c Elapsed CPU time: 10.4214 s	Remaining CPU time: 1789.58 s
10.43/10.55	c ============================[ Search Statistics ]==============================
10.43/10.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.43/10.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.43/10.55	c ===============================================================================
10.43/10.55	c |         0 |    4439    22517    81917 |     7505        0    nan |  0.000 % |
10.43/10.56	c ===============================================================================
10.43/10.56	c core #469
10.43/10.56	c Core size: 17	Core Weight: 1	Total Weight: 469
10.43/10.56	c Elapsed CPU time: 10.4564 s	Remaining CPU time: 1789.54 s
10.43/10.59	c ============================[ Search Statistics ]==============================
10.43/10.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.43/10.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.43/10.59	c ===============================================================================
10.43/10.59	c |         0 |    4447    22518    81933 |     7506        0    nan |  0.000 % |
10.53/10.60	c ===============================================================================
10.53/10.60	c core #470
10.53/10.60	c Core size: 197	Core Weight: 1	Total Weight: 470
10.53/10.60	c Elapsed CPU time: 10.4964 s	Remaining CPU time: 1789.5 s
10.53/10.63	c Learning 4 hard constraints
10.53/10.63	c ============================[ Search Statistics ]==============================
10.53/10.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.53/10.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.53/10.63	c ===============================================================================
10.53/10.63	c |         0 |    4486    22523    82125 |     7507        0    nan |  0.000 % |
10.53/10.64	c |       102 |    4485    22523    82125 |     8258      102     21 |  0.089 % |
10.53/10.65	c ===============================================================================
10.53/10.65	c core #471
10.53/10.65	c Core size: 13	Core Weight: 1	Total Weight: 471
10.53/10.65	c Elapsed CPU time: 10.5454 s	Remaining CPU time: 1789.45 s
10.53/10.68	c Learning 15 hard constraints
10.53/10.68	c ============================[ Search Statistics ]==============================
10.53/10.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.53/10.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.53/10.68	c ===============================================================================
10.53/10.68	c |         0 |    4492    22539    82569 |     7513        0    nan |  0.000 % |
10.53/10.69	c ===============================================================================
10.53/10.69	c core #472
10.53/10.69	c Core size: 44	Core Weight: 1	Total Weight: 472
10.53/10.69	c Elapsed CPU time: 10.5834 s	Remaining CPU time: 1789.42 s
10.63/10.72	c Learning 5 hard constraints
10.63/10.72	c ============================[ Search Statistics ]==============================
10.63/10.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.63/10.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.63/10.72	c ===============================================================================
10.63/10.72	c |         0 |    4508    22545    82742 |     7515        0    nan |  0.000 % |
10.63/10.73	c |       101 |    4499    22545    82742 |     8266      101     18 |  0.333 % |
10.63/10.74	c ===============================================================================
10.63/10.74	c core #473
10.63/10.74	c Core size: 354	Core Weight: 1	Total Weight: 473
10.63/10.74	c Elapsed CPU time: 10.6304 s	Remaining CPU time: 1789.37 s
10.63/10.77	c Learning 7 hard constraints
10.63/10.77	c ============================[ Search Statistics ]==============================
10.63/10.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.63/10.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.63/10.77	c ===============================================================================
10.63/10.77	c |         0 |    4586    22553    83051 |     7517        0    nan |  0.000 % |
10.63/10.78	c ===============================================================================
10.63/10.78	c core #474
10.63/10.78	c Core size: 213	Core Weight: 1	Total Weight: 474
10.63/10.78	c Elapsed CPU time: 10.6744 s	Remaining CPU time: 1789.33 s
10.73/10.81	c Learning 4 hard constraints
10.73/10.81	c ============================[ Search Statistics ]==============================
10.73/10.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.73/10.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.73/10.81	c ===============================================================================
10.73/10.81	c |         0 |    4631    22558    83248 |     7519        0    nan |  0.000 % |
10.73/10.82	c ===============================================================================
10.73/10.82	c core #475
10.73/10.82	c Core size: 206	Core Weight: 1	Total Weight: 475
10.73/10.82	c Elapsed CPU time: 10.7144 s	Remaining CPU time: 1789.29 s
10.73/10.85	c Learning 7 hard constraints
10.73/10.85	c ============================[ Search Statistics ]==============================
10.73/10.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.73/10.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.73/10.85	c ===============================================================================
10.73/10.85	c |         0 |    4680    22566    83528 |     7522        0    nan |  0.000 % |
10.73/10.87	c |       100 |    4673    22566    83528 |     8274      100     20 |  0.278 % |
10.73/10.88	c |       251 |    4659    22566    83528 |     9101      251     23 |  0.791 % |
10.73/10.88	c ===============================================================================
10.73/10.88	c core #476
10.73/10.88	c Core size: 557	Core Weight: 1	Total Weight: 476
10.73/10.88	c Elapsed CPU time: 10.7754 s	Remaining CPU time: 1789.22 s
10.84/10.92	c Learning 8 hard constraints
10.84/10.92	c ============================[ Search Statistics ]==============================
10.84/10.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.84/10.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.84/10.92	c ===============================================================================
10.84/10.92	c |         0 |    4770    22575    83948 |     7525        0    nan |  0.000 % |
10.84/10.93	c ===============================================================================
10.84/10.93	c core #477
10.84/10.93	c Core size: 297	Core Weight: 1	Total Weight: 477
10.84/10.93	c Elapsed CPU time: 10.8194 s	Remaining CPU time: 1789.18 s
10.84/10.96	c Learning 4 hard constraints
10.84/10.96	c ============================[ Search Statistics ]==============================
10.84/10.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.84/10.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.84/10.96	c ===============================================================================
10.84/10.96	c |         0 |    4812    22580    84130 |     7526        0    nan |  0.000 % |
10.84/10.98	c |       101 |    4812    22580    84130 |     8279      101     28 |  0.001 % |
10.84/10.99	c |       251 |    4811    22580    84130 |     9107      251     27 |  0.021 % |
10.94/11.00	c ===============================================================================
10.94/11.01	c core #478
10.94/11.01	c Core size: 663	Core Weight: 1	Total Weight: 478
10.94/11.01	c Elapsed CPU time: 10.8953 s	Remaining CPU time: 1789.1 s
10.94/11.04	c Learning 39 hard constraints
10.94/11.04	c ============================[ Search Statistics ]==============================
10.94/11.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.94/11.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.94/11.04	c ===============================================================================
10.94/11.04	c |         0 |    4877    22620    85376 |     7540        0    nan |  0.000 % |
10.94/11.04	c ===============================================================================
10.94/11.04	c core #479
10.94/11.04	c Core size: 175	Core Weight: 1	Total Weight: 479
10.94/11.04	c Elapsed CPU time: 10.9333 s	Remaining CPU time: 1789.07 s
10.94/11.07	c Learning 1 hard constraints
10.94/11.08	c ============================[ Search Statistics ]==============================
10.94/11.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.94/11.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.94/11.08	c ===============================================================================
10.94/11.08	c |         0 |    4886    22622    85420 |     7540        0    nan |  0.000 % |
10.94/11.09	c |       106 |    4886    22622    85420 |     8294      106     32 |  0.001 % |
11.03/11.10	c |       257 |    4886    22622    85420 |     9124      257     36 |  0.000 % |
11.03/11.13	c |       483 |    4883    22622    85420 |    10036      483     35 |  0.102 % |
11.03/11.15	c ===============================================================================
11.03/11.15	c core #480
11.03/11.15	c Core size: 721	Core Weight: 1	Total Weight: 480
11.03/11.15	c Elapsed CPU time: 11.0363 s	Remaining CPU time: 1788.96 s
11.03/11.19	c Learning 43 hard constraints
11.03/11.19	c ============================[ Search Statistics ]==============================
11.03/11.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.03/11.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.03/11.19	c ===============================================================================
11.03/11.19	c |         0 |    4970    22666    86841 |     7555        0    nan |  0.000 % |
11.12/11.20	c |       101 |    4970    22666    86841 |     8310      101     41 |  0.001 % |
11.12/11.22	c |       251 |    4970    22666    86841 |     9141      251     36 |  0.000 % |
11.12/11.23	c ===============================================================================
11.12/11.23	c core #481
11.12/11.23	c Core size: 440	Core Weight: 1	Total Weight: 481
11.12/11.23	c Elapsed CPU time: 11.1123 s	Remaining CPU time: 1788.89 s
11.12/11.26	c Learning 30 hard constraints
11.12/11.26	c ============================[ Search Statistics ]==============================
11.12/11.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.12/11.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.12/11.26	c ===============================================================================
11.12/11.26	c |         0 |    5016    22697    87805 |     7565        0    nan |  0.000 % |
11.12/11.28	c |       104 |    5016    22697    87805 |     8322      104     23 |  0.001 % |
11.12/11.29	c |       254 |    5016    22697    87805 |     9154      254     28 |  0.000 % |
11.23/11.31	c |       479 |    5016    22697    87805 |    10069      479     28 |  0.000 % |
11.23/11.32	c ===============================================================================
11.23/11.33	c core #482
11.23/11.33	c Core size: 607	Core Weight: 1	Total Weight: 482
11.23/11.33	c Elapsed CPU time: 11.2023 s	Remaining CPU time: 1788.8 s
11.23/11.36	c Learning 44 hard constraints
11.23/11.36	c ============================[ Search Statistics ]==============================
11.23/11.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.23/11.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.23/11.36	c ===============================================================================
11.23/11.36	c |         0 |    5079    22742    89166 |     7580        0    nan |  0.000 % |
11.23/11.39	c |       100 |    5079    22742    89166 |     8338      100     43 |  0.001 % |
11.32/11.41	c |       250 |    5078    22742    89166 |     9172      250     39 |  0.039 % |
11.32/11.43	c |       475 |    5076    22742    89166 |    10089      475     34 |  0.118 % |
11.32/11.46	c |       812 |    5066    22742    89166 |    11098      797     32 |  0.394 % |
11.32/11.47	c ===============================================================================
11.32/11.47	c core #483
11.32/11.47	c Core size: 801	Core Weight: 1	Total Weight: 483
11.32/11.47	c Elapsed CPU time: 11.3413 s	Remaining CPU time: 1788.66 s
11.43/11.51	c Learning 157 hard constraints
11.43/11.51	c ============================[ Search Statistics ]==============================
11.43/11.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.43/11.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.43/11.51	c ===============================================================================
11.43/11.51	c |         0 |    5156    22900    95242 |     7633        0    nan |  0.000 % |
11.43/11.52	c ===============================================================================
11.43/11.52	c core #484
11.43/11.52	c Core size: 185	Core Weight: 1	Total Weight: 484
11.43/11.52	c Elapsed CPU time: 11.3833 s	Remaining CPU time: 1788.62 s
11.43/11.55	c Learning 3 hard constraints
11.43/11.55	c ============================[ Search Statistics ]==============================
11.43/11.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.43/11.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.43/11.55	c ===============================================================================
11.43/11.55	c |         0 |    5199    22904    95403 |     7634        0    nan |  0.000 % |
11.43/11.57	c |       100 |    5199    22904    95403 |     8398      100     16 |  0.001 % |
11.43/11.57	c ===============================================================================
11.43/11.57	c core #485
11.43/11.57	c Core size: 335	Core Weight: 1	Total Weight: 485
11.43/11.57	c Elapsed CPU time: 11.4353 s	Remaining CPU time: 1788.56 s
11.52/11.61	c Learning 9 hard constraints
11.52/11.61	c ============================[ Search Statistics ]==============================
11.52/11.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.52/11.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.52/11.61	c ===============================================================================
11.52/11.61	c |         0 |    5216    22914    95703 |     7638        0    nan |  0.000 % |
11.52/11.62	c |       102 |    5216    22914    95703 |     8401      102     24 |  0.038 % |
11.52/11.64	c |       252 |    5216    22914    95703 |     9241      252     26 |  0.077 % |
11.52/11.65	c |       479 |    5215    22914    95703 |    10166      479     27 |  0.077 % |
11.52/11.68	c ===============================================================================
11.52/11.68	c core #486
11.52/11.68	c Core size: 628	Core Weight: 1	Total Weight: 486
11.52/11.68	c Elapsed CPU time: 11.5452 s	Remaining CPU time: 1788.45 s
11.62/11.72	c Learning 79 hard constraints
11.62/11.72	c ============================[ Search Statistics ]==============================
11.62/11.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.62/11.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.62/11.72	c ===============================================================================
11.62/11.72	c |         0 |    5274    22994    98048 |     7664        0    nan |  0.000 % |
11.62/11.74	c |       102 |    5274    22994    98048 |     8431      102     18 |  0.001 % |
11.62/11.75	c |       252 |    5273    22994    98048 |     9274      252     22 |  0.038 % |
11.62/11.77	c ===============================================================================
11.62/11.77	c core #487
11.62/11.77	c Core size: 622	Core Weight: 1	Total Weight: 487
11.62/11.77	c Elapsed CPU time: 11.6292 s	Remaining CPU time: 1788.37 s
11.72/11.80	c Learning 63 hard constraints
11.72/11.80	c ============================[ Search Statistics ]==============================
11.72/11.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.72/11.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.72/11.80	c ===============================================================================
11.72/11.81	c |         0 |    5313    23058    99946 |     7686        0    nan |  0.000 % |
11.72/11.82	c ===============================================================================
11.72/11.82	c core #488
11.72/11.82	c Core size: 281	Core Weight: 1	Total Weight: 488
11.72/11.82	c Elapsed CPU time: 11.6742 s	Remaining CPU time: 1788.33 s
11.72/11.85	c Learning 11 hard constraints
11.72/11.85	c ============================[ Search Statistics ]==============================
11.72/11.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.72/11.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.72/11.85	c ===============================================================================
11.72/11.85	c |         0 |    5328    23070   100275 |     7690        0    nan |  0.000 % |
11.72/11.86	c |       100 |    5327    23070   100275 |     8459      100     21 |  0.038 % |
11.72/11.88	c |       251 |    5327    23070   100275 |     9304      251     23 |  0.038 % |
11.72/11.89	c ===============================================================================
11.83/11.90	c core #489
11.83/11.90	c Core size: 413	Core Weight: 1	Total Weight: 489
11.83/11.90	c Elapsed CPU time: 11.7512 s	Remaining CPU time: 1788.25 s
11.83/11.93	c Learning 18 hard constraints
11.83/11.93	c ============================[ Search Statistics ]==============================
11.83/11.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.83/11.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.83/11.93	c ===============================================================================
11.83/11.93	c |         0 |    5353    23089   100822 |     7696        0    nan |  0.000 % |
11.83/11.94	c |       101 |    5353    23089   100822 |     8465      101     12 |  0.001 % |
11.83/11.95	c ===============================================================================
11.83/11.95	c core #490
11.83/11.95	c Core size: 310	Core Weight: 1	Total Weight: 490
11.83/11.95	c Elapsed CPU time: 11.8042 s	Remaining CPU time: 1788.2 s
11.83/11.99	c Learning 7 hard constraints
11.83/11.99	c ============================[ Search Statistics ]==============================
11.83/11.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.83/11.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.83/11.99	c ===============================================================================
11.83/11.99	c |         0 |    5377    23097   101064 |     7699        0    nan |  0.000 % |
11.93/12.00	c |       101 |    5377    23097   101064 |     8468      101     35 |  0.001 % |
11.93/12.01	c |       251 |    5377    23097   101064 |     9315      251     29 |  0.000 % |
11.93/12.03	c |       476 |    5377    23097   101064 |    10247      476     24 |  0.000 % |
11.93/12.05	c |       813 |    5377    23097   101064 |    11272      813     24 |  0.000 % |
11.93/12.09	c |      1319 |    5375    23097   101064 |    12399     1304     25 |  0.037 % |
12.02/12.18	c |      2079 |    5373    23097   101064 |    13639     2064     27 |  0.112 % |
12.12/12.23	c ===============================================================================
12.12/12.25	c core #491
12.12/12.25	c Core size: 1102	Core Weight: 1	Total Weight: 491
12.12/12.25	c Elapsed CPU time: 12.0902 s	Remaining CPU time: 1787.91 s
12.12/12.29	c Learning 334 hard constraints
12.12/12.29	c ============================[ Search Statistics ]==============================
12.12/12.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.12/12.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.12/12.29	c ===============================================================================
12.12/12.29	c |         0 |    5425    23432   110751 |     7810        0    nan |  0.000 % |
12.12/12.30	c ===============================================================================
12.12/12.30	c core #492
12.12/12.30	c Core size: 126	Core Weight: 1	Total Weight: 492
12.12/12.30	c Elapsed CPU time: 12.1362 s	Remaining CPU time: 1787.86 s
12.22/12.33	c Learning 1 hard constraints
12.22/12.33	c ============================[ Search Statistics ]==============================
12.22/12.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.22/12.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.22/12.33	c ===============================================================================
12.22/12.33	c |         0 |    5434    23434   110799 |     7811        0    nan |  0.000 % |
12.22/12.34	c |       101 |    5434    23434   110799 |     8592      101     12 |  0.001 % |
12.22/12.35	c |       251 |    5434    23434   110799 |     9451      251     18 |  0.000 % |
12.22/12.38	c |       476 |    5431    23434   110799 |    10396      476     22 |  0.111 % |
12.22/12.39	c ===============================================================================
12.22/12.39	c core #493
12.22/12.39	c Core size: 768	Core Weight: 1	Total Weight: 493
12.22/12.39	c Elapsed CPU time: 12.2301 s	Remaining CPU time: 1787.77 s
12.32/12.43	c Learning 78 hard constraints
12.32/12.43	c ============================[ Search Statistics ]==============================
12.32/12.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.32/12.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.32/12.43	c ===============================================================================
12.32/12.43	c |         0 |    5491    23513   113166 |     7837        0    nan |  0.000 % |
12.32/12.45	c |       101 |    5491    23513   113166 |     8621      101     50 |  0.001 % |
12.32/12.46	c |       252 |    5491    23513   113166 |     9483      252     43 |  0.000 % |
12.32/12.48	c |       477 |    5491    23513   113166 |    10431      477     33 |  0.000 % |
12.42/12.51	c |       814 |    5491    23513   113166 |    11475      814     31 |  0.000 % |
12.42/12.54	c |      1321 |    5491    23513   113166 |    12622     1321     34 |  0.001 % |
12.52/12.62	c |      2080 |    5491    23513   113166 |    13884     2080     36 |  0.000 % |
12.61/12.72	c |      3220 |    5491    23513   113166 |    15273     3220     34 |  0.000 % |
12.81/12.91	c ===============================================================================
12.81/12.91	c core #494
12.81/12.91	c Core size: 463	Core Weight: 1	Total Weight: 494
12.81/12.91	c Elapsed CPU time: 12.7461 s	Remaining CPU time: 1787.25 s
12.81/12.96	c Learning 218 hard constraints
12.81/12.96	c ============================[ Search Statistics ]==============================
12.81/12.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.81/12.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.81/12.96	c ===============================================================================
12.81/12.96	c |         0 |    5531    23732   119435 |     7910        0    nan |  0.000 % |
12.81/12.97	c ===============================================================================
12.81/12.97	c core #495
12.81/12.97	c Core size: 253	Core Weight: 1	Total Weight: 495
12.81/12.97	c Elapsed CPU time: 12.7981 s	Remaining CPU time: 1787.2 s
12.92/13.01	c Learning 6 hard constraints
12.92/13.01	c ============================[ Search Statistics ]==============================
12.92/13.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.92/13.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.92/13.01	c ===============================================================================
12.92/13.01	c |         0 |    5550    23739   119642 |     7913        0    nan |  0.000 % |
12.92/13.04	c |       100 |    5550    23739   119642 |     8704      100     45 |  0.001 % |
12.92/13.08	c |       251 |    5550    23739   119642 |     9574      251     51 |  0.000 % |
13.02/13.12	c |       478 |    5550    23739   119642 |    10532      478     55 |  0.000 % |
13.12/13.21	c |       815 |    5548    23739   119642 |    11585      813     62 |  0.036 % |
13.22/13.36	c |      1323 |    5546    23739   119642 |    12743     1317     71 |  0.072 % |
13.51/13.61	c |      2082 |    5546    23739   119642 |    14018     2076     80 |  0.072 % |
13.92/14.09	c |      3221 |    5546    23739   119642 |    15420     3215     86 |  0.072 % |
14.81/14.98	c |      4931 |    5539    23739   119642 |    16962     4921     89 |  0.324 % |
14.91/15.04	c ===============================================================================
14.91/15.04	c core #496
14.91/15.04	c Core size: 51	Core Weight: 1	Total Weight: 496
14.91/15.04	c Elapsed CPU time: 14.8447 s	Remaining CPU time: 1785.16 s
15.02/15.11	c Learning 2722 hard constraints
15.02/15.11	c ============================[ Search Statistics ]==============================
15.02/15.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.02/15.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.02/15.11	c ===============================================================================
15.02/15.11	c |         0 |    5572    26462   298907 |     8820        0    nan |  0.000 % |
15.02/15.13	c |       103 |    5572    26462   298907 |     9702      103     18 |  0.000 % |
15.02/15.15	c |       254 |    5572    26462   298907 |    10673      254     23 |  0.000 % |
15.02/15.17	c |       481 |    5569    26462   298907 |    11740      481     23 |  0.108 % |
15.02/15.17	c ===============================================================================
15.02/15.17	c core #497
15.02/15.17	c Core size: 417	Core Weight: 1	Total Weight: 497
15.02/15.17	c Elapsed CPU time: 14.9787 s	Remaining CPU time: 1785.02 s
15.12/15.23	c Learning 22 hard constraints
15.12/15.23	c ============================[ Search Statistics ]==============================
15.12/15.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.12/15.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.12/15.23	c ===============================================================================
15.12/15.23	c |         0 |    5592    26485   299556 |     8828        0    nan |  0.000 % |
15.12/15.25	c |       102 |    5592    26485   299556 |     9711      102     56 |  0.000 % |
15.12/15.27	c |       256 |    5592    26485   299556 |    10682      256     52 |  0.000 % |
15.12/15.29	c |       482 |    5592    26485   299556 |    11750      482     41 |  0.000 % |
15.22/15.33	c |       822 |    5592    26485   299556 |    12925      822     40 |  0.000 % |
15.22/15.38	c |      1330 |    5592    26485   299556 |    14218     1330     40 |  0.000 % |
15.31/15.46	c |      2089 |    5592    26485   299556 |    15639     2089     37 |  0.000 % |
15.51/15.60	c |      3228 |    5590    26485   299556 |    17203     3132     38 |  0.036 % |
15.71/15.87	c |      4939 |    5590    26485   299556 |    18924     4843     42 |  0.036 % |
16.11/16.28	c ===============================================================================
16.21/16.35	c core #498
16.21/16.35	c Core size: 1519	Core Weight: 1	Total Weight: 498
16.21/16.35	c Elapsed CPU time: 16.1275 s	Remaining CPU time: 1783.87 s
16.32/16.42	c Learning 337 hard constraints
16.32/16.42	c ============================[ Search Statistics ]==============================
16.32/16.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.32/16.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.32/16.42	c ===============================================================================
16.32/16.42	c |         0 |    5717    26823   309234 |     8941        0    nan |  0.000 % |
16.32/16.44	c ===============================================================================
16.32/16.44	c core #499
16.32/16.44	c Core size: 233	Core Weight: 1	Total Weight: 499
16.32/16.44	c Elapsed CPU time: 16.2215 s	Remaining CPU time: 1783.78 s
16.32/16.49	c Learning 5 hard constraints
16.32/16.49	c ============================[ Search Statistics ]==============================
16.32/16.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.32/16.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.32/16.49	c ===============================================================================
16.32/16.49	c |         0 |    5736    26829   309418 |     8943        0    nan |  0.000 % |
16.41/16.51	c |       100 |    5736    26829   309418 |     9837      100     38 |  0.000 % |
16.41/16.52	c |       250 |    5736    26829   309418 |    10821      250     24 |  0.000 % |
16.41/16.54	c |       475 |    5736    26829   309418 |    11903      475     23 |  0.000 % |
16.41/16.58	c |       812 |    5734    26829   309418 |    13093      812     24 |  0.070 % |
16.51/16.61	c ===============================================================================
16.51/16.62	c core #500
16.51/16.62	c Core size: 601	Core Weight: 1	Total Weight: 500
16.51/16.62	c Elapsed CPU time: 16.3985 s	Remaining CPU time: 1783.6 s
16.51/16.68	c Learning 122 hard constraints
16.51/16.68	c ============================[ Search Statistics ]==============================
16.51/16.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.51/16.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.51/16.68	c ===============================================================================
16.51/16.68	c |         0 |    5763    26952   312978 |     8984        0    nan |  0.000 % |
16.61/16.70	c |       101 |    5763    26952   312978 |     9882      101     28 |  0.000 % |
16.61/16.71	c ===============================================================================
16.61/16.71	c core #501
16.61/16.71	c Core size: 28	Core Weight: 1	Total Weight: 501
16.61/16.71	c Elapsed CPU time: 16.4865 s	Remaining CPU time: 1783.51 s
16.61/16.77	c Learning 16 hard constraints
16.61/16.77	c ============================[ Search Statistics ]==============================
16.61/16.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.61/16.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.61/16.77	c ===============================================================================
16.61/16.77	c |         0 |    5774    26969   313466 |     8989        0    nan |  0.000 % |
16.70/16.81	c |       103 |    5774    26969   313466 |     9888      103     33 |  0.000 % |
16.70/16.86	c |       253 |    5774    26969   313466 |    10877      253     49 |  0.000 % |
16.80/16.96	c |       478 |    5774    26969   313466 |    11965      478     53 |  0.000 % |
16.90/17.05	c |       815 |    5774    26969   313466 |    13161      815     59 |  0.000 % |
17.10/17.23	c |      1321 |    5772    26969   313466 |    14477     1315     59 |  0.035 % |
17.41/17.58	c |      2081 |    5772    26969   313466 |    15925     2075     69 |  0.035 % |
18.10/18.22	c |      3226 |    5772    26969   313466 |    17518     3220     76 |  0.035 % |
19.01/19.12	c |      4935 |    5770    26969   313466 |    19270     4926     79 |  0.069 % |
20.40/20.58	c |      7503 |    5752    26969   313466 |    21197     7490     75 |  0.658 % |
23.20/23.35	c |     11348 |    5717    26969   313466 |    23316    11099     75 |  1.039 % |
24.41/24.53	c ===============================================================================
24.51/24.60	c core #502
24.51/24.60	c Core size: 8073	Core Weight: 1	Total Weight: 502
24.51/24.60	c Elapsed CPU time: 24.3263 s	Remaining CPU time: 1775.67 s
24.60/24.75	c Learning 6892 hard constraints
24.60/24.75	c ============================[ Search Statistics ]==============================
24.60/24.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.60/24.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.60/24.75	c ===============================================================================
24.60/24.75	c |         0 |    5863    33862   706699 |    11287        0    nan |  0.000 % |
24.60/24.79	c |       100 |    5861    33862   706699 |    12416      100     12 |  0.034 % |
24.60/24.80	c ===============================================================================
24.70/24.80	c core #503
24.70/24.80	c Core size: 289	Core Weight: 1	Total Weight: 503
24.70/24.80	c Elapsed CPU time: 24.5173 s	Remaining CPU time: 1775.48 s
24.80/24.90	c Learning 8 hard constraints
24.80/24.90	c ============================[ Search Statistics ]==============================
24.80/24.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.80/24.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.80/24.90	c ===============================================================================
24.80/24.90	c |         0 |    5879    33871   706958 |    11290        0    nan |  0.000 % |
24.80/24.92	c ===============================================================================
24.80/24.92	c core #504
24.80/24.92	c Core size: 188	Core Weight: 1	Total Weight: 504
24.80/24.92	c Elapsed CPU time: 24.6343 s	Remaining CPU time: 1775.37 s
24.90/25.03	c Learning 1 hard constraints
24.90/25.03	c ============================[ Search Statistics ]==============================
24.90/25.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.90/25.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.90/25.03	c ===============================================================================
24.90/25.03	c |         0 |    5890    33873   707010 |    11291        0    nan |  0.000 % |
24.90/25.06	c ===============================================================================
24.90/25.06	c core #505
24.90/25.06	c Core size: 242	Core Weight: 1	Total Weight: 505
24.90/25.06	c Elapsed CPU time: 24.7752 s	Remaining CPU time: 1775.22 s
25.00/25.16	c Learning 9 hard constraints
25.00/25.16	c ============================[ Search Statistics ]==============================
25.00/25.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.00/25.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.00/25.16	c ===============================================================================
25.00/25.16	c |         0 |    5903    33883   707270 |    11294        0    nan |  0.000 % |
25.00/25.20	c |       100 |    5903    33883   707270 |    12423      100     23 |  0.000 % |
25.11/25.23	c |       250 |    5901    33883   707270 |    13666      250     21 |  0.034 % |
25.11/25.28	c |       475 |    5901    33883   707270 |    15032      475     26 |  0.034 % |
25.21/25.34	c ===============================================================================
25.21/25.34	c core #506
25.21/25.34	c Core size: 790	Core Weight: 1	Total Weight: 506
25.21/25.34	c Elapsed CPU time: 25.0522 s	Remaining CPU time: 1774.95 s
25.30/25.46	c Learning 96 hard constraints
25.30/25.46	c ============================[ Search Statistics ]==============================
25.30/25.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.30/25.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.30/25.46	c ===============================================================================
25.30/25.46	c |         0 |    5959    33980   710123 |    11326        0    nan |  0.000 % |
25.30/25.49	c |       100 |    5959    33980   710123 |    12459      100     29 |  0.000 % |
25.40/25.50	c |       251 |    5959    33980   710123 |    13705      251     32 |  0.000 % |
25.40/25.52	c ===============================================================================
25.40/25.52	c core #507
25.40/25.52	c Core size: 248	Core Weight: 1	Total Weight: 507
25.40/25.52	c Elapsed CPU time: 25.2272 s	Remaining CPU time: 1774.77 s
25.50/25.62	c Learning 37 hard constraints
25.50/25.62	c ============================[ Search Statistics ]==============================
25.50/25.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.50/25.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.50/25.62	c ===============================================================================
25.50/25.62	c |         0 |    5969    34018   711242 |    11339        0    nan |  0.000 % |
25.50/25.68	c |       100 |    5969    34018   711242 |    12473      100     43 |  0.000 % |
25.59/25.77	c |       252 |    5969    34018   711242 |    13720      252     77 |  0.000 % |
25.69/25.87	c |       477 |    5969    34018   711242 |    15092      477     77 |  0.000 % |
25.89/26.10	c |       814 |    5967    34018   711242 |    16601      814     68 |  0.067 % |
26.40/26.52	c |      1321 |    5961    34018   711242 |    18262     1321     67 |  0.268 % |
26.90/27.00	c |      2080 |    5951    34018   711242 |    20088     2080     68 |  0.570 % |
27.70/27.80	c |      3219 |    5925    34018   711242 |    22097     3152     67 |  0.737 % |
29.19/29.32	c |      4928 |    5914    34018   711242 |    24306     4861     68 |  1.106 % |
30.99/31.17	c ===============================================================================
31.09/31.23	c core #508
31.09/31.23	c Core size: 7725	Core Weight: 1	Total Weight: 508
31.09/31.23	c Elapsed CPU time: 30.9073 s	Remaining CPU time: 1769.09 s
31.19/31.37	c Learning 2546 hard constraints
31.19/31.37	c ============================[ Search Statistics ]==============================
31.19/31.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.19/31.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
31.19/31.37	c ===============================================================================
31.19/31.37	c |         0 |    6005    36565   827984 |    12188        0    nan |  0.000 % |
31.29/31.43	c |       100 |    6005    36565   827984 |    13407      100     30 |  0.000 % |
31.29/31.45	c |       251 |    6005    36565   827984 |    14747      251     24 |  0.000 % |
31.29/31.48	c |       476 |    6004    36565   827984 |    16222      476     23 |  0.067 % |
31.39/31.51	c ===============================================================================
31.39/31.52	c core #509
31.39/31.52	c Core size: 464	Core Weight: 1	Total Weight: 509
31.39/31.52	c Elapsed CPU time: 31.1903 s	Remaining CPU time: 1768.81 s
31.49/31.63	c Learning 84 hard constraints
31.49/31.63	c ============================[ Search Statistics ]==============================
31.49/31.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.49/31.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
31.49/31.63	c ===============================================================================
31.49/31.63	c |         0 |    6040    36650   830321 |    12216        0    nan |  0.000 % |
31.49/31.66	c |       101 |    6038    36650   830321 |    13438      101     19 |  0.033 % |
31.49/31.69	c |       251 |    6037    36650   830321 |    14782      251     20 |  0.099 % |
31.59/31.72	c ===============================================================================
31.59/31.72	c core #510
31.59/31.72	c Core size: 482	Core Weight: 1	Total Weight: 510
31.59/31.72	c Elapsed CPU time: 31.3922 s	Remaining CPU time: 1768.61 s
31.69/31.85	c Learning 55 hard constraints
31.69/31.85	c ============================[ Search Statistics ]==============================
31.69/31.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.69/31.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
31.69/31.85	c ===============================================================================
31.69/31.85	c |         0 |    6059    36706   831904 |    12235        0    nan |  0.000 % |
31.69/31.89	c |       103 |    6059    36706   831904 |    13458      103     26 |  0.000 % |
31.89/32.00	c |       260 |    6059    36706   831904 |    14804      260     68 |  0.000 % |
31.99/32.14	c |       486 |    6059    36706   831904 |    16285      486     64 |  0.000 % |
32.29/32.40	c |       823 |    6059    36706   831904 |    17913      823     66 |  0.000 % |
32.80/32.92	c |      1329 |    6059    36706   831904 |    19705     1329     73 |  0.000 % |
33.49/33.69	c |      2090 |    6059    36706   831904 |    21675     2090     82 |  0.000 % |
34.09/34.21	c |      3230 |    6059    36706   831904 |    23843     3230     82 |  0.000 % |
35.49/35.67	c |      4938 |    6059    36706   831904 |    26227     4938     83 |  0.000 % |
38.78/38.90	c |      7500 |    6059    36706   831904 |    28850     7500     88 |  0.000 % |
44.18/44.32	c |     11344 |    6059    36706   831904 |    31735    11344     89 |  0.000 % |
51.38/51.50	c |     17111 |    6041    36706   831904 |    34908    17079     83 |  0.462 % |
57.09/57.21	c ===============================================================================
57.09/57.30	c core #511
57.09/57.30	c Core size: 8127	Core Weight: 1	Total Weight: 511
57.09/57.30	c Elapsed CPU time: 56.8764 s	Remaining CPU time: 1743.12 s
57.38/57.55	c Learning 9519 hard constraints
57.38/57.55	c ============================[ Search Statistics ]==============================
57.38/57.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.38/57.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
57.38/57.55	c ===============================================================================
57.38/57.55	c |         0 |    6129    46226  1453776 |    15408        0    nan |  0.000 % |
57.38/57.59	c |       102 |    6129    46226  1453776 |    16949      102     22 |  0.000 % |
57.48/57.62	c |       253 |    6129    46226  1453776 |    18644      253     32 |  0.000 % |
57.48/57.63	c |       479 |    6129    46226  1453776 |    20508      479     29 |  0.000 % |
57.48/57.67	c |       816 |    6129    46226  1453776 |    22559      816     41 |  0.000 % |
57.58/57.72	c |      1326 |    6129    46226  1453776 |    24815     1326     39 |  0.000 % |
57.68/57.81	c |      2086 |    6129    46226  1453776 |    27297     2086     45 |  0.000 % |
57.77/57.94	c |      3226 |    6129    46226  1453776 |    30027     3226     44 |  0.000 % |
57.98/58.19	c |      4935 |    6129    46226  1453776 |    33029     4935     40 |  0.001 % |
58.48/58.67	c |      7502 |    6127    46226  1453776 |    36332     7502     42 |  0.065 % |
58.87/59.08	c ===============================================================================
58.98/59.17	c core #512
58.98/59.17	c Core size: 946	Core Weight: 1	Total Weight: 512
58.98/59.17	c Elapsed CPU time: 58.7251 s	Remaining CPU time: 1741.27 s
59.19/59.39	c Learning 242 hard constraints
59.19/59.39	c ============================[ Search Statistics ]==============================
59.19/59.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.19/59.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
59.19/59.39	c ===============================================================================
59.19/59.39	c |         0 |    6202    46469  1460460 |    15489        0    nan |  0.000 % |
59.29/59.45	c |       100 |    6202    46469  1460460 |    17038      100     11 |  0.032 % |
59.38/59.51	c |       250 |    6199    46469  1460460 |    18742      250     14 |  0.065 % |
59.48/59.66	c |       475 |    6193    46469  1460460 |    20616      475     32 |  0.161 % |
59.98/60.10	c |       812 |    6187    46469  1460460 |    22678      812     49 |  0.258 % |
60.58/60.77	c |      1320 |    6182    46469  1460460 |    24946     1320     64 |  0.387 % |
61.48/61.67	c |      2080 |    6178    46469  1460460 |    27440     2080     71 |  0.484 % |
62.58/62.77	c |      3219 |    6174    46469  1460460 |    30184     3219     70 |  0.613 % |
64.87/65.02	c |      4930 |    6163    46469  1460460 |    33203     4930     71 |  0.871 % |
69.18/69.35	c |      7494 |    6161    46469  1460460 |    36523     7494     76 |  0.935 % |
77.07/77.26	c |     11339 |    6144    46469  1460460 |    40176    11272     83 |  0.935 % |
90.07/90.26	c |     17106 |    6144    46469  1460460 |    44193    17039     87 |  0.936 % |
91.26/91.48	c ===============================================================================
91.56/91.79	c core #513
91.56/91.79	c Core size: 12735	Core Weight: 1	Total Weight: 513
91.56/91.79	c Elapsed CPU time: 91.2701 s	Remaining CPU time: 1708.73 s
91.87/92.09	c Learning 6905 hard constraints
91.87/92.09	c ============================[ Search Statistics ]==============================
91.87/92.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.87/92.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.87/92.09	c ===============================================================================
91.87/92.09	c |         0 |    6244    53375  1849819 |    17791        0    nan |  0.000 % |
92.06/92.29	c |       101 |    6243    53375  1849819 |    19570      101     50 |  0.032 % |
92.46/92.61	c |       251 |    6242    53375  1849819 |    21527      251     68 |  0.032 % |
92.86/93.05	c |       478 |    6239    53375  1849819 |    23680      478     82 |  0.128 % |
93.66/93.83	c |       815 |    6233    53375  1849819 |    26048      815     84 |  0.320 % |
94.77/94.97	c |      1325 |    6231    53375  1849819 |    28653     1325     86 |  0.384 % |
96.37/96.55	c |      2086 |    6230    53375  1849819 |    31519     2086     92 |  0.416 % |
98.06/98.25	c |      3227 |    6230    53375  1849819 |    34670     3227     89 |  0.416 % |
101.56/101.74	c |      4937 |    6229    53375  1849819 |    38138     4937     84 |  0.448 % |
105.66/105.84	c |      7499 |    6229    53375  1849819 |    41951     7499     77 |  0.448 % |
110.66/110.83	c ===============================================================================
110.86/111.01	c core #514
110.86/111.01	c Core size: 13282	Core Weight: 1	Total Weight: 514
110.86/111.02	c Elapsed CPU time: 110.441 s	Remaining CPU time: 1689.56 s
111.16/111.35	c Learning 4570 hard constraints
111.16/111.35	c ============================[ Search Statistics ]==============================
111.16/111.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
111.16/111.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
111.16/111.35	c ===============================================================================
111.16/111.35	c |         0 |    6277    57946  2125446 |    19315        0    nan |  0.000 % |
111.26/111.42	c |       101 |    6276    57946  2125446 |    21246      101     16 |  0.032 % |
111.36/111.50	c |       253 |    6276    57946  2125446 |    23371      253     16 |  0.032 % |
111.36/111.57	c |       478 |    6276    57946  2125446 |    25708      478     17 |  0.032 % |
111.45/111.69	c |       817 |    6275    57946  2125446 |    28279      817     22 |  0.064 % |
111.55/111.75	c ===============================================================================
111.55/111.76	c core #515
111.55/111.76	c Core size: 678	Core Weight: 1	Total Weight: 515
111.55/111.76	c Elapsed CPU time: 111.18 s	Remaining CPU time: 1688.82 s
111.85/112.02	c Learning 102 hard constraints
111.85/112.02	c ============================[ Search Statistics ]==============================
111.85/112.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
111.85/112.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
111.85/112.02	c ===============================================================================
111.85/112.02	c |         0 |    6316    58049  2128329 |    19349        0    nan |  0.000 % |
112.15/112.30	c |       100 |    6316    58049  2128329 |    21284      100     55 |  0.000 % |
112.55/112.78	c |       250 |    6316    58049  2128329 |    23413      250     80 |  0.000 % |
113.25/113.44	c |       478 |    6316    58049  2128329 |    25754      478     96 |  0.000 % |
114.26/114.45	c |       817 |    6316    58049  2128329 |    28329      817     96 |  0.000 % |
115.66/115.87	c |      1323 |    6316    58049  2128329 |    31162     1323     95 |  0.000 % |
117.35/117.56	c |      2084 |    6316    58049  2128329 |    34279     2084     89 |  0.000 % |
120.55/120.71	c |      3224 |    6316    58049  2128329 |    37707     3224     89 |  0.000 % |
125.05/125.23	c |      4933 |    6315    58049  2128329 |    41477     4933     90 |  0.032 % |
131.85/132.02	c |      7497 |    6315    58049  2128329 |    45625     7497     88 |  0.032 % |
143.44/143.68	c |     11342 |    6311    58049  2128329 |    50188    11340     90 |  0.127 % |
161.44/161.61	c |     17109 |    6300    58049  2128329 |    55206    17107     87 |  0.253 % |
196.52/196.74	c |     25759 |    6290    58049  2128329 |    60727    25640     85 |  0.475 % |
259.00/259.23	c |     38733 |    6284    58049  2128329 |    66800    38614     85 |  0.507 % |
292.19/292.42	c ===============================================================================
293.39/293.64	c core #516
293.39/293.64	c Core size: 21461	Core Weight: 1	Total Weight: 516
293.39/293.64	c Elapsed CPU time: 292.76 s	Remaining CPU time: 1507.24 s
293.99/294.24	c Learning 19749 hard constraints
293.99/294.24	c ============================[ Search Statistics ]==============================
293.99/294.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
293.99/294.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
293.99/294.24	c ===============================================================================
293.99/294.24	c |         0 |    6386    77799  3473758 |    25933        0    nan |  0.000 % |
294.09/294.39	c |       101 |    6386    77799  3473758 |    28526      101     28 |  0.000 % |
294.69/294.91	c |       253 |    6386    77799  3473758 |    31378      253     48 |  0.000 % |
296.09/296.37	c |       479 |    6386    77799  3473758 |    34516      479     71 |  0.000 % |
297.69/297.97	c |       816 |    6386    77799  3473758 |    37968      816     79 |  0.000 % |
300.09/300.39	c |      1323 |    6386    77799  3473758 |    41765     1323     78 |  0.000 % |
303.68/303.95	c |      2082 |    6386    77799  3473758 |    45941     2082     81 |  0.000 % |
308.08/308.36	c |      3221 |    6386    77799  3473758 |    50536     3221     82 |  0.000 % |
315.58/315.86	c |      4933 |    6386    77799  3473758 |    55589     4933     85 |  0.000 % |
324.48/324.79	c |      7496 |    6386    77799  3473758 |    61148     7496     83 |  0.000 % |
339.27/339.51	c |     11340 |    6386    77799  3473758 |    67263    11340     85 |  0.000 % |
367.86/368.13	c |     17107 |    6386    77799  3473758 |    73989    17107     86 |  0.000 % |
409.95/410.25	c |     25758 |    6381    77799  3473758 |    81388    25649     85 |  0.094 % |
489.62/489.96	c |     38734 |    6379    77799  3473758 |    89527    38625     85 |  0.125 % |
618.57/618.98	c |     58196 |    6347    77799  3473758 |    98480    57236     81 |  1.503 % |
623.67/624.09	c ===============================================================================
625.67/626.01	c core #517
625.67/626.01	c Core size: 27826	Core Weight: 1	Total Weight: 517
625.67/626.01	c Elapsed CPU time: 624.765 s	Remaining CPU time: 1175.23 s
626.47/626.86	c Learning 26602 hard constraints
626.47/626.86	c ============================[ Search Statistics ]==============================
626.47/626.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
626.47/626.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
626.47/626.86	c ===============================================================================
626.47/626.86	c |         0 |    6451   104402  5251472 |    34800        0    nan |  0.000 % |
626.86/627.26	c |       100 |    6451   104402  5251472 |    38280      100     56 |  0.000 % |
627.86/628.28	c |       253 |    6451   104402  5251472 |    42108      253     83 |  0.000 % |
629.77/630.19	c |       478 |    6451   104402  5251472 |    46319      478     88 |  0.000 % |
632.56/632.96	c |       819 |    6451   104402  5251472 |    50951      819     84 |  0.000 % |
636.66/637.07	c |      1327 |    6451   104402  5251472 |    56046     1327     85 |  0.000 % |
642.56/642.92	c |      2086 |    6451   104402  5251472 |    61651     2086     87 |  0.000 % |
650.16/650.54	c |      3226 |    6451   104402  5251472 |    67816     3226     86 |  0.000 % |
661.76/662.14	c |      4936 |    6451   104402  5251472 |    74598     4936     84 |  0.000 % |
679.55/679.98	c |      7499 |    6451   104402  5251472 |    82058     7499     83 |  0.000 % |
704.94/705.32	c |     11343 |    6451   104402  5251472 |    90263    11343     82 |  0.000 % |
744.92/745.33	c |     17113 |    6451   104402  5251472 |    99290    17113     80 |  0.000 % |
809.91/810.33	c |     25763 |    6451   104402  5251472 |   109219    25763     82 |  0.000 % |
891.57/892.01	c |     38741 |    6451   104402  5251472 |   120141    38741     81 |  0.000 % |
922.76/923.24	c ===============================================================================
924.26/924.76	c core #518
924.26/924.76	c Core size: 31821	Core Weight: 1	Total Weight: 518
924.26/924.76	c Elapsed CPU time: 923.179 s	Remaining CPU time: 876.821 s
925.16/925.69	c Learning 17067 hard constraints
925.16/925.69	c ============================[ Search Statistics ]==============================
925.16/925.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
925.16/925.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
925.16/925.70	c ===============================================================================
925.16/925.70	c |         0 |    6476   121470  6338804 |    40490        0    nan |  0.000 % |
925.67/926.16	c |       101 |    6476   121470  6338804 |    44539      101     62 |  0.000 % |
927.06/927.54	c |       251 |    6476   121470  6338804 |    48992      251     85 |  0.000 % |
929.36/929.83	c |       477 |    6476   121470  6338804 |    53892      477     96 |  0.000 % |
932.36/932.81	c |       815 |    6476   121470  6338804 |    59281      815     96 |  0.000 % |
936.76/937.22	c |      1325 |    6476   121470  6338804 |    65209     1325     96 |  0.000 % |
942.55/943.07	c |      2085 |    6476   121470  6338804 |    71730     2085     97 |  0.000 % |
952.35/952.89	c |      3225 |    6476   121470  6338804 |    78903     3225     96 |  0.000 % |
965.84/966.35	c |      4936 |    6476   121470  6338804 |    86793     4936     93 |  0.000 % |
988.03/988.57	c |      7500 |    6476   121470  6338804 |    95473     7500     92 |  0.000 % |
1017.82/1018.34	c |     11345 |    6476   121470  6338804 |   105020    11345     92 |  0.000 % |
1057.61/1058.14	c |     17111 |    6476   121470  6338804 |   115522    17111     88 |  0.000 % |
1136.59/1137.13	c |     25760 |    6476   121470  6338804 |   127074    25760     88 |  0.000 % |
1243.95/1244.53	c |     38735 |    6476   121470  6338804 |   139782    38735     87 |  0.000 % |
1365.80/1366.43	c ===============================================================================
1367.71/1368.31	c core #519
1367.71/1368.31	c Core size: 38174	Core Weight: 1	Total Weight: 519
1367.71/1368.31	c Elapsed CPU time: 1366.32 s	Remaining CPU time: 433.684 s
1368.70/1369.40	c Learning 13413 hard constraints
1368.70/1369.40	c ============================[ Search Statistics ]==============================
1368.70/1369.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1368.70/1369.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1368.70/1369.40	c ===============================================================================
1368.70/1369.40	c |         0 |    6502   134884  7150440 |    44961        0    nan |  0.000 % |
1368.90/1369.51	c |       100 |    6502   134884  7150440 |    49457      100     14 |  0.000 % |
1369.20/1369.88	c |       251 |    6502   134884  7150440 |    54403      251     21 |  0.031 % |
1369.40/1370.03	c |       478 |    6501   134884  7150440 |    59843      478     22 |  0.031 % |
1369.91/1370.55	c |       816 |    6501   134884  7150440 |    65827      816     25 |  0.062 % |
1370.40/1371.09	c |      1322 |    6500   134884  7150440 |    72410     1322     28 |  0.062 % |
1371.20/1371.86	c |      2082 |    6499   134884  7150440 |    79651     2082     31 |  0.092 % |
1372.11/1372.75	c |      3222 |    6498   134884  7150440 |    87616     3222     35 |  0.123 % |
1372.60/1373.25	c ===============================================================================
1372.70/1373.30	c core #520
1372.70/1373.30	c Core size: 1695	Core Weight: 1	Total Weight: 520
1372.70/1373.30	c Elapsed CPU time: 1371.26 s	Remaining CPU time: 428.738 s
1373.60/1374.22	c Learning 588 hard constraints
1373.60/1374.22	c ============================[ Search Statistics ]==============================
1373.60/1374.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1373.60/1374.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1373.60/1374.22	c ===============================================================================
1373.60/1374.22	c |         0 |    6576   135473  7166922 |    45157        0    nan |  0.000 % |
1374.10/1374.74	c |       101 |    6576   135473  7166922 |    49673      101     51 |  0.000 % |
1375.80/1376.47	c |       253 |    6576   135473  7166922 |    54640      253     73 |  0.000 % |
1378.40/1379.09	c |       481 |    6576   135473  7166922 |    60104      481     75 |  0.000 % |
1382.10/1382.77	c |       818 |    6576   135473  7166922 |    66115      818     79 |  0.000 % |
1387.30/1387.98	c |      1326 |    6576   135473  7166922 |    72726     1326     80 |  0.000 % |
1395.09/1395.71	c |      2085 |    6576   135473  7166922 |    79999     2085     84 |  0.000 % |
1406.69/1407.33	c |      3227 |    6576   135473  7166922 |    87999     3227     88 |  0.000 % |
1423.18/1423.80	c |      4936 |    6576   135473  7166922 |    96799     4936     91 |  0.000 % |
1448.68/1449.38	c |      7498 |    6576   135473  7166922 |   106479     7498     90 |  0.000 % |
1485.76/1486.42	c |     11346 |    6574   135473  7166922 |   117127    11346     89 |  0.030 % |
1542.55/1543.21	c |     17112 |    6574   135473  7166922 |   128840    17112     89 |  0.030 % |
1625.81/1626.51	c |     25761 |    6574   135473  7166922 |   141724    25761     87 |  0.030 % |
1731.68/1732.44	c |     38735 |    6574   135473  7166922 |   155896    38735     86 |  0.030 % |
1765.26/1766.03	c ===============================================================================
1766.76/1767.56	c core #521
1766.76/1767.56	c Core size: 38375	Core Weight: 1	Total Weight: 521
1766.76/1767.56	c Elapsed CPU time: 1765.18 s	Remaining CPU time: 34.8213 s
1768.06/1768.86	c Learning 19880 hard constraints
1768.06/1768.86	c ============================[ Search Statistics ]==============================
1768.06/1768.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1768.06/1768.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1768.06/1768.86	c ===============================================================================
1768.06/1768.86	c |         0 |    6611   155354  8558618 |    51784        0    nan |  0.000 % |
1768.55/1769.32	c |       100 |    6611   155354  8558618 |    56963      100     75 |  0.000 % |
1770.85/1771.64	c |       251 |    6611   155354  8558618 |    62659      251     81 |  0.000 % |
1773.86/1774.67	c |       477 |    6611   155354  8558618 |    68925      477     89 |  0.000 % |
1778.25/1779.04	c |       815 |    6611   155354  8558618 |    75817      815     91 |  0.000 % |
1784.85/1785.62	c |      1321 |    6611   155354  8558618 |    83399     1321     89 |  0.000 % |
1793.44/1794.25	c |      2080 |    6611   155354  8558618 |    91739     2080     89 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875785-1245157448/watcher-1875785-1245157448 -o /tmp/evaluation-result-1875785-1245157448/solver-1875785-1245157448 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875785-1245157448.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.91 0.95 0.97 3/64 7946
/proc/meminfo: memFree=1923224/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=3524 CPUtime=0
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 68477800 3608576 244 1992294400 134512640 135709839 4294956240 18446744073709551615 135166121 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 881 245 127 292 0 407 0

[startup+0.012768 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 7946
/proc/meminfo: memFree=1923224/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=3524 CPUtime=0.01
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 280 0 0 0 1 0 0 0 18 0 1 0 68477800 3608576 264 1992294400 134512640 135709839 4294956240 18446744073709551615 134544054 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 881 264 140 292 0 407 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3524

[startup+0.101784 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 7946
/proc/meminfo: memFree=1923224/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=3932 CPUtime=0.09
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 743 0 0 0 9 0 0 0 18 0 1 0 68477800 4026368 548 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 983 549 133 292 0 688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3932

[startup+0.301825 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 7946
/proc/meminfo: memFree=1923224/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=4864 CPUtime=0.29
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 951 0 0 0 29 0 0 0 19 0 1 0 68477800 4980736 756 1992294400 134512640 135709839 4294956240 18446744073709551615 134607519 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 1216 756 133 292 0 921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4864

[startup+0.701904 s]
/proc/loadavg: 0.91 0.95 0.97 3/64 7946
/proc/meminfo: memFree=1923224/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=4864 CPUtime=0.69
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 957 0 0 0 69 0 0 0 22 0 1 0 68477800 4980736 762 1992294400 134512640 135709839 4294956240 18446744073709551615 135162244 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 1216 762 133 292 0 921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4864

[startup+1.50106 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 7947
/proc/meminfo: memFree=1920656/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=5028 CPUtime=1.49
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 1030 0 0 0 149 0 0 0 25 0 1 0 68477800 5148672 828 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 1257 828 133 292 0 962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5028

[startup+3.10138 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 7947
/proc/meminfo: memFree=1920208/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=5520 CPUtime=3.09
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 1329 0 0 0 309 0 0 0 25 0 1 0 68477800 5652480 925 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 1380 925 133 292 0 1085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5520

[startup+6.30202 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 7947
/proc/meminfo: memFree=1918544/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=7280 CPUtime=6.28
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 2756 0 0 0 627 1 0 0 25 0 1 0 68477800 7454720 1356 1992294400 134512640 135709839 4294956240 18446744073709551615 134607522 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 1820 1356 133 292 0 1525 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7280

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 7947
/proc/meminfo: memFree=1910864/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=15016 CPUtime=12.61
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 5503 0 0 0 1252 9 0 0 25 0 1 0 68477800 15376384 3322 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 3754 3322 136 292 0 3459 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 15016

[startup+25.5019 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 7947
/proc/meminfo: memFree=1895888/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=29104 CPUtime=25.4
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 9030 0 0 0 2520 20 0 0 25 0 1 0 68477800 29802496 6815 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 7276 6815 136 292 0 6981 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 29104

[startup+51.102 s]
/proc/loadavg: 1.02 0.97 0.98 2/65 7947
/proc/meminfo: memFree=1893328/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=32140 CPUtime=50.98
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 9777 0 0 0 5069 29 0 0 25 0 1 0 68477800 32911360 7562 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 8035 7562 136 292 0 7740 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 32140

[startup+102.305 s]
/proc/loadavg: 1.07 0.99 0.98 2/65 7947
/proc/meminfo: memFree=1876944/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=48060 CPUtime=102.16
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 13863 0 0 0 10174 42 0 0 25 0 1 0 68477800 49213440 11566 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 12015 11566 136 292 0 11720 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 48060

[startup+162.301 s]
/proc/loadavg: 1.08 1.00 0.99 2/65 7947
/proc/meminfo: memFree=1876624/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=48388 CPUtime=162.13
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 13922 0 0 0 16163 50 0 0 25 0 1 0 68477800 49549312 11625 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 12097 11625 136 292 0 11802 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 48388

[startup+222.301 s]
/proc/loadavg: 1.08 1.02 0.99 2/65 7947
/proc/meminfo: memFree=1870736/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=54156 CPUtime=222.11
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 15377 0 0 0 22153 58 0 0 25 0 1 0 68477800 55455744 13080 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 13539 13080 136 292 0 13244 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 54156

[startup+282.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 7947
/proc/meminfo: memFree=1859920/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=65044 CPUtime=282.1
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 18095 0 0 0 28143 67 0 0 25 0 1 0 68477800 66605056 15798 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 16261 15798 136 292 0 15966 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 65044

[startup+342.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 7947
/proc/meminfo: memFree=1838936/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=86284 CPUtime=342.07
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 23369 0 0 0 34133 74 0 0 25 0 1 0 68477800 88354816 21007 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 21571 21007 136 292 0 21276 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 86284

[startup+402.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7947
/proc/meminfo: memFree=1838936/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=86284 CPUtime=402.04
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 23369 0 0 0 40126 78 0 0 25 0 1 0 68477800 88354816 21007 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 21571 21007 136 292 0 21276 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 86284

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7947
/proc/meminfo: memFree=1838872/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=86284 CPUtime=462.03
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 23370 0 0 0 46121 82 0 0 25 0 1 0 68477800 88354816 21008 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 21571 21008 136 292 0 21276 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 86284

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1838872/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=86284 CPUtime=522
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 23376 0 0 0 52114 86 0 0 25 0 1 0 68477800 88354816 21014 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 21571 21014 136 292 0 21276 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 86284

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1838744/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=86284 CPUtime=581.99
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 23397 0 0 0 58109 90 0 0 25 0 1 0 68477800 88354816 21035 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 21571 21035 136 292 0 21276 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 86284

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809944/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=115048 CPUtime=641.96
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30623 0 0 0 64100 96 0 0 25 0 1 0 68477800 117809152 28185 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28762 28185 136 292 0 28467 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 115048

[startup+702.302 s]

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

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=115048 CPUtime=821.9
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30627 0 0 0 82083 107 0 0 25 0 1 0 68477800 117809152 28189 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28762 28189 136 292 0 28467 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 115048

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809688/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=115048 CPUtime=881.88
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30627 0 0 0 88076 112 0 0 25 0 1 0 68477800 117809152 28189 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28762 28189 136 292 0 28467 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 115048

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809368/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=941.86
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30784 0 0 0 94070 116 0 0 25 0 1 0 68477800 117669888 28244 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28244 136 292 0 28433 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 114912

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809368/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1001.83
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30784 0 0 0 100064 119 0 0 25 0 1 0 68477800 117669888 28244 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28244 136 292 0 28433 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 114912

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809304/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1061.82
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30784 0 0 0 106059 123 0 0 25 0 1 0 68477800 117669888 28244 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28244 136 292 0 28433 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 114912

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809304/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1121.79
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30784 0 0 0 112053 126 0 0 25 0 1 0 68477800 117669888 28244 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28244 136 292 0 28433 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 114912

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809240/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1181.77
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30785 0 0 0 118047 130 0 0 25 0 1 0 68477800 117669888 28245 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28245 136 292 0 28433 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 114912

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809240/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1241.75
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30785 0 0 0 124041 134 0 0 25 0 1 0 68477800 117669888 28245 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28245 136 292 0 28433 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 114912

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809240/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1301.73
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30790 0 0 0 130036 137 0 0 25 0 1 0 68477800 117669888 28250 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28250 136 292 0 28433 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 114912

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1809176/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=114912 CPUtime=1361.71
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 30801 0 0 0 136030 141 0 0 25 0 1 0 68477800 117669888 28261 1992294400 134512640 135709839 4294956240 18446744073709551615 134574170 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 28728 28261 136 292 0 28433 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 114912

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1787416/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=137028 CPUtime=1421.69
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 36428 0 0 0 142021 148 0 0 25 0 1 0 68477800 140316672 33627 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 34257 33627 136 292 0 33962 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 137028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1787352/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=137028 CPUtime=1481.66
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 36428 0 0 0 148015 151 0 0 25 0 1 0 68477800 140316672 33627 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 34257 33627 136 292 0 33962 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 137028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1787352/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=137028 CPUtime=1541.63
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 36428 0 0 0 154010 153 0 0 25 0 1 0 68477800 140316672 33627 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 34257 33627 136 292 0 33962 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 137028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1787352/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=137028 CPUtime=1601.61
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 36428 0 0 0 160005 156 0 0 25 0 1 0 68477800 140316672 33627 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 34257 33627 136 292 0 33962 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 137028

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1787352/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=137028 CPUtime=1661.59
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 36429 0 0 0 166000 159 0 0 25 0 1 0 68477800 140316672 33628 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 34257 33628 136 292 0 33962 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 137028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1787288/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=137028 CPUtime=1721.57
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 36436 0 0 0 171995 162 0 0 25 0 1 0 68477800 140316672 33635 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 34257 33635 136 292 0 33962 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 137028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1773208/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=151392 CPUtime=1781.55
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 39963 0 0 0 177988 167 0 0 25 0 1 0 68477800 155025408 37162 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 37848 37162 136 292 0 37553 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 151392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7947
/proc/meminfo: memFree=1773144/2055920 swapFree=4191900/4192956
[pid=7946] ppid=7944 vsize=151392 CPUtime=1800.05
/proc/7946/stat : 7946 (wbo) R 7944 7946 7903 0 -1 4194304 39967 0 0 0 179837 168 0 0 25 0 1 0 68477800 155025408 37166 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7946/statm: 37848 37166 136 292 0 37553 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 151392

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.83
CPU time (s): 1800.08
CPU user time (s): 1798.38
CPU system time (s): 1.70574
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 151392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 1.70574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 6604

runsolver used 1.41179 second user time and 3.88841 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-16 15:04:08
IDJOB=1875785
IDBENCH=2163
IDSOLVER=698
FILE ID=node33/1875785-1245157448
PBS_JOBID= 9363833
Free space on /tmp= 65952 MiB

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

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

MD5SUM BENCH= a4212e7e4d5e950e6ac9fce9bc7b8e0a
RANDOM SEED=399360686

node33.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.261
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.261
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:       1923768 kB
Buffers:         22184 kB
Cached:          55428 kB
SwapCached:        384 kB
Active:          57508 kB
Inactive:        33432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1923768 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3256 kB
Writeback:           0 kB
Mapped:          21664 kB
Slab:            27196 kB
Committed_AS:   119684 kB
PageTables:       1392 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-1875785-1245157448.opb

Free space on /tmp at the end= 65948 MiB
End job on node33 at 2009-06-16 15:34:11