Trace number 1875356

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.3 1800.69

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_5.opb
MD5SUM54b0d54e7a8a81cee8fd7c7c85a68b83
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-122
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -124
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 constraint50
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)31590
Sum of products size (including duplicates)63180
Number of different products15795
Sum of products size31590

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-1875356-1245201502.opb.
0.00/0.00	c Instance file HOME/instance-1875356-1245201502.opb
0.00/0.00	c File size is 1376375 bytes.
0.19/0.21	c Highest Coefficient sum: 50
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:      16795                                               |
0.19/0.21	c |  Number Clauses:        16795                                               |
0.19/0.21	c |  Number Cardinality:    2000                                                |
0.19/0.21	c |  Number PB Constraints: 15795                                               |
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.201969 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.252961 s	Remaining CPU time: 1799.75 s
0.29/0.31	c core #3
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: -997
0.29/0.31	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 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.352946 s	Remaining CPU time: 1799.65 s
0.39/0.42	c core #5
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: -995
0.39/0.42	c Elapsed CPU time: 0.405938 s	Remaining CPU time: 1799.59 s
0.39/0.48	c core #6
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: -994
0.39/0.48	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 1799.54 s
0.49/0.54	c core #7
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: -993
0.49/0.54	c Elapsed CPU time: 0.52592 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.58691 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.648901 s	Remaining CPU time: 1799.35 s
0.69/0.73	c core #10
0.69/0.73	c Core size: 4	Core Weight: 1	Total Weight: -990
0.69/0.73	c Elapsed CPU time: 0.709892 s	Remaining CPU time: 1799.29 s
0.69/0.79	c core #11
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: -989
0.69/0.79	c Elapsed CPU time: 0.771882 s	Remaining CPU time: 1799.23 s
0.79/0.85	c core #12
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: -988
0.79/0.85	c Elapsed CPU time: 0.833873 s	Remaining CPU time: 1799.17 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.893864 s	Remaining CPU time: 1799.11 s
0.89/0.98	c core #14
0.89/0.98	c Core size: 4	Core Weight: 1	Total Weight: -986
0.89/0.98	c Elapsed CPU time: 0.957854 s	Remaining CPU time: 1799.04 s
0.99/1.04	c core #15
0.99/1.04	c Core size: 4	Core Weight: 1	Total Weight: -985
0.99/1.04	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 1798.98 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.08283 s	Remaining CPU time: 1798.92 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.14482 s	Remaining CPU time: 1798.86 s
1.19/1.23	c core #18
1.19/1.23	c Core size: 4	Core Weight: 1	Total Weight: -982
1.19/1.23	c Elapsed CPU time: 1.20782 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.27081 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.3328 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.44978 s	Remaining CPU time: 1798.55 s
1.49/1.54	c core #23
1.49/1.54	c Core size: 4	Core Weight: 1	Total Weight: -977
1.49/1.54	c Elapsed CPU time: 1.50977 s	Remaining CPU time: 1798.49 s
1.59/1.60	c core #24
1.59/1.60	c Core size: 4	Core Weight: 1	Total Weight: -976
1.59/1.60	c Elapsed CPU time: 1.57076 s	Remaining CPU time: 1798.43 s
1.59/1.67	c core #25
1.59/1.67	c Core size: 4	Core Weight: 1	Total Weight: -975
1.59/1.67	c Elapsed CPU time: 1.63175 s	Remaining CPU time: 1798.37 s
1.69/1.73	c core #26
1.69/1.73	c Core size: 4	Core Weight: 1	Total Weight: -974
1.69/1.73	c Elapsed CPU time: 1.69574 s	Remaining CPU time: 1798.3 s
1.69/1.79	c core #27
1.69/1.79	c Core size: 4	Core Weight: 1	Total Weight: -973
1.69/1.79	c Elapsed CPU time: 1.75773 s	Remaining CPU time: 1798.24 s
1.79/1.86	c core #28
1.79/1.86	c Core size: 4	Core Weight: 1	Total Weight: -972
1.79/1.86	c Elapsed CPU time: 1.81872 s	Remaining CPU time: 1798.18 s
1.89/1.92	c core #29
1.89/1.92	c Core size: 4	Core Weight: 1	Total Weight: -971
1.89/1.92	c Elapsed CPU time: 1.88271 s	Remaining CPU time: 1798.12 s
1.89/1.98	c core #30
1.89/1.98	c Core size: 4	Core Weight: 1	Total Weight: -970
1.89/1.98	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 1798.06 s
1.99/2.05	c core #31
1.99/2.05	c Core size: 4	Core Weight: 1	Total Weight: -969
1.99/2.05	c Elapsed CPU time: 2.00569 s	Remaining CPU time: 1797.99 s
2.09/2.11	c core #32
2.09/2.11	c Core size: 4	Core Weight: 1	Total Weight: -968
2.09/2.11	c Elapsed CPU time: 2.06669 s	Remaining CPU time: 1797.93 s
2.09/2.17	c core #33
2.09/2.17	c Core size: 4	Core Weight: 1	Total Weight: -967
2.09/2.17	c Elapsed CPU time: 2.13068 s	Remaining CPU time: 1797.87 s
2.19/2.24	c core #34
2.19/2.24	c Core size: 4	Core Weight: 1	Total Weight: -966
2.19/2.24	c Elapsed CPU time: 2.19367 s	Remaining CPU time: 1797.81 s
2.29/2.30	c core #35
2.29/2.30	c Core size: 4	Core Weight: 1	Total Weight: -965
2.29/2.30	c Elapsed CPU time: 2.25866 s	Remaining CPU time: 1797.74 s
2.29/2.37	c core #36
2.29/2.37	c Core size: 4	Core Weight: 1	Total Weight: -964
2.29/2.37	c Elapsed CPU time: 2.32065 s	Remaining CPU time: 1797.68 s
2.39/2.43	c core #37
2.39/2.43	c Core size: 4	Core Weight: 1	Total Weight: -963
2.39/2.43	c Elapsed CPU time: 2.38164 s	Remaining CPU time: 1797.62 s
2.39/2.49	c core #38
2.39/2.49	c Core size: 4	Core Weight: 1	Total Weight: -962
2.39/2.49	c Elapsed CPU time: 2.44363 s	Remaining CPU time: 1797.56 s
2.49/2.55	c core #39
2.49/2.55	c Core size: 4	Core Weight: 1	Total Weight: -961
2.49/2.55	c Elapsed CPU time: 2.50662 s	Remaining CPU time: 1797.49 s
2.59/2.62	c core #40
2.59/2.62	c Core size: 4	Core Weight: 1	Total Weight: -960
2.59/2.62	c Elapsed CPU time: 2.56561 s	Remaining CPU time: 1797.43 s
2.59/2.68	c core #41
2.59/2.68	c Core size: 4	Core Weight: 1	Total Weight: -959
2.59/2.68	c Elapsed CPU time: 2.6286 s	Remaining CPU time: 1797.37 s
2.69/2.74	c core #42
2.69/2.74	c Core size: 4	Core Weight: 1	Total Weight: -958
2.69/2.74	c Elapsed CPU time: 2.69059 s	Remaining CPU time: 1797.31 s
2.79/2.81	c core #43
2.79/2.81	c Core size: 4	Core Weight: 1	Total Weight: -957
2.79/2.81	c Elapsed CPU time: 2.75358 s	Remaining CPU time: 1797.25 s
2.79/2.87	c core #44
2.79/2.87	c Core size: 4	Core Weight: 1	Total Weight: -956
2.79/2.87	c Elapsed CPU time: 2.81457 s	Remaining CPU time: 1797.19 s
2.89/2.93	c core #45
2.89/2.93	c Core size: 4	Core Weight: 1	Total Weight: -955
2.89/2.93	c Elapsed CPU time: 2.87656 s	Remaining CPU time: 1797.12 s
2.89/2.99	c core #46
2.89/2.99	c Core size: 4	Core Weight: 1	Total Weight: -954
2.89/2.99	c Elapsed CPU time: 2.94055 s	Remaining CPU time: 1797.06 s
2.99/3.06	c core #47
2.99/3.06	c Core size: 4	Core Weight: 1	Total Weight: -953
2.99/3.06	c Elapsed CPU time: 3.00454 s	Remaining CPU time: 1797 s
3.09/3.12	c core #48
3.09/3.12	c Core size: 4	Core Weight: 1	Total Weight: -952
3.09/3.12	c Elapsed CPU time: 3.06553 s	Remaining CPU time: 1796.93 s
3.09/3.19	c core #49
3.09/3.19	c Core size: 4	Core Weight: 1	Total Weight: -951
3.09/3.19	c Elapsed CPU time: 3.12752 s	Remaining CPU time: 1796.87 s
3.20/3.25	c core #50
3.20/3.25	c Core size: 4	Core Weight: 1	Total Weight: -950
3.20/3.25	c Elapsed CPU time: 3.19051 s	Remaining CPU time: 1796.81 s
3.29/3.31	c core #51
3.29/3.31	c Core size: 4	Core Weight: 1	Total Weight: -949
3.29/3.31	c Elapsed CPU time: 3.2505 s	Remaining CPU time: 1796.75 s
3.29/3.38	c core #52
3.29/3.38	c Core size: 4	Core Weight: 1	Total Weight: -948
3.29/3.38	c Elapsed CPU time: 3.3125 s	Remaining CPU time: 1796.69 s
3.39/3.44	c core #53
3.39/3.44	c Core size: 4	Core Weight: 1	Total Weight: -947
3.39/3.44	c Elapsed CPU time: 3.37549 s	Remaining CPU time: 1796.62 s
3.49/3.50	c core #54
3.49/3.50	c Core size: 4	Core Weight: 1	Total Weight: -946
3.49/3.50	c Elapsed CPU time: 3.43648 s	Remaining CPU time: 1796.56 s
3.49/3.57	c core #55
3.49/3.57	c Core size: 4	Core Weight: 1	Total Weight: -945
3.49/3.57	c Elapsed CPU time: 3.49747 s	Remaining CPU time: 1796.5 s
3.59/3.63	c core #56
3.59/3.63	c Core size: 4	Core Weight: 1	Total Weight: -944
3.59/3.63	c Elapsed CPU time: 3.55946 s	Remaining CPU time: 1796.44 s
3.69/3.70	c core #57
3.69/3.70	c Core size: 4	Core Weight: 1	Total Weight: -943
3.69/3.70	c Elapsed CPU time: 3.62445 s	Remaining CPU time: 1796.38 s
3.69/3.76	c core #58
3.69/3.76	c Core size: 4	Core Weight: 1	Total Weight: -942
3.69/3.76	c Elapsed CPU time: 3.68844 s	Remaining CPU time: 1796.31 s
3.79/3.83	c core #59
3.79/3.83	c Core size: 4	Core Weight: 1	Total Weight: -941
3.79/3.83	c Elapsed CPU time: 3.75343 s	Remaining CPU time: 1796.25 s
3.79/3.89	c core #60
3.79/3.89	c Core size: 4	Core Weight: 1	Total Weight: -940
3.79/3.89	c Elapsed CPU time: 3.81842 s	Remaining CPU time: 1796.18 s
3.89/3.96	c core #61
3.89/3.96	c Core size: 4	Core Weight: 1	Total Weight: -939
3.89/3.96	c Elapsed CPU time: 3.88341 s	Remaining CPU time: 1796.12 s
3.99/4.03	c core #62
3.99/4.03	c Core size: 4	Core Weight: 1	Total Weight: -938
3.99/4.03	c Elapsed CPU time: 3.9494 s	Remaining CPU time: 1796.05 s
3.99/4.09	c core #63
3.99/4.09	c Core size: 4	Core Weight: 1	Total Weight: -937
3.99/4.09	c Elapsed CPU time: 4.01539 s	Remaining CPU time: 1795.98 s
4.08/4.16	c core #64
4.08/4.16	c Core size: 4	Core Weight: 1	Total Weight: -936
4.08/4.16	c Elapsed CPU time: 4.07938 s	Remaining CPU time: 1795.92 s
4.18/4.22	c core #65
4.18/4.22	c Core size: 4	Core Weight: 1	Total Weight: -935
4.18/4.22	c Elapsed CPU time: 4.14537 s	Remaining CPU time: 1795.85 s
4.18/4.29	c core #66
4.18/4.29	c Core size: 4	Core Weight: 1	Total Weight: -934
4.18/4.29	c Elapsed CPU time: 4.20636 s	Remaining CPU time: 1795.79 s
4.29/4.35	c core #67
4.29/4.35	c Core size: 4	Core Weight: 1	Total Weight: -933
4.29/4.35	c Elapsed CPU time: 4.26835 s	Remaining CPU time: 1795.73 s
4.39/4.41	c core #68
4.39/4.41	c Core size: 4	Core Weight: 1	Total Weight: -932
4.39/4.41	c Elapsed CPU time: 4.33034 s	Remaining CPU time: 1795.67 s
4.39/4.47	c core #69
4.39/4.47	c Core size: 4	Core Weight: 1	Total Weight: -931
4.39/4.47	c Elapsed CPU time: 4.39333 s	Remaining CPU time: 1795.61 s
4.49/4.54	c core #70
4.49/4.54	c Core size: 4	Core Weight: 1	Total Weight: -930
4.49/4.54	c Elapsed CPU time: 4.45632 s	Remaining CPU time: 1795.54 s
4.59/4.60	c core #71
4.59/4.60	c Core size: 4	Core Weight: 1	Total Weight: -929
4.59/4.60	c Elapsed CPU time: 4.51831 s	Remaining CPU time: 1795.48 s
4.59/4.67	c core #72
4.59/4.67	c Core size: 4	Core Weight: 1	Total Weight: -928
4.59/4.67	c Elapsed CPU time: 4.5813 s	Remaining CPU time: 1795.42 s
4.69/4.73	c core #73
4.69/4.73	c Core size: 4	Core Weight: 1	Total Weight: -927
4.69/4.73	c Elapsed CPU time: 4.64529 s	Remaining CPU time: 1795.35 s
4.69/4.79	c core #74
4.69/4.79	c Core size: 4	Core Weight: 1	Total Weight: -926
4.69/4.79	c Elapsed CPU time: 4.70828 s	Remaining CPU time: 1795.29 s
4.78/4.86	c core #75
4.78/4.86	c Core size: 4	Core Weight: 1	Total Weight: -925
4.78/4.86	c Elapsed CPU time: 4.77127 s	Remaining CPU time: 1795.23 s
4.89/4.92	c core #76
4.89/4.92	c Core size: 4	Core Weight: 1	Total Weight: -924
4.89/4.92	c Elapsed CPU time: 4.83427 s	Remaining CPU time: 1795.17 s
4.89/4.99	c core #77
4.89/4.99	c Core size: 4	Core Weight: 1	Total Weight: -923
4.89/4.99	c Elapsed CPU time: 4.89825 s	Remaining CPU time: 1795.1 s
4.99/5.05	c core #78
4.99/5.05	c Core size: 4	Core Weight: 1	Total Weight: -922
4.99/5.05	c Elapsed CPU time: 4.96425 s	Remaining CPU time: 1795.04 s
5.09/5.12	c core #79
5.09/5.12	c Core size: 4	Core Weight: 1	Total Weight: -921
5.09/5.12	c Elapsed CPU time: 5.02923 s	Remaining CPU time: 1794.97 s
5.09/5.19	c core #80
5.09/5.19	c Core size: 4	Core Weight: 1	Total Weight: -920
5.09/5.19	c Elapsed CPU time: 5.09422 s	Remaining CPU time: 1794.91 s
5.19/5.25	c core #81
5.19/5.25	c Core size: 4	Core Weight: 1	Total Weight: -919
5.19/5.25	c Elapsed CPU time: 5.16122 s	Remaining CPU time: 1794.84 s
5.29/5.32	c core #82
5.29/5.32	c Core size: 4	Core Weight: 1	Total Weight: -918
5.29/5.32	c Elapsed CPU time: 5.2242 s	Remaining CPU time: 1794.78 s
5.29/5.39	c core #83
5.29/5.39	c Core size: 4	Core Weight: 1	Total Weight: -917
5.29/5.39	c Elapsed CPU time: 5.2912 s	Remaining CPU time: 1794.71 s
5.39/5.45	c core #84
5.39/5.45	c Core size: 4	Core Weight: 1	Total Weight: -916
5.39/5.45	c Elapsed CPU time: 5.35319 s	Remaining CPU time: 1794.65 s
5.49/5.52	c core #85
5.49/5.52	c Core size: 4	Core Weight: 1	Total Weight: -915
5.49/5.52	c Elapsed CPU time: 5.41718 s	Remaining CPU time: 1794.58 s
5.49/5.58	c core #86
5.49/5.58	c Core size: 4	Core Weight: 1	Total Weight: -914
5.49/5.58	c Elapsed CPU time: 5.48017 s	Remaining CPU time: 1794.52 s
5.59/5.65	c core #87
5.59/5.65	c Core size: 4	Core Weight: 1	Total Weight: -913
5.59/5.65	c Elapsed CPU time: 5.54416 s	Remaining CPU time: 1794.46 s
5.69/5.72	c core #88
5.69/5.72	c Core size: 4	Core Weight: 1	Total Weight: -912
5.69/5.72	c Elapsed CPU time: 5.60915 s	Remaining CPU time: 1794.39 s
5.69/5.78	c core #89
5.69/5.78	c Core size: 4	Core Weight: 1	Total Weight: -911
5.69/5.78	c Elapsed CPU time: 5.67514 s	Remaining CPU time: 1794.32 s
5.78/5.85	c core #90
5.78/5.85	c Core size: 4	Core Weight: 1	Total Weight: -910
5.78/5.85	c Elapsed CPU time: 5.73813 s	Remaining CPU time: 1794.26 s
5.89/5.91	c core #91
5.89/5.91	c Core size: 4	Core Weight: 1	Total Weight: -909
5.89/5.91	c Elapsed CPU time: 5.80412 s	Remaining CPU time: 1794.2 s
5.89/5.98	c core #92
5.89/5.98	c Core size: 4	Core Weight: 1	Total Weight: -908
5.89/5.98	c Elapsed CPU time: 5.86811 s	Remaining CPU time: 1794.13 s
5.99/6.04	c core #93
5.99/6.04	c Core size: 4	Core Weight: 1	Total Weight: -907
5.99/6.04	c Elapsed CPU time: 5.9331 s	Remaining CPU time: 1794.07 s
6.09/6.11	c core #94
6.09/6.11	c Core size: 4	Core Weight: 1	Total Weight: -906
6.09/6.11	c Elapsed CPU time: 5.99709 s	Remaining CPU time: 1794 s
6.09/6.17	c core #95
6.09/6.17	c Core size: 4	Core Weight: 1	Total Weight: -905
6.09/6.17	c Elapsed CPU time: 6.06008 s	Remaining CPU time: 1793.94 s
6.19/6.24	c core #96
6.19/6.24	c Core size: 4	Core Weight: 1	Total Weight: -904
6.19/6.24	c Elapsed CPU time: 6.12607 s	Remaining CPU time: 1793.87 s
6.28/6.31	c core #97
6.28/6.31	c Core size: 4	Core Weight: 1	Total Weight: -903
6.28/6.31	c Elapsed CPU time: 6.19106 s	Remaining CPU time: 1793.81 s
6.28/6.37	c core #98
6.28/6.37	c Core size: 4	Core Weight: 1	Total Weight: -902
6.28/6.37	c Elapsed CPU time: 6.25605 s	Remaining CPU time: 1793.74 s
6.38/6.44	c core #99
6.38/6.44	c Core size: 4	Core Weight: 1	Total Weight: -901
6.38/6.44	c Elapsed CPU time: 6.32104 s	Remaining CPU time: 1793.68 s
6.49/6.50	c core #100
6.49/6.50	c Core size: 4	Core Weight: 1	Total Weight: -900
6.49/6.50	c Elapsed CPU time: 6.38403 s	Remaining CPU time: 1793.62 s
6.49/6.57	c core #101
6.49/6.57	c Core size: 4	Core Weight: 1	Total Weight: -899
6.49/6.57	c Elapsed CPU time: 6.44902 s	Remaining CPU time: 1793.55 s
6.59/6.63	c core #102
6.59/6.63	c Core size: 4	Core Weight: 1	Total Weight: -898
6.59/6.63	c Elapsed CPU time: 6.51001 s	Remaining CPU time: 1793.49 s
6.69/6.70	c core #103
6.69/6.70	c Core size: 4	Core Weight: 1	Total Weight: -897
6.69/6.70	c Elapsed CPU time: 6.574 s	Remaining CPU time: 1793.43 s
6.69/6.76	c core #104
6.69/6.76	c Core size: 4	Core Weight: 1	Total Weight: -896
6.69/6.76	c Elapsed CPU time: 6.63599 s	Remaining CPU time: 1793.36 s
6.78/6.83	c core #105
6.78/6.83	c Core size: 4	Core Weight: 1	Total Weight: -895
6.78/6.83	c Elapsed CPU time: 6.69798 s	Remaining CPU time: 1793.3 s
6.78/6.89	c core #106
6.78/6.89	c Core size: 4	Core Weight: 1	Total Weight: -894
6.78/6.89	c Elapsed CPU time: 6.75997 s	Remaining CPU time: 1793.24 s
6.89/6.96	c core #107
6.89/6.96	c Core size: 4	Core Weight: 1	Total Weight: -893
6.89/6.96	c Elapsed CPU time: 6.82296 s	Remaining CPU time: 1793.18 s
6.99/7.02	c core #108
6.99/7.02	c Core size: 4	Core Weight: 1	Total Weight: -892
6.99/7.02	c Elapsed CPU time: 6.88695 s	Remaining CPU time: 1793.11 s
6.99/7.09	c core #109
6.99/7.09	c Core size: 4	Core Weight: 1	Total Weight: -891
6.99/7.09	c Elapsed CPU time: 6.95294 s	Remaining CPU time: 1793.05 s
7.08/7.15	c core #110
7.08/7.15	c Core size: 4	Core Weight: 1	Total Weight: -890
7.08/7.15	c Elapsed CPU time: 7.01493 s	Remaining CPU time: 1792.99 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.08192 s	Remaining CPU time: 1792.92 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.14891 s	Remaining CPU time: 1792.85 s
7.28/7.35	c core #113
7.28/7.35	c Core size: 4	Core Weight: 1	Total Weight: -887
7.28/7.35	c Elapsed CPU time: 7.2149 s	Remaining CPU time: 1792.79 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.27889 s	Remaining CPU time: 1792.72 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.34788 s	Remaining CPU time: 1792.65 s
7.49/7.56	c core #116
7.49/7.56	c Core size: 4	Core Weight: 1	Total Weight: -884
7.49/7.56	c Elapsed CPU time: 7.41387 s	Remaining CPU time: 1792.59 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.69	c core #118
7.59/7.69	c Core size: 4	Core Weight: 1	Total Weight: -882
7.59/7.69	c Elapsed CPU time: 7.54585 s	Remaining CPU time: 1792.45 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.79/7.82	c core #120
7.79/7.82	c Core size: 4	Core Weight: 1	Total Weight: -880
7.79/7.82	c Elapsed CPU time: 7.67283 s	Remaining CPU time: 1792.33 s
7.79/7.89	c core #121
7.79/7.89	c Core size: 4	Core Weight: 1	Total Weight: -879
7.79/7.89	c Elapsed CPU time: 7.73782 s	Remaining CPU time: 1792.26 s
7.88/7.95	c core #122
7.88/7.95	c Core size: 4	Core Weight: 1	Total Weight: -878
7.88/7.95	c Elapsed CPU time: 7.79881 s	Remaining CPU time: 1792.2 s
7.99/8.02	c core #123
7.99/8.02	c Core size: 4	Core Weight: 1	Total Weight: -877
7.99/8.02	c Elapsed CPU time: 7.8638 s	Remaining CPU time: 1792.14 s
7.99/8.08	c core #124
7.99/8.08	c Core size: 4	Core Weight: 1	Total Weight: -876
7.99/8.08	c Elapsed CPU time: 7.92879 s	Remaining CPU time: 1792.07 s
8.09/8.15	c core #125
8.09/8.15	c Core size: 4	Core Weight: 1	Total Weight: -875
8.09/8.15	c Elapsed CPU time: 7.99378 s	Remaining CPU time: 1792.01 s
8.19/8.21	c core #126
8.19/8.21	c Core size: 4	Core Weight: 1	Total Weight: -874
8.19/8.21	c Elapsed CPU time: 8.05877 s	Remaining CPU time: 1791.94 s
8.19/8.28	c core #127
8.19/8.28	c Core size: 4	Core Weight: 1	Total Weight: -873
8.19/8.28	c Elapsed CPU time: 8.12576 s	Remaining CPU time: 1791.87 s
8.29/8.35	c core #128
8.29/8.35	c Core size: 4	Core Weight: 1	Total Weight: -872
8.29/8.35	c Elapsed CPU time: 8.19375 s	Remaining CPU time: 1791.81 s
8.39/8.41	c core #129
8.39/8.41	c Core size: 4	Core Weight: 1	Total Weight: -871
8.39/8.41	c Elapsed CPU time: 8.25974 s	Remaining CPU time: 1791.74 s
8.39/8.48	c core #130
8.39/8.48	c Core size: 4	Core Weight: 1	Total Weight: -870
8.39/8.48	c Elapsed CPU time: 8.32273 s	Remaining CPU time: 1791.68 s
8.48/8.54	c core #131
8.48/8.54	c Core size: 4	Core Weight: 1	Total Weight: -869
8.48/8.54	c Elapsed CPU time: 8.38772 s	Remaining CPU time: 1791.61 s
8.58/8.61	c core #132
8.58/8.61	c Core size: 4	Core Weight: 1	Total Weight: -868
8.58/8.61	c Elapsed CPU time: 8.45172 s	Remaining CPU time: 1791.55 s
8.58/8.68	c core #133
8.58/8.68	c Core size: 4	Core Weight: 1	Total Weight: -867
8.58/8.68	c Elapsed CPU time: 8.5177 s	Remaining CPU time: 1791.48 s
8.69/8.74	c core #134
8.69/8.74	c Core size: 4	Core Weight: 1	Total Weight: -866
8.69/8.74	c Elapsed CPU time: 8.5807 s	Remaining CPU time: 1791.42 s
8.79/8.81	c core #135
8.79/8.81	c Core size: 4	Core Weight: 1	Total Weight: -865
8.79/8.81	c Elapsed CPU time: 8.64668 s	Remaining CPU time: 1791.35 s
8.79/8.88	c core #136
8.79/8.88	c Core size: 4	Core Weight: 1	Total Weight: -864
8.79/8.88	c Elapsed CPU time: 8.71068 s	Remaining CPU time: 1791.29 s
8.89/8.94	c core #137
8.89/8.94	c Core size: 4	Core Weight: 1	Total Weight: -863
8.89/8.94	c Elapsed CPU time: 8.77666 s	Remaining CPU time: 1791.22 s
8.98/9.01	c core #138
8.98/9.01	c Core size: 4	Core Weight: 1	Total Weight: -862
8.98/9.01	c Elapsed CPU time: 8.84266 s	Remaining CPU time: 1791.16 s
8.98/9.08	c core #139
8.98/9.08	c Core size: 4	Core Weight: 1	Total Weight: -861
8.98/9.08	c Elapsed CPU time: 8.91065 s	Remaining CPU time: 1791.09 s
9.08/9.15	c core #140
9.08/9.15	c Core size: 4	Core Weight: 1	Total Weight: -860
9.08/9.15	c Elapsed CPU time: 8.97663 s	Remaining CPU time: 1791.02 s
9.19/9.21	c core #141
9.19/9.21	c Core size: 4	Core Weight: 1	Total Weight: -859
9.19/9.21	c Elapsed CPU time: 9.04363 s	Remaining CPU time: 1790.96 s
9.19/9.28	c core #142
9.19/9.28	c Core size: 4	Core Weight: 1	Total Weight: -858
9.19/9.28	c Elapsed CPU time: 9.11061 s	Remaining CPU time: 1790.89 s
9.29/9.35	c core #143
9.29/9.35	c Core size: 4	Core Weight: 1	Total Weight: -857
9.29/9.35	c Elapsed CPU time: 9.1766 s	Remaining CPU time: 1790.82 s
9.39/9.41	c core #144
9.39/9.41	c Core size: 4	Core Weight: 1	Total Weight: -856
9.39/9.41	c Elapsed CPU time: 9.24259 s	Remaining CPU time: 1790.76 s
9.39/9.48	c core #145
9.39/9.48	c Core size: 4	Core Weight: 1	Total Weight: -855
9.39/9.48	c Elapsed CPU time: 9.30858 s	Remaining CPU time: 1790.69 s
9.49/9.55	c core #146
9.49/9.55	c Core size: 4	Core Weight: 1	Total Weight: -854
9.49/9.55	c Elapsed CPU time: 9.37457 s	Remaining CPU time: 1790.63 s
9.59/9.62	c core #147
9.59/9.62	c Core size: 4	Core Weight: 1	Total Weight: -853
9.59/9.62	c Elapsed CPU time: 9.44056 s	Remaining CPU time: 1790.56 s
9.59/9.68	c core #148
9.59/9.68	c Core size: 4	Core Weight: 1	Total Weight: -852
9.59/9.68	c Elapsed CPU time: 9.50056 s	Remaining CPU time: 1790.5 s
9.68/9.74	c core #149
9.68/9.74	c Core size: 4	Core Weight: 1	Total Weight: -851
9.68/9.74	c Elapsed CPU time: 9.56555 s	Remaining CPU time: 1790.43 s
9.79/9.81	c core #150
9.79/9.81	c Core size: 4	Core Weight: 1	Total Weight: -850
9.79/9.81	c Elapsed CPU time: 9.62854 s	Remaining CPU time: 1790.37 s
9.79/9.88	c core #151
9.79/9.88	c Core size: 4	Core Weight: 1	Total Weight: -849
9.79/9.88	c Elapsed CPU time: 9.69453 s	Remaining CPU time: 1790.31 s
9.89/9.94	c core #152
9.89/9.94	c Core size: 4	Core Weight: 1	Total Weight: -848
9.89/9.94	c Elapsed CPU time: 9.75852 s	Remaining CPU time: 1790.24 s
9.99/10.01	c core #153
9.99/10.01	c Core size: 4	Core Weight: 1	Total Weight: -847
9.99/10.01	c Elapsed CPU time: 9.82451 s	Remaining CPU time: 1790.18 s
9.99/10.07	c core #154
9.99/10.07	c Core size: 4	Core Weight: 1	Total Weight: -846
9.99/10.07	c Elapsed CPU time: 9.8895 s	Remaining CPU time: 1790.11 s
10.09/10.14	c core #155
10.09/10.14	c Core size: 4	Core Weight: 1	Total Weight: -845
10.09/10.14	c Elapsed CPU time: 9.95549 s	Remaining CPU time: 1790.04 s
10.19/10.20	c core #156
10.19/10.20	c Core size: 4	Core Weight: 1	Total Weight: -844
10.19/10.20	c Elapsed CPU time: 10.0185 s	Remaining CPU time: 1789.98 s
10.19/10.27	c core #157
10.19/10.27	c Core size: 4	Core Weight: 1	Total Weight: -843
10.19/10.27	c Elapsed CPU time: 10.0845 s	Remaining CPU time: 1789.92 s
10.29/10.33	c core #158
10.29/10.33	c Core size: 4	Core Weight: 1	Total Weight: -842
10.29/10.33	c Elapsed CPU time: 10.1495 s	Remaining CPU time: 1789.85 s
10.39/10.40	c core #159
10.39/10.40	c Core size: 4	Core Weight: 1	Total Weight: -841
10.39/10.40	c Elapsed CPU time: 10.2144 s	Remaining CPU time: 1789.79 s
10.39/10.46	c core #160
10.39/10.46	c Core size: 4	Core Weight: 1	Total Weight: -840
10.39/10.46	c Elapsed CPU time: 10.2774 s	Remaining CPU time: 1789.72 s
10.48/10.53	c core #161
10.48/10.53	c Core size: 4	Core Weight: 1	Total Weight: -839
10.48/10.53	c Elapsed CPU time: 10.3414 s	Remaining CPU time: 1789.66 s
10.48/10.59	c core #162
10.48/10.59	c Core size: 4	Core Weight: 1	Total Weight: -838
10.48/10.59	c Elapsed CPU time: 10.4074 s	Remaining CPU time: 1789.59 s
10.58/10.66	c core #163
10.58/10.66	c Core size: 4	Core Weight: 1	Total Weight: -837
10.58/10.66	c Elapsed CPU time: 10.4704 s	Remaining CPU time: 1789.53 s
10.68/10.72	c core #164
10.68/10.72	c Core size: 4	Core Weight: 1	Total Weight: -836
10.68/10.72	c Elapsed CPU time: 10.5344 s	Remaining CPU time: 1789.47 s
10.68/10.79	c core #165
10.68/10.79	c Core size: 4	Core Weight: 1	Total Weight: -835
10.68/10.79	c Elapsed CPU time: 10.5974 s	Remaining CPU time: 1789.4 s
10.79/10.86	c core #166
10.79/10.86	c Core size: 4	Core Weight: 1	Total Weight: -834
10.79/10.86	c Elapsed CPU time: 10.6634 s	Remaining CPU time: 1789.34 s
10.89/10.92	c core #167
10.89/10.92	c Core size: 4	Core Weight: 1	Total Weight: -833
10.89/10.92	c Elapsed CPU time: 10.7294 s	Remaining CPU time: 1789.27 s
10.89/10.99	c core #168
10.89/10.99	c Core size: 4	Core Weight: 1	Total Weight: -832
10.89/10.99	c Elapsed CPU time: 10.7944 s	Remaining CPU time: 1789.21 s
10.99/11.06	c core #169
10.99/11.06	c Core size: 4	Core Weight: 1	Total Weight: -831
10.99/11.06	c Elapsed CPU time: 10.8623 s	Remaining CPU time: 1789.14 s
11.09/11.12	c core #170
11.09/11.12	c Core size: 4	Core Weight: 1	Total Weight: -830
11.09/11.12	c Elapsed CPU time: 10.9283 s	Remaining CPU time: 1789.07 s
11.09/11.19	c core #171
11.09/11.19	c Core size: 4	Core Weight: 1	Total Weight: -829
11.09/11.19	c Elapsed CPU time: 10.9943 s	Remaining CPU time: 1789.01 s
11.19/11.26	c core #172
11.19/11.26	c Core size: 4	Core Weight: 1	Total Weight: -828
11.19/11.26	c Elapsed CPU time: 11.0583 s	Remaining CPU time: 1788.94 s
11.28/11.32	c core #173
11.28/11.32	c Core size: 4	Core Weight: 1	Total Weight: -827
11.28/11.32	c Elapsed CPU time: 11.1253 s	Remaining CPU time: 1788.87 s
11.28/11.39	c core #174
11.28/11.39	c Core size: 4	Core Weight: 1	Total Weight: -826
11.28/11.39	c Elapsed CPU time: 11.1923 s	Remaining CPU time: 1788.81 s
11.38/11.46	c core #175
11.38/11.46	c Core size: 4	Core Weight: 1	Total Weight: -825
11.38/11.46	c Elapsed CPU time: 11.2593 s	Remaining CPU time: 1788.74 s
11.49/11.53	c core #176
11.49/11.53	c Core size: 4	Core Weight: 1	Total Weight: -824
11.49/11.53	c Elapsed CPU time: 11.3243 s	Remaining CPU time: 1788.68 s
11.49/11.60	c core #177
11.49/11.60	c Core size: 4	Core Weight: 1	Total Weight: -823
11.49/11.60	c Elapsed CPU time: 11.3913 s	Remaining CPU time: 1788.61 s
11.59/11.66	c core #178
11.59/11.66	c Core size: 4	Core Weight: 1	Total Weight: -822
11.59/11.66	c Elapsed CPU time: 11.4573 s	Remaining CPU time: 1788.54 s
11.69/11.73	c core #179
11.69/11.73	c Core size: 4	Core Weight: 1	Total Weight: -821
11.69/11.73	c Elapsed CPU time: 11.5232 s	Remaining CPU time: 1788.48 s
11.69/11.80	c core #180
11.69/11.80	c Core size: 4	Core Weight: 1	Total Weight: -820
11.69/11.80	c Elapsed CPU time: 11.5892 s	Remaining CPU time: 1788.41 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.6552 s	Remaining CPU time: 1788.34 s
11.89/11.93	c core #182
11.89/11.93	c Core size: 4	Core Weight: 1	Total Weight: -818
11.89/11.93	c Elapsed CPU time: 11.7212 s	Remaining CPU time: 1788.28 s
11.89/12.00	c core #183
11.89/12.00	c Core size: 4	Core Weight: 1	Total Weight: -817
11.89/12.00	c Elapsed CPU time: 11.7902 s	Remaining CPU time: 1788.21 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.8572 s	Remaining CPU time: 1788.14 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.9242 s	Remaining CPU time: 1788.08 s
12.19/12.20	c core #186
12.19/12.20	c Core size: 4	Core Weight: 1	Total Weight: -814
12.19/12.20	c Elapsed CPU time: 11.9872 s	Remaining CPU time: 1788.01 s
12.19/12.27	c core #187
12.19/12.27	c Core size: 4	Core Weight: 1	Total Weight: -813
12.19/12.27	c Elapsed CPU time: 12.0532 s	Remaining CPU time: 1787.95 s
12.29/12.33	c core #188
12.29/12.33	c Core size: 4	Core Weight: 1	Total Weight: -812
12.29/12.33	c Elapsed CPU time: 12.1192 s	Remaining CPU time: 1787.88 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.1851 s	Remaining CPU time: 1787.81 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.2521 s	Remaining CPU time: 1787.75 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.3171 s	Remaining CPU time: 1787.68 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.3821 s	Remaining CPU time: 1787.62 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.4471 s	Remaining CPU time: 1787.55 s
12.69/12.73	c core #194
12.69/12.73	c Core size: 4	Core Weight: 1	Total Weight: -806
12.69/12.73	c Elapsed CPU time: 12.5121 s	Remaining CPU time: 1787.49 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.5791 s	Remaining CPU time: 1787.42 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.6451 s	Remaining CPU time: 1787.35 s
12.89/12.93	c core #197
12.89/12.93	c Core size: 4	Core Weight: 1	Total Weight: -803
12.89/12.93	c Elapsed CPU time: 12.7101 s	Remaining CPU time: 1787.29 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.7751 s	Remaining CPU time: 1787.22 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.839 s	Remaining CPU time: 1787.16 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.904 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.969 s	Remaining CPU time: 1787.03 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.031 s	Remaining CPU time: 1786.97 s
13.29/13.33	c core #203
13.29/13.33	c Core size: 4	Core Weight: 1	Total Weight: -797
13.29/13.33	c Elapsed CPU time: 13.095 s	Remaining CPU time: 1786.9 s
13.29/13.40	c core #204
13.29/13.40	c Core size: 4	Core Weight: 1	Total Weight: -796
13.29/13.40	c Elapsed CPU time: 13.161 s	Remaining CPU time: 1786.84 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.226 s	Remaining CPU time: 1786.77 s
13.48/13.53	c core #206
13.48/13.53	c Core size: 4	Core Weight: 1	Total Weight: -794
13.48/13.53	c Elapsed CPU time: 13.291 s	Remaining CPU time: 1786.71 s
13.48/13.59	c core #207
13.48/13.59	c Core size: 4	Core Weight: 1	Total Weight: -793
13.48/13.59	c Elapsed CPU time: 13.355 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.421 s	Remaining CPU time: 1786.58 s
13.68/13.73	c core #209
13.68/13.73	c Core size: 4	Core Weight: 1	Total Weight: -791
13.68/13.73	c Elapsed CPU time: 13.4849 s	Remaining CPU time: 1786.52 s
13.68/13.79	c core #210
13.68/13.79	c Core size: 4	Core Weight: 1	Total Weight: -790
13.68/13.79	c Elapsed CPU time: 13.5509 s	Remaining CPU time: 1786.45 s
13.79/13.86	c core #211
13.79/13.86	c Core size: 4	Core Weight: 1	Total Weight: -789
13.79/13.86	c Elapsed CPU time: 13.6169 s	Remaining CPU time: 1786.38 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.6839 s	Remaining CPU time: 1786.32 s
13.89/13.99	c core #213
13.89/13.99	c Core size: 4	Core Weight: 1	Total Weight: -787
13.89/13.99	c Elapsed CPU time: 13.7479 s	Remaining CPU time: 1786.25 s
13.99/14.06	c core #214
13.99/14.06	c Core size: 4	Core Weight: 1	Total Weight: -786
13.99/14.06	c Elapsed CPU time: 13.8119 s	Remaining CPU time: 1786.19 s
14.09/14.12	c core #215
14.09/14.12	c Core size: 4	Core Weight: 1	Total Weight: -785
14.09/14.12	c Elapsed CPU time: 13.8749 s	Remaining CPU time: 1786.13 s
14.09/14.19	c core #216
14.09/14.19	c Core size: 4	Core Weight: 1	Total Weight: -784
14.09/14.19	c Elapsed CPU time: 13.9419 s	Remaining CPU time: 1786.06 s
14.19/14.26	c core #217
14.19/14.26	c Core size: 4	Core Weight: 1	Total Weight: -783
14.19/14.26	c Elapsed CPU time: 14.0069 s	Remaining CPU time: 1785.99 s
14.29/14.32	c core #218
14.29/14.32	c Core size: 4	Core Weight: 1	Total Weight: -782
14.29/14.32	c Elapsed CPU time: 14.0709 s	Remaining CPU time: 1785.93 s
14.29/14.39	c core #219
14.29/14.39	c Core size: 4	Core Weight: 1	Total Weight: -781
14.29/14.39	c Elapsed CPU time: 14.1329 s	Remaining CPU time: 1785.87 s
14.39/14.45	c core #220
14.39/14.45	c Core size: 4	Core Weight: 1	Total Weight: -780
14.39/14.45	c Elapsed CPU time: 14.1988 s	Remaining CPU time: 1785.8 s
14.49/14.52	c core #221
14.49/14.52	c Core size: 4	Core Weight: 1	Total Weight: -779
14.49/14.52	c Elapsed CPU time: 14.2638 s	Remaining CPU time: 1785.74 s
14.49/14.58	c core #222
14.49/14.58	c Core size: 4	Core Weight: 1	Total Weight: -778
14.49/14.58	c Elapsed CPU time: 14.3298 s	Remaining CPU time: 1785.67 s
14.59/14.65	c core #223
14.59/14.65	c Core size: 4	Core Weight: 1	Total Weight: -777
14.59/14.65	c Elapsed CPU time: 14.3918 s	Remaining CPU time: 1785.61 s
14.68/14.71	c core #224
14.68/14.71	c Core size: 4	Core Weight: 1	Total Weight: -776
14.68/14.71	c Elapsed CPU time: 14.4568 s	Remaining CPU time: 1785.54 s
14.68/14.78	c core #225
14.68/14.78	c Core size: 4	Core Weight: 1	Total Weight: -775
14.68/14.78	c Elapsed CPU time: 14.5238 s	Remaining CPU time: 1785.48 s
14.78/14.85	c core #226
14.78/14.85	c Core size: 4	Core Weight: 1	Total Weight: -774
14.78/14.85	c Elapsed CPU time: 14.5898 s	Remaining CPU time: 1785.41 s
14.88/14.92	c core #227
14.88/14.92	c Core size: 4	Core Weight: 1	Total Weight: -773
14.88/14.92	c Elapsed CPU time: 14.6578 s	Remaining CPU time: 1785.34 s
14.88/14.98	c core #228
14.88/14.98	c Core size: 4	Core Weight: 1	Total Weight: -772
14.88/14.98	c Elapsed CPU time: 14.7228 s	Remaining CPU time: 1785.28 s
14.98/15.05	c core #229
14.98/15.05	c Core size: 4	Core Weight: 1	Total Weight: -771
14.98/15.05	c Elapsed CPU time: 14.7898 s	Remaining CPU time: 1785.21 s
15.08/15.12	c core #230
15.08/15.12	c Core size: 4	Core Weight: 1	Total Weight: -770
15.08/15.12	c Elapsed CPU time: 14.8567 s	Remaining CPU time: 1785.14 s
15.08/15.18	c core #231
15.08/15.18	c Core size: 4	Core Weight: 1	Total Weight: -769
15.08/15.18	c Elapsed CPU time: 14.9237 s	Remaining CPU time: 1785.08 s
15.19/15.25	c core #232
15.19/15.25	c Core size: 4	Core Weight: 1	Total Weight: -768
15.19/15.25	c Elapsed CPU time: 14.9887 s	Remaining CPU time: 1785.01 s
15.29/15.32	c core #233
15.29/15.32	c Core size: 4	Core Weight: 1	Total Weight: -767
15.29/15.32	c Elapsed CPU time: 15.0567 s	Remaining CPU time: 1784.94 s
15.29/15.39	c core #234
15.29/15.39	c Core size: 4	Core Weight: 1	Total Weight: -766
15.29/15.39	c Elapsed CPU time: 15.1217 s	Remaining CPU time: 1784.88 s
15.39/15.45	c core #235
15.39/15.45	c Core size: 4	Core Weight: 1	Total Weight: -765
15.39/15.45	c Elapsed CPU time: 15.1857 s	Remaining CPU time: 1784.81 s
15.48/15.52	c core #236
15.48/15.52	c Core size: 4	Core Weight: 1	Total Weight: -764
15.48/15.52	c Elapsed CPU time: 15.2487 s	Remaining CPU time: 1784.75 s
15.48/15.58	c core #237
15.48/15.58	c Core size: 4	Core Weight: 1	Total Weight: -763
15.48/15.58	c Elapsed CPU time: 15.3157 s	Remaining CPU time: 1784.68 s
15.58/15.65	c core #238
15.58/15.65	c Core size: 4	Core Weight: 1	Total Weight: -762
15.58/15.65	c Elapsed CPU time: 15.3797 s	Remaining CPU time: 1784.62 s
15.69/15.72	c core #239
15.69/15.72	c Core size: 4	Core Weight: 1	Total Weight: -761
15.69/15.72	c Elapsed CPU time: 15.4437 s	Remaining CPU time: 1784.56 s
15.69/15.78	c core #240
15.69/15.78	c Core size: 4	Core Weight: 1	Total Weight: -760
15.69/15.78	c Elapsed CPU time: 15.5076 s	Remaining CPU time: 1784.49 s
15.79/15.85	c core #241
15.79/15.85	c Core size: 4	Core Weight: 1	Total Weight: -759
15.79/15.85	c Elapsed CPU time: 15.5736 s	Remaining CPU time: 1784.43 s
15.89/15.91	c core #242
15.89/15.91	c Core size: 4	Core Weight: 1	Total Weight: -758
15.89/15.91	c Elapsed CPU time: 15.6366 s	Remaining CPU time: 1784.36 s
15.89/15.98	c core #243
15.89/15.98	c Core size: 4	Core Weight: 1	Total Weight: -757
15.89/15.98	c Elapsed CPU time: 15.7006 s	Remaining CPU time: 1784.3 s
15.98/16.05	c core #244
15.98/16.05	c Core size: 4	Core Weight: 1	Total Weight: -756
15.98/16.05	c Elapsed CPU time: 15.7656 s	Remaining CPU time: 1784.23 s
16.09/16.11	c core #245
16.09/16.11	c Core size: 4	Core Weight: 1	Total Weight: -755
16.09/16.11	c Elapsed CPU time: 15.8306 s	Remaining CPU time: 1784.17 s
16.09/16.18	c core #246
16.09/16.18	c Core size: 4	Core Weight: 1	Total Weight: -754
16.09/16.18	c Elapsed CPU time: 15.8956 s	Remaining CPU time: 1784.1 s
16.19/16.24	c core #247
16.19/16.24	c Core size: 4	Core Weight: 1	Total Weight: -753
16.19/16.24	c Elapsed CPU time: 15.9606 s	Remaining CPU time: 1784.04 s
16.29/16.31	c core #248
16.29/16.31	c Core size: 4	Core Weight: 1	Total Weight: -752
16.29/16.31	c Elapsed CPU time: 16.0256 s	Remaining CPU time: 1783.97 s
16.29/16.38	c core #249
16.29/16.38	c Core size: 4	Core Weight: 1	Total Weight: -751
16.29/16.38	c Elapsed CPU time: 16.0906 s	Remaining CPU time: 1783.91 s
16.39/16.44	c core #250
16.39/16.44	c Core size: 4	Core Weight: 1	Total Weight: -750
16.39/16.44	c Elapsed CPU time: 16.1565 s	Remaining CPU time: 1783.84 s
16.49/16.51	c core #251
16.49/16.51	c Core size: 4	Core Weight: 1	Total Weight: -749
16.49/16.51	c Elapsed CPU time: 16.2245 s	Remaining CPU time: 1783.78 s
16.49/16.58	c core #252
16.49/16.58	c Core size: 4	Core Weight: 1	Total Weight: -748
16.49/16.58	c Elapsed CPU time: 16.2895 s	Remaining CPU time: 1783.71 s
16.58/16.64	c core #253
16.58/16.64	c Core size: 4	Core Weight: 1	Total Weight: -747
16.58/16.64	c Elapsed CPU time: 16.3565 s	Remaining CPU time: 1783.64 s
16.68/16.71	c core #254
16.68/16.71	c Core size: 4	Core Weight: 1	Total Weight: -746
16.68/16.71	c Elapsed CPU time: 16.4225 s	Remaining CPU time: 1783.58 s
16.68/16.78	c core #255
16.68/16.78	c Core size: 4	Core Weight: 1	Total Weight: -745
16.68/16.78	c Elapsed CPU time: 16.4855 s	Remaining CPU time: 1783.51 s
16.79/16.84	c core #256
16.79/16.84	c Core size: 4	Core Weight: 1	Total Weight: -744
16.79/16.84	c Elapsed CPU time: 16.5485 s	Remaining CPU time: 1783.45 s
16.89/16.91	c core #257
16.89/16.91	c Core size: 4	Core Weight: 1	Total Weight: -743
16.89/16.91	c Elapsed CPU time: 16.6135 s	Remaining CPU time: 1783.39 s
16.89/16.97	c core #258
16.89/16.97	c Core size: 4	Core Weight: 1	Total Weight: -742
16.89/16.97	c Elapsed CPU time: 16.6775 s	Remaining CPU time: 1783.32 s
16.98/17.04	c core #259
16.98/17.04	c Core size: 4	Core Weight: 1	Total Weight: -741
16.98/17.04	c Elapsed CPU time: 16.7455 s	Remaining CPU time: 1783.25 s
17.08/17.11	c core #260
17.08/17.11	c Core size: 4	Core Weight: 1	Total Weight: -740
17.08/17.11	c Elapsed CPU time: 16.8114 s	Remaining CPU time: 1783.19 s
17.08/17.18	c core #261
17.08/17.18	c Core size: 4	Core Weight: 1	Total Weight: -739
17.08/17.18	c Elapsed CPU time: 16.8804 s	Remaining CPU time: 1783.12 s
17.18/17.25	c core #262
17.18/17.25	c Core size: 4	Core Weight: 1	Total Weight: -738
17.18/17.25	c Elapsed CPU time: 16.9484 s	Remaining CPU time: 1783.05 s
17.28/17.31	c core #263
17.28/17.31	c Core size: 4	Core Weight: 1	Total Weight: -737
17.28/17.31	c Elapsed CPU time: 17.0144 s	Remaining CPU time: 1782.99 s
17.28/17.38	c core #264
17.28/17.38	c Core size: 4	Core Weight: 1	Total Weight: -736
17.28/17.38	c Elapsed CPU time: 17.0824 s	Remaining CPU time: 1782.92 s
17.38/17.45	c core #265
17.38/17.45	c Core size: 4	Core Weight: 1	Total Weight: -735
17.38/17.45	c Elapsed CPU time: 17.1514 s	Remaining CPU time: 1782.85 s
17.49/17.52	c core #266
17.49/17.52	c Core size: 4	Core Weight: 1	Total Weight: -734
17.49/17.52	c Elapsed CPU time: 17.2184 s	Remaining CPU time: 1782.78 s
17.49/17.59	c core #267
17.49/17.59	c Core size: 4	Core Weight: 1	Total Weight: -733
17.49/17.59	c Elapsed CPU time: 17.2864 s	Remaining CPU time: 1782.71 s
17.59/17.65	c core #268
17.59/17.65	c Core size: 4	Core Weight: 1	Total Weight: -732
17.59/17.65	c Elapsed CPU time: 17.3524 s	Remaining CPU time: 1782.65 s
17.69/17.72	c core #269
17.69/17.72	c Core size: 4	Core Weight: 1	Total Weight: -731
17.69/17.72	c Elapsed CPU time: 17.4174 s	Remaining CPU time: 1782.58 s
17.69/17.79	c core #270
17.69/17.79	c Core size: 4	Core Weight: 1	Total Weight: -730
17.69/17.79	c Elapsed CPU time: 17.4823 s	Remaining CPU time: 1782.52 s
17.79/17.85	c core #271
17.79/17.85	c Core size: 4	Core Weight: 1	Total Weight: -729
17.79/17.85	c Elapsed CPU time: 17.5473 s	Remaining CPU time: 1782.45 s
17.89/17.92	c core #272
17.89/17.92	c Core size: 4	Core Weight: 1	Total Weight: -728
17.89/17.92	c Elapsed CPU time: 17.6133 s	Remaining CPU time: 1782.39 s
17.89/17.99	c core #273
17.89/17.99	c Core size: 4	Core Weight: 1	Total Weight: -727
17.89/17.99	c Elapsed CPU time: 17.6763 s	Remaining CPU time: 1782.32 s
17.98/18.05	c core #274
17.98/18.05	c Core size: 4	Core Weight: 1	Total Weight: -726
17.98/18.05	c Elapsed CPU time: 17.7403 s	Remaining CPU time: 1782.26 s
18.09/18.12	c core #275
18.09/18.12	c Core size: 4	Core Weight: 1	Total Weight: -725
18.09/18.12	c Elapsed CPU time: 17.8043 s	Remaining CPU time: 1782.2 s
18.09/18.18	c core #276
18.09/18.18	c Core size: 4	Core Weight: 1	Total Weight: -724
18.09/18.18	c Elapsed CPU time: 17.8693 s	Remaining CPU time: 1782.13 s
18.19/18.25	c core #277
18.19/18.25	c Core size: 4	Core Weight: 1	Total Weight: -723
18.19/18.25	c Elapsed CPU time: 17.9333 s	Remaining CPU time: 1782.07 s
18.28/18.32	c core #278
18.28/18.32	c Core size: 4	Core Weight: 1	Total Weight: -722
18.28/18.32	c Elapsed CPU time: 17.9963 s	Remaining CPU time: 1782 s
18.28/18.38	c core #279
18.28/18.38	c Core size: 4	Core Weight: 1	Total Weight: -721
18.28/18.38	c Elapsed CPU time: 18.0633 s	Remaining CPU time: 1781.94 s
18.38/18.45	c core #280
18.38/18.45	c Core size: 4	Core Weight: 1	Total Weight: -720
18.38/18.45	c Elapsed CPU time: 18.1292 s	Remaining CPU time: 1781.87 s
18.49/18.52	c core #281
18.49/18.52	c Core size: 4	Core Weight: 1	Total Weight: -719
18.49/18.52	c Elapsed CPU time: 18.1962 s	Remaining CPU time: 1781.8 s
18.49/18.59	c core #282
18.49/18.59	c Core size: 4	Core Weight: 1	Total Weight: -718
18.49/18.59	c Elapsed CPU time: 18.2622 s	Remaining CPU time: 1781.74 s
18.59/18.66	c core #283
18.59/18.66	c Core size: 4	Core Weight: 1	Total Weight: -717
18.59/18.66	c Elapsed CPU time: 18.3292 s	Remaining CPU time: 1781.67 s
18.69/18.72	c core #284
18.69/18.72	c Core size: 4	Core Weight: 1	Total Weight: -716
18.69/18.72	c Elapsed CPU time: 18.3962 s	Remaining CPU time: 1781.6 s
18.69/18.79	c core #285
18.69/18.79	c Core size: 4	Core Weight: 1	Total Weight: -715
18.69/18.79	c Elapsed CPU time: 18.4642 s	Remaining CPU time: 1781.54 s
18.78/18.86	c core #286
18.78/18.86	c Core size: 4	Core Weight: 1	Total Weight: -714
18.78/18.86	c Elapsed CPU time: 18.5282 s	Remaining CPU time: 1781.47 s
18.88/18.93	c core #287
18.88/18.93	c Core size: 4	Core Weight: 1	Total Weight: -713
18.88/18.93	c Elapsed CPU time: 18.5942 s	Remaining CPU time: 1781.41 s
18.88/18.99	c core #288
18.88/18.99	c Core size: 4	Core Weight: 1	Total Weight: -712
18.88/18.99	c Elapsed CPU time: 18.6602 s	Remaining CPU time: 1781.34 s
18.99/19.06	c core #289
18.99/19.06	c Core size: 4	Core Weight: 1	Total Weight: -711
18.99/19.06	c Elapsed CPU time: 18.7272 s	Remaining CPU time: 1781.27 s
19.09/19.13	c core #290
19.09/19.13	c Core size: 4	Core Weight: 1	Total Weight: -710
19.09/19.13	c Elapsed CPU time: 18.7931 s	Remaining CPU time: 1781.21 s
19.09/19.19	c core #291
19.09/19.19	c Core size: 4	Core Weight: 1	Total Weight: -709
19.09/19.19	c Elapsed CPU time: 18.8591 s	Remaining CPU time: 1781.14 s
19.19/19.26	c core #292
19.19/19.26	c Core size: 4	Core Weight: 1	Total Weight: -708
19.19/19.26	c Elapsed CPU time: 18.9261 s	Remaining CPU time: 1781.07 s
19.29/19.33	c core #293
19.29/19.33	c Core size: 4	Core Weight: 1	Total Weight: -707
19.29/19.33	c Elapsed CPU time: 18.9951 s	Remaining CPU time: 1781 s
19.39/19.40	c core #294
19.39/19.40	c Core size: 4	Core Weight: 1	Total Weight: -706
19.39/19.40	c Elapsed CPU time: 19.0621 s	Remaining CPU time: 1780.94 s
19.39/19.47	c core #295
19.39/19.47	c Core size: 4	Core Weight: 1	Total Weight: -705
19.39/19.47	c Elapsed CPU time: 19.1291 s	Remaining CPU time: 1780.87 s
19.48/19.53	c core #296
19.48/19.53	c Core size: 4	Core Weight: 1	Total Weight: -704
19.48/19.53	c Elapsed CPU time: 19.1951 s	Remaining CPU time: 1780.8 s
19.58/19.60	c core #297
19.58/19.60	c Core size: 4	Core Weight: 1	Total Weight: -703
19.58/19.60	c Elapsed CPU time: 19.2611 s	Remaining CPU time: 1780.74 s
19.58/19.67	c core #298
19.58/19.67	c Core size: 4	Core Weight: 1	Total Weight: -702
19.58/19.67	c Elapsed CPU time: 19.3261 s	Remaining CPU time: 1780.67 s
19.69/19.74	c core #299
19.69/19.74	c Core size: 4	Core Weight: 1	Total Weight: -701
19.69/19.74	c Elapsed CPU time: 19.3941 s	Remaining CPU time: 1780.61 s
19.79/19.80	c core #300
19.79/19.80	c Core size: 4	Core Weight: 1	Total Weight: -700
19.79/19.80	c Elapsed CPU time: 19.46 s	Remaining CPU time: 1780.54 s
19.79/19.87	c core #301
19.79/19.87	c Core size: 4	Core Weight: 1	Total Weight: -699
19.79/19.87	c Elapsed CPU time: 19.527 s	Remaining CPU time: 1780.47 s
19.89/19.94	c core #302
19.89/19.94	c Core size: 4	Core Weight: 1	Total Weight: -698
19.89/19.94	c Elapsed CPU time: 19.595 s	Remaining CPU time: 1780.4 s
19.99/20.01	c core #303
19.99/20.01	c Core size: 4	Core Weight: 1	Total Weight: -697
19.99/20.01	c Elapsed CPU time: 19.662 s	Remaining CPU time: 1780.34 s
19.99/20.08	c core #304
19.99/20.08	c Core size: 4	Core Weight: 1	Total Weight: -696
19.99/20.08	c Elapsed CPU time: 19.73 s	Remaining CPU time: 1780.27 s
20.08/20.14	c core #305
20.08/20.14	c Core size: 4	Core Weight: 1	Total Weight: -695
20.08/20.14	c Elapsed CPU time: 19.798 s	Remaining CPU time: 1780.2 s
20.18/20.21	c core #306
20.18/20.21	c Core size: 4	Core Weight: 1	Total Weight: -694
20.18/20.21	c Elapsed CPU time: 19.864 s	Remaining CPU time: 1780.14 s
20.18/20.28	c core #307
20.18/20.28	c Core size: 4	Core Weight: 1	Total Weight: -693
20.18/20.28	c Elapsed CPU time: 19.927 s	Remaining CPU time: 1780.07 s
20.29/20.35	c core #308
20.29/20.35	c Core size: 4	Core Weight: 1	Total Weight: -692
20.29/20.35	c Elapsed CPU time: 19.992 s	Remaining CPU time: 1780.01 s
20.39/20.41	c core #309
20.39/20.41	c Core size: 4	Core Weight: 1	Total Weight: -691
20.39/20.41	c Elapsed CPU time: 20.057 s	Remaining CPU time: 1779.94 s
20.39/20.48	c core #310
20.39/20.48	c Core size: 4	Core Weight: 1	Total Weight: -690
20.39/20.48	c Elapsed CPU time: 20.1239 s	Remaining CPU time: 1779.88 s
20.49/20.55	c core #311
20.49/20.55	c Core size: 4	Core Weight: 1	Total Weight: -689
20.49/20.55	c Elapsed CPU time: 20.1879 s	Remaining CPU time: 1779.81 s
20.58/20.61	c core #312
20.58/20.61	c Core size: 4	Core Weight: 1	Total Weight: -688
20.58/20.61	c Elapsed CPU time: 20.2519 s	Remaining CPU time: 1779.75 s
20.58/20.68	c core #313
20.58/20.68	c Core size: 4	Core Weight: 1	Total Weight: -687
20.58/20.68	c Elapsed CPU time: 20.3179 s	Remaining CPU time: 1779.68 s
20.68/20.75	c core #314
20.68/20.75	c Core size: 4	Core Weight: 1	Total Weight: -686
20.68/20.75	c Elapsed CPU time: 20.3849 s	Remaining CPU time: 1779.62 s
20.79/20.82	c core #315
20.79/20.82	c Core size: 4	Core Weight: 1	Total Weight: -685
20.79/20.82	c Elapsed CPU time: 20.4519 s	Remaining CPU time: 1779.55 s
20.79/20.88	c core #316
20.79/20.88	c Core size: 4	Core Weight: 1	Total Weight: -684
20.79/20.88	c Elapsed CPU time: 20.5199 s	Remaining CPU time: 1779.48 s
20.89/20.95	c core #317
20.89/20.95	c Core size: 4	Core Weight: 1	Total Weight: -683
20.89/20.95	c Elapsed CPU time: 20.5869 s	Remaining CPU time: 1779.41 s
20.98/21.02	c core #318
20.98/21.02	c Core size: 4	Core Weight: 1	Total Weight: -682
20.98/21.02	c Elapsed CPU time: 20.6519 s	Remaining CPU time: 1779.35 s
20.98/21.09	c core #319
20.98/21.09	c Core size: 4	Core Weight: 1	Total Weight: -681
20.98/21.09	c Elapsed CPU time: 20.7178 s	Remaining CPU time: 1779.28 s
21.08/21.15	c core #320
21.08/21.15	c Core size: 4	Core Weight: 1	Total Weight: -680
21.08/21.15	c Elapsed CPU time: 20.7838 s	Remaining CPU time: 1779.22 s
21.18/21.22	c core #321
21.18/21.22	c Core size: 4	Core Weight: 1	Total Weight: -679
21.18/21.22	c Elapsed CPU time: 20.8508 s	Remaining CPU time: 1779.15 s
21.18/21.29	c core #322
21.18/21.29	c Core size: 4	Core Weight: 1	Total Weight: -678
21.18/21.29	c Elapsed CPU time: 20.9198 s	Remaining CPU time: 1779.08 s
21.28/21.36	c core #323
21.28/21.36	c Core size: 4	Core Weight: 1	Total Weight: -677
21.28/21.36	c Elapsed CPU time: 20.9888 s	Remaining CPU time: 1779.01 s
21.39/21.43	c core #324
21.39/21.43	c Core size: 4	Core Weight: 1	Total Weight: -676
21.39/21.43	c Elapsed CPU time: 21.0568 s	Remaining CPU time: 1778.94 s
21.49/21.50	c core #325
21.49/21.50	c Core size: 4	Core Weight: 1	Total Weight: -675
21.49/21.50	c Elapsed CPU time: 21.1238 s	Remaining CPU time: 1778.88 s
21.49/21.56	c core #326
21.49/21.56	c Core size: 4	Core Weight: 1	Total Weight: -674
21.49/21.56	c Elapsed CPU time: 21.1898 s	Remaining CPU time: 1778.81 s
21.59/21.63	c core #327
21.59/21.63	c Core size: 4	Core Weight: 1	Total Weight: -673
21.59/21.63	c Elapsed CPU time: 21.2578 s	Remaining CPU time: 1778.74 s
21.68/21.70	c core #328
21.68/21.70	c Core size: 4	Core Weight: 1	Total Weight: -672
21.68/21.70	c Elapsed CPU time: 21.3258 s	Remaining CPU time: 1778.67 s
21.68/21.77	c core #329
21.68/21.77	c Core size: 4	Core Weight: 1	Total Weight: -671
21.68/21.77	c Elapsed CPU time: 21.3937 s	Remaining CPU time: 1778.61 s
21.78/21.84	c core #330
21.78/21.84	c Core size: 4	Core Weight: 1	Total Weight: -670
21.78/21.84	c Elapsed CPU time: 21.4627 s	Remaining CPU time: 1778.54 s
21.88/21.91	c core #331
21.88/21.91	c Core size: 4	Core Weight: 1	Total Weight: -669
21.88/21.91	c Elapsed CPU time: 21.5307 s	Remaining CPU time: 1778.47 s
21.88/21.98	c core #332
21.88/21.98	c Core size: 4	Core Weight: 1	Total Weight: -668
21.88/21.98	c Elapsed CPU time: 21.5967 s	Remaining CPU time: 1778.4 s
21.99/22.05	c core #333
21.99/22.05	c Core size: 4	Core Weight: 1	Total Weight: -667
21.99/22.05	c Elapsed CPU time: 21.6657 s	Remaining CPU time: 1778.33 s
22.09/22.12	c core #334
22.09/22.12	c Core size: 4	Core Weight: 1	Total Weight: -666
22.09/22.12	c Elapsed CPU time: 21.7307 s	Remaining CPU time: 1778.27 s
22.09/22.19	c core #335
22.09/22.19	c Core size: 4	Core Weight: 1	Total Weight: -665
22.09/22.19	c Elapsed CPU time: 21.7987 s	Remaining CPU time: 1778.2 s
22.18/22.26	c core #336
22.18/22.26	c Core size: 4	Core Weight: 1	Total Weight: -664
22.18/22.26	c Elapsed CPU time: 21.8677 s	Remaining CPU time: 1778.13 s
22.28/22.33	c core #337
22.28/22.33	c Core size: 4	Core Weight: 1	Total Weight: -663
22.28/22.33	c Elapsed CPU time: 21.9377 s	Remaining CPU time: 1778.06 s
22.39/22.40	c core #338
22.39/22.40	c Core size: 4	Core Weight: 1	Total Weight: -662
22.39/22.40	c Elapsed CPU time: 22.0047 s	Remaining CPU time: 1778 s
22.39/22.47	c core #339
22.39/22.47	c Core size: 4	Core Weight: 1	Total Weight: -661
22.39/22.47	c Elapsed CPU time: 22.0726 s	Remaining CPU time: 1777.93 s
22.49/22.53	c core #340
22.49/22.53	c Core size: 4	Core Weight: 1	Total Weight: -660
22.49/22.53	c Elapsed CPU time: 22.1406 s	Remaining CPU time: 1777.86 s
22.59/22.60	c core #341
22.59/22.60	c Core size: 4	Core Weight: 1	Total Weight: -659
22.59/22.60	c Elapsed CPU time: 22.2076 s	Remaining CPU time: 1777.79 s
22.59/22.67	c core #342
22.59/22.67	c Core size: 4	Core Weight: 1	Total Weight: -658
22.59/22.67	c Elapsed CPU time: 22.2746 s	Remaining CPU time: 1777.73 s
22.69/22.74	c core #343
22.69/22.74	c Core size: 4	Core Weight: 1	Total Weight: -657
22.69/22.74	c Elapsed CPU time: 22.3436 s	Remaining CPU time: 1777.66 s
22.78/22.81	c core #344
22.78/22.81	c Core size: 4	Core Weight: 1	Total Weight: -656
22.78/22.81	c Elapsed CPU time: 22.4096 s	Remaining CPU time: 1777.59 s
22.78/22.88	c core #345
22.78/22.88	c Core size: 4	Core Weight: 1	Total Weight: -655
22.78/22.88	c Elapsed CPU time: 22.4786 s	Remaining CPU time: 1777.52 s
22.88/22.95	c core #346
22.88/22.95	c Core size: 4	Core Weight: 1	Total Weight: -654
22.88/22.95	c Elapsed CPU time: 22.5476 s	Remaining CPU time: 1777.45 s
22.99/23.02	c core #347
22.99/23.02	c Core size: 4	Core Weight: 1	Total Weight: -653
22.99/23.02	c Elapsed CPU time: 22.6156 s	Remaining CPU time: 1777.38 s
22.99/23.09	c core #348
22.99/23.09	c Core size: 4	Core Weight: 1	Total Weight: -652
22.99/23.09	c Elapsed CPU time: 22.6846 s	Remaining CPU time: 1777.32 s
23.08/23.15	c core #349
23.08/23.15	c Core size: 4	Core Weight: 1	Total Weight: -651
23.08/23.15	c Elapsed CPU time: 22.7525 s	Remaining CPU time: 1777.25 s
23.19/23.22	c core #350
23.19/23.22	c Core size: 4	Core Weight: 1	Total Weight: -650
23.19/23.22	c Elapsed CPU time: 22.8195 s	Remaining CPU time: 1777.18 s
23.19/23.29	c core #351
23.19/23.29	c Core size: 4	Core Weight: 1	Total Weight: -649
23.19/23.29	c Elapsed CPU time: 22.8865 s	Remaining CPU time: 1777.11 s
23.29/23.36	c core #352
23.29/23.36	c Core size: 4	Core Weight: 1	Total Weight: -648
23.29/23.36	c Elapsed CPU time: 22.9565 s	Remaining CPU time: 1777.04 s
23.38/23.43	c core #353
23.38/23.43	c Core size: 4	Core Weight: 1	Total Weight: -647
23.38/23.43	c Elapsed CPU time: 23.0245 s	Remaining CPU time: 1776.98 s
23.48/23.50	c core #354
23.48/23.50	c Core size: 4	Core Weight: 1	Total Weight: -646
23.48/23.50	c Elapsed CPU time: 23.0935 s	Remaining CPU time: 1776.91 s
23.48/23.57	c core #355
23.48/23.57	c Core size: 4	Core Weight: 1	Total Weight: -645
23.48/23.57	c Elapsed CPU time: 23.1635 s	Remaining CPU time: 1776.84 s
23.58/23.64	c core #356
23.58/23.64	c Core size: 4	Core Weight: 1	Total Weight: -644
23.58/23.64	c Elapsed CPU time: 23.2315 s	Remaining CPU time: 1776.77 s
23.68/23.71	c core #357
23.68/23.71	c Core size: 4	Core Weight: 1	Total Weight: -643
23.68/23.71	c Elapsed CPU time: 23.2995 s	Remaining CPU time: 1776.7 s
23.68/23.78	c core #358
23.68/23.78	c Core size: 4	Core Weight: 1	Total Weight: -642
23.68/23.78	c Elapsed CPU time: 23.3664 s	Remaining CPU time: 1776.63 s
23.79/23.85	c core #359
23.79/23.85	c Core size: 4	Core Weight: 1	Total Weight: -641
23.79/23.85	c Elapsed CPU time: 23.4334 s	Remaining CPU time: 1776.57 s
23.89/23.92	c core #360
23.89/23.92	c Core size: 4	Core Weight: 1	Total Weight: -640
23.89/23.92	c Elapsed CPU time: 23.5004 s	Remaining CPU time: 1776.5 s
23.89/23.99	c core #361
23.89/23.99	c Core size: 4	Core Weight: 1	Total Weight: -639
23.89/23.99	c Elapsed CPU time: 23.5694 s	Remaining CPU time: 1776.43 s
23.98/24.06	c core #362
23.98/24.06	c Core size: 4	Core Weight: 1	Total Weight: -638
23.98/24.06	c Elapsed CPU time: 23.6374 s	Remaining CPU time: 1776.36 s
24.09/24.13	c core #363
24.09/24.13	c Core size: 4	Core Weight: 1	Total Weight: -637
24.09/24.13	c Elapsed CPU time: 23.7064 s	Remaining CPU time: 1776.29 s
24.09/24.20	c core #364
24.09/24.20	c Core size: 4	Core Weight: 1	Total Weight: -636
24.09/24.20	c Elapsed CPU time: 23.7744 s	Remaining CPU time: 1776.23 s
24.18/24.27	c core #365
24.18/24.27	c Core size: 4	Core Weight: 1	Total Weight: -635
24.18/24.27	c Elapsed CPU time: 23.8444 s	Remaining CPU time: 1776.16 s
24.28/24.33	c core #366
24.28/24.33	c Core size: 4	Core Weight: 1	Total Weight: -634
24.28/24.33	c Elapsed CPU time: 23.9134 s	Remaining CPU time: 1776.09 s
24.38/24.40	c core #367
24.38/24.40	c Core size: 4	Core Weight: 1	Total Weight: -633
24.38/24.40	c Elapsed CPU time: 23.9824 s	Remaining CPU time: 1776.02 s
24.38/24.47	c core #368
24.38/24.47	c Core size: 4	Core Weight: 1	Total Weight: -632
24.38/24.47	c Elapsed CPU time: 24.0513 s	Remaining CPU time: 1775.95 s
24.48/24.54	c core #369
24.48/24.54	c Core size: 4	Core Weight: 1	Total Weight: -631
24.48/24.54	c Elapsed CPU time: 24.1193 s	Remaining CPU time: 1775.88 s
24.59/24.61	c core #370
24.59/24.61	c Core size: 4	Core Weight: 1	Total Weight: -630
24.59/24.61	c Elapsed CPU time: 24.1883 s	Remaining CPU time: 1775.81 s
24.59/24.68	c core #371
24.59/24.68	c Core size: 4	Core Weight: 1	Total Weight: -629
24.59/24.68	c Elapsed CPU time: 24.2573 s	Remaining CPU time: 1775.74 s
24.69/24.75	c core #372
24.69/24.75	c Core size: 4	Core Weight: 1	Total Weight: -628
24.69/24.75	c Elapsed CPU time: 24.3253 s	Remaining CPU time: 1775.67 s
24.78/24.82	c core #373
24.78/24.82	c Core size: 4	Core Weight: 1	Total Weight: -627
24.78/24.82	c Elapsed CPU time: 24.3963 s	Remaining CPU time: 1775.6 s
24.78/24.89	c core #374
24.78/24.89	c Core size: 4	Core Weight: 1	Total Weight: -626
24.78/24.89	c Elapsed CPU time: 24.4653 s	Remaining CPU time: 1775.53 s
24.88/24.96	c core #375
24.88/24.96	c Core size: 4	Core Weight: 1	Total Weight: -625
24.88/24.96	c Elapsed CPU time: 24.5353 s	Remaining CPU time: 1775.46 s
24.98/25.03	c core #376
24.98/25.03	c Core size: 4	Core Weight: 1	Total Weight: -624
24.98/25.03	c Elapsed CPU time: 24.6043 s	Remaining CPU time: 1775.4 s
25.08/25.10	c core #377
25.08/25.10	c Core size: 4	Core Weight: 1	Total Weight: -623
25.08/25.10	c Elapsed CPU time: 24.6732 s	Remaining CPU time: 1775.33 s
25.08/25.17	c core #378
25.08/25.17	c Core size: 4	Core Weight: 1	Total Weight: -622
25.08/25.17	c Elapsed CPU time: 24.7402 s	Remaining CPU time: 1775.26 s
25.18/25.24	c core #379
25.18/25.24	c Core size: 4	Core Weight: 1	Total Weight: -621
25.18/25.24	c Elapsed CPU time: 24.8092 s	Remaining CPU time: 1775.19 s
25.29/25.31	c core #380
25.29/25.31	c Core size: 4	Core Weight: 1	Total Weight: -620
25.29/25.31	c Elapsed CPU time: 24.8742 s	Remaining CPU time: 1775.13 s
25.29/25.38	c core #381
25.29/25.38	c Core size: 4	Core Weight: 1	Total Weight: -619
25.29/25.38	c Elapsed CPU time: 24.9432 s	Remaining CPU time: 1775.06 s
25.38/25.45	c core #382
25.38/25.45	c Core size: 4	Core Weight: 1	Total Weight: -618
25.38/25.45	c Elapsed CPU time: 25.0102 s	Remaining CPU time: 1774.99 s
25.48/25.52	c core #383
25.48/25.52	c Core size: 4	Core Weight: 1	Total Weight: -617
25.48/25.52	c Elapsed CPU time: 25.0782 s	Remaining CPU time: 1774.92 s
25.48/25.59	c core #384
25.48/25.59	c Core size: 4	Core Weight: 1	Total Weight: -616
25.48/25.59	c Elapsed CPU time: 25.1492 s	Remaining CPU time: 1774.85 s
25.58/25.66	c core #385
25.58/25.66	c Core size: 4	Core Weight: 1	Total Weight: -615
25.58/25.66	c Elapsed CPU time: 25.2202 s	Remaining CPU time: 1774.78 s
25.68/25.73	c core #386
25.68/25.73	c Core size: 4	Core Weight: 1	Total Weight: -614
25.68/25.73	c Elapsed CPU time: 25.2892 s	Remaining CPU time: 1774.71 s
25.78/25.80	c core #387
25.78/25.80	c Core size: 4	Core Weight: 1	Total Weight: -613
25.78/25.80	c Elapsed CPU time: 25.3591 s	Remaining CPU time: 1774.64 s
25.78/25.87	c core #388
25.78/25.87	c Core size: 4	Core Weight: 1	Total Weight: -612
25.78/25.87	c Elapsed CPU time: 25.4281 s	Remaining CPU time: 1774.57 s
25.88/25.94	c core #389
25.88/25.94	c Core size: 4	Core Weight: 1	Total Weight: -611
25.88/25.94	c Elapsed CPU time: 25.4961 s	Remaining CPU time: 1774.5 s
25.99/26.01	c core #390
25.99/26.01	c Core size: 4	Core Weight: 1	Total Weight: -610
25.99/26.01	c Elapsed CPU time: 25.5671 s	Remaining CPU time: 1774.43 s
25.99/26.08	c core #391
25.99/26.08	c Core size: 4	Core Weight: 1	Total Weight: -609
25.99/26.08	c Elapsed CPU time: 25.6381 s	Remaining CPU time: 1774.36 s
26.09/26.15	c core #392
26.09/26.15	c Core size: 4	Core Weight: 1	Total Weight: -608
26.09/26.15	c Elapsed CPU time: 25.7071 s	Remaining CPU time: 1774.29 s
26.19/26.22	c core #393
26.19/26.22	c Core size: 4	Core Weight: 1	Total Weight: -607
26.19/26.22	c Elapsed CPU time: 25.7771 s	Remaining CPU time: 1774.22 s
26.19/26.30	c core #394
26.19/26.30	c Core size: 4	Core Weight: 1	Total Weight: -606
26.19/26.30	c Elapsed CPU time: 25.8471 s	Remaining CPU time: 1774.15 s
26.29/26.37	c core #395
26.29/26.37	c Core size: 4	Core Weight: 1	Total Weight: -605
26.29/26.37	c Elapsed CPU time: 25.9151 s	Remaining CPU time: 1774.08 s
26.39/26.44	c core #396
26.39/26.44	c Core size: 4	Core Weight: 1	Total Weight: -604
26.39/26.44	c Elapsed CPU time: 25.984 s	Remaining CPU time: 1774.02 s
26.49/26.51	c core #397
26.49/26.51	c Core size: 4	Core Weight: 1	Total Weight: -603
26.49/26.51	c Elapsed CPU time: 26.054 s	Remaining CPU time: 1773.95 s
26.49/26.58	c core #398
26.49/26.58	c Core size: 4	Core Weight: 1	Total Weight: -602
26.49/26.58	c Elapsed CPU time: 26.123 s	Remaining CPU time: 1773.88 s
26.58/26.65	c core #399
26.58/26.65	c Core size: 4	Core Weight: 1	Total Weight: -601
26.58/26.65	c Elapsed CPU time: 26.191 s	Remaining CPU time: 1773.81 s
26.68/26.72	c core #400
26.68/26.72	c Core size: 4	Core Weight: 1	Total Weight: -600
26.68/26.72	c Elapsed CPU time: 26.263 s	Remaining CPU time: 1773.74 s
26.68/26.79	c core #401
26.68/26.79	c Core size: 4	Core Weight: 1	Total Weight: -599
26.68/26.79	c Elapsed CPU time: 26.334 s	Remaining CPU time: 1773.67 s
26.78/26.87	c core #402
26.78/26.87	c Core size: 4	Core Weight: 1	Total Weight: -598
26.78/26.87	c Elapsed CPU time: 26.403 s	Remaining CPU time: 1773.6 s
26.89/26.94	c core #403
26.89/26.94	c Core size: 4	Core Weight: 1	Total Weight: -597
26.89/26.94	c Elapsed CPU time: 26.472 s	Remaining CPU time: 1773.53 s
26.99/27.01	c core #404
26.99/27.01	c Core size: 4	Core Weight: 1	Total Weight: -596
26.99/27.01	c Elapsed CPU time: 26.541 s	Remaining CPU time: 1773.46 s
26.99/27.08	c core #405
26.99/27.08	c Core size: 4	Core Weight: 1	Total Weight: -595
26.99/27.08	c Elapsed CPU time: 26.611 s	Remaining CPU time: 1773.39 s
27.08/27.15	c core #406
27.08/27.15	c Core size: 4	Core Weight: 1	Total Weight: -594
27.08/27.15	c Elapsed CPU time: 26.6829 s	Remaining CPU time: 1773.32 s
27.18/27.22	c core #407
27.18/27.22	c Core size: 4	Core Weight: 1	Total Weight: -593
27.18/27.22	c Elapsed CPU time: 26.7549 s	Remaining CPU time: 1773.25 s
27.18/27.30	c core #408
27.18/27.30	c Core size: 4	Core Weight: 1	Total Weight: -592
27.18/27.30	c Elapsed CPU time: 26.8259 s	Remaining CPU time: 1773.17 s
27.28/27.37	c core #409
27.28/27.37	c Core size: 4	Core Weight: 1	Total Weight: -591
27.28/27.37	c Elapsed CPU time: 26.8979 s	Remaining CPU time: 1773.1 s
27.38/27.44	c core #410
27.38/27.44	c Core size: 4	Core Weight: 1	Total Weight: -590
27.38/27.44	c Elapsed CPU time: 26.9699 s	Remaining CPU time: 1773.03 s
27.48/27.51	c core #411
27.48/27.51	c Core size: 4	Core Weight: 1	Total Weight: -589
27.48/27.51	c Elapsed CPU time: 27.0399 s	Remaining CPU time: 1772.96 s
27.48/27.58	c core #412
27.48/27.58	c Core size: 4	Core Weight: 1	Total Weight: -588
27.48/27.58	c Elapsed CPU time: 27.1109 s	Remaining CPU time: 1772.89 s
27.58/27.65	c core #413
27.58/27.65	c Core size: 4	Core Weight: 1	Total Weight: -587
27.58/27.65	c Elapsed CPU time: 27.1799 s	Remaining CPU time: 1772.82 s
27.69/27.72	c core #414
27.69/27.72	c Core size: 4	Core Weight: 1	Total Weight: -586
27.69/27.72	c Elapsed CPU time: 27.2499 s	Remaining CPU time: 1772.75 s
27.69/27.80	c core #415
27.69/27.80	c Core size: 4	Core Weight: 1	Total Weight: -585
27.69/27.80	c Elapsed CPU time: 27.3198 s	Remaining CPU time: 1772.68 s
27.78/27.87	c core #416
27.78/27.87	c Core size: 4	Core Weight: 1	Total Weight: -584
27.78/27.87	c Elapsed CPU time: 27.3898 s	Remaining CPU time: 1772.61 s
27.88/27.94	c core #417
27.88/27.94	c Core size: 4	Core Weight: 1	Total Weight: -583
27.88/27.94	c Elapsed CPU time: 27.4618 s	Remaining CPU time: 1772.54 s
27.98/28.01	c core #418
27.98/28.01	c Core size: 4	Core Weight: 1	Total Weight: -582
27.98/28.01	c Elapsed CPU time: 27.5308 s	Remaining CPU time: 1772.47 s
27.98/28.08	c core #419
27.98/28.08	c Core size: 4	Core Weight: 1	Total Weight: -581
27.98/28.08	c Elapsed CPU time: 27.6028 s	Remaining CPU time: 1772.4 s
28.08/28.15	c core #420
28.08/28.15	c Core size: 4	Core Weight: 1	Total Weight: -580
28.08/28.15	c Elapsed CPU time: 27.6738 s	Remaining CPU time: 1772.33 s
28.18/28.22	c core #421
28.18/28.22	c Core size: 4	Core Weight: 1	Total Weight: -579
28.18/28.22	c Elapsed CPU time: 27.7438 s	Remaining CPU time: 1772.26 s
28.18/28.29	c core #422
28.18/28.29	c Core size: 4	Core Weight: 1	Total Weight: -578
28.18/28.29	c Elapsed CPU time: 27.8138 s	Remaining CPU time: 1772.19 s
28.28/28.37	c core #423
28.28/28.37	c Core size: 4	Core Weight: 1	Total Weight: -577
28.28/28.37	c Elapsed CPU time: 27.8858 s	Remaining CPU time: 1772.11 s
28.38/28.44	c core #424
28.38/28.44	c Core size: 4	Core Weight: 1	Total Weight: -576
28.38/28.44	c Elapsed CPU time: 27.9557 s	Remaining CPU time: 1772.04 s
28.49/28.51	c core #425
28.49/28.51	c Core size: 4	Core Weight: 1	Total Weight: -575
28.49/28.51	c Elapsed CPU time: 28.0267 s	Remaining CPU time: 1771.97 s
28.49/28.58	c core #426
28.49/28.58	c Core size: 4	Core Weight: 1	Total Weight: -574
28.49/28.58	c Elapsed CPU time: 28.0967 s	Remaining CPU time: 1771.9 s
28.59/28.65	c core #427
28.59/28.65	c Core size: 4	Core Weight: 1	Total Weight: -573
28.59/28.65	c Elapsed CPU time: 28.1677 s	Remaining CPU time: 1771.83 s
28.69/28.72	c core #428
28.69/28.72	c Core size: 4	Core Weight: 1	Total Weight: -572
28.69/28.72	c Elapsed CPU time: 28.2397 s	Remaining CPU time: 1771.76 s
28.69/28.79	c core #429
28.69/28.79	c Core size: 4	Core Weight: 1	Total Weight: -571
28.69/28.79	c Elapsed CPU time: 28.3087 s	Remaining CPU time: 1771.69 s
28.79/28.86	c core #430
28.79/28.86	c Core size: 4	Core Weight: 1	Total Weight: -570
28.79/28.86	c Elapsed CPU time: 28.3787 s	Remaining CPU time: 1771.62 s
28.89/28.93	c core #431
28.89/28.93	c Core size: 4	Core Weight: 1	Total Weight: -569
28.89/28.93	c Elapsed CPU time: 28.4487 s	Remaining CPU time: 1771.55 s
28.98/29.00	c core #432
28.98/29.00	c Core size: 4	Core Weight: 1	Total Weight: -568
28.98/29.00	c Elapsed CPU time: 28.5177 s	Remaining CPU time: 1771.48 s
28.98/29.07	c core #433
28.98/29.07	c Core size: 4	Core Weight: 1	Total Weight: -567
28.98/29.07	c Elapsed CPU time: 28.5867 s	Remaining CPU time: 1771.41 s
29.08/29.14	c core #434
29.08/29.14	c Core size: 4	Core Weight: 1	Total Weight: -566
29.08/29.14	c Elapsed CPU time: 28.6556 s	Remaining CPU time: 1771.34 s
29.18/29.21	c core #435
29.18/29.21	c Core size: 4	Core Weight: 1	Total Weight: -565
29.18/29.21	c Elapsed CPU time: 28.7236 s	Remaining CPU time: 1771.28 s
29.18/29.28	c core #436
29.18/29.28	c Core size: 4	Core Weight: 1	Total Weight: -564
29.18/29.28	c Elapsed CPU time: 28.7926 s	Remaining CPU time: 1771.21 s
29.28/29.36	c core #437
29.28/29.36	c Core size: 4	Core Weight: 1	Total Weight: -563
29.28/29.36	c Elapsed CPU time: 28.8646 s	Remaining CPU time: 1771.14 s
29.38/29.43	c core #438
29.38/29.43	c Core size: 4	Core Weight: 1	Total Weight: -562
29.38/29.43	c Elapsed CPU time: 28.9356 s	Remaining CPU time: 1771.06 s
29.48/29.50	c core #439
29.48/29.50	c Core size: 4	Core Weight: 1	Total Weight: -561
29.48/29.50	c Elapsed CPU time: 29.0076 s	Remaining CPU time: 1770.99 s
29.48/29.57	c core #440
29.48/29.57	c Core size: 4	Core Weight: 1	Total Weight: -560
29.48/29.57	c Elapsed CPU time: 29.0776 s	Remaining CPU time: 1770.92 s
29.59/29.64	c core #441
29.59/29.64	c Core size: 4	Core Weight: 1	Total Weight: -559
29.59/29.64	c Elapsed CPU time: 29.1486 s	Remaining CPU time: 1770.85 s
29.69/29.72	c core #442
29.69/29.72	c Core size: 4	Core Weight: 1	Total Weight: -558
29.69/29.72	c Elapsed CPU time: 29.2186 s	Remaining CPU time: 1770.78 s
29.69/29.79	c core #443
29.69/29.79	c Core size: 4	Core Weight: 1	Total Weight: -557
29.69/29.79	c Elapsed CPU time: 29.2895 s	Remaining CPU time: 1770.71 s
29.78/29.86	c core #444
29.78/29.86	c Core size: 4	Core Weight: 1	Total Weight: -556
29.78/29.86	c Elapsed CPU time: 29.3605 s	Remaining CPU time: 1770.64 s
29.88/29.93	c core #445
29.88/29.93	c Core size: 4	Core Weight: 1	Total Weight: -555
29.88/29.93	c Elapsed CPU time: 29.4315 s	Remaining CPU time: 1770.57 s
29.98/30.00	c core #446
29.98/30.00	c Core size: 4	Core Weight: 1	Total Weight: -554
29.98/30.00	c Elapsed CPU time: 29.5025 s	Remaining CPU time: 1770.5 s
29.98/30.07	c core #447
29.98/30.07	c Core size: 4	Core Weight: 1	Total Weight: -553
29.98/30.07	c Elapsed CPU time: 29.5735 s	Remaining CPU time: 1770.43 s
30.08/30.15	c core #448
30.08/30.15	c Core size: 4	Core Weight: 1	Total Weight: -552
30.08/30.15	c Elapsed CPU time: 29.6465 s	Remaining CPU time: 1770.35 s
30.18/30.22	c core #449
30.18/30.22	c Core size: 4	Core Weight: 1	Total Weight: -551
30.18/30.22	c Elapsed CPU time: 29.7155 s	Remaining CPU time: 1770.28 s
30.18/30.29	c core #450
30.18/30.29	c Core size: 4	Core Weight: 1	Total Weight: -550
30.18/30.29	c Elapsed CPU time: 29.7875 s	Remaining CPU time: 1770.21 s
30.28/30.36	c core #451
30.28/30.36	c Core size: 4	Core Weight: 1	Total Weight: -549
30.28/30.36	c Elapsed CPU time: 29.8605 s	Remaining CPU time: 1770.14 s
30.39/30.44	c core #452
30.39/30.44	c Core size: 4	Core Weight: 1	Total Weight: -548
30.39/30.44	c Elapsed CPU time: 29.9314 s	Remaining CPU time: 1770.07 s
30.49/30.51	c core #453
30.49/30.51	c Core size: 4	Core Weight: 1	Total Weight: -547
30.49/30.51	c Elapsed CPU time: 30.0024 s	Remaining CPU time: 1770 s
30.49/30.58	c core #454
30.49/30.58	c Core size: 4	Core Weight: 1	Total Weight: -546
30.49/30.58	c Elapsed CPU time: 30.0704 s	Remaining CPU time: 1769.93 s
30.58/30.65	c core #455
30.58/30.65	c Core size: 4	Core Weight: 1	Total Weight: -545
30.58/30.65	c Elapsed CPU time: 30.1414 s	Remaining CPU time: 1769.86 s
30.68/30.72	c core #456
30.68/30.72	c Core size: 4	Core Weight: 1	Total Weight: -544
30.68/30.72	c Elapsed CPU time: 30.2114 s	Remaining CPU time: 1769.79 s
30.68/30.79	c core #457
30.68/30.79	c Core size: 4	Core Weight: 1	Total Weight: -543
30.68/30.79	c Elapsed CPU time: 30.2804 s	Remaining CPU time: 1769.72 s
30.79/30.87	c core #458
30.79/30.87	c Core size: 4	Core Weight: 1	Total Weight: -542
30.79/30.87	c Elapsed CPU time: 30.3504 s	Remaining CPU time: 1769.65 s
30.89/30.94	c core #459
30.89/30.94	c Core size: 4	Core Weight: 1	Total Weight: -541
30.89/30.94	c Elapsed CPU time: 30.4204 s	Remaining CPU time: 1769.58 s
30.98/31.01	c core #460
30.98/31.01	c Core size: 4	Core Weight: 1	Total Weight: -540
30.98/31.01	c Elapsed CPU time: 30.4904 s	Remaining CPU time: 1769.51 s
30.98/31.08	c core #461
30.98/31.08	c Core size: 4	Core Weight: 1	Total Weight: -539
30.98/31.08	c Elapsed CPU time: 30.5624 s	Remaining CPU time: 1769.44 s
31.08/31.15	c core #462
31.08/31.15	c Core size: 4	Core Weight: 1	Total Weight: -538
31.08/31.15	c Elapsed CPU time: 30.6303 s	Remaining CPU time: 1769.37 s
31.18/31.22	c core #463
31.18/31.22	c Core size: 4	Core Weight: 1	Total Weight: -537
31.18/31.22	c Elapsed CPU time: 30.7023 s	Remaining CPU time: 1769.3 s
31.18/31.30	c core #464
31.18/31.30	c Core size: 4	Core Weight: 1	Total Weight: -536
31.18/31.30	c Elapsed CPU time: 30.7743 s	Remaining CPU time: 1769.23 s
31.28/31.37	c core #465
31.28/31.37	c Core size: 4	Core Weight: 1	Total Weight: -535
31.28/31.37	c Elapsed CPU time: 30.8433 s	Remaining CPU time: 1769.16 s
31.39/31.44	c core #466
31.39/31.44	c Core size: 4	Core Weight: 1	Total Weight: -534
31.39/31.44	c Elapsed CPU time: 30.9143 s	Remaining CPU time: 1769.09 s
31.48/31.52	c core #467
31.48/31.52	c Core size: 4	Core Weight: 1	Total Weight: -533
31.48/31.52	c Elapsed CPU time: 30.9873 s	Remaining CPU time: 1769.01 s
31.48/31.59	c core #468
31.48/31.59	c Core size: 4	Core Weight: 1	Total Weight: -532
31.48/31.59	c Elapsed CPU time: 31.0573 s	Remaining CPU time: 1768.94 s
31.58/31.66	c core #469
31.58/31.66	c Core size: 4	Core Weight: 1	Total Weight: -531
31.58/31.66	c Elapsed CPU time: 31.1283 s	Remaining CPU time: 1768.87 s
31.68/31.73	c core #470
31.68/31.73	c Core size: 4	Core Weight: 1	Total Weight: -530
31.68/31.73	c Elapsed CPU time: 31.1933 s	Remaining CPU time: 1768.81 s
31.68/31.80	c core #471
31.68/31.80	c Core size: 4	Core Weight: 1	Total Weight: -529
31.68/31.80	c Elapsed CPU time: 31.2612 s	Remaining CPU time: 1768.74 s
31.78/31.87	c core #472
31.78/31.87	c Core size: 4	Core Weight: 1	Total Weight: -528
31.78/31.87	c Elapsed CPU time: 31.3302 s	Remaining CPU time: 1768.67 s
31.89/31.94	c core #473
31.89/31.94	c Core size: 4	Core Weight: 1	Total Weight: -527
31.89/31.94	c Elapsed CPU time: 31.3992 s	Remaining CPU time: 1768.6 s
31.98/32.01	c core #474
31.98/32.01	c Core size: 4	Core Weight: 1	Total Weight: -526
31.98/32.01	c Elapsed CPU time: 31.4672 s	Remaining CPU time: 1768.53 s
31.98/32.08	c core #475
31.98/32.08	c Core size: 4	Core Weight: 1	Total Weight: -525
31.98/32.08	c Elapsed CPU time: 31.5382 s	Remaining CPU time: 1768.46 s
32.08/32.15	c core #476
32.08/32.15	c Core size: 4	Core Weight: 1	Total Weight: -524
32.08/32.15	c Elapsed CPU time: 31.6112 s	Remaining CPU time: 1768.39 s
32.18/32.22	c core #477
32.18/32.22	c Core size: 4	Core Weight: 1	Total Weight: -523
32.18/32.22	c Elapsed CPU time: 31.6822 s	Remaining CPU time: 1768.32 s
32.18/32.29	c core #478
32.18/32.29	c Core size: 4	Core Weight: 1	Total Weight: -522
32.18/32.29	c Elapsed CPU time: 31.7542 s	Remaining CPU time: 1768.25 s
32.28/32.37	c core #479
32.28/32.37	c Core size: 9	Core Weight: 1	Total Weight: -521
32.28/32.37	c Elapsed CPU time: 31.8242 s	Remaining CPU time: 1768.18 s
32.38/32.44	c core #480
32.38/32.44	c Core size: 9	Core Weight: 1	Total Weight: -520
32.38/32.44	c Elapsed CPU time: 31.8942 s	Remaining CPU time: 1768.11 s
32.49/32.51	c core #481
32.49/32.51	c Core size: 9	Core Weight: 1	Total Weight: -519
32.49/32.51	c Elapsed CPU time: 31.9621 s	Remaining CPU time: 1768.04 s
32.49/32.58	c core #482
32.49/32.58	c Core size: 14	Core Weight: 1	Total Weight: -518
32.49/32.58	c Elapsed CPU time: 32.0311 s	Remaining CPU time: 1767.97 s
32.58/32.65	c core #483
32.58/32.65	c Core size: 9	Core Weight: 1	Total Weight: -517
32.58/32.65	c Elapsed CPU time: 32.1011 s	Remaining CPU time: 1767.9 s
32.68/32.72	c core #484
32.68/32.72	c Core size: 9	Core Weight: 1	Total Weight: -516
32.68/32.72	c Elapsed CPU time: 32.1721 s	Remaining CPU time: 1767.83 s
32.68/32.79	c core #485
32.68/32.79	c Core size: 9	Core Weight: 1	Total Weight: -515
32.68/32.79	c Elapsed CPU time: 32.2431 s	Remaining CPU time: 1767.76 s
32.78/32.87	c core #486
32.78/32.87	c Core size: 9	Core Weight: 1	Total Weight: -514
32.78/32.87	c Elapsed CPU time: 32.3141 s	Remaining CPU time: 1767.69 s
32.88/32.94	c core #487
32.88/32.94	c Core size: 9	Core Weight: 1	Total Weight: -513
32.88/32.94	c Elapsed CPU time: 32.3841 s	Remaining CPU time: 1767.62 s
32.99/33.01	c core #488
32.99/33.01	c Core size: 14	Core Weight: 1	Total Weight: -512
32.99/33.01	c Elapsed CPU time: 32.4511 s	Remaining CPU time: 1767.55 s
32.99/33.08	c core #489
32.99/33.08	c Core size: 9	Core Weight: 1	Total Weight: -511
32.99/33.08	c Elapsed CPU time: 32.5211 s	Remaining CPU time: 1767.48 s
33.08/33.15	c core #490
33.08/33.15	c Core size: 9	Core Weight: 1	Total Weight: -510
33.08/33.15	c Elapsed CPU time: 32.591 s	Remaining CPU time: 1767.41 s
33.18/33.22	c core #491
33.18/33.22	c Core size: 14	Core Weight: 1	Total Weight: -509
33.18/33.22	c Elapsed CPU time: 32.662 s	Remaining CPU time: 1767.34 s
33.18/33.29	c core #492
33.18/33.29	c Core size: 9	Core Weight: 1	Total Weight: -508
33.18/33.29	c Elapsed CPU time: 32.732 s	Remaining CPU time: 1767.27 s
33.28/33.37	c core #493
33.28/33.37	c Core size: 14	Core Weight: 1	Total Weight: -507
33.28/33.37	c Elapsed CPU time: 32.807 s	Remaining CPU time: 1767.19 s
33.38/33.44	c core #494
33.38/33.44	c Core size: 9	Core Weight: 1	Total Weight: -506
33.38/33.44	c Elapsed CPU time: 32.874 s	Remaining CPU time: 1767.13 s
33.48/33.51	c core #495
33.48/33.51	c Core size: 8	Core Weight: 1	Total Weight: -505
33.48/33.51	c Elapsed CPU time: 32.946 s	Remaining CPU time: 1767.05 s
33.48/33.58	c core #496
33.48/33.58	c Core size: 18	Core Weight: 1	Total Weight: -504
33.48/33.58	c Elapsed CPU time: 33.019 s	Remaining CPU time: 1766.98 s
33.58/33.65	c core #497
33.58/33.65	c Core size: 14	Core Weight: 1	Total Weight: -503
33.58/33.65	c Elapsed CPU time: 33.087 s	Remaining CPU time: 1766.91 s
33.68/33.72	c core #498
33.68/33.72	c Core size: 9	Core Weight: 1	Total Weight: -502
33.68/33.72	c Elapsed CPU time: 33.157 s	Remaining CPU time: 1766.84 s
33.78/33.80	c core #499
33.78/33.80	c Core size: 38	Core Weight: 1	Total Weight: -501
33.78/33.80	c Elapsed CPU time: 33.2309 s	Remaining CPU time: 1766.77 s
33.78/33.87	c core #500
33.78/33.87	c Core size: 48	Core Weight: 1	Total Weight: -500
33.78/33.87	c Elapsed CPU time: 33.2999 s	Remaining CPU time: 1766.7 s
33.88/33.94	c core #501
33.88/33.94	c Core size: 9	Core Weight: 1	Total Weight: -499
33.88/33.94	c Elapsed CPU time: 33.3709 s	Remaining CPU time: 1766.63 s
33.98/34.01	c core #502
33.98/34.01	c Core size: 63	Core Weight: 1	Total Weight: -498
33.98/34.01	c Elapsed CPU time: 33.4439 s	Remaining CPU time: 1766.56 s
33.98/34.08	c core #503
33.98/34.08	c Core size: 28	Core Weight: 1	Total Weight: -497
33.98/34.08	c Elapsed CPU time: 33.5109 s	Remaining CPU time: 1766.49 s
34.08/34.15	c ============================[ Search Statistics ]==============================
34.08/34.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.08/34.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.08/34.15	c ===============================================================================
34.08/34.15	c |         0 |    2122    35093    80844 |    11697        0    nan |  0.000 % |
34.08/34.16	c ===============================================================================
34.08/34.16	c core #504
34.08/34.16	c Core size: 22	Core Weight: 1	Total Weight: -496
34.08/34.16	c Elapsed CPU time: 33.5849 s	Remaining CPU time: 1766.42 s
34.18/34.23	c ============================[ Search Statistics ]==============================
34.18/34.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.18/34.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.18/34.23	c ===============================================================================
34.18/34.23	c |         0 |    2130    35094    80860 |    11698        0    nan |  0.000 % |
34.18/34.23	c ===============================================================================
34.18/34.23	c core #505
34.18/34.23	c Core size: 20	Core Weight: 1	Total Weight: -495
34.18/34.23	c Elapsed CPU time: 33.6579 s	Remaining CPU time: 1766.34 s
34.28/34.30	c ============================[ Search Statistics ]==============================
34.28/34.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.28/34.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.28/34.30	c ===============================================================================
34.28/34.30	c |         0 |    2138    35095    80876 |    11698        0    nan |  0.000 % |
34.28/34.30	c ===============================================================================
34.28/34.30	c core #506
34.28/34.30	c Core size: 21	Core Weight: 1	Total Weight: -494
34.28/34.30	c Elapsed CPU time: 33.7299 s	Remaining CPU time: 1766.27 s
34.28/34.37	c ============================[ Search Statistics ]==============================
34.28/34.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.28/34.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.28/34.37	c ===============================================================================
34.28/34.37	c |         0 |    2146    35096    80892 |    11698        0    nan |  0.000 % |
34.28/34.37	c ===============================================================================
34.28/34.38	c core #507
34.28/34.38	c Core size: 21	Core Weight: 1	Total Weight: -493
34.28/34.38	c Elapsed CPU time: 33.8019 s	Remaining CPU time: 1766.2 s
34.38/34.44	c ============================[ Search Statistics ]==============================
34.38/34.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.38/34.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.38/34.44	c ===============================================================================
34.38/34.44	c |         0 |    2154    35097    80908 |    11699        0    nan |  0.000 % |
34.38/34.45	c ===============================================================================
34.38/34.45	c core #508
34.38/34.45	c Core size: 21	Core Weight: 1	Total Weight: -492
34.38/34.45	c Elapsed CPU time: 33.8728 s	Remaining CPU time: 1766.13 s
34.48/34.52	c ============================[ Search Statistics ]==============================
34.48/34.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.48/34.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.48/34.52	c ===============================================================================
34.48/34.52	c |         0 |    2162    35098    80924 |    11699        0    nan |  0.000 % |
34.48/34.52	c ===============================================================================
34.48/34.52	c core #509
34.48/34.52	c Core size: 22	Core Weight: 1	Total Weight: -491
34.48/34.52	c Elapsed CPU time: 33.9448 s	Remaining CPU time: 1766.06 s
34.48/34.59	c ============================[ Search Statistics ]==============================
34.48/34.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.48/34.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.48/34.59	c ===============================================================================
34.48/34.59	c |         0 |    2170    35099    80940 |    11699        0    nan |  0.000 % |
34.48/34.59	c ===============================================================================
34.48/34.60	c core #510
34.48/34.60	c Core size: 20	Core Weight: 1	Total Weight: -490
34.48/34.60	c Elapsed CPU time: 34.0168 s	Remaining CPU time: 1765.98 s
34.58/34.67	c ============================[ Search Statistics ]==============================
34.58/34.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.58/34.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.58/34.67	c ===============================================================================
34.58/34.67	c |         0 |    2178    35100    80956 |    11700        0    nan |  0.000 % |
34.58/34.67	c ===============================================================================
34.58/34.67	c core #511
34.58/34.67	c Core size: 21	Core Weight: 1	Total Weight: -489
34.58/34.67	c Elapsed CPU time: 34.0938 s	Remaining CPU time: 1765.91 s
34.68/34.74	c ============================[ Search Statistics ]==============================
34.68/34.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.68/34.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.68/34.74	c ===============================================================================
34.68/34.74	c |         0 |    2186    35101    80972 |    11700        0    nan |  0.000 % |
34.68/34.74	c ===============================================================================
34.68/34.74	c core #512
34.68/34.74	c Core size: 21	Core Weight: 1	Total Weight: -488
34.68/34.74	c Elapsed CPU time: 34.1648 s	Remaining CPU time: 1765.84 s
34.78/34.81	c ============================[ Search Statistics ]==============================
34.78/34.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.78/34.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.78/34.81	c ===============================================================================
34.78/34.81	c |         0 |    2194    35102    80988 |    11700        0    nan |  0.000 % |
34.78/34.82	c ===============================================================================
34.78/34.82	c core #513
34.78/34.82	c Core size: 21	Core Weight: 1	Total Weight: -487
34.78/34.82	c Elapsed CPU time: 34.2368 s	Remaining CPU time: 1765.76 s
34.78/34.89	c ============================[ Search Statistics ]==============================
34.78/34.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.78/34.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.78/34.89	c ===============================================================================
34.78/34.89	c |         0 |    2202    35103    81004 |    11701        0    nan |  0.000 % |
34.78/34.89	c ===============================================================================
34.78/34.89	c core #514
34.78/34.89	c Core size: 21	Core Weight: 1	Total Weight: -486
34.78/34.89	c Elapsed CPU time: 34.3078 s	Remaining CPU time: 1765.69 s
34.88/34.96	c ============================[ Search Statistics ]==============================
34.88/34.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.88/34.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.88/34.96	c ===============================================================================
34.88/34.96	c |         0 |    2210    35104    81020 |    11701        0    nan |  0.000 % |
34.88/34.96	c ===============================================================================
34.88/34.96	c core #515
34.88/34.96	c Core size: 15	Core Weight: 1	Total Weight: -485
34.88/34.96	c Elapsed CPU time: 34.3808 s	Remaining CPU time: 1765.62 s
34.98/35.03	c ============================[ Search Statistics ]==============================
34.98/35.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.98/35.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.98/35.03	c ===============================================================================
34.98/35.03	c |         0 |    2216    35105    81032 |    11701        0    nan |  0.000 % |
34.98/35.04	c ===============================================================================
34.98/35.04	c core #516
34.98/35.04	c Core size: 21	Core Weight: 1	Total Weight: -484
34.98/35.04	c Elapsed CPU time: 34.4508 s	Remaining CPU time: 1765.55 s
35.08/35.10	c ============================[ Search Statistics ]==============================
35.08/35.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.08/35.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.08/35.10	c ===============================================================================
35.08/35.10	c |         0 |    2224    35106    81048 |    11702        0    nan |  0.000 % |
35.08/35.11	c ===============================================================================
35.08/35.11	c core #517
35.08/35.11	c Core size: 26	Core Weight: 1	Total Weight: -483
35.08/35.11	c Elapsed CPU time: 34.5238 s	Remaining CPU time: 1765.48 s
35.08/35.18	c ============================[ Search Statistics ]==============================
35.08/35.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.08/35.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.08/35.18	c ===============================================================================
35.08/35.18	c |         0 |    2234    35107    81068 |    11702        0    nan |  0.000 % |
35.08/35.18	c ===============================================================================
35.08/35.18	c core #518
35.08/35.18	c Core size: 21	Core Weight: 1	Total Weight: -482
35.08/35.18	c Elapsed CPU time: 34.5927 s	Remaining CPU time: 1765.41 s
35.19/35.25	c ============================[ Search Statistics ]==============================
35.19/35.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.19/35.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.19/35.25	c ===============================================================================
35.19/35.25	c |         0 |    2242    35108    81084 |    11702        0    nan |  0.000 % |
35.19/35.25	c ===============================================================================
35.19/35.25	c core #519
35.19/35.25	c Core size: 21	Core Weight: 1	Total Weight: -481
35.19/35.25	c Elapsed CPU time: 34.6627 s	Remaining CPU time: 1765.34 s
35.28/35.32	c ============================[ Search Statistics ]==============================
35.28/35.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.28/35.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.28/35.32	c ===============================================================================
35.28/35.32	c |         0 |    2250    35109    81100 |    11703        0    nan |  0.000 % |
35.28/35.33	c ===============================================================================
35.28/35.33	c core #520
35.28/35.33	c Core size: 25	Core Weight: 1	Total Weight: -480
35.28/35.33	c Elapsed CPU time: 34.7337 s	Remaining CPU time: 1765.27 s
35.28/35.39	c ============================[ Search Statistics ]==============================
35.28/35.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.28/35.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.28/35.39	c ===============================================================================
35.28/35.39	c |         0 |    2260    35110    81120 |    11703        0    nan |  0.000 % |
35.38/35.40	c ===============================================================================
35.38/35.40	c core #521
35.38/35.40	c Core size: 21	Core Weight: 1	Total Weight: -479
35.38/35.40	c Elapsed CPU time: 34.8027 s	Remaining CPU time: 1765.2 s
35.38/35.46	c ============================[ Search Statistics ]==============================
35.38/35.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.38/35.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.38/35.46	c ===============================================================================
35.38/35.46	c |         0 |    2268    35111    81136 |    11703        0    nan |  0.000 % |
35.38/35.47	c ===============================================================================
35.38/35.47	c core #522
35.38/35.47	c Core size: 27	Core Weight: 1	Total Weight: -478
35.38/35.47	c Elapsed CPU time: 34.8727 s	Remaining CPU time: 1765.13 s
35.48/35.54	c ============================[ Search Statistics ]==============================
35.48/35.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.48/35.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.48/35.54	c ===============================================================================
35.48/35.54	c |         0 |    2278    35112    81156 |    11704        0    nan |  0.000 % |
35.48/35.54	c ===============================================================================
35.48/35.54	c core #523
35.48/35.54	c Core size: 21	Core Weight: 1	Total Weight: -477
35.48/35.54	c Elapsed CPU time: 34.9457 s	Remaining CPU time: 1765.05 s
35.58/35.61	c ============================[ Search Statistics ]==============================
35.58/35.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.58/35.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.58/35.61	c ===============================================================================
35.58/35.61	c |         0 |    2286    35113    81172 |    11704        0    nan |  0.000 % |
35.58/35.61	c ===============================================================================
35.58/35.61	c core #524
35.58/35.61	c Core size: 16	Core Weight: 1	Total Weight: -476
35.58/35.61	c Elapsed CPU time: 35.0167 s	Remaining CPU time: 1764.98 s
35.58/35.68	c ============================[ Search Statistics ]==============================
35.58/35.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.58/35.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.58/35.68	c ===============================================================================
35.58/35.68	c |         0 |    2292    35114    81184 |    11704        0    nan |  0.000 % |
35.58/35.69	c ===============================================================================
35.58/35.69	c core #525
35.58/35.69	c Core size: 26	Core Weight: 1	Total Weight: -475
35.58/35.69	c Elapsed CPU time: 35.0877 s	Remaining CPU time: 1764.91 s
35.68/35.75	c ============================[ Search Statistics ]==============================
35.68/35.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.68/35.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.68/35.75	c ===============================================================================
35.68/35.75	c |         0 |    2302    35115    81204 |    11705        0    nan |  0.000 % |
35.68/35.76	c ===============================================================================
35.68/35.76	c core #526
35.68/35.76	c Core size: 27	Core Weight: 1	Total Weight: -474
35.68/35.76	c Elapsed CPU time: 35.1587 s	Remaining CPU time: 1764.84 s
35.78/35.82	c ============================[ Search Statistics ]==============================
35.78/35.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.78/35.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.78/35.82	c ===============================================================================
35.78/35.82	c |         0 |    2312    35116    81224 |    11705        0    nan |  0.000 % |
35.78/35.83	c ===============================================================================
35.78/35.83	c core #527
35.78/35.83	c Core size: 21	Core Weight: 1	Total Weight: -473
35.78/35.83	c Elapsed CPU time: 35.2306 s	Remaining CPU time: 1764.77 s
35.78/35.90	c ============================[ Search Statistics ]==============================
35.78/35.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.78/35.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.78/35.90	c ===============================================================================
35.78/35.90	c |         0 |    2320    35117    81240 |    11705        0    nan |  0.000 % |
35.88/35.90	c ===============================================================================
35.88/35.90	c core #528
35.88/35.90	c Core size: 21	Core Weight: 1	Total Weight: -472
35.88/35.90	c Elapsed CPU time: 35.3026 s	Remaining CPU time: 1764.7 s
35.88/35.97	c ============================[ Search Statistics ]==============================
35.88/35.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.88/35.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.88/35.97	c ===============================================================================
35.88/35.97	c |         0 |    2328    35118    81256 |    11706        0    nan |  0.000 % |
35.88/35.97	c ===============================================================================
35.88/35.97	c core #529
35.88/35.97	c Core size: 27	Core Weight: 1	Total Weight: -471
35.88/35.97	c Elapsed CPU time: 35.3726 s	Remaining CPU time: 1764.63 s
35.98/36.04	c ============================[ Search Statistics ]==============================
35.98/36.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.98/36.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.98/36.04	c ===============================================================================
35.98/36.04	c |         0 |    2338    35119    81276 |    11706        0    nan |  0.000 % |
35.98/36.04	c ===============================================================================
35.98/36.05	c core #530
35.98/36.05	c Core size: 20	Core Weight: 1	Total Weight: -470
35.98/36.05	c Elapsed CPU time: 35.4436 s	Remaining CPU time: 1764.56 s
36.08/36.11	c ============================[ Search Statistics ]==============================
36.08/36.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.08/36.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.08/36.11	c ===============================================================================
36.08/36.11	c |         0 |    2346    35120    81292 |    11706        0    nan |  0.000 % |
36.08/36.12	c ===============================================================================
36.08/36.12	c core #531
36.08/36.12	c Core size: 27	Core Weight: 1	Total Weight: -469
36.08/36.12	c Elapsed CPU time: 35.5176 s	Remaining CPU time: 1764.48 s
36.08/36.19	c ============================[ Search Statistics ]==============================
36.08/36.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.08/36.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.08/36.19	c ===============================================================================
36.08/36.19	c |         0 |    2356    35121    81312 |    11707        0    nan |  0.000 % |
36.08/36.19	c ===============================================================================
36.08/36.19	c core #532
36.08/36.19	c Core size: 21	Core Weight: 1	Total Weight: -468
36.08/36.19	c Elapsed CPU time: 35.5886 s	Remaining CPU time: 1764.41 s
36.18/36.26	c ============================[ Search Statistics ]==============================
36.18/36.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.18/36.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.18/36.26	c ===============================================================================
36.18/36.26	c |         0 |    2364    35122    81328 |    11707        0    nan |  0.000 % |
36.18/36.27	c ===============================================================================
36.18/36.27	c core #533
36.18/36.27	c Core size: 27	Core Weight: 1	Total Weight: -467
36.18/36.27	c Elapsed CPU time: 35.6586 s	Remaining CPU time: 1764.34 s
36.29/36.33	c ============================[ Search Statistics ]==============================
36.29/36.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.29/36.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.29/36.33	c ===============================================================================
36.29/36.33	c |         0 |    2374    35123    81348 |    11707        0    nan |  0.000 % |
36.29/36.34	c ===============================================================================
36.29/36.34	c core #534
36.29/36.34	c Core size: 25	Core Weight: 1	Total Weight: -466
36.29/36.34	c Elapsed CPU time: 35.7296 s	Remaining CPU time: 1764.27 s
36.38/36.41	c ============================[ Search Statistics ]==============================
36.38/36.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.38/36.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.38/36.41	c ===============================================================================
36.38/36.41	c |         0 |    2384    35124    81368 |    11708        0    nan |  0.000 % |
36.38/36.41	c ===============================================================================
36.38/36.41	c core #535
36.38/36.41	c Core size: 21	Core Weight: 1	Total Weight: -465
36.38/36.41	c Elapsed CPU time: 35.8046 s	Remaining CPU time: 1764.2 s
36.38/36.48	c ============================[ Search Statistics ]==============================
36.38/36.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.38/36.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.38/36.48	c ===============================================================================
36.38/36.48	c |         0 |    2392    35125    81384 |    11708        0    nan |  0.000 % |
36.38/36.49	c ===============================================================================
36.38/36.49	c core #536
36.38/36.49	c Core size: 16	Core Weight: 1	Total Weight: -464
36.38/36.49	c Elapsed CPU time: 35.8755 s	Remaining CPU time: 1764.12 s
36.48/36.56	c ============================[ Search Statistics ]==============================
36.48/36.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.48/36.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.48/36.56	c ===============================================================================
36.48/36.56	c |         0 |    2398    35126    81396 |    11708        0    nan |  0.000 % |
36.48/36.56	c ===============================================================================
36.48/36.56	c core #537
36.48/36.56	c Core size: 25	Core Weight: 1	Total Weight: -463
36.48/36.56	c Elapsed CPU time: 35.9495 s	Remaining CPU time: 1764.05 s
36.58/36.63	c ============================[ Search Statistics ]==============================
36.58/36.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.58/36.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.58/36.63	c ===============================================================================
36.58/36.63	c |         0 |    2408    35127    81416 |    11709        0    nan |  0.000 % |
36.58/36.63	c ===============================================================================
36.58/36.63	c core #538
36.58/36.63	c Core size: 25	Core Weight: 1	Total Weight: -462
36.58/36.63	c Elapsed CPU time: 36.0205 s	Remaining CPU time: 1763.98 s
36.68/36.70	c ============================[ Search Statistics ]==============================
36.68/36.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.68/36.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.68/36.70	c ===============================================================================
36.68/36.70	c |         0 |    2418    35128    81436 |    11709        0    nan |  0.000 % |
36.68/36.71	c ===============================================================================
36.68/36.71	c core #539
36.68/36.71	c Core size: 22	Core Weight: 1	Total Weight: -461
36.68/36.71	c Elapsed CPU time: 36.0925 s	Remaining CPU time: 1763.91 s
36.68/36.78	c ============================[ Search Statistics ]==============================
36.68/36.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.68/36.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.68/36.78	c ===============================================================================
36.68/36.78	c |         0 |    2426    35129    81452 |    11709        0    nan |  0.000 % |
36.68/36.78	c ===============================================================================
36.68/36.78	c core #540
36.68/36.78	c Core size: 15	Core Weight: 1	Total Weight: -460
36.68/36.78	c Elapsed CPU time: 36.1665 s	Remaining CPU time: 1763.83 s
36.78/36.85	c ============================[ Search Statistics ]==============================
36.78/36.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.78/36.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.78/36.85	c ===============================================================================
36.78/36.85	c |         0 |    2432    35130    81464 |    11710        0    nan |  0.000 % |
36.78/36.86	c ===============================================================================
36.78/36.86	c core #541
36.78/36.86	c Core size: 27	Core Weight: 1	Total Weight: -459
36.78/36.86	c Elapsed CPU time: 36.2425 s	Remaining CPU time: 1763.76 s
36.88/36.93	c ============================[ Search Statistics ]==============================
36.88/36.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.88/36.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.88/36.93	c ===============================================================================
36.88/36.93	c |         0 |    2442    35131    81484 |    11710        0    nan |  0.000 % |
36.88/36.93	c ===============================================================================
36.88/36.93	c core #542
36.88/36.93	c Core size: 27	Core Weight: 1	Total Weight: -458
36.88/36.93	c Elapsed CPU time: 36.3155 s	Remaining CPU time: 1763.68 s
36.98/37.00	c ============================[ Search Statistics ]==============================
36.98/37.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.98/37.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.98/37.00	c ===============================================================================
36.98/37.00	c |         0 |    2452    35132    81504 |    11710        0    nan |  0.000 % |
36.98/37.00	c ===============================================================================
36.98/37.01	c core #543
36.98/37.01	c Core size: 32	Core Weight: 1	Total Weight: -457
36.98/37.01	c Elapsed CPU time: 36.3885 s	Remaining CPU time: 1763.61 s
36.98/37.07	c ============================[ Search Statistics ]==============================
36.98/37.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.98/37.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.98/37.07	c ===============================================================================
36.98/37.07	c |         0 |    2464    35133    81528 |    11711        0    nan |  0.000 % |
36.98/37.08	c ===============================================================================
36.98/37.08	c core #544
36.98/37.08	c Core size: 26	Core Weight: 1	Total Weight: -456
36.98/37.08	c Elapsed CPU time: 36.4615 s	Remaining CPU time: 1763.54 s
37.08/37.15	c ============================[ Search Statistics ]==============================
37.08/37.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.08/37.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.08/37.15	c ===============================================================================
37.08/37.15	c |         0 |    2474    35134    81548 |    11711        0    nan |  0.000 % |
37.08/37.15	c ===============================================================================
37.08/37.15	c core #545
37.08/37.15	c Core size: 27	Core Weight: 1	Total Weight: -455
37.08/37.15	c Elapsed CPU time: 36.5334 s	Remaining CPU time: 1763.47 s
37.18/37.22	c ============================[ Search Statistics ]==============================
37.18/37.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.18/37.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.18/37.22	c ===============================================================================
37.18/37.22	c |         0 |    2484    35135    81568 |    11711        0    nan |  0.000 % |
37.18/37.22	c ===============================================================================
37.18/37.22	c core #546
37.18/37.22	c Core size: 26	Core Weight: 1	Total Weight: -454
37.18/37.22	c Elapsed CPU time: 36.6054 s	Remaining CPU time: 1763.39 s
37.18/37.30	c ============================[ Search Statistics ]==============================
37.18/37.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.18/37.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.18/37.30	c ===============================================================================
37.18/37.30	c |         0 |    2494    35136    81588 |    11712        0    nan |  0.000 % |
37.29/37.30	c ===============================================================================
37.29/37.30	c core #547
37.29/37.30	c Core size: 26	Core Weight: 1	Total Weight: -453
37.29/37.30	c Elapsed CPU time: 36.6814 s	Remaining CPU time: 1763.32 s
37.29/37.37	c ============================[ Search Statistics ]==============================
37.29/37.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.29/37.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.29/37.37	c ===============================================================================
37.29/37.37	c |         0 |    2504    35137    81608 |    11712        0    nan |  0.000 % |
37.29/37.38	c ===============================================================================
37.29/37.38	c core #548
37.29/37.38	c Core size: 35	Core Weight: 1	Total Weight: -452
37.29/37.38	c Elapsed CPU time: 36.7554 s	Remaining CPU time: 1763.24 s
37.38/37.45	c ============================[ Search Statistics ]==============================
37.38/37.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.38/37.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.38/37.45	c ===============================================================================
37.38/37.45	c |         0 |    2517    35138    81634 |    11712        0    nan |  0.000 % |
37.38/37.45	c ===============================================================================
37.38/37.45	c core #549
37.38/37.45	c Core size: 25	Core Weight: 1	Total Weight: -451
37.38/37.45	c Elapsed CPU time: 36.8304 s	Remaining CPU time: 1763.17 s
37.48/37.52	c ============================[ Search Statistics ]==============================
37.48/37.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.48/37.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.48/37.52	c ===============================================================================
37.48/37.52	c |         0 |    2527    35139    81654 |    11713        0    nan |  0.000 % |
37.48/37.52	c ===============================================================================
37.48/37.52	c core #550
37.48/37.52	c Core size: 21	Core Weight: 1	Total Weight: -450
37.48/37.52	c Elapsed CPU time: 36.9014 s	Remaining CPU time: 1763.1 s
37.58/37.60	c ============================[ Search Statistics ]==============================
37.58/37.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.58/37.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.58/37.60	c ===============================================================================
37.58/37.60	c |         0 |    2535    35140    81670 |    11713        0    nan |  0.000 % |
37.58/37.60	c ===============================================================================
37.58/37.60	c core #551
37.58/37.60	c Core size: 32	Core Weight: 1	Total Weight: -449
37.58/37.60	c Elapsed CPU time: 36.9764 s	Remaining CPU time: 1763.02 s
37.58/37.67	c ============================[ Search Statistics ]==============================
37.58/37.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.58/37.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.58/37.67	c ===============================================================================
37.58/37.67	c |         0 |    2547    35141    81694 |    11713        0    nan |  0.000 % |
37.58/37.67	c ===============================================================================
37.58/37.68	c core #552
37.58/37.68	c Core size: 22	Core Weight: 1	Total Weight: -448
37.58/37.68	c Elapsed CPU time: 37.0454 s	Remaining CPU time: 1762.95 s
37.68/37.74	c ============================[ Search Statistics ]==============================
37.68/37.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.68/37.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.68/37.74	c ===============================================================================
37.68/37.74	c |         0 |    2555    35142    81710 |    11714        0    nan |  0.000 % |
37.68/37.75	c ===============================================================================
37.68/37.75	c core #553
37.68/37.75	c Core size: 22	Core Weight: 1	Total Weight: -447
37.68/37.75	c Elapsed CPU time: 37.1174 s	Remaining CPU time: 1762.88 s
37.78/37.82	c ============================[ Search Statistics ]==============================
37.78/37.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.78/37.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.78/37.82	c ===============================================================================
37.78/37.82	c |         0 |    2563    35143    81726 |    11714        0    nan |  0.000 % |
37.78/37.82	c ===============================================================================
37.78/37.82	c core #554
37.78/37.82	c Core size: 27	Core Weight: 1	Total Weight: -446
37.78/37.82	c Elapsed CPU time: 37.1893 s	Remaining CPU time: 1762.81 s
37.78/37.89	c ============================[ Search Statistics ]==============================
37.78/37.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.78/37.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.78/37.89	c ===============================================================================
37.78/37.89	c |         0 |    2573    35144    81746 |    11714        0    nan |  0.000 % |
37.78/37.90	c ===============================================================================
37.88/37.90	c core #555
37.88/37.90	c Core size: 22	Core Weight: 1	Total Weight: -445
37.88/37.90	c Elapsed CPU time: 37.2613 s	Remaining CPU time: 1762.74 s
37.88/37.96	c ============================[ Search Statistics ]==============================
37.88/37.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.88/37.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.88/37.96	c ===============================================================================
37.88/37.96	c |         0 |    2581    35145    81762 |    11715        0    nan |  0.000 % |
37.88/37.97	c ===============================================================================
37.88/37.97	c core #556
37.88/37.97	c Core size: 27	Core Weight: 1	Total Weight: -444
37.88/37.97	c Elapsed CPU time: 37.3323 s	Remaining CPU time: 1762.67 s
37.98/38.04	c ============================[ Search Statistics ]==============================
37.98/38.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.98/38.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
37.98/38.04	c ===============================================================================
37.98/38.04	c |         0 |    2591    35146    81782 |    11715        0    nan |  0.000 % |
37.98/38.04	c ===============================================================================
37.98/38.04	c core #557
37.98/38.04	c Core size: 32	Core Weight: 1	Total Weight: -443
37.98/38.04	c Elapsed CPU time: 37.4053 s	Remaining CPU time: 1762.59 s
38.08/38.11	c ============================[ Search Statistics ]==============================
38.08/38.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.08/38.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.08/38.11	c ===============================================================================
38.08/38.11	c |         0 |    2603    35147    81806 |    11715        0    nan |  0.000 % |
38.08/38.12	c ===============================================================================
38.08/38.12	c core #558
38.08/38.12	c Core size: 32	Core Weight: 1	Total Weight: -442
38.08/38.12	c Elapsed CPU time: 37.4773 s	Remaining CPU time: 1762.52 s
38.08/38.19	c ============================[ Search Statistics ]==============================
38.08/38.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.08/38.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.08/38.19	c ===============================================================================
38.08/38.19	c |         0 |    2615    35148    81830 |    11716        0    nan |  0.000 % |
38.08/38.19	c ===============================================================================
38.08/38.19	c core #559
38.08/38.19	c Core size: 28	Core Weight: 1	Total Weight: -441
38.08/38.19	c Elapsed CPU time: 37.5513 s	Remaining CPU time: 1762.45 s
38.18/38.26	c ============================[ Search Statistics ]==============================
38.18/38.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.18/38.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.18/38.26	c ===============================================================================
38.18/38.26	c |         0 |    2625    35149    81850 |    11716        0    nan |  0.000 % |
38.18/38.26	c ===============================================================================
38.18/38.26	c core #560
38.18/38.26	c Core size: 26	Core Weight: 1	Total Weight: -440
38.18/38.26	c Elapsed CPU time: 37.6233 s	Remaining CPU time: 1762.38 s
38.28/38.33	c ============================[ Search Statistics ]==============================
38.28/38.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.28/38.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.28/38.33	c ===============================================================================
38.28/38.33	c |         0 |    2635    35150    81870 |    11716        0    nan |  0.000 % |
38.28/38.34	c ===============================================================================
38.28/38.34	c core #561
38.28/38.34	c Core size: 27	Core Weight: 1	Total Weight: -439
38.28/38.34	c Elapsed CPU time: 37.6973 s	Remaining CPU time: 1762.3 s
38.38/38.41	c ============================[ Search Statistics ]==============================
38.38/38.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.38/38.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.38/38.41	c ===============================================================================
38.38/38.41	c |         0 |    2645    35151    81890 |    11717        0    nan |  0.000 % |
38.38/38.41	c ===============================================================================
38.38/38.41	c core #562
38.38/38.41	c Core size: 25	Core Weight: 1	Total Weight: -438
38.38/38.41	c Elapsed CPU time: 37.7673 s	Remaining CPU time: 1762.23 s
38.38/38.48	c ============================[ Search Statistics ]==============================
38.38/38.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.38/38.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.38/38.48	c ===============================================================================
38.38/38.48	c |         0 |    2655    35152    81910 |    11717        0    nan |  0.000 % |
38.38/38.49	c ===============================================================================
38.38/38.49	c core #563
38.38/38.49	c Core size: 26	Core Weight: 1	Total Weight: -437
38.38/38.49	c Elapsed CPU time: 37.8402 s	Remaining CPU time: 1762.16 s
38.49/38.55	c ============================[ Search Statistics ]==============================
38.49/38.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.49/38.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.49/38.55	c ===============================================================================
38.49/38.55	c |         0 |    2665    35153    81930 |    11717        0    nan |  0.000 % |
38.49/38.56	c ===============================================================================
38.49/38.56	c core #564
38.49/38.56	c Core size: 31	Core Weight: 1	Total Weight: -436
38.49/38.56	c Elapsed CPU time: 37.9102 s	Remaining CPU time: 1762.09 s
38.58/38.63	c ============================[ Search Statistics ]==============================
38.58/38.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.58/38.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.58/38.63	c ===============================================================================
38.58/38.63	c |         0 |    2677    35154    81954 |    11718        0    nan |  0.000 % |
38.58/38.63	c ===============================================================================
38.58/38.63	c core #565
38.58/38.63	c Core size: 27	Core Weight: 1	Total Weight: -435
38.58/38.63	c Elapsed CPU time: 37.9852 s	Remaining CPU time: 1762.01 s
38.68/38.70	c ============================[ Search Statistics ]==============================
38.68/38.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.68/38.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.68/38.70	c ===============================================================================
38.68/38.70	c |         0 |    2687    35155    81974 |    11718        0    nan |  0.000 % |
38.68/38.71	c ===============================================================================
38.68/38.71	c core #566
38.68/38.71	c Core size: 26	Core Weight: 1	Total Weight: -434
38.68/38.71	c Elapsed CPU time: 38.0572 s	Remaining CPU time: 1761.94 s
38.68/38.78	c ============================[ Search Statistics ]==============================
38.68/38.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.68/38.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.68/38.78	c ===============================================================================
38.68/38.78	c |         0 |    2697    35156    81994 |    11718        0    nan |  0.000 % |
38.68/38.78	c ===============================================================================
38.68/38.78	c core #567
38.68/38.78	c Core size: 25	Core Weight: 1	Total Weight: -433
38.68/38.78	c Elapsed CPU time: 38.1272 s	Remaining CPU time: 1761.87 s
38.78/38.85	c ============================[ Search Statistics ]==============================
38.78/38.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.78/38.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.78/38.85	c ===============================================================================
38.78/38.85	c |         0 |    2707    35157    82014 |    11719        0    nan |  0.000 % |
38.78/38.85	c ===============================================================================
38.78/38.86	c core #568
38.78/38.86	c Core size: 27	Core Weight: 1	Total Weight: -432
38.78/38.86	c Elapsed CPU time: 38.2012 s	Remaining CPU time: 1761.8 s
38.88/38.92	c ============================[ Search Statistics ]==============================
38.88/38.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.88/38.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.88/38.92	c ===============================================================================
38.88/38.92	c |         0 |    2717    35158    82034 |    11719        0    nan |  0.000 % |
38.88/38.93	c ===============================================================================
38.88/38.93	c core #569
38.88/38.93	c Core size: 20	Core Weight: 1	Total Weight: -431
38.88/38.93	c Elapsed CPU time: 38.2732 s	Remaining CPU time: 1761.73 s
38.88/39.00	c ============================[ Search Statistics ]==============================
38.88/39.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.88/39.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.88/39.00	c ===============================================================================
38.88/39.00	c |         0 |    2725    35159    82050 |    11719        0    nan |  0.000 % |
38.98/39.00	c ===============================================================================
38.98/39.00	c core #570
38.98/39.00	c Core size: 31	Core Weight: 1	Total Weight: -430
38.98/39.00	c Elapsed CPU time: 38.3462 s	Remaining CPU time: 1761.65 s
38.98/39.07	c ============================[ Search Statistics ]==============================
38.98/39.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.98/39.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.98/39.07	c ===============================================================================
38.98/39.07	c |         0 |    2737    35160    82074 |    11720        0    nan |  0.000 % |
38.98/39.07	c ===============================================================================
38.98/39.07	c core #571
38.98/39.07	c Core size: 26	Core Weight: 1	Total Weight: -429
38.98/39.07	c Elapsed CPU time: 38.4192 s	Remaining CPU time: 1761.58 s
39.08/39.14	c ============================[ Search Statistics ]==============================
39.08/39.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.08/39.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.08/39.14	c ===============================================================================
39.08/39.14	c |         0 |    2747    35161    82094 |    11720        0    nan |  0.000 % |
39.08/39.15	c ===============================================================================
39.08/39.15	c core #572
39.08/39.15	c Core size: 26	Core Weight: 1	Total Weight: -428
39.08/39.15	c Elapsed CPU time: 38.4921 s	Remaining CPU time: 1761.51 s
39.18/39.21	c ============================[ Search Statistics ]==============================
39.18/39.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.18/39.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.18/39.21	c ===============================================================================
39.18/39.21	c |         0 |    2757    35162    82114 |    11720        0    nan |  0.000 % |
39.18/39.22	c ===============================================================================
39.18/39.22	c core #573
39.18/39.22	c Core size: 31	Core Weight: 1	Total Weight: -427
39.18/39.22	c Elapsed CPU time: 38.5651 s	Remaining CPU time: 1761.43 s
39.18/39.29	c ============================[ Search Statistics ]==============================
39.18/39.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.18/39.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.18/39.29	c ===============================================================================
39.18/39.29	c |         0 |    2769    35163    82138 |    11721        0    nan |  0.000 % |
39.18/39.29	c ===============================================================================
39.18/39.29	c core #574
39.18/39.29	c Core size: 36	Core Weight: 1	Total Weight: -426
39.18/39.29	c Elapsed CPU time: 38.6371 s	Remaining CPU time: 1761.36 s
39.28/39.36	c ============================[ Search Statistics ]==============================
39.28/39.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.28/39.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.28/39.36	c ===============================================================================
39.28/39.36	c |         0 |    2783    35164    82166 |    11721        0    nan |  0.000 % |
39.28/39.37	c ===============================================================================
39.28/39.37	c core #575
39.28/39.37	c Core size: 25	Core Weight: 1	Total Weight: -425
39.28/39.37	c Elapsed CPU time: 38.7101 s	Remaining CPU time: 1761.29 s
39.38/39.44	c ============================[ Search Statistics ]==============================
39.38/39.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.38/39.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.38/39.44	c ===============================================================================
39.38/39.44	c |         0 |    2792    35165    82184 |    11721        0    nan |  0.000 % |
39.38/39.44	c ===============================================================================
39.38/39.44	c core #576
39.38/39.44	c Core size: 36	Core Weight: 1	Total Weight: -424
39.38/39.44	c Elapsed CPU time: 38.7841 s	Remaining CPU time: 1761.22 s
39.48/39.51	c ============================[ Search Statistics ]==============================
39.48/39.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.48/39.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.48/39.51	c ===============================================================================
39.48/39.51	c |         0 |    2806    35166    82212 |    11722        0    nan |  0.000 % |
39.48/39.52	c ===============================================================================
39.48/39.52	c core #577
39.48/39.52	c Core size: 22	Core Weight: 1	Total Weight: -423
39.48/39.52	c Elapsed CPU time: 38.8571 s	Remaining CPU time: 1761.14 s
39.48/39.59	c ============================[ Search Statistics ]==============================
39.48/39.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.48/39.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.48/39.59	c ===============================================================================
39.48/39.59	c |         0 |    2814    35167    82228 |    11722        0    nan |  0.000 % |
39.48/39.59	c ===============================================================================
39.48/39.59	c core #578
39.48/39.59	c Core size: 40	Core Weight: 1	Total Weight: -422
39.48/39.59	c Elapsed CPU time: 38.9291 s	Remaining CPU time: 1761.07 s
39.58/39.66	c ============================[ Search Statistics ]==============================
39.58/39.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.58/39.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.58/39.66	c ===============================================================================
39.58/39.66	c |         0 |    2830    35168    82260 |    11722        0    nan |  0.000 % |
39.58/39.67	c ===============================================================================
39.58/39.67	c core #579
39.58/39.67	c Core size: 32	Core Weight: 1	Total Weight: -421
39.58/39.67	c Elapsed CPU time: 39.0051 s	Remaining CPU time: 1760.99 s
39.68/39.74	c ============================[ Search Statistics ]==============================
39.68/39.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.68/39.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.68/39.74	c ===============================================================================
39.68/39.74	c |         0 |    2842    35169    82284 |    11723        0    nan |  0.000 % |
39.68/39.74	c ===============================================================================
39.68/39.74	c core #580
39.68/39.74	c Core size: 15	Core Weight: 1	Total Weight: -420
39.68/39.74	c Elapsed CPU time: 39.0791 s	Remaining CPU time: 1760.92 s
39.78/39.81	c ============================[ Search Statistics ]==============================
39.78/39.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.78/39.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.78/39.81	c ===============================================================================
39.78/39.81	c |         0 |    2848    35170    82296 |    11723        0    nan |  0.000 % |
39.78/39.82	c ===============================================================================
39.78/39.82	c core #581
39.78/39.82	c Core size: 25	Core Weight: 1	Total Weight: -419
39.78/39.82	c Elapsed CPU time: 39.149 s	Remaining CPU time: 1760.85 s
39.78/39.89	c ============================[ Search Statistics ]==============================
39.78/39.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.78/39.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.78/39.89	c ===============================================================================
39.78/39.89	c |         0 |    2858    35171    82316 |    11723        0    nan |  0.000 % |
39.78/39.89	c ===============================================================================
39.78/39.89	c core #582
39.78/39.89	c Core size: 39	Core Weight: 1	Total Weight: -418
39.78/39.89	c Elapsed CPU time: 39.22 s	Remaining CPU time: 1760.78 s
39.88/39.96	c ============================[ Search Statistics ]==============================
39.88/39.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.88/39.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.88/39.96	c ===============================================================================
39.88/39.96	c |         0 |    2873    35172    82346 |    11724        0    nan |  0.000 % |
39.88/39.97	c ===============================================================================
39.88/39.97	c core #583
39.88/39.97	c Core size: 40	Core Weight: 1	Total Weight: -417
39.88/39.97	c Elapsed CPU time: 39.295 s	Remaining CPU time: 1760.7 s
39.98/40.03	c ============================[ Search Statistics ]==============================
39.98/40.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.98/40.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.98/40.03	c ===============================================================================
39.98/40.03	c |         0 |    2889    35173    82378 |    11724        0    nan |  0.000 % |
39.98/40.04	c ===============================================================================
39.98/40.04	c core #584
39.98/40.04	c Core size: 44	Core Weight: 1	Total Weight: -416
39.98/40.04	c Elapsed CPU time: 39.369 s	Remaining CPU time: 1760.63 s
40.08/40.11	c ============================[ Search Statistics ]==============================
40.08/40.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.08/40.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.08/40.11	c ===============================================================================
40.08/40.11	c |         0 |    2906    35174    82412 |    11724        0    nan |  0.000 % |
40.08/40.12	c ===============================================================================
40.08/40.12	c core #585
40.08/40.12	c Core size: 37	Core Weight: 1	Total Weight: -415
40.08/40.12	c Elapsed CPU time: 39.447 s	Remaining CPU time: 1760.55 s
40.08/40.19	c ============================[ Search Statistics ]==============================
40.08/40.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.08/40.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.08/40.19	c ===============================================================================
40.08/40.19	c |         0 |    2920    35175    82440 |    11725        0    nan |  0.000 % |
40.08/40.19	c ===============================================================================
40.08/40.19	c core #586
40.08/40.19	c Core size: 44	Core Weight: 1	Total Weight: -414
40.08/40.19	c Elapsed CPU time: 39.52 s	Remaining CPU time: 1760.48 s
40.18/40.26	c ============================[ Search Statistics ]==============================
40.18/40.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.18/40.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.18/40.26	c ===============================================================================
40.18/40.26	c |         0 |    2937    35176    82474 |    11725        0    nan |  0.000 % |
40.18/40.27	c ===============================================================================
40.18/40.27	c core #587
40.18/40.27	c Core size: 174	Core Weight: 1	Total Weight: -413
40.18/40.27	c Elapsed CPU time: 39.593 s	Remaining CPU time: 1760.41 s
40.28/40.34	c ============================[ Search Statistics ]==============================
40.28/40.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.28/40.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.28/40.34	c ===============================================================================
40.28/40.34	c |         0 |    3001    35177    82602 |    11725        0    nan |  0.000 % |
40.28/40.35	c ===============================================================================
40.28/40.35	c core #588
40.28/40.35	c Core size: 195	Core Weight: 1	Total Weight: -412
40.28/40.35	c Elapsed CPU time: 39.673 s	Remaining CPU time: 1760.33 s
40.38/40.42	c ============================[ Search Statistics ]==============================
40.38/40.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.38/40.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.38/40.42	c ===============================================================================
40.38/40.42	c |         0 |    3068    35178    82736 |    11726        0    nan |  0.000 % |
40.38/40.44	c |       100 |    3068    35178    82736 |    12898      100     20 | 83.735 % |
40.38/40.45	c |       251 |    3068    35178    82736 |    14188      251     31 | 83.735 % |
40.38/40.46	c ===============================================================================
40.38/40.46	c core #589
40.38/40.46	c Core size: 299	Core Weight: 1	Total Weight: -411
40.38/40.46	c Elapsed CPU time: 39.785 s	Remaining CPU time: 1760.22 s
40.48/40.54	c ============================[ Search Statistics ]==============================
40.48/40.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.48/40.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.48/40.54	c ===============================================================================
40.48/40.54	c |         0 |    3155    35179    82910 |    11726        0    nan |  0.000 % |
40.48/40.55	c |       102 |    3155    35179    82910 |    12898      102     19 | 83.351 % |
40.48/40.56	c |       253 |    3155    35179    82910 |    14188      253     23 | 83.351 % |
40.48/40.58	c |       479 |    3155    35179    82910 |    15607      479     31 | 83.351 % |
40.58/40.62	c |       816 |    3111    35179    82910 |    17168      716     39 | 83.583 % |
40.58/40.62	c ===============================================================================
40.58/40.63	c core #590
40.58/40.63	c Core size: 539	Core Weight: 1	Total Weight: -410
40.58/40.63	c Elapsed CPU time: 39.9489 s	Remaining CPU time: 1760.05 s
40.68/40.70	c ============================[ Search Statistics ]==============================
40.68/40.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.68/40.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.68/40.70	c ===============================================================================
40.68/40.70	c |         0 |    3295    35180    83190 |    11726        0    nan |  0.000 % |
40.68/40.72	c |       101 |    3295    35180    83190 |    12899      101     11 | 82.740 % |
40.68/40.73	c |       251 |    3290    35180    83190 |    14189      251     13 | 82.991 % |
40.68/40.73	c ===============================================================================
40.68/40.73	c core #591
40.68/40.73	c Core size: 339	Core Weight: 1	Total Weight: -409
40.68/40.73	c Elapsed CPU time: 40.0459 s	Remaining CPU time: 1759.95 s
40.78/40.80	c ============================[ Search Statistics ]==============================
40.78/40.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.78/40.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.78/40.80	c ===============================================================================
40.78/40.80	c |         0 |    3389    35181    83378 |    11727        0    nan |  0.000 % |
40.78/40.81	c |       100 |    3389    35181    83378 |    12899      100     36 | 82.334 % |
40.78/40.83	c |       251 |    3389    35181    83378 |    14189      251     28 | 82.334 % |
40.78/40.84	c |       476 |    3389    35181    83378 |    15608      476     27 | 82.334 % |
40.78/40.87	c |       815 |    3389    35181    83378 |    17169      815     29 | 82.334 % |
40.87/40.93	c |      1321 |    3359    35181    83378 |    18886      929     24 | 82.491 % |
40.87/40.98	c ===============================================================================
40.87/40.99	c core #592
40.87/40.99	c Core size: 586	Core Weight: 1	Total Weight: -408
40.87/40.99	c Elapsed CPU time: 40.3029 s	Remaining CPU time: 1759.7 s
40.98/41.06	c ============================[ Search Statistics ]==============================
40.98/41.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.98/41.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.98/41.06	c ===============================================================================
40.98/41.06	c |         0 |    3524    35182    83648 |    11727        0    nan |  0.000 % |
40.98/41.09	c |       122 |    3524    35182    83648 |    12900      122    161 | 81.759 % |
41.08/41.10	c |       277 |    3524    35182    83648 |    14190      277    106 | 81.759 % |
41.08/41.12	c |       504 |    3524    35182    83648 |    15609      504     73 | 81.759 % |
41.08/41.14	c |       846 |    3524    35182    83648 |    17169      846     58 | 81.759 % |
41.08/41.20	c |      1353 |    3524    35182    83648 |    18886     1353     56 | 81.759 % |
41.18/41.26	c |      2113 |    3524    35182    83648 |    20775     2113     49 | 81.759 % |
41.37/41.40	c |      3252 |    3524    35182    83648 |    22853     3252     58 | 81.759 % |
41.68/41.74	c |      4960 |    3524    35182    83648 |    25138     4960     84 | 81.759 % |
42.37/42.43	c |      7523 |    3524    35182    83648 |    27652     7523    108 | 81.759 % |
43.38/43.43	c ===============================================================================
43.48/43.54	c core #593
43.48/43.54	c Core size: 1217	Core Weight: 1	Total Weight: -407
43.48/43.54	c Elapsed CPU time: 42.8215 s	Remaining CPU time: 1757.18 s
43.57/43.62	c ============================[ Search Statistics ]==============================
43.57/43.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.57/43.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
43.57/43.62	c ===============================================================================
43.57/43.62	c |         0 |    3783    35183    84166 |    11727        0    nan |  0.000 % |
43.57/43.64	c |       100 |    3783    35183    84166 |    12900      100     15 | 80.677 % |
43.57/43.65	c |       250 |    3783    35183    84166 |    14190      250     20 | 80.677 % |
43.57/43.67	c |       475 |    3783    35183    84166 |    15609      475     19 | 80.677 % |
43.57/43.70	c |       812 |    3783    35183    84166 |    17170      812     30 | 80.677 % |
43.67/43.76	c |      1321 |    3783    35183    84166 |    18887     1321     45 | 80.677 % |
43.78/43.85	c |      2081 |    3783    35183    84166 |    20776     2081     52 | 80.677 % |
43.98/44.07	c |      3220 |    3783    35183    84166 |    22853     3220     77 | 80.677 % |
44.38/44.47	c ===============================================================================
44.48/44.53	c core #594
44.48/44.53	c Core size: 623	Core Weight: 1	Total Weight: -406
44.48/44.53	c Elapsed CPU time: 43.8073 s	Remaining CPU time: 1756.19 s
44.58/44.61	c ============================[ Search Statistics ]==============================
44.58/44.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.58/44.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.58/44.61	c ===============================================================================
44.58/44.61	c |         0 |    3920    35184    84440 |    11728        0    nan |  0.000 % |
44.58/44.63	c |       101 |    3920    35184    84440 |    12900      101     23 | 80.117 % |
44.58/44.64	c |       255 |    3920    35184    84440 |    14190      255     28 | 80.117 % |
44.58/44.66	c |       480 |    3920    35184    84440 |    15609      480     27 | 80.117 % |
44.58/44.70	c |       818 |    3920    35184    84440 |    17170      818     39 | 80.117 % |
44.68/44.76	c |      1324 |    3920    35184    84440 |    18888     1324     58 | 80.117 % |
44.78/44.87	c |      2084 |    3920    35184    84440 |    20776     2084     69 | 80.117 % |
44.98/45.04	c |      3225 |    3920    35184    84440 |    22854     3225     82 | 80.117 % |
45.28/45.30	c |      4933 |    3920    35184    84440 |    25140     4933     81 | 80.117 % |
45.77/45.83	c |      7495 |    3920    35184    84440 |    27654     7495     84 | 80.117 % |
46.28/46.34	c ===============================================================================
46.38/46.43	c core #595
46.38/46.43	c Core size: 976	Core Weight: 1	Total Weight: -405
46.38/46.43	c Elapsed CPU time: 45.6931 s	Remaining CPU time: 1754.31 s
46.48/46.52	c ============================[ Search Statistics ]==============================
46.48/46.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.48/46.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.48/46.52	c ===============================================================================
46.48/46.52	c |         0 |    4106    35185    84812 |    11728        0    nan |  0.000 % |
46.48/46.54	c |       100 |    4106    35185    84812 |    12901      100     37 | 79.368 % |
46.48/46.55	c |       253 |    4106    35185    84812 |    14191      253     30 | 79.368 % |
46.48/46.57	c |       478 |    4106    35185    84812 |    15610      478     24 | 79.368 % |
46.58/46.61	c |       816 |    4106    35185    84812 |    17171      816     32 | 79.368 % |
46.58/46.67	c |      1323 |    4106    35185    84812 |    18888     1323     49 | 79.368 % |
46.68/46.79	c |      2082 |    4106    35185    84812 |    20777     2082     70 | 79.368 % |
46.97/47.00	c |      3222 |    4106    35185    84812 |    22855     3222     77 | 79.368 % |
47.38/47.45	c ===============================================================================
47.48/47.51	c core #596
47.48/47.51	c Core size: 1010	Core Weight: 1	Total Weight: -404
47.48/47.51	c Elapsed CPU time: 46.7619 s	Remaining CPU time: 1753.24 s
47.48/47.59	c ============================[ Search Statistics ]==============================
47.48/47.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.48/47.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
47.48/47.59	c ===============================================================================
47.48/47.59	c |         0 |    4305    35186    85210 |    11728        0    nan |  0.000 % |
47.58/47.61	c |       100 |    4305    35186    85210 |    12901      100     24 | 78.582 % |
47.58/47.62	c |       251 |    4305    35186    85210 |    14191      251     17 | 78.582 % |
47.58/47.64	c |       477 |    4305    35186    85210 |    15610      477     16 | 78.582 % |
47.58/47.67	c |       814 |    4305    35186    85210 |    17171      814     22 | 78.582 % |
47.67/47.72	c |      1320 |    4305    35186    85210 |    18889     1320     28 | 78.582 % |
47.77/47.81	c |      2079 |    4305    35186    85210 |    20778     2079     37 | 78.582 % |
47.88/47.96	c |      3218 |    4305    35186    85210 |    22855     3218     43 | 78.582 % |
48.28/48.30	c |      4926 |    4305    35186    85210 |    25141     4926     60 | 78.582 % |
48.87/48.94	c |      7489 |    4305    35186    85210 |    27655     7489     76 | 78.582 % |
48.97/49.09	c ===============================================================================
49.07/49.18	c core #597
49.07/49.18	c Core size: 825	Core Weight: 1	Total Weight: -403
49.07/49.18	c Elapsed CPU time: 48.4126 s	Remaining CPU time: 1751.59 s
49.18/49.27	c ============================[ Search Statistics ]==============================
49.18/49.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.18/49.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
49.18/49.27	c ===============================================================================
49.18/49.27	c |         0 |    4470    35187    85540 |    11729        0    nan |  0.000 % |
49.18/49.29	c |       101 |    4470    35187    85540 |    12901      101     34 | 77.942 % |
49.28/49.30	c |       252 |    4470    35187    85540 |    14192      252     24 | 77.942 % |
49.28/49.31	c |       477 |    4470    35187    85540 |    15611      477     21 | 77.942 % |
49.28/49.34	c |       814 |    4470    35187    85540 |    17172      814     27 | 77.942 % |
49.28/49.39	c |      1321 |    4470    35187    85540 |    18889     1321     30 | 77.942 % |
49.38/49.47	c |      2080 |    4470    35187    85540 |    20778     2080     40 | 77.942 % |
49.57/49.61	c |      3219 |    4470    35187    85540 |    22856     3219     43 | 77.942 % |
49.78/49.88	c |      4928 |    4470    35187    85540 |    25142     4928     47 | 77.942 % |
50.48/50.52	c |      7493 |    4470    35187    85540 |    27656     7493     77 | 77.942 % |
51.59/51.65	c |     11337 |    4470    35187    85540 |    30422    11337     85 | 77.942 % |
54.88/54.97	c |     17103 |    4470    35187    85540 |    33464    17103    124 | 77.942 % |
56.17/56.27	c ===============================================================================
56.47/56.59	c core #598
56.47/56.59	c Core size: 916	Core Weight: 1	Total Weight: -402
56.47/56.59	c Elapsed CPU time: 55.7635 s	Remaining CPU time: 1744.24 s
56.58/56.69	c ============================[ Search Statistics ]==============================
56.58/56.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
56.58/56.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
56.58/56.69	c ===============================================================================
56.58/56.69	c |         0 |    4645    35188    85890 |    11729        0    nan |  0.000 % |
56.68/56.72	c |       101 |    4645    35188    85890 |    12902      101     41 | 77.275 % |
56.68/56.73	c |       253 |    4645    35188    85890 |    14192      253     30 | 77.275 % |
56.68/56.74	c |       479 |    4645    35188    85890 |    15611      479     31 | 77.275 % |
56.68/56.78	c |       816 |    4645    35188    85890 |    17172      816     45 | 77.275 % |
56.78/56.82	c |      1325 |    4645    35188    85890 |    18890     1325     52 | 77.275 % |
56.88/56.90	c |      2085 |    4645    35188    85890 |    20779     2085     52 | 77.275 % |
56.98/57.08	c |      3224 |    4645    35188    85890 |    22857     3224     62 | 77.275 % |
57.47/57.50	c |      4932 |    4645    35188    85890 |    25142     4932     97 | 77.275 % |
58.18/58.29	c |      7494 |    4645    35188    85890 |    27657     7494    129 | 77.275 % |
59.68/59.75	c |     11338 |    4645    35188    85890 |    30422    11338    153 | 77.275 % |
62.98/63.06	c |     17105 |    4645    35188    85890 |    33465    17105    154 | 77.275 % |
68.87/68.97	c |     25755 |    4645    35188    85890 |    36811    25755    165 | 77.275 % |
83.77/83.83	c |     38730 |    4645    35188    85890 |    40492    38730    177 | 77.275 % |
122.66/122.71	c ===============================================================================
123.86/123.97	c core #599
123.86/123.97	c Core size: 813	Core Weight: 1	Total Weight: -401
123.86/123.97	c Elapsed CPU time: 122.845 s	Remaining CPU time: 1677.15 s
124.06/124.11	c ============================[ Search Statistics ]==============================
124.06/124.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
124.06/124.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
124.06/124.11	c ===============================================================================
124.06/124.11	c |         0 |    4807    35189    86214 |    11729        0    nan |  0.000 % |
124.06/124.14	c |       100 |    4807    35189    86214 |    12902      100     35 | 76.667 % |
124.06/124.15	c |       250 |    4807    35189    86214 |    14192      250     29 | 76.667 % |
124.06/124.17	c |       475 |    4807    35189    86214 |    15612      475     28 | 76.667 % |
124.17/124.20	c |       813 |    4807    35189    86214 |    17173      813     31 | 76.667 % |
124.17/124.26	c |      1320 |    4807    35189    86214 |    18890     1320     34 | 76.667 % |
124.27/124.35	c |      2088 |    4807    35189    86214 |    20779     2088     54 | 76.667 % |
124.46/124.52	c |      3227 |    4807    35189    86214 |    22857     3227     80 | 76.667 % |
124.86/124.92	c |      4935 |    4807    35189    86214 |    25143     4935    102 | 76.667 % |
125.46/125.52	c |      7497 |    4807    35189    86214 |    27657     7497    113 | 76.667 % |
127.06/127.11	c |     11343 |    4807    35189    86214 |    30423    11343    141 | 76.667 % |
129.86/129.92	c |     17109 |    4807    35189    86214 |    33466    17109    140 | 76.667 % |
134.75/134.89	c |     25758 |    4807    35189    86214 |    36812    25758    147 | 76.667 % |
149.46/149.55	c |     38733 |    4807    35189    86214 |    40493    38733    190 | 76.667 % |
179.85/179.91	c |     58199 |    4807    35189    86214 |    44543    16166    135 | 76.667 % |
213.14/213.23	c |     87391 |    4807    35189    86214 |    48997    45358    167 | 76.667 % |
284.03/284.18	c |    131180 |    4807    35189    86214 |    53897    39756    261 | 76.667 % |
388.41/388.56	c |    196866 |    4807    35189    86214 |    59287    50964    272 | 76.667 % |
575.07/575.20	c |    295393 |    4807    35189    86214 |    65215    30565    219 | 76.667 % |
920.19/920.40	c |    443186 |    4807    35189    86214 |    71737    48081    442 | 76.667 % |
1420.78/1421.20	c |    664869 |    4807    35189    86214 |    78911    58070    321 | 76.667 % |
1467.17/1467.57	c ===============================================================================
1495.16/1495.60	c core #600
1495.16/1495.60	c Core size: 1990	Core Weight: 1	Total Weight: -400
1495.16/1495.60	c Elapsed CPU time: 1489.8 s	Remaining CPU time: 310.201 s
1496.06/1496.43	c ============================[ Search Statistics ]==============================
1496.06/1496.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1496.06/1496.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1496.06/1496.43	c ===============================================================================
1496.06/1496.43	c |         0 |    5125    35190    86850 |    11730        0    nan |  0.000 % |
1496.17/1496.57	c |       101 |    5125    35190    86850 |    12903      101     50 | 75.502 % |
1496.17/1496.58	c |       251 |    5125    35190    86850 |    14193      251     40 | 75.502 % |
1496.27/1496.60	c |       476 |    5125    35190    86850 |    15612      476     34 | 75.502 % |
1496.27/1496.63	c |       814 |    5125    35190    86850 |    17173      814     40 | 75.502 % |
1496.27/1496.68	c |      1321 |    5125    35190    86850 |    18891     1321     47 | 75.502 % |
1496.37/1496.75	c |      2080 |    5125    35190    86850 |    20780     2080     40 | 75.502 % |
1496.47/1496.87	c |      3222 |    5125    35190    86850 |    22858     3222     42 | 75.502 % |
1496.67/1497.10	c |      4933 |    5125    35190    86850 |    25144     4933     47 | 75.502 % |
1497.06/1497.45	c |      7498 |    5125    35190    86850 |    27658     7498     50 | 75.502 % |
1497.96/1498.30	c |     11343 |    5125    35190    86850 |    30424    11343     56 | 75.502 % |
1499.57/1499.98	c |     17109 |    5125    35190    86850 |    33467    17109     67 | 75.502 % |
1504.77/1505.11	c |     25759 |    5125    35190    86850 |    36813    25759    105 | 75.502 % |
1521.46/1521.82	c |     38734 |    5125    35190    86850 |    40495    38734    136 | 75.502 % |
1560.46/1560.81	c |     58195 |    5125    35190    86850 |    44544    16833    229 | 75.502 % |
1598.64/1599.01	c |     87388 |    5125    35190    86850 |    48999    46026    217 | 75.502 % |
1706.93/1707.35	c |    131177 |    5125    35190    86850 |    53899    40406    287 | 75.502 % |
1759.52/1759.97	c ===============================================================================
1764.71/1765.19	c core #601
1764.71/1765.19	c Core size: 733	Core Weight: 1	Total Weight: -399
1764.71/1765.19	c Elapsed CPU time: 1758.89 s	Remaining CPU time: 41.1054 s
1765.12/1765.51	c ============================[ Search Statistics ]==============================
1765.12/1765.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1765.12/1765.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1765.12/1765.51	c ===============================================================================
1765.12/1765.51	c |         0 |    5280    35191    87160 |    11730        0    nan |  0.000 % |
1765.21/1765.60	c |       100 |    5280    35191    87160 |    12903      100     60 | 74.947 % |
1765.21/1765.61	c |       251 |    5280    35191    87160 |    14193      251     40 | 74.947 % |
1765.21/1765.63	c |       480 |    5280    35191    87160 |    15613      480     43 | 74.947 % |
1765.21/1765.66	c |       818 |    5280    35191    87160 |    17174      818     40 | 74.947 % |
1765.31/1765.73	c |      1324 |    5280    35191    87160 |    18891     1324     57 | 74.947 % |
1765.41/1765.84	c |      2085 |    5280    35191    87160 |    20781     2085     65 | 74.947 % |
1765.61/1766.04	c |      3224 |    5280    35191    87160 |    22859     3224     80 | 74.947 % |
1765.81/1766.29	c |      4932 |    5280    35191    87160 |    25145     4932     72 | 74.947 % |
1766.31/1766.79	c |      7494 |    5280    35191    87160 |    27659     7494     71 | 74.947 % |
1767.41/1767.86	c |     11338 |    5280    35191    87160 |    30425    11338     91 | 74.947 % |
1769.81/1770.27	c |     17111 |    5280    35191    87160 |    33468    17111    114 | 74.947 % |
1774.31/1774.71	c |     25763 |    5280    35191    87160 |    36814    25763    126 | 74.947 % |
1787.11/1787.51	c |     38738 |    5280    35191    87160 |    40496    38738    139 | 74.947 % |

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-1875356-1245201502/watcher-1875356-1245201502 -o /tmp/evaluation-result-1875356-1245201502/solver-1875356-1245201502 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875356-1245201502.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 3778
/proc/meminfo: memFree=1832224/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=4152 CPUtime=0
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 187749877 4251648 242 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 1038 248 125 292 0 406 0

[startup+0.0317721 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3778
/proc/meminfo: memFree=1832224/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=6040 CPUtime=0.02
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 768 0 0 0 2 0 0 0 18 0 1 0 187749877 6184960 752 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 1510 753 156 292 0 878 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6040

[startup+0.101776 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3778
/proc/meminfo: memFree=1832224/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=7992 CPUtime=0.09
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 1315 0 0 0 9 0 0 0 18 0 1 0 187749877 8183808 1299 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 1998 1299 260 292 0 1366 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7992

[startup+0.301788 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3778
/proc/meminfo: memFree=1832224/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=14136 CPUtime=0.29
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 3591 0 0 0 28 1 0 0 19 0 1 0 187749877 14475264 2941 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 3534 2941 134 292 0 3239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14136

[startup+0.701814 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3778
/proc/meminfo: memFree=1832224/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=21692 CPUtime=0.69
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 5714 0 0 0 67 2 0 0 22 0 1 0 187749877 22212608 4799 1992294400 134512640 135709839 4294956240 18446744073709551615 134530703 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 5423 4799 134 292 0 5128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21692

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1808408/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=34880 CPUtime=1.49
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 9105 0 0 0 146 3 0 0 25 0 1 0 187749877 35717120 8190 1992294400 134512640 135709839 4294956240 18446744073709551615 134564918 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 8720 8190 134 292 0 8425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34880

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1789784/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=61012 CPUtime=3.09
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 15640 0 0 0 304 5 0 0 25 0 1 0 187749877 62476288 14725 1992294400 134512640 135709839 4294956240 18446744073709551615 134607382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 15253 14725 134 292 0 14958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61012

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1735384/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=113352 CPUtime=6.28
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 28711 0 0 0 617 11 0 0 25 0 1 0 187749877 116072448 27796 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 28338 27796 134 292 0 28043 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 113352

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1629592/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=216032 CPUtime=12.69
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 54303 0 0 0 1247 22 0 0 25 0 1 0 187749877 221216768 53388 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 54008 53388 134 292 0 53713 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 216032

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1422680/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=415408 CPUtime=25.48
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 104246 0 0 0 2505 43 0 0 25 0 1 0 187749877 425377792 103331 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 103852 103332 134 292 0 103557 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 415408

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1180696/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=652740 CPUtime=51.07
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 163613 0 0 0 5029 78 0 0 25 0 1 0 187749877 668405760 162698 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 163185 162698 136 292 0 162890 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 652740

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1130456/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=702856 CPUtime=102.27
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 176107 0 0 0 10124 103 0 0 25 0 1 0 187749877 719724544 175192 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 175714 175192 136 292 0 175419 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 702856

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1107992/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=725936 CPUtime=162.26
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 181862 0 0 0 16103 123 0 0 25 0 1 0 187749877 743358464 180947 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 181484 180947 136 292 0 181189 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 725936

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1062296/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=770896 CPUtime=222.24
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 193078 0 0 0 22079 145 0 0 25 0 1 0 187749877 789397504 192163 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 192724 192163 136 292 0 192429 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 770896

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=1010008/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=824480 CPUtime=282.22
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 206438 0 0 0 28056 166 0 0 25 0 1 0 187749877 844267520 205523 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 206120 205523 136 292 0 205825 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 824480

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=959192/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=874320 CPUtime=342.22
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 218902 0 0 0 34033 189 0 0 25 0 1 0 187749877 895303680 217987 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 218580 217987 136 292 0 218285 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 874320

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=905368/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=928500 CPUtime=402.2
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 232419 0 0 0 40009 211 0 0 25 0 1 0 187749877 950784000 231504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 232125 231504 136 292 0 231830 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 928500

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=864664/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=968596 CPUtime=462.19
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 242421 0 0 0 45992 227 0 0 25 0 1 0 187749877 991842304 241506 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 242149 241506 136 292 0 241854 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 968596

[startup+522.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 3779
/proc/meminfo: memFree=813912/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1019676 CPUtime=522.18
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 255190 0 0 0 51970 248 0 0 25 0 1 0 187749877 1044148224 254275 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 254919 254275 136 292 0 254624 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1019676

[startup+582.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3779
/proc/meminfo: memFree=767192/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1066188 CPUtime=582.16
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 266788 0 0 0 57949 267 0 0 25 0 1 0 187749877 1091776512 265873 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 266547 265873 136 292 0 266252 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1066188

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=728856/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1103996 CPUtime=642.15
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 276225 0 0 0 63929 286 0 0 25 0 1 0 187749877 1130491904 275310 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 275999 275310 136 292 0 275704 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 1103996

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=525720/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1306960 CPUtime=882.1
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 326939 0 0 0 87852 358 0 0 25 0 1 0 187749877 1338327040 326024 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 326740 326024 136 292 0 326445 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 1306960

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=464216/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1369200 CPUtime=942.08
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 342471 0 0 0 93830 378 0 0 25 0 1 0 187749877 1402060800 341556 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 342300 341556 136 292 0 342005 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1369200

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=419544/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1412968 CPUtime=1002.07
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 353415 0 0 0 99811 396 0 0 25 0 1 0 187749877 1446879232 352500 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 353242 352500 136 292 0 352947 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 1412968

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=361688/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1471560 CPUtime=1062.06
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 368051 0 0 0 105789 417 0 0 25 0 1 0 187749877 1506877440 367136 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 367890 367136 136 292 0 367595 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1471560

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3779
/proc/meminfo: memFree=311000/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1521504 CPUtime=1122.05
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 380533 0 0 0 111767 438 0 0 25 0 1 0 187749877 1558020096 379618 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 380376 379618 136 292 0 380081 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1521504

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=272600/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1560120 CPUtime=1182.04
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 390186 0 0 0 117749 455 0 0 25 0 1 0 187749877 1597562880 389271 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 390030 389271 136 292 0 389735 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1560120

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=197720/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1634796 CPUtime=1242.03
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 408836 0 0 0 123722 481 0 0 25 0 1 0 187749877 1674031104 407921 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 408699 407921 136 292 0 408404 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1634796

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=155352/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1676612 CPUtime=1302.01
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 419285 0 0 0 129707 494 0 0 25 0 1 0 187749877 1716850688 418370 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 419153 418370 136 292 0 418858 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1676612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=122264/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1710576 CPUtime=1362
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 427752 0 0 0 135692 508 0 0 25 0 1 0 187749877 1751629824 426837 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 427644 426837 136 292 0 427349 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1710576

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=59736/2055920 swapFree=4191900/4192956
[pid=3778] ppid=3776 vsize=1772324 CPUtime=1421.99
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 443178 0 0 0 141667 532 0 0 25 0 1 0 187749877 1814859776 442263 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 443081 442263 136 292 0 442786 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1772324

[startup+1482.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 3779
/proc/meminfo: memFree=16152/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1836236 CPUtime=1481.97
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 459172 0 0 0 147650 547 0 0 25 0 1 0 187749877 1880305664 458257 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 459059 458257 136 292 0 458764 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1836236

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 3779
/proc/meminfo: memFree=15640/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1840868 CPUtime=1541.96
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 460693 0 0 0 153634 562 0 0 25 0 1 0 187749877 1885048832 459657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 460217 459657 136 292 0 459922 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1840868

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 3779
/proc/meminfo: memFree=15512/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1840868 CPUtime=1601.94
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 460708 0 0 0 159621 573 0 0 25 0 1 0 187749877 1885048832 459672 1992294400 134512640 135709839 4294956240 18446744073709551615 134574146 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 460217 459672 136 292 0 459922 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1840868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=15512/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1840868 CPUtime=1661.93
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 460712 0 0 0 165614 579 0 0 25 0 1 0 187749877 1885048832 459676 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 460217 459676 136 292 0 459922 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1840868

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=15448/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1840868 CPUtime=1721.92
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 460726 0 0 0 171604 588 0 0 25 0 1 0 187749877 1885048832 459690 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 460217 459690 136 292 0 459922 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1840868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=15704/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1840144 CPUtime=1781.91
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 460730 0 0 0 177589 602 0 0 25 0 1 0 187749877 1884307456 459571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 460036 459571 136 292 0 459741 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1840144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3779
/proc/meminfo: memFree=15704/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=1840144 CPUtime=1800.01
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4194304 460730 0 0 0 179393 608 0 0 25 0 1 0 187749877 1884307456 459571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 460036 459571 136 292 0 459741 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1840144

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3780
/proc/meminfo: memFree=1295184/2055920 swapFree=4183032/4192956
[pid=3778] ppid=3776 vsize=0 CPUtime=1800.21
/proc/3778/stat : 3778 (wbo) R 3776 3778 3413 0 -1 4195332 460730 0 0 0 179393 628 0 0 25 0 1 0 187749877 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3778/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.69
CPU time (s): 1800.3
CPU user time (s): 1793.93
CPU system time (s): 6.36403
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 1841592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 6.36403
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460730
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= 3
involuntary context switches= 2629

runsolver used 1.37979 second user time and 3.9474 second system time

The end

Launcher Data 

Begin job on node29 at 2009-06-17 03:18:22
IDJOB=1875356
IDBENCH=48196
IDSOLVER=698
FILE ID=node29/1875356-1245201502
PBS_JOBID= 9368311
Free space on /tmp= 66244 MiB

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

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

MD5SUM BENCH= 54b0d54e7a8a81cee8fd7c7c85a68b83
RANDOM SEED=1151160686

node29.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.237
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.237
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:       1833664 kB
Buffers:         51944 kB
Cached:         105548 kB
SwapCached:        268 kB
Active:          47124 kB
Inactive:       123148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833664 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2780 kB
Writeback:           0 kB
Mapped:          21308 kB
Slab:            37960 kB
Committed_AS:   188324 kB
PageTables:       1472 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-1875356-1245201502.opb

Free space on /tmp at the end= 66240 MiB
End job on node29 at 2009-06-17 03:48:26