Trace number 1875374

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? (MO) 410.531 410.878

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-66
Best CPU time to get the best result obtained on this benchmark1800.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint107
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

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-1875374-1245203707.opb.
0.00/0.00	c Instance file HOME/instance-1875374-1245203707.opb
0.00/0.00	c File size is 3317910 bytes.
0.50/0.51	c Highest Coefficient sum: 107
0.50/0.51	c ============================[ Problem Statistics ]=============================
0.50/0.51	c |                                                                             |
0.50/0.51	c |  Parsing time:          0.49         s                                      |
0.50/0.51	c |  Number Variables:      38742                                               |
0.50/0.51	c |  Number Clauses:        38742                                               |
0.50/0.51	c |  Number Cardinality:    2000                                                |
0.50/0.51	c |  Number PB Constraints: 37742                                               |
0.50/0.51	c core #1
0.50/0.51	c Core size: 4	Core Weight: 1	Total Weight: -999
0.50/0.51	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.59/0.63	c core #2
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: -998
0.59/0.63	c Elapsed CPU time: 0.600908 s	Remaining CPU time: 1799.4 s
0.69/0.75	c core #3
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: -997
0.69/0.75	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.80/0.87	c core #4
0.80/0.87	c Core size: 4	Core Weight: 1	Total Weight: -996
0.80/0.87	c Elapsed CPU time: 0.830873 s	Remaining CPU time: 1799.17 s
0.89/1.00	c core #5
0.89/1.00	c Core size: 4	Core Weight: 1	Total Weight: -995
0.89/1.00	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 1799.05 s
1.09/1.13	c core #6
1.09/1.13	c Core size: 4	Core Weight: 1	Total Weight: -994
1.09/1.13	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
1.19/1.27	c core #7
1.19/1.27	c Core size: 4	Core Weight: 1	Total Weight: -993
1.19/1.27	c Elapsed CPU time: 1.21081 s	Remaining CPU time: 1798.79 s
1.39/1.41	c core #8
1.39/1.41	c Core size: 4	Core Weight: 1	Total Weight: -992
1.39/1.41	c Elapsed CPU time: 1.34879 s	Remaining CPU time: 1798.65 s
1.49/1.55	c core #9
1.49/1.55	c Core size: 4	Core Weight: 1	Total Weight: -991
1.49/1.55	c Elapsed CPU time: 1.48377 s	Remaining CPU time: 1798.52 s
1.59/1.70	c core #10
1.59/1.70	c Core size: 4	Core Weight: 1	Total Weight: -990
1.59/1.70	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 1798.38 s
1.78/1.84	c core #11
1.78/1.84	c Core size: 4	Core Weight: 1	Total Weight: -989
1.78/1.84	c Elapsed CPU time: 1.75873 s	Remaining CPU time: 1798.24 s
1.89/1.98	c core #12
1.89/1.98	c Core size: 4	Core Weight: 1	Total Weight: -988
1.89/1.98	c Elapsed CPU time: 1.89071 s	Remaining CPU time: 1798.11 s
2.10/2.12	c core #13
2.10/2.12	c Core size: 4	Core Weight: 1	Total Weight: -987
2.10/2.12	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 1797.97 s
2.19/2.26	c core #14
2.19/2.26	c Core size: 4	Core Weight: 1	Total Weight: -986
2.19/2.26	c Elapsed CPU time: 2.16767 s	Remaining CPU time: 1797.83 s
2.39/2.41	c core #15
2.39/2.41	c Core size: 4	Core Weight: 1	Total Weight: -985
2.39/2.41	c Elapsed CPU time: 2.30665 s	Remaining CPU time: 1797.69 s
2.49/2.55	c core #16
2.49/2.55	c Core size: 4	Core Weight: 1	Total Weight: -984
2.49/2.55	c Elapsed CPU time: 2.44463 s	Remaining CPU time: 1797.56 s
2.59/2.69	c core #17
2.59/2.69	c Core size: 4	Core Weight: 1	Total Weight: -983
2.59/2.69	c Elapsed CPU time: 2.58061 s	Remaining CPU time: 1797.42 s
2.79/2.83	c core #18
2.79/2.83	c Core size: 4	Core Weight: 1	Total Weight: -982
2.79/2.83	c Elapsed CPU time: 2.71459 s	Remaining CPU time: 1797.29 s
2.89/2.98	c core #19
2.89/2.98	c Core size: 4	Core Weight: 1	Total Weight: -981
2.89/2.98	c Elapsed CPU time: 2.85457 s	Remaining CPU time: 1797.15 s
3.09/3.12	c core #20
3.09/3.12	c Core size: 4	Core Weight: 1	Total Weight: -980
3.09/3.12	c Elapsed CPU time: 2.99154 s	Remaining CPU time: 1797.01 s
3.20/3.26	c core #21
3.20/3.26	c Core size: 4	Core Weight: 1	Total Weight: -979
3.20/3.26	c Elapsed CPU time: 3.13052 s	Remaining CPU time: 1796.87 s
3.39/3.41	c core #22
3.39/3.41	c Core size: 4	Core Weight: 1	Total Weight: -978
3.39/3.41	c Elapsed CPU time: 3.2695 s	Remaining CPU time: 1796.73 s
3.49/3.55	c core #23
3.49/3.55	c Core size: 4	Core Weight: 1	Total Weight: -977
3.49/3.55	c Elapsed CPU time: 3.40548 s	Remaining CPU time: 1796.59 s
3.59/3.69	c core #24
3.59/3.69	c Core size: 4	Core Weight: 1	Total Weight: -976
3.59/3.69	c Elapsed CPU time: 3.53646 s	Remaining CPU time: 1796.46 s
3.79/3.83	c core #25
3.79/3.83	c Core size: 4	Core Weight: 1	Total Weight: -975
3.79/3.83	c Elapsed CPU time: 3.67244 s	Remaining CPU time: 1796.33 s
3.89/3.97	c core #26
3.89/3.97	c Core size: 4	Core Weight: 1	Total Weight: -974
3.89/3.97	c Elapsed CPU time: 3.80342 s	Remaining CPU time: 1796.2 s
4.08/4.11	c core #27
4.08/4.11	c Core size: 4	Core Weight: 1	Total Weight: -973
4.08/4.11	c Elapsed CPU time: 3.9434 s	Remaining CPU time: 1796.06 s
4.18/4.26	c core #28
4.18/4.26	c Core size: 4	Core Weight: 1	Total Weight: -972
4.18/4.26	c Elapsed CPU time: 4.08038 s	Remaining CPU time: 1795.92 s
4.39/4.40	c core #29
4.39/4.40	c Core size: 4	Core Weight: 1	Total Weight: -971
4.39/4.40	c Elapsed CPU time: 4.21936 s	Remaining CPU time: 1795.78 s
4.49/4.55	c core #30
4.49/4.55	c Core size: 4	Core Weight: 1	Total Weight: -970
4.49/4.55	c Elapsed CPU time: 4.36134 s	Remaining CPU time: 1795.64 s
4.58/4.69	c core #31
4.58/4.69	c Core size: 4	Core Weight: 1	Total Weight: -969
4.58/4.69	c Elapsed CPU time: 4.50031 s	Remaining CPU time: 1795.5 s
4.79/4.84	c core #32
4.79/4.84	c Core size: 4	Core Weight: 1	Total Weight: -968
4.79/4.84	c Elapsed CPU time: 4.63929 s	Remaining CPU time: 1795.36 s
4.89/4.98	c core #33
4.89/4.98	c Core size: 4	Core Weight: 1	Total Weight: -967
4.89/4.98	c Elapsed CPU time: 4.78227 s	Remaining CPU time: 1795.22 s
5.09/5.12	c core #34
5.09/5.12	c Core size: 4	Core Weight: 1	Total Weight: -966
5.09/5.12	c Elapsed CPU time: 4.91925 s	Remaining CPU time: 1795.08 s
5.18/5.27	c core #35
5.18/5.27	c Core size: 4	Core Weight: 1	Total Weight: -965
5.18/5.27	c Elapsed CPU time: 5.05523 s	Remaining CPU time: 1794.94 s
5.39/5.41	c core #36
5.39/5.41	c Core size: 4	Core Weight: 1	Total Weight: -964
5.39/5.41	c Elapsed CPU time: 5.19221 s	Remaining CPU time: 1794.81 s
5.49/5.55	c core #37
5.49/5.55	c Core size: 4	Core Weight: 1	Total Weight: -963
5.49/5.55	c Elapsed CPU time: 5.33119 s	Remaining CPU time: 1794.67 s
5.58/5.70	c core #38
5.58/5.70	c Core size: 4	Core Weight: 1	Total Weight: -962
5.58/5.70	c Elapsed CPU time: 5.47217 s	Remaining CPU time: 1794.53 s
5.78/5.84	c core #39
5.78/5.84	c Core size: 4	Core Weight: 1	Total Weight: -961
5.78/5.84	c Elapsed CPU time: 5.61115 s	Remaining CPU time: 1794.39 s
5.89/5.98	c core #40
5.89/5.98	c Core size: 4	Core Weight: 1	Total Weight: -960
5.89/5.98	c Elapsed CPU time: 5.74713 s	Remaining CPU time: 1794.25 s
6.08/6.13	c core #41
6.08/6.13	c Core size: 4	Core Weight: 1	Total Weight: -959
6.08/6.13	c Elapsed CPU time: 5.8891 s	Remaining CPU time: 1794.11 s
6.18/6.27	c core #42
6.18/6.27	c Core size: 4	Core Weight: 1	Total Weight: -958
6.18/6.27	c Elapsed CPU time: 6.02808 s	Remaining CPU time: 1793.97 s
6.38/6.42	c core #43
6.38/6.42	c Core size: 4	Core Weight: 1	Total Weight: -957
6.38/6.42	c Elapsed CPU time: 6.16406 s	Remaining CPU time: 1793.84 s
6.49/6.56	c core #44
6.49/6.56	c Core size: 4	Core Weight: 1	Total Weight: -956
6.49/6.56	c Elapsed CPU time: 6.29904 s	Remaining CPU time: 1793.7 s
6.69/6.70	c core #45
6.69/6.70	c Core size: 4	Core Weight: 1	Total Weight: -955
6.69/6.70	c Elapsed CPU time: 6.43802 s	Remaining CPU time: 1793.56 s
6.78/6.84	c core #46
6.78/6.84	c Core size: 4	Core Weight: 1	Total Weight: -954
6.78/6.84	c Elapsed CPU time: 6.573 s	Remaining CPU time: 1793.43 s
6.89/6.98	c core #47
6.89/6.98	c Core size: 4	Core Weight: 1	Total Weight: -953
6.89/6.98	c Elapsed CPU time: 6.70598 s	Remaining CPU time: 1793.29 s
7.08/7.13	c core #48
7.08/7.13	c Core size: 4	Core Weight: 1	Total Weight: -952
7.08/7.13	c Elapsed CPU time: 6.84396 s	Remaining CPU time: 1793.16 s
7.18/7.27	c core #49
7.18/7.27	c Core size: 4	Core Weight: 1	Total Weight: -951
7.18/7.27	c Elapsed CPU time: 6.97894 s	Remaining CPU time: 1793.02 s
7.38/7.41	c core #50
7.38/7.41	c Core size: 4	Core Weight: 1	Total Weight: -950
7.38/7.41	c Elapsed CPU time: 7.11792 s	Remaining CPU time: 1792.88 s
7.49/7.55	c core #51
7.49/7.55	c Core size: 4	Core Weight: 1	Total Weight: -949
7.49/7.55	c Elapsed CPU time: 7.2569 s	Remaining CPU time: 1792.74 s
7.59/7.69	c core #52
7.59/7.69	c Core size: 4	Core Weight: 1	Total Weight: -948
7.59/7.69	c Elapsed CPU time: 7.39387 s	Remaining CPU time: 1792.61 s
7.78/7.84	c core #53
7.78/7.84	c Core size: 4	Core Weight: 1	Total Weight: -947
7.78/7.84	c Elapsed CPU time: 7.53185 s	Remaining CPU time: 1792.47 s
7.88/7.98	c core #54
7.88/7.98	c Core size: 4	Core Weight: 1	Total Weight: -946
7.88/7.98	c Elapsed CPU time: 7.67283 s	Remaining CPU time: 1792.33 s
8.08/8.13	c core #55
8.08/8.13	c Core size: 4	Core Weight: 1	Total Weight: -945
8.08/8.13	c Elapsed CPU time: 7.81581 s	Remaining CPU time: 1792.18 s
8.18/8.27	c core #56
8.18/8.27	c Core size: 4	Core Weight: 1	Total Weight: -944
8.18/8.27	c Elapsed CPU time: 7.95279 s	Remaining CPU time: 1792.05 s
8.38/8.41	c core #57
8.38/8.41	c Core size: 4	Core Weight: 1	Total Weight: -943
8.38/8.41	c Elapsed CPU time: 8.09277 s	Remaining CPU time: 1791.91 s
8.48/8.56	c core #58
8.48/8.56	c Core size: 4	Core Weight: 1	Total Weight: -942
8.48/8.56	c Elapsed CPU time: 8.22975 s	Remaining CPU time: 1791.77 s
8.58/8.70	c core #59
8.58/8.70	c Core size: 4	Core Weight: 1	Total Weight: -941
8.58/8.70	c Elapsed CPU time: 8.36873 s	Remaining CPU time: 1791.63 s
8.78/8.84	c core #60
8.78/8.84	c Core size: 4	Core Weight: 1	Total Weight: -940
8.78/8.84	c Elapsed CPU time: 8.50871 s	Remaining CPU time: 1791.49 s
8.88/8.99	c core #61
8.88/8.99	c Core size: 4	Core Weight: 1	Total Weight: -939
8.88/8.99	c Elapsed CPU time: 8.64869 s	Remaining CPU time: 1791.35 s
9.08/9.13	c core #62
9.08/9.13	c Core size: 4	Core Weight: 1	Total Weight: -938
9.08/9.13	c Elapsed CPU time: 8.78866 s	Remaining CPU time: 1791.21 s
9.18/9.27	c core #63
9.18/9.27	c Core size: 4	Core Weight: 1	Total Weight: -937
9.18/9.27	c Elapsed CPU time: 8.92664 s	Remaining CPU time: 1791.07 s
9.38/9.42	c core #64
9.38/9.42	c Core size: 4	Core Weight: 1	Total Weight: -936
9.38/9.42	c Elapsed CPU time: 9.06462 s	Remaining CPU time: 1790.94 s
9.48/9.56	c core #65
9.48/9.56	c Core size: 4	Core Weight: 1	Total Weight: -935
9.48/9.56	c Elapsed CPU time: 9.2036 s	Remaining CPU time: 1790.8 s
9.68/9.71	c core #66
9.68/9.71	c Core size: 4	Core Weight: 1	Total Weight: -934
9.68/9.71	c Elapsed CPU time: 9.34658 s	Remaining CPU time: 1790.65 s
9.79/9.86	c core #67
9.79/9.86	c Core size: 4	Core Weight: 1	Total Weight: -933
9.79/9.86	c Elapsed CPU time: 9.48756 s	Remaining CPU time: 1790.51 s
9.97/10.00	c core #68
9.97/10.00	c Core size: 4	Core Weight: 1	Total Weight: -932
9.97/10.00	c Elapsed CPU time: 9.62254 s	Remaining CPU time: 1790.38 s
10.08/10.14	c core #69
10.08/10.14	c Core size: 4	Core Weight: 1	Total Weight: -931
10.08/10.14	c Elapsed CPU time: 9.76451 s	Remaining CPU time: 1790.24 s
10.18/10.29	c core #70
10.18/10.29	c Core size: 4	Core Weight: 1	Total Weight: -930
10.18/10.29	c Elapsed CPU time: 9.89949 s	Remaining CPU time: 1790.1 s
10.38/10.43	c core #71
10.38/10.43	c Core size: 4	Core Weight: 1	Total Weight: -929
10.38/10.43	c Elapsed CPU time: 10.0335 s	Remaining CPU time: 1789.97 s
10.48/10.57	c core #72
10.48/10.57	c Core size: 4	Core Weight: 1	Total Weight: -928
10.48/10.57	c Elapsed CPU time: 10.1695 s	Remaining CPU time: 1789.83 s
10.67/10.72	c core #73
10.67/10.72	c Core size: 4	Core Weight: 1	Total Weight: -927
10.67/10.72	c Elapsed CPU time: 10.3074 s	Remaining CPU time: 1789.69 s
10.78/10.86	c core #74
10.78/10.86	c Core size: 4	Core Weight: 1	Total Weight: -926
10.78/10.86	c Elapsed CPU time: 10.4434 s	Remaining CPU time: 1789.56 s
10.98/11.00	c core #75
10.98/11.00	c Core size: 4	Core Weight: 1	Total Weight: -925
10.98/11.00	c Elapsed CPU time: 10.5804 s	Remaining CPU time: 1789.42 s
11.08/11.15	c core #76
11.08/11.15	c Core size: 4	Core Weight: 1	Total Weight: -924
11.08/11.15	c Elapsed CPU time: 10.7194 s	Remaining CPU time: 1789.28 s
11.18/11.29	c core #77
11.18/11.29	c Core size: 4	Core Weight: 1	Total Weight: -923
11.18/11.29	c Elapsed CPU time: 10.8603 s	Remaining CPU time: 1789.14 s
11.38/11.44	c core #78
11.38/11.44	c Core size: 4	Core Weight: 1	Total Weight: -922
11.38/11.44	c Elapsed CPU time: 10.9983 s	Remaining CPU time: 1789 s
11.47/11.58	c core #79
11.47/11.58	c Core size: 4	Core Weight: 1	Total Weight: -921
11.47/11.58	c Elapsed CPU time: 11.1373 s	Remaining CPU time: 1788.86 s
11.68/11.72	c core #80
11.68/11.72	c Core size: 4	Core Weight: 1	Total Weight: -920
11.68/11.72	c Elapsed CPU time: 11.2753 s	Remaining CPU time: 1788.72 s
11.78/11.86	c core #81
11.78/11.86	c Core size: 4	Core Weight: 1	Total Weight: -919
11.78/11.86	c Elapsed CPU time: 11.4123 s	Remaining CPU time: 1788.59 s
11.98/12.01	c core #82
11.98/12.01	c Core size: 4	Core Weight: 1	Total Weight: -918
11.98/12.01	c Elapsed CPU time: 11.5532 s	Remaining CPU time: 1788.45 s
12.08/12.15	c core #83
12.08/12.15	c Core size: 4	Core Weight: 1	Total Weight: -917
12.08/12.15	c Elapsed CPU time: 11.6892 s	Remaining CPU time: 1788.31 s
12.18/12.29	c core #84
12.18/12.29	c Core size: 4	Core Weight: 1	Total Weight: -916
12.18/12.29	c Elapsed CPU time: 11.8282 s	Remaining CPU time: 1788.17 s
12.38/12.44	c core #85
12.38/12.44	c Core size: 4	Core Weight: 1	Total Weight: -915
12.38/12.44	c Elapsed CPU time: 11.9712 s	Remaining CPU time: 1788.03 s
12.48/12.58	c core #86
12.48/12.58	c Core size: 4	Core Weight: 1	Total Weight: -914
12.48/12.58	c Elapsed CPU time: 12.1062 s	Remaining CPU time: 1787.89 s
12.68/12.73	c core #87
12.68/12.73	c Core size: 4	Core Weight: 1	Total Weight: -913
12.68/12.73	c Elapsed CPU time: 12.2421 s	Remaining CPU time: 1787.76 s
12.77/12.87	c core #88
12.77/12.87	c Core size: 4	Core Weight: 1	Total Weight: -912
12.77/12.87	c Elapsed CPU time: 12.3841 s	Remaining CPU time: 1787.62 s
12.98/13.02	c core #89
12.98/13.02	c Core size: 4	Core Weight: 1	Total Weight: -911
12.98/13.02	c Elapsed CPU time: 12.5251 s	Remaining CPU time: 1787.47 s
13.08/13.16	c core #90
13.08/13.16	c Core size: 4	Core Weight: 1	Total Weight: -910
13.08/13.16	c Elapsed CPU time: 12.6651 s	Remaining CPU time: 1787.33 s
13.28/13.31	c core #91
13.28/13.31	c Core size: 4	Core Weight: 1	Total Weight: -909
13.28/13.31	c Elapsed CPU time: 12.8061 s	Remaining CPU time: 1787.19 s
13.38/13.46	c core #92
13.38/13.46	c Core size: 4	Core Weight: 1	Total Weight: -908
13.38/13.46	c Elapsed CPU time: 12.95 s	Remaining CPU time: 1787.05 s
13.58/13.60	c core #93
13.58/13.60	c Core size: 4	Core Weight: 1	Total Weight: -907
13.58/13.60	c Elapsed CPU time: 13.088 s	Remaining CPU time: 1786.91 s
13.68/13.75	c core #94
13.68/13.75	c Core size: 4	Core Weight: 1	Total Weight: -906
13.68/13.75	c Elapsed CPU time: 13.229 s	Remaining CPU time: 1786.77 s
13.77/13.89	c core #95
13.77/13.89	c Core size: 4	Core Weight: 1	Total Weight: -905
13.77/13.89	c Elapsed CPU time: 13.371 s	Remaining CPU time: 1786.63 s
13.98/14.04	c core #96
13.98/14.04	c Core size: 4	Core Weight: 1	Total Weight: -904
13.98/14.04	c Elapsed CPU time: 13.5089 s	Remaining CPU time: 1786.49 s
14.07/14.18	c core #97
14.07/14.18	c Core size: 4	Core Weight: 1	Total Weight: -903
14.07/14.18	c Elapsed CPU time: 13.6509 s	Remaining CPU time: 1786.35 s
14.28/14.32	c core #98
14.28/14.32	c Core size: 4	Core Weight: 1	Total Weight: -902
14.28/14.32	c Elapsed CPU time: 13.7939 s	Remaining CPU time: 1786.21 s
14.38/14.47	c core #99
14.38/14.47	c Core size: 4	Core Weight: 1	Total Weight: -901
14.38/14.47	c Elapsed CPU time: 13.9339 s	Remaining CPU time: 1786.07 s
14.58/14.62	c core #100
14.58/14.62	c Core size: 4	Core Weight: 1	Total Weight: -900
14.58/14.62	c Elapsed CPU time: 14.0769 s	Remaining CPU time: 1785.92 s
14.67/14.77	c core #101
14.67/14.77	c Core size: 4	Core Weight: 1	Total Weight: -899
14.67/14.77	c Elapsed CPU time: 14.2168 s	Remaining CPU time: 1785.78 s
14.88/14.91	c core #102
14.88/14.91	c Core size: 4	Core Weight: 1	Total Weight: -898
14.88/14.91	c Elapsed CPU time: 14.3588 s	Remaining CPU time: 1785.64 s
14.98/15.05	c core #103
14.98/15.05	c Core size: 4	Core Weight: 1	Total Weight: -897
14.98/15.05	c Elapsed CPU time: 14.4988 s	Remaining CPU time: 1785.5 s
15.18/15.20	c core #104
15.18/15.20	c Core size: 4	Core Weight: 1	Total Weight: -896
15.18/15.20	c Elapsed CPU time: 14.6328 s	Remaining CPU time: 1785.37 s
15.28/15.34	c core #105
15.28/15.34	c Core size: 4	Core Weight: 1	Total Weight: -895
15.28/15.34	c Elapsed CPU time: 14.7738 s	Remaining CPU time: 1785.23 s
15.38/15.49	c core #106
15.38/15.49	c Core size: 4	Core Weight: 1	Total Weight: -894
15.38/15.49	c Elapsed CPU time: 14.9137 s	Remaining CPU time: 1785.09 s
15.57/15.64	c core #107
15.57/15.64	c Core size: 4	Core Weight: 1	Total Weight: -893
15.57/15.64	c Elapsed CPU time: 15.0537 s	Remaining CPU time: 1784.95 s
15.68/15.78	c core #108
15.68/15.78	c Core size: 4	Core Weight: 1	Total Weight: -892
15.68/15.78	c Elapsed CPU time: 15.1927 s	Remaining CPU time: 1784.81 s
15.88/15.93	c core #109
15.88/15.93	c Core size: 4	Core Weight: 1	Total Weight: -891
15.88/15.93	c Elapsed CPU time: 15.3317 s	Remaining CPU time: 1784.67 s
15.97/16.08	c core #110
15.97/16.08	c Core size: 4	Core Weight: 1	Total Weight: -890
15.97/16.08	c Elapsed CPU time: 15.4726 s	Remaining CPU time: 1784.53 s
16.17/16.22	c core #111
16.17/16.22	c Core size: 4	Core Weight: 1	Total Weight: -889
16.17/16.22	c Elapsed CPU time: 15.6136 s	Remaining CPU time: 1784.39 s
16.28/16.37	c core #112
16.28/16.37	c Core size: 4	Core Weight: 1	Total Weight: -888
16.28/16.37	c Elapsed CPU time: 15.7496 s	Remaining CPU time: 1784.25 s
16.48/16.52	c core #113
16.48/16.52	c Core size: 4	Core Weight: 1	Total Weight: -887
16.48/16.52	c Elapsed CPU time: 15.8896 s	Remaining CPU time: 1784.11 s
16.57/16.66	c core #114
16.57/16.66	c Core size: 4	Core Weight: 1	Total Weight: -886
16.57/16.66	c Elapsed CPU time: 16.0306 s	Remaining CPU time: 1783.97 s
16.77/16.81	c core #115
16.77/16.81	c Core size: 4	Core Weight: 1	Total Weight: -885
16.77/16.81	c Elapsed CPU time: 16.1715 s	Remaining CPU time: 1783.83 s
16.87/16.96	c core #116
16.87/16.96	c Core size: 4	Core Weight: 1	Total Weight: -884
16.87/16.96	c Elapsed CPU time: 16.3195 s	Remaining CPU time: 1783.68 s
17.08/17.11	c core #117
17.08/17.11	c Core size: 4	Core Weight: 1	Total Weight: -883
17.08/17.11	c Elapsed CPU time: 16.4615 s	Remaining CPU time: 1783.54 s
17.17/17.25	c core #118
17.17/17.25	c Core size: 4	Core Weight: 1	Total Weight: -882
17.17/17.25	c Elapsed CPU time: 16.6055 s	Remaining CPU time: 1783.39 s
17.38/17.40	c core #119
17.38/17.40	c Core size: 4	Core Weight: 1	Total Weight: -881
17.38/17.40	c Elapsed CPU time: 16.7445 s	Remaining CPU time: 1783.26 s
17.48/17.54	c core #120
17.48/17.54	c Core size: 4	Core Weight: 1	Total Weight: -880
17.48/17.54	c Elapsed CPU time: 16.8844 s	Remaining CPU time: 1783.12 s
17.57/17.69	c core #121
17.57/17.69	c Core size: 4	Core Weight: 1	Total Weight: -879
17.57/17.69	c Elapsed CPU time: 17.0244 s	Remaining CPU time: 1782.98 s
17.78/17.83	c core #122
17.78/17.83	c Core size: 4	Core Weight: 1	Total Weight: -878
17.78/17.83	c Elapsed CPU time: 17.1674 s	Remaining CPU time: 1782.83 s
17.87/17.98	c core #123
17.87/17.98	c Core size: 4	Core Weight: 1	Total Weight: -877
17.87/17.98	c Elapsed CPU time: 17.3104 s	Remaining CPU time: 1782.69 s
18.08/18.13	c core #124
18.08/18.13	c Core size: 4	Core Weight: 1	Total Weight: -876
18.08/18.13	c Elapsed CPU time: 17.4523 s	Remaining CPU time: 1782.55 s
18.17/18.28	c core #125
18.17/18.28	c Core size: 4	Core Weight: 1	Total Weight: -875
18.17/18.28	c Elapsed CPU time: 17.5983 s	Remaining CPU time: 1782.4 s
18.38/18.43	c core #126
18.38/18.43	c Core size: 4	Core Weight: 1	Total Weight: -874
18.38/18.43	c Elapsed CPU time: 17.7413 s	Remaining CPU time: 1782.26 s
18.47/18.57	c core #127
18.47/18.57	c Core size: 4	Core Weight: 1	Total Weight: -873
18.47/18.57	c Elapsed CPU time: 17.8803 s	Remaining CPU time: 1782.12 s
18.67/18.72	c core #128
18.67/18.72	c Core size: 4	Core Weight: 1	Total Weight: -872
18.67/18.72	c Elapsed CPU time: 18.0183 s	Remaining CPU time: 1781.98 s
18.78/18.87	c core #129
18.78/18.87	c Core size: 4	Core Weight: 1	Total Weight: -871
18.78/18.87	c Elapsed CPU time: 18.1592 s	Remaining CPU time: 1781.84 s
18.97/19.01	c core #130
18.97/19.01	c Core size: 4	Core Weight: 1	Total Weight: -870
18.97/19.01	c Elapsed CPU time: 18.3012 s	Remaining CPU time: 1781.7 s
19.08/19.16	c core #131
19.08/19.16	c Core size: 4	Core Weight: 1	Total Weight: -869
19.08/19.17	c Elapsed CPU time: 18.4492 s	Remaining CPU time: 1781.55 s
19.27/19.31	c core #132
19.27/19.31	c Core size: 4	Core Weight: 1	Total Weight: -868
19.27/19.31	c Elapsed CPU time: 18.5932 s	Remaining CPU time: 1781.41 s
19.37/19.46	c core #133
19.37/19.46	c Core size: 4	Core Weight: 1	Total Weight: -867
19.37/19.46	c Elapsed CPU time: 18.7342 s	Remaining CPU time: 1781.27 s
19.57/19.61	c core #134
19.57/19.61	c Core size: 4	Core Weight: 1	Total Weight: -866
19.57/19.61	c Elapsed CPU time: 18.8761 s	Remaining CPU time: 1781.12 s
19.67/19.75	c core #135
19.67/19.75	c Core size: 4	Core Weight: 1	Total Weight: -865
19.67/19.75	c Elapsed CPU time: 19.0181 s	Remaining CPU time: 1780.98 s
19.87/19.90	c core #136
19.87/19.90	c Core size: 4	Core Weight: 1	Total Weight: -864
19.87/19.90	c Elapsed CPU time: 19.1641 s	Remaining CPU time: 1780.84 s
19.97/20.05	c core #137
19.97/20.05	c Core size: 4	Core Weight: 1	Total Weight: -863
19.97/20.05	c Elapsed CPU time: 19.3071 s	Remaining CPU time: 1780.69 s
20.07/20.19	c core #138
20.07/20.19	c Core size: 4	Core Weight: 1	Total Weight: -862
20.07/20.19	c Elapsed CPU time: 19.445 s	Remaining CPU time: 1780.55 s
20.27/20.34	c core #139
20.27/20.34	c Core size: 4	Core Weight: 1	Total Weight: -861
20.27/20.34	c Elapsed CPU time: 19.583 s	Remaining CPU time: 1780.42 s
20.38/20.48	c core #140
20.38/20.48	c Core size: 4	Core Weight: 1	Total Weight: -860
20.38/20.48	c Elapsed CPU time: 19.724 s	Remaining CPU time: 1780.28 s
20.57/20.63	c core #141
20.57/20.63	c Core size: 4	Core Weight: 1	Total Weight: -859
20.57/20.63	c Elapsed CPU time: 19.869 s	Remaining CPU time: 1780.13 s
20.68/20.77	c core #142
20.68/20.77	c Core size: 4	Core Weight: 1	Total Weight: -858
20.68/20.77	c Elapsed CPU time: 20.007 s	Remaining CPU time: 1779.99 s
20.87/20.92	c core #143
20.87/20.92	c Core size: 4	Core Weight: 1	Total Weight: -857
20.87/20.92	c Elapsed CPU time: 20.1459 s	Remaining CPU time: 1779.85 s
20.98/21.07	c core #144
20.98/21.07	c Core size: 4	Core Weight: 1	Total Weight: -856
20.98/21.07	c Elapsed CPU time: 20.2889 s	Remaining CPU time: 1779.71 s
21.17/21.21	c core #145
21.17/21.21	c Core size: 4	Core Weight: 1	Total Weight: -855
21.17/21.21	c Elapsed CPU time: 20.4299 s	Remaining CPU time: 1779.57 s
21.27/21.36	c core #146
21.27/21.36	c Core size: 4	Core Weight: 1	Total Weight: -854
21.27/21.36	c Elapsed CPU time: 20.5719 s	Remaining CPU time: 1779.43 s
21.47/21.50	c core #147
21.47/21.50	c Core size: 4	Core Weight: 1	Total Weight: -853
21.47/21.50	c Elapsed CPU time: 20.7109 s	Remaining CPU time: 1779.29 s
21.57/21.65	c core #148
21.57/21.65	c Core size: 4	Core Weight: 1	Total Weight: -852
21.57/21.65	c Elapsed CPU time: 20.8488 s	Remaining CPU time: 1779.15 s
21.67/21.79	c core #149
21.67/21.79	c Core size: 4	Core Weight: 1	Total Weight: -851
21.67/21.79	c Elapsed CPU time: 20.9888 s	Remaining CPU time: 1779.01 s
21.87/21.94	c core #150
21.87/21.94	c Core size: 4	Core Weight: 1	Total Weight: -850
21.87/21.94	c Elapsed CPU time: 21.1318 s	Remaining CPU time: 1778.87 s
21.97/22.08	c core #151
21.97/22.08	c Core size: 4	Core Weight: 1	Total Weight: -849
21.97/22.08	c Elapsed CPU time: 21.2748 s	Remaining CPU time: 1778.73 s
22.17/22.23	c core #152
22.17/22.23	c Core size: 4	Core Weight: 1	Total Weight: -848
22.17/22.23	c Elapsed CPU time: 21.4177 s	Remaining CPU time: 1778.58 s
22.27/22.38	c core #153
22.27/22.38	c Core size: 4	Core Weight: 1	Total Weight: -847
22.27/22.38	c Elapsed CPU time: 21.5607 s	Remaining CPU time: 1778.44 s
22.47/22.52	c core #154
22.47/22.52	c Core size: 4	Core Weight: 1	Total Weight: -846
22.47/22.52	c Elapsed CPU time: 21.7007 s	Remaining CPU time: 1778.3 s
22.56/22.67	c core #155
22.56/22.67	c Core size: 4	Core Weight: 1	Total Weight: -845
22.56/22.67	c Elapsed CPU time: 21.8397 s	Remaining CPU time: 1778.16 s
22.76/22.82	c core #156
22.76/22.82	c Core size: 4	Core Weight: 1	Total Weight: -844
22.76/22.82	c Elapsed CPU time: 21.9797 s	Remaining CPU time: 1778.02 s
22.87/22.97	c core #157
22.87/22.97	c Core size: 4	Core Weight: 1	Total Weight: -843
22.87/22.97	c Elapsed CPU time: 22.1236 s	Remaining CPU time: 1777.88 s
23.07/23.11	c core #158
23.07/23.11	c Core size: 4	Core Weight: 1	Total Weight: -842
23.07/23.11	c Elapsed CPU time: 22.2636 s	Remaining CPU time: 1777.74 s
23.17/23.26	c core #159
23.17/23.26	c Core size: 4	Core Weight: 1	Total Weight: -841
23.17/23.26	c Elapsed CPU time: 22.4036 s	Remaining CPU time: 1777.6 s
23.37/23.41	c core #160
23.37/23.41	c Core size: 4	Core Weight: 1	Total Weight: -840
23.37/23.41	c Elapsed CPU time: 22.5406 s	Remaining CPU time: 1777.46 s
23.46/23.56	c core #161
23.46/23.56	c Core size: 4	Core Weight: 1	Total Weight: -839
23.46/23.56	c Elapsed CPU time: 22.6876 s	Remaining CPU time: 1777.31 s
23.67/23.71	c core #162
23.67/23.71	c Core size: 4	Core Weight: 1	Total Weight: -838
23.67/23.71	c Elapsed CPU time: 22.8345 s	Remaining CPU time: 1777.17 s
23.77/23.85	c core #163
23.77/23.85	c Core size: 4	Core Weight: 1	Total Weight: -837
23.77/23.85	c Elapsed CPU time: 22.9785 s	Remaining CPU time: 1777.02 s
23.97/24.00	c core #164
23.97/24.00	c Core size: 4	Core Weight: 1	Total Weight: -836
23.97/24.00	c Elapsed CPU time: 23.1205 s	Remaining CPU time: 1776.88 s
24.07/24.15	c core #165
24.07/24.15	c Core size: 4	Core Weight: 1	Total Weight: -835
24.07/24.15	c Elapsed CPU time: 23.2645 s	Remaining CPU time: 1776.74 s
24.27/24.30	c core #166
24.27/24.30	c Core size: 4	Core Weight: 1	Total Weight: -834
24.27/24.30	c Elapsed CPU time: 23.4054 s	Remaining CPU time: 1776.59 s
24.37/24.45	c core #167
24.37/24.45	c Core size: 4	Core Weight: 1	Total Weight: -833
24.37/24.45	c Elapsed CPU time: 23.5504 s	Remaining CPU time: 1776.45 s
24.46/24.60	c core #168
24.46/24.60	c Core size: 4	Core Weight: 1	Total Weight: -832
24.46/24.60	c Elapsed CPU time: 23.6914 s	Remaining CPU time: 1776.31 s
24.66/24.74	c core #169
24.66/24.74	c Core size: 4	Core Weight: 1	Total Weight: -831
24.66/24.74	c Elapsed CPU time: 23.8334 s	Remaining CPU time: 1776.17 s
24.77/24.89	c core #170
24.77/24.89	c Core size: 4	Core Weight: 1	Total Weight: -830
24.77/24.89	c Elapsed CPU time: 23.9754 s	Remaining CPU time: 1776.02 s
24.97/25.04	c core #171
24.97/25.04	c Core size: 4	Core Weight: 1	Total Weight: -829
24.97/25.04	c Elapsed CPU time: 24.1203 s	Remaining CPU time: 1775.88 s
25.06/25.18	c core #172
25.06/25.18	c Core size: 4	Core Weight: 1	Total Weight: -828
25.06/25.18	c Elapsed CPU time: 24.2633 s	Remaining CPU time: 1775.74 s
25.27/25.33	c core #173
25.27/25.33	c Core size: 4	Core Weight: 1	Total Weight: -827
25.27/25.33	c Elapsed CPU time: 24.4063 s	Remaining CPU time: 1775.59 s
25.36/25.48	c core #174
25.36/25.48	c Core size: 4	Core Weight: 1	Total Weight: -826
25.36/25.48	c Elapsed CPU time: 24.5493 s	Remaining CPU time: 1775.45 s
25.57/25.63	c core #175
25.57/25.63	c Core size: 4	Core Weight: 1	Total Weight: -825
25.57/25.63	c Elapsed CPU time: 24.6922 s	Remaining CPU time: 1775.31 s
25.66/25.78	c core #176
25.66/25.78	c Core size: 4	Core Weight: 1	Total Weight: -824
25.66/25.78	c Elapsed CPU time: 24.8382 s	Remaining CPU time: 1775.16 s
25.86/25.92	c core #177
25.86/25.92	c Core size: 4	Core Weight: 1	Total Weight: -823
25.86/25.92	c Elapsed CPU time: 24.9812 s	Remaining CPU time: 1775.02 s
25.97/26.07	c core #178
25.97/26.07	c Core size: 4	Core Weight: 1	Total Weight: -822
25.97/26.07	c Elapsed CPU time: 25.1212 s	Remaining CPU time: 1774.88 s
26.17/26.22	c core #179
26.17/26.22	c Core size: 4	Core Weight: 1	Total Weight: -821
26.17/26.22	c Elapsed CPU time: 25.2592 s	Remaining CPU time: 1774.74 s
26.26/26.36	c core #180
26.26/26.36	c Core size: 4	Core Weight: 1	Total Weight: -820
26.26/26.36	c Elapsed CPU time: 25.3981 s	Remaining CPU time: 1774.6 s
26.46/26.51	c core #181
26.46/26.51	c Core size: 4	Core Weight: 1	Total Weight: -819
26.46/26.51	c Elapsed CPU time: 25.5371 s	Remaining CPU time: 1774.46 s
26.56/26.66	c core #182
26.56/26.66	c Core size: 4	Core Weight: 1	Total Weight: -818
26.56/26.66	c Elapsed CPU time: 25.6841 s	Remaining CPU time: 1774.32 s
26.76/26.81	c core #183
26.76/26.81	c Core size: 4	Core Weight: 1	Total Weight: -817
26.76/26.81	c Elapsed CPU time: 25.8281 s	Remaining CPU time: 1774.17 s
26.86/26.96	c core #184
26.86/26.96	c Core size: 4	Core Weight: 1	Total Weight: -816
26.86/26.96	c Elapsed CPU time: 25.9761 s	Remaining CPU time: 1774.02 s
27.06/27.11	c core #185
27.06/27.11	c Core size: 4	Core Weight: 1	Total Weight: -815
27.06/27.11	c Elapsed CPU time: 26.118 s	Remaining CPU time: 1773.88 s
27.16/27.26	c core #186
27.16/27.26	c Core size: 4	Core Weight: 1	Total Weight: -814
27.16/27.26	c Elapsed CPU time: 26.26 s	Remaining CPU time: 1773.74 s
27.36/27.41	c core #187
27.36/27.41	c Core size: 4	Core Weight: 1	Total Weight: -813
27.36/27.41	c Elapsed CPU time: 26.403 s	Remaining CPU time: 1773.6 s
27.46/27.55	c core #188
27.46/27.55	c Core size: 4	Core Weight: 1	Total Weight: -812
27.46/27.55	c Elapsed CPU time: 26.546 s	Remaining CPU time: 1773.45 s
27.66/27.70	c core #189
27.66/27.70	c Core size: 4	Core Weight: 1	Total Weight: -811
27.66/27.70	c Elapsed CPU time: 26.6909 s	Remaining CPU time: 1773.31 s
27.76/27.85	c core #190
27.76/27.85	c Core size: 4	Core Weight: 1	Total Weight: -810
27.76/27.85	c Elapsed CPU time: 26.8349 s	Remaining CPU time: 1773.17 s
27.85/27.99	c core #191
27.85/27.99	c Core size: 4	Core Weight: 1	Total Weight: -809
27.85/27.99	c Elapsed CPU time: 26.9719 s	Remaining CPU time: 1773.03 s
28.06/28.14	c core #192
28.06/28.14	c Core size: 4	Core Weight: 1	Total Weight: -808
28.06/28.14	c Elapsed CPU time: 27.1119 s	Remaining CPU time: 1772.89 s
28.16/28.29	c core #193
28.16/28.29	c Core size: 4	Core Weight: 1	Total Weight: -807
28.16/28.29	c Elapsed CPU time: 27.2559 s	Remaining CPU time: 1772.74 s
28.35/28.45	c core #194
28.35/28.45	c Core size: 4	Core Weight: 1	Total Weight: -806
28.35/28.45	c Elapsed CPU time: 27.4048 s	Remaining CPU time: 1772.6 s
28.56/28.61	c core #195
28.56/28.61	c Core size: 4	Core Weight: 1	Total Weight: -805
28.56/28.61	c Elapsed CPU time: 27.5538 s	Remaining CPU time: 1772.45 s
28.66/28.76	c core #196
28.66/28.76	c Core size: 4	Core Weight: 1	Total Weight: -804
28.66/28.76	c Elapsed CPU time: 27.7038 s	Remaining CPU time: 1772.3 s
28.85/28.92	c core #197
28.85/28.92	c Core size: 4	Core Weight: 1	Total Weight: -803
28.85/28.92	c Elapsed CPU time: 27.8568 s	Remaining CPU time: 1772.14 s
28.95/29.07	c core #198
28.95/29.07	c Core size: 4	Core Weight: 1	Total Weight: -802
28.95/29.07	c Elapsed CPU time: 28.0077 s	Remaining CPU time: 1771.99 s
29.16/29.23	c core #199
29.16/29.23	c Core size: 4	Core Weight: 1	Total Weight: -801
29.16/29.23	c Elapsed CPU time: 28.1637 s	Remaining CPU time: 1771.84 s
29.25/29.39	c core #200
29.25/29.39	c Core size: 4	Core Weight: 1	Total Weight: -800
29.25/29.39	c Elapsed CPU time: 28.3167 s	Remaining CPU time: 1771.68 s
29.45/29.54	c core #201
29.45/29.54	c Core size: 4	Core Weight: 1	Total Weight: -799
29.45/29.54	c Elapsed CPU time: 28.4707 s	Remaining CPU time: 1771.53 s
29.56/29.70	c core #202
29.56/29.70	c Core size: 4	Core Weight: 1	Total Weight: -798
29.56/29.70	c Elapsed CPU time: 28.6146 s	Remaining CPU time: 1771.39 s
29.75/29.85	c core #203
29.75/29.85	c Core size: 4	Core Weight: 1	Total Weight: -797
29.75/29.85	c Elapsed CPU time: 28.7586 s	Remaining CPU time: 1771.24 s
29.85/29.99	c core #204
29.85/29.99	c Core size: 4	Core Weight: 1	Total Weight: -796
29.85/29.99	c Elapsed CPU time: 28.9006 s	Remaining CPU time: 1771.1 s
30.05/30.14	c core #205
30.05/30.14	c Core size: 4	Core Weight: 1	Total Weight: -795
30.05/30.14	c Elapsed CPU time: 29.0436 s	Remaining CPU time: 1770.96 s
30.15/30.29	c core #206
30.15/30.29	c Core size: 4	Core Weight: 1	Total Weight: -794
30.15/30.29	c Elapsed CPU time: 29.1856 s	Remaining CPU time: 1770.81 s
30.35/30.43	c core #207
30.35/30.43	c Core size: 4	Core Weight: 1	Total Weight: -793
30.35/30.43	c Elapsed CPU time: 29.3255 s	Remaining CPU time: 1770.67 s
30.45/30.58	c core #208
30.45/30.58	c Core size: 4	Core Weight: 1	Total Weight: -792
30.45/30.58	c Elapsed CPU time: 29.4685 s	Remaining CPU time: 1770.53 s
30.65/30.73	c core #209
30.65/30.73	c Core size: 4	Core Weight: 1	Total Weight: -791
30.65/30.73	c Elapsed CPU time: 29.6085 s	Remaining CPU time: 1770.39 s
30.75/30.88	c core #210
30.75/30.88	c Core size: 4	Core Weight: 1	Total Weight: -790
30.75/30.88	c Elapsed CPU time: 29.7545 s	Remaining CPU time: 1770.25 s
30.95/31.03	c core #211
30.95/31.03	c Core size: 4	Core Weight: 1	Total Weight: -789
30.95/31.03	c Elapsed CPU time: 29.8975 s	Remaining CPU time: 1770.1 s
31.05/31.17	c core #212
31.05/31.17	c Core size: 4	Core Weight: 1	Total Weight: -788
31.05/31.17	c Elapsed CPU time: 30.0364 s	Remaining CPU time: 1769.96 s
31.25/31.32	c core #213
31.25/31.32	c Core size: 4	Core Weight: 1	Total Weight: -787
31.25/31.32	c Elapsed CPU time: 30.1764 s	Remaining CPU time: 1769.82 s
31.35/31.47	c core #214
31.35/31.47	c Core size: 4	Core Weight: 1	Total Weight: -786
31.35/31.47	c Elapsed CPU time: 30.3184 s	Remaining CPU time: 1769.68 s
31.55/31.61	c core #215
31.55/31.61	c Core size: 4	Core Weight: 1	Total Weight: -785
31.55/31.61	c Elapsed CPU time: 30.4594 s	Remaining CPU time: 1769.54 s
31.65/31.76	c core #216
31.65/31.76	c Core size: 4	Core Weight: 1	Total Weight: -784
31.65/31.76	c Elapsed CPU time: 30.6033 s	Remaining CPU time: 1769.4 s
31.85/31.91	c core #217
31.85/31.91	c Core size: 4	Core Weight: 1	Total Weight: -783
31.85/31.91	c Elapsed CPU time: 30.7473 s	Remaining CPU time: 1769.25 s
31.95/32.06	c core #218
31.95/32.06	c Core size: 4	Core Weight: 1	Total Weight: -782
31.95/32.06	c Elapsed CPU time: 30.8933 s	Remaining CPU time: 1769.11 s
32.15/32.21	c core #219
32.15/32.21	c Core size: 4	Core Weight: 1	Total Weight: -781
32.15/32.21	c Elapsed CPU time: 31.0363 s	Remaining CPU time: 1768.96 s
32.24/32.36	c core #220
32.24/32.36	c Core size: 4	Core Weight: 1	Total Weight: -780
32.24/32.36	c Elapsed CPU time: 31.1783 s	Remaining CPU time: 1768.82 s
32.45/32.50	c core #221
32.45/32.50	c Core size: 4	Core Weight: 1	Total Weight: -779
32.45/32.50	c Elapsed CPU time: 31.3162 s	Remaining CPU time: 1768.68 s
32.54/32.65	c core #222
32.54/32.65	c Core size: 4	Core Weight: 1	Total Weight: -778
32.54/32.65	c Elapsed CPU time: 31.4552 s	Remaining CPU time: 1768.54 s
32.74/32.80	c core #223
32.74/32.80	c Core size: 4	Core Weight: 1	Total Weight: -777
32.74/32.80	c Elapsed CPU time: 31.5992 s	Remaining CPU time: 1768.4 s
32.85/32.94	c core #224
32.85/32.94	c Core size: 4	Core Weight: 1	Total Weight: -776
32.85/32.94	c Elapsed CPU time: 31.7392 s	Remaining CPU time: 1768.26 s
32.95/33.09	c core #225
32.95/33.09	c Core size: 4	Core Weight: 1	Total Weight: -775
32.95/33.09	c Elapsed CPU time: 31.8802 s	Remaining CPU time: 1768.12 s
33.15/33.23	c core #226
33.15/33.23	c Core size: 4	Core Weight: 1	Total Weight: -774
33.15/33.23	c Elapsed CPU time: 32.0201 s	Remaining CPU time: 1767.98 s
33.24/33.38	c core #227
33.24/33.38	c Core size: 4	Core Weight: 1	Total Weight: -773
33.24/33.38	c Elapsed CPU time: 32.1651 s	Remaining CPU time: 1767.83 s
33.45/33.53	c core #228
33.45/33.53	c Core size: 4	Core Weight: 1	Total Weight: -772
33.45/33.53	c Elapsed CPU time: 32.3041 s	Remaining CPU time: 1767.7 s
33.54/33.68	c core #229
33.54/33.68	c Core size: 4	Core Weight: 1	Total Weight: -771
33.54/33.68	c Elapsed CPU time: 32.4471 s	Remaining CPU time: 1767.55 s
33.75/33.83	c core #230
33.75/33.83	c Core size: 4	Core Weight: 1	Total Weight: -770
33.75/33.83	c Elapsed CPU time: 32.595 s	Remaining CPU time: 1767.4 s
33.85/33.98	c core #231
33.85/33.98	c Core size: 4	Core Weight: 1	Total Weight: -769
33.85/33.98	c Elapsed CPU time: 32.74 s	Remaining CPU time: 1767.26 s
34.04/34.12	c core #232
34.04/34.12	c Core size: 4	Core Weight: 1	Total Weight: -768
34.04/34.12	c Elapsed CPU time: 32.883 s	Remaining CPU time: 1767.12 s
34.15/34.27	c core #233
34.15/34.27	c Core size: 4	Core Weight: 1	Total Weight: -767
34.15/34.27	c Elapsed CPU time: 33.023 s	Remaining CPU time: 1766.98 s
34.34/34.42	c core #234
34.34/34.42	c Core size: 4	Core Weight: 1	Total Weight: -766
34.34/34.42	c Elapsed CPU time: 33.165 s	Remaining CPU time: 1766.84 s
34.45/34.56	c core #235
34.45/34.56	c Core size: 4	Core Weight: 1	Total Weight: -765
34.45/34.56	c Elapsed CPU time: 33.3099 s	Remaining CPU time: 1766.69 s
34.65/34.71	c core #236
34.65/34.71	c Core size: 4	Core Weight: 1	Total Weight: -764
34.65/34.71	c Elapsed CPU time: 33.4479 s	Remaining CPU time: 1766.55 s
34.74/34.86	c core #237
34.74/34.86	c Core size: 4	Core Weight: 1	Total Weight: -763
34.74/34.86	c Elapsed CPU time: 33.5929 s	Remaining CPU time: 1766.41 s
34.95/35.01	c core #238
34.95/35.01	c Core size: 4	Core Weight: 1	Total Weight: -762
34.95/35.01	c Elapsed CPU time: 33.7329 s	Remaining CPU time: 1766.27 s
35.05/35.16	c core #239
35.05/35.16	c Core size: 4	Core Weight: 1	Total Weight: -761
35.05/35.16	c Elapsed CPU time: 33.8778 s	Remaining CPU time: 1766.12 s
35.25/35.31	c core #240
35.25/35.31	c Core size: 4	Core Weight: 1	Total Weight: -760
35.25/35.31	c Elapsed CPU time: 34.0218 s	Remaining CPU time: 1765.98 s
35.34/35.46	c core #241
35.34/35.46	c Core size: 4	Core Weight: 1	Total Weight: -759
35.34/35.46	c Elapsed CPU time: 34.1698 s	Remaining CPU time: 1765.83 s
35.54/35.61	c core #242
35.54/35.61	c Core size: 4	Core Weight: 1	Total Weight: -758
35.54/35.61	c Elapsed CPU time: 34.3128 s	Remaining CPU time: 1765.69 s
35.64/35.76	c core #243
35.64/35.76	c Core size: 4	Core Weight: 1	Total Weight: -757
35.64/35.76	c Elapsed CPU time: 34.4588 s	Remaining CPU time: 1765.54 s
35.85/35.91	c core #244
35.85/35.91	c Core size: 4	Core Weight: 1	Total Weight: -756
35.85/35.91	c Elapsed CPU time: 34.6047 s	Remaining CPU time: 1765.4 s
35.94/36.06	c core #245
35.94/36.06	c Core size: 4	Core Weight: 1	Total Weight: -755
35.94/36.06	c Elapsed CPU time: 34.7487 s	Remaining CPU time: 1765.25 s
36.14/36.21	c core #246
36.14/36.21	c Core size: 4	Core Weight: 1	Total Weight: -754
36.14/36.21	c Elapsed CPU time: 34.8937 s	Remaining CPU time: 1765.11 s
36.25/36.35	c core #247
36.25/36.35	c Core size: 4	Core Weight: 1	Total Weight: -753
36.25/36.35	c Elapsed CPU time: 35.0357 s	Remaining CPU time: 1764.96 s
36.44/36.50	c core #248
36.44/36.50	c Core size: 4	Core Weight: 1	Total Weight: -752
36.44/36.50	c Elapsed CPU time: 35.1777 s	Remaining CPU time: 1764.82 s
36.54/36.65	c core #249
36.54/36.65	c Core size: 4	Core Weight: 1	Total Weight: -751
36.54/36.65	c Elapsed CPU time: 35.3216 s	Remaining CPU time: 1764.68 s
36.74/36.80	c core #250
36.74/36.80	c Core size: 4	Core Weight: 1	Total Weight: -750
36.74/36.80	c Elapsed CPU time: 35.4616 s	Remaining CPU time: 1764.54 s
36.84/36.95	c core #251
36.84/36.95	c Core size: 4	Core Weight: 1	Total Weight: -749
36.84/36.95	c Elapsed CPU time: 35.6056 s	Remaining CPU time: 1764.39 s
36.94/37.09	c core #252
36.94/37.09	c Core size: 4	Core Weight: 1	Total Weight: -748
36.94/37.09	c Elapsed CPU time: 35.7466 s	Remaining CPU time: 1764.25 s
37.14/37.24	c core #253
37.14/37.24	c Core size: 4	Core Weight: 1	Total Weight: -747
37.14/37.24	c Elapsed CPU time: 35.8915 s	Remaining CPU time: 1764.11 s
37.35/37.40	c core #254
37.35/37.40	c Core size: 4	Core Weight: 1	Total Weight: -746
37.35/37.40	c Elapsed CPU time: 36.0405 s	Remaining CPU time: 1763.96 s
37.44/37.56	c core #255
37.44/37.56	c Core size: 4	Core Weight: 1	Total Weight: -745
37.44/37.56	c Elapsed CPU time: 36.1925 s	Remaining CPU time: 1763.81 s
37.64/37.72	c core #256
37.64/37.72	c Core size: 4	Core Weight: 1	Total Weight: -744
37.64/37.72	c Elapsed CPU time: 36.3435 s	Remaining CPU time: 1763.66 s
37.74/37.88	c core #257
37.74/37.88	c Core size: 4	Core Weight: 1	Total Weight: -743
37.74/37.88	c Elapsed CPU time: 36.4955 s	Remaining CPU time: 1763.5 s
37.94/38.03	c core #258
37.94/38.03	c Core size: 4	Core Weight: 1	Total Weight: -742
37.94/38.03	c Elapsed CPU time: 36.6454 s	Remaining CPU time: 1763.35 s
38.04/38.19	c core #259
38.04/38.19	c Core size: 4	Core Weight: 1	Total Weight: -741
38.04/38.19	c Elapsed CPU time: 36.7954 s	Remaining CPU time: 1763.2 s
38.24/38.35	c core #260
38.24/38.35	c Core size: 4	Core Weight: 1	Total Weight: -740
38.24/38.35	c Elapsed CPU time: 36.9494 s	Remaining CPU time: 1763.05 s
38.44/38.51	c core #261
38.44/38.51	c Core size: 4	Core Weight: 1	Total Weight: -739
38.44/38.51	c Elapsed CPU time: 37.1014 s	Remaining CPU time: 1762.9 s
38.53/38.66	c core #262
38.53/38.66	c Core size: 4	Core Weight: 1	Total Weight: -738
38.53/38.66	c Elapsed CPU time: 37.2453 s	Remaining CPU time: 1762.75 s
38.73/38.81	c core #263
38.73/38.81	c Core size: 4	Core Weight: 1	Total Weight: -737
38.73/38.81	c Elapsed CPU time: 37.3873 s	Remaining CPU time: 1762.61 s
38.84/38.96	c core #264
38.84/38.96	c Core size: 4	Core Weight: 1	Total Weight: -736
38.84/38.96	c Elapsed CPU time: 37.5313 s	Remaining CPU time: 1762.47 s
39.04/39.11	c core #265
39.04/39.11	c Core size: 4	Core Weight: 1	Total Weight: -735
39.04/39.11	c Elapsed CPU time: 37.6743 s	Remaining CPU time: 1762.33 s
39.14/39.26	c core #266
39.14/39.26	c Core size: 4	Core Weight: 1	Total Weight: -734
39.14/39.26	c Elapsed CPU time: 37.8173 s	Remaining CPU time: 1762.18 s
39.34/39.41	c core #267
39.34/39.41	c Core size: 4	Core Weight: 1	Total Weight: -733
39.34/39.41	c Elapsed CPU time: 37.9622 s	Remaining CPU time: 1762.04 s
39.44/39.56	c core #268
39.44/39.56	c Core size: 4	Core Weight: 1	Total Weight: -732
39.44/39.56	c Elapsed CPU time: 38.1112 s	Remaining CPU time: 1761.89 s
39.64/39.72	c core #269
39.64/39.72	c Core size: 4	Core Weight: 1	Total Weight: -731
39.64/39.72	c Elapsed CPU time: 38.2672 s	Remaining CPU time: 1761.73 s
39.73/39.87	c core #270
39.73/39.87	c Core size: 4	Core Weight: 1	Total Weight: -730
39.73/39.87	c Elapsed CPU time: 38.4162 s	Remaining CPU time: 1761.58 s
39.93/40.02	c core #271
39.93/40.02	c Core size: 4	Core Weight: 1	Total Weight: -729
39.93/40.02	c Elapsed CPU time: 38.5621 s	Remaining CPU time: 1761.44 s
40.04/40.18	c core #272
40.04/40.18	c Core size: 4	Core Weight: 1	Total Weight: -728
40.04/40.18	c Elapsed CPU time: 38.7061 s	Remaining CPU time: 1761.29 s
40.24/40.32	c core #273
40.24/40.32	c Core size: 4	Core Weight: 1	Total Weight: -727
40.24/40.32	c Elapsed CPU time: 38.8471 s	Remaining CPU time: 1761.15 s
40.33/40.47	c core #274
40.33/40.47	c Core size: 4	Core Weight: 1	Total Weight: -726
40.33/40.47	c Elapsed CPU time: 38.9901 s	Remaining CPU time: 1761.01 s
40.54/40.63	c core #275
40.54/40.63	c Core size: 4	Core Weight: 1	Total Weight: -725
40.54/40.63	c Elapsed CPU time: 39.1341 s	Remaining CPU time: 1760.87 s
40.63/40.78	c core #276
40.63/40.78	c Core size: 4	Core Weight: 1	Total Weight: -724
40.63/40.78	c Elapsed CPU time: 39.283 s	Remaining CPU time: 1760.72 s
40.84/40.93	c core #277
40.84/40.93	c Core size: 4	Core Weight: 1	Total Weight: -723
40.84/40.93	c Elapsed CPU time: 39.434 s	Remaining CPU time: 1760.57 s
40.93/41.08	c core #278
40.93/41.08	c Core size: 4	Core Weight: 1	Total Weight: -722
40.93/41.08	c Elapsed CPU time: 39.579 s	Remaining CPU time: 1760.42 s
41.14/41.24	c core #279
41.14/41.24	c Core size: 4	Core Weight: 1	Total Weight: -721
41.14/41.24	c Elapsed CPU time: 39.731 s	Remaining CPU time: 1760.27 s
41.23/41.39	c core #280
41.23/41.39	c Core size: 4	Core Weight: 1	Total Weight: -720
41.23/41.39	c Elapsed CPU time: 39.8749 s	Remaining CPU time: 1760.13 s
41.43/41.54	c core #281
41.43/41.54	c Core size: 4	Core Weight: 1	Total Weight: -719
41.43/41.54	c Elapsed CPU time: 40.0199 s	Remaining CPU time: 1759.98 s
41.53/41.69	c core #282
41.53/41.69	c Core size: 4	Core Weight: 1	Total Weight: -718
41.53/41.69	c Elapsed CPU time: 40.1699 s	Remaining CPU time: 1759.83 s
41.74/41.84	c core #283
41.74/41.84	c Core size: 4	Core Weight: 1	Total Weight: -717
41.74/41.84	c Elapsed CPU time: 40.3149 s	Remaining CPU time: 1759.69 s
41.83/41.99	c core #284
41.83/41.99	c Core size: 4	Core Weight: 1	Total Weight: -716
41.83/41.99	c Elapsed CPU time: 40.4568 s	Remaining CPU time: 1759.54 s
42.03/42.15	c core #285
42.03/42.15	c Core size: 4	Core Weight: 1	Total Weight: -715
42.03/42.15	c Elapsed CPU time: 40.6028 s	Remaining CPU time: 1759.4 s
42.23/42.30	c core #286
42.23/42.30	c Core size: 4	Core Weight: 1	Total Weight: -714
42.23/42.30	c Elapsed CPU time: 40.7478 s	Remaining CPU time: 1759.25 s
42.33/42.45	c core #287
42.33/42.45	c Core size: 4	Core Weight: 1	Total Weight: -713
42.33/42.45	c Elapsed CPU time: 40.8928 s	Remaining CPU time: 1759.11 s
42.53/42.60	c core #288
42.53/42.60	c Core size: 4	Core Weight: 1	Total Weight: -712
42.53/42.60	c Elapsed CPU time: 41.0378 s	Remaining CPU time: 1758.96 s
42.63/42.75	c core #289
42.63/42.75	c Core size: 4	Core Weight: 1	Total Weight: -711
42.63/42.75	c Elapsed CPU time: 41.1857 s	Remaining CPU time: 1758.81 s
42.83/42.90	c core #290
42.83/42.90	c Core size: 4	Core Weight: 1	Total Weight: -710
42.83/42.90	c Elapsed CPU time: 41.3327 s	Remaining CPU time: 1758.67 s
42.93/43.05	c core #291
42.93/43.05	c Core size: 4	Core Weight: 1	Total Weight: -709
42.93/43.05	c Elapsed CPU time: 41.4777 s	Remaining CPU time: 1758.52 s
43.12/43.21	c core #292
43.12/43.21	c Core size: 4	Core Weight: 1	Total Weight: -708
43.12/43.21	c Elapsed CPU time: 41.6267 s	Remaining CPU time: 1758.37 s
43.23/43.35	c core #293
43.23/43.35	c Core size: 4	Core Weight: 1	Total Weight: -707
43.23/43.35	c Elapsed CPU time: 41.7726 s	Remaining CPU time: 1758.23 s
43.43/43.51	c core #294
43.43/43.51	c Core size: 4	Core Weight: 1	Total Weight: -706
43.43/43.51	c Elapsed CPU time: 41.9196 s	Remaining CPU time: 1758.08 s
43.52/43.66	c core #295
43.52/43.66	c Core size: 4	Core Weight: 1	Total Weight: -705
43.52/43.66	c Elapsed CPU time: 42.0696 s	Remaining CPU time: 1757.93 s
43.72/43.81	c core #296
43.72/43.81	c Core size: 4	Core Weight: 1	Total Weight: -704
43.72/43.81	c Elapsed CPU time: 42.2136 s	Remaining CPU time: 1757.79 s
43.83/43.97	c core #297
43.83/43.97	c Core size: 4	Core Weight: 1	Total Weight: -703
43.83/43.97	c Elapsed CPU time: 42.3566 s	Remaining CPU time: 1757.64 s
44.03/44.12	c core #298
44.03/44.12	c Core size: 4	Core Weight: 1	Total Weight: -702
44.03/44.12	c Elapsed CPU time: 42.5055 s	Remaining CPU time: 1757.49 s
44.12/44.27	c core #299
44.12/44.27	c Core size: 4	Core Weight: 1	Total Weight: -701
44.12/44.27	c Elapsed CPU time: 42.6545 s	Remaining CPU time: 1757.35 s
44.32/44.42	c core #300
44.32/44.42	c Core size: 4	Core Weight: 1	Total Weight: -700
44.32/44.42	c Elapsed CPU time: 42.8005 s	Remaining CPU time: 1757.2 s
44.42/44.58	c core #301
44.42/44.58	c Core size: 4	Core Weight: 1	Total Weight: -699
44.42/44.58	c Elapsed CPU time: 42.9525 s	Remaining CPU time: 1757.05 s
44.62/44.73	c core #302
44.62/44.73	c Core size: 4	Core Weight: 1	Total Weight: -698
44.62/44.73	c Elapsed CPU time: 43.0974 s	Remaining CPU time: 1756.9 s
44.72/44.88	c core #303
44.72/44.88	c Core size: 4	Core Weight: 1	Total Weight: -697
44.72/44.88	c Elapsed CPU time: 43.2444 s	Remaining CPU time: 1756.76 s
44.93/45.03	c core #304
44.93/45.03	c Core size: 4	Core Weight: 1	Total Weight: -696
44.93/45.03	c Elapsed CPU time: 43.3874 s	Remaining CPU time: 1756.61 s
45.02/45.18	c core #305
45.02/45.18	c Core size: 4	Core Weight: 1	Total Weight: -695
45.02/45.18	c Elapsed CPU time: 43.5304 s	Remaining CPU time: 1756.47 s
45.22/45.33	c core #306
45.22/45.33	c Core size: 4	Core Weight: 1	Total Weight: -694
45.22/45.33	c Elapsed CPU time: 43.6724 s	Remaining CPU time: 1756.33 s
45.32/45.48	c core #307
45.32/45.48	c Core size: 4	Core Weight: 1	Total Weight: -693
45.32/45.48	c Elapsed CPU time: 43.8193 s	Remaining CPU time: 1756.18 s
45.52/45.63	c core #308
45.52/45.63	c Core size: 4	Core Weight: 1	Total Weight: -692
45.52/45.63	c Elapsed CPU time: 43.9663 s	Remaining CPU time: 1756.03 s
45.62/45.79	c core #309
45.62/45.79	c Core size: 4	Core Weight: 1	Total Weight: -691
45.62/45.79	c Elapsed CPU time: 44.1133 s	Remaining CPU time: 1755.89 s
45.82/45.94	c core #310
45.82/45.94	c Core size: 4	Core Weight: 1	Total Weight: -690
45.82/45.94	c Elapsed CPU time: 44.2623 s	Remaining CPU time: 1755.74 s
45.92/46.09	c core #311
45.92/46.09	c Core size: 4	Core Weight: 1	Total Weight: -689
45.92/46.09	c Elapsed CPU time: 44.4122 s	Remaining CPU time: 1755.59 s
46.12/46.24	c core #312
46.12/46.24	c Core size: 4	Core Weight: 1	Total Weight: -688
46.12/46.24	c Elapsed CPU time: 44.5572 s	Remaining CPU time: 1755.44 s
46.22/46.39	c core #313
46.22/46.39	c Core size: 4	Core Weight: 1	Total Weight: -687
46.22/46.39	c Elapsed CPU time: 44.7042 s	Remaining CPU time: 1755.3 s
46.42/46.55	c core #314
46.42/46.55	c Core size: 4	Core Weight: 1	Total Weight: -686
46.42/46.55	c Elapsed CPU time: 44.8512 s	Remaining CPU time: 1755.15 s
46.62/46.70	c core #315
46.62/46.70	c Core size: 4	Core Weight: 1	Total Weight: -685
46.62/46.70	c Elapsed CPU time: 45.0002 s	Remaining CPU time: 1755 s
46.72/46.86	c core #316
46.72/46.86	c Core size: 4	Core Weight: 1	Total Weight: -684
46.72/46.86	c Elapsed CPU time: 45.1481 s	Remaining CPU time: 1754.85 s
46.92/47.01	c core #317
46.92/47.01	c Core size: 4	Core Weight: 1	Total Weight: -683
46.92/47.01	c Elapsed CPU time: 45.2971 s	Remaining CPU time: 1754.7 s
47.02/47.16	c core #318
47.02/47.16	c Core size: 4	Core Weight: 1	Total Weight: -682
47.02/47.16	c Elapsed CPU time: 45.4471 s	Remaining CPU time: 1754.55 s
47.23/47.31	c core #319
47.23/47.31	c Core size: 4	Core Weight: 1	Total Weight: -681
47.23/47.31	c Elapsed CPU time: 45.5921 s	Remaining CPU time: 1754.41 s
47.32/47.47	c core #320
47.32/47.47	c Core size: 4	Core Weight: 1	Total Weight: -680
47.32/47.47	c Elapsed CPU time: 45.743 s	Remaining CPU time: 1754.26 s
47.52/47.62	c core #321
47.52/47.62	c Core size: 4	Core Weight: 1	Total Weight: -679
47.52/47.62	c Elapsed CPU time: 45.892 s	Remaining CPU time: 1754.11 s
47.62/47.78	c core #322
47.62/47.78	c Core size: 4	Core Weight: 1	Total Weight: -678
47.62/47.78	c Elapsed CPU time: 46.04 s	Remaining CPU time: 1753.96 s
47.82/47.93	c core #323
47.82/47.93	c Core size: 4	Core Weight: 1	Total Weight: -677
47.82/47.93	c Elapsed CPU time: 46.187 s	Remaining CPU time: 1753.81 s
47.92/48.08	c core #324
47.92/48.08	c Core size: 4	Core Weight: 1	Total Weight: -676
47.92/48.08	c Elapsed CPU time: 46.336 s	Remaining CPU time: 1753.66 s
48.12/48.23	c core #325
48.12/48.23	c Core size: 4	Core Weight: 1	Total Weight: -675
48.12/48.23	c Elapsed CPU time: 46.4819 s	Remaining CPU time: 1753.52 s
48.22/48.39	c core #326
48.22/48.39	c Core size: 4	Core Weight: 1	Total Weight: -674
48.22/48.39	c Elapsed CPU time: 46.6299 s	Remaining CPU time: 1753.37 s
48.42/48.54	c core #327
48.42/48.54	c Core size: 4	Core Weight: 1	Total Weight: -673
48.42/48.54	c Elapsed CPU time: 46.7769 s	Remaining CPU time: 1753.22 s
48.52/48.69	c core #328
48.52/48.69	c Core size: 4	Core Weight: 1	Total Weight: -672
48.52/48.69	c Elapsed CPU time: 46.9269 s	Remaining CPU time: 1753.07 s
48.72/48.85	c core #329
48.72/48.85	c Core size: 4	Core Weight: 1	Total Weight: -671
48.72/48.85	c Elapsed CPU time: 47.0738 s	Remaining CPU time: 1752.93 s
48.91/49.00	c core #330
48.91/49.00	c Core size: 4	Core Weight: 1	Total Weight: -670
48.91/49.00	c Elapsed CPU time: 47.2228 s	Remaining CPU time: 1752.78 s
49.02/49.15	c core #331
49.02/49.15	c Core size: 4	Core Weight: 1	Total Weight: -669
49.02/49.15	c Elapsed CPU time: 47.3708 s	Remaining CPU time: 1752.63 s
49.22/49.31	c core #332
49.22/49.31	c Core size: 4	Core Weight: 1	Total Weight: -668
49.22/49.31	c Elapsed CPU time: 47.5228 s	Remaining CPU time: 1752.48 s
49.32/49.46	c core #333
49.32/49.46	c Core size: 4	Core Weight: 1	Total Weight: -667
49.32/49.46	c Elapsed CPU time: 47.6718 s	Remaining CPU time: 1752.33 s
49.52/49.62	c core #334
49.52/49.62	c Core size: 4	Core Weight: 1	Total Weight: -666
49.52/49.62	c Elapsed CPU time: 47.8197 s	Remaining CPU time: 1752.18 s
49.61/49.77	c core #335
49.61/49.77	c Core size: 4	Core Weight: 1	Total Weight: -665
49.61/49.77	c Elapsed CPU time: 47.9677 s	Remaining CPU time: 1752.03 s
49.82/49.92	c core #336
49.82/49.92	c Core size: 4	Core Weight: 1	Total Weight: -664
49.82/49.92	c Elapsed CPU time: 48.1137 s	Remaining CPU time: 1751.89 s
49.91/50.07	c core #337
49.91/50.07	c Core size: 4	Core Weight: 1	Total Weight: -663
49.91/50.07	c Elapsed CPU time: 48.2607 s	Remaining CPU time: 1751.74 s
50.12/50.22	c core #338
50.12/50.22	c Core size: 4	Core Weight: 1	Total Weight: -662
50.12/50.22	c Elapsed CPU time: 48.4086 s	Remaining CPU time: 1751.59 s
50.21/50.38	c core #339
50.21/50.38	c Core size: 4	Core Weight: 1	Total Weight: -661
50.21/50.38	c Elapsed CPU time: 48.5546 s	Remaining CPU time: 1751.45 s
50.42/50.53	c core #340
50.42/50.53	c Core size: 4	Core Weight: 1	Total Weight: -660
50.42/50.53	c Elapsed CPU time: 48.7006 s	Remaining CPU time: 1751.3 s
50.52/50.68	c core #341
50.52/50.68	c Core size: 4	Core Weight: 1	Total Weight: -659
50.52/50.68	c Elapsed CPU time: 48.8496 s	Remaining CPU time: 1751.15 s
50.71/50.84	c core #342
50.71/50.84	c Core size: 4	Core Weight: 1	Total Weight: -658
50.71/50.84	c Elapsed CPU time: 49.0005 s	Remaining CPU time: 1751 s
50.81/50.99	c core #343
50.81/50.99	c Core size: 4	Core Weight: 1	Total Weight: -657
50.81/50.99	c Elapsed CPU time: 49.1525 s	Remaining CPU time: 1750.85 s
51.02/51.15	c core #344
51.02/51.15	c Core size: 4	Core Weight: 1	Total Weight: -656
51.02/51.15	c Elapsed CPU time: 49.3055 s	Remaining CPU time: 1750.69 s
51.21/51.30	c core #345
51.21/51.30	c Core size: 4	Core Weight: 1	Total Weight: -655
51.21/51.30	c Elapsed CPU time: 49.4525 s	Remaining CPU time: 1750.55 s
51.32/51.46	c core #346
51.32/51.46	c Core size: 4	Core Weight: 1	Total Weight: -654
51.32/51.46	c Elapsed CPU time: 49.6015 s	Remaining CPU time: 1750.4 s
51.52/51.61	c core #347
51.52/51.61	c Core size: 4	Core Weight: 1	Total Weight: -653
51.52/51.61	c Elapsed CPU time: 49.7524 s	Remaining CPU time: 1750.25 s
51.62/51.77	c core #348
51.62/51.77	c Core size: 4	Core Weight: 1	Total Weight: -652
51.62/51.77	c Elapsed CPU time: 49.9024 s	Remaining CPU time: 1750.1 s
51.81/51.92	c core #349
51.81/51.92	c Core size: 4	Core Weight: 1	Total Weight: -651
51.81/51.92	c Elapsed CPU time: 50.0454 s	Remaining CPU time: 1749.95 s
51.91/52.08	c core #350
51.91/52.08	c Core size: 4	Core Weight: 1	Total Weight: -650
51.91/52.08	c Elapsed CPU time: 50.1944 s	Remaining CPU time: 1749.81 s
52.12/52.23	c core #351
52.12/52.23	c Core size: 4	Core Weight: 1	Total Weight: -649
52.12/52.23	c Elapsed CPU time: 50.3463 s	Remaining CPU time: 1749.65 s
52.22/52.39	c core #352
52.22/52.39	c Core size: 4	Core Weight: 1	Total Weight: -648
52.22/52.39	c Elapsed CPU time: 50.4983 s	Remaining CPU time: 1749.5 s
52.42/52.54	c core #353
52.42/52.54	c Core size: 4	Core Weight: 1	Total Weight: -647
52.42/52.54	c Elapsed CPU time: 50.6433 s	Remaining CPU time: 1749.36 s
52.51/52.70	c core #354
52.51/52.70	c Core size: 4	Core Weight: 1	Total Weight: -646
52.51/52.70	c Elapsed CPU time: 50.7963 s	Remaining CPU time: 1749.2 s
52.71/52.85	c core #355
52.71/52.85	c Core size: 4	Core Weight: 1	Total Weight: -645
52.71/52.85	c Elapsed CPU time: 50.9453 s	Remaining CPU time: 1749.05 s
52.92/53.00	c core #356
52.92/53.00	c Core size: 4	Core Weight: 1	Total Weight: -644
52.92/53.00	c Elapsed CPU time: 51.0962 s	Remaining CPU time: 1748.9 s
53.01/53.16	c core #357
53.01/53.16	c Core size: 4	Core Weight: 1	Total Weight: -643
53.01/53.16	c Elapsed CPU time: 51.2422 s	Remaining CPU time: 1748.76 s
53.21/53.31	c core #358
53.21/53.31	c Core size: 4	Core Weight: 1	Total Weight: -642
53.21/53.31	c Elapsed CPU time: 51.3892 s	Remaining CPU time: 1748.61 s
53.32/53.47	c core #359
53.32/53.47	c Core size: 4	Core Weight: 1	Total Weight: -641
53.32/53.47	c Elapsed CPU time: 51.5362 s	Remaining CPU time: 1748.46 s
53.52/53.62	c core #360
53.52/53.62	c Core size: 4	Core Weight: 1	Total Weight: -640
53.52/53.62	c Elapsed CPU time: 51.6811 s	Remaining CPU time: 1748.32 s
53.61/53.77	c core #361
53.61/53.77	c Core size: 4	Core Weight: 1	Total Weight: -639
53.61/53.77	c Elapsed CPU time: 51.8331 s	Remaining CPU time: 1748.17 s
53.82/53.93	c core #362
53.82/53.93	c Core size: 4	Core Weight: 1	Total Weight: -638
53.82/53.93	c Elapsed CPU time: 51.9811 s	Remaining CPU time: 1748.02 s
53.91/54.08	c core #363
53.91/54.08	c Core size: 4	Core Weight: 1	Total Weight: -637
53.91/54.08	c Elapsed CPU time: 52.1301 s	Remaining CPU time: 1747.87 s
54.11/54.24	c core #364
54.11/54.24	c Core size: 4	Core Weight: 1	Total Weight: -636
54.11/54.24	c Elapsed CPU time: 52.2831 s	Remaining CPU time: 1747.72 s
54.21/54.40	c core #365
54.21/54.40	c Core size: 4	Core Weight: 1	Total Weight: -635
54.21/54.40	c Elapsed CPU time: 52.432 s	Remaining CPU time: 1747.57 s
54.41/54.55	c core #366
54.41/54.55	c Core size: 4	Core Weight: 1	Total Weight: -634
54.41/54.55	c Elapsed CPU time: 52.581 s	Remaining CPU time: 1747.42 s
54.61/54.71	c core #367
54.61/54.71	c Core size: 4	Core Weight: 1	Total Weight: -633
54.61/54.71	c Elapsed CPU time: 52.732 s	Remaining CPU time: 1747.27 s
54.71/54.86	c core #368
54.71/54.86	c Core size: 4	Core Weight: 1	Total Weight: -632
54.71/54.86	c Elapsed CPU time: 52.881 s	Remaining CPU time: 1747.12 s
54.91/55.01	c core #369
54.91/55.01	c Core size: 4	Core Weight: 1	Total Weight: -631
54.91/55.01	c Elapsed CPU time: 53.0309 s	Remaining CPU time: 1746.97 s
55.01/55.17	c core #370
55.01/55.17	c Core size: 4	Core Weight: 1	Total Weight: -630
55.01/55.17	c Elapsed CPU time: 53.1819 s	Remaining CPU time: 1746.82 s
55.21/55.32	c core #371
55.21/55.32	c Core size: 4	Core Weight: 1	Total Weight: -629
55.21/55.32	c Elapsed CPU time: 53.3309 s	Remaining CPU time: 1746.67 s
55.31/55.48	c core #372
55.31/55.48	c Core size: 4	Core Weight: 1	Total Weight: -628
55.31/55.48	c Elapsed CPU time: 53.4809 s	Remaining CPU time: 1746.52 s
55.51/55.63	c core #373
55.51/55.63	c Core size: 4	Core Weight: 1	Total Weight: -627
55.51/55.63	c Elapsed CPU time: 53.6288 s	Remaining CPU time: 1746.37 s
55.60/55.79	c core #374
55.60/55.79	c Core size: 4	Core Weight: 1	Total Weight: -626
55.60/55.79	c Elapsed CPU time: 53.7798 s	Remaining CPU time: 1746.22 s
55.81/55.94	c core #375
55.81/55.94	c Core size: 4	Core Weight: 1	Total Weight: -625
55.81/55.94	c Elapsed CPU time: 53.9278 s	Remaining CPU time: 1746.07 s
55.91/56.10	c core #376
55.91/56.10	c Core size: 4	Core Weight: 1	Total Weight: -624
55.91/56.10	c Elapsed CPU time: 54.0778 s	Remaining CPU time: 1745.92 s
56.11/56.25	c core #377
56.11/56.25	c Core size: 4	Core Weight: 1	Total Weight: -623
56.11/56.25	c Elapsed CPU time: 54.2278 s	Remaining CPU time: 1745.77 s
56.30/56.41	c core #378
56.30/56.41	c Core size: 4	Core Weight: 1	Total Weight: -622
56.30/56.41	c Elapsed CPU time: 54.3777 s	Remaining CPU time: 1745.62 s
56.41/56.56	c core #379
56.41/56.56	c Core size: 4	Core Weight: 1	Total Weight: -621
56.41/56.56	c Elapsed CPU time: 54.5277 s	Remaining CPU time: 1745.47 s
56.61/56.72	c core #380
56.61/56.72	c Core size: 4	Core Weight: 1	Total Weight: -620
56.61/56.72	c Elapsed CPU time: 54.6777 s	Remaining CPU time: 1745.32 s
56.71/56.87	c core #381
56.71/56.87	c Core size: 4	Core Weight: 1	Total Weight: -619
56.71/56.87	c Elapsed CPU time: 54.8277 s	Remaining CPU time: 1745.17 s
56.90/57.03	c core #382
56.90/57.03	c Core size: 4	Core Weight: 1	Total Weight: -618
56.90/57.03	c Elapsed CPU time: 54.9806 s	Remaining CPU time: 1745.02 s
57.01/57.19	c core #383
57.01/57.19	c Core size: 4	Core Weight: 1	Total Weight: -617
57.01/57.19	c Elapsed CPU time: 55.1306 s	Remaining CPU time: 1744.87 s
57.20/57.34	c core #384
57.20/57.34	c Core size: 4	Core Weight: 1	Total Weight: -616
57.20/57.34	c Elapsed CPU time: 55.2796 s	Remaining CPU time: 1744.72 s
57.31/57.50	c core #385
57.31/57.50	c Core size: 4	Core Weight: 1	Total Weight: -615
57.31/57.50	c Elapsed CPU time: 55.4276 s	Remaining CPU time: 1744.57 s
57.51/57.65	c core #386
57.51/57.65	c Core size: 4	Core Weight: 1	Total Weight: -614
57.51/57.65	c Elapsed CPU time: 55.5766 s	Remaining CPU time: 1744.42 s
57.70/57.81	c core #387
57.70/57.81	c Core size: 4	Core Weight: 1	Total Weight: -613
57.70/57.81	c Elapsed CPU time: 55.7285 s	Remaining CPU time: 1744.27 s
57.81/57.96	c core #388
57.81/57.96	c Core size: 4	Core Weight: 1	Total Weight: -612
57.81/57.96	c Elapsed CPU time: 55.8775 s	Remaining CPU time: 1744.12 s
58.01/58.12	c core #389
58.01/58.12	c Core size: 4	Core Weight: 1	Total Weight: -611
58.01/58.12	c Elapsed CPU time: 56.0265 s	Remaining CPU time: 1743.97 s
58.11/58.28	c core #390
58.11/58.28	c Core size: 4	Core Weight: 1	Total Weight: -610
58.11/58.28	c Elapsed CPU time: 56.1815 s	Remaining CPU time: 1743.82 s
58.30/58.44	c core #391
58.30/58.44	c Core size: 4	Core Weight: 1	Total Weight: -609
58.30/58.44	c Elapsed CPU time: 56.3334 s	Remaining CPU time: 1743.67 s
58.41/58.59	c core #392
58.41/58.59	c Core size: 4	Core Weight: 1	Total Weight: -608
58.41/58.59	c Elapsed CPU time: 56.4794 s	Remaining CPU time: 1743.52 s
58.61/58.75	c core #393
58.61/58.75	c Core size: 4	Core Weight: 1	Total Weight: -607
58.61/58.75	c Elapsed CPU time: 56.6344 s	Remaining CPU time: 1743.37 s
58.80/58.91	c core #394
58.80/58.91	c Core size: 4	Core Weight: 1	Total Weight: -606
58.80/58.91	c Elapsed CPU time: 56.7874 s	Remaining CPU time: 1743.21 s
58.91/59.07	c core #395
58.91/59.07	c Core size: 4	Core Weight: 1	Total Weight: -605
58.91/59.07	c Elapsed CPU time: 56.9413 s	Remaining CPU time: 1743.06 s
59.10/59.22	c core #396
59.10/59.22	c Core size: 4	Core Weight: 1	Total Weight: -604
59.10/59.22	c Elapsed CPU time: 57.0933 s	Remaining CPU time: 1742.91 s
59.21/59.38	c core #397
59.21/59.38	c Core size: 4	Core Weight: 1	Total Weight: -603
59.21/59.38	c Elapsed CPU time: 57.2433 s	Remaining CPU time: 1742.76 s
59.40/59.54	c core #398
59.40/59.54	c Core size: 4	Core Weight: 1	Total Weight: -602
59.40/59.54	c Elapsed CPU time: 57.3973 s	Remaining CPU time: 1742.6 s
59.60/59.70	c core #399
59.60/59.70	c Core size: 4	Core Weight: 1	Total Weight: -601
59.60/59.70	c Elapsed CPU time: 57.5483 s	Remaining CPU time: 1742.45 s
59.71/59.86	c core #400
59.71/59.86	c Core size: 4	Core Weight: 1	Total Weight: -600
59.71/59.86	c Elapsed CPU time: 57.6982 s	Remaining CPU time: 1742.3 s
59.90/60.01	c core #401
59.90/60.01	c Core size: 4	Core Weight: 1	Total Weight: -599
59.90/60.01	c Elapsed CPU time: 57.8512 s	Remaining CPU time: 1742.15 s
60.01/60.17	c core #402
60.01/60.17	c Core size: 4	Core Weight: 1	Total Weight: -598
60.01/60.17	c Elapsed CPU time: 57.9982 s	Remaining CPU time: 1742 s
60.20/60.33	c core #403
60.20/60.33	c Core size: 4	Core Weight: 1	Total Weight: -597
60.20/60.33	c Elapsed CPU time: 58.1492 s	Remaining CPU time: 1741.85 s
60.31/60.49	c core #404
60.31/60.49	c Core size: 4	Core Weight: 1	Total Weight: -596
60.31/60.49	c Elapsed CPU time: 58.3071 s	Remaining CPU time: 1741.69 s
60.50/60.65	c core #405
60.50/60.65	c Core size: 4	Core Weight: 1	Total Weight: -595
60.50/60.65	c Elapsed CPU time: 58.4571 s	Remaining CPU time: 1741.54 s
60.70/60.80	c core #406
60.70/60.80	c Core size: 4	Core Weight: 1	Total Weight: -594
60.70/60.80	c Elapsed CPU time: 58.6111 s	Remaining CPU time: 1741.39 s
60.80/60.96	c core #407
60.80/60.96	c Core size: 4	Core Weight: 1	Total Weight: -593
60.80/60.96	c Elapsed CPU time: 58.7641 s	Remaining CPU time: 1741.24 s
61.00/61.12	c core #408
61.00/61.12	c Core size: 4	Core Weight: 1	Total Weight: -592
61.00/61.12	c Elapsed CPU time: 58.919 s	Remaining CPU time: 1741.08 s
61.10/61.27	c core #409
61.10/61.27	c Core size: 4	Core Weight: 1	Total Weight: -591
61.10/61.27	c Elapsed CPU time: 59.069 s	Remaining CPU time: 1740.93 s
61.30/61.43	c core #410
61.30/61.43	c Core size: 4	Core Weight: 1	Total Weight: -590
61.30/61.43	c Elapsed CPU time: 59.218 s	Remaining CPU time: 1740.78 s
61.40/61.58	c core #411
61.40/61.58	c Core size: 4	Core Weight: 1	Total Weight: -589
61.40/61.59	c Elapsed CPU time: 59.369 s	Remaining CPU time: 1740.63 s
61.60/61.74	c core #412
61.60/61.74	c Core size: 4	Core Weight: 1	Total Weight: -588
61.60/61.74	c Elapsed CPU time: 59.523 s	Remaining CPU time: 1740.48 s
61.80/61.90	c core #413
61.80/61.90	c Core size: 4	Core Weight: 1	Total Weight: -587
61.80/61.90	c Elapsed CPU time: 59.6769 s	Remaining CPU time: 1740.32 s
61.90/62.06	c core #414
61.90/62.06	c Core size: 4	Core Weight: 1	Total Weight: -586
61.90/62.06	c Elapsed CPU time: 59.8319 s	Remaining CPU time: 1740.17 s
62.10/62.22	c core #415
62.10/62.22	c Core size: 4	Core Weight: 1	Total Weight: -585
62.10/62.22	c Elapsed CPU time: 59.9879 s	Remaining CPU time: 1740.01 s
62.20/62.38	c core #416
62.20/62.38	c Core size: 4	Core Weight: 1	Total Weight: -584
62.20/62.38	c Elapsed CPU time: 60.1469 s	Remaining CPU time: 1739.85 s
62.40/62.54	c core #417
62.40/62.54	c Core size: 4	Core Weight: 1	Total Weight: -583
62.40/62.54	c Elapsed CPU time: 60.2978 s	Remaining CPU time: 1739.7 s
62.50/62.70	c core #418
62.50/62.70	c Core size: 4	Core Weight: 1	Total Weight: -582
62.50/62.70	c Elapsed CPU time: 60.4518 s	Remaining CPU time: 1739.55 s
62.70/62.85	c core #419
62.70/62.85	c Core size: 4	Core Weight: 1	Total Weight: -581
62.70/62.85	c Elapsed CPU time: 60.6048 s	Remaining CPU time: 1739.4 s
62.90/63.01	c core #420
62.90/63.01	c Core size: 4	Core Weight: 1	Total Weight: -580
62.90/63.01	c Elapsed CPU time: 60.7568 s	Remaining CPU time: 1739.24 s
62.99/63.17	c core #421
62.99/63.17	c Core size: 4	Core Weight: 1	Total Weight: -579
62.99/63.17	c Elapsed CPU time: 60.9097 s	Remaining CPU time: 1739.09 s
63.20/63.33	c core #422
63.20/63.33	c Core size: 4	Core Weight: 1	Total Weight: -578
63.20/63.33	c Elapsed CPU time: 61.0647 s	Remaining CPU time: 1738.94 s
63.30/63.49	c core #423
63.30/63.49	c Core size: 4	Core Weight: 1	Total Weight: -577
63.30/63.49	c Elapsed CPU time: 61.2187 s	Remaining CPU time: 1738.78 s
63.50/63.65	c core #424
63.50/63.65	c Core size: 4	Core Weight: 1	Total Weight: -576
63.50/63.65	c Elapsed CPU time: 61.3757 s	Remaining CPU time: 1738.62 s
63.70/63.81	c core #425
63.70/63.81	c Core size: 4	Core Weight: 1	Total Weight: -575
63.70/63.81	c Elapsed CPU time: 61.5296 s	Remaining CPU time: 1738.47 s
63.80/63.97	c core #426
63.80/63.97	c Core size: 4	Core Weight: 1	Total Weight: -574
63.80/63.97	c Elapsed CPU time: 61.6846 s	Remaining CPU time: 1738.32 s
64.00/64.13	c core #427
64.00/64.13	c Core size: 4	Core Weight: 1	Total Weight: -573
64.00/64.13	c Elapsed CPU time: 61.8346 s	Remaining CPU time: 1738.17 s
64.09/64.29	c core #428
64.09/64.29	c Core size: 4	Core Weight: 1	Total Weight: -572
64.09/64.29	c Elapsed CPU time: 61.9856 s	Remaining CPU time: 1738.01 s
64.30/64.44	c core #429
64.30/64.44	c Core size: 4	Core Weight: 1	Total Weight: -571
64.30/64.44	c Elapsed CPU time: 62.1396 s	Remaining CPU time: 1737.86 s
64.49/64.60	c core #430
64.49/64.60	c Core size: 4	Core Weight: 1	Total Weight: -570
64.49/64.60	c Elapsed CPU time: 62.2955 s	Remaining CPU time: 1737.7 s
64.60/64.76	c core #431
64.60/64.76	c Core size: 4	Core Weight: 1	Total Weight: -569
64.60/64.76	c Elapsed CPU time: 62.4505 s	Remaining CPU time: 1737.55 s
64.80/64.92	c core #432
64.80/64.92	c Core size: 4	Core Weight: 1	Total Weight: -568
64.80/64.92	c Elapsed CPU time: 62.6015 s	Remaining CPU time: 1737.4 s
64.89/65.08	c core #433
64.89/65.08	c Core size: 4	Core Weight: 1	Total Weight: -567
64.89/65.08	c Elapsed CPU time: 62.7525 s	Remaining CPU time: 1737.25 s
65.09/65.23	c core #434
65.09/65.23	c Core size: 4	Core Weight: 1	Total Weight: -566
65.09/65.23	c Elapsed CPU time: 62.9064 s	Remaining CPU time: 1737.09 s
65.19/65.39	c core #435
65.19/65.39	c Core size: 4	Core Weight: 1	Total Weight: -565
65.19/65.39	c Elapsed CPU time: 63.0624 s	Remaining CPU time: 1736.94 s
65.40/65.55	c core #436
65.40/65.55	c Core size: 4	Core Weight: 1	Total Weight: -564
65.40/65.55	c Elapsed CPU time: 63.2144 s	Remaining CPU time: 1736.79 s
65.60/65.71	c core #437
65.60/65.71	c Core size: 4	Core Weight: 1	Total Weight: -563
65.60/65.71	c Elapsed CPU time: 63.3664 s	Remaining CPU time: 1736.63 s
65.69/65.87	c core #438
65.69/65.87	c Core size: 4	Core Weight: 1	Total Weight: -562
65.69/65.87	c Elapsed CPU time: 63.5243 s	Remaining CPU time: 1736.48 s
65.90/66.03	c core #439
65.90/66.03	c Core size: 4	Core Weight: 1	Total Weight: -561
65.90/66.03	c Elapsed CPU time: 63.6773 s	Remaining CPU time: 1736.32 s
65.99/66.19	c core #440
65.99/66.19	c Core size: 4	Core Weight: 1	Total Weight: -560
65.99/66.20	c Elapsed CPU time: 63.8363 s	Remaining CPU time: 1736.16 s
66.19/66.36	c core #441
66.19/66.36	c Core size: 4	Core Weight: 1	Total Weight: -559
66.19/66.36	c Elapsed CPU time: 63.9933 s	Remaining CPU time: 1736.01 s
66.39/66.52	c core #442
66.39/66.52	c Core size: 4	Core Weight: 1	Total Weight: -558
66.39/66.52	c Elapsed CPU time: 64.1472 s	Remaining CPU time: 1735.85 s
66.50/66.68	c core #443
66.50/66.68	c Core size: 4	Core Weight: 1	Total Weight: -557
66.50/66.68	c Elapsed CPU time: 64.3012 s	Remaining CPU time: 1735.7 s
66.69/66.84	c core #444
66.69/66.84	c Core size: 4	Core Weight: 1	Total Weight: -556
66.69/66.84	c Elapsed CPU time: 64.4592 s	Remaining CPU time: 1735.54 s
66.89/67.00	c core #445
66.89/67.00	c Core size: 4	Core Weight: 1	Total Weight: -555
66.89/67.00	c Elapsed CPU time: 64.6212 s	Remaining CPU time: 1735.38 s
67.00/67.16	c core #446
67.00/67.16	c Core size: 4	Core Weight: 1	Total Weight: -554
67.00/67.16	c Elapsed CPU time: 64.7732 s	Remaining CPU time: 1735.23 s
67.19/67.32	c core #447
67.19/67.32	c Core size: 4	Core Weight: 1	Total Weight: -553
67.19/67.32	c Elapsed CPU time: 64.9271 s	Remaining CPU time: 1735.07 s
67.29/67.48	c core #448
67.29/67.48	c Core size: 4	Core Weight: 1	Total Weight: -552
67.29/67.48	c Elapsed CPU time: 65.0781 s	Remaining CPU time: 1734.92 s
67.49/67.64	c core #449
67.49/67.64	c Core size: 4	Core Weight: 1	Total Weight: -551
67.49/67.64	c Elapsed CPU time: 65.2301 s	Remaining CPU time: 1734.77 s
67.69/67.80	c core #450
67.69/67.80	c Core size: 4	Core Weight: 1	Total Weight: -550
67.69/67.80	c Elapsed CPU time: 65.3841 s	Remaining CPU time: 1734.62 s
67.79/67.96	c core #451
67.79/67.96	c Core size: 4	Core Weight: 1	Total Weight: -549
67.79/67.96	c Elapsed CPU time: 65.539 s	Remaining CPU time: 1734.46 s
68.00/68.12	c core #452
68.00/68.12	c Core size: 4	Core Weight: 1	Total Weight: -548
68.00/68.12	c Elapsed CPU time: 65.694 s	Remaining CPU time: 1734.31 s
68.09/68.29	c core #453
68.09/68.29	c Core size: 4	Core Weight: 1	Total Weight: -547
68.09/68.29	c Elapsed CPU time: 65.854 s	Remaining CPU time: 1734.15 s
68.29/68.45	c core #454
68.29/68.45	c Core size: 4	Core Weight: 1	Total Weight: -546
68.29/68.45	c Elapsed CPU time: 66.011 s	Remaining CPU time: 1733.99 s
68.49/68.61	c core #455
68.49/68.61	c Core size: 4	Core Weight: 1	Total Weight: -545
68.49/68.61	c Elapsed CPU time: 66.1699 s	Remaining CPU time: 1733.83 s
68.59/68.77	c core #456
68.59/68.77	c Core size: 4	Core Weight: 1	Total Weight: -544
68.59/68.77	c Elapsed CPU time: 66.3269 s	Remaining CPU time: 1733.67 s
68.79/68.93	c core #457
68.79/68.93	c Core size: 4	Core Weight: 1	Total Weight: -543
68.79/68.93	c Elapsed CPU time: 66.4779 s	Remaining CPU time: 1733.52 s
68.89/69.09	c core #458
68.89/69.09	c Core size: 4	Core Weight: 1	Total Weight: -542
68.89/69.09	c Elapsed CPU time: 66.6359 s	Remaining CPU time: 1733.36 s
69.09/69.26	c core #459
69.09/69.26	c Core size: 4	Core Weight: 1	Total Weight: -541
69.09/69.26	c Elapsed CPU time: 66.7958 s	Remaining CPU time: 1733.2 s
69.29/69.42	c core #460
69.29/69.42	c Core size: 4	Core Weight: 1	Total Weight: -540
69.29/69.42	c Elapsed CPU time: 66.9518 s	Remaining CPU time: 1733.05 s
69.39/69.58	c core #461
69.39/69.58	c Core size: 4	Core Weight: 1	Total Weight: -539
69.39/69.58	c Elapsed CPU time: 67.1058 s	Remaining CPU time: 1732.89 s
69.59/69.74	c core #462
69.59/69.74	c Core size: 4	Core Weight: 1	Total Weight: -538
69.59/69.74	c Elapsed CPU time: 67.2608 s	Remaining CPU time: 1732.74 s
69.78/69.90	c core #463
69.78/69.90	c Core size: 4	Core Weight: 1	Total Weight: -537
69.78/69.91	c Elapsed CPU time: 67.4177 s	Remaining CPU time: 1732.58 s
69.89/70.07	c core #464
69.89/70.07	c Core size: 4	Core Weight: 1	Total Weight: -536
69.89/70.07	c Elapsed CPU time: 67.5717 s	Remaining CPU time: 1732.43 s
70.08/70.23	c core #465
70.08/70.23	c Core size: 4	Core Weight: 1	Total Weight: -535
70.08/70.23	c Elapsed CPU time: 67.7287 s	Remaining CPU time: 1732.27 s
70.19/70.39	c core #466
70.19/70.39	c Core size: 4	Core Weight: 1	Total Weight: -534
70.19/70.39	c Elapsed CPU time: 67.8877 s	Remaining CPU time: 1732.11 s
70.39/70.55	c core #467
70.39/70.55	c Core size: 4	Core Weight: 1	Total Weight: -533
70.39/70.55	c Elapsed CPU time: 68.0427 s	Remaining CPU time: 1731.96 s
70.59/70.71	c core #468
70.59/70.71	c Core size: 4	Core Weight: 1	Total Weight: -532
70.59/70.71	c Elapsed CPU time: 68.2006 s	Remaining CPU time: 1731.8 s
70.69/70.88	c core #469
70.69/70.88	c Core size: 4	Core Weight: 1	Total Weight: -531
70.69/70.88	c Elapsed CPU time: 68.3596 s	Remaining CPU time: 1731.64 s
70.89/71.04	c core #470
70.89/71.04	c Core size: 4	Core Weight: 1	Total Weight: -530
70.89/71.04	c Elapsed CPU time: 68.5156 s	Remaining CPU time: 1731.48 s
71.08/71.20	c core #471
71.08/71.20	c Core size: 4	Core Weight: 1	Total Weight: -529
71.08/71.20	c Elapsed CPU time: 68.6706 s	Remaining CPU time: 1731.33 s
71.19/71.37	c core #472
71.19/71.37	c Core size: 4	Core Weight: 1	Total Weight: -528
71.19/71.37	c Elapsed CPU time: 68.8295 s	Remaining CPU time: 1731.17 s
71.39/71.53	c core #473
71.39/71.53	c Core size: 4	Core Weight: 1	Total Weight: -527
71.39/71.53	c Elapsed CPU time: 68.9855 s	Remaining CPU time: 1731.01 s
71.49/71.69	c core #474
71.49/71.69	c Core size: 4	Core Weight: 1	Total Weight: -526
71.49/71.69	c Elapsed CPU time: 69.1445 s	Remaining CPU time: 1730.86 s
71.69/71.85	c core #475
71.69/71.85	c Core size: 4	Core Weight: 1	Total Weight: -525
71.69/71.85	c Elapsed CPU time: 69.2995 s	Remaining CPU time: 1730.7 s
71.89/72.02	c core #476
71.89/72.02	c Core size: 4	Core Weight: 1	Total Weight: -524
71.89/72.02	c Elapsed CPU time: 69.4594 s	Remaining CPU time: 1730.54 s
71.99/72.18	c core #477
71.99/72.18	c Core size: 4	Core Weight: 1	Total Weight: -523
71.99/72.18	c Elapsed CPU time: 69.6144 s	Remaining CPU time: 1730.39 s
72.19/72.35	c core #478
72.19/72.35	c Core size: 4	Core Weight: 1	Total Weight: -522
72.19/72.35	c Elapsed CPU time: 69.7724 s	Remaining CPU time: 1730.23 s
72.39/72.51	c core #479
72.39/72.51	c Core size: 4	Core Weight: 1	Total Weight: -521
72.39/72.51	c Elapsed CPU time: 69.9314 s	Remaining CPU time: 1730.07 s
72.49/72.67	c core #480
72.49/72.67	c Core size: 4	Core Weight: 1	Total Weight: -520
72.49/72.67	c Elapsed CPU time: 70.0913 s	Remaining CPU time: 1729.91 s
72.69/72.84	c core #481
72.69/72.84	c Core size: 4	Core Weight: 1	Total Weight: -519
72.69/72.84	c Elapsed CPU time: 70.2523 s	Remaining CPU time: 1729.75 s
72.88/73.00	c core #482
72.88/73.00	c Core size: 4	Core Weight: 1	Total Weight: -518
72.88/73.00	c Elapsed CPU time: 70.4133 s	Remaining CPU time: 1729.59 s
72.99/73.16	c core #483
72.99/73.16	c Core size: 4	Core Weight: 1	Total Weight: -517
72.99/73.16	c Elapsed CPU time: 70.5693 s	Remaining CPU time: 1729.43 s
73.18/73.33	c core #484
73.18/73.33	c Core size: 4	Core Weight: 1	Total Weight: -516
73.18/73.33	c Elapsed CPU time: 70.7252 s	Remaining CPU time: 1729.27 s
73.29/73.49	c core #485
73.29/73.49	c Core size: 4	Core Weight: 1	Total Weight: -515
73.29/73.49	c Elapsed CPU time: 70.8882 s	Remaining CPU time: 1729.11 s
73.49/73.66	c core #486
73.49/73.66	c Core size: 4	Core Weight: 1	Total Weight: -514
73.49/73.66	c Elapsed CPU time: 71.0452 s	Remaining CPU time: 1728.95 s
73.68/73.82	c core #487
73.68/73.82	c Core size: 4	Core Weight: 1	Total Weight: -513
73.68/73.82	c Elapsed CPU time: 71.2022 s	Remaining CPU time: 1728.8 s
73.78/73.98	c core #488
73.78/73.98	c Core size: 4	Core Weight: 1	Total Weight: -512
73.78/73.98	c Elapsed CPU time: 71.3602 s	Remaining CPU time: 1728.64 s
73.99/74.15	c core #489
73.99/74.15	c Core size: 4	Core Weight: 1	Total Weight: -511
73.99/74.15	c Elapsed CPU time: 71.5181 s	Remaining CPU time: 1728.48 s
74.18/74.31	c core #490
74.18/74.31	c Core size: 4	Core Weight: 1	Total Weight: -510
74.18/74.31	c Elapsed CPU time: 71.6791 s	Remaining CPU time: 1728.32 s
74.28/74.47	c core #491
74.28/74.47	c Core size: 4	Core Weight: 1	Total Weight: -509
74.28/74.47	c Elapsed CPU time: 71.8381 s	Remaining CPU time: 1728.16 s
74.49/74.64	c core #492
74.49/74.64	c Core size: 4	Core Weight: 1	Total Weight: -508
74.49/74.64	c Elapsed CPU time: 71.9931 s	Remaining CPU time: 1728.01 s
74.69/74.80	c core #493
74.69/74.80	c Core size: 4	Core Weight: 1	Total Weight: -507
74.69/74.80	c Elapsed CPU time: 72.157 s	Remaining CPU time: 1727.84 s
74.78/74.97	c core #494
74.78/74.97	c Core size: 4	Core Weight: 1	Total Weight: -506
74.78/74.97	c Elapsed CPU time: 72.323 s	Remaining CPU time: 1727.68 s
74.99/75.14	c core #495
74.99/75.14	c Core size: 4	Core Weight: 1	Total Weight: -505
74.99/75.14	c Elapsed CPU time: 72.482 s	Remaining CPU time: 1727.52 s
75.18/75.31	c core #496
75.18/75.31	c Core size: 9	Core Weight: 1	Total Weight: -504
75.18/75.31	c Elapsed CPU time: 72.644 s	Remaining CPU time: 1727.36 s
75.29/75.47	c core #497
75.29/75.47	c Core size: 8	Core Weight: 1	Total Weight: -503
75.29/75.47	c Elapsed CPU time: 72.8009 s	Remaining CPU time: 1727.2 s
75.48/75.64	c core #498
75.48/75.64	c Core size: 9	Core Weight: 1	Total Weight: -502
75.48/75.64	c Elapsed CPU time: 72.9659 s	Remaining CPU time: 1727.03 s
75.59/75.80	c core #499
75.59/75.80	c Core size: 9	Core Weight: 1	Total Weight: -501
75.59/75.80	c Elapsed CPU time: 73.1239 s	Remaining CPU time: 1726.88 s
75.79/75.97	c core #500
75.79/75.97	c Core size: 14	Core Weight: 1	Total Weight: -500
75.79/75.97	c Elapsed CPU time: 73.2859 s	Remaining CPU time: 1726.71 s
75.99/76.14	c core #501
75.99/76.14	c Core size: 28	Core Weight: 1	Total Weight: -499
75.99/76.14	c Elapsed CPU time: 73.4528 s	Remaining CPU time: 1726.55 s
76.08/76.29	c ============================[ Search Statistics ]==============================
76.08/76.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.08/76.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.08/76.29	c ===============================================================================
76.08/76.29	c |         0 |    2022    78985   191034 |    26328        0    nan |  0.000 % |
76.18/76.31	c ===============================================================================
76.18/76.31	c core #502
76.18/76.31	c Core size: 15	Core Weight: 1	Total Weight: -498
76.18/76.31	c Elapsed CPU time: 73.6128 s	Remaining CPU time: 1726.39 s
76.29/76.46	c ============================[ Search Statistics ]==============================
76.29/76.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.29/76.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.29/76.46	c ===============================================================================
76.29/76.46	c |         0 |    2028    78986   191046 |    26328        0    nan |  0.000 % |
76.29/76.47	c ===============================================================================
76.29/76.47	c core #503
76.29/76.47	c Core size: 17	Core Weight: 1	Total Weight: -497
76.29/76.47	c Elapsed CPU time: 73.7808 s	Remaining CPU time: 1726.22 s
76.48/76.63	c ============================[ Search Statistics ]==============================
76.48/76.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.48/76.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.48/76.63	c ===============================================================================
76.48/76.63	c |         0 |    2034    78987   191058 |    26329        0    nan |  0.000 % |
76.48/76.64	c ===============================================================================
76.48/76.64	c core #504
76.48/76.64	c Core size: 17	Core Weight: 1	Total Weight: -496
76.48/76.64	c Elapsed CPU time: 73.9428 s	Remaining CPU time: 1726.06 s
76.68/76.80	c ============================[ Search Statistics ]==============================
76.68/76.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.68/76.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.68/76.80	c ===============================================================================
76.68/76.80	c |         0 |    2040    78988   191070 |    26329        0    nan |  0.000 % |
76.68/76.81	c ===============================================================================
76.68/76.81	c core #505
76.68/76.81	c Core size: 16	Core Weight: 1	Total Weight: -495
76.68/76.81	c Elapsed CPU time: 74.1087 s	Remaining CPU time: 1725.89 s
76.79/76.97	c ============================[ Search Statistics ]==============================
76.79/76.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.79/76.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.79/76.97	c ===============================================================================
76.79/76.97	c |         0 |    2046    78989   191082 |    26329        0    nan |  0.000 % |
76.79/76.98	c ===============================================================================
76.79/76.98	c core #506
76.79/76.98	c Core size: 17	Core Weight: 1	Total Weight: -494
76.79/76.98	c Elapsed CPU time: 74.2677 s	Remaining CPU time: 1725.73 s
76.97/77.14	c ============================[ Search Statistics ]==============================
76.97/77.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
76.97/77.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
76.97/77.14	c ===============================================================================
76.97/77.14	c |         0 |    2052    78990   191094 |    26330        0    nan |  0.000 % |
76.97/77.15	c ===============================================================================
76.97/77.15	c core #507
76.97/77.15	c Core size: 16	Core Weight: 1	Total Weight: -493
76.97/77.15	c Elapsed CPU time: 74.4277 s	Remaining CPU time: 1725.57 s
77.17/77.30	c ============================[ Search Statistics ]==============================
77.17/77.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.17/77.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.17/77.30	c ===============================================================================
77.17/77.30	c |         0 |    2058    78991   191106 |    26330        0    nan |  0.000 % |
77.17/77.32	c ===============================================================================
77.17/77.32	c core #508
77.17/77.32	c Core size: 17	Core Weight: 1	Total Weight: -492
77.17/77.32	c Elapsed CPU time: 74.5887 s	Remaining CPU time: 1725.41 s
77.28/77.47	c ============================[ Search Statistics ]==============================
77.28/77.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.28/77.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.28/77.47	c ===============================================================================
77.28/77.47	c |         0 |    2064    78992   191118 |    26330        0    nan |  0.000 % |
77.28/77.49	c ===============================================================================
77.28/77.49	c core #509
77.28/77.49	c Core size: 16	Core Weight: 1	Total Weight: -491
77.28/77.49	c Elapsed CPU time: 74.7566 s	Remaining CPU time: 1725.24 s
77.48/77.64	c ============================[ Search Statistics ]==============================
77.48/77.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.48/77.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.48/77.64	c ===============================================================================
77.48/77.64	c |         0 |    2070    78993   191130 |    26331        0    nan |  0.000 % |
77.48/77.65	c ===============================================================================
77.48/77.66	c core #510
77.48/77.66	c Core size: 15	Core Weight: 1	Total Weight: -490
77.48/77.66	c Elapsed CPU time: 74.9226 s	Remaining CPU time: 1725.08 s
77.68/77.81	c ============================[ Search Statistics ]==============================
77.68/77.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.68/77.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.68/77.81	c ===============================================================================
77.68/77.81	c |         0 |    2076    78994   191142 |    26331        0    nan |  0.000 % |
77.68/77.82	c ===============================================================================
77.68/77.82	c core #511
77.68/77.82	c Core size: 17	Core Weight: 1	Total Weight: -489
77.68/77.82	c Elapsed CPU time: 75.0816 s	Remaining CPU time: 1724.92 s
77.78/77.98	c ============================[ Search Statistics ]==============================
77.78/77.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.78/77.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.78/77.98	c ===============================================================================
77.78/77.98	c |         0 |    2082    78995   191154 |    26331        0    nan |  0.000 % |
77.78/77.99	c ===============================================================================
77.78/77.99	c core #512
77.78/77.99	c Core size: 16	Core Weight: 1	Total Weight: -488
77.78/77.99	c Elapsed CPU time: 75.2436 s	Remaining CPU time: 1724.76 s
77.99/78.14	c ============================[ Search Statistics ]==============================
77.99/78.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.99/78.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.99/78.14	c ===============================================================================
77.99/78.14	c |         0 |    2088    78996   191166 |    26332        0    nan |  0.000 % |
77.99/78.16	c ===============================================================================
77.99/78.16	c core #513
77.99/78.16	c Core size: 17	Core Weight: 1	Total Weight: -487
77.99/78.16	c Elapsed CPU time: 75.4045 s	Remaining CPU time: 1724.6 s
78.17/78.31	c ============================[ Search Statistics ]==============================
78.17/78.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.17/78.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.17/78.31	c ===============================================================================
78.17/78.31	c |         0 |    2094    78997   191178 |    26332        0    nan |  0.000 % |
78.17/78.32	c ===============================================================================
78.17/78.33	c core #514
78.17/78.33	c Core size: 22	Core Weight: 1	Total Weight: -486
78.17/78.33	c Elapsed CPU time: 75.5675 s	Remaining CPU time: 1724.43 s
78.27/78.49	c ============================[ Search Statistics ]==============================
78.27/78.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.27/78.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.27/78.49	c ===============================================================================
78.27/78.49	c |         0 |    2102    78998   191194 |    26332        0    nan |  0.000 % |
78.37/78.50	c ===============================================================================
78.37/78.50	c core #515
78.37/78.50	c Core size: 16	Core Weight: 1	Total Weight: -485
78.37/78.50	c Elapsed CPU time: 75.7385 s	Remaining CPU time: 1724.26 s
78.48/78.66	c ============================[ Search Statistics ]==============================
78.48/78.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.48/78.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.48/78.66	c ===============================================================================
78.48/78.66	c |         0 |    2108    78999   191206 |    26333        0    nan |  0.000 % |
78.48/78.67	c ===============================================================================
78.48/78.67	c core #516
78.48/78.67	c Core size: 15	Core Weight: 1	Total Weight: -484
78.48/78.67	c Elapsed CPU time: 75.9035 s	Remaining CPU time: 1724.1 s
78.68/78.82	c ============================[ Search Statistics ]==============================
78.68/78.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.68/78.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.68/78.82	c ===============================================================================
78.68/78.82	c |         0 |    2114    79000   191218 |    26333        0    nan |  0.000 % |
78.68/78.84	c ===============================================================================
78.68/78.84	c core #517
78.68/78.84	c Core size: 17	Core Weight: 1	Total Weight: -483
78.68/78.84	c Elapsed CPU time: 76.0624 s	Remaining CPU time: 1723.94 s
78.77/78.99	c ============================[ Search Statistics ]==============================
78.77/78.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.77/78.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.77/78.99	c ===============================================================================
78.77/78.99	c |         0 |    2120    79001   191230 |    26333        0    nan |  0.000 % |
78.88/79.00	c ===============================================================================
78.88/79.00	c core #518
78.88/79.00	c Core size: 16	Core Weight: 1	Total Weight: -482
78.88/79.00	c Elapsed CPU time: 76.2164 s	Remaining CPU time: 1723.78 s
78.98/79.15	c ============================[ Search Statistics ]==============================
78.98/79.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.98/79.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.98/79.15	c ===============================================================================
78.98/79.15	c |         0 |    2126    79002   191242 |    26334        0    nan |  0.000 % |
78.98/79.16	c ===============================================================================
78.98/79.17	c core #519
78.98/79.17	c Core size: 15	Core Weight: 1	Total Weight: -481
78.98/79.17	c Elapsed CPU time: 76.3764 s	Remaining CPU time: 1723.62 s
79.17/79.33	c ============================[ Search Statistics ]==============================
79.17/79.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.17/79.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.17/79.33	c ===============================================================================
79.17/79.33	c |         0 |    2132    79003   191254 |    26334        0    nan |  0.000 % |
79.17/79.34	c ===============================================================================
79.17/79.34	c core #520
79.17/79.34	c Core size: 15	Core Weight: 1	Total Weight: -480
79.17/79.34	c Elapsed CPU time: 76.5464 s	Remaining CPU time: 1723.45 s
79.38/79.50	c ============================[ Search Statistics ]==============================
79.38/79.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.38/79.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.38/79.50	c ===============================================================================
79.38/79.50	c |         0 |    2138    79004   191266 |    26334        0    nan |  0.000 % |
79.38/79.51	c ===============================================================================
79.38/79.51	c core #521
79.38/79.51	c Core size: 17	Core Weight: 1	Total Weight: -479
79.38/79.51	c Elapsed CPU time: 76.7183 s	Remaining CPU time: 1723.28 s
79.47/79.67	c ============================[ Search Statistics ]==============================
79.47/79.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.47/79.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.47/79.67	c ===============================================================================
79.47/79.67	c |         0 |    2144    79005   191278 |    26335        0    nan |  0.000 % |
79.47/79.69	c ===============================================================================
79.47/79.69	c core #522
79.47/79.69	c Core size: 15	Core Weight: 1	Total Weight: -478
79.47/79.69	c Elapsed CPU time: 76.8843 s	Remaining CPU time: 1723.12 s
79.68/79.85	c ============================[ Search Statistics ]==============================
79.68/79.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.68/79.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.68/79.85	c ===============================================================================
79.68/79.85	c |         0 |    2150    79006   191290 |    26335        0    nan |  0.000 % |
79.68/79.86	c ===============================================================================
79.68/79.86	c core #523
79.68/79.86	c Core size: 17	Core Weight: 1	Total Weight: -477
79.68/79.86	c Elapsed CPU time: 77.0523 s	Remaining CPU time: 1722.95 s
79.87/80.02	c ============================[ Search Statistics ]==============================
79.87/80.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.87/80.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.87/80.02	c ===============================================================================
79.87/80.02	c |         0 |    2156    79007   191302 |    26335        0    nan |  0.000 % |
79.87/80.03	c ===============================================================================
79.87/80.03	c core #524
79.87/80.03	c Core size: 16	Core Weight: 1	Total Weight: -476
79.87/80.03	c Elapsed CPU time: 77.2223 s	Remaining CPU time: 1722.78 s
79.97/80.19	c ============================[ Search Statistics ]==============================
79.97/80.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.97/80.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.97/80.19	c ===============================================================================
79.97/80.19	c |         0 |    2162    79008   191314 |    26336        0    nan |  0.000 % |
80.08/80.21	c ===============================================================================
80.08/80.21	c core #525
80.08/80.21	c Core size: 15	Core Weight: 1	Total Weight: -475
80.08/80.21	c Elapsed CPU time: 77.3902 s	Remaining CPU time: 1722.61 s
80.18/80.36	c ============================[ Search Statistics ]==============================
80.18/80.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.18/80.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.18/80.36	c ===============================================================================
80.18/80.36	c |         0 |    2168    79009   191326 |    26336        0    nan |  0.000 % |
80.18/80.37	c ===============================================================================
80.18/80.37	c core #526
80.18/80.37	c Core size: 16	Core Weight: 1	Total Weight: -474
80.18/80.37	c Elapsed CPU time: 77.5512 s	Remaining CPU time: 1722.45 s
80.37/80.53	c ============================[ Search Statistics ]==============================
80.37/80.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.37/80.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.37/80.53	c ===============================================================================
80.37/80.53	c |         0 |    2174    79010   191338 |    26336        0    nan |  0.000 % |
80.37/80.54	c ===============================================================================
80.37/80.54	c core #527
80.37/80.54	c Core size: 16	Core Weight: 1	Total Weight: -473
80.37/80.54	c Elapsed CPU time: 77.7132 s	Remaining CPU time: 1722.29 s
80.47/80.69	c ============================[ Search Statistics ]==============================
80.47/80.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.47/80.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.47/80.69	c ===============================================================================
80.47/80.69	c |         0 |    2180    79011   191350 |    26337        0    nan |  0.000 % |
80.57/80.70	c ===============================================================================
80.57/80.70	c core #528
80.57/80.70	c Core size: 15	Core Weight: 1	Total Weight: -472
80.57/80.70	c Elapsed CPU time: 77.8712 s	Remaining CPU time: 1722.13 s
80.67/80.85	c ============================[ Search Statistics ]==============================
80.67/80.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.67/80.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.67/80.85	c ===============================================================================
80.67/80.85	c |         0 |    2186    79012   191362 |    26337        0    nan |  0.000 % |
80.67/80.87	c ===============================================================================
80.67/80.87	c core #529
80.67/80.87	c Core size: 22	Core Weight: 1	Total Weight: -471
80.67/80.87	c Elapsed CPU time: 78.0311 s	Remaining CPU time: 1721.97 s
80.87/81.02	c ============================[ Search Statistics ]==============================
80.87/81.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.87/81.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.87/81.02	c ===============================================================================
80.87/81.02	c |         0 |    2194    79013   191378 |    26337        0    nan |  0.000 % |
80.87/81.04	c ===============================================================================
80.87/81.04	c core #530
80.87/81.04	c Core size: 15	Core Weight: 1	Total Weight: -470
80.87/81.04	c Elapsed CPU time: 78.1921 s	Remaining CPU time: 1721.81 s
80.97/81.19	c ============================[ Search Statistics ]==============================
80.97/81.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
80.97/81.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
80.97/81.19	c ===============================================================================
80.97/81.19	c |         0 |    2200    79014   191390 |    26338        0    nan |  0.000 % |
81.06/81.20	c ===============================================================================
81.06/81.20	c core #531
81.06/81.20	c Core size: 16	Core Weight: 1	Total Weight: -469
81.06/81.20	c Elapsed CPU time: 78.3531 s	Remaining CPU time: 1721.65 s
81.17/81.35	c ============================[ Search Statistics ]==============================
81.17/81.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.17/81.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.17/81.35	c ===============================================================================
81.17/81.35	c |         0 |    2206    79015   191402 |    26338        0    nan |  0.000 % |
81.17/81.37	c ===============================================================================
81.17/81.37	c core #532
81.17/81.37	c Core size: 17	Core Weight: 1	Total Weight: -468
81.17/81.37	c Elapsed CPU time: 78.5111 s	Remaining CPU time: 1721.49 s
81.36/81.52	c ============================[ Search Statistics ]==============================
81.36/81.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.36/81.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.36/81.52	c ===============================================================================
81.36/81.52	c |         0 |    2212    79016   191414 |    26338        0    nan |  0.000 % |
81.36/81.53	c ===============================================================================
81.36/81.53	c core #533
81.36/81.53	c Core size: 15	Core Weight: 1	Total Weight: -467
81.36/81.53	c Elapsed CPU time: 78.671 s	Remaining CPU time: 1721.33 s
81.46/81.68	c ============================[ Search Statistics ]==============================
81.46/81.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.46/81.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.46/81.68	c ===============================================================================
81.46/81.68	c |         0 |    2218    79017   191426 |    26339        0    nan |  0.000 % |
81.46/81.69	c ===============================================================================
81.46/81.70	c core #534
81.46/81.70	c Core size: 16	Core Weight: 1	Total Weight: -466
81.46/81.70	c Elapsed CPU time: 78.833 s	Remaining CPU time: 1721.17 s
81.66/81.85	c ============================[ Search Statistics ]==============================
81.66/81.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.66/81.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.66/81.85	c ===============================================================================
81.66/81.85	c |         0 |    2224    79018   191438 |    26339        0    nan |  0.000 % |
81.66/81.86	c ===============================================================================
81.66/81.86	c core #535
81.66/81.86	c Core size: 15	Core Weight: 1	Total Weight: -465
81.66/81.86	c Elapsed CPU time: 78.992 s	Remaining CPU time: 1721.01 s
81.87/82.02	c ============================[ Search Statistics ]==============================
81.87/82.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.87/82.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.87/82.02	c ===============================================================================
81.87/82.02	c |         0 |    2230    79019   191450 |    26339        0    nan |  0.000 % |
81.87/82.03	c ===============================================================================
81.87/82.03	c core #536
81.87/82.03	c Core size: 21	Core Weight: 1	Total Weight: -464
81.87/82.03	c Elapsed CPU time: 79.153 s	Remaining CPU time: 1720.85 s
81.96/82.18	c ============================[ Search Statistics ]==============================
81.96/82.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.96/82.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.96/82.18	c ===============================================================================
81.96/82.18	c |         0 |    2238    79020   191466 |    26340        0    nan |  0.000 % |
81.96/82.19	c ===============================================================================
81.96/82.19	c core #537
81.96/82.19	c Core size: 16	Core Weight: 1	Total Weight: -463
81.96/82.19	c Elapsed CPU time: 79.3109 s	Remaining CPU time: 1720.69 s
82.17/82.35	c ============================[ Search Statistics ]==============================
82.17/82.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.17/82.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.17/82.35	c ===============================================================================
82.17/82.35	c |         0 |    2244    79021   191478 |    26340        0    nan |  0.000 % |
82.17/82.36	c ===============================================================================
82.17/82.36	c core #538
82.17/82.36	c Core size: 17	Core Weight: 1	Total Weight: -462
82.17/82.36	c Elapsed CPU time: 79.4719 s	Remaining CPU time: 1720.53 s
82.36/82.52	c ============================[ Search Statistics ]==============================
82.36/82.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.36/82.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.36/82.52	c ===============================================================================
82.36/82.52	c |         0 |    2250    79022   191490 |    26340        0    nan |  0.000 % |
82.36/82.53	c ===============================================================================
82.36/82.53	c core #539
82.36/82.53	c Core size: 15	Core Weight: 1	Total Weight: -461
82.36/82.53	c Elapsed CPU time: 79.6329 s	Remaining CPU time: 1720.37 s
82.46/82.68	c ============================[ Search Statistics ]==============================
82.46/82.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.46/82.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.46/82.68	c ===============================================================================
82.46/82.68	c |         0 |    2256    79023   191502 |    26341        0    nan |  0.000 % |
82.46/82.69	c ===============================================================================
82.46/82.70	c core #540
82.46/82.70	c Core size: 15	Core Weight: 1	Total Weight: -460
82.56/82.70	c Elapsed CPU time: 79.7919 s	Remaining CPU time: 1720.21 s
82.65/82.85	c ============================[ Search Statistics ]==============================
82.65/82.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.65/82.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.65/82.85	c ===============================================================================
82.65/82.85	c |         0 |    2262    79024   191514 |    26341        0    nan |  0.000 % |
82.65/82.86	c ===============================================================================
82.65/82.86	c core #541
82.65/82.86	c Core size: 16	Core Weight: 1	Total Weight: -459
82.65/82.86	c Elapsed CPU time: 79.9518 s	Remaining CPU time: 1720.05 s
82.86/83.02	c ============================[ Search Statistics ]==============================
82.86/83.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.86/83.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.86/83.02	c ===============================================================================
82.86/83.02	c |         0 |    2268    79025   191526 |    26341        0    nan |  0.000 % |
82.86/83.03	c ===============================================================================
82.86/83.03	c core #542
82.86/83.03	c Core size: 15	Core Weight: 1	Total Weight: -458
82.86/83.03	c Elapsed CPU time: 80.1118 s	Remaining CPU time: 1719.89 s
82.95/83.18	c ============================[ Search Statistics ]==============================
82.95/83.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.95/83.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.95/83.18	c ===============================================================================
82.95/83.18	c |         0 |    2274    79026   191538 |    26342        0    nan |  0.000 % |
83.05/83.20	c ===============================================================================
83.05/83.20	c core #543
83.05/83.20	c Core size: 16	Core Weight: 1	Total Weight: -457
83.05/83.20	c Elapsed CPU time: 80.2768 s	Remaining CPU time: 1719.72 s
83.16/83.35	c ============================[ Search Statistics ]==============================
83.16/83.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.16/83.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.16/83.35	c ===============================================================================
83.16/83.35	c |         0 |    2280    79027   191550 |    26342        0    nan |  0.000 % |
83.16/83.36	c ===============================================================================
83.16/83.36	c core #544
83.16/83.36	c Core size: 21	Core Weight: 1	Total Weight: -456
83.16/83.36	c Elapsed CPU time: 80.4338 s	Remaining CPU time: 1719.57 s
83.36/83.51	c ============================[ Search Statistics ]==============================
83.36/83.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.36/83.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.36/83.51	c ===============================================================================
83.36/83.51	c |         0 |    2288    79028   191566 |    26342        0    nan |  0.000 % |
83.36/83.53	c ===============================================================================
83.36/83.53	c core #545
83.36/83.53	c Core size: 16	Core Weight: 1	Total Weight: -455
83.36/83.53	c Elapsed CPU time: 80.5967 s	Remaining CPU time: 1719.4 s
83.46/83.68	c ============================[ Search Statistics ]==============================
83.46/83.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.46/83.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.46/83.68	c ===============================================================================
83.46/83.68	c |         0 |    2294    79029   191578 |    26343        0    nan |  0.000 % |
83.46/83.69	c ===============================================================================
83.46/83.69	c core #546
83.46/83.69	c Core size: 21	Core Weight: 1	Total Weight: -454
83.46/83.69	c Elapsed CPU time: 80.7597 s	Remaining CPU time: 1719.24 s
83.66/83.85	c ============================[ Search Statistics ]==============================
83.66/83.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.66/83.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.66/83.85	c ===============================================================================
83.66/83.85	c |         0 |    2302    79030   191594 |    26343        0    nan |  0.000 % |
83.66/83.86	c ===============================================================================
83.66/83.86	c core #547
83.66/83.86	c Core size: 17	Core Weight: 1	Total Weight: -453
83.66/83.86	c Elapsed CPU time: 80.9197 s	Remaining CPU time: 1719.08 s
83.85/84.01	c ============================[ Search Statistics ]==============================
83.85/84.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.85/84.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.85/84.01	c ===============================================================================
83.85/84.01	c |         0 |    2308    79031   191606 |    26343        0    nan |  0.000 % |
83.85/84.02	c ===============================================================================
83.85/84.02	c core #548
83.85/84.02	c Core size: 16	Core Weight: 1	Total Weight: -452
83.85/84.02	c Elapsed CPU time: 81.0797 s	Remaining CPU time: 1718.92 s
83.96/84.18	c ============================[ Search Statistics ]==============================
83.96/84.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.96/84.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.96/84.18	c ===============================================================================
83.96/84.18	c |         0 |    2314    79032   191618 |    26344        0    nan |  0.000 % |
83.96/84.19	c ===============================================================================
83.96/84.19	c core #549
83.96/84.19	c Core size: 21	Core Weight: 1	Total Weight: -451
83.96/84.19	c Elapsed CPU time: 81.2386 s	Remaining CPU time: 1718.76 s
84.15/84.34	c ============================[ Search Statistics ]==============================
84.15/84.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.15/84.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
84.15/84.34	c ===============================================================================
84.15/84.34	c |         0 |    2322    79033   191634 |    26344        0    nan |  0.000 % |
84.15/84.36	c ===============================================================================
84.15/84.36	c core #550
84.15/84.36	c Core size: 27	Core Weight: 1	Total Weight: -450
84.15/84.36	c Elapsed CPU time: 81.3966 s	Remaining CPU time: 1718.6 s
84.35/84.52	c ============================[ Search Statistics ]==============================
84.35/84.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.35/84.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
84.35/84.52	c ===============================================================================
84.35/84.52	c |         0 |    2332    79034   191654 |    26344        0    nan |  0.000 % |
84.35/84.53	c ===============================================================================
84.35/84.53	c core #551
84.35/84.53	c Core size: 27	Core Weight: 1	Total Weight: -449
84.35/84.53	c Elapsed CPU time: 81.5666 s	Remaining CPU time: 1718.43 s
84.46/84.69	c ============================[ Search Statistics ]==============================
84.46/84.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.46/84.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
84.46/84.69	c ===============================================================================
84.46/84.69	c |         0 |    2342    79035   191674 |    26345        0    nan |  0.000 % |
84.46/84.70	c ===============================================================================
84.56/84.70	c core #552
84.56/84.70	c Core size: 17	Core Weight: 1	Total Weight: -448
84.56/84.70	c Elapsed CPU time: 81.7316 s	Remaining CPU time: 1718.27 s
84.65/84.85	c ============================[ Search Statistics ]==============================
84.65/84.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.65/84.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
84.65/84.86	c ===============================================================================
84.65/84.86	c |         0 |    2348    79036   191686 |    26345        0    nan |  0.000 % |
84.65/84.87	c ===============================================================================
84.65/84.87	c core #553
84.65/84.87	c Core size: 21	Core Weight: 1	Total Weight: -447
84.65/84.87	c Elapsed CPU time: 81.8915 s	Remaining CPU time: 1718.11 s
84.85/85.02	c ============================[ Search Statistics ]==============================
84.85/85.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.85/85.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
84.85/85.02	c ===============================================================================
84.85/85.02	c |         0 |    2356    79037   191702 |    26345        0    nan |  0.000 % |
84.85/85.03	c ===============================================================================
84.85/85.03	c core #554
84.85/85.03	c Core size: 16	Core Weight: 1	Total Weight: -446
84.85/85.03	c Elapsed CPU time: 82.0515 s	Remaining CPU time: 1717.95 s
84.95/85.19	c ============================[ Search Statistics ]==============================
84.95/85.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
84.95/85.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
84.95/85.19	c ===============================================================================
84.95/85.19	c |         0 |    2362    79038   191714 |    26346        0    nan |  0.000 % |
85.04/85.20	c ===============================================================================
85.04/85.20	c core #555
85.04/85.20	c Core size: 43	Core Weight: 1	Total Weight: -445
85.04/85.20	c Elapsed CPU time: 82.2105 s	Remaining CPU time: 1717.79 s
85.15/85.35	c ============================[ Search Statistics ]==============================
85.15/85.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.15/85.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.15/85.35	c ===============================================================================
85.15/85.35	c |         0 |    2378    79039   191746 |    26346        0    nan |  0.000 % |
85.15/85.36	c ===============================================================================
85.15/85.36	c core #556
85.15/85.36	c Core size: 21	Core Weight: 1	Total Weight: -444
85.15/85.36	c Elapsed CPU time: 82.3715 s	Remaining CPU time: 1717.63 s
85.34/85.52	c ============================[ Search Statistics ]==============================
85.34/85.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.34/85.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.34/85.52	c ===============================================================================
85.34/85.52	c |         0 |    2386    79040   191762 |    26346        0    nan |  0.000 % |
85.34/85.53	c ===============================================================================
85.34/85.53	c core #557
85.34/85.53	c Core size: 27	Core Weight: 1	Total Weight: -443
85.34/85.53	c Elapsed CPU time: 82.5305 s	Remaining CPU time: 1717.47 s
85.45/85.68	c ============================[ Search Statistics ]==============================
85.45/85.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.45/85.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.45/85.68	c ===============================================================================
85.45/85.68	c |         0 |    2396    79041   191782 |    26347        0    nan |  0.000 % |
85.45/85.70	c ===============================================================================
85.45/85.70	c core #558
85.45/85.70	c Core size: 17	Core Weight: 1	Total Weight: -442
85.45/85.70	c Elapsed CPU time: 82.6944 s	Remaining CPU time: 1717.31 s
85.65/85.85	c ============================[ Search Statistics ]==============================
85.65/85.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.65/85.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.65/85.85	c ===============================================================================
85.65/85.85	c |         0 |    2402    79042   191794 |    26347        0    nan |  0.000 % |
85.65/85.86	c ===============================================================================
85.65/85.86	c core #559
85.65/85.86	c Core size: 16	Core Weight: 1	Total Weight: -441
85.65/85.86	c Elapsed CPU time: 82.8544 s	Remaining CPU time: 1717.15 s
85.84/86.01	c ============================[ Search Statistics ]==============================
85.84/86.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.84/86.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.84/86.01	c ===============================================================================
85.84/86.01	c |         0 |    2408    79043   191806 |    26347        0    nan |  0.000 % |
85.84/86.03	c ===============================================================================
85.84/86.03	c core #560
85.84/86.03	c Core size: 27	Core Weight: 1	Total Weight: -440
85.84/86.03	c Elapsed CPU time: 83.0134 s	Remaining CPU time: 1716.99 s
85.95/86.18	c ============================[ Search Statistics ]==============================
85.95/86.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.95/86.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.95/86.18	c ===============================================================================
85.95/86.18	c |         0 |    2418    79044   191826 |    26348        0    nan |  0.000 % |
85.95/86.19	c ===============================================================================
85.95/86.19	c core #561
85.95/86.19	c Core size: 22	Core Weight: 1	Total Weight: -439
85.95/86.19	c Elapsed CPU time: 83.1744 s	Remaining CPU time: 1716.83 s
86.14/86.34	c ============================[ Search Statistics ]==============================
86.14/86.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.14/86.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.14/86.34	c ===============================================================================
86.14/86.34	c |         0 |    2426    79045   191842 |    26348        0    nan |  0.000 % |
86.14/86.35	c ===============================================================================
86.14/86.35	c core #562
86.14/86.35	c Core size: 21	Core Weight: 1	Total Weight: -438
86.14/86.35	c Elapsed CPU time: 83.3323 s	Remaining CPU time: 1716.67 s
86.35/86.51	c ============================[ Search Statistics ]==============================
86.35/86.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.35/86.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.35/86.51	c ===============================================================================
86.35/86.51	c |         0 |    2434    79046   191858 |    26348        0    nan |  0.000 % |
86.35/86.52	c ===============================================================================
86.35/86.52	c core #563
86.35/86.52	c Core size: 16	Core Weight: 1	Total Weight: -437
86.35/86.52	c Elapsed CPU time: 83.4923 s	Remaining CPU time: 1716.51 s
86.44/86.67	c ============================[ Search Statistics ]==============================
86.44/86.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.44/86.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.44/86.67	c ===============================================================================
86.44/86.67	c |         0 |    2440    79047   191870 |    26349        0    nan |  0.000 % |
86.44/86.68	c ===============================================================================
86.44/86.69	c core #564
86.44/86.69	c Core size: 17	Core Weight: 1	Total Weight: -436
86.44/86.69	c Elapsed CPU time: 83.6493 s	Remaining CPU time: 1716.35 s
86.65/86.84	c ============================[ Search Statistics ]==============================
86.65/86.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.65/86.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.65/86.84	c ===============================================================================
86.65/86.84	c |         0 |    2446    79048   191882 |    26349        0    nan |  0.000 % |
86.65/86.85	c ===============================================================================
86.65/86.85	c core #565
86.65/86.85	c Core size: 27	Core Weight: 1	Total Weight: -435
86.65/86.85	c Elapsed CPU time: 83.8083 s	Remaining CPU time: 1716.19 s
86.84/87.00	c ============================[ Search Statistics ]==============================
86.84/87.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.84/87.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.84/87.00	c ===============================================================================
86.84/87.00	c |         0 |    2456    79049   191902 |    26349        0    nan |  0.000 % |
86.84/87.01	c ===============================================================================
86.84/87.02	c core #566
86.84/87.02	c Core size: 21	Core Weight: 1	Total Weight: -434
86.84/87.02	c Elapsed CPU time: 83.9672 s	Remaining CPU time: 1716.03 s
86.94/87.17	c ============================[ Search Statistics ]==============================
86.94/87.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
86.94/87.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
86.94/87.17	c ===============================================================================
86.94/87.17	c |         0 |    2464    79050   191918 |    26350        0    nan |  0.000 % |
86.94/87.18	c ===============================================================================
86.94/87.18	c core #567
86.94/87.18	c Core size: 21	Core Weight: 1	Total Weight: -433
86.94/87.18	c Elapsed CPU time: 84.1232 s	Remaining CPU time: 1715.88 s
87.14/87.34	c ============================[ Search Statistics ]==============================
87.14/87.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.14/87.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.14/87.34	c ===============================================================================
87.14/87.34	c |         0 |    2472    79051   191934 |    26350        0    nan |  0.000 % |
87.14/87.35	c ===============================================================================
87.14/87.35	c core #568
87.14/87.35	c Core size: 15	Core Weight: 1	Total Weight: -432
87.14/87.35	c Elapsed CPU time: 84.2872 s	Remaining CPU time: 1715.71 s
87.34/87.50	c ============================[ Search Statistics ]==============================
87.34/87.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.34/87.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.34/87.50	c ===============================================================================
87.34/87.50	c |         0 |    2478    79052   191946 |    26350        0    nan |  0.000 % |
87.34/87.51	c ===============================================================================
87.34/87.51	c core #569
87.34/87.51	c Core size: 21	Core Weight: 1	Total Weight: -431
87.34/87.51	c Elapsed CPU time: 84.4462 s	Remaining CPU time: 1715.55 s
87.44/87.67	c ============================[ Search Statistics ]==============================
87.44/87.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.44/87.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.44/87.67	c ===============================================================================
87.44/87.67	c |         0 |    2486    79053   191962 |    26351        0    nan |  0.000 % |
87.44/87.68	c ===============================================================================
87.44/87.68	c core #570
87.44/87.68	c Core size: 15	Core Weight: 1	Total Weight: -430
87.44/87.68	c Elapsed CPU time: 84.6071 s	Remaining CPU time: 1715.39 s
87.64/87.83	c ============================[ Search Statistics ]==============================
87.64/87.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.64/87.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.64/87.83	c ===============================================================================
87.64/87.83	c |         0 |    2492    79054   191974 |    26351        0    nan |  0.000 % |
87.64/87.85	c ===============================================================================
87.64/87.85	c core #571
87.64/87.85	c Core size: 16	Core Weight: 1	Total Weight: -429
87.64/87.85	c Elapsed CPU time: 84.7651 s	Remaining CPU time: 1715.23 s
87.84/88.00	c ============================[ Search Statistics ]==============================
87.84/88.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.84/88.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.84/88.00	c ===============================================================================
87.84/88.00	c |         0 |    2498    79055   191986 |    26351        0    nan |  0.000 % |
87.84/88.01	c ===============================================================================
87.84/88.02	c core #572
87.84/88.02	c Core size: 21	Core Weight: 1	Total Weight: -428
87.84/88.02	c Elapsed CPU time: 84.9291 s	Remaining CPU time: 1715.07 s
87.94/88.17	c ============================[ Search Statistics ]==============================
87.94/88.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
87.94/88.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
87.94/88.17	c ===============================================================================
87.94/88.17	c |         0 |    2506    79056   192002 |    26352        0    nan |  0.000 % |
87.94/88.18	c ===============================================================================
87.94/88.18	c core #573
87.94/88.18	c Core size: 15	Core Weight: 1	Total Weight: -427
87.94/88.18	c Elapsed CPU time: 85.0891 s	Remaining CPU time: 1714.91 s
88.13/88.34	c ============================[ Search Statistics ]==============================
88.13/88.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.13/88.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.13/88.34	c ===============================================================================
88.13/88.34	c |         0 |    2512    79057   192014 |    26352        0    nan |  0.000 % |
88.13/88.35	c ===============================================================================
88.13/88.35	c core #574
88.13/88.35	c Core size: 22	Core Weight: 1	Total Weight: -426
88.13/88.35	c Elapsed CPU time: 85.253 s	Remaining CPU time: 1714.75 s
88.34/88.51	c ============================[ Search Statistics ]==============================
88.34/88.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.34/88.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.34/88.51	c ===============================================================================
88.34/88.51	c |         0 |    2520    79058   192030 |    26352        0    nan |  0.000 % |
88.34/88.52	c ===============================================================================
88.34/88.52	c core #575
88.34/88.52	c Core size: 15	Core Weight: 1	Total Weight: -425
88.34/88.52	c Elapsed CPU time: 85.412 s	Remaining CPU time: 1714.59 s
88.43/88.67	c ============================[ Search Statistics ]==============================
88.43/88.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.43/88.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.43/88.67	c ===============================================================================
88.43/88.67	c |         0 |    2526    79059   192042 |    26353        0    nan |  0.000 % |
88.43/88.68	c ===============================================================================
88.43/88.69	c core #576
88.43/88.69	c Core size: 15	Core Weight: 1	Total Weight: -424
88.43/88.69	c Elapsed CPU time: 85.573 s	Remaining CPU time: 1714.43 s
88.63/88.84	c ============================[ Search Statistics ]==============================
88.63/88.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.63/88.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.63/88.84	c ===============================================================================
88.63/88.84	c |         0 |    2532    79060   192054 |    26353        0    nan |  0.000 % |
88.63/88.85	c ===============================================================================
88.63/88.85	c core #577
88.63/88.85	c Core size: 21	Core Weight: 1	Total Weight: -423
88.63/88.85	c Elapsed CPU time: 85.733 s	Remaining CPU time: 1714.27 s
88.84/89.00	c ============================[ Search Statistics ]==============================
88.84/89.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.84/89.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.84/89.00	c ===============================================================================
88.84/89.00	c |         0 |    2540    79061   192070 |    26353        0    nan |  0.000 % |
88.84/89.02	c ===============================================================================
88.84/89.02	c core #578
88.84/89.02	c Core size: 15	Core Weight: 1	Total Weight: -422
88.84/89.02	c Elapsed CPU time: 85.8909 s	Remaining CPU time: 1714.11 s
88.94/89.18	c ============================[ Search Statistics ]==============================
88.94/89.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.94/89.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.94/89.18	c ===============================================================================
88.94/89.18	c |         0 |    2546    79062   192082 |    26354        0    nan |  0.000 % |
88.94/89.19	c ===============================================================================
88.94/89.19	c core #579
88.94/89.19	c Core size: 15	Core Weight: 1	Total Weight: -421
88.94/89.19	c Elapsed CPU time: 86.0599 s	Remaining CPU time: 1713.94 s
89.14/89.35	c ============================[ Search Statistics ]==============================
89.14/89.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.14/89.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.14/89.35	c ===============================================================================
89.14/89.35	c |         0 |    2552    79063   192094 |    26354        0    nan |  0.000 % |
89.14/89.36	c ===============================================================================
89.14/89.36	c core #580
89.14/89.36	c Core size: 16	Core Weight: 1	Total Weight: -420
89.14/89.36	c Elapsed CPU time: 86.2279 s	Remaining CPU time: 1713.77 s
89.33/89.53	c ============================[ Search Statistics ]==============================
89.33/89.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.33/89.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.33/89.53	c ===============================================================================
89.33/89.53	c |         0 |    2558    79064   192106 |    26354        0    nan |  0.000 % |
89.33/89.54	c ===============================================================================
89.33/89.54	c core #581
89.33/89.54	c Core size: 15	Core Weight: 1	Total Weight: -419
89.33/89.54	c Elapsed CPU time: 86.3959 s	Remaining CPU time: 1713.6 s
89.53/89.70	c ============================[ Search Statistics ]==============================
89.53/89.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.53/89.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.53/89.70	c ===============================================================================
89.53/89.70	c |         0 |    2564    79065   192118 |    26355        0    nan |  0.000 % |
89.53/89.71	c ===============================================================================
89.53/89.71	c core #582
89.53/89.71	c Core size: 21	Core Weight: 1	Total Weight: -418
89.53/89.71	c Elapsed CPU time: 86.5618 s	Remaining CPU time: 1713.44 s
89.64/89.88	c ============================[ Search Statistics ]==============================
89.64/89.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.64/89.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.64/89.88	c ===============================================================================
89.64/89.88	c |         0 |    2572    79066   192134 |    26355        0    nan |  0.000 % |
89.64/89.89	c ===============================================================================
89.64/89.89	c core #583
89.64/89.89	c Core size: 21	Core Weight: 1	Total Weight: -417
89.64/89.89	c Elapsed CPU time: 86.7288 s	Remaining CPU time: 1713.27 s
89.84/90.05	c ============================[ Search Statistics ]==============================
89.84/90.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.84/90.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.84/90.05	c ===============================================================================
89.84/90.05	c |         0 |    2580    79067   192150 |    26355        0    nan |  0.000 % |
89.84/90.06	c ===============================================================================
89.84/90.06	c core #584
89.84/90.06	c Core size: 17	Core Weight: 1	Total Weight: -416
89.84/90.06	c Elapsed CPU time: 86.8978 s	Remaining CPU time: 1713.1 s
90.03/90.23	c ============================[ Search Statistics ]==============================
90.03/90.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.03/90.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.03/90.23	c ===============================================================================
90.03/90.23	c |         0 |    2586    79068   192162 |    26356        0    nan |  0.000 % |
90.03/90.24	c ===============================================================================
90.03/90.24	c core #585
90.03/90.24	c Core size: 27	Core Weight: 1	Total Weight: -415
90.03/90.24	c Elapsed CPU time: 87.0658 s	Remaining CPU time: 1712.93 s
90.23/90.40	c ============================[ Search Statistics ]==============================
90.23/90.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.23/90.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.23/90.40	c ===============================================================================
90.23/90.40	c |         0 |    2596    79069   192182 |    26356        0    nan |  0.000 % |
90.23/90.41	c ===============================================================================
90.23/90.41	c core #586
90.23/90.41	c Core size: 15	Core Weight: 1	Total Weight: -414
90.23/90.41	c Elapsed CPU time: 87.2317 s	Remaining CPU time: 1712.77 s
90.33/90.57	c ============================[ Search Statistics ]==============================
90.33/90.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.33/90.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.33/90.57	c ===============================================================================
90.33/90.57	c |         0 |    2602    79070   192194 |    26356        0    nan |  0.000 % |
90.33/90.59	c ===============================================================================
90.33/90.59	c core #587
90.33/90.59	c Core size: 20	Core Weight: 1	Total Weight: -413
90.33/90.59	c Elapsed CPU time: 87.3997 s	Remaining CPU time: 1712.6 s
90.53/90.75	c ============================[ Search Statistics ]==============================
90.53/90.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.53/90.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.53/90.75	c ===============================================================================
90.53/90.75	c |         0 |    2610    79071   192210 |    26357        0    nan |  0.000 % |
90.53/90.76	c ===============================================================================
90.53/90.76	c core #588
90.53/90.76	c Core size: 17	Core Weight: 1	Total Weight: -412
90.53/90.76	c Elapsed CPU time: 87.5697 s	Remaining CPU time: 1712.43 s
90.73/90.93	c ============================[ Search Statistics ]==============================
90.73/90.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.73/90.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.73/90.93	c ===============================================================================
90.73/90.93	c |         0 |    2616    79072   192222 |    26357        0    nan |  0.000 % |
90.73/90.94	c ===============================================================================
90.73/90.94	c core #589
90.73/90.94	c Core size: 27	Core Weight: 1	Total Weight: -411
90.73/90.94	c Elapsed CPU time: 87.7417 s	Remaining CPU time: 1712.26 s
90.93/91.10	c ============================[ Search Statistics ]==============================
90.93/91.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
90.93/91.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
90.93/91.10	c ===============================================================================
90.93/91.10	c |         0 |    2626    79073   192242 |    26357        0    nan |  0.000 % |
90.93/91.11	c ===============================================================================
90.93/91.11	c core #590
90.93/91.11	c Core size: 15	Core Weight: 1	Total Weight: -410
90.93/91.11	c Elapsed CPU time: 87.9136 s	Remaining CPU time: 1712.09 s
91.03/91.28	c ============================[ Search Statistics ]==============================
91.03/91.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.03/91.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.03/91.28	c ===============================================================================
91.03/91.28	c |         0 |    2632    79074   192254 |    26358        0    nan |  0.000 % |
91.03/91.29	c ===============================================================================
91.03/91.29	c core #591
91.03/91.29	c Core size: 22	Core Weight: 1	Total Weight: -409
91.03/91.29	c Elapsed CPU time: 88.0786 s	Remaining CPU time: 1711.92 s
91.23/91.44	c ============================[ Search Statistics ]==============================
91.23/91.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.23/91.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.23/91.44	c ===============================================================================
91.23/91.44	c |         0 |    2640    79075   192270 |    26358        0    nan |  0.000 % |
91.23/91.45	c ===============================================================================
91.23/91.45	c core #592
91.23/91.45	c Core size: 27	Core Weight: 1	Total Weight: -408
91.23/91.45	c Elapsed CPU time: 88.2396 s	Remaining CPU time: 1711.76 s
91.42/91.61	c ============================[ Search Statistics ]==============================
91.42/91.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.42/91.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.42/91.61	c ===============================================================================
91.42/91.61	c |         0 |    2650    79076   192290 |    26358        0    nan |  0.000 % |
91.42/91.62	c ===============================================================================
91.42/91.62	c core #593
91.42/91.62	c Core size: 15	Core Weight: 1	Total Weight: -407
91.42/91.62	c Elapsed CPU time: 88.3976 s	Remaining CPU time: 1711.6 s
91.53/91.77	c ============================[ Search Statistics ]==============================
91.53/91.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.53/91.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.53/91.77	c ===============================================================================
91.53/91.77	c |         0 |    2656    79077   192302 |    26359        0    nan |  0.000 % |
91.53/91.78	c ===============================================================================
91.53/91.78	c core #594
91.53/91.78	c Core size: 22	Core Weight: 1	Total Weight: -406
91.53/91.78	c Elapsed CPU time: 88.5585 s	Remaining CPU time: 1711.44 s
91.72/91.94	c ============================[ Search Statistics ]==============================
91.72/91.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.72/91.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.72/91.94	c ===============================================================================
91.72/91.94	c |         0 |    2664    79078   192318 |    26359        0    nan |  0.000 % |
91.72/91.95	c ===============================================================================
91.72/91.95	c core #595
91.72/91.95	c Core size: 21	Core Weight: 1	Total Weight: -405
91.72/91.95	c Elapsed CPU time: 88.7195 s	Remaining CPU time: 1711.28 s
91.93/92.10	c ============================[ Search Statistics ]==============================
91.93/92.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.93/92.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.93/92.10	c ===============================================================================
91.93/92.10	c |         0 |    2672    79079   192334 |    26359        0    nan |  0.000 % |
91.93/92.12	c ===============================================================================
91.93/92.12	c core #596
91.93/92.12	c Core size: 21	Core Weight: 1	Total Weight: -404
91.93/92.12	c Elapsed CPU time: 88.8805 s	Remaining CPU time: 1711.12 s
92.02/92.27	c ============================[ Search Statistics ]==============================
92.02/92.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.02/92.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.02/92.27	c ===============================================================================
92.02/92.27	c |         0 |    2680    79080   192350 |    26360        0    nan |  0.000 % |
92.02/92.28	c ===============================================================================
92.02/92.28	c core #597
92.02/92.28	c Core size: 22	Core Weight: 1	Total Weight: -403
92.02/92.28	c Elapsed CPU time: 89.0395 s	Remaining CPU time: 1710.96 s
92.23/92.44	c ============================[ Search Statistics ]==============================
92.23/92.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.23/92.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.23/92.44	c ===============================================================================
92.23/92.44	c |         0 |    2688    79081   192366 |    26360        0    nan |  0.000 % |
92.23/92.45	c ===============================================================================
92.23/92.45	c core #598
92.23/92.45	c Core size: 20	Core Weight: 1	Total Weight: -402
92.23/92.45	c Elapsed CPU time: 89.1974 s	Remaining CPU time: 1710.8 s
92.43/92.60	c ============================[ Search Statistics ]==============================
92.43/92.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.43/92.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.43/92.60	c ===============================================================================
92.43/92.60	c |         0 |    2696    79082   192382 |    26360        0    nan |  0.000 % |
92.43/92.61	c ===============================================================================
92.43/92.61	c core #599
92.43/92.61	c Core size: 22	Core Weight: 1	Total Weight: -401
92.43/92.61	c Elapsed CPU time: 89.3534 s	Remaining CPU time: 1710.65 s
92.52/92.76	c ============================[ Search Statistics ]==============================
92.52/92.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.52/92.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.52/92.76	c ===============================================================================
92.52/92.76	c |         0 |    2704    79083   192398 |    26361        0    nan |  0.000 % |
92.52/92.78	c ===============================================================================
92.52/92.78	c core #600
92.52/92.78	c Core size: 16	Core Weight: 1	Total Weight: -400
92.52/92.78	c Elapsed CPU time: 89.5134 s	Remaining CPU time: 1710.49 s
92.72/92.93	c ============================[ Search Statistics ]==============================
92.72/92.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.72/92.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.72/92.93	c ===============================================================================
92.72/92.93	c |         0 |    2710    79084   192410 |    26361        0    nan |  0.000 % |
92.72/92.94	c ===============================================================================
92.72/92.94	c core #601
92.72/92.94	c Core size: 25	Core Weight: 1	Total Weight: -399
92.72/92.94	c Elapsed CPU time: 89.6704 s	Remaining CPU time: 1710.33 s
92.82/93.10	c ============================[ Search Statistics ]==============================
92.82/93.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.82/93.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.82/93.10	c ===============================================================================
92.82/93.10	c |         0 |    2720    79085   192430 |    26361        0    nan |  0.000 % |
92.92/93.11	c ===============================================================================
92.92/93.11	c core #602
92.92/93.11	c Core size: 17	Core Weight: 1	Total Weight: -398
92.92/93.11	c Elapsed CPU time: 89.8323 s	Remaining CPU time: 1710.17 s
93.02/93.26	c ============================[ Search Statistics ]==============================
93.02/93.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.02/93.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.02/93.26	c ===============================================================================
93.02/93.26	c |         0 |    2726    79086   192442 |    26362        0    nan |  0.000 % |
93.02/93.27	c ===============================================================================
93.02/93.27	c core #603
93.02/93.27	c Core size: 22	Core Weight: 1	Total Weight: -397
93.02/93.27	c Elapsed CPU time: 89.9923 s	Remaining CPU time: 1710.01 s
93.22/93.43	c ============================[ Search Statistics ]==============================
93.22/93.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.22/93.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.22/93.43	c ===============================================================================
93.22/93.43	c |         0 |    2734    79087   192458 |    26362        0    nan |  0.000 % |
93.22/93.44	c ===============================================================================
93.22/93.44	c core #604
93.22/93.44	c Core size: 27	Core Weight: 1	Total Weight: -396
93.22/93.44	c Elapsed CPU time: 90.1513 s	Remaining CPU time: 1709.85 s
93.32/93.59	c ============================[ Search Statistics ]==============================
93.32/93.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.32/93.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.32/93.59	c ===============================================================================
93.32/93.59	c |         0 |    2744    79088   192478 |    26362        0    nan |  0.000 % |
93.42/93.61	c ===============================================================================
93.42/93.61	c core #605
93.42/93.61	c Core size: 27	Core Weight: 1	Total Weight: -395
93.42/93.61	c Elapsed CPU time: 90.3123 s	Remaining CPU time: 1709.69 s
93.52/93.76	c ============================[ Search Statistics ]==============================
93.52/93.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.52/93.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.52/93.76	c ===============================================================================
93.52/93.76	c |         0 |    2754    79089   192498 |    26363        0    nan |  0.000 % |
93.52/93.77	c ===============================================================================
93.52/93.77	c core #606
93.52/93.77	c Core size: 27	Core Weight: 1	Total Weight: -394
93.52/93.77	c Elapsed CPU time: 90.4732 s	Remaining CPU time: 1709.53 s
93.72/93.93	c ============================[ Search Statistics ]==============================
93.72/93.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.72/93.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.72/93.93	c ===============================================================================
93.72/93.93	c |         0 |    2764    79090   192518 |    26363        0    nan |  0.000 % |
93.72/93.94	c ===============================================================================
93.72/93.94	c core #607
93.72/93.94	c Core size: 22	Core Weight: 1	Total Weight: -393
93.72/93.94	c Elapsed CPU time: 90.6362 s	Remaining CPU time: 1709.36 s
93.82/94.09	c ============================[ Search Statistics ]==============================
93.82/94.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.82/94.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
93.82/94.09	c ===============================================================================
93.82/94.09	c |         0 |    2772    79091   192534 |    26363        0    nan |  0.000 % |
93.92/94.10	c ===============================================================================
93.92/94.10	c core #608
93.92/94.10	c Core size: 27	Core Weight: 1	Total Weight: -392
93.92/94.10	c Elapsed CPU time: 90.7982 s	Remaining CPU time: 1709.2 s
94.02/94.26	c ============================[ Search Statistics ]==============================
94.02/94.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.02/94.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.02/94.26	c ===============================================================================
94.02/94.26	c |         0 |    2782    79092   192554 |    26364        0    nan |  0.000 % |
94.02/94.27	c ===============================================================================
94.02/94.27	c core #609
94.02/94.27	c Core size: 26	Core Weight: 1	Total Weight: -391
94.02/94.27	c Elapsed CPU time: 90.9612 s	Remaining CPU time: 1709.04 s
94.22/94.42	c ============================[ Search Statistics ]==============================
94.22/94.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.22/94.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.22/94.42	c ===============================================================================
94.22/94.42	c |         0 |    2792    79093   192574 |    26364        0    nan |  0.000 % |
94.22/94.43	c ===============================================================================
94.22/94.43	c core #610
94.22/94.43	c Core size: 22	Core Weight: 1	Total Weight: -390
94.22/94.43	c Elapsed CPU time: 91.1201 s	Remaining CPU time: 1708.88 s
94.32/94.58	c ============================[ Search Statistics ]==============================
94.32/94.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.32/94.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.32/94.58	c ===============================================================================
94.32/94.58	c |         0 |    2800    79094   192590 |    26364        0    nan |  0.000 % |
94.32/94.60	c ===============================================================================
94.32/94.60	c core #611
94.32/94.60	c Core size: 27	Core Weight: 1	Total Weight: -389
94.32/94.60	c Elapsed CPU time: 91.2771 s	Remaining CPU time: 1708.72 s
94.52/94.75	c ============================[ Search Statistics ]==============================
94.52/94.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.52/94.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.52/94.75	c ===============================================================================
94.52/94.75	c |         0 |    2810    79095   192610 |    26365        0    nan |  0.000 % |
94.52/94.76	c ===============================================================================
94.52/94.76	c core #612
94.52/94.76	c Core size: 27	Core Weight: 1	Total Weight: -388
94.52/94.76	c Elapsed CPU time: 91.4361 s	Remaining CPU time: 1708.56 s
94.71/94.92	c ============================[ Search Statistics ]==============================
94.71/94.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.71/94.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.71/94.92	c ===============================================================================
94.71/94.92	c |         0 |    2820    79096   192630 |    26365        0    nan |  0.000 % |
94.71/94.93	c ===============================================================================
94.71/94.93	c core #613
94.71/94.93	c Core size: 27	Core Weight: 1	Total Weight: -387
94.71/94.93	c Elapsed CPU time: 91.6001 s	Remaining CPU time: 1708.4 s
94.82/95.09	c ============================[ Search Statistics ]==============================
94.82/95.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.82/95.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.82/95.09	c ===============================================================================
94.82/95.09	c |         0 |    2830    79097   192650 |    26365        0    nan |  0.000 % |
94.92/95.10	c ===============================================================================
94.92/95.10	c core #614
94.92/95.10	c Core size: 20	Core Weight: 1	Total Weight: -386
94.92/95.10	c Elapsed CPU time: 91.763 s	Remaining CPU time: 1708.24 s
95.01/95.25	c ============================[ Search Statistics ]==============================
95.01/95.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.01/95.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.01/95.25	c ===============================================================================
95.01/95.25	c |         0 |    2838    79098   192666 |    26366        0    nan |  0.000 % |
95.01/95.26	c ===============================================================================
95.01/95.26	c core #615
95.01/95.26	c Core size: 25	Core Weight: 1	Total Weight: -385
95.01/95.26	c Elapsed CPU time: 91.925 s	Remaining CPU time: 1708.07 s
95.21/95.42	c ============================[ Search Statistics ]==============================
95.21/95.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.21/95.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.21/95.42	c ===============================================================================
95.21/95.42	c |         0 |    2848    79099   192686 |    26366        0    nan |  0.000 % |
95.21/95.43	c ===============================================================================
95.21/95.43	c core #616
95.21/95.43	c Core size: 27	Core Weight: 1	Total Weight: -384
95.21/95.43	c Elapsed CPU time: 92.091 s	Remaining CPU time: 1707.91 s
95.32/95.59	c ============================[ Search Statistics ]==============================
95.32/95.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.32/95.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.32/95.59	c ===============================================================================
95.32/95.59	c |         0 |    2858    79100   192706 |    26366        0    nan |  0.000 % |
95.32/95.60	c ===============================================================================
95.32/95.60	c core #617
95.32/95.60	c Core size: 32	Core Weight: 1	Total Weight: -383
95.32/95.60	c Elapsed CPU time: 92.252 s	Remaining CPU time: 1707.75 s
95.52/95.76	c ============================[ Search Statistics ]==============================
95.52/95.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.52/95.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.52/95.76	c ===============================================================================
95.52/95.76	c |         0 |    2870    79101   192730 |    26367        0    nan |  0.000 % |
95.52/95.77	c ===============================================================================
95.52/95.77	c core #618
95.52/95.77	c Core size: 26	Core Weight: 1	Total Weight: -382
95.52/95.77	c Elapsed CPU time: 92.418 s	Remaining CPU time: 1707.58 s
95.71/95.93	c ============================[ Search Statistics ]==============================
95.71/95.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.71/95.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.71/95.93	c ===============================================================================
95.71/95.93	c |         0 |    2880    79102   192750 |    26367        0    nan |  0.000 % |
95.71/95.94	c ===============================================================================
95.71/95.94	c core #619
95.71/95.94	c Core size: 27	Core Weight: 1	Total Weight: -381
95.71/95.94	c Elapsed CPU time: 92.5799 s	Remaining CPU time: 1707.42 s
95.81/96.09	c ============================[ Search Statistics ]==============================
95.81/96.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.81/96.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.81/96.09	c ===============================================================================
95.81/96.09	c |         0 |    2890    79103   192770 |    26367        0    nan |  0.000 % |
95.91/96.11	c ===============================================================================
95.91/96.11	c core #620
95.91/96.11	c Core size: 37	Core Weight: 1	Total Weight: -380
95.91/96.11	c Elapsed CPU time: 92.7379 s	Remaining CPU time: 1707.26 s
96.01/96.26	c ============================[ Search Statistics ]==============================
96.01/96.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.01/96.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.01/96.26	c ===============================================================================
96.01/96.26	c |         0 |    2904    79104   192798 |    26368        0    nan |  0.000 % |
96.01/96.27	c ===============================================================================
96.01/96.27	c core #621
96.01/96.27	c Core size: 29	Core Weight: 1	Total Weight: -379
96.01/96.27	c Elapsed CPU time: 92.8989 s	Remaining CPU time: 1707.1 s
96.21/96.43	c ============================[ Search Statistics ]==============================
96.21/96.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.21/96.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.21/96.43	c ===============================================================================
96.21/96.43	c |         0 |    2915    79105   192820 |    26368        0    nan |  0.000 % |
96.21/96.44	c ===============================================================================
96.21/96.44	c core #622
96.21/96.44	c Core size: 22	Core Weight: 1	Total Weight: -378
96.21/96.44	c Elapsed CPU time: 93.0619 s	Remaining CPU time: 1706.94 s
96.40/96.60	c ============================[ Search Statistics ]==============================
96.40/96.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.40/96.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.40/96.60	c ===============================================================================
96.40/96.60	c |         0 |    2923    79106   192836 |    26368        0    nan |  0.000 % |
96.40/96.61	c ===============================================================================
96.40/96.61	c core #623
96.40/96.61	c Core size: 31	Core Weight: 1	Total Weight: -377
96.40/96.61	c Elapsed CPU time: 93.2238 s	Remaining CPU time: 1706.78 s
96.51/96.77	c ============================[ Search Statistics ]==============================
96.51/96.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.51/96.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.51/96.77	c ===============================================================================
96.51/96.77	c |         0 |    2935    79107   192860 |    26369        0    nan |  0.000 % |
96.51/96.78	c ===============================================================================
96.51/96.78	c core #624
96.51/96.78	c Core size: 35	Core Weight: 1	Total Weight: -376
96.51/96.78	c Elapsed CPU time: 93.3858 s	Remaining CPU time: 1706.61 s
96.71/96.94	c ============================[ Search Statistics ]==============================
96.71/96.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.71/96.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.71/96.94	c ===============================================================================
96.71/96.94	c |         0 |    2949    79108   192888 |    26369        0    nan |  0.000 % |
96.71/96.95	c ===============================================================================
96.71/96.95	c core #625
96.71/96.95	c Core size: 35	Core Weight: 1	Total Weight: -375
96.71/96.95	c Elapsed CPU time: 93.5488 s	Remaining CPU time: 1706.45 s
96.90/97.10	c ============================[ Search Statistics ]==============================
96.90/97.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.90/97.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.90/97.10	c ===============================================================================
96.90/97.10	c |         0 |    2963    79109   192916 |    26369        0    nan |  0.000 % |
96.90/97.12	c ===============================================================================
96.90/97.12	c core #626
96.90/97.12	c Core size: 37	Core Weight: 1	Total Weight: -374
96.90/97.12	c Elapsed CPU time: 93.7088 s	Remaining CPU time: 1706.29 s
97.01/97.27	c ============================[ Search Statistics ]==============================
97.01/97.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.01/97.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.01/97.27	c ===============================================================================
97.01/97.27	c |         0 |    2976    79110   192942 |    26370        0    nan |  0.000 % |
97.01/97.28	c ===============================================================================
97.01/97.28	c core #627
97.01/97.28	c Core size: 82	Core Weight: 1	Total Weight: -373
97.01/97.28	c Elapsed CPU time: 93.8737 s	Remaining CPU time: 1706.13 s
97.21/97.45	c ============================[ Search Statistics ]==============================
97.21/97.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.21/97.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.21/97.45	c ===============================================================================
97.21/97.45	c |         0 |    3006    79111   193002 |    26370        0    nan |  0.000 % |
97.21/97.47	c ===============================================================================
97.21/97.47	c core #628
97.21/97.47	c Core size: 178	Core Weight: 1	Total Weight: -372
97.21/97.47	c Elapsed CPU time: 94.0507 s	Remaining CPU time: 1705.95 s
97.40/97.63	c ============================[ Search Statistics ]==============================
97.40/97.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.40/97.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.40/97.63	c ===============================================================================
97.40/97.63	c |         0 |    3060    79112   193110 |    26370        0    nan |  0.000 % |
97.40/97.65	c |       101 |    3060    79112   193110 |    29007      101     23 | 92.500 % |
97.40/97.66	c |       253 |    3060    79112   193110 |    31908      253     28 | 92.500 % |
97.40/97.68	c ===============================================================================
97.40/97.68	c core #629
97.40/97.68	c Core size: 231	Core Weight: 1	Total Weight: -371
97.40/97.68	c Elapsed CPU time: 94.2607 s	Remaining CPU time: 1705.74 s
97.61/97.83	c ============================[ Search Statistics ]==============================
97.61/97.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.61/97.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.61/97.83	c ===============================================================================
97.61/97.83	c |         0 |    3124    79113   193238 |    26371        0    nan |  0.000 % |
97.61/97.85	c ===============================================================================
97.61/97.85	c core #630
97.61/97.85	c Core size: 136	Core Weight: 1	Total Weight: -370
97.61/97.85	c Elapsed CPU time: 94.4276 s	Remaining CPU time: 1705.57 s
97.80/98.01	c ============================[ Search Statistics ]==============================
97.80/98.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.80/98.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.80/98.01	c ===============================================================================
97.80/98.01	c |         0 |    3166    79114   193322 |    26371        0    nan |  0.000 % |
97.80/98.03	c |       100 |    3166    79114   193322 |    29008      100     68 | 92.261 % |
97.80/98.04	c |       250 |    3166    79114   193322 |    31909      250     62 | 92.261 % |
97.80/98.07	c |       481 |    3166    79114   193322 |    35100      481     70 | 92.261 % |
97.90/98.12	c |       823 |    3166    79114   193322 |    38610      823     84 | 92.261 % |
98.01/98.21	c |      1331 |    3166    79114   193322 |    42471     1331     85 | 92.261 % |
98.11/98.35	c |      2092 |    3166    79114   193322 |    46718     2092    100 | 92.261 % |
98.40/98.62	c |      3231 |    3165    79114   193322 |    51390     3227    113 | 92.263 % |
98.40/98.69	c ===============================================================================
98.50/98.72	c core #631
98.50/98.72	c Core size: 543	Core Weight: 1	Total Weight: -369
98.50/98.72	c Elapsed CPU time: 95.2855 s	Remaining CPU time: 1704.71 s
98.61/98.89	c ============================[ Search Statistics ]==============================
98.61/98.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
98.61/98.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
98.61/98.89	c ===============================================================================
98.61/98.89	c |         0 |    3282    79115   193554 |    26371        0    nan |  0.000 % |
98.71/98.92	c |       101 |    3282    79115   193554 |    29008      101     86 | 92.000 % |
98.71/98.94	c |       252 |    3282    79115   193554 |    31909      252     96 | 92.000 % |
98.71/98.96	c |       477 |    3282    79115   193554 |    35100      477     64 | 92.000 % |
98.71/98.96	c ===============================================================================
98.71/98.96	c core #632
98.71/98.96	c Core size: 165	Core Weight: 1	Total Weight: -368
98.71/98.96	c Elapsed CPU time: 95.5085 s	Remaining CPU time: 1704.49 s
98.90/99.11	c ============================[ Search Statistics ]==============================
98.90/99.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
98.90/99.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
98.90/99.11	c ===============================================================================
98.90/99.11	c |         0 |    3327    79116   193644 |    26372        0    nan |  0.000 % |
98.90/99.13	c |       101 |    3327    79116   193644 |    29009      101     18 | 91.899 % |
98.90/99.15	c |       253 |    3327    79116   193644 |    31910      253     30 | 91.899 % |
98.90/99.16	c |       480 |    3327    79116   193644 |    35101      480     34 | 91.899 % |
99.00/99.20	c |       817 |    3327    79116   193644 |    38611      817     36 | 91.899 % |
99.00/99.23	c ===============================================================================
99.00/99.24	c core #633
99.00/99.24	c Core size: 312	Core Weight: 1	Total Weight: -367
99.00/99.24	c Elapsed CPU time: 95.7784 s	Remaining CPU time: 1704.22 s
99.20/99.40	c ============================[ Search Statistics ]==============================
99.20/99.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.20/99.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
99.20/99.40	c ===============================================================================
99.20/99.40	c |         0 |    3399    79117   193788 |    26372        0    nan |  0.000 % |
99.20/99.42	c |       103 |    3399    79117   193788 |    29009      103     45 | 91.738 % |
99.20/99.44	c |       253 |    3399    79117   193788 |    31910      253     41 | 91.738 % |
99.20/99.45	c |       480 |    3399    79117   193788 |    35101      480     38 | 91.738 % |
99.20/99.48	c |       817 |    3399    79117   193788 |    38611      817     46 | 91.738 % |
99.30/99.53	c |      1324 |    3172    79117   193788 |    42472     1097     46 | 92.443 % |
99.30/99.57	c ===============================================================================
99.30/99.57	c core #634
99.30/99.57	c Core size: 285	Core Weight: 1	Total Weight: -366
99.30/99.57	c Elapsed CPU time: 96.1044 s	Remaining CPU time: 1703.9 s
99.50/99.73	c ============================[ Search Statistics ]==============================
99.50/99.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.50/99.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
99.50/99.73	c ===============================================================================
99.50/99.73	c |         0 |    3481    79118   193952 |    26372        0    nan |  0.000 % |
99.50/99.76	c |       102 |    3481    79118   193952 |    29009      102     83 | 91.556 % |
99.50/99.77	c ===============================================================================
99.50/99.77	c core #635
99.50/99.77	c Core size: 121	Core Weight: 1	Total Weight: -365
99.50/99.77	c Elapsed CPU time: 96.3004 s	Remaining CPU time: 1703.7 s
99.70/99.93	c ============================[ Search Statistics ]==============================
99.70/99.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.70/99.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
99.70/99.93	c ===============================================================================
99.70/99.93	c |         0 |    3517    79119   194024 |    26373        0    nan |  0.000 % |
99.70/99.96	c |       101 |    3517    79119   194024 |    29010      101     39 | 91.476 % |
99.70/99.97	c |       251 |    3517    79119   194024 |    31911      251     31 | 91.476 % |
99.70/99.98	c |       477 |    3517    79119   194024 |    35102      477     31 | 91.476 % |
99.80/100.00	c ===============================================================================
99.80/100.01	c core #636
99.80/100.01	c Core size: 299	Core Weight: 1	Total Weight: -364
99.80/100.01	c Elapsed CPU time: 96.5253 s	Remaining CPU time: 1703.47 s
99.90/100.17	c ============================[ Search Statistics ]==============================
99.90/100.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.90/100.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
99.90/100.17	c ===============================================================================
99.90/100.17	c |         0 |    3581    79120   194152 |    26373        0    nan |  0.000 % |
99.90/100.19	c |       100 |    3581    79120   194152 |    29010      100     13 | 91.334 % |
100.00/100.20	c |       251 |    3581    79120   194152 |    31911      251     13 | 91.334 % |
100.00/100.21	c ===============================================================================
100.00/100.21	c core #637
100.00/100.21	c Core size: 291	Core Weight: 1	Total Weight: -363
100.00/100.21	c Elapsed CPU time: 96.7253 s	Remaining CPU time: 1703.27 s
100.10/100.37	c ============================[ Search Statistics ]==============================
100.10/100.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
100.10/100.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
100.10/100.37	c ===============================================================================
100.10/100.37	c |         0 |    3649    79121   194288 |    26373        0    nan |  0.000 % |
100.20/100.40	c |       100 |    3649    79121   194288 |    29011      100     64 | 91.184 % |
100.20/100.41	c |       250 |    3620    79121   194288 |    31912      250     39 | 92.494 % |
100.20/100.41	c ===============================================================================
100.20/100.41	c core #638
100.20/100.41	c Core size: 193	Core Weight: 1	Total Weight: -362
100.20/100.41	c Elapsed CPU time: 96.9133 s	Remaining CPU time: 1703.09 s
100.30/100.57	c ============================[ Search Statistics ]==============================
100.30/100.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
100.30/100.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
100.30/100.57	c ===============================================================================
100.30/100.57	c |         0 |    3702    79122   194394 |    26374        0    nan |  0.000 % |
100.30/100.59	c |       100 |    3702    79122   194394 |    29011      100     22 | 91.067 % |
100.40/100.60	c |       253 |    3702    79122   194394 |    31912      253     35 | 91.067 % |
100.40/100.62	c |       479 |    3699    79122   194394 |    35103      479     37 | 91.075 % |
100.40/100.62	c ===============================================================================
100.40/100.62	c core #639
100.40/100.62	c Core size: 279	Core Weight: 1	Total Weight: -361
100.40/100.62	c Elapsed CPU time: 97.1162 s	Remaining CPU time: 1702.88 s
100.50/100.78	c ============================[ Search Statistics ]==============================
100.50/100.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
100.50/100.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
100.50/100.78	c ===============================================================================
100.50/100.78	c |         0 |    3761    79123   194512 |    26374        0    nan |  0.000 % |
100.60/100.80	c |       100 |    3761    79123   194512 |    29011      100     20 | 90.938 % |
100.60/100.81	c |       250 |    3761    79123   194512 |    31912      250     25 | 90.938 % |
100.60/100.83	c |       477 |    3761    79123   194512 |    35104      477     37 | 90.938 % |
100.60/100.87	c |       815 |    3761    79123   194512 |    38614      815     53 | 90.938 % |
100.70/100.93	c |      1321 |    3761    79123   194512 |    42476     1321     71 | 90.938 % |
100.80/101.02	c |      2081 |    3760    79123   194512 |    46723     2070     69 | 90.940 % |
100.80/101.06	c ===============================================================================
100.80/101.06	c core #640
100.80/101.06	c Core size: 380	Core Weight: 1	Total Weight: -360
100.80/101.06	c Elapsed CPU time: 97.5432 s	Remaining CPU time: 1702.46 s
101.00/101.22	c ============================[ Search Statistics ]==============================
101.00/101.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.00/101.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.00/101.22	c ===============================================================================
101.00/101.22	c |         0 |    3845    79124   194680 |    26374        0    nan |  0.000 % |
101.00/101.25	c |       100 |    3845    79124   194680 |    29012      100     25 | 90.754 % |
101.00/101.26	c |       252 |    3845    79124   194680 |    31913      252     25 | 90.754 % |
101.00/101.27	c |       477 |    3845    79124   194680 |    35104      477     29 | 90.754 % |
101.09/101.30	c ===============================================================================
101.09/101.31	c core #641
101.09/101.31	c Core size: 382	Core Weight: 1	Total Weight: -359
101.09/101.31	c Elapsed CPU time: 97.7761 s	Remaining CPU time: 1702.22 s
101.20/101.47	c ============================[ Search Statistics ]==============================
101.20/101.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.20/101.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.20/101.47	c ===============================================================================
101.20/101.47	c |         0 |    3919    79125   194828 |    26375        0    nan |  0.000 % |
101.20/101.49	c |       101 |    3919    79125   194828 |    29012      101     19 | 90.593 % |
101.30/101.50	c |       251 |    3919    79125   194828 |    31913      251     14 | 90.593 % |
101.30/101.51	c |       476 |    3919    79125   194828 |    35105      476     20 | 90.593 % |
101.30/101.55	c ===============================================================================
101.30/101.55	c core #642
101.30/101.55	c Core size: 475	Core Weight: 1	Total Weight: -358
101.30/101.55	c Elapsed CPU time: 98.0131 s	Remaining CPU time: 1701.99 s
101.50/101.71	c ============================[ Search Statistics ]==============================
101.50/101.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.50/101.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.50/101.71	c ===============================================================================
101.50/101.71	c |         0 |    4020    79126   195030 |    26375        0    nan |  0.000 % |
101.50/101.74	c |       100 |    4020    79126   195030 |    29012      100     28 | 90.374 % |
101.50/101.75	c |       250 |    4020    79126   195030 |    31914      250     26 | 90.374 % |
101.50/101.77	c |       476 |    4020    79126   195030 |    35105      476     40 | 90.374 % |
101.60/101.80	c ===============================================================================
101.60/101.81	c core #643
101.60/101.81	c Core size: 452	Core Weight: 1	Total Weight: -357
101.60/101.81	c Elapsed CPU time: 98.2601 s	Remaining CPU time: 1701.74 s
101.69/101.96	c ============================[ Search Statistics ]==============================
101.69/101.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.69/101.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.69/101.97	c ===============================================================================
101.69/101.97	c |         0 |    4104    79127   195198 |    26375        0    nan |  0.000 % |
101.69/101.99	c |       102 |    4104    79127   195198 |    29013      102    143 | 90.193 % |
101.80/102.00	c |       254 |    4104    79127   195198 |    31914      254     71 | 90.193 % |
101.80/102.02	c |       479 |    4104    79127   195198 |    35106      479     52 | 90.193 % |
101.80/102.06	c |       818 |    4104    79127   195198 |    38616      818     56 | 90.193 % |
101.90/102.11	c |      1324 |    4104    79127   195198 |    42478     1324     64 | 90.193 % |
101.90/102.19	c |      2083 |    4104    79127   195198 |    46726     2083     67 | 90.193 % |
102.10/102.33	c |      3223 |    4104    79127   195198 |    51398     3223     76 | 90.193 % |
102.29/102.56	c |      4932 |    4103    79127   195198 |    56538     4928     78 | 90.195 % |
102.80/103.03	c |      7494 |    4094    79127   195198 |    62192     7490     96 | 90.217 % |
103.00/103.27	c ===============================================================================
103.10/103.31	c core #644
103.10/103.31	c Core size: 706	Core Weight: 1	Total Weight: -356
103.10/103.31	c Elapsed CPU time: 99.7418 s	Remaining CPU time: 1700.26 s
103.20/103.48	c ============================[ Search Statistics ]==============================
103.20/103.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
103.20/103.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
103.20/103.48	c ===============================================================================
103.20/103.48	c |         0 |    4240    79128   195470 |    26376        0    nan |  0.000 % |
103.29/103.51	c |       102 |    4240    79128   195470 |    29013      102     21 | 89.900 % |
103.29/103.52	c |       253 |    4240    79128   195470 |    31914      253     18 | 89.900 % |
103.29/103.53	c |       479 |    4240    79128   195470 |    35106      479     18 | 89.900 % |
103.29/103.55	c |       816 |    4240    79128   195470 |    38617      816     23 | 89.900 % |
103.29/103.59	c |      1322 |    4240    79128   195470 |    42478     1322     29 | 89.900 % |
103.39/103.65	c ===============================================================================
103.39/103.66	c core #645
103.39/103.66	c Core size: 472	Core Weight: 1	Total Weight: -355
103.39/103.66	c Elapsed CPU time: 100.08 s	Remaining CPU time: 1699.92 s
103.59/103.82	c ============================[ Search Statistics ]==============================
103.59/103.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
103.59/103.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
103.59/103.82	c ===============================================================================
103.59/103.82	c |         0 |    4328    79129   195646 |    26376        0    nan |  0.000 % |
103.59/103.84	c |       103 |    4328    79129   195646 |    29013      103     23 | 89.712 % |
103.59/103.85	c |       253 |    4328    79129   195646 |    31915      253     15 | 89.712 % |
103.59/103.87	c |       478 |    4328    79129   195646 |    35106      478     23 | 89.712 % |
103.59/103.89	c |       815 |    4328    79129   195646 |    38617      815     31 | 89.712 % |
103.69/103.94	c |      1321 |    4328    79129   195646 |    42479     1321     36 | 89.712 % |
103.79/104.03	c |      2082 |    4327    79129   195646 |    46727     2080     47 | 89.715 % |
103.90/104.18	c ===============================================================================
103.99/104.21	c core #646
103.99/104.21	c Core size: 730	Core Weight: 1	Total Weight: -354
103.99/104.21	c Elapsed CPU time: 100.624 s	Remaining CPU time: 1699.38 s
104.09/104.37	c ============================[ Search Statistics ]==============================
104.09/104.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.09/104.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
104.09/104.37	c ===============================================================================
104.09/104.37	c |         0 |    4444    79130   195878 |    26376        0    nan |  0.000 % |
104.09/104.40	c |       100 |    4444    79130   195878 |    29014      100     37 | 89.466 % |
104.19/104.41	c |       251 |    4444    79130   195878 |    31915      251     27 | 89.466 % |
104.19/104.42	c |       482 |    4444    79130   195878 |    35107      482     22 | 89.466 % |
104.19/104.45	c |       819 |    4444    79130   195878 |    38618      819     24 | 89.466 % |
104.19/104.49	c |      1325 |    4444    79130   195878 |    42479     1325     25 | 89.466 % |
104.29/104.58	c |      2087 |    4443    79130   195878 |    46727     2072     36 | 89.468 % |
104.49/104.74	c ===============================================================================
104.49/104.76	c core #647
104.49/104.76	c Core size: 611	Core Weight: 1	Total Weight: -353
104.49/104.76	c Elapsed CPU time: 101.161 s	Remaining CPU time: 1698.84 s
104.69/104.92	c ============================[ Search Statistics ]==============================
104.69/104.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.69/104.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
104.69/104.92	c ===============================================================================
104.69/104.92	c |         0 |    4546    79131   196082 |    26377        0    nan |  0.000 % |
104.69/104.95	c |       100 |    4546    79131   196082 |    29014      100     21 | 89.250 % |
104.69/104.96	c |       250 |    4546    79131   196082 |    31916      250     19 | 89.250 % |
104.69/104.97	c |       476 |    4546    79131   196082 |    35107      476     20 | 89.250 % |
104.69/105.00	c |       817 |    4546    79131   196082 |    38618      817     25 | 89.250 % |
104.79/105.04	c |      1325 |    4546    79131   196082 |    42480     1325     31 | 89.250 % |
104.89/105.14	c ===============================================================================
104.89/105.16	c core #648
104.89/105.16	c Core size: 668	Core Weight: 1	Total Weight: -352
104.89/105.16	c Elapsed CPU time: 101.543 s	Remaining CPU time: 1698.46 s
105.09/105.32	c ============================[ Search Statistics ]==============================
105.09/105.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.09/105.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
105.09/105.32	c ===============================================================================
105.09/105.32	c |         0 |    4654    79132   196298 |    26377        0    nan |  0.000 % |
105.09/105.35	c |       103 |    4654    79132   196298 |    29015      103     75 | 89.023 % |
105.09/105.36	c |       253 |    4654    79132   196298 |    31916      253     38 | 89.023 % |
105.09/105.37	c |       480 |    4654    79132   196298 |    35108      480     32 | 89.023 % |
105.19/105.40	c |       819 |    4654    79132   196298 |    38619      819     32 | 89.023 % |
105.19/105.45	c |      1325 |    4654    79132   196298 |    42480     1325     37 | 89.023 % |
105.29/105.54	c |      2084 |    4654    79132   196298 |    46729     2084     48 | 89.023 % |
105.48/105.73	c |      3223 |    4654    79132   196298 |    51401     3223     67 | 89.023 % |
105.79/106.02	c ===============================================================================
105.79/106.06	c core #649
105.79/106.06	c Core size: 761	Core Weight: 1	Total Weight: -351
105.79/106.06	c Elapsed CPU time: 102.426 s	Remaining CPU time: 1697.57 s
105.99/106.23	c ============================[ Search Statistics ]==============================
105.99/106.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.99/106.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
105.99/106.23	c ===============================================================================
105.99/106.23	c |         0 |    4766    79133   196522 |    26377        0    nan |  0.000 % |
105.99/106.26	c |       100 |    4766    79133   196522 |    29015      100     33 | 88.788 % |
105.99/106.27	c |       251 |    4766    79133   196522 |    31916      251     21 | 88.788 % |
105.99/106.28	c |       477 |    4766    79133   196522 |    35108      477     22 | 88.788 % |
106.09/106.31	c |       814 |    4766    79133   196522 |    38619      814     30 | 88.788 % |
106.09/106.36	c |      1324 |    4766    79133   196522 |    42481     1324     45 | 88.788 % |
106.19/106.46	c |      2084 |    4766    79133   196522 |    46729     2084     60 | 88.788 % |
106.39/106.65	c |      3224 |    4766    79133   196522 |    51402     3224     85 | 88.788 % |
106.69/106.97	c |      4932 |    4766    79133   196522 |    56542     4932     92 | 88.788 % |
107.29/107.56	c |      7494 |    4766    79133   196522 |    62197     7494    102 | 88.788 % |
108.48/108.79	c |     11340 |    4766    79133   196522 |    68416    11340    100 | 88.788 % |
111.68/111.97	c |     17109 |    4766    79133   196522 |    75258    17109    110 | 88.788 % |
120.38/120.60	c |     25758 |    4766    79133   196522 |    82784    25758    148 | 88.788 % |
136.97/137.24	c |     38732 |    4766    79133   196522 |    91062    38732    171 | 88.788 % |
180.85/181.18	c |     58195 |    4687    79133   196522 |   100169    33308    163 | 88.974 % |
185.15/185.47	c ===============================================================================
186.55/186.89	c core #650
186.55/186.89	c Core size: 1202	Core Weight: 1	Total Weight: -350
186.55/186.89	c Elapsed CPU time: 182.926 s	Remaining CPU time: 1617.07 s
186.85/187.11	c ============================[ Search Statistics ]==============================
186.85/187.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.85/187.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.85/187.11	c ===============================================================================
186.85/187.11	c |         0 |    4908    79134   196806 |    26378        0    nan |  0.000 % |
186.85/187.15	c |       102 |    4908    79134   196806 |    29015      102     35 | 88.492 % |
186.85/187.16	c |       253 |    4908    79134   196806 |    31917      253     24 | 88.492 % |
186.85/187.18	c |       481 |    4908    79134   196806 |    35109      481     31 | 88.492 % |
186.95/187.21	c |       818 |    4908    79134   196806 |    38620      818     26 | 88.492 % |
186.95/187.24	c |      1325 |    4908    79134   196806 |    42482     1325     24 | 88.492 % |
187.05/187.33	c |      2085 |    4908    79134   196806 |    46730     2085     35 | 88.492 % |
187.24/187.52	c |      3224 |    4908    79134   196806 |    51403     3224     58 | 88.492 % |
187.65/187.95	c |      4934 |    4908    79134   196806 |    56543     4934    109 | 88.492 % |
188.45/188.73	c |      7496 |    4908    79134   196806 |    62197     7496    113 | 88.492 % |
190.74/191.04	c |     11340 |    4906    79134   196806 |    68417    11277    179 | 88.497 % |
195.84/196.18	c ===============================================================================
196.14/196.45	c core #651
196.14/196.45	c Core size: 869	Core Weight: 1	Total Weight: -349
196.14/196.45	c Elapsed CPU time: 192.426 s	Remaining CPU time: 1607.57 s
196.35/196.63	c ============================[ Search Statistics ]==============================
196.35/196.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.35/196.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.35/196.63	c ===============================================================================
196.35/196.63	c |         0 |    5025    79135   197040 |    26378        0    nan |  0.000 % |
196.35/196.67	c |       103 |    5025    79135   197040 |    29016      103     24 | 88.250 % |
196.35/196.68	c |       253 |    5025    79135   197040 |    31917      253     18 | 88.250 % |
196.35/196.69	c |       478 |    5025    79135   197040 |    35109      478     17 | 88.250 % |
196.44/196.72	c |       817 |    5025    79135   197040 |    38620      817     23 | 88.250 % |
196.44/196.75	c |      1323 |    5025    79135   197040 |    42482     1323     20 | 88.250 % |
196.55/196.82	c |      2082 |    5025    79135   197040 |    46730     2082     28 | 88.250 % |
196.65/196.97	c |      3222 |    5025    79135   197040 |    51403     3222     40 | 88.250 % |
197.04/197.35	c |      4931 |    5025    79135   197040 |    56544     4931     66 | 88.250 % |
197.84/198.17	c |      7494 |    5025    79135   197040 |    62198     7494    120 | 88.250 % |
199.84/200.11	c |     11338 |    5025    79135   197040 |    68418    11338    158 | 88.250 % |
205.14/205.44	c |     17104 |    5025    79135   197040 |    75260    17104    265 | 88.250 % |
218.63/218.97	c |     25757 |    5025    79135   197040 |    82786    25757    339 | 88.250 % |
237.13/237.47	c |     38733 |    4961    79135   197040 |    91065    18684     90 | 88.400 % |
237.43/237.71	c ===============================================================================
238.33/238.65	c core #652
238.33/238.65	c Core size: 1597	Core Weight: 1	Total Weight: -348
238.33/238.65	c Elapsed CPU time: 234.478 s	Remaining CPU time: 1565.52 s
238.53/238.87	c ============================[ Search Statistics ]==============================
238.53/238.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
238.53/238.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
238.53/238.87	c ===============================================================================
238.53/238.87	c |         0 |    5189    79136   197368 |    26378        0    nan |  0.000 % |
238.62/238.91	c |       101 |    5189    79136   197368 |    29016      101     20 | 87.913 % |
238.62/238.92	c |       252 |    5189    79136   197368 |    31918      252     18 | 87.913 % |
238.62/238.94	c |       477 |    5189    79136   197368 |    35110      477     21 | 87.913 % |
238.62/238.97	c |       814 |    5189    79136   197368 |    38621      814     29 | 87.913 % |
238.72/239.02	c |      1321 |    5189    79136   197368 |    42483     1321     39 | 87.913 % |
238.82/239.11	c |      2081 |    5189    79136   197368 |    46731     2081     50 | 87.913 % |
238.92/239.25	c |      3221 |    5189    79136   197368 |    51404     3221     59 | 87.913 % |
239.33/239.64	c |      4929 |    5189    79136   197368 |    56545     4929     88 | 87.913 % |
240.22/240.53	c |      7493 |    5189    79136   197368 |    62199     7493    110 | 87.913 % |
241.63/241.93	c |     11339 |    5189    79136   197368 |    68419    11339    121 | 87.913 % |
244.42/244.72	c |     17106 |    5189    79136   197368 |    75261    17106    123 | 87.913 % |
251.82/252.10	c |     25759 |    5189    79136   197368 |    82787    25759    121 | 87.913 % |
268.11/268.45	c |     38733 |    5189    79136   197368 |    91066    38733    180 | 87.913 % |
319.79/320.17	c |     58194 |    5189    79136   197368 |   100172    58194    221 | 87.913 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8629
/proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=6048 CPUtime=0
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 187967746 6193152 268 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 1512 269 126 292 0 406 0

[startup+0.077396 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8629
/proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=11776 CPUtime=0.06
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 1664 0 0 0 6 0 0 0 18 0 1 0 187967746 12058624 1648 1992294400 134512640 135709839 4294956240 18446744073709551615 134546029 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 2944 1651 207 292 0 1838 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11776

[startup+0.101398 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8629
/proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=13152 CPUtime=0.1
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 1945 0 0 0 9 1 0 0 18 0 1 0 187967746 13467648 1896 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 3288 1896 234 292 0 2182 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13152

[startup+0.30142 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8629
/proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=16088 CPUtime=0.29
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 3129 0 0 0 28 1 0 0 19 0 1 0 187967746 16474112 3080 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 4022 3080 558 292 0 2916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16088

[startup+0.701464 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8629
/proc/meminfo: memFree=1857016/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=28844 CPUtime=0.69
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 8140 0 0 0 66 3 0 0 23 0 1 0 187967746 29536256 6454 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 7211 6454 134 292 0 6916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28844

[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=1826416/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=43744 CPUtime=1.49
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 14901 0 0 0 143 6 0 0 25 0 1 0 187967746 44793856 10198 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 10936 10198 134 292 0 10641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43744

[startup+3.10273 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=1804464/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=73056 CPUtime=3.09
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 27777 0 0 0 297 12 0 0 25 0 1 0 187967746 74809344 17546 1992294400 134512640 135709839 4294956240 18446744073709551615 135182842 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 18264 17546 134 292 0 17969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73056

[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=1746608/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=128372 CPUtime=6.28
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 53918 0 0 0 604 24 0 0 25 0 1 0 187967746 131452928 31407 1992294400 134512640 135709839 4294956240 18446744073709551615 135166063 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 32093 31407 134 292 0 31798 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 128372

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=1630968/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=241072 CPUtime=12.68
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 104822 0 0 0 1221 47 0 0 25 0 1 0 187967746 246857728 59559 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 60268 59560 134 292 0 59973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 241072

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=1405112/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=459512 CPUtime=25.47
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 206698 0 0 0 2456 91 0 0 25 0 1 0 187967746 470540288 114214 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 114878 114216 134 292 0 114583 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 459512

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=980984/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=886584 CPUtime=51.02
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 409129 0 0 0 4925 177 0 0 25 0 1 0 187967746 907862016 220937 1992294400 134512640 135709839 4294956240 18446744073709551615 135165901 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 221646 220937 134 292 0 221351 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 886584

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=206392/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1649888 CPUtime=102.1
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 770453 0 0 0 9874 336 0 0 25 0 1 0 187967746 1689485312 411874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 412472 411874 136 292 0 412177 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 1649888

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=142968/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1714156 CPUtime=162.06
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 789657 0 0 0 15841 365 0 0 25 0 1 0 187967746 1755295744 427902 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 428539 427902 136 292 0 428244 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 1714156

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=111160/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1744824 CPUtime=222.03
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 798421 0 0 0 21817 386 0 0 25 0 1 0 187967746 1786699776 435666 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 436206 435666 136 292 0 435911 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 1744824

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=68600/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1787980 CPUtime=282.01
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 809138 0 0 0 27793 408 0 0 25 0 1 0 187967746 1830891520 446383 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 446995 446383 136 292 0 446700 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 1787980

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8630
/proc/meminfo: memFree=41080/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1815200 CPUtime=341.98
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 815924 0 0 0 33779 419 0 0 25 0 1 0 187967746 1858764800 453169 1992294400 134512640 135709839 4294956240 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 453800 453169 136 292 0 453505 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 1815200

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8636
/proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1840548 CPUtime=401.95
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 822230 0 0 0 39766 429 0 0 25 0 1 0 187967746 1884721152 459475 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 460137 459475 136 292 0 459842 0
Current children cumulated CPU time (s) 401.95
Current children cumulated vsize (KiB) 1840548



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+410.602 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8636
/proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=1843236 CPUtime=410.25
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4194304 822910 0 0 0 40595 430 0 0 25 0 1 0 187967746 1887473664 460155 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 460809 460155 136 292 0 460514 0
Current children cumulated CPU time (s) 410.25
Current children cumulated vsize (KiB) 1843236

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

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

[startup+410.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8636
/proc/meminfo: memFree=15928/2055920 swapFree=4192812/4192956
[pid=8629] ppid=8627 vsize=0 CPUtime=410.45
/proc/8629/stat : 8629 (wbo) R 8627 8629 8077 0 -1 4195332 822910 0 0 0 40595 450 0 0 25 0 1 0 187967746 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/8629/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 410.45
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 410.878
CPU time (s): 410.531
CPU user time (s): 405.953
CPU system time (s): 4.5773
CPU usage (%): 99.9156
Max. virtual memory (cumulated for all children) (KiB): 1843236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.953
system time used= 4.5773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 822910
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= 5393

runsolver used 0.52192 second user time and 1.13883 second system time

The end

Launcher Data 

Begin job on node42 at 2009-06-17 03:55:07
IDJOB=1875374
IDBENCH=48214
IDSOLVER=698
FILE ID=node42/1875374-1245203707
PBS_JOBID= 9368317
Free space on /tmp= 66144 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.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-1875374-1245203707/watcher-1875374-1245203707 -o /tmp/evaluation-result-1875374-1245203707/solver-1875374-1245203707 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875374-1245203707.opb

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=69769434

node42.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.214
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.214
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:       1859864 kB
Buffers:         45736 kB
Cached:          78636 kB
SwapCached:          0 kB
Active:          10216 kB
Inactive:       128108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3328 kB
Writeback:           0 kB
Mapped:          23760 kB
Slab:            43712 kB
Committed_AS:   178652 kB
PageTables:       1396 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-1875374-1245203707.opb

Free space on /tmp at the end= 66140 MiB
End job on node42 at 2009-06-17 04:02:02