Trace number 1875353

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) 1629.68 1630.19

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
MD5SUM0945390fcac05113ffd57d1199a19e21
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-126
Best CPU time to get the best result obtained on this benchmark1798.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -126
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 constraint25
Maximum length of a constraint51
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)31640
Sum of products size (including duplicates)63280
Number of different products15820
Sum of products size31640

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-1875353-1245201170.opb.
0.00/0.00	c Instance file HOME/instance-1875353-1245201170.opb
0.00/0.00	c File size is 1378478 bytes.
0.19/0.21	c Highest Coefficient sum: 51
0.19/0.21	c ============================[ Problem Statistics ]=============================
0.19/0.21	c |                                                                             |
0.19/0.21	c |  Parsing time:          0.20         s                                      |
0.19/0.21	c |  Number Variables:      16820                                               |
0.19/0.21	c |  Number Clauses:        16820                                               |
0.19/0.21	c |  Number Cardinality:    2000                                                |
0.19/0.21	c |  Number PB Constraints: 15820                                               |
0.19/0.21	c core #1
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: -999
0.19/0.21	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 1799.8 s
0.19/0.26	c core #2
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: -998
0.19/0.26	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 1799.75 s
0.29/0.32	c core #3
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: -997
0.29/0.32	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 1799.69 s
0.29/0.37	c core #4
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: -996
0.29/0.37	c Elapsed CPU time: 0.357945 s	Remaining CPU time: 1799.64 s
0.39/0.43	c core #5
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: -995
0.39/0.43	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.49	c core #6
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: -994
0.39/0.49	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 1799.53 s
0.49/0.55	c core #7
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: -993
0.49/0.55	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 1799.47 s
0.59/0.61	c core #8
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: -992
0.59/0.61	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.59/0.67	c core #9
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: -991
0.59/0.67	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 1799.34 s
0.69/0.74	c core #10
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: -990
0.69/0.74	c Elapsed CPU time: 0.71889 s	Remaining CPU time: 1799.28 s
0.79/0.80	c core #11
0.79/0.80	c Core size: 4	Core Weight: 1	Total Weight: -989
0.79/0.80	c Elapsed CPU time: 0.779881 s	Remaining CPU time: 1799.22 s
0.79/0.86	c core #12
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: -988
0.79/0.86	c Elapsed CPU time: 0.841872 s	Remaining CPU time: 1799.16 s
0.89/0.92	c core #13
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: -987
0.89/0.92	c Elapsed CPU time: 0.905862 s	Remaining CPU time: 1799.09 s
0.89/0.99	c core #14
0.89/0.99	c Core size: 4	Core Weight: 1	Total Weight: -986
0.89/0.99	c Elapsed CPU time: 0.967852 s	Remaining CPU time: 1799.03 s
0.99/1.05	c core #15
0.99/1.05	c Core size: 4	Core Weight: 1	Total Weight: -985
0.99/1.05	c Elapsed CPU time: 1.02784 s	Remaining CPU time: 1798.97 s
1.09/1.11	c core #16
1.09/1.11	c Core size: 4	Core Weight: 1	Total Weight: -984
1.09/1.11	c Elapsed CPU time: 1.08883 s	Remaining CPU time: 1798.91 s
1.09/1.17	c core #17
1.09/1.17	c Core size: 4	Core Weight: 1	Total Weight: -983
1.09/1.17	c Elapsed CPU time: 1.14983 s	Remaining CPU time: 1798.85 s
1.19/1.24	c core #18
1.19/1.24	c Core size: 4	Core Weight: 1	Total Weight: -982
1.19/1.24	c Elapsed CPU time: 1.20982 s	Remaining CPU time: 1798.79 s
1.19/1.30	c core #19
1.19/1.30	c Core size: 4	Core Weight: 1	Total Weight: -981
1.19/1.30	c Elapsed CPU time: 1.26981 s	Remaining CPU time: 1798.73 s
1.29/1.36	c core #20
1.29/1.36	c Core size: 4	Core Weight: 1	Total Weight: -980
1.29/1.36	c Elapsed CPU time: 1.3318 s	Remaining CPU time: 1798.67 s
1.39/1.42	c core #21
1.39/1.42	c Core size: 4	Core Weight: 1	Total Weight: -979
1.39/1.42	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.39/1.48	c core #22
1.39/1.48	c Core size: 4	Core Weight: 1	Total Weight: -978
1.39/1.48	c Elapsed CPU time: 1.45478 s	Remaining CPU time: 1798.55 s
1.49/1.55	c core #23
1.49/1.55	c Core size: 4	Core Weight: 1	Total Weight: -977
1.49/1.55	c Elapsed CPU time: 1.51777 s	Remaining CPU time: 1798.48 s
1.59/1.61	c core #24
1.59/1.61	c Core size: 4	Core Weight: 1	Total Weight: -976
1.59/1.61	c Elapsed CPU time: 1.57976 s	Remaining CPU time: 1798.42 s
1.59/1.68	c core #25
1.59/1.68	c Core size: 4	Core Weight: 1	Total Weight: -975
1.59/1.68	c Elapsed CPU time: 1.64275 s	Remaining CPU time: 1798.36 s
1.69/1.74	c core #26
1.69/1.74	c Core size: 4	Core Weight: 1	Total Weight: -974
1.69/1.74	c Elapsed CPU time: 1.70574 s	Remaining CPU time: 1798.29 s
1.79/1.81	c core #27
1.79/1.81	c Core size: 4	Core Weight: 1	Total Weight: -973
1.79/1.81	c Elapsed CPU time: 1.77273 s	Remaining CPU time: 1798.23 s
1.79/1.87	c core #28
1.79/1.87	c Core size: 4	Core Weight: 1	Total Weight: -972
1.79/1.87	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 1798.16 s
1.89/1.94	c core #29
1.89/1.94	c Core size: 4	Core Weight: 1	Total Weight: -971
1.89/1.94	c Elapsed CPU time: 1.90171 s	Remaining CPU time: 1798.1 s
1.99/2.00	c core #30
1.99/2.00	c Core size: 4	Core Weight: 1	Total Weight: -970
1.99/2.00	c Elapsed CPU time: 1.9647 s	Remaining CPU time: 1798.04 s
1.99/2.07	c core #31
1.99/2.07	c Core size: 4	Core Weight: 1	Total Weight: -969
1.99/2.07	c Elapsed CPU time: 2.02569 s	Remaining CPU time: 1797.97 s
2.09/2.13	c core #32
2.09/2.13	c Core size: 4	Core Weight: 1	Total Weight: -968
2.09/2.13	c Elapsed CPU time: 2.08768 s	Remaining CPU time: 1797.91 s
2.09/2.19	c core #33
2.09/2.19	c Core size: 4	Core Weight: 1	Total Weight: -967
2.09/2.19	c Elapsed CPU time: 2.15067 s	Remaining CPU time: 1797.85 s
2.19/2.26	c core #34
2.19/2.26	c Core size: 4	Core Weight: 1	Total Weight: -966
2.19/2.26	c Elapsed CPU time: 2.21366 s	Remaining CPU time: 1797.79 s
2.29/2.32	c core #35
2.29/2.32	c Core size: 4	Core Weight: 1	Total Weight: -965
2.29/2.32	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.29/2.39	c core #36
2.29/2.39	c Core size: 4	Core Weight: 1	Total Weight: -964
2.29/2.39	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.39/2.45	c core #37
2.39/2.45	c Core size: 4	Core Weight: 1	Total Weight: -963
2.39/2.45	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.49/2.51	c core #38
2.49/2.51	c Core size: 4	Core Weight: 1	Total Weight: -962
2.49/2.51	c Elapsed CPU time: 2.46462 s	Remaining CPU time: 1797.54 s
2.49/2.58	c core #39
2.49/2.58	c Core size: 4	Core Weight: 1	Total Weight: -961
2.49/2.58	c Elapsed CPU time: 2.52761 s	Remaining CPU time: 1797.47 s
2.59/2.64	c core #40
2.59/2.64	c Core size: 4	Core Weight: 1	Total Weight: -960
2.59/2.64	c Elapsed CPU time: 2.59161 s	Remaining CPU time: 1797.41 s
2.69/2.70	c core #41
2.69/2.70	c Core size: 4	Core Weight: 1	Total Weight: -959
2.69/2.70	c Elapsed CPU time: 2.6536 s	Remaining CPU time: 1797.35 s
2.69/2.77	c core #42
2.69/2.77	c Core size: 4	Core Weight: 1	Total Weight: -958
2.69/2.77	c Elapsed CPU time: 2.71659 s	Remaining CPU time: 1797.28 s
2.79/2.84	c core #43
2.79/2.84	c Core size: 4	Core Weight: 1	Total Weight: -957
2.79/2.84	c Elapsed CPU time: 2.78358 s	Remaining CPU time: 1797.22 s
2.89/2.90	c core #44
2.89/2.90	c Core size: 4	Core Weight: 1	Total Weight: -956
2.89/2.90	c Elapsed CPU time: 2.84357 s	Remaining CPU time: 1797.16 s
2.89/2.96	c core #45
2.89/2.96	c Core size: 4	Core Weight: 1	Total Weight: -955
2.89/2.96	c Elapsed CPU time: 2.90756 s	Remaining CPU time: 1797.09 s
2.99/3.03	c core #46
2.99/3.03	c Core size: 4	Core Weight: 1	Total Weight: -954
2.99/3.03	c Elapsed CPU time: 2.97055 s	Remaining CPU time: 1797.03 s
2.99/3.09	c core #47
2.99/3.09	c Core size: 4	Core Weight: 1	Total Weight: -953
2.99/3.09	c Elapsed CPU time: 3.03554 s	Remaining CPU time: 1796.96 s
3.09/3.16	c core #48
3.09/3.16	c Core size: 4	Core Weight: 1	Total Weight: -952
3.09/3.16	c Elapsed CPU time: 3.09753 s	Remaining CPU time: 1796.9 s
3.20/3.22	c core #49
3.20/3.22	c Core size: 4	Core Weight: 1	Total Weight: -951
3.20/3.22	c Elapsed CPU time: 3.16052 s	Remaining CPU time: 1796.84 s
3.20/3.28	c core #50
3.20/3.28	c Core size: 4	Core Weight: 1	Total Weight: -950
3.20/3.28	c Elapsed CPU time: 3.22251 s	Remaining CPU time: 1796.78 s
3.30/3.35	c core #51
3.30/3.35	c Core size: 4	Core Weight: 1	Total Weight: -949
3.30/3.35	c Elapsed CPU time: 3.2855 s	Remaining CPU time: 1796.71 s
3.39/3.41	c core #52
3.39/3.41	c Core size: 4	Core Weight: 1	Total Weight: -948
3.39/3.41	c Elapsed CPU time: 3.34849 s	Remaining CPU time: 1796.65 s
3.39/3.47	c core #53
3.39/3.47	c Core size: 4	Core Weight: 1	Total Weight: -947
3.39/3.47	c Elapsed CPU time: 3.41248 s	Remaining CPU time: 1796.59 s
3.49/3.54	c core #54
3.49/3.54	c Core size: 4	Core Weight: 1	Total Weight: -946
3.49/3.54	c Elapsed CPU time: 3.47547 s	Remaining CPU time: 1796.52 s
3.59/3.60	c core #55
3.59/3.60	c Core size: 4	Core Weight: 1	Total Weight: -945
3.59/3.60	c Elapsed CPU time: 3.53946 s	Remaining CPU time: 1796.46 s
3.59/3.67	c core #56
3.59/3.67	c Core size: 4	Core Weight: 1	Total Weight: -944
3.59/3.67	c Elapsed CPU time: 3.60245 s	Remaining CPU time: 1796.4 s
3.70/3.73	c core #57
3.70/3.73	c Core size: 4	Core Weight: 1	Total Weight: -943
3.70/3.73	c Elapsed CPU time: 3.66644 s	Remaining CPU time: 1796.33 s
3.79/3.80	c core #58
3.79/3.80	c Core size: 4	Core Weight: 1	Total Weight: -942
3.79/3.80	c Elapsed CPU time: 3.73043 s	Remaining CPU time: 1796.27 s
3.79/3.87	c core #59
3.79/3.87	c Core size: 4	Core Weight: 1	Total Weight: -941
3.79/3.87	c Elapsed CPU time: 3.79542 s	Remaining CPU time: 1796.2 s
3.89/3.93	c core #60
3.89/3.93	c Core size: 4	Core Weight: 1	Total Weight: -940
3.89/3.93	c Elapsed CPU time: 3.85541 s	Remaining CPU time: 1796.14 s
3.89/4.00	c core #61
3.89/4.00	c Core size: 4	Core Weight: 1	Total Weight: -939
3.89/4.00	c Elapsed CPU time: 3.9164 s	Remaining CPU time: 1796.08 s
3.99/4.06	c core #62
3.99/4.06	c Core size: 4	Core Weight: 1	Total Weight: -938
3.99/4.06	c Elapsed CPU time: 3.97839 s	Remaining CPU time: 1796.02 s
4.09/4.12	c core #63
4.09/4.12	c Core size: 4	Core Weight: 1	Total Weight: -937
4.09/4.12	c Elapsed CPU time: 4.04239 s	Remaining CPU time: 1795.96 s
4.09/4.19	c core #64
4.09/4.19	c Core size: 4	Core Weight: 1	Total Weight: -936
4.09/4.19	c Elapsed CPU time: 4.10637 s	Remaining CPU time: 1795.89 s
4.19/4.25	c core #65
4.19/4.25	c Core size: 4	Core Weight: 1	Total Weight: -935
4.19/4.25	c Elapsed CPU time: 4.17136 s	Remaining CPU time: 1795.83 s
4.29/4.32	c core #66
4.29/4.32	c Core size: 4	Core Weight: 1	Total Weight: -934
4.29/4.32	c Elapsed CPU time: 4.23236 s	Remaining CPU time: 1795.77 s
4.29/4.38	c core #67
4.29/4.38	c Core size: 4	Core Weight: 1	Total Weight: -933
4.29/4.38	c Elapsed CPU time: 4.29735 s	Remaining CPU time: 1795.7 s
4.39/4.44	c core #68
4.39/4.44	c Core size: 4	Core Weight: 1	Total Weight: -932
4.39/4.44	c Elapsed CPU time: 4.36034 s	Remaining CPU time: 1795.64 s
4.49/4.51	c core #69
4.49/4.51	c Core size: 4	Core Weight: 1	Total Weight: -931
4.49/4.51	c Elapsed CPU time: 4.42533 s	Remaining CPU time: 1795.57 s
4.49/4.57	c core #70
4.49/4.57	c Core size: 4	Core Weight: 1	Total Weight: -930
4.49/4.57	c Elapsed CPU time: 4.49032 s	Remaining CPU time: 1795.51 s
4.59/4.64	c core #71
4.59/4.64	c Core size: 4	Core Weight: 1	Total Weight: -929
4.59/4.64	c Elapsed CPU time: 4.55431 s	Remaining CPU time: 1795.45 s
4.68/4.71	c core #72
4.68/4.71	c Core size: 4	Core Weight: 1	Total Weight: -928
4.68/4.71	c Elapsed CPU time: 4.6183 s	Remaining CPU time: 1795.38 s
4.68/4.77	c core #73
4.68/4.77	c Core size: 4	Core Weight: 1	Total Weight: -927
4.68/4.77	c Elapsed CPU time: 4.68329 s	Remaining CPU time: 1795.32 s
4.79/4.84	c core #74
4.79/4.84	c Core size: 4	Core Weight: 1	Total Weight: -926
4.79/4.84	c Elapsed CPU time: 4.74928 s	Remaining CPU time: 1795.25 s
4.89/4.91	c core #75
4.89/4.91	c Core size: 4	Core Weight: 1	Total Weight: -925
4.89/4.91	c Elapsed CPU time: 4.81527 s	Remaining CPU time: 1795.18 s
4.89/4.97	c core #76
4.89/4.97	c Core size: 4	Core Weight: 1	Total Weight: -924
4.89/4.97	c Elapsed CPU time: 4.88126 s	Remaining CPU time: 1795.12 s
4.99/5.04	c core #77
4.99/5.04	c Core size: 4	Core Weight: 1	Total Weight: -923
4.99/5.04	c Elapsed CPU time: 4.94525 s	Remaining CPU time: 1795.05 s
5.09/5.11	c core #78
5.09/5.11	c Core size: 4	Core Weight: 1	Total Weight: -922
5.09/5.11	c Elapsed CPU time: 5.01024 s	Remaining CPU time: 1794.99 s
5.09/5.17	c core #79
5.09/5.17	c Core size: 4	Core Weight: 1	Total Weight: -921
5.09/5.17	c Elapsed CPU time: 5.07523 s	Remaining CPU time: 1794.92 s
5.19/5.23	c core #80
5.19/5.23	c Core size: 4	Core Weight: 1	Total Weight: -920
5.19/5.23	c Elapsed CPU time: 5.13922 s	Remaining CPU time: 1794.86 s
5.29/5.30	c core #81
5.29/5.30	c Core size: 4	Core Weight: 1	Total Weight: -919
5.29/5.30	c Elapsed CPU time: 5.20421 s	Remaining CPU time: 1794.8 s
5.29/5.36	c core #82
5.29/5.36	c Core size: 4	Core Weight: 1	Total Weight: -918
5.29/5.36	c Elapsed CPU time: 5.2672 s	Remaining CPU time: 1794.73 s
5.39/5.43	c core #83
5.39/5.43	c Core size: 4	Core Weight: 1	Total Weight: -917
5.39/5.43	c Elapsed CPU time: 5.33019 s	Remaining CPU time: 1794.67 s
5.39/5.49	c core #84
5.39/5.49	c Core size: 4	Core Weight: 1	Total Weight: -916
5.39/5.49	c Elapsed CPU time: 5.39418 s	Remaining CPU time: 1794.61 s
5.50/5.56	c core #85
5.50/5.56	c Core size: 4	Core Weight: 1	Total Weight: -915
5.50/5.56	c Elapsed CPU time: 5.45817 s	Remaining CPU time: 1794.54 s
5.59/5.62	c core #86
5.59/5.62	c Core size: 4	Core Weight: 1	Total Weight: -914
5.59/5.62	c Elapsed CPU time: 5.52216 s	Remaining CPU time: 1794.48 s
5.59/5.69	c core #87
5.59/5.69	c Core size: 4	Core Weight: 1	Total Weight: -913
5.59/5.69	c Elapsed CPU time: 5.58515 s	Remaining CPU time: 1794.41 s
5.69/5.75	c core #88
5.69/5.75	c Core size: 4	Core Weight: 1	Total Weight: -912
5.69/5.75	c Elapsed CPU time: 5.64714 s	Remaining CPU time: 1794.35 s
5.79/5.82	c core #89
5.79/5.82	c Core size: 4	Core Weight: 1	Total Weight: -911
5.79/5.82	c Elapsed CPU time: 5.71013 s	Remaining CPU time: 1794.29 s
5.79/5.88	c core #90
5.79/5.88	c Core size: 4	Core Weight: 1	Total Weight: -910
5.79/5.88	c Elapsed CPU time: 5.77312 s	Remaining CPU time: 1794.23 s
5.89/5.94	c core #91
5.89/5.94	c Core size: 4	Core Weight: 1	Total Weight: -909
5.89/5.94	c Elapsed CPU time: 5.83611 s	Remaining CPU time: 1794.16 s
5.98/6.00	c core #92
5.98/6.00	c Core size: 4	Core Weight: 1	Total Weight: -908
5.98/6.00	c Elapsed CPU time: 5.8971 s	Remaining CPU time: 1794.1 s
5.98/6.07	c core #93
5.98/6.07	c Core size: 4	Core Weight: 1	Total Weight: -907
5.98/6.07	c Elapsed CPU time: 5.96009 s	Remaining CPU time: 1794.04 s
6.09/6.13	c core #94
6.09/6.13	c Core size: 4	Core Weight: 1	Total Weight: -906
6.09/6.13	c Elapsed CPU time: 6.02108 s	Remaining CPU time: 1793.98 s
6.19/6.20	c core #95
6.19/6.20	c Core size: 4	Core Weight: 1	Total Weight: -905
6.19/6.20	c Elapsed CPU time: 6.08408 s	Remaining CPU time: 1793.92 s
6.19/6.26	c core #96
6.19/6.26	c Core size: 4	Core Weight: 1	Total Weight: -904
6.19/6.26	c Elapsed CPU time: 6.14806 s	Remaining CPU time: 1793.85 s
6.29/6.33	c core #97
6.29/6.33	c Core size: 4	Core Weight: 1	Total Weight: -903
6.29/6.33	c Elapsed CPU time: 6.21305 s	Remaining CPU time: 1793.79 s
6.29/6.39	c core #98
6.29/6.39	c Core size: 4	Core Weight: 1	Total Weight: -902
6.29/6.39	c Elapsed CPU time: 6.27705 s	Remaining CPU time: 1793.72 s
6.39/6.46	c core #99
6.39/6.46	c Core size: 4	Core Weight: 1	Total Weight: -901
6.39/6.46	c Elapsed CPU time: 6.34204 s	Remaining CPU time: 1793.66 s
6.49/6.52	c core #100
6.49/6.52	c Core size: 4	Core Weight: 1	Total Weight: -900
6.49/6.52	c Elapsed CPU time: 6.40603 s	Remaining CPU time: 1793.59 s
6.49/6.59	c core #101
6.49/6.59	c Core size: 4	Core Weight: 1	Total Weight: -899
6.49/6.59	c Elapsed CPU time: 6.46902 s	Remaining CPU time: 1793.53 s
6.59/6.65	c core #102
6.59/6.65	c Core size: 4	Core Weight: 1	Total Weight: -898
6.59/6.65	c Elapsed CPU time: 6.53201 s	Remaining CPU time: 1793.47 s
6.69/6.71	c core #103
6.69/6.71	c Core size: 4	Core Weight: 1	Total Weight: -897
6.69/6.71	c Elapsed CPU time: 6.593 s	Remaining CPU time: 1793.41 s
6.69/6.78	c core #104
6.69/6.78	c Core size: 4	Core Weight: 1	Total Weight: -896
6.69/6.78	c Elapsed CPU time: 6.65499 s	Remaining CPU time: 1793.35 s
6.79/6.84	c core #105
6.79/6.84	c Core size: 4	Core Weight: 1	Total Weight: -895
6.79/6.84	c Elapsed CPU time: 6.71698 s	Remaining CPU time: 1793.28 s
6.89/6.90	c core #106
6.89/6.90	c Core size: 4	Core Weight: 1	Total Weight: -894
6.89/6.90	c Elapsed CPU time: 6.77897 s	Remaining CPU time: 1793.22 s
6.89/6.97	c core #107
6.89/6.97	c Core size: 4	Core Weight: 1	Total Weight: -893
6.89/6.97	c Elapsed CPU time: 6.84096 s	Remaining CPU time: 1793.16 s
6.99/7.03	c core #108
6.99/7.03	c Core size: 4	Core Weight: 1	Total Weight: -892
6.99/7.03	c Elapsed CPU time: 6.90495 s	Remaining CPU time: 1793.1 s
6.99/7.10	c core #109
6.99/7.10	c Core size: 4	Core Weight: 1	Total Weight: -891
6.99/7.10	c Elapsed CPU time: 6.96894 s	Remaining CPU time: 1793.03 s
7.08/7.16	c core #110
7.08/7.16	c Core size: 4	Core Weight: 1	Total Weight: -890
7.08/7.16	c Elapsed CPU time: 7.03293 s	Remaining CPU time: 1792.97 s
7.18/7.22	c core #111
7.18/7.22	c Core size: 4	Core Weight: 1	Total Weight: -889
7.18/7.22	c Elapsed CPU time: 7.09592 s	Remaining CPU time: 1792.9 s
7.18/7.29	c core #112
7.18/7.29	c Core size: 4	Core Weight: 1	Total Weight: -888
7.18/7.29	c Elapsed CPU time: 7.15891 s	Remaining CPU time: 1792.84 s
7.29/7.36	c core #113
7.29/7.36	c Core size: 4	Core Weight: 1	Total Weight: -887
7.29/7.36	c Elapsed CPU time: 7.2249 s	Remaining CPU time: 1792.78 s
7.39/7.42	c core #114
7.39/7.42	c Core size: 4	Core Weight: 1	Total Weight: -886
7.39/7.42	c Elapsed CPU time: 7.28889 s	Remaining CPU time: 1792.71 s
7.39/7.49	c core #115
7.39/7.49	c Core size: 4	Core Weight: 1	Total Weight: -885
7.39/7.49	c Elapsed CPU time: 7.35288 s	Remaining CPU time: 1792.65 s
7.49/7.55	c core #116
7.49/7.55	c Core size: 4	Core Weight: 1	Total Weight: -884
7.49/7.55	c Elapsed CPU time: 7.41587 s	Remaining CPU time: 1792.58 s
7.59/7.62	c core #117
7.59/7.62	c Core size: 4	Core Weight: 1	Total Weight: -883
7.59/7.62	c Elapsed CPU time: 7.47986 s	Remaining CPU time: 1792.52 s
7.59/7.68	c core #118
7.59/7.68	c Core size: 4	Core Weight: 1	Total Weight: -882
7.59/7.68	c Elapsed CPU time: 7.54285 s	Remaining CPU time: 1792.46 s
7.69/7.75	c core #119
7.69/7.75	c Core size: 4	Core Weight: 1	Total Weight: -881
7.69/7.75	c Elapsed CPU time: 7.60984 s	Remaining CPU time: 1792.39 s
7.78/7.81	c core #120
7.78/7.81	c Core size: 4	Core Weight: 1	Total Weight: -880
7.78/7.81	c Elapsed CPU time: 7.67483 s	Remaining CPU time: 1792.33 s
7.78/7.88	c core #121
7.78/7.88	c Core size: 4	Core Weight: 1	Total Weight: -879
7.78/7.88	c Elapsed CPU time: 7.74082 s	Remaining CPU time: 1792.26 s
7.89/7.94	c core #122
7.89/7.94	c Core size: 4	Core Weight: 1	Total Weight: -878
7.89/7.94	c Elapsed CPU time: 7.80281 s	Remaining CPU time: 1792.2 s
7.99/8.01	c core #123
7.99/8.01	c Core size: 4	Core Weight: 1	Total Weight: -877
7.99/8.01	c Elapsed CPU time: 7.8678 s	Remaining CPU time: 1792.13 s
7.99/8.07	c core #124
7.99/8.07	c Core size: 4	Core Weight: 1	Total Weight: -876
7.99/8.07	c Elapsed CPU time: 7.93079 s	Remaining CPU time: 1792.07 s
8.09/8.14	c core #125
8.09/8.14	c Core size: 4	Core Weight: 1	Total Weight: -875
8.09/8.14	c Elapsed CPU time: 7.99778 s	Remaining CPU time: 1792 s
8.19/8.20	c core #126
8.19/8.20	c Core size: 4	Core Weight: 1	Total Weight: -874
8.19/8.20	c Elapsed CPU time: 8.05977 s	Remaining CPU time: 1791.94 s
8.19/8.27	c core #127
8.19/8.27	c Core size: 4	Core Weight: 1	Total Weight: -873
8.19/8.27	c Elapsed CPU time: 8.12377 s	Remaining CPU time: 1791.88 s
8.29/8.33	c core #128
8.29/8.33	c Core size: 4	Core Weight: 1	Total Weight: -872
8.29/8.33	c Elapsed CPU time: 8.18576 s	Remaining CPU time: 1791.81 s
8.38/8.40	c core #129
8.38/8.40	c Core size: 4	Core Weight: 1	Total Weight: -871
8.38/8.40	c Elapsed CPU time: 8.25075 s	Remaining CPU time: 1791.75 s
8.38/8.46	c core #130
8.38/8.46	c Core size: 4	Core Weight: 1	Total Weight: -870
8.38/8.46	c Elapsed CPU time: 8.31374 s	Remaining CPU time: 1791.69 s
8.49/8.53	c core #131
8.49/8.53	c Core size: 4	Core Weight: 1	Total Weight: -869
8.49/8.53	c Elapsed CPU time: 8.37973 s	Remaining CPU time: 1791.62 s
8.49/8.59	c core #132
8.49/8.59	c Core size: 4	Core Weight: 1	Total Weight: -868
8.49/8.59	c Elapsed CPU time: 8.44272 s	Remaining CPU time: 1791.56 s
8.59/8.66	c core #133
8.59/8.66	c Core size: 4	Core Weight: 1	Total Weight: -867
8.59/8.66	c Elapsed CPU time: 8.50571 s	Remaining CPU time: 1791.49 s
8.69/8.72	c core #134
8.69/8.72	c Core size: 4	Core Weight: 1	Total Weight: -866
8.69/8.72	c Elapsed CPU time: 8.5697 s	Remaining CPU time: 1791.43 s
8.69/8.79	c core #135
8.69/8.79	c Core size: 4	Core Weight: 1	Total Weight: -865
8.69/8.79	c Elapsed CPU time: 8.63569 s	Remaining CPU time: 1791.36 s
8.79/8.86	c core #136
8.79/8.86	c Core size: 4	Core Weight: 1	Total Weight: -864
8.79/8.86	c Elapsed CPU time: 8.69868 s	Remaining CPU time: 1791.3 s
8.89/8.92	c core #137
8.89/8.92	c Core size: 4	Core Weight: 1	Total Weight: -863
8.89/8.92	c Elapsed CPU time: 8.76267 s	Remaining CPU time: 1791.24 s
8.89/8.99	c core #138
8.89/8.99	c Core size: 4	Core Weight: 1	Total Weight: -862
8.89/8.99	c Elapsed CPU time: 8.82666 s	Remaining CPU time: 1791.17 s
8.99/9.06	c core #139
8.99/9.06	c Core size: 4	Core Weight: 1	Total Weight: -861
8.99/9.06	c Elapsed CPU time: 8.89065 s	Remaining CPU time: 1791.11 s
9.08/9.13	c core #140
9.08/9.13	c Core size: 4	Core Weight: 1	Total Weight: -860
9.08/9.13	c Elapsed CPU time: 8.95764 s	Remaining CPU time: 1791.04 s
9.08/9.19	c core #141
9.08/9.19	c Core size: 4	Core Weight: 1	Total Weight: -859
9.08/9.19	c Elapsed CPU time: 9.02563 s	Remaining CPU time: 1790.97 s
9.18/9.26	c core #142
9.18/9.26	c Core size: 4	Core Weight: 1	Total Weight: -858
9.18/9.26	c Elapsed CPU time: 9.09162 s	Remaining CPU time: 1790.91 s
9.28/9.33	c core #143
9.28/9.33	c Core size: 4	Core Weight: 1	Total Weight: -857
9.28/9.33	c Elapsed CPU time: 9.15861 s	Remaining CPU time: 1790.84 s
9.28/9.39	c core #144
9.28/9.39	c Core size: 4	Core Weight: 1	Total Weight: -856
9.28/9.39	c Elapsed CPU time: 9.2206 s	Remaining CPU time: 1790.78 s
9.39/9.46	c core #145
9.39/9.46	c Core size: 4	Core Weight: 1	Total Weight: -855
9.39/9.46	c Elapsed CPU time: 9.28459 s	Remaining CPU time: 1790.72 s
9.49/9.52	c core #146
9.49/9.52	c Core size: 4	Core Weight: 1	Total Weight: -854
9.49/9.52	c Elapsed CPU time: 9.34758 s	Remaining CPU time: 1790.65 s
9.49/9.59	c core #147
9.49/9.59	c Core size: 4	Core Weight: 1	Total Weight: -853
9.49/9.59	c Elapsed CPU time: 9.41157 s	Remaining CPU time: 1790.59 s
9.58/9.65	c core #148
9.58/9.65	c Core size: 4	Core Weight: 1	Total Weight: -852
9.58/9.65	c Elapsed CPU time: 9.47456 s	Remaining CPU time: 1790.53 s
9.68/9.72	c core #149
9.68/9.72	c Core size: 4	Core Weight: 1	Total Weight: -851
9.68/9.72	c Elapsed CPU time: 9.54055 s	Remaining CPU time: 1790.46 s
9.68/9.79	c core #150
9.68/9.79	c Core size: 4	Core Weight: 1	Total Weight: -850
9.68/9.79	c Elapsed CPU time: 9.60654 s	Remaining CPU time: 1790.39 s
9.79/9.85	c core #151
9.79/9.85	c Core size: 4	Core Weight: 1	Total Weight: -849
9.79/9.85	c Elapsed CPU time: 9.67253 s	Remaining CPU time: 1790.33 s
9.89/9.92	c core #152
9.89/9.92	c Core size: 4	Core Weight: 1	Total Weight: -848
9.89/9.92	c Elapsed CPU time: 9.73752 s	Remaining CPU time: 1790.26 s
9.89/9.99	c core #153
9.89/9.99	c Core size: 4	Core Weight: 1	Total Weight: -847
9.89/9.99	c Elapsed CPU time: 9.80151 s	Remaining CPU time: 1790.2 s
9.99/10.05	c core #154
9.99/10.05	c Core size: 4	Core Weight: 1	Total Weight: -846
9.99/10.05	c Elapsed CPU time: 9.8655 s	Remaining CPU time: 1790.13 s
10.09/10.12	c core #155
10.09/10.12	c Core size: 4	Core Weight: 1	Total Weight: -845
10.09/10.12	c Elapsed CPU time: 9.93149 s	Remaining CPU time: 1790.07 s
10.09/10.18	c core #156
10.09/10.18	c Core size: 4	Core Weight: 1	Total Weight: -844
10.09/10.18	c Elapsed CPU time: 9.99548 s	Remaining CPU time: 1790 s
10.18/10.25	c core #157
10.18/10.25	c Core size: 4	Core Weight: 1	Total Weight: -843
10.18/10.25	c Elapsed CPU time: 10.0605 s	Remaining CPU time: 1789.94 s
10.28/10.31	c core #158
10.28/10.31	c Core size: 4	Core Weight: 1	Total Weight: -842
10.28/10.31	c Elapsed CPU time: 10.1245 s	Remaining CPU time: 1789.88 s
10.28/10.38	c core #159
10.28/10.38	c Core size: 4	Core Weight: 1	Total Weight: -841
10.28/10.38	c Elapsed CPU time: 10.1925 s	Remaining CPU time: 1789.81 s
10.39/10.45	c core #160
10.39/10.45	c Core size: 4	Core Weight: 1	Total Weight: -840
10.39/10.45	c Elapsed CPU time: 10.2584 s	Remaining CPU time: 1789.74 s
10.49/10.52	c core #161
10.49/10.52	c Core size: 4	Core Weight: 1	Total Weight: -839
10.49/10.52	c Elapsed CPU time: 10.3234 s	Remaining CPU time: 1789.68 s
10.49/10.58	c core #162
10.49/10.58	c Core size: 4	Core Weight: 1	Total Weight: -838
10.49/10.58	c Elapsed CPU time: 10.3874 s	Remaining CPU time: 1789.61 s
10.59/10.65	c core #163
10.59/10.65	c Core size: 4	Core Weight: 1	Total Weight: -837
10.59/10.65	c Elapsed CPU time: 10.4524 s	Remaining CPU time: 1789.55 s
10.68/10.71	c core #164
10.68/10.71	c Core size: 4	Core Weight: 1	Total Weight: -836
10.68/10.71	c Elapsed CPU time: 10.5174 s	Remaining CPU time: 1789.48 s
10.68/10.78	c core #165
10.68/10.78	c Core size: 4	Core Weight: 1	Total Weight: -835
10.68/10.78	c Elapsed CPU time: 10.5834 s	Remaining CPU time: 1789.42 s
10.78/10.85	c core #166
10.78/10.85	c Core size: 4	Core Weight: 1	Total Weight: -834
10.78/10.85	c Elapsed CPU time: 10.6474 s	Remaining CPU time: 1789.35 s
10.89/10.91	c core #167
10.89/10.91	c Core size: 4	Core Weight: 1	Total Weight: -833
10.89/10.91	c Elapsed CPU time: 10.7144 s	Remaining CPU time: 1789.29 s
10.89/10.98	c core #168
10.89/10.98	c Core size: 4	Core Weight: 1	Total Weight: -832
10.89/10.98	c Elapsed CPU time: 10.7814 s	Remaining CPU time: 1789.22 s
10.99/11.05	c core #169
10.99/11.05	c Core size: 4	Core Weight: 1	Total Weight: -831
10.99/11.05	c Elapsed CPU time: 10.8454 s	Remaining CPU time: 1789.15 s
11.09/11.11	c core #170
11.09/11.11	c Core size: 4	Core Weight: 1	Total Weight: -830
11.09/11.11	c Elapsed CPU time: 10.9103 s	Remaining CPU time: 1789.09 s
11.09/11.18	c core #171
11.09/11.18	c Core size: 4	Core Weight: 1	Total Weight: -829
11.09/11.18	c Elapsed CPU time: 10.9773 s	Remaining CPU time: 1789.02 s
11.19/11.25	c core #172
11.19/11.25	c Core size: 4	Core Weight: 1	Total Weight: -828
11.19/11.25	c Elapsed CPU time: 11.0443 s	Remaining CPU time: 1788.96 s
11.29/11.31	c core #173
11.29/11.31	c Core size: 4	Core Weight: 1	Total Weight: -827
11.29/11.31	c Elapsed CPU time: 11.1103 s	Remaining CPU time: 1788.89 s
11.29/11.38	c core #174
11.29/11.38	c Core size: 4	Core Weight: 1	Total Weight: -826
11.29/11.38	c Elapsed CPU time: 11.1753 s	Remaining CPU time: 1788.82 s
11.39/11.45	c core #175
11.39/11.45	c Core size: 4	Core Weight: 1	Total Weight: -825
11.39/11.45	c Elapsed CPU time: 11.2413 s	Remaining CPU time: 1788.76 s
11.48/11.51	c core #176
11.48/11.51	c Core size: 4	Core Weight: 1	Total Weight: -824
11.48/11.51	c Elapsed CPU time: 11.3073 s	Remaining CPU time: 1788.69 s
11.48/11.58	c core #177
11.48/11.58	c Core size: 4	Core Weight: 1	Total Weight: -823
11.48/11.58	c Elapsed CPU time: 11.3743 s	Remaining CPU time: 1788.63 s
11.58/11.65	c core #178
11.58/11.65	c Core size: 4	Core Weight: 1	Total Weight: -822
11.58/11.65	c Elapsed CPU time: 11.4423 s	Remaining CPU time: 1788.56 s
11.69/11.72	c core #179
11.69/11.72	c Core size: 4	Core Weight: 1	Total Weight: -821
11.69/11.72	c Elapsed CPU time: 11.5092 s	Remaining CPU time: 1788.49 s
11.69/11.79	c core #180
11.69/11.79	c Core size: 4	Core Weight: 1	Total Weight: -820
11.69/11.79	c Elapsed CPU time: 11.5742 s	Remaining CPU time: 1788.43 s
11.79/11.86	c core #181
11.79/11.86	c Core size: 4	Core Weight: 1	Total Weight: -819
11.79/11.86	c Elapsed CPU time: 11.6432 s	Remaining CPU time: 1788.36 s
11.89/11.92	c core #182
11.89/11.92	c Core size: 4	Core Weight: 1	Total Weight: -818
11.89/11.92	c Elapsed CPU time: 11.7102 s	Remaining CPU time: 1788.29 s
11.89/11.99	c core #183
11.89/11.99	c Core size: 4	Core Weight: 1	Total Weight: -817
11.89/11.99	c Elapsed CPU time: 11.7772 s	Remaining CPU time: 1788.22 s
11.99/12.06	c core #184
11.99/12.06	c Core size: 4	Core Weight: 1	Total Weight: -816
11.99/12.06	c Elapsed CPU time: 11.8452 s	Remaining CPU time: 1788.15 s
12.09/12.13	c core #185
12.09/12.13	c Core size: 4	Core Weight: 1	Total Weight: -815
12.09/12.13	c Elapsed CPU time: 11.9122 s	Remaining CPU time: 1788.09 s
12.09/12.19	c core #186
12.09/12.19	c Core size: 4	Core Weight: 1	Total Weight: -814
12.09/12.19	c Elapsed CPU time: 11.9772 s	Remaining CPU time: 1788.02 s
12.19/12.26	c core #187
12.19/12.26	c Core size: 4	Core Weight: 1	Total Weight: -813
12.19/12.26	c Elapsed CPU time: 12.0452 s	Remaining CPU time: 1787.95 s
12.28/12.33	c core #188
12.28/12.33	c Core size: 4	Core Weight: 1	Total Weight: -812
12.28/12.33	c Elapsed CPU time: 12.1112 s	Remaining CPU time: 1787.89 s
12.39/12.40	c core #189
12.39/12.40	c Core size: 4	Core Weight: 1	Total Weight: -811
12.39/12.40	c Elapsed CPU time: 12.1771 s	Remaining CPU time: 1787.82 s
12.39/12.47	c core #190
12.39/12.47	c Core size: 4	Core Weight: 1	Total Weight: -810
12.39/12.47	c Elapsed CPU time: 12.2411 s	Remaining CPU time: 1787.76 s
12.49/12.53	c core #191
12.49/12.53	c Core size: 4	Core Weight: 1	Total Weight: -809
12.49/12.53	c Elapsed CPU time: 12.3091 s	Remaining CPU time: 1787.69 s
12.58/12.60	c core #192
12.58/12.60	c Core size: 4	Core Weight: 1	Total Weight: -808
12.58/12.60	c Elapsed CPU time: 12.3721 s	Remaining CPU time: 1787.63 s
12.58/12.67	c core #193
12.58/12.67	c Core size: 4	Core Weight: 1	Total Weight: -807
12.58/12.67	c Elapsed CPU time: 12.4381 s	Remaining CPU time: 1787.56 s
12.68/12.73	c core #194
12.68/12.73	c Core size: 4	Core Weight: 1	Total Weight: -806
12.68/12.73	c Elapsed CPU time: 12.5031 s	Remaining CPU time: 1787.5 s
12.79/12.80	c core #195
12.79/12.80	c Core size: 4	Core Weight: 1	Total Weight: -805
12.79/12.80	c Elapsed CPU time: 12.5701 s	Remaining CPU time: 1787.43 s
12.79/12.87	c core #196
12.79/12.87	c Core size: 4	Core Weight: 1	Total Weight: -804
12.79/12.87	c Elapsed CPU time: 12.6361 s	Remaining CPU time: 1787.36 s
12.89/12.94	c core #197
12.89/12.94	c Core size: 4	Core Weight: 1	Total Weight: -803
12.89/12.94	c Elapsed CPU time: 12.7031 s	Remaining CPU time: 1787.3 s
12.99/13.00	c core #198
12.99/13.00	c Core size: 4	Core Weight: 1	Total Weight: -802
12.99/13.00	c Elapsed CPU time: 12.7671 s	Remaining CPU time: 1787.23 s
12.99/13.07	c core #199
12.99/13.07	c Core size: 4	Core Weight: 1	Total Weight: -801
12.99/13.07	c Elapsed CPU time: 12.832 s	Remaining CPU time: 1787.17 s
13.09/13.13	c core #200
13.09/13.13	c Core size: 4	Core Weight: 1	Total Weight: -800
13.09/13.13	c Elapsed CPU time: 12.895 s	Remaining CPU time: 1787.1 s
13.09/13.20	c core #201
13.09/13.20	c Core size: 4	Core Weight: 1	Total Weight: -799
13.09/13.20	c Elapsed CPU time: 12.96 s	Remaining CPU time: 1787.04 s
13.19/13.26	c core #202
13.19/13.26	c Core size: 4	Core Weight: 1	Total Weight: -798
13.19/13.26	c Elapsed CPU time: 13.025 s	Remaining CPU time: 1786.97 s
13.28/13.33	c core #203
13.28/13.33	c Core size: 4	Core Weight: 1	Total Weight: -797
13.28/13.33	c Elapsed CPU time: 13.089 s	Remaining CPU time: 1786.91 s
13.28/13.39	c core #204
13.28/13.39	c Core size: 4	Core Weight: 1	Total Weight: -796
13.28/13.39	c Elapsed CPU time: 13.154 s	Remaining CPU time: 1786.85 s
13.39/13.46	c core #205
13.39/13.46	c Core size: 4	Core Weight: 1	Total Weight: -795
13.39/13.46	c Elapsed CPU time: 13.217 s	Remaining CPU time: 1786.78 s
13.49/13.53	c core #206
13.49/13.53	c Core size: 4	Core Weight: 1	Total Weight: -794
13.49/13.53	c Elapsed CPU time: 13.284 s	Remaining CPU time: 1786.72 s
13.49/13.60	c core #207
13.49/13.60	c Core size: 4	Core Weight: 1	Total Weight: -793
13.49/13.60	c Elapsed CPU time: 13.348 s	Remaining CPU time: 1786.65 s
13.58/13.66	c core #208
13.58/13.66	c Core size: 4	Core Weight: 1	Total Weight: -792
13.58/13.66	c Elapsed CPU time: 13.411 s	Remaining CPU time: 1786.59 s
13.69/13.73	c core #209
13.69/13.73	c Core size: 4	Core Weight: 1	Total Weight: -791
13.69/13.73	c Elapsed CPU time: 13.4789 s	Remaining CPU time: 1786.52 s
13.79/13.80	c core #210
13.79/13.80	c Core size: 4	Core Weight: 1	Total Weight: -790
13.79/13.80	c Elapsed CPU time: 13.5439 s	Remaining CPU time: 1786.46 s
13.79/13.87	c core #211
13.79/13.87	c Core size: 4	Core Weight: 1	Total Weight: -789
13.79/13.87	c Elapsed CPU time: 13.6109 s	Remaining CPU time: 1786.39 s
13.89/13.93	c core #212
13.89/13.93	c Core size: 4	Core Weight: 1	Total Weight: -788
13.89/13.93	c Elapsed CPU time: 13.6789 s	Remaining CPU time: 1786.32 s
13.98/14.00	c core #213
13.98/14.00	c Core size: 4	Core Weight: 1	Total Weight: -787
13.98/14.00	c Elapsed CPU time: 13.7459 s	Remaining CPU time: 1786.25 s
13.98/14.07	c core #214
13.98/14.07	c Core size: 4	Core Weight: 1	Total Weight: -786
13.98/14.07	c Elapsed CPU time: 13.8129 s	Remaining CPU time: 1786.19 s
14.08/14.14	c core #215
14.08/14.14	c Core size: 4	Core Weight: 1	Total Weight: -785
14.08/14.14	c Elapsed CPU time: 13.8779 s	Remaining CPU time: 1786.12 s
14.19/14.21	c core #216
14.19/14.21	c Core size: 4	Core Weight: 1	Total Weight: -784
14.19/14.21	c Elapsed CPU time: 13.9419 s	Remaining CPU time: 1786.06 s
14.19/14.28	c core #217
14.19/14.28	c Core size: 4	Core Weight: 1	Total Weight: -783
14.19/14.28	c Elapsed CPU time: 14.0079 s	Remaining CPU time: 1785.99 s
14.29/14.34	c core #218
14.29/14.34	c Core size: 4	Core Weight: 1	Total Weight: -782
14.29/14.34	c Elapsed CPU time: 14.0759 s	Remaining CPU time: 1785.92 s
14.38/14.41	c core #219
14.38/14.41	c Core size: 4	Core Weight: 1	Total Weight: -781
14.38/14.41	c Elapsed CPU time: 14.1428 s	Remaining CPU time: 1785.86 s
14.38/14.48	c core #220
14.38/14.48	c Core size: 4	Core Weight: 1	Total Weight: -780
14.38/14.48	c Elapsed CPU time: 14.2098 s	Remaining CPU time: 1785.79 s
14.49/14.55	c core #221
14.49/14.55	c Core size: 4	Core Weight: 1	Total Weight: -779
14.49/14.55	c Elapsed CPU time: 14.2768 s	Remaining CPU time: 1785.72 s
14.59/14.62	c core #222
14.59/14.62	c Core size: 4	Core Weight: 1	Total Weight: -778
14.59/14.62	c Elapsed CPU time: 14.3458 s	Remaining CPU time: 1785.65 s
14.59/14.69	c core #223
14.59/14.69	c Core size: 4	Core Weight: 1	Total Weight: -777
14.59/14.69	c Elapsed CPU time: 14.4148 s	Remaining CPU time: 1785.59 s
14.69/14.76	c core #224
14.69/14.76	c Core size: 4	Core Weight: 1	Total Weight: -776
14.69/14.76	c Elapsed CPU time: 14.4818 s	Remaining CPU time: 1785.52 s
14.79/14.82	c core #225
14.79/14.82	c Core size: 4	Core Weight: 1	Total Weight: -775
14.79/14.82	c Elapsed CPU time: 14.5498 s	Remaining CPU time: 1785.45 s
14.79/14.89	c core #226
14.79/14.89	c Core size: 4	Core Weight: 1	Total Weight: -774
14.79/14.89	c Elapsed CPU time: 14.6158 s	Remaining CPU time: 1785.38 s
14.88/14.96	c core #227
14.88/14.96	c Core size: 4	Core Weight: 1	Total Weight: -773
14.88/14.96	c Elapsed CPU time: 14.6818 s	Remaining CPU time: 1785.32 s
14.98/15.03	c core #228
14.98/15.03	c Core size: 4	Core Weight: 1	Total Weight: -772
14.98/15.03	c Elapsed CPU time: 14.7458 s	Remaining CPU time: 1785.25 s
14.98/15.09	c core #229
14.98/15.09	c Core size: 4	Core Weight: 1	Total Weight: -771
14.98/15.09	c Elapsed CPU time: 14.8117 s	Remaining CPU time: 1785.19 s
15.09/15.16	c core #230
15.09/15.16	c Core size: 4	Core Weight: 1	Total Weight: -770
15.09/15.16	c Elapsed CPU time: 14.8777 s	Remaining CPU time: 1785.12 s
15.19/15.23	c core #231
15.19/15.23	c Core size: 4	Core Weight: 1	Total Weight: -769
15.19/15.23	c Elapsed CPU time: 14.9437 s	Remaining CPU time: 1785.06 s
15.19/15.30	c core #232
15.19/15.30	c Core size: 4	Core Weight: 1	Total Weight: -768
15.19/15.30	c Elapsed CPU time: 15.0117 s	Remaining CPU time: 1784.99 s
15.29/15.37	c core #233
15.29/15.37	c Core size: 4	Core Weight: 1	Total Weight: -767
15.29/15.37	c Elapsed CPU time: 15.0767 s	Remaining CPU time: 1784.92 s
15.39/15.43	c core #234
15.39/15.43	c Core size: 4	Core Weight: 1	Total Weight: -766
15.39/15.43	c Elapsed CPU time: 15.1437 s	Remaining CPU time: 1784.86 s
15.48/15.50	c core #235
15.48/15.50	c Core size: 4	Core Weight: 1	Total Weight: -765
15.48/15.50	c Elapsed CPU time: 15.2107 s	Remaining CPU time: 1784.79 s
15.48/15.57	c core #236
15.48/15.57	c Core size: 4	Core Weight: 1	Total Weight: -764
15.48/15.57	c Elapsed CPU time: 15.2787 s	Remaining CPU time: 1784.72 s
15.58/15.64	c core #237
15.58/15.64	c Core size: 4	Core Weight: 1	Total Weight: -763
15.58/15.64	c Elapsed CPU time: 15.3457 s	Remaining CPU time: 1784.65 s
15.69/15.70	c core #238
15.69/15.70	c Core size: 4	Core Weight: 1	Total Weight: -762
15.69/15.70	c Elapsed CPU time: 15.4097 s	Remaining CPU time: 1784.59 s
15.69/15.77	c core #239
15.69/15.77	c Core size: 4	Core Weight: 1	Total Weight: -761
15.69/15.77	c Elapsed CPU time: 15.4766 s	Remaining CPU time: 1784.52 s
15.79/15.84	c core #240
15.79/15.84	c Core size: 4	Core Weight: 1	Total Weight: -760
15.79/15.84	c Elapsed CPU time: 15.5426 s	Remaining CPU time: 1784.46 s
15.88/15.91	c core #241
15.88/15.91	c Core size: 4	Core Weight: 1	Total Weight: -759
15.88/15.91	c Elapsed CPU time: 15.6056 s	Remaining CPU time: 1784.39 s
15.88/15.97	c core #242
15.88/15.97	c Core size: 4	Core Weight: 1	Total Weight: -758
15.88/15.97	c Elapsed CPU time: 15.6706 s	Remaining CPU time: 1784.33 s
15.99/16.04	c core #243
15.99/16.04	c Core size: 4	Core Weight: 1	Total Weight: -757
15.99/16.04	c Elapsed CPU time: 15.7356 s	Remaining CPU time: 1784.26 s
16.08/16.11	c core #244
16.08/16.11	c Core size: 4	Core Weight: 1	Total Weight: -756
16.08/16.11	c Elapsed CPU time: 15.7986 s	Remaining CPU time: 1784.2 s
16.08/16.18	c core #245
16.08/16.18	c Core size: 4	Core Weight: 1	Total Weight: -755
16.08/16.18	c Elapsed CPU time: 15.8666 s	Remaining CPU time: 1784.13 s
16.18/16.25	c core #246
16.18/16.25	c Core size: 4	Core Weight: 1	Total Weight: -754
16.18/16.25	c Elapsed CPU time: 15.9336 s	Remaining CPU time: 1784.07 s
16.29/16.31	c core #247
16.29/16.31	c Core size: 4	Core Weight: 1	Total Weight: -753
16.29/16.31	c Elapsed CPU time: 15.9976 s	Remaining CPU time: 1784 s
16.29/16.38	c core #248
16.29/16.38	c Core size: 4	Core Weight: 1	Total Weight: -752
16.29/16.38	c Elapsed CPU time: 16.0666 s	Remaining CPU time: 1783.93 s
16.39/16.45	c core #249
16.39/16.45	c Core size: 4	Core Weight: 1	Total Weight: -751
16.39/16.45	c Elapsed CPU time: 16.1335 s	Remaining CPU time: 1783.87 s
16.49/16.52	c core #250
16.49/16.52	c Core size: 4	Core Weight: 1	Total Weight: -750
16.49/16.52	c Elapsed CPU time: 16.1995 s	Remaining CPU time: 1783.8 s
16.49/16.59	c core #251
16.49/16.59	c Core size: 4	Core Weight: 1	Total Weight: -749
16.49/16.59	c Elapsed CPU time: 16.2655 s	Remaining CPU time: 1783.73 s
16.58/16.65	c core #252
16.58/16.65	c Core size: 4	Core Weight: 1	Total Weight: -748
16.58/16.65	c Elapsed CPU time: 16.3305 s	Remaining CPU time: 1783.67 s
16.68/16.72	c core #253
16.68/16.72	c Core size: 4	Core Weight: 1	Total Weight: -747
16.68/16.72	c Elapsed CPU time: 16.3975 s	Remaining CPU time: 1783.6 s
16.68/16.79	c core #254
16.68/16.79	c Core size: 4	Core Weight: 1	Total Weight: -746
16.68/16.79	c Elapsed CPU time: 16.4655 s	Remaining CPU time: 1783.53 s
16.78/16.86	c core #255
16.78/16.86	c Core size: 4	Core Weight: 1	Total Weight: -745
16.78/16.86	c Elapsed CPU time: 16.5315 s	Remaining CPU time: 1783.47 s
16.89/16.92	c core #256
16.89/16.92	c Core size: 4	Core Weight: 1	Total Weight: -744
16.89/16.92	c Elapsed CPU time: 16.5975 s	Remaining CPU time: 1783.4 s
16.89/16.99	c core #257
16.89/16.99	c Core size: 4	Core Weight: 1	Total Weight: -743
16.89/16.99	c Elapsed CPU time: 16.6655 s	Remaining CPU time: 1783.33 s
16.98/17.06	c core #258
16.98/17.06	c Core size: 4	Core Weight: 1	Total Weight: -742
16.98/17.06	c Elapsed CPU time: 16.7315 s	Remaining CPU time: 1783.27 s
17.08/17.13	c core #259
17.08/17.13	c Core size: 4	Core Weight: 1	Total Weight: -741
17.08/17.13	c Elapsed CPU time: 16.7974 s	Remaining CPU time: 1783.2 s
17.08/17.19	c core #260
17.08/17.19	c Core size: 4	Core Weight: 1	Total Weight: -740
17.08/17.19	c Elapsed CPU time: 16.8634 s	Remaining CPU time: 1783.14 s
17.18/17.26	c core #261
17.18/17.26	c Core size: 4	Core Weight: 1	Total Weight: -739
17.18/17.26	c Elapsed CPU time: 16.9314 s	Remaining CPU time: 1783.07 s
17.28/17.33	c core #262
17.28/17.33	c Core size: 4	Core Weight: 1	Total Weight: -738
17.28/17.33	c Elapsed CPU time: 16.9994 s	Remaining CPU time: 1783 s
17.38/17.40	c core #263
17.38/17.40	c Core size: 4	Core Weight: 1	Total Weight: -737
17.38/17.40	c Elapsed CPU time: 17.0684 s	Remaining CPU time: 1782.93 s
17.38/17.47	c core #264
17.38/17.47	c Core size: 4	Core Weight: 1	Total Weight: -736
17.38/17.47	c Elapsed CPU time: 17.1354 s	Remaining CPU time: 1782.86 s
17.48/17.53	c core #265
17.48/17.53	c Core size: 4	Core Weight: 1	Total Weight: -735
17.48/17.53	c Elapsed CPU time: 17.2024 s	Remaining CPU time: 1782.8 s
17.58/17.60	c core #266
17.58/17.60	c Core size: 4	Core Weight: 1	Total Weight: -734
17.58/17.60	c Elapsed CPU time: 17.2694 s	Remaining CPU time: 1782.73 s
17.58/17.67	c core #267
17.58/17.67	c Core size: 4	Core Weight: 1	Total Weight: -733
17.58/17.67	c Elapsed CPU time: 17.3384 s	Remaining CPU time: 1782.66 s
17.68/17.74	c core #268
17.68/17.74	c Core size: 4	Core Weight: 1	Total Weight: -732
17.68/17.74	c Elapsed CPU time: 17.4064 s	Remaining CPU time: 1782.59 s
17.78/17.81	c core #269
17.78/17.81	c Core size: 4	Core Weight: 1	Total Weight: -731
17.78/17.81	c Elapsed CPU time: 17.4733 s	Remaining CPU time: 1782.53 s
17.78/17.88	c core #270
17.78/17.88	c Core size: 4	Core Weight: 1	Total Weight: -730
17.78/17.88	c Elapsed CPU time: 17.5413 s	Remaining CPU time: 1782.46 s
17.88/17.95	c core #271
17.88/17.95	c Core size: 4	Core Weight: 1	Total Weight: -729
17.88/17.95	c Elapsed CPU time: 17.6093 s	Remaining CPU time: 1782.39 s
17.98/18.01	c core #272
17.98/18.01	c Core size: 4	Core Weight: 1	Total Weight: -728
17.98/18.01	c Elapsed CPU time: 17.6763 s	Remaining CPU time: 1782.32 s
17.98/18.08	c core #273
17.98/18.08	c Core size: 4	Core Weight: 1	Total Weight: -727
17.98/18.08	c Elapsed CPU time: 17.7433 s	Remaining CPU time: 1782.26 s
18.08/18.15	c core #274
18.08/18.15	c Core size: 4	Core Weight: 1	Total Weight: -726
18.08/18.15	c Elapsed CPU time: 17.8043 s	Remaining CPU time: 1782.2 s
18.18/18.22	c core #275
18.18/18.22	c Core size: 4	Core Weight: 1	Total Weight: -725
18.18/18.22	c Elapsed CPU time: 17.8713 s	Remaining CPU time: 1782.13 s
18.18/18.28	c core #276
18.18/18.28	c Core size: 4	Core Weight: 1	Total Weight: -724
18.18/18.28	c Elapsed CPU time: 17.9383 s	Remaining CPU time: 1782.06 s
18.28/18.35	c core #277
18.28/18.35	c Core size: 4	Core Weight: 1	Total Weight: -723
18.28/18.35	c Elapsed CPU time: 18.0083 s	Remaining CPU time: 1781.99 s
18.38/18.42	c core #278
18.38/18.42	c Core size: 4	Core Weight: 1	Total Weight: -722
18.38/18.42	c Elapsed CPU time: 18.0743 s	Remaining CPU time: 1781.93 s
18.38/18.49	c core #279
18.38/18.49	c Core size: 4	Core Weight: 1	Total Weight: -721
18.38/18.49	c Elapsed CPU time: 18.1402 s	Remaining CPU time: 1781.86 s
18.48/18.55	c core #280
18.48/18.55	c Core size: 4	Core Weight: 1	Total Weight: -720
18.48/18.55	c Elapsed CPU time: 18.2062 s	Remaining CPU time: 1781.79 s
18.58/18.62	c core #281
18.58/18.62	c Core size: 4	Core Weight: 1	Total Weight: -719
18.58/18.62	c Elapsed CPU time: 18.2732 s	Remaining CPU time: 1781.73 s
18.58/18.69	c core #282
18.58/18.69	c Core size: 4	Core Weight: 1	Total Weight: -718
18.58/18.69	c Elapsed CPU time: 18.3412 s	Remaining CPU time: 1781.66 s
18.69/18.75	c core #283
18.69/18.75	c Core size: 4	Core Weight: 1	Total Weight: -717
18.69/18.76	c Elapsed CPU time: 18.4062 s	Remaining CPU time: 1781.59 s
18.78/18.82	c core #284
18.78/18.82	c Core size: 4	Core Weight: 1	Total Weight: -716
18.78/18.82	c Elapsed CPU time: 18.4702 s	Remaining CPU time: 1781.53 s
18.78/18.89	c core #285
18.78/18.89	c Core size: 4	Core Weight: 1	Total Weight: -715
18.78/18.89	c Elapsed CPU time: 18.5362 s	Remaining CPU time: 1781.46 s
18.88/18.96	c core #286
18.88/18.96	c Core size: 4	Core Weight: 1	Total Weight: -714
18.88/18.96	c Elapsed CPU time: 18.6032 s	Remaining CPU time: 1781.4 s
18.98/19.03	c core #287
18.98/19.03	c Core size: 4	Core Weight: 1	Total Weight: -713
18.98/19.03	c Elapsed CPU time: 18.6722 s	Remaining CPU time: 1781.33 s
18.98/19.10	c core #288
18.98/19.10	c Core size: 4	Core Weight: 1	Total Weight: -712
18.98/19.10	c Elapsed CPU time: 18.7402 s	Remaining CPU time: 1781.26 s
19.08/19.17	c core #289
19.08/19.17	c Core size: 4	Core Weight: 1	Total Weight: -711
19.08/19.17	c Elapsed CPU time: 18.8091 s	Remaining CPU time: 1781.19 s
19.18/19.23	c core #290
19.18/19.23	c Core size: 4	Core Weight: 1	Total Weight: -710
19.18/19.23	c Elapsed CPU time: 18.8751 s	Remaining CPU time: 1781.12 s
19.28/19.30	c core #291
19.28/19.30	c Core size: 4	Core Weight: 1	Total Weight: -709
19.28/19.30	c Elapsed CPU time: 18.9411 s	Remaining CPU time: 1781.06 s
19.28/19.37	c core #292
19.28/19.37	c Core size: 4	Core Weight: 1	Total Weight: -708
19.28/19.37	c Elapsed CPU time: 19.0061 s	Remaining CPU time: 1780.99 s
19.38/19.44	c core #293
19.38/19.44	c Core size: 4	Core Weight: 1	Total Weight: -707
19.38/19.44	c Elapsed CPU time: 19.0741 s	Remaining CPU time: 1780.93 s
19.48/19.51	c core #294
19.48/19.51	c Core size: 4	Core Weight: 1	Total Weight: -706
19.48/19.51	c Elapsed CPU time: 19.1431 s	Remaining CPU time: 1780.86 s
19.48/19.58	c core #295
19.48/19.58	c Core size: 4	Core Weight: 1	Total Weight: -705
19.48/19.58	c Elapsed CPU time: 19.2091 s	Remaining CPU time: 1780.79 s
19.58/19.64	c core #296
19.58/19.64	c Core size: 4	Core Weight: 1	Total Weight: -704
19.58/19.64	c Elapsed CPU time: 19.2731 s	Remaining CPU time: 1780.73 s
19.68/19.71	c core #297
19.68/19.71	c Core size: 4	Core Weight: 1	Total Weight: -703
19.68/19.71	c Elapsed CPU time: 19.3421 s	Remaining CPU time: 1780.66 s
19.68/19.78	c core #298
19.68/19.78	c Core size: 4	Core Weight: 1	Total Weight: -702
19.68/19.78	c Elapsed CPU time: 19.409 s	Remaining CPU time: 1780.59 s
19.78/19.85	c core #299
19.78/19.85	c Core size: 4	Core Weight: 1	Total Weight: -701
19.78/19.85	c Elapsed CPU time: 19.477 s	Remaining CPU time: 1780.52 s
19.88/19.92	c core #300
19.88/19.92	c Core size: 4	Core Weight: 1	Total Weight: -700
19.88/19.92	c Elapsed CPU time: 19.546 s	Remaining CPU time: 1780.45 s
19.88/19.99	c core #301
19.88/19.99	c Core size: 4	Core Weight: 1	Total Weight: -699
19.88/19.99	c Elapsed CPU time: 19.617 s	Remaining CPU time: 1780.38 s
19.98/20.06	c core #302
19.98/20.06	c Core size: 4	Core Weight: 1	Total Weight: -698
19.98/20.06	c Elapsed CPU time: 19.683 s	Remaining CPU time: 1780.32 s
20.07/20.13	c core #303
20.07/20.13	c Core size: 4	Core Weight: 1	Total Weight: -697
20.07/20.13	c Elapsed CPU time: 19.75 s	Remaining CPU time: 1780.25 s
20.18/20.20	c core #304
20.18/20.20	c Core size: 4	Core Weight: 1	Total Weight: -696
20.18/20.20	c Elapsed CPU time: 19.816 s	Remaining CPU time: 1780.18 s
20.18/20.27	c core #305
20.18/20.27	c Core size: 4	Core Weight: 1	Total Weight: -695
20.18/20.27	c Elapsed CPU time: 19.884 s	Remaining CPU time: 1780.12 s
20.28/20.34	c core #306
20.28/20.34	c Core size: 4	Core Weight: 1	Total Weight: -694
20.28/20.34	c Elapsed CPU time: 19.953 s	Remaining CPU time: 1780.05 s
20.38/20.40	c core #307
20.38/20.40	c Core size: 4	Core Weight: 1	Total Weight: -693
20.38/20.41	c Elapsed CPU time: 20.021 s	Remaining CPU time: 1779.98 s
20.38/20.47	c core #308
20.38/20.47	c Core size: 4	Core Weight: 1	Total Weight: -692
20.38/20.47	c Elapsed CPU time: 20.0879 s	Remaining CPU time: 1779.91 s
20.47/20.54	c core #309
20.47/20.54	c Core size: 4	Core Weight: 1	Total Weight: -691
20.47/20.54	c Elapsed CPU time: 20.1559 s	Remaining CPU time: 1779.84 s
20.57/20.61	c core #310
20.57/20.61	c Core size: 4	Core Weight: 1	Total Weight: -690
20.57/20.61	c Elapsed CPU time: 20.2239 s	Remaining CPU time: 1779.78 s
20.57/20.68	c core #311
20.57/20.68	c Core size: 4	Core Weight: 1	Total Weight: -689
20.57/20.68	c Elapsed CPU time: 20.2919 s	Remaining CPU time: 1779.71 s
20.67/20.75	c core #312
20.67/20.75	c Core size: 4	Core Weight: 1	Total Weight: -688
20.67/20.75	c Elapsed CPU time: 20.3589 s	Remaining CPU time: 1779.64 s
20.78/20.82	c core #313
20.78/20.82	c Core size: 4	Core Weight: 1	Total Weight: -687
20.78/20.82	c Elapsed CPU time: 20.4269 s	Remaining CPU time: 1779.57 s
20.78/20.89	c core #314
20.78/20.89	c Core size: 4	Core Weight: 1	Total Weight: -686
20.78/20.89	c Elapsed CPU time: 20.4929 s	Remaining CPU time: 1779.51 s
20.88/20.95	c core #315
20.88/20.95	c Core size: 4	Core Weight: 1	Total Weight: -685
20.88/20.95	c Elapsed CPU time: 20.5589 s	Remaining CPU time: 1779.44 s
20.98/21.02	c core #316
20.98/21.02	c Core size: 4	Core Weight: 1	Total Weight: -684
20.98/21.02	c Elapsed CPU time: 20.6269 s	Remaining CPU time: 1779.37 s
20.98/21.09	c core #317
20.98/21.09	c Core size: 4	Core Weight: 1	Total Weight: -683
20.98/21.09	c Elapsed CPU time: 20.6959 s	Remaining CPU time: 1779.3 s
21.07/21.16	c core #318
21.07/21.16	c Core size: 4	Core Weight: 1	Total Weight: -682
21.07/21.16	c Elapsed CPU time: 20.7638 s	Remaining CPU time: 1779.24 s
21.17/21.23	c core #319
21.17/21.23	c Core size: 4	Core Weight: 1	Total Weight: -681
21.17/21.23	c Elapsed CPU time: 20.8338 s	Remaining CPU time: 1779.17 s
21.27/21.30	c core #320
21.27/21.30	c Core size: 4	Core Weight: 1	Total Weight: -680
21.27/21.30	c Elapsed CPU time: 20.9028 s	Remaining CPU time: 1779.1 s
21.27/21.37	c core #321
21.27/21.37	c Core size: 4	Core Weight: 1	Total Weight: -679
21.27/21.37	c Elapsed CPU time: 20.9708 s	Remaining CPU time: 1779.03 s
21.37/21.44	c core #322
21.37/21.44	c Core size: 4	Core Weight: 1	Total Weight: -678
21.37/21.44	c Elapsed CPU time: 21.0368 s	Remaining CPU time: 1778.96 s
21.47/21.51	c core #323
21.47/21.51	c Core size: 4	Core Weight: 1	Total Weight: -677
21.47/21.51	c Elapsed CPU time: 21.1048 s	Remaining CPU time: 1778.9 s
21.47/21.58	c core #324
21.47/21.58	c Core size: 4	Core Weight: 1	Total Weight: -676
21.47/21.58	c Elapsed CPU time: 21.1728 s	Remaining CPU time: 1778.83 s
21.57/21.65	c core #325
21.57/21.65	c Core size: 4	Core Weight: 1	Total Weight: -675
21.57/21.65	c Elapsed CPU time: 21.2408 s	Remaining CPU time: 1778.76 s
21.67/21.71	c core #326
21.67/21.71	c Core size: 4	Core Weight: 1	Total Weight: -674
21.67/21.71	c Elapsed CPU time: 21.3068 s	Remaining CPU time: 1778.69 s
21.67/21.79	c core #327
21.67/21.79	c Core size: 4	Core Weight: 1	Total Weight: -673
21.67/21.79	c Elapsed CPU time: 21.3758 s	Remaining CPU time: 1778.62 s
21.77/21.85	c core #328
21.77/21.85	c Core size: 4	Core Weight: 1	Total Weight: -672
21.77/21.85	c Elapsed CPU time: 21.4437 s	Remaining CPU time: 1778.56 s
21.87/21.92	c core #329
21.87/21.92	c Core size: 4	Core Weight: 1	Total Weight: -671
21.87/21.92	c Elapsed CPU time: 21.5127 s	Remaining CPU time: 1778.49 s
21.87/21.99	c core #330
21.87/21.99	c Core size: 4	Core Weight: 1	Total Weight: -670
21.87/21.99	c Elapsed CPU time: 21.5807 s	Remaining CPU time: 1778.42 s
21.97/22.06	c core #331
21.97/22.06	c Core size: 4	Core Weight: 1	Total Weight: -669
21.97/22.06	c Elapsed CPU time: 21.6497 s	Remaining CPU time: 1778.35 s
22.07/22.13	c core #332
22.07/22.13	c Core size: 4	Core Weight: 1	Total Weight: -668
22.07/22.13	c Elapsed CPU time: 21.7177 s	Remaining CPU time: 1778.28 s
22.17/22.20	c core #333
22.17/22.20	c Core size: 4	Core Weight: 1	Total Weight: -667
22.17/22.20	c Elapsed CPU time: 21.7877 s	Remaining CPU time: 1778.21 s
22.17/22.27	c core #334
22.17/22.27	c Core size: 4	Core Weight: 1	Total Weight: -666
22.17/22.27	c Elapsed CPU time: 21.8557 s	Remaining CPU time: 1778.14 s
22.27/22.34	c core #335
22.27/22.34	c Core size: 4	Core Weight: 1	Total Weight: -665
22.27/22.34	c Elapsed CPU time: 21.9237 s	Remaining CPU time: 1778.08 s
22.37/22.41	c core #336
22.37/22.41	c Core size: 4	Core Weight: 1	Total Weight: -664
22.37/22.41	c Elapsed CPU time: 21.9897 s	Remaining CPU time: 1778.01 s
22.37/22.48	c core #337
22.37/22.48	c Core size: 4	Core Weight: 1	Total Weight: -663
22.37/22.48	c Elapsed CPU time: 22.0576 s	Remaining CPU time: 1777.94 s
22.47/22.54	c core #338
22.47/22.54	c Core size: 4	Core Weight: 1	Total Weight: -662
22.47/22.55	c Elapsed CPU time: 22.1256 s	Remaining CPU time: 1777.87 s
22.57/22.61	c core #339
22.57/22.61	c Core size: 4	Core Weight: 1	Total Weight: -661
22.57/22.61	c Elapsed CPU time: 22.1926 s	Remaining CPU time: 1777.81 s
22.57/22.68	c core #340
22.57/22.68	c Core size: 4	Core Weight: 1	Total Weight: -660
22.57/22.68	c Elapsed CPU time: 22.2606 s	Remaining CPU time: 1777.74 s
22.67/22.75	c core #341
22.67/22.75	c Core size: 4	Core Weight: 1	Total Weight: -659
22.67/22.75	c Elapsed CPU time: 22.3276 s	Remaining CPU time: 1777.67 s
22.77/22.82	c core #342
22.77/22.82	c Core size: 4	Core Weight: 1	Total Weight: -658
22.77/22.82	c Elapsed CPU time: 22.3966 s	Remaining CPU time: 1777.6 s
22.77/22.89	c core #343
22.77/22.89	c Core size: 4	Core Weight: 1	Total Weight: -657
22.77/22.89	c Elapsed CPU time: 22.4646 s	Remaining CPU time: 1777.54 s
22.87/22.96	c core #344
22.87/22.96	c Core size: 4	Core Weight: 1	Total Weight: -656
22.87/22.96	c Elapsed CPU time: 22.5316 s	Remaining CPU time: 1777.47 s
22.97/23.03	c core #345
22.97/23.03	c Core size: 4	Core Weight: 1	Total Weight: -655
22.97/23.03	c Elapsed CPU time: 22.5976 s	Remaining CPU time: 1777.4 s
22.97/23.09	c core #346
22.97/23.09	c Core size: 4	Core Weight: 1	Total Weight: -654
22.97/23.09	c Elapsed CPU time: 22.6656 s	Remaining CPU time: 1777.33 s
23.07/23.16	c core #347
23.07/23.16	c Core size: 4	Core Weight: 1	Total Weight: -653
23.07/23.16	c Elapsed CPU time: 22.7355 s	Remaining CPU time: 1777.26 s
23.16/23.23	c core #348
23.16/23.23	c Core size: 4	Core Weight: 1	Total Weight: -652
23.16/23.23	c Elapsed CPU time: 22.8045 s	Remaining CPU time: 1777.2 s
23.27/23.30	c core #349
23.27/23.30	c Core size: 4	Core Weight: 1	Total Weight: -651
23.27/23.30	c Elapsed CPU time: 22.8725 s	Remaining CPU time: 1777.13 s
23.27/23.37	c core #350
23.27/23.37	c Core size: 4	Core Weight: 1	Total Weight: -650
23.27/23.37	c Elapsed CPU time: 22.9395 s	Remaining CPU time: 1777.06 s
23.37/23.44	c core #351
23.37/23.44	c Core size: 4	Core Weight: 1	Total Weight: -649
23.37/23.44	c Elapsed CPU time: 23.0065 s	Remaining CPU time: 1776.99 s
23.47/23.51	c core #352
23.47/23.51	c Core size: 4	Core Weight: 1	Total Weight: -648
23.47/23.51	c Elapsed CPU time: 23.0745 s	Remaining CPU time: 1776.93 s
23.47/23.58	c core #353
23.47/23.58	c Core size: 4	Core Weight: 1	Total Weight: -647
23.47/23.58	c Elapsed CPU time: 23.1415 s	Remaining CPU time: 1776.86 s
23.56/23.64	c core #354
23.56/23.64	c Core size: 4	Core Weight: 1	Total Weight: -646
23.56/23.64	c Elapsed CPU time: 23.2065 s	Remaining CPU time: 1776.79 s
23.66/23.71	c core #355
23.66/23.71	c Core size: 4	Core Weight: 1	Total Weight: -645
23.66/23.71	c Elapsed CPU time: 23.2755 s	Remaining CPU time: 1776.72 s
23.66/23.78	c core #356
23.66/23.78	c Core size: 4	Core Weight: 1	Total Weight: -644
23.66/23.78	c Elapsed CPU time: 23.3425 s	Remaining CPU time: 1776.66 s
23.76/23.85	c core #357
23.76/23.85	c Core size: 4	Core Weight: 1	Total Weight: -643
23.76/23.85	c Elapsed CPU time: 23.4094 s	Remaining CPU time: 1776.59 s
23.86/23.92	c core #358
23.86/23.92	c Core size: 4	Core Weight: 1	Total Weight: -642
23.86/23.92	c Elapsed CPU time: 23.4764 s	Remaining CPU time: 1776.52 s
23.86/23.99	c core #359
23.86/23.99	c Core size: 4	Core Weight: 1	Total Weight: -641
23.86/23.99	c Elapsed CPU time: 23.5464 s	Remaining CPU time: 1776.45 s
23.97/24.06	c core #360
23.97/24.06	c Core size: 4	Core Weight: 1	Total Weight: -640
23.97/24.06	c Elapsed CPU time: 23.6154 s	Remaining CPU time: 1776.38 s
24.07/24.13	c core #361
24.07/24.13	c Core size: 4	Core Weight: 1	Total Weight: -639
24.07/24.13	c Elapsed CPU time: 23.6824 s	Remaining CPU time: 1776.32 s
24.07/24.20	c core #362
24.07/24.20	c Core size: 4	Core Weight: 1	Total Weight: -638
24.07/24.20	c Elapsed CPU time: 23.7494 s	Remaining CPU time: 1776.25 s
24.17/24.27	c core #363
24.17/24.27	c Core size: 4	Core Weight: 1	Total Weight: -637
24.17/24.27	c Elapsed CPU time: 23.8184 s	Remaining CPU time: 1776.18 s
24.26/24.34	c core #364
24.26/24.34	c Core size: 4	Core Weight: 1	Total Weight: -636
24.26/24.34	c Elapsed CPU time: 23.8854 s	Remaining CPU time: 1776.11 s
24.36/24.40	c core #365
24.36/24.40	c Core size: 4	Core Weight: 1	Total Weight: -635
24.36/24.40	c Elapsed CPU time: 23.9544 s	Remaining CPU time: 1776.05 s
24.36/24.47	c core #366
24.36/24.47	c Core size: 4	Core Weight: 1	Total Weight: -634
24.36/24.47	c Elapsed CPU time: 24.0223 s	Remaining CPU time: 1775.98 s
24.46/24.54	c core #367
24.46/24.54	c Core size: 4	Core Weight: 1	Total Weight: -633
24.46/24.54	c Elapsed CPU time: 24.0903 s	Remaining CPU time: 1775.91 s
24.56/24.61	c core #368
24.56/24.61	c Core size: 4	Core Weight: 1	Total Weight: -632
24.56/24.61	c Elapsed CPU time: 24.1593 s	Remaining CPU time: 1775.84 s
24.56/24.68	c core #369
24.56/24.68	c Core size: 4	Core Weight: 1	Total Weight: -631
24.56/24.68	c Elapsed CPU time: 24.2293 s	Remaining CPU time: 1775.77 s
24.66/24.75	c core #370
24.66/24.75	c Core size: 4	Core Weight: 1	Total Weight: -630
24.66/24.75	c Elapsed CPU time: 24.2983 s	Remaining CPU time: 1775.7 s
24.76/24.82	c core #371
24.76/24.82	c Core size: 4	Core Weight: 1	Total Weight: -629
24.76/24.82	c Elapsed CPU time: 24.3663 s	Remaining CPU time: 1775.63 s
24.76/24.89	c core #372
24.76/24.89	c Core size: 4	Core Weight: 1	Total Weight: -628
24.76/24.89	c Elapsed CPU time: 24.4343 s	Remaining CPU time: 1775.57 s
24.87/24.96	c core #373
24.87/24.96	c Core size: 4	Core Weight: 1	Total Weight: -627
24.87/24.96	c Elapsed CPU time: 24.5053 s	Remaining CPU time: 1775.49 s
24.96/25.03	c core #374
24.96/25.03	c Core size: 4	Core Weight: 1	Total Weight: -626
24.96/25.03	c Elapsed CPU time: 24.5723 s	Remaining CPU time: 1775.43 s
25.06/25.10	c core #375
25.06/25.10	c Core size: 4	Core Weight: 1	Total Weight: -625
25.06/25.10	c Elapsed CPU time: 24.6403 s	Remaining CPU time: 1775.36 s
25.06/25.17	c core #376
25.06/25.17	c Core size: 4	Core Weight: 1	Total Weight: -624
25.06/25.17	c Elapsed CPU time: 24.7082 s	Remaining CPU time: 1775.29 s
25.16/25.24	c core #377
25.16/25.24	c Core size: 4	Core Weight: 1	Total Weight: -623
25.16/25.24	c Elapsed CPU time: 24.7782 s	Remaining CPU time: 1775.22 s
25.26/25.31	c core #378
25.26/25.31	c Core size: 4	Core Weight: 1	Total Weight: -622
25.26/25.31	c Elapsed CPU time: 24.8472 s	Remaining CPU time: 1775.15 s
25.26/25.38	c core #379
25.26/25.38	c Core size: 4	Core Weight: 1	Total Weight: -621
25.26/25.38	c Elapsed CPU time: 24.9152 s	Remaining CPU time: 1775.08 s
25.37/25.45	c core #380
25.37/25.45	c Core size: 4	Core Weight: 1	Total Weight: -620
25.37/25.45	c Elapsed CPU time: 24.9832 s	Remaining CPU time: 1775.02 s
25.46/25.52	c core #381
25.46/25.52	c Core size: 4	Core Weight: 1	Total Weight: -619
25.46/25.52	c Elapsed CPU time: 25.0502 s	Remaining CPU time: 1774.95 s
25.46/25.59	c core #382
25.46/25.59	c Core size: 4	Core Weight: 1	Total Weight: -618
25.46/25.59	c Elapsed CPU time: 25.1152 s	Remaining CPU time: 1774.88 s
25.56/25.66	c core #383
25.56/25.66	c Core size: 4	Core Weight: 1	Total Weight: -617
25.56/25.66	c Elapsed CPU time: 25.1842 s	Remaining CPU time: 1774.82 s
25.66/25.72	c core #384
25.66/25.72	c Core size: 4	Core Weight: 1	Total Weight: -616
25.66/25.72	c Elapsed CPU time: 25.2502 s	Remaining CPU time: 1774.75 s
25.66/25.79	c core #385
25.66/25.79	c Core size: 4	Core Weight: 1	Total Weight: -615
25.66/25.79	c Elapsed CPU time: 25.3172 s	Remaining CPU time: 1774.68 s
25.76/25.86	c core #386
25.76/25.86	c Core size: 4	Core Weight: 1	Total Weight: -614
25.76/25.86	c Elapsed CPU time: 25.3851 s	Remaining CPU time: 1774.61 s
25.86/25.93	c core #387
25.86/25.93	c Core size: 4	Core Weight: 1	Total Weight: -613
25.86/25.93	c Elapsed CPU time: 25.4521 s	Remaining CPU time: 1774.55 s
25.96/26.00	c core #388
25.96/26.00	c Core size: 4	Core Weight: 1	Total Weight: -612
25.96/26.00	c Elapsed CPU time: 25.5191 s	Remaining CPU time: 1774.48 s
25.96/26.07	c core #389
25.96/26.07	c Core size: 4	Core Weight: 1	Total Weight: -611
25.96/26.07	c Elapsed CPU time: 25.5871 s	Remaining CPU time: 1774.41 s
26.06/26.14	c core #390
26.06/26.14	c Core size: 4	Core Weight: 1	Total Weight: -610
26.06/26.14	c Elapsed CPU time: 25.6551 s	Remaining CPU time: 1774.34 s
26.16/26.21	c core #391
26.16/26.21	c Core size: 4	Core Weight: 1	Total Weight: -609
26.16/26.21	c Elapsed CPU time: 25.7221 s	Remaining CPU time: 1774.28 s
26.16/26.28	c core #392
26.16/26.28	c Core size: 4	Core Weight: 1	Total Weight: -608
26.16/26.28	c Elapsed CPU time: 25.7881 s	Remaining CPU time: 1774.21 s
26.26/26.35	c core #393
26.26/26.35	c Core size: 4	Core Weight: 1	Total Weight: -607
26.26/26.35	c Elapsed CPU time: 25.8561 s	Remaining CPU time: 1774.14 s
26.36/26.42	c core #394
26.36/26.42	c Core size: 4	Core Weight: 1	Total Weight: -606
26.36/26.42	c Elapsed CPU time: 25.9241 s	Remaining CPU time: 1774.08 s
26.36/26.49	c core #395
26.36/26.49	c Core size: 4	Core Weight: 1	Total Weight: -605
26.36/26.49	c Elapsed CPU time: 25.994 s	Remaining CPU time: 1774.01 s
26.46/26.56	c core #396
26.46/26.56	c Core size: 4	Core Weight: 1	Total Weight: -604
26.46/26.56	c Elapsed CPU time: 26.064 s	Remaining CPU time: 1773.94 s
26.56/26.63	c core #397
26.56/26.63	c Core size: 4	Core Weight: 1	Total Weight: -603
26.56/26.63	c Elapsed CPU time: 26.132 s	Remaining CPU time: 1773.87 s
26.65/26.70	c core #398
26.65/26.70	c Core size: 4	Core Weight: 1	Total Weight: -602
26.65/26.70	c Elapsed CPU time: 26.199 s	Remaining CPU time: 1773.8 s
26.65/26.77	c core #399
26.65/26.77	c Core size: 4	Core Weight: 1	Total Weight: -601
26.65/26.77	c Elapsed CPU time: 26.268 s	Remaining CPU time: 1773.73 s
26.75/26.84	c core #400
26.75/26.84	c Core size: 4	Core Weight: 1	Total Weight: -600
26.75/26.84	c Elapsed CPU time: 26.337 s	Remaining CPU time: 1773.66 s
26.85/26.91	c core #401
26.85/26.91	c Core size: 4	Core Weight: 1	Total Weight: -599
26.85/26.91	c Elapsed CPU time: 26.406 s	Remaining CPU time: 1773.59 s
26.85/26.97	c core #402
26.85/26.97	c Core size: 4	Core Weight: 1	Total Weight: -598
26.85/26.97	c Elapsed CPU time: 26.475 s	Remaining CPU time: 1773.53 s
26.95/27.04	c core #403
26.95/27.04	c Core size: 4	Core Weight: 1	Total Weight: -597
26.95/27.04	c Elapsed CPU time: 26.542 s	Remaining CPU time: 1773.46 s
27.06/27.11	c core #404
27.06/27.11	c Core size: 4	Core Weight: 1	Total Weight: -596
27.06/27.11	c Elapsed CPU time: 26.607 s	Remaining CPU time: 1773.39 s
27.06/27.18	c core #405
27.06/27.18	c Core size: 4	Core Weight: 1	Total Weight: -595
27.06/27.18	c Elapsed CPU time: 26.6749 s	Remaining CPU time: 1773.33 s
27.15/27.25	c core #406
27.15/27.25	c Core size: 4	Core Weight: 1	Total Weight: -594
27.15/27.25	c Elapsed CPU time: 26.7429 s	Remaining CPU time: 1773.26 s
27.25/27.32	c core #407
27.25/27.32	c Core size: 4	Core Weight: 1	Total Weight: -593
27.25/27.32	c Elapsed CPU time: 26.8119 s	Remaining CPU time: 1773.19 s
27.25/27.39	c core #408
27.25/27.39	c Core size: 4	Core Weight: 1	Total Weight: -592
27.25/27.39	c Elapsed CPU time: 26.8799 s	Remaining CPU time: 1773.12 s
27.36/27.46	c core #409
27.36/27.46	c Core size: 4	Core Weight: 1	Total Weight: -591
27.36/27.46	c Elapsed CPU time: 26.9489 s	Remaining CPU time: 1773.05 s
27.46/27.53	c core #410
27.46/27.53	c Core size: 4	Core Weight: 1	Total Weight: -590
27.46/27.53	c Elapsed CPU time: 27.0179 s	Remaining CPU time: 1772.98 s
27.56/27.60	c core #411
27.56/27.60	c Core size: 4	Core Weight: 1	Total Weight: -589
27.56/27.60	c Elapsed CPU time: 27.0889 s	Remaining CPU time: 1772.91 s
27.56/27.67	c core #412
27.56/27.67	c Core size: 4	Core Weight: 1	Total Weight: -588
27.56/27.67	c Elapsed CPU time: 27.1569 s	Remaining CPU time: 1772.84 s
27.65/27.74	c core #413
27.65/27.74	c Core size: 4	Core Weight: 1	Total Weight: -587
27.65/27.74	c Elapsed CPU time: 27.2259 s	Remaining CPU time: 1772.77 s
27.75/27.81	c core #414
27.75/27.81	c Core size: 4	Core Weight: 1	Total Weight: -586
27.75/27.81	c Elapsed CPU time: 27.2938 s	Remaining CPU time: 1772.71 s
27.75/27.89	c core #415
27.75/27.89	c Core size: 4	Core Weight: 1	Total Weight: -585
27.75/27.89	c Elapsed CPU time: 27.3638 s	Remaining CPU time: 1772.64 s
27.85/27.95	c core #416
27.85/27.95	c Core size: 4	Core Weight: 1	Total Weight: -584
27.85/27.95	c Elapsed CPU time: 27.4328 s	Remaining CPU time: 1772.57 s
27.95/28.03	c core #417
27.95/28.03	c Core size: 4	Core Weight: 1	Total Weight: -583
27.95/28.03	c Elapsed CPU time: 27.5018 s	Remaining CPU time: 1772.5 s
27.95/28.10	c core #418
27.95/28.10	c Core size: 4	Core Weight: 1	Total Weight: -582
28.06/28.10	c Elapsed CPU time: 27.5708 s	Remaining CPU time: 1772.43 s
28.06/28.17	c core #419
28.06/28.17	c Core size: 4	Core Weight: 1	Total Weight: -581
28.06/28.17	c Elapsed CPU time: 27.6398 s	Remaining CPU time: 1772.36 s
28.15/28.24	c core #420
28.15/28.24	c Core size: 4	Core Weight: 1	Total Weight: -580
28.15/28.24	c Elapsed CPU time: 27.7088 s	Remaining CPU time: 1772.29 s
28.25/28.31	c core #421
28.25/28.31	c Core size: 4	Core Weight: 1	Total Weight: -579
28.25/28.31	c Elapsed CPU time: 27.7788 s	Remaining CPU time: 1772.22 s
28.25/28.38	c core #422
28.25/28.38	c Core size: 4	Core Weight: 1	Total Weight: -578
28.25/28.38	c Elapsed CPU time: 27.8488 s	Remaining CPU time: 1772.15 s
28.35/28.45	c core #423
28.35/28.45	c Core size: 4	Core Weight: 1	Total Weight: -577
28.35/28.45	c Elapsed CPU time: 27.9168 s	Remaining CPU time: 1772.08 s
28.45/28.52	c core #424
28.45/28.52	c Core size: 4	Core Weight: 1	Total Weight: -576
28.45/28.52	c Elapsed CPU time: 27.9837 s	Remaining CPU time: 1772.02 s
28.45/28.59	c core #425
28.45/28.59	c Core size: 4	Core Weight: 1	Total Weight: -575
28.45/28.59	c Elapsed CPU time: 28.0527 s	Remaining CPU time: 1771.95 s
28.55/28.66	c core #426
28.55/28.66	c Core size: 4	Core Weight: 1	Total Weight: -574
28.55/28.66	c Elapsed CPU time: 28.1217 s	Remaining CPU time: 1771.88 s
28.65/28.73	c core #427
28.65/28.73	c Core size: 4	Core Weight: 1	Total Weight: -573
28.65/28.73	c Elapsed CPU time: 28.1927 s	Remaining CPU time: 1771.81 s
28.74/28.80	c core #428
28.74/28.80	c Core size: 4	Core Weight: 1	Total Weight: -572
28.74/28.80	c Elapsed CPU time: 28.2617 s	Remaining CPU time: 1771.74 s
28.74/28.87	c core #429
28.74/28.87	c Core size: 4	Core Weight: 1	Total Weight: -571
28.74/28.87	c Elapsed CPU time: 28.3307 s	Remaining CPU time: 1771.67 s
28.85/28.94	c core #430
28.85/28.94	c Core size: 4	Core Weight: 1	Total Weight: -570
28.85/28.94	c Elapsed CPU time: 28.3997 s	Remaining CPU time: 1771.6 s
28.95/29.01	c core #431
28.95/29.01	c Core size: 4	Core Weight: 1	Total Weight: -569
28.95/29.01	c Elapsed CPU time: 28.4667 s	Remaining CPU time: 1771.53 s
28.95/29.08	c core #432
28.95/29.08	c Core size: 4	Core Weight: 1	Total Weight: -568
28.95/29.08	c Elapsed CPU time: 28.5357 s	Remaining CPU time: 1771.46 s
29.05/29.15	c core #433
29.05/29.15	c Core size: 4	Core Weight: 1	Total Weight: -567
29.05/29.15	c Elapsed CPU time: 28.6057 s	Remaining CPU time: 1771.39 s
29.15/29.22	c core #434
29.15/29.22	c Core size: 4	Core Weight: 1	Total Weight: -566
29.15/29.22	c Elapsed CPU time: 28.6756 s	Remaining CPU time: 1771.32 s
29.15/29.29	c core #435
29.15/29.29	c Core size: 4	Core Weight: 1	Total Weight: -565
29.15/29.29	c Elapsed CPU time: 28.7446 s	Remaining CPU time: 1771.26 s
29.25/29.36	c core #436
29.25/29.36	c Core size: 4	Core Weight: 1	Total Weight: -564
29.25/29.36	c Elapsed CPU time: 28.8136 s	Remaining CPU time: 1771.19 s
29.35/29.43	c core #437
29.35/29.43	c Core size: 4	Core Weight: 1	Total Weight: -563
29.35/29.43	c Elapsed CPU time: 28.8836 s	Remaining CPU time: 1771.12 s
29.35/29.50	c core #438
29.35/29.50	c Core size: 4	Core Weight: 1	Total Weight: -562
29.35/29.50	c Elapsed CPU time: 28.9526 s	Remaining CPU time: 1771.05 s
29.45/29.57	c core #439
29.45/29.57	c Core size: 4	Core Weight: 1	Total Weight: -561
29.45/29.57	c Elapsed CPU time: 29.0196 s	Remaining CPU time: 1770.98 s
29.55/29.64	c core #440
29.55/29.64	c Core size: 4	Core Weight: 1	Total Weight: -560
29.55/29.64	c Elapsed CPU time: 29.0886 s	Remaining CPU time: 1770.91 s
29.65/29.71	c core #441
29.65/29.71	c Core size: 4	Core Weight: 1	Total Weight: -559
29.65/29.71	c Elapsed CPU time: 29.1576 s	Remaining CPU time: 1770.84 s
29.65/29.78	c core #442
29.65/29.78	c Core size: 4	Core Weight: 1	Total Weight: -558
29.65/29.78	c Elapsed CPU time: 29.2286 s	Remaining CPU time: 1770.77 s
29.74/29.85	c core #443
29.74/29.85	c Core size: 4	Core Weight: 1	Total Weight: -557
29.74/29.85	c Elapsed CPU time: 29.2985 s	Remaining CPU time: 1770.7 s
29.85/29.92	c core #444
29.85/29.92	c Core size: 4	Core Weight: 1	Total Weight: -556
29.85/29.92	c Elapsed CPU time: 29.3675 s	Remaining CPU time: 1770.63 s
29.85/29.99	c core #445
29.85/29.99	c Core size: 4	Core Weight: 1	Total Weight: -555
29.85/29.99	c Elapsed CPU time: 29.4385 s	Remaining CPU time: 1770.56 s
29.95/30.06	c core #446
29.95/30.06	c Core size: 4	Core Weight: 1	Total Weight: -554
29.95/30.06	c Elapsed CPU time: 29.5075 s	Remaining CPU time: 1770.49 s
30.05/30.13	c core #447
30.05/30.13	c Core size: 4	Core Weight: 1	Total Weight: -553
30.05/30.13	c Elapsed CPU time: 29.5775 s	Remaining CPU time: 1770.42 s
30.14/30.21	c core #448
30.14/30.21	c Core size: 4	Core Weight: 1	Total Weight: -552
30.14/30.21	c Elapsed CPU time: 29.6465 s	Remaining CPU time: 1770.35 s
30.14/30.28	c core #449
30.14/30.28	c Core size: 4	Core Weight: 1	Total Weight: -551
30.14/30.28	c Elapsed CPU time: 29.7175 s	Remaining CPU time: 1770.28 s
30.24/30.35	c core #450
30.24/30.35	c Core size: 4	Core Weight: 1	Total Weight: -550
30.24/30.35	c Elapsed CPU time: 29.7855 s	Remaining CPU time: 1770.21 s
30.34/30.42	c core #451
30.34/30.42	c Core size: 4	Core Weight: 1	Total Weight: -549
30.34/30.42	c Elapsed CPU time: 29.8565 s	Remaining CPU time: 1770.14 s
30.34/30.49	c core #452
30.34/30.49	c Core size: 4	Core Weight: 1	Total Weight: -548
30.34/30.49	c Elapsed CPU time: 29.9275 s	Remaining CPU time: 1770.07 s
30.44/30.56	c core #453
30.44/30.56	c Core size: 4	Core Weight: 1	Total Weight: -547
30.44/30.56	c Elapsed CPU time: 29.9984 s	Remaining CPU time: 1770 s
30.54/30.63	c core #454
30.54/30.63	c Core size: 4	Core Weight: 1	Total Weight: -546
30.54/30.63	c Elapsed CPU time: 30.0674 s	Remaining CPU time: 1769.93 s
30.54/30.70	c core #455
30.54/30.70	c Core size: 4	Core Weight: 1	Total Weight: -545
30.54/30.70	c Elapsed CPU time: 30.1354 s	Remaining CPU time: 1769.86 s
30.64/30.77	c core #456
30.64/30.77	c Core size: 4	Core Weight: 1	Total Weight: -544
30.64/30.77	c Elapsed CPU time: 30.2054 s	Remaining CPU time: 1769.79 s
30.74/30.84	c core #457
30.74/30.84	c Core size: 4	Core Weight: 1	Total Weight: -543
30.74/30.84	c Elapsed CPU time: 30.2754 s	Remaining CPU time: 1769.72 s
30.84/30.91	c core #458
30.84/30.91	c Core size: 4	Core Weight: 1	Total Weight: -542
30.84/30.91	c Elapsed CPU time: 30.3444 s	Remaining CPU time: 1769.66 s
30.84/30.98	c core #459
30.84/30.98	c Core size: 4	Core Weight: 1	Total Weight: -541
30.84/30.98	c Elapsed CPU time: 30.4154 s	Remaining CPU time: 1769.58 s
30.94/31.05	c core #460
30.94/31.05	c Core size: 4	Core Weight: 1	Total Weight: -540
30.94/31.05	c Elapsed CPU time: 30.4854 s	Remaining CPU time: 1769.51 s
31.04/31.12	c core #461
31.04/31.12	c Core size: 4	Core Weight: 1	Total Weight: -539
31.04/31.12	c Elapsed CPU time: 30.5544 s	Remaining CPU time: 1769.45 s
31.04/31.19	c core #462
31.04/31.19	c Core size: 4	Core Weight: 1	Total Weight: -538
31.04/31.19	c Elapsed CPU time: 30.6243 s	Remaining CPU time: 1769.38 s
31.14/31.26	c core #463
31.14/31.26	c Core size: 4	Core Weight: 1	Total Weight: -537
31.14/31.26	c Elapsed CPU time: 30.6943 s	Remaining CPU time: 1769.31 s
31.24/31.33	c core #464
31.24/31.33	c Core size: 4	Core Weight: 1	Total Weight: -536
31.24/31.33	c Elapsed CPU time: 30.7633 s	Remaining CPU time: 1769.24 s
31.34/31.41	c core #465
31.34/31.41	c Core size: 4	Core Weight: 1	Total Weight: -535
31.34/31.41	c Elapsed CPU time: 30.8323 s	Remaining CPU time: 1769.17 s
31.34/31.48	c core #466
31.34/31.48	c Core size: 4	Core Weight: 1	Total Weight: -534
31.34/31.48	c Elapsed CPU time: 30.9023 s	Remaining CPU time: 1769.1 s
31.44/31.55	c core #467
31.44/31.55	c Core size: 4	Core Weight: 1	Total Weight: -533
31.44/31.55	c Elapsed CPU time: 30.9713 s	Remaining CPU time: 1769.03 s
31.54/31.62	c core #468
31.54/31.62	c Core size: 4	Core Weight: 1	Total Weight: -532
31.54/31.62	c Elapsed CPU time: 31.0413 s	Remaining CPU time: 1768.96 s
31.54/31.69	c core #469
31.54/31.69	c Core size: 4	Core Weight: 1	Total Weight: -531
31.54/31.69	c Elapsed CPU time: 31.1123 s	Remaining CPU time: 1768.89 s
31.64/31.76	c core #470
31.64/31.76	c Core size: 4	Core Weight: 1	Total Weight: -530
31.64/31.76	c Elapsed CPU time: 31.1823 s	Remaining CPU time: 1768.82 s
31.74/31.83	c core #471
31.74/31.83	c Core size: 4	Core Weight: 1	Total Weight: -529
31.74/31.83	c Elapsed CPU time: 31.2522 s	Remaining CPU time: 1768.75 s
31.74/31.90	c core #472
31.74/31.90	c Core size: 4	Core Weight: 1	Total Weight: -528
31.74/31.90	c Elapsed CPU time: 31.3202 s	Remaining CPU time: 1768.68 s
31.84/31.97	c core #473
31.84/31.97	c Core size: 4	Core Weight: 1	Total Weight: -527
31.84/31.97	c Elapsed CPU time: 31.3892 s	Remaining CPU time: 1768.61 s
31.93/32.04	c core #474
31.93/32.04	c Core size: 4	Core Weight: 1	Total Weight: -526
31.93/32.04	c Elapsed CPU time: 31.4592 s	Remaining CPU time: 1768.54 s
32.04/32.11	c core #475
32.04/32.11	c Core size: 4	Core Weight: 1	Total Weight: -525
32.04/32.11	c Elapsed CPU time: 31.5282 s	Remaining CPU time: 1768.47 s
32.04/32.18	c core #476
32.04/32.18	c Core size: 4	Core Weight: 1	Total Weight: -524
32.04/32.18	c Elapsed CPU time: 31.5972 s	Remaining CPU time: 1768.4 s
32.14/32.25	c core #477
32.14/32.25	c Core size: 4	Core Weight: 1	Total Weight: -523
32.14/32.25	c Elapsed CPU time: 31.6652 s	Remaining CPU time: 1768.33 s
32.24/32.32	c core #478
32.24/32.32	c Core size: 4	Core Weight: 1	Total Weight: -522
32.24/32.32	c Elapsed CPU time: 31.7342 s	Remaining CPU time: 1768.27 s
32.24/32.39	c core #479
32.24/32.39	c Core size: 4	Core Weight: 1	Total Weight: -521
32.24/32.39	c Elapsed CPU time: 31.8042 s	Remaining CPU time: 1768.2 s
32.33/32.46	c core #480
32.33/32.46	c Core size: 4	Core Weight: 1	Total Weight: -520
32.33/32.46	c Elapsed CPU time: 31.8742 s	Remaining CPU time: 1768.13 s
32.43/32.54	c core #481
32.43/32.54	c Core size: 4	Core Weight: 1	Total Weight: -519
32.43/32.54	c Elapsed CPU time: 31.9471 s	Remaining CPU time: 1768.05 s
32.54/32.61	c core #482
32.54/32.61	c Core size: 4	Core Weight: 1	Total Weight: -518
32.54/32.61	c Elapsed CPU time: 32.0181 s	Remaining CPU time: 1767.98 s
32.54/32.68	c core #483
32.54/32.68	c Core size: 4	Core Weight: 1	Total Weight: -517
32.54/32.68	c Elapsed CPU time: 32.0921 s	Remaining CPU time: 1767.91 s
32.64/32.76	c core #484
32.64/32.76	c Core size: 4	Core Weight: 1	Total Weight: -516
32.64/32.76	c Elapsed CPU time: 32.1641 s	Remaining CPU time: 1767.84 s
32.74/32.83	c core #485
32.74/32.83	c Core size: 9	Core Weight: 1	Total Weight: -515
32.74/32.83	c Elapsed CPU time: 32.2321 s	Remaining CPU time: 1767.77 s
32.74/32.90	c core #486
32.74/32.90	c Core size: 9	Core Weight: 1	Total Weight: -514
32.74/32.90	c Elapsed CPU time: 32.3001 s	Remaining CPU time: 1767.7 s
32.84/32.97	c core #487
32.84/32.97	c Core size: 9	Core Weight: 1	Total Weight: -513
32.84/32.97	c Elapsed CPU time: 32.3711 s	Remaining CPU time: 1767.63 s
32.94/33.04	c core #488
32.94/33.04	c Core size: 9	Core Weight: 1	Total Weight: -512
32.94/33.04	c Elapsed CPU time: 32.4401 s	Remaining CPU time: 1767.56 s
33.04/33.12	c core #489
33.04/33.12	c Core size: 9	Core Weight: 1	Total Weight: -511
33.04/33.12	c Elapsed CPU time: 32.5141 s	Remaining CPU time: 1767.49 s
33.04/33.19	c core #490
33.04/33.19	c Core size: 9	Core Weight: 1	Total Weight: -510
33.04/33.19	c Elapsed CPU time: 32.587 s	Remaining CPU time: 1767.41 s
33.14/33.26	c core #491
33.14/33.26	c Core size: 9	Core Weight: 1	Total Weight: -509
33.14/33.26	c Elapsed CPU time: 32.661 s	Remaining CPU time: 1767.34 s
33.24/33.34	c core #492
33.24/33.34	c Core size: 9	Core Weight: 1	Total Weight: -508
33.24/33.34	c Elapsed CPU time: 32.734 s	Remaining CPU time: 1767.27 s
33.34/33.42	c core #493
33.34/33.42	c Core size: 24	Core Weight: 1	Total Weight: -507
33.34/33.42	c Elapsed CPU time: 32.811 s	Remaining CPU time: 1767.19 s
33.34/33.49	c core #494
33.34/33.49	c Core size: 19	Core Weight: 1	Total Weight: -506
33.34/33.49	c Elapsed CPU time: 32.88 s	Remaining CPU time: 1767.12 s
33.44/33.56	c core #495
33.44/33.56	c Core size: 24	Core Weight: 1	Total Weight: -505
33.44/33.56	c Elapsed CPU time: 32.952 s	Remaining CPU time: 1767.05 s
33.53/33.63	c core #496
33.53/33.63	c Core size: 19	Core Weight: 1	Total Weight: -504
33.53/33.63	c Elapsed CPU time: 33.022 s	Remaining CPU time: 1766.98 s
33.63/33.70	c core #497
33.63/33.70	c Core size: 9	Core Weight: 1	Total Weight: -503
33.63/33.70	c Elapsed CPU time: 33.093 s	Remaining CPU time: 1766.91 s
33.63/33.78	c core #498
33.63/33.78	c Core size: 24	Core Weight: 1	Total Weight: -502
33.63/33.78	c Elapsed CPU time: 33.168 s	Remaining CPU time: 1766.83 s
33.73/33.85	c core #499
33.73/33.85	c Core size: 14	Core Weight: 1	Total Weight: -501
33.73/33.85	c Elapsed CPU time: 33.2359 s	Remaining CPU time: 1766.76 s
33.84/33.92	c core #500
33.84/33.92	c Core size: 23	Core Weight: 1	Total Weight: -500
33.84/33.92	c Elapsed CPU time: 33.3069 s	Remaining CPU time: 1766.69 s
33.84/33.99	c core #501
33.84/33.99	c Core size: 28	Core Weight: 1	Total Weight: -499
33.84/33.99	c Elapsed CPU time: 33.3799 s	Remaining CPU time: 1766.62 s
33.94/34.06	c ============================[ Search Statistics ]==============================
33.94/34.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.94/34.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
33.94/34.06	c ===============================================================================
33.94/34.06	c |         0 |    2076    35141    80974 |    11713        0    nan |  0.000 % |
33.94/34.07	c ===============================================================================
33.94/34.07	c core #502
33.94/34.07	c Core size: 21	Core Weight: 1	Total Weight: -498
33.94/34.07	c Elapsed CPU time: 33.4539 s	Remaining CPU time: 1766.55 s
34.04/34.14	c ============================[ Search Statistics ]==============================
34.04/34.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.04/34.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.04/34.14	c ===============================================================================
34.04/34.14	c |         0 |    2084    35142    80990 |    11714        0    nan |  0.000 % |
34.04/34.14	c ===============================================================================
34.04/34.14	c core #503
34.04/34.14	c Core size: 15	Core Weight: 1	Total Weight: -497
34.04/34.14	c Elapsed CPU time: 33.5279 s	Remaining CPU time: 1766.47 s
34.13/34.21	c ============================[ Search Statistics ]==============================
34.13/34.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.13/34.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.13/34.21	c ===============================================================================
34.13/34.21	c |         0 |    2090    35143    81002 |    11714        0    nan |  0.000 % |
34.13/34.22	c ===============================================================================
34.13/34.22	c core #504
34.13/34.22	c Core size: 22	Core Weight: 1	Total Weight: -496
34.13/34.22	c Elapsed CPU time: 33.6019 s	Remaining CPU time: 1766.4 s
34.13/34.29	c ============================[ Search Statistics ]==============================
34.13/34.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.13/34.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.13/34.29	c ===============================================================================
34.13/34.29	c |         0 |    2098    35144    81018 |    11714        0    nan |  0.000 % |
34.13/34.29	c ===============================================================================
34.13/34.29	c core #505
34.13/34.29	c Core size: 22	Core Weight: 1	Total Weight: -495
34.13/34.29	c Elapsed CPU time: 33.6749 s	Remaining CPU time: 1766.33 s
34.23/34.36	c ============================[ Search Statistics ]==============================
34.23/34.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.23/34.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.23/34.36	c ===============================================================================
34.23/34.36	c |         0 |    2106    35145    81034 |    11715        0    nan |  0.000 % |
34.23/34.37	c ===============================================================================
34.23/34.37	c core #506
34.23/34.37	c Core size: 27	Core Weight: 1	Total Weight: -494
34.23/34.37	c Elapsed CPU time: 33.7469 s	Remaining CPU time: 1766.25 s
34.33/34.44	c ============================[ Search Statistics ]==============================
34.33/34.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.33/34.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.33/34.44	c ===============================================================================
34.33/34.44	c |         0 |    2116    35146    81054 |    11715        0    nan |  0.000 % |
34.33/34.44	c ===============================================================================
34.33/34.44	c core #507
34.33/34.44	c Core size: 22	Core Weight: 1	Total Weight: -493
34.33/34.44	c Elapsed CPU time: 33.8189 s	Remaining CPU time: 1766.18 s
34.43/34.51	c ============================[ Search Statistics ]==============================
34.43/34.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.43/34.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.43/34.51	c ===============================================================================
34.43/34.51	c |         0 |    2124    35147    81070 |    11715        0    nan |  0.000 % |
34.43/34.52	c ===============================================================================
34.43/34.52	c core #508
34.43/34.52	c Core size: 21	Core Weight: 1	Total Weight: -492
34.43/34.52	c Elapsed CPU time: 33.8928 s	Remaining CPU time: 1766.11 s
34.43/34.59	c ============================[ Search Statistics ]==============================
34.43/34.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.43/34.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.43/34.59	c ===============================================================================
34.43/34.59	c |         0 |    2132    35148    81086 |    11716        0    nan |  0.000 % |
34.43/34.59	c ===============================================================================
34.43/34.59	c core #509
34.43/34.59	c Core size: 24	Core Weight: 1	Total Weight: -491
34.43/34.59	c Elapsed CPU time: 33.9678 s	Remaining CPU time: 1766.03 s
34.53/34.66	c ============================[ Search Statistics ]==============================
34.53/34.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.53/34.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.53/34.66	c ===============================================================================
34.53/34.66	c |         0 |    2140    35149    81102 |    11716        0    nan |  0.000 % |
34.53/34.66	c ===============================================================================
34.53/34.67	c core #510
34.53/34.67	c Core size: 27	Core Weight: 1	Total Weight: -490
34.53/34.67	c Elapsed CPU time: 34.0408 s	Remaining CPU time: 1765.96 s
34.62/34.74	c ============================[ Search Statistics ]==============================
34.62/34.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.62/34.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.62/34.74	c ===============================================================================
34.62/34.74	c |         0 |    2150    35150    81122 |    11716        0    nan |  0.000 % |
34.62/34.74	c ===============================================================================
34.62/34.74	c core #511
34.62/34.74	c Core size: 21	Core Weight: 1	Total Weight: -489
34.62/34.74	c Elapsed CPU time: 34.1148 s	Remaining CPU time: 1765.89 s
34.73/34.81	c ============================[ Search Statistics ]==============================
34.73/34.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.73/34.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.73/34.81	c ===============================================================================
34.73/34.81	c |         0 |    2158    35151    81138 |    11717        0    nan |  0.000 % |
34.73/34.82	c ===============================================================================
34.73/34.82	c core #512
34.73/34.82	c Core size: 21	Core Weight: 1	Total Weight: -488
34.73/34.82	c Elapsed CPU time: 34.1888 s	Remaining CPU time: 1765.81 s
34.73/34.89	c ============================[ Search Statistics ]==============================
34.73/34.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.73/34.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.73/34.89	c ===============================================================================
34.73/34.89	c |         0 |    2166    35152    81154 |    11717        0    nan |  0.000 % |
34.73/34.89	c ===============================================================================
34.73/34.89	c core #513
34.73/34.89	c Core size: 27	Core Weight: 1	Total Weight: -487
34.73/34.89	c Elapsed CPU time: 34.2628 s	Remaining CPU time: 1765.74 s
34.83/34.96	c ============================[ Search Statistics ]==============================
34.83/34.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.83/34.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.83/34.96	c ===============================================================================
34.83/34.96	c |         0 |    2176    35153    81174 |    11717        0    nan |  0.000 % |
34.83/34.97	c ===============================================================================
34.83/34.97	c core #514
34.83/34.97	c Core size: 27	Core Weight: 1	Total Weight: -486
34.83/34.97	c Elapsed CPU time: 34.3318 s	Remaining CPU time: 1765.67 s
34.92/35.04	c ============================[ Search Statistics ]==============================
34.92/35.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.92/35.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.92/35.04	c ===============================================================================
34.92/35.04	c |         0 |    2186    35154    81194 |    11718        0    nan |  0.000 % |
34.92/35.04	c ===============================================================================
34.92/35.04	c core #515
34.92/35.04	c Core size: 16	Core Weight: 1	Total Weight: -485
34.92/35.04	c Elapsed CPU time: 34.4038 s	Remaining CPU time: 1765.6 s
35.03/35.11	c ============================[ Search Statistics ]==============================
35.03/35.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.03/35.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.03/35.11	c ===============================================================================
35.03/35.11	c |         0 |    2192    35155    81206 |    11718        0    nan |  0.000 % |
35.03/35.11	c ===============================================================================
35.03/35.12	c core #516
35.03/35.12	c Core size: 27	Core Weight: 1	Total Weight: -484
35.03/35.12	c Elapsed CPU time: 34.4758 s	Remaining CPU time: 1765.52 s
35.03/35.18	c ============================[ Search Statistics ]==============================
35.03/35.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.03/35.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.03/35.18	c ===============================================================================
35.03/35.18	c |         0 |    2202    35156    81226 |    11718        0    nan |  0.000 % |
35.03/35.19	c ===============================================================================
35.03/35.19	c core #517
35.03/35.19	c Core size: 27	Core Weight: 1	Total Weight: -483
35.03/35.19	c Elapsed CPU time: 34.5477 s	Remaining CPU time: 1765.45 s
35.12/35.26	c ============================[ Search Statistics ]==============================
35.12/35.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.12/35.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.12/35.26	c ===============================================================================
35.12/35.26	c |         0 |    2212    35157    81246 |    11719        0    nan |  0.000 % |
35.12/35.26	c ===============================================================================
35.12/35.26	c core #518
35.12/35.26	c Core size: 15	Core Weight: 1	Total Weight: -482
35.12/35.26	c Elapsed CPU time: 34.6207 s	Remaining CPU time: 1765.38 s
35.23/35.33	c ============================[ Search Statistics ]==============================
35.23/35.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.23/35.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.23/35.33	c ===============================================================================
35.23/35.33	c |         0 |    2218    35158    81258 |    11719        0    nan |  0.000 % |
35.23/35.34	c ===============================================================================
35.23/35.34	c core #519
35.23/35.34	c Core size: 22	Core Weight: 1	Total Weight: -481
35.23/35.34	c Elapsed CPU time: 34.6937 s	Remaining CPU time: 1765.31 s
35.32/35.41	c ============================[ Search Statistics ]==============================
35.32/35.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.32/35.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.32/35.41	c ===============================================================================
35.32/35.41	c |         0 |    2226    35159    81274 |    11719        0    nan |  0.000 % |
35.32/35.41	c ===============================================================================
35.32/35.41	c core #520
35.32/35.41	c Core size: 21	Core Weight: 1	Total Weight: -480
35.32/35.41	c Elapsed CPU time: 34.7657 s	Remaining CPU time: 1765.23 s
35.32/35.48	c ============================[ Search Statistics ]==============================
35.32/35.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.32/35.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.32/35.48	c ===============================================================================
35.32/35.48	c |         0 |    2234    35160    81290 |    11720        0    nan |  0.000 % |
35.32/35.49	c ===============================================================================
35.32/35.49	c core #521
35.32/35.49	c Core size: 20	Core Weight: 1	Total Weight: -479
35.32/35.49	c Elapsed CPU time: 34.8397 s	Remaining CPU time: 1765.16 s
35.42/35.56	c ============================[ Search Statistics ]==============================
35.42/35.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.42/35.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.42/35.56	c ===============================================================================
35.42/35.56	c |         0 |    2242    35161    81306 |    11720        0    nan |  0.000 % |
35.42/35.56	c ===============================================================================
35.42/35.56	c core #522
35.42/35.56	c Core size: 27	Core Weight: 1	Total Weight: -478
35.42/35.56	c Elapsed CPU time: 34.9127 s	Remaining CPU time: 1765.09 s
35.52/35.63	c ============================[ Search Statistics ]==============================
35.52/35.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.52/35.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.52/35.63	c ===============================================================================
35.52/35.63	c |         0 |    2252    35162    81326 |    11720        0    nan |  0.000 % |
35.52/35.64	c ===============================================================================
35.52/35.64	c core #523
35.52/35.64	c Core size: 26	Core Weight: 1	Total Weight: -477
35.52/35.64	c Elapsed CPU time: 34.9837 s	Remaining CPU time: 1765.02 s
35.63/35.71	c ============================[ Search Statistics ]==============================
35.63/35.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.63/35.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.63/35.71	c ===============================================================================
35.63/35.71	c |         0 |    2262    35163    81346 |    11721        0    nan |  0.000 % |
35.63/35.71	c ===============================================================================
35.63/35.71	c core #524
35.63/35.71	c Core size: 16	Core Weight: 1	Total Weight: -476
35.63/35.71	c Elapsed CPU time: 35.0557 s	Remaining CPU time: 1764.94 s
35.63/35.78	c ============================[ Search Statistics ]==============================
35.63/35.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.63/35.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.63/35.78	c ===============================================================================
35.63/35.78	c |         0 |    2268    35164    81358 |    11721        0    nan |  0.000 % |
35.63/35.79	c ===============================================================================
35.63/35.79	c core #525
35.63/35.79	c Core size: 21	Core Weight: 1	Total Weight: -475
35.63/35.79	c Elapsed CPU time: 35.1287 s	Remaining CPU time: 1764.87 s
35.72/35.86	c ============================[ Search Statistics ]==============================
35.72/35.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.72/35.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.72/35.86	c ===============================================================================
35.72/35.86	c |         0 |    2276    35165    81374 |    11721        0    nan |  0.000 % |
35.72/35.86	c ===============================================================================
35.72/35.86	c core #526
35.72/35.86	c Core size: 22	Core Weight: 1	Total Weight: -474
35.72/35.86	c Elapsed CPU time: 35.2016 s	Remaining CPU time: 1764.8 s
35.82/35.93	c ============================[ Search Statistics ]==============================
35.82/35.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.82/35.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.82/35.93	c ===============================================================================
35.82/35.93	c |         0 |    2284    35166    81390 |    11722        0    nan |  0.000 % |
35.82/35.94	c ===============================================================================
35.82/35.94	c core #527
35.82/35.94	c Core size: 21	Core Weight: 1	Total Weight: -473
35.82/35.94	c Elapsed CPU time: 35.2766 s	Remaining CPU time: 1764.72 s
35.92/36.01	c ============================[ Search Statistics ]==============================
35.92/36.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.92/36.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.92/36.01	c ===============================================================================
35.92/36.01	c |         0 |    2292    35167    81406 |    11722        0    nan |  0.000 % |
35.92/36.01	c ===============================================================================
35.92/36.01	c core #528
35.92/36.01	c Core size: 21	Core Weight: 1	Total Weight: -472
35.92/36.01	c Elapsed CPU time: 35.3476 s	Remaining CPU time: 1764.65 s
35.92/36.08	c ============================[ Search Statistics ]==============================
35.92/36.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.92/36.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.92/36.08	c ===============================================================================
35.92/36.08	c |         0 |    2300    35168    81422 |    11722        0    nan |  0.000 % |
35.92/36.09	c ===============================================================================
35.92/36.09	c core #529
35.92/36.09	c Core size: 20	Core Weight: 1	Total Weight: -471
35.92/36.09	c Elapsed CPU time: 35.4216 s	Remaining CPU time: 1764.58 s
36.02/36.16	c ============================[ Search Statistics ]==============================
36.02/36.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.02/36.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.02/36.16	c ===============================================================================
36.02/36.16	c |         0 |    2308    35169    81438 |    11723        0    nan |  0.000 % |
36.02/36.16	c ===============================================================================
36.02/36.16	c core #530
36.02/36.16	c Core size: 27	Core Weight: 1	Total Weight: -470
36.02/36.16	c Elapsed CPU time: 35.4956 s	Remaining CPU time: 1764.5 s
36.12/36.23	c ============================[ Search Statistics ]==============================
36.12/36.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.12/36.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.12/36.23	c ===============================================================================
36.12/36.23	c |         0 |    2318    35170    81458 |    11723        0    nan |  0.000 % |
36.12/36.24	c ===============================================================================
36.12/36.24	c core #531
36.12/36.24	c Core size: 21	Core Weight: 1	Total Weight: -469
36.12/36.24	c Elapsed CPU time: 35.5696 s	Remaining CPU time: 1764.43 s
36.22/36.30	c ============================[ Search Statistics ]==============================
36.22/36.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.22/36.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.22/36.30	c ===============================================================================
36.22/36.30	c |         0 |    2326    35171    81474 |    11723        0    nan |  0.000 % |
36.22/36.31	c ===============================================================================
36.22/36.31	c core #532
36.22/36.31	c Core size: 23	Core Weight: 1	Total Weight: -468
36.22/36.31	c Elapsed CPU time: 35.6406 s	Remaining CPU time: 1764.36 s
36.22/36.38	c ============================[ Search Statistics ]==============================
36.22/36.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.22/36.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.22/36.38	c ===============================================================================
36.22/36.38	c |         0 |    2334    35172    81490 |    11724        0    nan |  0.000 % |
36.22/36.38	c ===============================================================================
36.22/36.38	c core #533
36.22/36.38	c Core size: 27	Core Weight: 1	Total Weight: -467
36.22/36.38	c Elapsed CPU time: 35.7116 s	Remaining CPU time: 1764.29 s
36.32/36.45	c ============================[ Search Statistics ]==============================
36.32/36.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.32/36.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.32/36.45	c ===============================================================================
36.32/36.45	c |         0 |    2344    35173    81510 |    11724        0    nan |  0.000 % |
36.32/36.46	c ===============================================================================
36.32/36.46	c core #534
36.32/36.46	c Core size: 20	Core Weight: 1	Total Weight: -466
36.32/36.46	c Elapsed CPU time: 35.7846 s	Remaining CPU time: 1764.22 s
36.42/36.53	c ============================[ Search Statistics ]==============================
36.42/36.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.42/36.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.42/36.53	c ===============================================================================
36.42/36.53	c |         0 |    2352    35174    81526 |    11724        0    nan |  0.000 % |
36.42/36.53	c ===============================================================================
36.42/36.53	c core #535
36.42/36.53	c Core size: 27	Core Weight: 1	Total Weight: -465
36.42/36.53	c Elapsed CPU time: 35.8575 s	Remaining CPU time: 1764.14 s
36.51/36.60	c ============================[ Search Statistics ]==============================
36.51/36.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.51/36.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.51/36.60	c ===============================================================================
36.51/36.60	c |         0 |    2362    35175    81546 |    11725        0    nan |  0.000 % |
36.51/36.61	c ===============================================================================
36.51/36.61	c core #536
36.51/36.61	c Core size: 27	Core Weight: 1	Total Weight: -464
36.51/36.61	c Elapsed CPU time: 35.9255 s	Remaining CPU time: 1764.07 s
36.51/36.67	c ============================[ Search Statistics ]==============================
36.51/36.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.51/36.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.51/36.67	c ===============================================================================
36.51/36.67	c |         0 |    2372    35176    81566 |    11725        0    nan |  0.000 % |
36.51/36.68	c ===============================================================================
36.51/36.68	c core #537
36.51/36.68	c Core size: 22	Core Weight: 1	Total Weight: -463
36.51/36.68	c Elapsed CPU time: 35.9975 s	Remaining CPU time: 1764 s
36.61/36.75	c ============================[ Search Statistics ]==============================
36.61/36.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.61/36.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.61/36.75	c ===============================================================================
36.61/36.75	c |         0 |    2380    35177    81582 |    11725        0    nan |  0.000 % |
36.61/36.75	c ===============================================================================
36.61/36.75	c core #538
36.61/36.75	c Core size: 25	Core Weight: 1	Total Weight: -462
36.61/36.75	c Elapsed CPU time: 36.0715 s	Remaining CPU time: 1763.93 s
36.72/36.82	c ============================[ Search Statistics ]==============================
36.72/36.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.72/36.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.72/36.82	c ===============================================================================
36.72/36.82	c |         0 |    2390    35178    81602 |    11726        0    nan |  0.000 % |
36.72/36.83	c ===============================================================================
36.72/36.83	c core #539
36.72/36.83	c Core size: 26	Core Weight: 1	Total Weight: -461
36.72/36.83	c Elapsed CPU time: 36.1465 s	Remaining CPU time: 1763.85 s
36.82/36.90	c ============================[ Search Statistics ]==============================
36.82/36.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.82/36.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.82/36.90	c ===============================================================================
36.82/36.90	c |         0 |    2400    35179    81622 |    11726        0    nan |  0.000 % |
36.82/36.90	c ===============================================================================
36.82/36.90	c core #540
36.82/36.90	c Core size: 21	Core Weight: 1	Total Weight: -460
36.82/36.90	c Elapsed CPU time: 36.2175 s	Remaining CPU time: 1763.78 s
36.82/36.97	c ============================[ Search Statistics ]==============================
36.82/36.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.82/36.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.82/36.97	c ===============================================================================
36.82/36.97	c |         0 |    2408    35180    81638 |    11726        0    nan |  0.000 % |
36.82/36.98	c ===============================================================================
36.82/36.98	c core #541
36.82/36.98	c Core size: 20	Core Weight: 1	Total Weight: -459
36.82/36.98	c Elapsed CPU time: 36.2885 s	Remaining CPU time: 1763.71 s
36.91/37.05	c ============================[ Search Statistics ]==============================
36.91/37.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.91/37.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.91/37.05	c ===============================================================================
36.91/37.05	c |         0 |    2416    35181    81654 |    11727        0    nan |  0.000 % |
36.91/37.06	c ===============================================================================
36.91/37.06	c core #542
36.91/37.06	c Core size: 20	Core Weight: 1	Total Weight: -458
36.91/37.06	c Elapsed CPU time: 36.3635 s	Remaining CPU time: 1763.64 s
37.01/37.13	c ============================[ Search Statistics ]==============================
37.01/37.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.01/37.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.01/37.13	c ===============================================================================
37.01/37.13	c |         0 |    2424    35182    81670 |    11727        0    nan |  0.000 % |
37.01/37.13	c ===============================================================================
37.01/37.13	c core #543
37.01/37.13	c Core size: 27	Core Weight: 1	Total Weight: -457
37.01/37.13	c Elapsed CPU time: 36.4355 s	Remaining CPU time: 1763.56 s
37.12/37.20	c ============================[ Search Statistics ]==============================
37.12/37.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.12/37.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.12/37.20	c ===============================================================================
37.12/37.20	c |         0 |    2434    35183    81690 |    11727        0    nan |  0.000 % |
37.12/37.21	c ===============================================================================
37.12/37.21	c core #544
37.12/37.21	c Core size: 26	Core Weight: 1	Total Weight: -456
37.12/37.21	c Elapsed CPU time: 36.5114 s	Remaining CPU time: 1763.49 s
37.12/37.28	c ============================[ Search Statistics ]==============================
37.12/37.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.12/37.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.12/37.28	c ===============================================================================
37.12/37.28	c |         0 |    2444    35184    81710 |    11728        0    nan |  0.000 % |
37.12/37.28	c ===============================================================================
37.12/37.28	c core #545
37.12/37.28	c Core size: 26	Core Weight: 1	Total Weight: -455
37.12/37.28	c Elapsed CPU time: 36.5854 s	Remaining CPU time: 1763.41 s
37.22/37.35	c ============================[ Search Statistics ]==============================
37.22/37.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.22/37.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.22/37.35	c ===============================================================================
37.22/37.35	c |         0 |    2454    35185    81730 |    11728        0    nan |  0.000 % |
37.22/37.36	c ===============================================================================
37.22/37.36	c core #546
37.22/37.36	c Core size: 27	Core Weight: 1	Total Weight: -454
37.22/37.36	c Elapsed CPU time: 36.6604 s	Remaining CPU time: 1763.34 s
37.32/37.43	c ============================[ Search Statistics ]==============================
37.32/37.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.32/37.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.32/37.43	c ===============================================================================
37.32/37.43	c |         0 |    2464    35186    81750 |    11728        0    nan |  0.000 % |
37.32/37.43	c ===============================================================================
37.32/37.43	c core #547
37.32/37.43	c Core size: 31	Core Weight: 1	Total Weight: -453
37.32/37.43	c Elapsed CPU time: 36.7334 s	Remaining CPU time: 1763.27 s
37.41/37.50	c ============================[ Search Statistics ]==============================
37.41/37.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.41/37.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.41/37.50	c ===============================================================================
37.41/37.50	c |         0 |    2476    35187    81774 |    11729        0    nan |  0.000 % |
37.41/37.51	c ===============================================================================
37.41/37.51	c core #548
37.41/37.51	c Core size: 26	Core Weight: 1	Total Weight: -452
37.41/37.51	c Elapsed CPU time: 36.8064 s	Remaining CPU time: 1763.19 s
37.41/37.58	c ============================[ Search Statistics ]==============================
37.41/37.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.41/37.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.41/37.58	c ===============================================================================
37.41/37.58	c |         0 |    2486    35188    81794 |    11729        0    nan |  0.000 % |
37.41/37.58	c ===============================================================================
37.41/37.58	c core #549
37.41/37.58	c Core size: 27	Core Weight: 1	Total Weight: -451
37.41/37.58	c Elapsed CPU time: 36.8814 s	Remaining CPU time: 1763.12 s
37.51/37.65	c ============================[ Search Statistics ]==============================
37.51/37.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.51/37.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.51/37.65	c ===============================================================================
37.51/37.65	c |         0 |    2496    35189    81814 |    11729        0    nan |  0.000 % |
37.51/37.66	c ===============================================================================
37.51/37.66	c core #550
37.51/37.66	c Core size: 25	Core Weight: 1	Total Weight: -450
37.51/37.66	c Elapsed CPU time: 36.9544 s	Remaining CPU time: 1763.05 s
37.61/37.73	c ============================[ Search Statistics ]==============================
37.61/37.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.61/37.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.61/37.73	c ===============================================================================
37.61/37.73	c |         0 |    2505    35190    81832 |    11730        0    nan |  0.000 % |
37.61/37.73	c ===============================================================================
37.61/37.73	c core #551
37.61/37.73	c Core size: 27	Core Weight: 1	Total Weight: -449
37.61/37.73	c Elapsed CPU time: 37.0284 s	Remaining CPU time: 1762.97 s
37.71/37.80	c ============================[ Search Statistics ]==============================
37.71/37.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.71/37.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.71/37.80	c ===============================================================================
37.71/37.80	c |         0 |    2515    35191    81852 |    11730        0    nan |  0.000 % |
37.71/37.81	c ===============================================================================
37.71/37.81	c core #552
37.71/37.81	c Core size: 21	Core Weight: 1	Total Weight: -448
37.71/37.81	c Elapsed CPU time: 37.1004 s	Remaining CPU time: 1762.9 s
37.71/37.88	c ============================[ Search Statistics ]==============================
37.71/37.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.71/37.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.71/37.88	c ===============================================================================
37.71/37.88	c |         0 |    2523    35192    81868 |    11730        0    nan |  0.000 % |
37.71/37.88	c ===============================================================================
37.71/37.88	c core #553
37.71/37.88	c Core size: 25	Core Weight: 1	Total Weight: -447
37.71/37.88	c Elapsed CPU time: 37.1743 s	Remaining CPU time: 1762.83 s
37.80/37.95	c ============================[ Search Statistics ]==============================
37.80/37.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.80/37.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.80/37.95	c ===============================================================================
37.80/37.95	c |         0 |    2533    35193    81888 |    11731        0    nan |  0.000 % |
37.80/37.96	c ===============================================================================
37.80/37.96	c core #554
37.80/37.96	c Core size: 22	Core Weight: 1	Total Weight: -446
37.80/37.96	c Elapsed CPU time: 37.2483 s	Remaining CPU time: 1762.75 s
37.91/38.03	c ============================[ Search Statistics ]==============================
37.91/38.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.91/38.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.91/38.03	c ===============================================================================
37.91/38.03	c |         0 |    2541    35194    81904 |    11731        0    nan |  0.000 % |
37.91/38.03	c ===============================================================================
37.91/38.03	c core #555
37.91/38.03	c Core size: 21	Core Weight: 1	Total Weight: -445
37.91/38.03	c Elapsed CPU time: 37.3203 s	Remaining CPU time: 1762.68 s
38.01/38.10	c ============================[ Search Statistics ]==============================
38.01/38.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.01/38.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.01/38.10	c ===============================================================================
38.01/38.10	c |         0 |    2549    35195    81920 |    11731        0    nan |  0.000 % |
38.01/38.11	c ===============================================================================
38.01/38.11	c core #556
38.01/38.11	c Core size: 27	Core Weight: 1	Total Weight: -444
38.01/38.11	c Elapsed CPU time: 37.3953 s	Remaining CPU time: 1762.6 s
38.01/38.18	c ============================[ Search Statistics ]==============================
38.01/38.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.01/38.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.01/38.18	c ===============================================================================
38.01/38.18	c |         0 |    2559    35196    81940 |    11732        0    nan |  0.000 % |
38.01/38.18	c ===============================================================================
38.01/38.18	c core #557
38.01/38.18	c Core size: 27	Core Weight: 1	Total Weight: -443
38.01/38.18	c Elapsed CPU time: 37.4693 s	Remaining CPU time: 1762.53 s
38.11/38.25	c ============================[ Search Statistics ]==============================
38.11/38.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.11/38.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.11/38.25	c ===============================================================================
38.11/38.25	c |         0 |    2569    35197    81960 |    11732        0    nan |  0.000 % |
38.11/38.26	c ===============================================================================
38.11/38.26	c core #558
38.11/38.26	c Core size: 26	Core Weight: 1	Total Weight: -442
38.11/38.26	c Elapsed CPU time: 37.5423 s	Remaining CPU time: 1762.46 s
38.21/38.33	c ============================[ Search Statistics ]==============================
38.21/38.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.21/38.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.21/38.33	c ===============================================================================
38.21/38.33	c |         0 |    2579    35198    81980 |    11732        0    nan |  0.000 % |
38.21/38.33	c ===============================================================================
38.21/38.33	c core #559
38.21/38.33	c Core size: 16	Core Weight: 1	Total Weight: -441
38.21/38.33	c Elapsed CPU time: 37.6153 s	Remaining CPU time: 1762.38 s
38.31/38.40	c ============================[ Search Statistics ]==============================
38.31/38.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.31/38.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.31/38.40	c ===============================================================================
38.31/38.40	c |         0 |    2585    35199    81992 |    11733        0    nan |  0.000 % |
38.31/38.41	c ===============================================================================
38.31/38.41	c core #560
38.31/38.41	c Core size: 27	Core Weight: 1	Total Weight: -440
38.31/38.41	c Elapsed CPU time: 37.6903 s	Remaining CPU time: 1762.31 s
38.31/38.48	c ============================[ Search Statistics ]==============================
38.31/38.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.31/38.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.31/38.48	c ===============================================================================
38.31/38.48	c |         0 |    2595    35200    82012 |    11733        0    nan |  0.000 % |
38.31/38.48	c ===============================================================================
38.31/38.48	c core #561
38.31/38.48	c Core size: 27	Core Weight: 1	Total Weight: -439
38.31/38.48	c Elapsed CPU time: 37.7613 s	Remaining CPU time: 1762.24 s
38.40/38.55	c ============================[ Search Statistics ]==============================
38.40/38.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.40/38.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.40/38.55	c ===============================================================================
38.40/38.55	c |         0 |    2605    35201    82032 |    11733        0    nan |  0.000 % |
38.40/38.56	c ===============================================================================
38.40/38.56	c core #562
38.40/38.56	c Core size: 30	Core Weight: 1	Total Weight: -438
38.40/38.56	c Elapsed CPU time: 37.8332 s	Remaining CPU time: 1762.17 s
38.51/38.63	c ============================[ Search Statistics ]==============================
38.51/38.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.51/38.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.51/38.63	c ===============================================================================
38.51/38.63	c |         0 |    2617    35202    82056 |    11734        0    nan |  0.000 % |
38.51/38.63	c ===============================================================================
38.51/38.63	c core #563
38.51/38.63	c Core size: 31	Core Weight: 1	Total Weight: -437
38.51/38.63	c Elapsed CPU time: 37.9072 s	Remaining CPU time: 1762.09 s
38.61/38.70	c ============================[ Search Statistics ]==============================
38.61/38.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.61/38.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.61/38.70	c ===============================================================================
38.61/38.70	c |         0 |    2629    35203    82080 |    11734        0    nan |  0.000 % |
38.61/38.71	c ===============================================================================
38.61/38.71	c core #564
38.61/38.71	c Core size: 21	Core Weight: 1	Total Weight: -436
38.61/38.71	c Elapsed CPU time: 37.9802 s	Remaining CPU time: 1762.02 s
38.61/38.77	c ============================[ Search Statistics ]==============================
38.61/38.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.61/38.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.61/38.77	c ===============================================================================
38.61/38.77	c |         0 |    2637    35204    82096 |    11734        0    nan |  0.000 % |
38.61/38.78	c ===============================================================================
38.61/38.78	c core #565
38.61/38.78	c Core size: 32	Core Weight: 1	Total Weight: -435
38.61/38.78	c Elapsed CPU time: 38.0542 s	Remaining CPU time: 1761.95 s
38.70/38.85	c ============================[ Search Statistics ]==============================
38.70/38.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.70/38.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.70/38.85	c ===============================================================================
38.70/38.85	c |         0 |    2649    35205    82120 |    11735        0    nan |  0.000 % |
38.70/38.86	c ===============================================================================
38.70/38.86	c core #566
38.70/38.86	c Core size: 26	Core Weight: 1	Total Weight: -434
38.70/38.86	c Elapsed CPU time: 38.1282 s	Remaining CPU time: 1761.87 s
38.80/38.93	c ============================[ Search Statistics ]==============================
38.80/38.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.80/38.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.80/38.93	c ===============================================================================
38.80/38.93	c |         0 |    2659    35206    82140 |    11735        0    nan |  0.000 % |
38.80/38.93	c ===============================================================================
38.80/38.93	c core #567
38.80/38.93	c Core size: 32	Core Weight: 1	Total Weight: -433
38.80/38.93	c Elapsed CPU time: 38.2012 s	Remaining CPU time: 1761.8 s
38.90/39.00	c ============================[ Search Statistics ]==============================
38.90/39.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.90/39.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.90/39.00	c ===============================================================================
38.90/39.00	c |         0 |    2671    35207    82164 |    11735        0    nan |  0.000 % |
38.90/39.01	c ===============================================================================
38.90/39.01	c core #568
38.90/39.01	c Core size: 20	Core Weight: 1	Total Weight: -432
38.90/39.01	c Elapsed CPU time: 38.2762 s	Remaining CPU time: 1761.72 s
38.90/39.08	c ============================[ Search Statistics ]==============================
38.90/39.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.90/39.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.90/39.08	c ===============================================================================
38.90/39.08	c |         0 |    2679    35208    82180 |    11736        0    nan |  0.000 % |
38.90/39.08	c ===============================================================================
38.90/39.08	c core #569
38.90/39.08	c Core size: 21	Core Weight: 1	Total Weight: -431
38.90/39.08	c Elapsed CPU time: 38.3502 s	Remaining CPU time: 1761.65 s
39.00/39.15	c ============================[ Search Statistics ]==============================
39.00/39.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.00/39.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.00/39.15	c ===============================================================================
39.00/39.15	c |         0 |    2687    35209    82196 |    11736        0    nan |  0.000 % |
39.00/39.16	c ===============================================================================
39.00/39.16	c core #570
39.00/39.16	c Core size: 26	Core Weight: 1	Total Weight: -430
39.00/39.16	c Elapsed CPU time: 38.4242 s	Remaining CPU time: 1761.58 s
39.10/39.23	c ============================[ Search Statistics ]==============================
39.10/39.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.10/39.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.10/39.23	c ===============================================================================
39.10/39.23	c |         0 |    2697    35210    82216 |    11736        0    nan |  0.000 % |
39.10/39.23	c ===============================================================================
39.10/39.23	c core #571
39.10/39.23	c Core size: 32	Core Weight: 1	Total Weight: -429
39.10/39.23	c Elapsed CPU time: 38.4961 s	Remaining CPU time: 1761.5 s
39.20/39.30	c ============================[ Search Statistics ]==============================
39.20/39.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.20/39.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.20/39.30	c ===============================================================================
39.20/39.30	c |         0 |    2709    35211    82240 |    11737        0    nan |  0.000 % |
39.20/39.31	c ===============================================================================
39.20/39.31	c core #572
39.20/39.31	c Core size: 27	Core Weight: 1	Total Weight: -428
39.20/39.31	c Elapsed CPU time: 38.5701 s	Remaining CPU time: 1761.43 s
39.20/39.38	c ============================[ Search Statistics ]==============================
39.20/39.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.20/39.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.20/39.38	c ===============================================================================
39.20/39.38	c |         0 |    2719    35212    82260 |    11737        0    nan |  0.000 % |
39.20/39.38	c ===============================================================================
39.20/39.38	c core #573
39.20/39.38	c Core size: 20	Core Weight: 1	Total Weight: -427
39.20/39.38	c Elapsed CPU time: 38.6421 s	Remaining CPU time: 1761.36 s
39.30/39.45	c ============================[ Search Statistics ]==============================
39.30/39.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.30/39.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.30/39.45	c ===============================================================================
39.30/39.45	c |         0 |    2727    35213    82276 |    11737        0    nan |  0.000 % |
39.30/39.46	c ===============================================================================
39.30/39.46	c core #574
39.30/39.46	c Core size: 30	Core Weight: 1	Total Weight: -426
39.30/39.46	c Elapsed CPU time: 38.7181 s	Remaining CPU time: 1761.28 s
39.40/39.53	c ============================[ Search Statistics ]==============================
39.40/39.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.40/39.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.40/39.53	c ===============================================================================
39.40/39.53	c |         0 |    2739    35214    82300 |    11738        0    nan |  0.000 % |
39.40/39.53	c ===============================================================================
39.40/39.54	c core #575
39.40/39.54	c Core size: 31	Core Weight: 1	Total Weight: -425
39.40/39.54	c Elapsed CPU time: 38.7941 s	Remaining CPU time: 1761.21 s
39.50/39.60	c ============================[ Search Statistics ]==============================
39.50/39.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.50/39.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.50/39.61	c ===============================================================================
39.50/39.61	c |         0 |    2751    35215    82324 |    11738        0    nan |  0.000 % |
39.50/39.61	c ===============================================================================
39.50/39.61	c core #576
39.50/39.61	c Core size: 36	Core Weight: 1	Total Weight: -424
39.50/39.61	c Elapsed CPU time: 38.8661 s	Remaining CPU time: 1761.13 s
39.50/39.68	c ============================[ Search Statistics ]==============================
39.50/39.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.50/39.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.50/39.68	c ===============================================================================
39.50/39.68	c |         0 |    2765    35216    82352 |    11738        0    nan |  0.000 % |
39.50/39.69	c ===============================================================================
39.50/39.69	c core #577
39.50/39.69	c Core size: 32	Core Weight: 1	Total Weight: -423
39.50/39.69	c Elapsed CPU time: 38.9401 s	Remaining CPU time: 1761.06 s
39.59/39.76	c ============================[ Search Statistics ]==============================
39.59/39.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.59/39.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.59/39.76	c ===============================================================================
39.59/39.76	c |         0 |    2777    35217    82376 |    11739        0    nan |  0.000 % |
39.59/39.76	c ===============================================================================
39.59/39.76	c core #578
39.59/39.76	c Core size: 37	Core Weight: 1	Total Weight: -422
39.59/39.76	c Elapsed CPU time: 39.0141 s	Remaining CPU time: 1760.99 s
39.69/39.83	c ============================[ Search Statistics ]==============================
39.69/39.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.69/39.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.69/39.83	c ===============================================================================
39.69/39.83	c |         0 |    2791    35218    82404 |    11739        0    nan |  0.000 % |
39.69/39.84	c ===============================================================================
39.69/39.84	c core #579
39.69/39.84	c Core size: 25	Core Weight: 1	Total Weight: -421
39.69/39.84	c Elapsed CPU time: 39.0851 s	Remaining CPU time: 1760.91 s
39.80/39.91	c ============================[ Search Statistics ]==============================
39.80/39.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.80/39.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.80/39.91	c ===============================================================================
39.80/39.91	c |         0 |    2801    35219    82424 |    11739        0    nan |  0.000 % |
39.80/39.91	c ===============================================================================
39.80/39.92	c core #580
39.80/39.92	c Core size: 25	Core Weight: 1	Total Weight: -420
39.80/39.92	c Elapsed CPU time: 39.159 s	Remaining CPU time: 1760.84 s
39.80/39.99	c ============================[ Search Statistics ]==============================
39.80/39.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.80/39.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.80/39.99	c ===============================================================================
39.80/39.99	c |         0 |    2811    35220    82444 |    11740        0    nan |  0.000 % |
39.80/39.99	c ===============================================================================
39.80/39.99	c core #581
39.80/39.99	c Core size: 25	Core Weight: 1	Total Weight: -419
39.80/39.99	c Elapsed CPU time: 39.233 s	Remaining CPU time: 1760.77 s
39.89/40.06	c ============================[ Search Statistics ]==============================
39.89/40.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.89/40.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.89/40.06	c ===============================================================================
39.89/40.06	c |         0 |    2821    35221    82464 |    11740        0    nan |  0.000 % |
39.89/40.06	c ===============================================================================
39.89/40.06	c core #582
39.89/40.06	c Core size: 36	Core Weight: 1	Total Weight: -418
39.89/40.06	c Elapsed CPU time: 39.305 s	Remaining CPU time: 1760.69 s
39.99/40.13	c ============================[ Search Statistics ]==============================
39.99/40.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.99/40.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.99/40.13	c ===============================================================================
39.99/40.13	c |         0 |    2835    35222    82492 |    11740        0    nan |  0.000 % |
39.99/40.14	c ===============================================================================
39.99/40.14	c core #583
39.99/40.14	c Core size: 86	Core Weight: 1	Total Weight: -417
39.99/40.14	c Elapsed CPU time: 39.377 s	Remaining CPU time: 1760.62 s
40.10/40.21	c ============================[ Search Statistics ]==============================
40.10/40.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.10/40.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.10/40.21	c ===============================================================================
40.10/40.21	c |         0 |    2867    35223    82556 |    11741        0    nan |  0.000 % |
40.10/40.22	c ===============================================================================
40.10/40.22	c core #584
40.10/40.22	c Core size: 54	Core Weight: 1	Total Weight: -416
40.10/40.22	c Elapsed CPU time: 39.451 s	Remaining CPU time: 1760.55 s
40.10/40.29	c ============================[ Search Statistics ]==============================
40.10/40.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.10/40.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.10/40.29	c ===============================================================================
40.10/40.29	c |         0 |    2888    35224    82598 |    11741        0    nan |  0.000 % |
40.10/40.30	c ===============================================================================
40.10/40.30	c core #585
40.10/40.30	c Core size: 43	Core Weight: 1	Total Weight: -415
40.10/40.30	c Elapsed CPU time: 39.527 s	Remaining CPU time: 1760.47 s
40.19/40.37	c ============================[ Search Statistics ]==============================
40.19/40.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.19/40.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.19/40.37	c ===============================================================================
40.19/40.37	c |         0 |    2904    35225    82630 |    11741        0    nan |  0.000 % |
40.19/40.37	c ===============================================================================
40.19/40.37	c core #586
40.19/40.37	c Core size: 32	Core Weight: 1	Total Weight: -414
40.19/40.37	c Elapsed CPU time: 39.603 s	Remaining CPU time: 1760.4 s
40.29/40.44	c ============================[ Search Statistics ]==============================
40.29/40.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.29/40.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.29/40.44	c ===============================================================================
40.29/40.44	c |         0 |    2916    35226    82654 |    11742        0    nan |  0.000 % |
40.29/40.45	c ===============================================================================
40.29/40.45	c core #587
40.29/40.45	c Core size: 35	Core Weight: 1	Total Weight: -413
40.29/40.45	c Elapsed CPU time: 39.678 s	Remaining CPU time: 1760.32 s
40.39/40.52	c ============================[ Search Statistics ]==============================
40.39/40.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.39/40.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.39/40.52	c ===============================================================================
40.39/40.52	c |         0 |    2930    35227    82682 |    11742        0    nan |  0.000 % |
40.39/40.52	c ===============================================================================
40.39/40.52	c core #588
40.39/40.52	c Core size: 51	Core Weight: 1	Total Weight: -412
40.39/40.52	c Elapsed CPU time: 39.754 s	Remaining CPU time: 1760.25 s
40.39/40.59	c ============================[ Search Statistics ]==============================
40.39/40.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.39/40.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.39/40.59	c ===============================================================================
40.39/40.59	c |         0 |    2950    35228    82722 |    11742        0    nan |  0.000 % |
40.39/40.60	c ===============================================================================
40.49/40.60	c core #589
40.49/40.60	c Core size: 52	Core Weight: 1	Total Weight: -411
40.49/40.60	c Elapsed CPU time: 39.8279 s	Remaining CPU time: 1760.17 s
40.49/40.67	c ============================[ Search Statistics ]==============================
40.49/40.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.49/40.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.49/40.67	c ===============================================================================
40.49/40.67	c |         0 |    2970    35229    82762 |    11743        0    nan |  0.000 % |
40.49/40.68	c ===============================================================================
40.49/40.68	c core #590
40.49/40.68	c Core size: 61	Core Weight: 1	Total Weight: -410
40.49/40.68	c Elapsed CPU time: 39.9039 s	Remaining CPU time: 1760.1 s
40.59/40.75	c ============================[ Search Statistics ]==============================
40.59/40.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.59/40.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.59/40.75	c ===============================================================================
40.59/40.75	c |         0 |    2992    35230    82806 |    11743        0    nan |  0.000 % |
40.59/40.76	c ===============================================================================
40.59/40.76	c core #591
40.59/40.76	c Core size: 245	Core Weight: 1	Total Weight: -409
40.59/40.76	c Elapsed CPU time: 39.9839 s	Remaining CPU time: 1760.02 s
40.68/40.83	c ============================[ Search Statistics ]==============================
40.68/40.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.68/40.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.68/40.83	c ===============================================================================
40.68/40.83	c |         0 |    3076    35231    82974 |    11743        0    nan |  0.000 % |
40.68/40.84	c |       103 |    3076    35231    82974 |    12918      103     63 | 83.721 % |
40.68/40.86	c |       253 |    3076    35231    82974 |    14209      253     69 | 83.721 % |
40.68/40.89	c |       482 |    3076    35231    82974 |    15630      482     76 | 83.721 % |
40.78/40.92	c ===============================================================================
40.78/40.93	c core #592
40.78/40.93	c Core size: 265	Core Weight: 1	Total Weight: -408
40.78/40.93	c Elapsed CPU time: 40.1519 s	Remaining CPU time: 1759.85 s
40.88/41.00	c ============================[ Search Statistics ]==============================
40.88/41.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.88/41.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.88/41.00	c ===============================================================================
40.88/41.00	c |         0 |    3156    35232    83134 |    11744        0    nan |  0.000 % |
40.88/41.02	c |       101 |    3156    35232    83134 |    12918      101     49 | 83.374 % |
40.88/41.03	c |       254 |    3156    35232    83134 |    14210      254     44 | 83.374 % |
40.88/41.05	c |       479 |    3155    35232    83134 |    15631      479     47 | 83.374 % |
40.88/41.09	c |       817 |    3147    35232    83134 |    17194      812     57 | 83.542 % |
40.99/41.16	c |      1323 |    3145    35232    83134 |    18913     1318     88 | 83.553 % |
41.09/41.22	c ===============================================================================
41.09/41.24	c core #593
41.09/41.24	c Core size: 852	Core Weight: 1	Total Weight: -407
41.09/41.24	c Elapsed CPU time: 40.4528 s	Remaining CPU time: 1759.55 s
41.19/41.31	c ============================[ Search Statistics ]==============================
41.19/41.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.19/41.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.19/41.31	c ===============================================================================
41.19/41.31	c |         0 |    3385    35233    83592 |    11744        0    nan |  0.000 % |
41.19/41.33	c |       101 |    3385    35233    83592 |    12918      101     19 | 82.374 % |
41.19/41.34	c |       251 |    3385    35233    83592 |    14210      251     22 | 82.374 % |
41.19/41.36	c |       476 |    3385    35233    83592 |    15631      476     24 | 82.374 % |
41.19/41.39	c |       813 |    3385    35233    83592 |    17194      813     29 | 82.374 % |
41.28/41.42	c ===============================================================================
41.28/41.42	c core #594
41.28/41.42	c Core size: 584	Core Weight: 1	Total Weight: -406
41.28/41.42	c Elapsed CPU time: 40.6288 s	Remaining CPU time: 1759.37 s
41.28/41.49	c ============================[ Search Statistics ]==============================
41.28/41.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.28/41.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.28/41.49	c ===============================================================================
41.28/41.49	c |         0 |    3546    35234    83914 |    11744        0    nan |  0.000 % |
41.38/41.51	c |       104 |    3546    35234    83914 |    12919      104     33 | 81.690 % |
41.38/41.52	c |       256 |    3546    35234    83914 |    14211      256     28 | 81.690 % |
41.38/41.54	c |       481 |    3546    35234    83914 |    15632      481     29 | 81.690 % |
41.38/41.57	c |       819 |    3546    35234    83914 |    17195      819     32 | 81.690 % |
41.49/41.63	c |      1325 |    3546    35234    83914 |    18914     1325     43 | 81.690 % |
41.59/41.75	c |      2085 |    3514    35234    83914 |    20806     1794     55 | 81.855 % |
41.59/41.79	c ===============================================================================
41.69/41.81	c core #595
41.69/41.81	c Core size: 543	Core Weight: 1	Total Weight: -405
41.69/41.81	c Elapsed CPU time: 41.0118 s	Remaining CPU time: 1758.99 s
41.69/41.88	c ============================[ Search Statistics ]==============================
41.69/41.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.69/41.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.69/41.88	c ===============================================================================
41.69/41.88	c |         0 |    3677    35235    84176 |    11745        0    nan |  0.000 % |
41.79/41.90	c |       100 |    3677    35235    84176 |    12919      100     36 | 81.141 % |
41.79/41.91	c |       253 |    3677    35235    84176 |    14211      253     28 | 81.141 % |
41.79/41.93	c |       480 |    3677    35235    84176 |    15632      480     32 | 81.141 % |
41.79/41.97	c |       817 |    3677    35235    84176 |    17195      817     45 | 81.141 % |
41.88/42.02	c |      1324 |    3677    35235    84176 |    18915     1324     41 | 81.141 % |
41.98/42.12	c |      2083 |    3676    35235    84176 |    20806     2080     54 | 81.146 % |
42.19/42.30	c |      3222 |    3676    35235    84176 |    22887     3219     70 | 81.146 % |
42.19/42.38	c ===============================================================================
42.29/42.41	c core #596
42.29/42.41	c Core size: 1037	Core Weight: 1	Total Weight: -404
42.29/42.41	c Elapsed CPU time: 41.6077 s	Remaining CPU time: 1758.39 s
42.29/42.49	c ============================[ Search Statistics ]==============================
42.29/42.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.29/42.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.29/42.49	c ===============================================================================
42.29/42.49	c |         0 |    3892    35236    84606 |    11745        0    nan |  0.000 % |
42.38/42.51	c |       100 |    3892    35236    84606 |    12919      100     31 | 80.256 % |
42.38/42.52	c |       250 |    3892    35236    84606 |    14211      250     37 | 80.256 % |
42.38/42.54	c |       475 |    3892    35236    84606 |    15633      475     33 | 80.256 % |
42.38/42.58	c |       813 |    3892    35236    84606 |    17196      813     38 | 80.256 % |
42.48/42.65	c |      1320 |    3892    35236    84606 |    18915     1320     53 | 80.256 % |
42.58/42.74	c |      2079 |    3892    35236    84606 |    20807     2079     62 | 80.256 % |
42.68/42.89	c |      3219 |    3892    35236    84606 |    22888     3219     58 | 80.256 % |
43.08/43.27	c |      4931 |    3860    35236    84606 |    25177     3660     58 | 80.418 % |
43.18/43.37	c ===============================================================================
43.28/43.43	c core #597
43.28/43.43	c Core size: 954	Core Weight: 1	Total Weight: -403
43.28/43.43	c Elapsed CPU time: 42.6015 s	Remaining CPU time: 1757.4 s
43.38/43.51	c ============================[ Search Statistics ]==============================
43.38/43.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.38/43.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.38/43.51	c ===============================================================================
43.38/43.51	c |         0 |    4085    35237    84992 |    11745        0    nan |  0.000 % |
43.38/43.53	c |       101 |    4085    35237    84992 |    12920      101     64 | 79.478 % |
43.38/43.54	c |       251 |    4085    35237    84992 |    14212      251     35 | 79.478 % |
43.38/43.56	c |       476 |    4085    35237    84992 |    15633      476     27 | 79.478 % |
43.38/43.58	c |       813 |    4085    35237    84992 |    17196      813     28 | 79.478 % |
43.48/43.64	c |      1320 |    4085    35237    84992 |    18916     1320     34 | 79.478 % |
43.58/43.72	c ===============================================================================
43.58/43.73	c core #598
43.58/43.73	c Core size: 370	Core Weight: 1	Total Weight: -402
43.58/43.73	c Elapsed CPU time: 42.9015 s	Remaining CPU time: 1757.1 s
43.68/43.81	c ============================[ Search Statistics ]==============================
43.68/43.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.68/43.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.68/43.81	c ===============================================================================
43.68/43.81	c |         0 |    4168    35238    85158 |    11746        0    nan |  0.000 % |
43.68/43.83	c |       102 |    4168    35238    85158 |    12920      102     66 | 79.147 % |
43.68/43.84	c |       252 |    4168    35238    85158 |    14212      252     34 | 79.147 % |
43.68/43.85	c |       477 |    4150    35238    85158 |    15633      477     25 | 79.568 % |
43.68/43.88	c |       814 |    4084    35238    85158 |    17197      773     33 | 79.568 % |
43.79/43.91	c ===============================================================================
43.79/43.92	c core #599
43.79/43.92	c Core size: 352	Core Weight: 1	Total Weight: -401
43.79/43.92	c Elapsed CPU time: 43.0765 s	Remaining CPU time: 1756.92 s
43.79/43.99	c ============================[ Search Statistics ]==============================
43.79/43.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.79/43.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.79/43.99	c ===============================================================================
43.79/43.99	c |         0 |    4256    35239    85334 |    11746        0    nan |  0.000 % |
43.89/44.01	c |       100 |    4256    35239    85334 |    12920      100     20 | 78.801 % |
43.89/44.02	c |       251 |    4256    35239    85334 |    14213      251     29 | 78.801 % |
43.89/44.03	c |       476 |    4256    35239    85334 |    15634      476     30 | 78.801 % |
43.89/44.07	c |       819 |    4256    35239    85334 |    17197      819     43 | 78.801 % |
43.98/44.13	c |      1325 |    4256    35239    85334 |    18917     1325     54 | 78.801 % |
44.07/44.23	c |      2087 |    4256    35239    85334 |    20809     2087     57 | 78.801 % |
44.18/44.37	c ===============================================================================
44.28/44.40	c core #600
44.28/44.40	c Core size: 546	Core Weight: 1	Total Weight: -400
44.28/44.40	c Elapsed CPU time: 43.5454 s	Remaining CPU time: 1756.45 s
44.28/44.47	c ============================[ Search Statistics ]==============================
44.28/44.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.28/44.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.28/44.47	c ===============================================================================
44.28/44.47	c |         0 |    4378    35240    85578 |    11746        0    nan |  0.000 % |
44.28/44.49	c |       100 |    4378    35240    85578 |    12921      100     17 | 78.325 % |
44.38/44.50	c |       250 |    4378    35240    85578 |    14213      250     26 | 78.325 % |
44.38/44.53	c |       476 |    4378    35240    85578 |    15634      476     26 | 78.325 % |
44.38/44.56	c |       813 |    4378    35240    85578 |    17198      813     27 | 78.325 % |
44.48/44.61	c |      1319 |    4378    35240    85578 |    18918     1319     35 | 78.325 % |
44.57/44.72	c |      2079 |    4378    35240    85578 |    20809     2079     57 | 78.325 % |
44.77/44.90	c |      3221 |    4378    35240    85578 |    22890     3221     73 | 78.325 % |
45.07/45.22	c |      4931 |    4378    35240    85578 |    25180     4931     86 | 78.325 % |
45.88/46.01	c |      7493 |    4378    35240    85578 |    27698     7493    107 | 78.325 % |
47.17/47.33	c |     11339 |    4378    35240    85578 |    30467    11339    123 | 78.325 % |
49.07/49.22	c |     17105 |    4378    35240    85578 |    33514    17105    127 | 78.325 % |
51.37/51.55	c ===============================================================================
51.57/51.70	c core #601
51.57/51.70	c Core size: 927	Core Weight: 1	Total Weight: -399
51.57/51.70	c Elapsed CPU time: 50.7703 s	Remaining CPU time: 1749.23 s
51.67/51.80	c ============================[ Search Statistics ]==============================
51.67/51.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.67/51.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.67/51.80	c ===============================================================================
51.67/51.80	c |         0 |    4564    35241    85950 |    11747        0    nan |  0.000 % |
51.67/51.83	c |       101 |    4564    35241    85950 |    12921      101     63 | 77.610 % |
51.67/51.84	c |       251 |    4564    35241    85950 |    14213      251     34 | 77.610 % |
51.67/51.86	c |       476 |    4564    35241    85950 |    15635      476     31 | 77.610 % |
51.67/51.88	c |       813 |    4564    35241    85950 |    17198      813     32 | 77.610 % |
51.78/51.94	c |      1320 |    4564    35241    85950 |    18918     1320     40 | 77.610 % |
51.87/52.02	c |      2079 |    4564    35241    85950 |    20810     2079     48 | 77.610 % |
51.97/52.18	c |      3218 |    4564    35241    85950 |    22891     3218     59 | 77.610 % |
52.27/52.42	c |      4926 |    4563    35241    85950 |    25180     4919     63 | 77.615 % |
52.87/53.01	c |      7489 |    4563    35241    85950 |    27698     7482     77 | 77.615 % |
53.97/54.19	c |     11334 |    4563    35241    85950 |    30468    11327     88 | 77.615 % |
57.07/57.20	c |     17101 |    4563    35241    85950 |    33515    17094    139 | 77.615 % |
63.67/63.87	c |     25751 |    4563    35241    85950 |    36867    25744    151 | 77.615 % |
68.97/69.12	c ===============================================================================
69.47/69.69	c core #602
69.47/69.69	c Core size: 1245	Core Weight: 1	Total Weight: -398
69.47/69.69	c Elapsed CPU time: 68.6626 s	Remaining CPU time: 1731.34 s
69.66/69.81	c ============================[ Search Statistics ]==============================
69.66/69.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
69.66/69.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
69.66/69.81	c ===============================================================================
69.66/69.81	c |         0 |    4779    35242    86380 |    11747        0    nan |  0.000 % |
69.66/69.84	c |       100 |    4779    35242    86380 |    12922      100     82 | 76.800 % |
69.66/69.85	c |       250 |    4779    35242    86380 |    14214      250     46 | 76.800 % |
69.66/69.87	c |       476 |    4779    35242    86380 |    15635      476     38 | 76.800 % |
69.77/69.90	c |       814 |    4779    35242    86380 |    17199      814     35 | 76.800 % |
69.77/69.94	c |      1322 |    4779    35242    86380 |    18919     1322     37 | 76.800 % |
69.86/70.03	c |      2083 |    4779    35242    86380 |    20811     2083     48 | 76.800 % |
69.96/70.19	c |      3222 |    4779    35242    86380 |    22892     3222     59 | 76.800 % |
70.27/70.43	c |      4933 |    4779    35242    86380 |    25181     4933     62 | 76.800 % |
70.96/71.12	c |      7496 |    4779    35242    86380 |    27699     7496     93 | 76.800 % |
71.86/72.02	c ===============================================================================
71.96/72.14	c core #603
71.96/72.14	c Core size: 780	Core Weight: 1	Total Weight: -397
71.96/72.14	c Elapsed CPU time: 71.0582 s	Remaining CPU time: 1728.94 s
72.06/72.22	c ============================[ Search Statistics ]==============================
72.06/72.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.06/72.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.06/72.22	c ===============================================================================
72.06/72.22	c |         0 |    4931    35243    86684 |    11747        0    nan |  0.000 % |
72.06/72.25	c |       100 |    4931    35243    86684 |    12922      100     17 | 76.237 % |
72.06/72.26	c |       251 |    4931    35243    86684 |    14214      251     38 | 76.237 % |
72.06/72.28	c |       476 |    4931    35243    86684 |    15636      476     29 | 76.237 % |
72.17/72.32	c |       813 |    4931    35243    86684 |    17199      813     33 | 76.237 % |
72.17/72.37	c |      1322 |    4931    35243    86684 |    18919     1322     44 | 76.237 % |
72.26/72.48	c |      2081 |    4931    35243    86684 |    20811     2081     57 | 76.237 % |
72.47/72.63	c |      3222 |    4931    35243    86684 |    22892     3222     63 | 76.237 % |
72.77/72.90	c |      4933 |    4931    35243    86684 |    25182     4933     70 | 76.237 % |
73.26/73.42	c |      7495 |    4931    35243    86684 |    27700     7495     75 | 76.237 % |
74.26/74.45	c |     11340 |    4931    35243    86684 |    30470    11340     73 | 76.237 % |
77.16/77.32	c |     17106 |    4931    35243    86684 |    33517    17106     94 | 76.237 % |
84.46/84.66	c |     25755 |    4931    35243    86684 |    36869    25755    127 | 76.237 % |
98.36/98.51	c |     38729 |    4931    35243    86684 |    40556    38729    135 | 76.237 % |
139.55/139.78	c |     58190 |    4931    35243    86684 |    44611    18558    217 | 76.237 % |
172.84/173.07	c |     87383 |    4931    35243    86684 |    49072    47751    187 | 76.237 % |
246.72/246.96	c |    131172 |    4931    35243    86684 |    53980    44816    216 | 76.237 % |
349.90/350.19	c ===============================================================================
354.89/355.14	c core #604
354.89/355.14	c Core size: 1372	Core Weight: 1	Total Weight: -396
354.89/355.14	c Elapsed CPU time: 353.032 s	Remaining CPU time: 1446.97 s
355.19/355.43	c ============================[ Search Statistics ]==============================
355.19/355.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
355.19/355.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
355.19/355.43	c ===============================================================================
355.19/355.43	c |         0 |    5157    35244    87136 |    11748        0    nan |  0.000 % |
355.19/355.48	c |       100 |    5157    35244    87136 |    12922      100     52 | 75.416 % |
355.29/355.50	c |       251 |    5157    35244    87136 |    14215      251     37 | 75.416 % |
355.29/355.52	c |       476 |    5157    35244    87136 |    15636      476     37 | 75.416 % |
355.29/355.54	c |       815 |    5157    35244    87136 |    17200      815     34 | 75.416 % |
355.29/355.59	c |      1322 |    5157    35244    87136 |    18920     1322     36 | 75.416 % |
355.40/355.66	c |      2082 |    5157    35244    87136 |    20812     2082     36 | 75.416 % |
355.49/355.77	c |      3221 |    5157    35244    87136 |    22893     3221     36 | 75.416 % |
355.70/355.99	c |      4931 |    5157    35244    87136 |    25182     4931     42 | 75.416 % |
356.19/356.45	c |      7494 |    5157    35244    87136 |    27701     7494     56 | 75.416 % |
357.30/357.52	c |     11340 |    5157    35244    87136 |    30471    11340     63 | 75.416 % |
359.49/359.74	c |     17106 |    5157    35244    87136 |    33518    17106     74 | 75.416 % |
363.69/363.95	c |     25756 |    5157    35244    87136 |    36870    25756     99 | 75.416 % |
373.19/373.47	c |     38731 |    5157    35244    87136 |    40557    38731     96 | 75.416 % |
399.38/399.66	c |     58194 |    5157    35244    87136 |    44613    17549    114 | 75.416 % |
434.97/435.26	c |     87386 |    5157    35244    87136 |    49074    46741    141 | 75.416 % |
503.06/503.31	c |    131177 |    5157    35244    87136 |    53981    43860    193 | 75.416 % |
606.13/606.48	c |    196862 |    5157    35244    87136 |    59379    57876    226 | 75.416 % |
766.40/766.79	c |    295389 |    5157    35244    87136 |    65317    41065    224 | 75.416 % |
1104.71/1105.15	c |    443178 |    5157    35244    87136 |    71849    59637    397 | 75.416 % |

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-1875353-1245201170/watcher-1875353-1245201170 -o /tmp/evaluation-result-1875353-1245201170/solver-1875353-1245201170 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875353-1245201170.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 7884
/proc/meminfo: memFree=1861800/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=4152 CPUtime=0
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 187717511 4251648 247 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 1038 254 125 292 0 406 0

[startup+0.0747159 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7884
/proc/meminfo: memFree=1861800/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=7712 CPUtime=0.06
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 1178 0 0 0 6 0 0 0 18 0 1 0 187717511 7897088 1162 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 1928 1162 212 292 0 1296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7712

[startup+0.101715 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7884
/proc/meminfo: memFree=1861800/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=7996 CPUtime=0.09
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 1310 0 0 0 9 0 0 0 18 0 1 0 187717511 8187904 1294 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 1999 1294 258 292 0 1367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7996

[startup+0.301728 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7884
/proc/meminfo: memFree=1861800/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=14380 CPUtime=0.29
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 3654 0 0 0 28 1 0 0 19 0 1 0 187717511 14725120 3004 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 3595 3004 134 292 0 3300 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14380

[startup+0.701754 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7884
/proc/meminfo: memFree=1861800/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=21252 CPUtime=0.69
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 5679 0 0 0 68 1 0 0 22 0 1 0 187717511 21762048 4764 1992294400 134512640 135709839 4294956240 18446744073709551615 135172934 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 5313 4764 134 292 0 5018 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21252

[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1838048/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=35384 CPUtime=1.49
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 9083 0 0 0 146 3 0 0 25 0 1 0 187717511 36233216 8168 1992294400 134512640 135709839 4294956240 18446744073709551615 135166081 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 8846 8168 134 292 0 8551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35384

[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1819872/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=60888 CPUtime=3.09
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 15617 0 0 0 303 6 0 0 25 0 1 0 187717511 62349312 14702 1992294400 134512640 135709839 4294956240 18446744073709551615 135167070 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 15222 14702 134 292 0 14927 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60888

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1765856/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=113396 CPUtime=6.29
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 28623 0 0 0 618 11 0 0 25 0 1 0 187717511 116117504 27708 1992294400 134512640 135709839 4294956240 18446744073709551615 134530505 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 28349 27708 134 292 0 28054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113396

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1659176/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=216100 CPUtime=12.68
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 54304 0 0 0 1246 22 0 0 25 0 1 0 187717511 221286400 53389 1992294400 134512640 135709839 4294956240 18446744073709551615 134518305 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 54025 53389 134 292 0 53730 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 216100

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1453864/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=413788 CPUtime=25.46
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 103840 0 0 0 2502 44 0 0 25 0 1 0 187717511 423718912 102925 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 103447 102925 134 292 0 103152 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 413788

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1197928/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=665732 CPUtime=50.97
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 166859 0 0 0 5016 81 0 0 25 0 1 0 187717511 681709568 165944 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 166433 165944 136 292 0 166138 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 665732

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1164968/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=698024 CPUtime=102.16
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 174948 0 0 0 10104 112 0 0 25 0 1 0 187717511 714776576 173912 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 174506 173912 136 292 0 174211 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 698024

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1121128/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=742448 CPUtime=162.14
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 186029 0 0 0 16084 130 0 0 25 0 1 0 187717511 760266752 184993 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 185612 184993 136 292 0 185317 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 742448

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1077032/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=786212 CPUtime=222.13
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 196934 0 0 0 22066 147 0 0 25 0 1 0 187717511 805081088 195898 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 196553 195898 136 292 0 196258 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 786212

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=1027432/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=836172 CPUtime=282.11
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 209408 0 0 0 28044 167 0 0 25 0 1 0 187717511 856240128 208372 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 209043 208372 136 292 0 208748 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 836172

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=961576/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=901536 CPUtime=342.1
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 225719 0 0 0 34023 187 0 0 25 0 1 0 187717511 923172864 224683 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 225384 224683 136 292 0 225089 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 901536

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=945640/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=916668 CPUtime=402.09
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 229886 0 0 0 40000 209 0 0 25 0 1 0 187717511 938668032 228606 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 229167 228606 136 292 0 228872 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 916668

[startup+462.302 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 7885
/proc/meminfo: memFree=945512/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=916668 CPUtime=462.07
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 229910 0 0 0 45987 220 0 0 25 0 1 0 187717511 938668032 228630 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 229167 228630 136 292 0 228872 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 916668

[startup+522.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 7885
/proc/meminfo: memFree=943592/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=919176 CPUtime=522.05
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 230530 0 0 0 51971 234 0 0 25 0 1 0 187717511 941236224 229250 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 229794 229250 136 292 0 229499 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 919176

[startup+582.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 7885
/proc/meminfo: memFree=895400/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=967224 CPUtime=582.04
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 242515 0 0 0 57949 255 0 0 25 0 1 0 187717511 990437376 241235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 241806 241235 136 292 0 241511 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 967224

[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 7885
/proc/meminfo: memFree=853736/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1008464 CPUtime=642.03
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 252813 0 0 0 63930 273 0 0 25 0 1 0 187717511 1032667136 251533 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 252116 251533 136 292 0 251821 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 1008464

[startup+702.302 s]

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

[startup+762.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7885
/proc/meminfo: memFree=748584/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1113496 CPUtime=762
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 279065 0 0 0 75882 318 0 0 25 0 1 0 187717511 1140219904 277785 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 278374 277785 136 292 0 278079 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 1113496

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=708328/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1153836 CPUtime=821.98
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 289158 0 0 0 81861 337 0 0 25 0 1 0 187717511 1181528064 287878 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 288459 287878 136 292 0 288164 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 1153836

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=667112/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1194836 CPUtime=881.96
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 299381 0 0 0 87845 351 0 0 25 0 1 0 187717511 1223512064 298101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 298709 298101 136 292 0 298414 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 1194836

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=582184/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1280420 CPUtime=941.95
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 320770 0 0 0 93819 376 0 0 25 0 1 0 187717511 1311150080 319490 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 320105 319490 136 292 0 319810 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1280420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=535016/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1326716 CPUtime=1001.93
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 332341 0 0 0 99803 390 0 0 25 0 1 0 187717511 1358557184 331061 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 331679 331061 136 292 0 331384 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1326716

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=485288/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1377700 CPUtime=1061.92
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 345055 0 0 0 105784 408 0 0 25 0 1 0 187717511 1410764800 343775 1992294400 134512640 135709839 4294956240 18446744073709551615 134572390 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 344425 343775 136 292 0 344130 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1377700

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=415016/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1446932 CPUtime=1121.91
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 362344 0 0 0 111760 431 0 0 25 0 1 0 187717511 1481658368 361064 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 361733 361064 136 292 0 361438 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1446932

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=368040/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1494140 CPUtime=1181.9
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 374152 0 0 0 117745 445 0 0 25 0 1 0 187717511 1529999360 372872 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 373535 372872 136 292 0 373240 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1494140

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=303592/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1558412 CPUtime=1241.88
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 390226 0 0 0 123723 465 0 0 25 0 1 0 187717511 1595813888 388946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 389603 388946 136 292 0 389308 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1558412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=247208/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1613924 CPUtime=1301.87
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 404092 0 0 0 129704 483 0 0 25 0 1 0 187717511 1652658176 402812 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 403481 402812 136 292 0 403186 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1613924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=206952/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1654324 CPUtime=1361.85
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 414170 0 0 0 135688 497 0 0 25 0 1 0 187717511 1694027776 412890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 413581 412890 136 292 0 413286 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1654324

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=169704/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1691328 CPUtime=1421.84
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 423437 0 0 0 141676 508 0 0 25 0 1 0 187717511 1731919872 422157 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 422832 422157 136 292 0 422537 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1691328

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=112680/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1748692 CPUtime=1481.82
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 437775 0 0 0 147656 526 0 0 25 0 1 0 187717511 1790660608 436495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 437173 436495 136 292 0 436878 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1748692

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=69160/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1791788 CPUtime=1541.8
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 448521 0 0 0 153641 539 0 0 25 0 1 0 187717511 1834790912 447241 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 447947 447241 136 292 0 447652 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1791788

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=38696/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1822456 CPUtime=1601.8
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 456182 0 0 0 159627 553 0 0 25 0 1 0 187717511 1866194944 454902 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 455614 454902 136 292 0 455319 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1822456



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1629.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=17384/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=1843308 CPUtime=1629.4
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4194304 461400 0 0 0 162378 562 0 0 25 0 1 0 187717511 1887547392 460120 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 460827 460120 136 292 0 460532 0
Current children cumulated CPU time (s) 1629.4
Current children cumulated vsize (KiB) 1843308

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

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

[startup+1630.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7885
/proc/meminfo: memFree=17384/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=0 CPUtime=1629.5
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4195332 461400 0 0 0 162378 572 0 0 25 0 1 0 187717511 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1629.5
Current children cumulated vsize (KiB) 0

[startup+1630.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7886
/proc/meminfo: memFree=1300128/2055920 swapFree=4181748/4192956
[pid=7884] ppid=7882 vsize=0 CPUtime=1629.6
/proc/7884/stat : 7884 (wbo) R 7882 7884 6883 0 -1 4195332 461400 0 0 0 162378 582 0 0 25 0 1 0 187717511 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7884/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1629.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1630.19
CPU time (s): 1629.68
CPU user time (s): 1623.78
CPU system time (s): 5.9001
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1843308

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

runsolver used 1.07284 second user time and 3.62345 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-17 03:12:50
IDJOB=1875353
IDBENCH=48193
IDSOLVER=698
FILE ID=node22/1875353-1245201170
PBS_JOBID= 9368290
Free space on /tmp= 66156 MiB

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

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

MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21
RANDOM SEED=1863159685

node22.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.231
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.231
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:       1863304 kB
Buffers:         46936 kB
Cached:          96480 kB
SwapCached:       5504 kB
Active:          79888 kB
Inactive:        71476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863304 kB
SwapTotal:     4192956 kB
SwapFree:      4181748 kB
Dirty:            2780 kB
Writeback:           0 kB
Mapped:          12960 kB
Slab:            27300 kB
Committed_AS:   173240 kB
PageTables:       1372 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-1875353-1245201170.opb

Free space on /tmp at the end= 66152 MiB
End job on node22 at 2009-06-17 03:40:03