Trace number 1875530

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.34 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM2b1f0bdf934439fa3364f5fdf4570849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints3150
Number of constraints which are clauses3150
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 1200
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 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875530-1245156888.opb.
0.00/0.00	c Instance file HOME/instance-1875530-1245156888.opb
0.00/0.00	c File size is 104111 bytes.
0.00/0.01	c Highest Coefficient sum: 4
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1200                                                |
0.00/0.01	c |  Number Clauses:        4350                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #5
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #8
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #9
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #10
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #11
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #12
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #13
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #14
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #15
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #16
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #17
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #18
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 18
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #19
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.06/0.06	c core #20
0.06/0.06	c Core size: 4	Core Weight: 1	Total Weight: 20
0.06/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.06/0.06	c core #21
0.06/0.06	c Core size: 4	Core Weight: 1	Total Weight: 21
0.06/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #22
0.06/0.07	c Core size: 4	Core Weight: 1	Total Weight: 22
0.06/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #23
0.06/0.07	c Core size: 4	Core Weight: 1	Total Weight: 23
0.06/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #24
0.06/0.07	c Core size: 4	Core Weight: 1	Total Weight: 24
0.06/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #25
0.06/0.07	c Core size: 4	Core Weight: 1	Total Weight: 25
0.06/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.06/0.08	c core #26
0.06/0.08	c Core size: 4	Core Weight: 1	Total Weight: 26
0.06/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.06/0.08	c core #27
0.06/0.08	c Core size: 4	Core Weight: 1	Total Weight: 27
0.06/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.06/0.08	c core #28
0.06/0.08	c Core size: 4	Core Weight: 1	Total Weight: 28
0.06/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.06/0.09	c core #29
0.06/0.09	c Core size: 4	Core Weight: 1	Total Weight: 29
0.06/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.06/0.09	c core #30
0.06/0.09	c Core size: 4	Core Weight: 1	Total Weight: 30
0.06/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.06/0.09	c core #31
0.06/0.09	c Core size: 4	Core Weight: 1	Total Weight: 31
0.06/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.06/0.09	c core #32
0.06/0.09	c Core size: 4	Core Weight: 1	Total Weight: 32
0.06/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.06/0.10	c core #33
0.06/0.10	c Core size: 4	Core Weight: 1	Total Weight: 33
0.06/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #34
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 34
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #35
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 35
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #36
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 36
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #37
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 37
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #38
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 38
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #39
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 39
0.09/0.11	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #40
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 40
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #41
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 41
0.09/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #42
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 42
0.09/0.12	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #43
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 43
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #44
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 44
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #45
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 45
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #46
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 46
0.09/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #47
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 47
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #48
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 48
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #49
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 49
0.09/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #50
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 50
0.09/0.14	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #51
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 51
0.09/0.15	c Elapsed CPU time: 0.147977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #52
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 52
0.09/0.15	c Elapsed CPU time: 0.150977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #53
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 53
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #54
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 54
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #55
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 55
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #56
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 56
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #57
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 57
0.09/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #58
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 58
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #59
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 59
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #60
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 60
0.09/0.17	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #61
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 61
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #62
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 62
0.09/0.18	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #63
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 63
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #64
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 64
0.09/0.18	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #65
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 65
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #66
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 66
0.09/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #67
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 67
0.09/0.19	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #68
0.09/0.20	c Core size: 4	Core Weight: 1	Total Weight: 68
0.09/0.20	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #69
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 69
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #70
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 70
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #71
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 71
0.19/0.20	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #72
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 72
0.19/0.21	c Elapsed CPU time: 0.208968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #73
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 73
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #74
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 74
0.19/0.21	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #75
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 75
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #76
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 76
0.19/0.22	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #77
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 77
0.19/0.22	c Elapsed CPU time: 0.222966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #78
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 78
0.19/0.22	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #79
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 79
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #80
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 80
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #81
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 81
0.19/0.23	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #82
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 82
0.19/0.24	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #83
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 83
0.19/0.24	c Elapsed CPU time: 0.240963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #84
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 84
0.19/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #85
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 85
0.19/0.25	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #86
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 86
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #87
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 87
0.19/0.25	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #88
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 88
0.19/0.25	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #89
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 89
0.19/0.26	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #90
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 90
0.19/0.26	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #91
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 91
0.19/0.26	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #92
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 92
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #93
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 93
0.19/0.27	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #94
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 94
0.19/0.27	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #95
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 95
0.19/0.28	c Elapsed CPU time: 0.275958 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #96
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 96
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #97
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 97
0.19/0.28	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #98
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 98
0.19/0.28	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #99
0.19/0.29	c Core size: 4	Core Weight: 1	Total Weight: 99
0.19/0.29	c Elapsed CPU time: 0.287956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #100
0.19/0.29	c Core size: 4	Core Weight: 1	Total Weight: 100
0.19/0.29	c Elapsed CPU time: 0.290955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #101
0.19/0.29	c Core size: 4	Core Weight: 1	Total Weight: 101
0.19/0.29	c Elapsed CPU time: 0.293955 s	Remaining CPU time: 1799.71 s
0.19/0.30	c core #102
0.19/0.30	c Core size: 4	Core Weight: 1	Total Weight: 102
0.19/0.30	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #103
0.29/0.30	c Core size: 4	Core Weight: 1	Total Weight: 103
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #104
0.29/0.30	c Core size: 4	Core Weight: 1	Total Weight: 104
0.29/0.30	c Elapsed CPU time: 0.302953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #105
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 105
0.29/0.31	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #106
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 106
0.29/0.31	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #107
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 107
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #108
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 108
0.29/0.31	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #109
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 109
0.29/0.32	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #110
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 110
0.29/0.32	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #111
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 111
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #112
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 112
0.29/0.33	c Elapsed CPU time: 0.32695 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #113
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 113
0.29/0.33	c Elapsed CPU time: 0.329949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #114
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 114
0.29/0.33	c Elapsed CPU time: 0.332949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #115
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 115
0.29/0.34	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #116
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 116
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #117
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 117
0.29/0.34	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #118
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 118
0.29/0.35	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #119
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 119
0.29/0.35	c Elapsed CPU time: 0.348946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #120
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 120
0.29/0.35	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #121
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 121
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #122
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 122
0.29/0.36	c Elapsed CPU time: 0.357945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #123
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 123
0.29/0.36	c Elapsed CPU time: 0.360945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #124
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 124
0.29/0.36	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #125
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 125
0.29/0.37	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #126
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 126
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #127
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 127
0.29/0.37	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #128
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 128
0.29/0.38	c Elapsed CPU time: 0.375942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #129
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 129
0.29/0.38	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #130
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 130
0.29/0.38	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #131
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 131
0.29/0.39	c Elapsed CPU time: 0.385941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #132
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 132
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #133
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 133
0.29/0.39	c Elapsed CPU time: 0.39194 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #134
0.29/0.40	c Core size: 4	Core Weight: 1	Total Weight: 134
0.29/0.40	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #135
0.39/0.40	c Core size: 4	Core Weight: 1	Total Weight: 135
0.39/0.40	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #136
0.39/0.40	c Core size: 4	Core Weight: 1	Total Weight: 136
0.39/0.40	c Elapsed CPU time: 0.401938 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #137
0.39/0.40	c Core size: 4	Core Weight: 1	Total Weight: 137
0.39/0.40	c Elapsed CPU time: 0.404938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #138
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 138
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #139
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 139
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #140
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 140
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #141
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 141
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #142
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 142
0.39/0.42	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #143
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 143
0.39/0.42	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #144
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 144
0.39/0.43	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #145
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 145
0.39/0.43	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #146
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 146
0.39/0.43	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #147
0.39/0.44	c Core size: 4	Core Weight: 1	Total Weight: 147
0.39/0.44	c Elapsed CPU time: 0.436933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #148
0.39/0.44	c Core size: 4	Core Weight: 1	Total Weight: 148
0.39/0.44	c Elapsed CPU time: 0.439933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #149
0.39/0.44	c Core size: 4	Core Weight: 1	Total Weight: 149
0.39/0.44	c Elapsed CPU time: 0.442932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #150
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 150
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #151
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 151
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #152
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 152
0.39/0.45	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #153
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 153
0.39/0.46	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #154
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 154
0.39/0.46	c Elapsed CPU time: 0.45993 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #155
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 155
0.39/0.46	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #156
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 156
0.39/0.47	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #157
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 157
0.39/0.47	c Elapsed CPU time: 0.468928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #158
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 158
0.39/0.47	c Elapsed CPU time: 0.472928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #159
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 159
0.39/0.48	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #160
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 160
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #161
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 161
0.39/0.48	c Elapsed CPU time: 0.482926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #162
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 162
0.39/0.49	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #163
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 163
0.39/0.49	c Elapsed CPU time: 0.488925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #164
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 164
0.39/0.49	c Elapsed CPU time: 0.491925 s	Remaining CPU time: 1799.51 s
0.39/0.50	c core #165
0.39/0.50	c Core size: 4	Core Weight: 1	Total Weight: 165
0.39/0.50	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #166
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 166
0.49/0.50	c Elapsed CPU time: 0.498924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #167
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 167
0.49/0.50	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #168
0.49/0.51	c Core size: 4	Core Weight: 1	Total Weight: 168
0.49/0.51	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #169
0.49/0.51	c Core size: 4	Core Weight: 1	Total Weight: 169
0.49/0.51	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #170
0.49/0.51	c Core size: 4	Core Weight: 1	Total Weight: 170
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #171
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 171
0.49/0.52	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #172
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 172
0.49/0.52	c Elapsed CPU time: 0.517921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #173
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 173
0.49/0.52	c Elapsed CPU time: 0.52192 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #174
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 174
0.49/0.53	c Elapsed CPU time: 0.52492 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #175
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 175
0.49/0.53	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #176
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 176
0.49/0.53	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #177
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: 177
0.49/0.54	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #178
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: 178
0.49/0.54	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #179
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: 179
0.49/0.54	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #180
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: 180
0.49/0.55	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #181
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: 181
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #182
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: 182
0.49/0.55	c Elapsed CPU time: 0.552915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #183
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 183
0.49/0.56	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #184
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 184
0.49/0.56	c Elapsed CPU time: 0.560914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #185
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 185
0.49/0.56	c Elapsed CPU time: 0.563914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #186
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 186
0.49/0.57	c Elapsed CPU time: 0.567913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #187
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 187
0.49/0.57	c Elapsed CPU time: 0.570913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #188
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 188
0.49/0.58	c Elapsed CPU time: 0.573912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #189
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 189
0.49/0.58	c Elapsed CPU time: 0.577912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #190
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 190
0.49/0.58	c Elapsed CPU time: 0.581911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #191
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 191
0.49/0.59	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #192
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 192
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #193
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 193
0.49/0.59	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #194
0.59/0.60	c Core size: 4	Core Weight: 1	Total Weight: 194
0.59/0.60	c Elapsed CPU time: 0.596909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #195
0.59/0.60	c Core size: 4	Core Weight: 1	Total Weight: 195
0.59/0.60	c Elapsed CPU time: 0.600908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #196
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: 196
0.59/0.61	c Elapsed CPU time: 0.603908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #197
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: 197
0.59/0.61	c Elapsed CPU time: 0.607907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #198
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: 198
0.59/0.61	c Elapsed CPU time: 0.611906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #199
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 199
0.59/0.62	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #200
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 200
0.59/0.62	c Elapsed CPU time: 0.618905 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #201
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 201
0.59/0.62	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #202
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 202
0.59/0.63	c Elapsed CPU time: 0.626904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #203
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 203
0.59/0.63	c Elapsed CPU time: 0.629904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #204
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 204
0.59/0.64	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #205
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 205
0.59/0.64	c Elapsed CPU time: 0.637903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #206
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 206
0.59/0.64	c Elapsed CPU time: 0.641902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #207
0.59/0.65	c Core size: 4	Core Weight: 1	Total Weight: 207
0.59/0.65	c Elapsed CPU time: 0.645901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #208
0.59/0.65	c Core size: 4	Core Weight: 1	Total Weight: 208
0.59/0.65	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #209
0.59/0.65	c Core size: 4	Core Weight: 1	Total Weight: 209
0.59/0.65	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #210
0.59/0.66	c Core size: 4	Core Weight: 1	Total Weight: 210
0.59/0.66	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #211
0.59/0.66	c Core size: 4	Core Weight: 1	Total Weight: 211
0.59/0.66	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #212
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 212
0.59/0.67	c Elapsed CPU time: 0.664898 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #213
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 213
0.59/0.67	c Elapsed CPU time: 0.668898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #214
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 214
0.59/0.67	c Elapsed CPU time: 0.671897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #215
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 215
0.59/0.68	c Elapsed CPU time: 0.675897 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #216
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 216
0.59/0.68	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #217
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 217
0.59/0.69	c Elapsed CPU time: 0.683896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #218
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 218
0.59/0.69	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #219
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 219
0.59/0.69	c Elapsed CPU time: 0.691894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #220
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 220
0.69/0.70	c Elapsed CPU time: 0.694894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #221
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 221
0.69/0.70	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #222
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 222
0.69/0.70	c Elapsed CPU time: 0.702893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #223
0.69/0.71	c Core size: 4	Core Weight: 1	Total Weight: 223
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #224
0.69/0.71	c Core size: 4	Core Weight: 1	Total Weight: 224
0.69/0.71	c Elapsed CPU time: 0.709892 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #225
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 225
0.69/0.72	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #226
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 226
0.69/0.72	c Elapsed CPU time: 0.71789 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #227
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 227
0.69/0.72	c Elapsed CPU time: 0.72189 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #228
0.69/0.73	c Core size: 4	Core Weight: 1	Total Weight: 228
0.69/0.73	c Elapsed CPU time: 0.725889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #229
0.69/0.73	c Core size: 4	Core Weight: 1	Total Weight: 229
0.69/0.73	c Elapsed CPU time: 0.728889 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #230
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 230
0.69/0.74	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #231
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 231
0.69/0.74	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #232
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 232
0.69/0.74	c Elapsed CPU time: 0.740887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #233
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 233
0.69/0.75	c Elapsed CPU time: 0.744886 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #234
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 234
0.69/0.75	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #235
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 235
0.69/0.75	c Elapsed CPU time: 0.752885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #236
0.69/0.76	c Core size: 4	Core Weight: 1	Total Weight: 236
0.69/0.76	c Elapsed CPU time: 0.756884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #237
0.69/0.76	c Core size: 4	Core Weight: 1	Total Weight: 237
0.69/0.76	c Elapsed CPU time: 0.760884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #238
0.69/0.77	c Core size: 4	Core Weight: 1	Total Weight: 238
0.69/0.77	c Elapsed CPU time: 0.764883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #239
0.69/0.77	c Core size: 4	Core Weight: 1	Total Weight: 239
0.69/0.77	c Elapsed CPU time: 0.768883 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #240
0.69/0.78	c Core size: 4	Core Weight: 1	Total Weight: 240
0.69/0.78	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #241
0.69/0.78	c Core size: 4	Core Weight: 1	Total Weight: 241
0.69/0.78	c Elapsed CPU time: 0.776881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #242
0.69/0.78	c Core size: 4	Core Weight: 1	Total Weight: 242
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #243
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 243
0.69/0.79	c Elapsed CPU time: 0.78588 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #244
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 244
0.69/0.79	c Elapsed CPU time: 0.789879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #245
0.69/0.80	c Core size: 4	Core Weight: 1	Total Weight: 245
0.69/0.80	c Elapsed CPU time: 0.793879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #246
0.79/0.80	c Core size: 4	Core Weight: 1	Total Weight: 246
0.79/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #247
0.79/0.80	c Core size: 4	Core Weight: 1	Total Weight: 247
0.79/0.80	c Elapsed CPU time: 0.801878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #248
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 248
0.79/0.81	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #249
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 249
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #250
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 250
0.79/0.82	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #251
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 251
0.79/0.82	c Elapsed CPU time: 0.815875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #252
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 252
0.79/0.82	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #253
0.79/0.83	c Core size: 4	Core Weight: 1	Total Weight: 253
0.79/0.83	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #254
0.79/0.83	c Core size: 4	Core Weight: 1	Total Weight: 254
0.79/0.83	c Elapsed CPU time: 0.827874 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #255
0.79/0.84	c Core size: 4	Core Weight: 1	Total Weight: 255
0.79/0.84	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #256
0.79/0.84	c Core size: 4	Core Weight: 1	Total Weight: 256
0.79/0.84	c Elapsed CPU time: 0.836872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #257
0.79/0.84	c Core size: 4	Core Weight: 1	Total Weight: 257
0.79/0.84	c Elapsed CPU time: 0.839872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #258
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: 258
0.79/0.85	c Elapsed CPU time: 0.844871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #259
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: 259
0.79/0.85	c Elapsed CPU time: 0.84887 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #260
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 260
0.79/0.86	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #261
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 261
0.79/0.86	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #262
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 262
0.79/0.86	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #263
0.79/0.87	c Core size: 4	Core Weight: 1	Total Weight: 263
0.79/0.87	c Elapsed CPU time: 0.864868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #264
0.79/0.87	c Core size: 4	Core Weight: 1	Total Weight: 264
0.79/0.87	c Elapsed CPU time: 0.869867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #265
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 265
0.79/0.88	c Elapsed CPU time: 0.873867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #266
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 266
0.79/0.88	c Elapsed CPU time: 0.877866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #267
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 267
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #268
0.79/0.89	c Core size: 4	Core Weight: 1	Total Weight: 268
0.79/0.89	c Elapsed CPU time: 0.885865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #269
0.79/0.89	c Core size: 4	Core Weight: 1	Total Weight: 269
0.79/0.89	c Elapsed CPU time: 0.889864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #270
0.89/0.90	c Core size: 4	Core Weight: 1	Total Weight: 270
0.89/0.90	c Elapsed CPU time: 0.892864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #271
0.89/0.90	c Core size: 4	Core Weight: 1	Total Weight: 271
0.89/0.90	c Elapsed CPU time: 0.897863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #272
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 272
0.89/0.91	c Elapsed CPU time: 0.901862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #273
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 273
0.89/0.91	c Elapsed CPU time: 0.905862 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #274
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 274
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #275
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 275
0.89/0.92	c Elapsed CPU time: 0.91486 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #276
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 276
0.89/0.92	c Elapsed CPU time: 0.91886 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #277
0.89/0.93	c Core size: 4	Core Weight: 1	Total Weight: 277
0.89/0.93	c Elapsed CPU time: 0.922859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #278
0.89/0.93	c Core size: 4	Core Weight: 1	Total Weight: 278
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #279
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 279
0.89/0.94	c Elapsed CPU time: 0.931858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #280
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 280
0.89/0.94	c Elapsed CPU time: 0.935857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #281
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 281
0.89/0.94	c Elapsed CPU time: 0.939857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #282
0.89/0.95	c Core size: 4	Core Weight: 1	Total Weight: 282
0.89/0.95	c Elapsed CPU time: 0.944856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #283
0.89/0.95	c Core size: 4	Core Weight: 1	Total Weight: 283
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #284
0.89/0.96	c Core size: 4	Core Weight: 1	Total Weight: 284
0.89/0.96	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #285
0.89/0.96	c Core size: 4	Core Weight: 1	Total Weight: 285
0.89/0.96	c Elapsed CPU time: 0.957854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #286
0.89/0.97	c Core size: 7	Core Weight: 1	Total Weight: 286
0.89/0.97	c Elapsed CPU time: 0.961853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #287
0.89/0.97	c Core size: 7	Core Weight: 1	Total Weight: 287
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #288
0.89/0.97	c Core size: 7	Core Weight: 1	Total Weight: 288
0.89/0.97	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #289
0.89/0.98	c Core size: 10	Core Weight: 1	Total Weight: 289
0.89/0.98	c Elapsed CPU time: 0.974851 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #290
0.89/0.98	c Core size: 13	Core Weight: 1	Total Weight: 290
0.89/0.98	c Elapsed CPU time: 0.979851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #291
0.89/0.99	c Core size: 16	Core Weight: 1	Total Weight: 291
0.89/0.99	c Elapsed CPU time: 0.98385 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #292
0.89/0.99	c Core size: 7	Core Weight: 1	Total Weight: 292
0.89/0.99	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #293
0.89/1.00	c Core size: 7	Core Weight: 1	Total Weight: 293
0.89/1.00	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #294
0.89/1.00	c Core size: 10	Core Weight: 1	Total Weight: 294
0.89/1.00	c Elapsed CPU time: 0.996848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #295
0.99/1.01	c Core size: 10	Core Weight: 1	Total Weight: 295
0.99/1.01	c Elapsed CPU time: 1.00185 s	Remaining CPU time: 1799 s
0.99/1.01	c core #296
0.99/1.01	c Core size: 10	Core Weight: 1	Total Weight: 296
0.99/1.01	c Elapsed CPU time: 1.00685 s	Remaining CPU time: 1798.99 s
0.99/1.01	c core #297
0.99/1.01	c Core size: 10	Core Weight: 1	Total Weight: 297
0.99/1.01	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #298
0.99/1.02	c Core size: 7	Core Weight: 1	Total Weight: 298
0.99/1.02	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 1798.98 s
0.99/1.02	c core #299
0.99/1.02	c Core size: 13	Core Weight: 1	Total Weight: 299
0.99/1.02	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #300
0.99/1.03	c Core size: 7	Core Weight: 1	Total Weight: 300
0.99/1.03	c Elapsed CPU time: 1.02384 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #301
0.99/1.03	c Core size: 7	Core Weight: 1	Total Weight: 301
0.99/1.03	c Elapsed CPU time: 1.02884 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #302
0.99/1.04	c Core size: 7	Core Weight: 1	Total Weight: 302
0.99/1.04	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #303
0.99/1.04	c Core size: 13	Core Weight: 1	Total Weight: 303
0.99/1.04	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #304
0.99/1.05	c Core size: 25	Core Weight: 1	Total Weight: 304
0.99/1.05	c Elapsed CPU time: 1.04284 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #305
0.99/1.05	c Core size: 10	Core Weight: 1	Total Weight: 305
0.99/1.05	c Elapsed CPU time: 1.04684 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #306
0.99/1.06	c Core size: 7	Core Weight: 1	Total Weight: 306
0.99/1.06	c Elapsed CPU time: 1.05184 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #307
0.99/1.06	c Core size: 80	Core Weight: 1	Total Weight: 307
0.99/1.06	c Elapsed CPU time: 1.05684 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #308
0.99/1.07	c Core size: 10	Core Weight: 1	Total Weight: 308
0.99/1.07	c Elapsed CPU time: 1.06084 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #309
0.99/1.07	c Core size: 125	Core Weight: 1	Total Weight: 309
0.99/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
0.99/1.08	c core #310
0.99/1.08	c Core size: 13	Core Weight: 1	Total Weight: 310
0.99/1.08	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #311
0.99/1.08	c Core size: 21	Core Weight: 1	Total Weight: 311
0.99/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
0.99/1.09	c core #312
0.99/1.09	c Core size: 19	Core Weight: 1	Total Weight: 312
0.99/1.09	c Elapsed CPU time: 1.07883 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #313
0.99/1.09	c Core size: 30	Core Weight: 1	Total Weight: 313
0.99/1.09	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
0.99/1.10	c core #314
0.99/1.10	c Core size: 101	Core Weight: 1	Total Weight: 314
0.99/1.10	c Elapsed CPU time: 1.08883 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #315
0.99/1.10	c Core size: 80	Core Weight: 1	Total Weight: 315
0.99/1.10	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 s
1.09/1.11	c core #316
1.09/1.11	c Core size: 54	Core Weight: 1	Total Weight: 316
1.09/1.11	c Elapsed CPU time: 1.09883 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #317
1.09/1.11	c Core size: 94	Core Weight: 1	Total Weight: 317
1.09/1.11	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 1798.9 s
1.09/1.12	c ============================[ Search Statistics ]==============================
1.09/1.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.12	c ===============================================================================
1.09/1.12	c |         0 |    2315     4667    12221 |     5000        0    nan |  0.000 % |
1.09/1.12	c ===============================================================================
1.09/1.12	c core #318
1.09/1.12	c Core size: 67	Core Weight: 1	Total Weight: 318
1.09/1.12	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.09/1.12	c ============================[ Search Statistics ]==============================
1.09/1.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.12	c ===============================================================================
1.09/1.12	c |         0 |    2366     4668    12332 |     5000        0    nan |  0.000 % |
1.09/1.12	c ===============================================================================
1.09/1.12	c core #319
1.09/1.12	c Core size: 122	Core Weight: 1	Total Weight: 319
1.09/1.12	c Elapsed CPU time: 1.11583 s	Remaining CPU time: 1798.88 s
1.09/1.13	c Learning 1 hard constraints
1.09/1.13	c ============================[ Search Statistics ]==============================
1.09/1.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.13	c ===============================================================================
1.09/1.13	c |         0 |    2441     4670    12498 |     5000        0    nan |  0.000 % |
1.09/1.13	c ===============================================================================
1.09/1.13	c core #320
1.09/1.13	c Core size: 296	Core Weight: 1	Total Weight: 320
1.09/1.13	c Elapsed CPU time: 1.12383 s	Remaining CPU time: 1798.88 s
1.09/1.14	c ============================[ Search Statistics ]==============================
1.09/1.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.14	c ===============================================================================
1.09/1.14	c |         0 |    2590     4671    12804 |     5000        0    nan |  0.000 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c core #321
1.09/1.14	c Core size: 184	Core Weight: 1	Total Weight: 321
1.09/1.14	c Elapsed CPU time: 1.13183 s	Remaining CPU time: 1798.87 s
1.09/1.14	c ============================[ Search Statistics ]==============================
1.09/1.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.14	c ===============================================================================
1.09/1.14	c |         0 |    2692     4672    13016 |     5000        0    nan |  0.000 % |
1.09/1.15	c ===============================================================================
1.09/1.15	c core #322
1.09/1.15	c Core size: 487	Core Weight: 1	Total Weight: 322
1.09/1.15	c Elapsed CPU time: 1.14183 s	Remaining CPU time: 1798.86 s
1.09/1.16	c ============================[ Search Statistics ]==============================
1.09/1.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.16	c ===============================================================================
1.09/1.16	c |         0 |    2907     4673    13453 |     5000        0    nan |  0.000 % |
1.09/1.16	c |       108 |    2907     4673    13453 |     5500      108     22 |  0.547 % |
1.09/1.18	c |       258 |    2907     4673    13453 |     6050      258     19 |  0.547 % |
1.09/1.19	c ===============================================================================
1.09/1.19	c core #323
1.09/1.19	c Core size: 1066	Core Weight: 1	Total Weight: 323
1.09/1.19	c Elapsed CPU time: 1.18182 s	Remaining CPU time: 1798.82 s
1.09/1.20	c ============================[ Search Statistics ]==============================
1.09/1.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.20	c ===============================================================================
1.09/1.20	c |         0 |    3347     4674    14342 |     5000        0    nan |  0.000 % |
1.18/1.21	c |       103 |    3347     4674    14342 |     5500      103     26 |  0.209 % |
1.18/1.23	c |       254 |    3347     4674    14342 |     6050      254     20 |  0.209 % |
1.18/1.27	c |       479 |    3347     4674    14342 |     6655      479     20 |  0.209 % |
1.28/1.31	c |       817 |    3347     4674    14342 |     7320      817     18 |  0.209 % |
1.28/1.39	c |      1323 |    3345     4674    14342 |     8052      781     16 |  0.268 % |
1.49/1.50	c |      2082 |    3345     4674    14342 |     8857     1540     16 |  0.268 % |
1.59/1.63	c ===============================================================================
1.59/1.67	c core #324
1.59/1.67	c Core size: 3138	Core Weight: 1	Total Weight: 324
1.59/1.67	c Elapsed CPU time: 1.64675 s	Remaining CPU time: 1798.35 s
1.59/1.68	c Learning 15 hard constraints
1.59/1.68	c ============================[ Search Statistics ]==============================
1.59/1.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.68	c ===============================================================================
1.59/1.68	c |         0 |    4273     4690    16261 |     5000        0    nan |  0.000 % |
1.68/1.70	c |       102 |    4273     4690    16261 |     5500      102    136 |  0.070 % |
1.68/1.75	c |       252 |    4273     4690    16261 |     6050      252    131 |  0.070 % |
1.78/1.87	c |       478 |    4273     4690    16261 |     6655      478    139 |  0.070 % |
1.98/2.01	c |       816 |    4273     4690    16261 |     7320      816    120 |  0.070 % |
2.19/2.23	c |      1323 |    4273     4690    16261 |     8052     1323    104 |  0.070 % |
2.28/2.39	c |      2082 |    4273     4690    16261 |     8857     2082     81 |  0.070 % |
2.58/2.64	c |      3222 |    4273     4690    16261 |     9743     3222     63 |  0.070 % |
2.88/2.91	c |      4930 |    4273     4690    16261 |    10717     4930     55 |  0.070 % |
3.38/3.42	c |      7492 |    4273     4690    16261 |    11789     7492     49 |  0.070 % |
4.29/4.36	c |     11336 |    4273     4690    16261 |    12968    11336     45 |  0.070 % |
5.68/5.70	c |     17102 |    4273     4690    16261 |    14265    10570     38 |  0.070 % |
8.28/8.38	c |     25752 |    4273     4690    16261 |    15692    12042     37 |  0.070 % |
12.18/12.22	c |     38727 |    4273     4690    16261 |    17261     9217     42 |  0.070 % |
18.38/18.42	c |     58188 |    4273     4690    16261 |    18987    11277     36 |  0.070 % |
28.88/28.99	c |     87381 |    4273     4690    16261 |    20886    11903     31 |  0.070 % |
40.77/40.81	c ===============================================================================
41.97/42.00	c core #325
41.97/42.00	c Core size: 4205	Core Weight: 1	Total Weight: 325
41.97/42.00	c Elapsed CPU time: 41.6617 s	Remaining CPU time: 1758.34 s
42.07/42.11	c Learning 51 hard constraints
42.07/42.11	c ============================[ Search Statistics ]==============================
42.07/42.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.07/42.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.07/42.11	c ===============================================================================
42.07/42.11	c |         0 |    5369     4742    18715 |     5000        0    nan |  0.000 % |
42.07/42.16	c |       102 |    5369     4742    18715 |     5500      102    148 |  0.056 % |
42.07/42.19	c |       252 |    5369     4742    18715 |     6050      252     88 |  0.056 % |
42.17/42.22	c |       477 |    5369     4742    18715 |     6655      477     64 |  0.056 % |
42.17/42.26	c |       814 |    5369     4742    18715 |     7320      814     54 |  0.056 % |
42.27/42.32	c |      1320 |    5369     4742    18715 |     8052     1320     49 |  0.056 % |
42.37/42.43	c |      2080 |    5369     4742    18715 |     8857     2080     44 |  0.056 % |
42.47/42.59	c |      3221 |    5369     4742    18715 |     9743     3221     41 |  0.056 % |
42.77/42.89	c |      4929 |    5369     4742    18715 |    10717     4929     40 |  0.056 % |
43.37/43.46	c |      7491 |    5369     4742    18715 |    11789     7491     40 |  0.056 % |
44.47/44.57	c |     11336 |    5369     4742    18715 |    12968    11336     39 |  0.056 % |
45.86/45.94	c |     17103 |    5369     4742    18715 |    14265    10542     39 |  0.056 % |
48.27/48.37	c |     25753 |    5369     4742    18715 |    15692    11985     43 |  0.056 % |
52.67/52.75	c |     38729 |    5369     4742    18715 |    17261     9173     41 |  0.056 % |
59.96/60.09	c |     58191 |    5369     4742    18715 |    18987    11270     42 |  0.056 % |
71.06/71.17	c |     87383 |    5369     4742    18715 |    20886    11772     44 |  0.056 % |
91.06/91.18	c |    131172 |    5369     4742    18715 |    22974    13499     41 |  0.056 % |
121.14/121.24	c |    196856 |    5369     4742    18715 |    25272    21415     44 |  0.056 % |
169.43/169.55	c |    295383 |    5369     4742    18715 |    27799    17341     43 |  0.056 % |
257.11/257.22	c |    443173 |    5369     4742    18715 |    30579    16124     43 |  0.056 % |
377.57/377.75	c |    664856 |    5369     4742    18715 |    33637    25319     42 |  0.056 % |
587.61/587.87	c |    997381 |    5369     4742    18715 |    37001    29164     42 |  0.056 % |
930.92/931.21	c |   1496173 |    5369     4742    18715 |    40701    14785     38 |  0.056 % |
1446.78/1447.20	c |   2244356 |    5369     4742    18715 |    44771    31626     41 |  0.056 % |

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2708
/proc/meminfo: memFree=1956608/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=2640 CPUtime=0
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 193 0 0 0 0 0 0 0 20 0 1 0 1601093 2703360 177 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 660 177 118 292 0 339 0

[startup+0.0658631 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2708
/proc/meminfo: memFree=1956608/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=3216 CPUtime=0.06
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 397 0 0 0 6 0 0 0 20 0 1 0 1601093 3293184 355 1992294400 134512640 135709839 4294956240 18446744073709551615 135165873 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 804 355 133 292 0 509 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3216

[startup+0.101867 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2708
/proc/meminfo: memFree=1956608/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=3216 CPUtime=0.09
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 406 0 0 0 9 0 0 0 20 0 1 0 1601093 3293184 364 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 804 364 133 292 0 509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3216

[startup+0.301885 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2708
/proc/meminfo: memFree=1956608/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=3348 CPUtime=0.29
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 461 0 0 0 29 0 0 0 22 0 1 0 1601093 3428352 409 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 837 409 133 292 0 542 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3348

[startup+0.701924 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2708
/proc/meminfo: memFree=1956608/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=3832 CPUtime=0.69
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 634 0 0 0 69 0 0 0 25 0 1 0 1601093 3923968 536 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 958 536 133 292 0 663 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3832

[startup+1.503 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 2709
/proc/meminfo: memFree=1954488/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=5348 CPUtime=1.49
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 1088 0 0 0 148 1 0 0 25 0 1 0 1601093 5476352 911 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 0 0 0
/proc/2708/statm: 1337 911 136 292 0 1042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5348

[startup+3.10115 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 2709
/proc/meminfo: memFree=1952184/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=8644 CPUtime=3.08
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 1897 0 0 0 305 3 0 0 25 0 1 0 1601093 8851456 1720 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 2161 1720 136 292 0 1866 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8644

[startup+6.30144 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 2709
/proc/meminfo: memFree=1943672/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=16828 CPUtime=6.28
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 3929 0 0 0 622 6 0 0 25 0 1 0 1601093 17231872 3752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 4207 3753 136 292 0 3912 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16828

[startup+12.7011 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 2709
/proc/meminfo: memFree=1930504/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=29768 CPUtime=12.68
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 7151 0 0 0 1256 12 0 0 25 0 1 0 1601093 30482432 6974 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 7442 6974 136 292 0 7147 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29768

[startup+25.5012 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 2709
/proc/meminfo: memFree=1910344/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=48564 CPUtime=25.47
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 11872 0 0 0 2525 22 0 0 25 0 1 0 1601093 49729536 11695 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 12141 11695 136 292 0 11846 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48564

[startup+51.1016 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 2709
/proc/meminfo: memFree=1890824/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=67676 CPUtime=51.07
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 16684 0 0 0 5069 38 0 0 25 0 1 0 1601093 69300224 16481 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 16919 16481 136 292 0 16624 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67676

[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 2709
/proc/meminfo: memFree=1828424/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=130144 CPUtime=102.25
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 32310 0 0 0 10153 72 0 0 25 0 1 0 1601093 133267456 32107 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 32536 32107 136 292 0 32241 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 130144

[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 2709
/proc/meminfo: memFree=1750472/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=209112 CPUtime=162.24
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 52034 0 0 0 16114 110 0 0 25 0 1 0 1601093 214130688 51831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 52278 51831 136 292 0 51983 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 209112

[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 2709
/proc/meminfo: memFree=1682632/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=275952 CPUtime=222.22
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 68713 0 0 0 22080 142 0 0 25 0 1 0 1601093 282574848 68510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 68988 68510 136 292 0 68693 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 275952

[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 2709
/proc/meminfo: memFree=1614728/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=343972 CPUtime=282.2
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 85742 0 0 0 28046 174 0 0 25 0 1 0 1601093 352227328 85539 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 85993 85539 136 292 0 85698 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 343972

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/66 2709
/proc/meminfo: memFree=1545928/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=412116 CPUtime=342.19
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 102782 0 0 0 34009 210 0 0 25 0 1 0 1601093 422006784 102579 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 103029 102579 136 292 0 102734 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 412116

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/66 2715
/proc/meminfo: memFree=1482816/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=475820 CPUtime=402.16
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 118679 0 0 0 39974 242 0 0 25 0 1 0 1601093 487239680 118476 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 118955 118476 136 292 0 118660 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 475820

[startup+462.301 s]
/proc/loadavg: 0.99 0.77 0.37 2/66 2715
/proc/meminfo: memFree=1422080/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=535512 CPUtime=462.15
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 133610 0 0 0 45942 273 0 0 25 0 1 0 1601093 548364288 133407 1992294400 134512640 135709839 4294956240 18446744073709551615 134568589 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 133878 133407 136 292 0 133583 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 535512

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/66 2715
/proc/meminfo: memFree=1363712/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=594280 CPUtime=522.13
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 148318 0 0 0 51910 303 0 0 25 0 1 0 1601093 608542720 148115 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 148570 148115 136 292 0 148275 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 594280

[startup+582.302 s]
/proc/loadavg: 0.99 0.84 0.44 2/66 2715
/proc/meminfo: memFree=1302528/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=655160 CPUtime=582.11
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 163517 0 0 0 57880 331 0 0 25 0 1 0 1601093 670883840 163314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 163790 163314 136 292 0 163495 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 655160

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.47 2/66 2715
/proc/meminfo: memFree=1244288/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=712740 CPUtime=642.1
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 177901 0 0 0 63849 361 0 0 25 0 1 0 1601093 729845760 177698 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 178185 177698 136 292 0 177890 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 712740

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/66 2715
/proc/meminfo: memFree=1035912/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=920784 CPUtime=882.04
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 229896 0 0 0 87731 473 0 0 25 0 1 0 1601093 942882816 229693 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 230196 229693 136 292 0 229901 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 920784

[startup+942.303 s]
/proc/loadavg: 0.99 0.94 0.61 2/66 2715
/proc/meminfo: memFree=980040/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=977020 CPUtime=942.02
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 243974 0 0 0 93698 504 0 0 25 0 1 0 1601093 1000468480 243771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 244255 243771 136 292 0 243960 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 977020

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/66 2715
/proc/meminfo: memFree=926152/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1030216 CPUtime=1002
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 257286 0 0 0 99668 532 0 0 25 0 1 0 1601093 1054941184 257083 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 257554 257083 136 292 0 257259 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1030216

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/66 2715
/proc/meminfo: memFree=869448/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1087652 CPUtime=1061.99
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 271633 0 0 0 105636 563 0 0 25 0 1 0 1601093 1113755648 271430 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 271913 271430 136 292 0 271618 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1087652

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/66 2715
/proc/meminfo: memFree=814280/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1142168 CPUtime=1121.97
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 285249 0 0 0 111606 591 0 0 25 0 1 0 1601093 1169580032 285046 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 285542 285046 136 292 0 285247 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1142168

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/66 2715
/proc/meminfo: memFree=761480/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1195432 CPUtime=1181.95
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 298552 0 0 0 117573 622 0 0 25 0 1 0 1601093 1224122368 298349 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 298858 298349 136 292 0 298563 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1195432

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/66 2715
/proc/meminfo: memFree=709512/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1246704 CPUtime=1241.94
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 311383 0 0 0 123545 649 0 0 25 0 1 0 1601093 1276624896 311180 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 311676 311180 136 292 0 311381 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1246704

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/66 2715
/proc/meminfo: memFree=657736/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1297964 CPUtime=1301.92
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 324194 0 0 0 129517 675 0 0 25 0 1 0 1601093 1329115136 323991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 324491 323991 136 292 0 324196 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1297964

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/66 2715
/proc/meminfo: memFree=604552/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1351952 CPUtime=1361.9
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 337687 0 0 0 135489 701 0 0 25 0 1 0 1601093 1384398848 337484 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 337988 337484 136 292 0 337693 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1351952

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.75 2/66 2715
/proc/meminfo: memFree=549896/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1405700 CPUtime=1421.89
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 351118 0 0 0 141460 729 0 0 25 0 1 0 1601093 1439436800 350915 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 351425 350915 136 292 0 351130 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1405700

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/66 2715
/proc/meminfo: memFree=498504/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1457260 CPUtime=1481.87
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 363992 0 0 0 147435 752 0 0 25 0 1 0 1601093 1492234240 363789 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 364315 363789 136 292 0 364020 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1457260

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 2715
/proc/meminfo: memFree=451400/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1504008 CPUtime=1541.85
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 375690 0 0 0 153409 776 0 0 25 0 1 0 1601093 1540104192 375487 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 376002 375487 136 292 0 375707 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1504008

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 2715
/proc/meminfo: memFree=405896/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1549704 CPUtime=1601.84
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 387108 0 0 0 159382 802 0 0 25 0 1 0 1601093 1586896896 386905 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 387426 386905 136 292 0 387131 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1549704

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/66 2715
/proc/meminfo: memFree=354696/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1600576 CPUtime=1661.82
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 399828 0 0 0 165357 825 0 0 25 0 1 0 1601093 1638989824 399625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 400144 399625 136 292 0 399849 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1600576

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/66 2715
/proc/meminfo: memFree=309192/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1646268 CPUtime=1721.8
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 411245 0 0 0 171333 847 0 0 25 0 1 0 1601093 1685778432 411042 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 411567 411042 136 292 0 411272 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1646268

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 2715
/proc/meminfo: memFree=260040/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1695036 CPUtime=1781.79
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 423439 0 0 0 177305 874 0 0 25 0 1 0 1601093 1735716864 423236 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 423759 423236 136 292 0 423464 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1695036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 2715
/proc/meminfo: memFree=246664/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=1708032 CPUtime=1800.09
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4194304 426689 0 0 0 179128 881 0 0 25 0 1 0 1601093 1749024768 426486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 427008 426486 136 292 0 426713 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1708032

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 2715
/proc/meminfo: memFree=246664/2055920 swapFree=4192956/4192956
[pid=2708] ppid=2706 vsize=0 CPUtime=1800.28
/proc/2708/stat : 2708 (wbo) R 2706 2708 2663 0 -1 4195332 426689 0 0 0 179128 900 0 0 25 0 1 0 1601093 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2708/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.85
CPU time (s): 1800.34
CPU user time (s): 1791.28
CPU system time (s): 9.05362
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1708032

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

runsolver used 1.49177 second user time and 3.53946 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-16 14:54:48
IDJOB=1875530
IDBENCH=2155
IDSOLVER=698
FILE ID=node8/1875530-1245156888
PBS_JOBID= 9363820
Free space on /tmp= 66288 MiB

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

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

MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849
RANDOM SEED=2126998145

node8.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.236
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.236
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1957152 kB
Buffers:         17056 kB
Cached:          39112 kB
SwapCached:          0 kB
Active:          48692 kB
Inactive:        21612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1957152 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2592 kB
Writeback:           0 kB
Mapped:          24260 kB
Slab:            14176 kB
Committed_AS:    52036 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875530-1245156888.opb

Free space on /tmp at the end= 66288 MiB
End job on node8 at 2009-06-16 15:24:51