Trace number 1875718

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1315.23 1320.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark32.2871
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
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 constraint1
Maximum length of a constraint18
Number of terms in the objective function 1278
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 1278
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 1278
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.01	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Parsing opb file format. File HOME/instance-1875718-1245148619.opb.
0.00/0.01	c Instance file HOME/instance-1875718-1245148619.opb
0.00/0.01	c File size is 74860 bytes.
0.00/0.02	c Highest Coefficient sum: 19
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.01         s                                      |
0.00/0.02	c |  Number Variables:      1278                                                |
0.00/0.02	c |  Number Clauses:        2365                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c core #1
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.03	c core #3
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 3
0.00/0.03	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.03	c core #4
0.00/0.03	c Core size: 6	Core Weight: 1	Total Weight: 4
0.00/0.03	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.04	c core #5
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 5
0.00/0.04	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.04	c core #6
0.00/0.04	c Core size: 12	Core Weight: 1	Total Weight: 6
0.00/0.04	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.04	c core #7
0.00/0.04	c Core size: 6	Core Weight: 1	Total Weight: 7
0.00/0.04	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.05	c core #8
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.05	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.05	c core #9
0.00/0.05	c Core size: 8	Core Weight: 1	Total Weight: 9
0.00/0.05	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.05	c core #10
0.00/0.05	c Core size: 2	Core Weight: 1	Total Weight: 10
0.00/0.05	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.05	c core #11
0.00/0.05	c Core size: 2	Core Weight: 1	Total Weight: 11
0.00/0.05	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.06	c core #12
0.00/0.06	c Core size: 2	Core Weight: 1	Total Weight: 12
0.00/0.06	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.06	c core #13
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.06	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.06	c core #14
0.00/0.06	c Core size: 10	Core Weight: 1	Total Weight: 14
0.00/0.06	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.06	c core #15
0.00/0.06	c Core size: 7	Core Weight: 1	Total Weight: 15
0.00/0.06	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.06	c core #16
0.00/0.06	c Core size: 6	Core Weight: 1	Total Weight: 16
0.00/0.06	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.07	c core #17
0.00/0.07	c Core size: 5	Core Weight: 1	Total Weight: 17
0.00/0.07	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.07	c core #18
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 18
0.00/0.07	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.07	c core #19
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.07	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.07	c core #20
0.00/0.07	c Core size: 6	Core Weight: 1	Total Weight: 20
0.00/0.07	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.07	c core #21
0.00/0.07	c Core size: 7	Core Weight: 1	Total Weight: 21
0.00/0.07	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.08	c core #22
0.00/0.08	c Core size: 5	Core Weight: 1	Total Weight: 22
0.00/0.08	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.08	c core #23
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 23
0.00/0.08	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.00/0.08	c core #24
0.00/0.08	c Core size: 5	Core Weight: 1	Total Weight: 24
0.00/0.08	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.00/0.08	c core #25
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 25
0.00/0.08	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.08	c core #26
0.00/0.08	c Core size: 5	Core Weight: 1	Total Weight: 26
0.00/0.08	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.09	c core #27
0.00/0.09	c Core size: 6	Core Weight: 1	Total Weight: 27
0.00/0.09	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.00/0.09	c core #28
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 28
0.00/0.09	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.06/0.09	c core #29
0.06/0.09	c Core size: 5	Core Weight: 1	Total Weight: 29
0.06/0.09	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.06/0.09	c core #30
0.06/0.09	c Core size: 11	Core Weight: 1	Total Weight: 30
0.06/0.09	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.06/0.10	c core #31
0.06/0.10	c Core size: 6	Core Weight: 1	Total Weight: 31
0.06/0.10	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.07/0.10	c core #32
0.07/0.10	c Core size: 3	Core Weight: 1	Total Weight: 32
0.07/0.10	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.07/0.10	c core #33
0.07/0.10	c Core size: 4	Core Weight: 1	Total Weight: 33
0.07/0.10	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.07/0.10	c core #34
0.07/0.10	c Core size: 6	Core Weight: 1	Total Weight: 34
0.07/0.10	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.07/0.10	c core #35
0.07/0.10	c Core size: 4	Core Weight: 1	Total Weight: 35
0.07/0.10	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.07/0.11	c core #36
0.07/0.11	c Core size: 3	Core Weight: 1	Total Weight: 36
0.07/0.11	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.07/0.11	c core #37
0.07/0.11	c Core size: 3	Core Weight: 1	Total Weight: 37
0.07/0.11	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.07/0.11	c core #38
0.07/0.11	c Core size: 6	Core Weight: 1	Total Weight: 38
0.07/0.11	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 1799.91 s
0.07/0.11	c core #39
0.07/0.11	c Core size: 3	Core Weight: 1	Total Weight: 39
0.07/0.11	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.07/0.12	c core #40
0.07/0.12	c Core size: 7	Core Weight: 1	Total Weight: 40
0.07/0.12	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.07/0.12	c core #41
0.07/0.12	c Core size: 4	Core Weight: 1	Total Weight: 41
0.07/0.12	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.07/0.12	c core #42
0.07/0.12	c Core size: 8	Core Weight: 1	Total Weight: 42
0.07/0.12	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 1799.9 s
0.07/0.12	c core #43
0.07/0.12	c Core size: 4	Core Weight: 1	Total Weight: 43
0.07/0.12	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.07/0.12	c core #44
0.07/0.12	c Core size: 5	Core Weight: 1	Total Weight: 44
0.07/0.12	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.07/0.13	c core #45
0.07/0.13	c Core size: 4	Core Weight: 1	Total Weight: 45
0.07/0.13	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.07/0.13	c core #46
0.07/0.13	c Core size: 8	Core Weight: 1	Total Weight: 46
0.07/0.13	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.07/0.13	c core #47
0.07/0.13	c Core size: 8	Core Weight: 1	Total Weight: 47
0.07/0.13	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.07/0.13	c core #48
0.07/0.13	c Core size: 6	Core Weight: 1	Total Weight: 48
0.07/0.13	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.07/0.14	c core #49
0.07/0.14	c Core size: 10	Core Weight: 1	Total Weight: 49
0.07/0.14	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 1799.89 s
0.07/0.14	c core #50
0.07/0.14	c Core size: 7	Core Weight: 1	Total Weight: 50
0.07/0.14	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.07/0.14	c core #51
0.07/0.14	c Core size: 7	Core Weight: 1	Total Weight: 51
0.07/0.14	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.07/0.14	c core #52
0.07/0.14	c Core size: 5	Core Weight: 1	Total Weight: 52
0.07/0.14	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.07/0.15	c core #53
0.07/0.15	c Core size: 8	Core Weight: 1	Total Weight: 53
0.07/0.15	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.07/0.15	c core #54
0.07/0.15	c Core size: 6	Core Weight: 1	Total Weight: 54
0.07/0.15	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.07/0.15	c core #55
0.07/0.15	c Core size: 2	Core Weight: 1	Total Weight: 55
0.07/0.15	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.07/0.15	c core #56
0.07/0.15	c Core size: 5	Core Weight: 1	Total Weight: 56
0.07/0.15	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.07/0.15	c core #57
0.07/0.15	c Core size: 5	Core Weight: 1	Total Weight: 57
0.07/0.15	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.07/0.16	c core #58
0.07/0.16	c Core size: 9	Core Weight: 1	Total Weight: 58
0.07/0.16	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 1799.87 s
0.07/0.16	c core #59
0.07/0.16	c Core size: 8	Core Weight: 1	Total Weight: 59
0.07/0.16	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.07/0.16	c core #60
0.07/0.16	c Core size: 10	Core Weight: 1	Total Weight: 60
0.07/0.16	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 1799.86 s
0.07/0.16	c core #61
0.07/0.16	c Core size: 9	Core Weight: 1	Total Weight: 61
0.07/0.16	c Elapsed CPU time: 0.139978 s	Remaining CPU time: 1799.86 s
0.07/0.17	c core #62
0.07/0.17	c Core size: 5	Core Weight: 1	Total Weight: 62
0.07/0.17	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.07/0.17	c core #63
0.07/0.17	c Core size: 12	Core Weight: 1	Total Weight: 63
0.07/0.17	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 1799.86 s
0.07/0.17	c core #64
0.07/0.17	c Core size: 9	Core Weight: 1	Total Weight: 64
0.07/0.17	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.07/0.17	c core #65
0.07/0.17	c Core size: 4	Core Weight: 1	Total Weight: 65
0.07/0.17	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 1799.85 s
0.07/0.18	c core #66
0.07/0.18	c Core size: 3	Core Weight: 1	Total Weight: 66
0.07/0.18	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 1799.85 s
0.07/0.18	c core #67
0.07/0.18	c Core size: 2	Core Weight: 1	Total Weight: 67
0.07/0.18	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.07/0.18	c core #68
0.07/0.18	c Core size: 6	Core Weight: 1	Total Weight: 68
0.07/0.18	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.07/0.18	c core #69
0.07/0.18	c Core size: 3	Core Weight: 1	Total Weight: 69
0.07/0.18	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.07/0.19	c core #70
0.07/0.19	c Core size: 9	Core Weight: 1	Total Weight: 70
0.07/0.19	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.07/0.19	c core #71
0.07/0.19	c Core size: 7	Core Weight: 1	Total Weight: 71
0.07/0.19	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.07/0.19	c core #72
0.07/0.19	c Core size: 7	Core Weight: 1	Total Weight: 72
0.07/0.19	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.07/0.19	c core #73
0.07/0.19	c Core size: 4	Core Weight: 1	Total Weight: 73
0.07/0.19	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.07/0.20	c core #74
0.07/0.20	c Core size: 4	Core Weight: 1	Total Weight: 74
0.07/0.20	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 1799.83 s
0.17/0.20	c core #75
0.17/0.20	c Core size: 4	Core Weight: 1	Total Weight: 75
0.17/0.20	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.17/0.20	c core #76
0.17/0.20	c Core size: 2	Core Weight: 1	Total Weight: 76
0.17/0.20	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 1799.83 s
0.17/0.20	c core #77
0.17/0.20	c Core size: 6	Core Weight: 1	Total Weight: 77
0.17/0.20	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.17/0.21	c core #78
0.17/0.21	c Core size: 2	Core Weight: 1	Total Weight: 78
0.17/0.21	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.17/0.21	c core #79
0.17/0.21	c Core size: 7	Core Weight: 1	Total Weight: 79
0.17/0.21	c Elapsed CPU time: 0.181972 s	Remaining CPU time: 1799.82 s
0.17/0.21	c core #80
0.17/0.21	c Core size: 3	Core Weight: 1	Total Weight: 80
0.17/0.21	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
0.17/0.21	c core #81
0.17/0.21	c Core size: 3	Core Weight: 1	Total Weight: 81
0.17/0.21	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.17/0.22	c core #82
0.17/0.22	c Core size: 3	Core Weight: 1	Total Weight: 82
0.17/0.22	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 1799.81 s
0.17/0.22	c core #83
0.17/0.22	c Core size: 3	Core Weight: 1	Total Weight: 83
0.17/0.22	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.17/0.22	c core #84
0.17/0.22	c Core size: 5	Core Weight: 1	Total Weight: 84
0.17/0.22	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.17/0.22	c core #85
0.17/0.22	c Core size: 4	Core Weight: 1	Total Weight: 85
0.17/0.22	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 1799.8 s
0.17/0.23	c core #86
0.17/0.23	c Core size: 4	Core Weight: 1	Total Weight: 86
0.17/0.23	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.17/0.23	c core #87
0.17/0.23	c Core size: 4	Core Weight: 1	Total Weight: 87
0.17/0.23	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.17/0.23	c core #88
0.17/0.23	c Core size: 9	Core Weight: 1	Total Weight: 88
0.17/0.23	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 1799.8 s
0.17/0.23	c core #89
0.17/0.23	c Core size: 8	Core Weight: 1	Total Weight: 89
0.17/0.23	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.17/0.24	c core #90
0.17/0.24	c Core size: 3	Core Weight: 1	Total Weight: 90
0.17/0.24	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.17/0.24	c core #91
0.17/0.24	c Core size: 5	Core Weight: 1	Total Weight: 91
0.17/0.24	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 1799.79 s
0.17/0.24	c core #92
0.17/0.24	c Core size: 7	Core Weight: 1	Total Weight: 92
0.17/0.24	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 1799.79 s
0.17/0.24	c core #93
0.17/0.24	c Core size: 7	Core Weight: 1	Total Weight: 93
0.17/0.24	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.17/0.25	c core #94
0.17/0.25	c Core size: 4	Core Weight: 1	Total Weight: 94
0.17/0.25	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 1799.78 s
0.17/0.25	c core #95
0.17/0.25	c Core size: 3	Core Weight: 1	Total Weight: 95
0.17/0.25	c Elapsed CPU time: 0.222966 s	Remaining CPU time: 1799.78 s
0.17/0.25	c core #96
0.17/0.25	c Core size: 3	Core Weight: 1	Total Weight: 96
0.17/0.25	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.17/0.25	c core #97
0.17/0.25	c Core size: 3	Core Weight: 1	Total Weight: 97
0.17/0.25	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.17/0.26	c core #98
0.17/0.26	c Core size: 4	Core Weight: 1	Total Weight: 98
0.17/0.26	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 1799.77 s
0.17/0.26	c core #99
0.17/0.26	c Core size: 4	Core Weight: 1	Total Weight: 99
0.17/0.26	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.17/0.26	c core #100
0.17/0.26	c Core size: 4	Core Weight: 1	Total Weight: 100
0.17/0.26	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.17/0.26	c core #101
0.17/0.26	c Core size: 3	Core Weight: 1	Total Weight: 101
0.17/0.26	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 1799.76 s
0.17/0.27	c core #102
0.17/0.27	c Core size: 5	Core Weight: 1	Total Weight: 102
0.17/0.27	c Elapsed CPU time: 0.240963 s	Remaining CPU time: 1799.76 s
0.17/0.27	c core #103
0.17/0.27	c Core size: 4	Core Weight: 1	Total Weight: 103
0.17/0.27	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.17/0.27	c core #104
0.17/0.27	c Core size: 4	Core Weight: 1	Total Weight: 104
0.17/0.27	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 1799.75 s
0.17/0.28	c core #105
0.17/0.28	c Core size: 3	Core Weight: 1	Total Weight: 105
0.17/0.28	c Elapsed CPU time: 0.248962 s	Remaining CPU time: 1799.75 s
0.17/0.28	c core #106
0.17/0.28	c Core size: 8	Core Weight: 1	Total Weight: 106
0.17/0.28	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 1799.75 s
0.17/0.28	c core #107
0.17/0.28	c Core size: 4	Core Weight: 1	Total Weight: 107
0.17/0.28	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 1799.75 s
0.17/0.28	c core #108
0.17/0.28	c Core size: 6	Core Weight: 1	Total Weight: 108
0.17/0.28	c Elapsed CPU time: 0.254961 s	Remaining CPU time: 1799.75 s
0.17/0.29	c core #109
0.17/0.29	c Core size: 5	Core Weight: 1	Total Weight: 109
0.17/0.29	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.17/0.29	c core #110
0.17/0.29	c Core size: 3	Core Weight: 1	Total Weight: 110
0.17/0.29	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 1799.74 s
0.17/0.29	c core #111
0.17/0.29	c Core size: 13	Core Weight: 1	Total Weight: 111
0.17/0.29	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 1799.74 s
0.17/0.29	c core #112
0.17/0.29	c Core size: 10	Core Weight: 1	Total Weight: 112
0.17/0.29	c Elapsed CPU time: 0.265959 s	Remaining CPU time: 1799.73 s
0.17/0.30	c core #113
0.17/0.30	c Core size: 7	Core Weight: 1	Total Weight: 113
0.17/0.30	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.26/0.30	c core #114
0.26/0.30	c Core size: 3	Core Weight: 1	Total Weight: 114
0.26/0.30	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 1799.73 s
0.26/0.30	c core #115
0.26/0.30	c Core size: 7	Core Weight: 1	Total Weight: 115
0.26/0.30	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.26/0.31	c core #116
0.26/0.31	c Core size: 7	Core Weight: 1	Total Weight: 116
0.26/0.31	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.26/0.31	c core #117
0.26/0.31	c Core size: 3	Core Weight: 1	Total Weight: 117
0.26/0.31	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 1799.72 s
0.26/0.31	c core #118
0.26/0.31	c Core size: 3	Core Weight: 1	Total Weight: 118
0.26/0.31	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.26/0.31	c core #119
0.26/0.31	c Core size: 10	Core Weight: 1	Total Weight: 119
0.26/0.31	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 s
0.26/0.32	c core #120
0.26/0.32	c Core size: 4	Core Weight: 1	Total Weight: 120
0.26/0.32	c Elapsed CPU time: 0.287956 s	Remaining CPU time: 1799.71 s
0.26/0.32	c core #121
0.26/0.32	c Core size: 3	Core Weight: 1	Total Weight: 121
0.26/0.32	c Elapsed CPU time: 0.290955 s	Remaining CPU time: 1799.71 s
0.26/0.32	c core #122
0.26/0.32	c Core size: 3	Core Weight: 1	Total Weight: 122
0.26/0.32	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.26/0.32	c core #123
0.26/0.32	c Core size: 5	Core Weight: 1	Total Weight: 123
0.26/0.32	c Elapsed CPU time: 0.294955 s	Remaining CPU time: 1799.71 s
0.26/0.33	c core #124
0.26/0.33	c Core size: 10	Core Weight: 1	Total Weight: 124
0.26/0.33	c Elapsed CPU time: 0.297954 s	Remaining CPU time: 1799.7 s
0.26/0.33	c core #125
0.26/0.33	c Core size: 3	Core Weight: 1	Total Weight: 125
0.26/0.33	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.26/0.33	c core #126
0.26/0.33	c Core size: 3	Core Weight: 1	Total Weight: 126
0.26/0.33	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 1799.7 s
0.26/0.34	c core #127
0.26/0.34	c Core size: 7	Core Weight: 1	Total Weight: 127
0.26/0.34	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 1799.69 s
0.26/0.34	c core #128
0.26/0.34	c Core size: 10	Core Weight: 1	Total Weight: 128
0.26/0.34	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 1799.69 s
0.26/0.34	c core #129
0.26/0.34	c Core size: 6	Core Weight: 1	Total Weight: 129
0.26/0.34	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.26/0.34	c core #130
0.26/0.34	c Core size: 5	Core Weight: 1	Total Weight: 130
0.26/0.34	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 1799.69 s
0.26/0.35	c core #131
0.26/0.35	c Core size: 4	Core Weight: 1	Total Weight: 131
0.26/0.35	c Elapsed CPU time: 0.316951 s	Remaining CPU time: 1799.68 s
0.26/0.35	c core #132
0.26/0.35	c Core size: 4	Core Weight: 1	Total Weight: 132
0.26/0.35	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.26/0.35	c core #133
0.26/0.35	c Core size: 6	Core Weight: 1	Total Weight: 133
0.26/0.35	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 1799.68 s
0.26/0.35	c core #134
0.26/0.35	c Core size: 3	Core Weight: 1	Total Weight: 134
0.26/0.36	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 1799.67 s
0.26/0.36	c core #135
0.26/0.36	c Core size: 3	Core Weight: 1	Total Weight: 135
0.26/0.36	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 1799.67 s
0.26/0.36	c core #136
0.26/0.36	c Core size: 7	Core Weight: 1	Total Weight: 136
0.26/0.36	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 1799.67 s
0.26/0.36	c core #137
0.26/0.36	c Core size: 11	Core Weight: 1	Total Weight: 137
0.26/0.36	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 1799.67 s
0.26/0.37	c core #138
0.26/0.37	c Core size: 7	Core Weight: 1	Total Weight: 138
0.26/0.37	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 1799.66 s
0.26/0.37	c core #139
0.26/0.37	c Core size: 13	Core Weight: 1	Total Weight: 139
0.26/0.37	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.26/0.37	c core #140
0.26/0.37	c Core size: 4	Core Weight: 1	Total Weight: 140
0.26/0.37	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.26/0.38	c core #141
0.26/0.38	c Core size: 4	Core Weight: 1	Total Weight: 141
0.26/0.38	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 1799.65 s
0.26/0.38	c core #142
0.26/0.38	c Core size: 4	Core Weight: 1	Total Weight: 142
0.26/0.38	c Elapsed CPU time: 0.348946 s	Remaining CPU time: 1799.65 s
0.26/0.38	c core #143
0.26/0.38	c Core size: 4	Core Weight: 1	Total Weight: 143
0.26/0.38	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 1799.65 s
0.26/0.38	c core #144
0.26/0.38	c Core size: 4	Core Weight: 1	Total Weight: 144
0.26/0.38	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.26/0.39	c core #145
0.26/0.39	c Core size: 4	Core Weight: 1	Total Weight: 145
0.26/0.39	c Elapsed CPU time: 0.357945 s	Remaining CPU time: 1799.64 s
0.26/0.39	c core #146
0.26/0.39	c Core size: 4	Core Weight: 1	Total Weight: 146
0.26/0.39	c Elapsed CPU time: 0.360945 s	Remaining CPU time: 1799.64 s
0.26/0.39	c core #147
0.26/0.39	c Core size: 3	Core Weight: 1	Total Weight: 147
0.26/0.39	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.26/0.40	c core #148
0.26/0.40	c Core size: 3	Core Weight: 1	Total Weight: 148
0.26/0.40	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 1799.64 s
0.36/0.40	c core #149
0.36/0.40	c Core size: 4	Core Weight: 1	Total Weight: 149
0.36/0.40	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.36/0.40	c core #150
0.36/0.40	c Core size: 5	Core Weight: 1	Total Weight: 150
0.36/0.40	c Elapsed CPU time: 0.368943 s	Remaining CPU time: 1799.63 s
0.36/0.40	c core #151
0.36/0.40	c Core size: 4	Core Weight: 1	Total Weight: 151
0.36/0.40	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 1799.63 s
0.36/0.41	c core #152
0.36/0.41	c Core size: 7	Core Weight: 1	Total Weight: 152
0.36/0.41	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.36/0.41	c core #153
0.36/0.41	c Core size: 7	Core Weight: 1	Total Weight: 153
0.36/0.41	c Elapsed CPU time: 0.376942 s	Remaining CPU time: 1799.62 s
0.36/0.41	c core #154
0.36/0.41	c Core size: 3	Core Weight: 1	Total Weight: 154
0.36/0.41	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 1799.62 s
0.36/0.42	c core #155
0.36/0.42	c Core size: 3	Core Weight: 1	Total Weight: 155
0.36/0.42	c Elapsed CPU time: 0.381941 s	Remaining CPU time: 1799.62 s
0.36/0.42	c core #156
0.36/0.42	c Core size: 4	Core Weight: 1	Total Weight: 156
0.36/0.42	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 1799.62 s
0.36/0.42	c core #157
0.36/0.42	c Core size: 3	Core Weight: 1	Total Weight: 157
0.36/0.42	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.36/0.43	c core #158
0.36/0.43	c Core size: 3	Core Weight: 1	Total Weight: 158
0.36/0.43	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.36/0.43	c core #159
0.36/0.43	c Core size: 9	Core Weight: 1	Total Weight: 159
0.36/0.43	c Elapsed CPU time: 0.39194 s	Remaining CPU time: 1799.61 s
0.36/0.43	c core #160
0.36/0.43	c Core size: 2	Core Weight: 1	Total Weight: 160
0.36/0.43	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 1799.61 s
0.36/0.43	c core #161
0.36/0.43	c Core size: 6	Core Weight: 1	Total Weight: 161
0.36/0.43	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 1799.6 s
0.36/0.44	c core #162
0.36/0.44	c Core size: 9	Core Weight: 1	Total Weight: 162
0.36/0.44	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.36/0.44	c core #163
0.36/0.44	c Core size: 8	Core Weight: 1	Total Weight: 163
0.36/0.44	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 1799.6 s
0.36/0.44	c core #164
0.36/0.44	c Core size: 2	Core Weight: 1	Total Weight: 164
0.36/0.44	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.36/0.45	c core #165
0.36/0.45	c Core size: 4	Core Weight: 1	Total Weight: 165
0.36/0.45	c Elapsed CPU time: 0.408937 s	Remaining CPU time: 1799.59 s
0.36/0.45	c core #166
0.36/0.45	c Core size: 4	Core Weight: 1	Total Weight: 166
0.36/0.45	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 1799.59 s
0.36/0.45	c core #167
0.36/0.45	c Core size: 8	Core Weight: 1	Total Weight: 167
0.36/0.45	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.36/0.46	c core #168
0.36/0.46	c Core size: 3	Core Weight: 1	Total Weight: 168
0.36/0.46	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.36/0.46	c core #169
0.36/0.46	c Core size: 2	Core Weight: 1	Total Weight: 169
0.36/0.46	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 1799.58 s
0.36/0.46	c core #170
0.36/0.46	c Core size: 3	Core Weight: 1	Total Weight: 170
0.36/0.46	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 1799.58 s
0.36/0.47	c core #171
0.36/0.47	c Core size: 7	Core Weight: 1	Total Weight: 171
0.36/0.47	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.36/0.47	c core #172
0.36/0.47	c Core size: 8	Core Weight: 1	Total Weight: 172
0.36/0.47	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 1799.57 s
0.36/0.47	c core #173
0.36/0.47	c Core size: 9	Core Weight: 1	Total Weight: 173
0.36/0.47	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 1799.57 s
0.36/0.47	c core #174
0.36/0.47	c Core size: 5	Core Weight: 1	Total Weight: 174
0.36/0.47	c Elapsed CPU time: 0.435933 s	Remaining CPU time: 1799.56 s
0.36/0.48	c core #175
0.36/0.48	c Core size: 3	Core Weight: 1	Total Weight: 175
0.36/0.48	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.36/0.48	c core #176
0.36/0.48	c Core size: 5	Core Weight: 1	Total Weight: 176
0.36/0.48	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.36/0.48	c core #177
0.36/0.48	c Core size: 2	Core Weight: 1	Total Weight: 177
0.36/0.48	c Elapsed CPU time: 0.444932 s	Remaining CPU time: 1799.56 s
0.36/0.49	c core #178
0.36/0.49	c Core size: 6	Core Weight: 1	Total Weight: 178
0.36/0.49	c Elapsed CPU time: 0.447931 s	Remaining CPU time: 1799.55 s
0.36/0.49	c core #179
0.36/0.49	c Core size: 11	Core Weight: 1	Total Weight: 179
0.36/0.49	c Elapsed CPU time: 0.450931 s	Remaining CPU time: 1799.55 s
0.36/0.49	c core #180
0.36/0.49	c Core size: 5	Core Weight: 1	Total Weight: 180
0.36/0.49	c Elapsed CPU time: 0.45393 s	Remaining CPU time: 1799.55 s
0.36/0.50	c core #181
0.36/0.50	c Core size: 9	Core Weight: 1	Total Weight: 181
0.36/0.50	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 1799.54 s
0.45/0.50	c core #182
0.45/0.50	c Core size: 11	Core Weight: 1	Total Weight: 182
0.45/0.50	c Elapsed CPU time: 0.45993 s	Remaining CPU time: 1799.54 s
0.45/0.50	c core #183
0.45/0.50	c Core size: 5	Core Weight: 1	Total Weight: 183
0.45/0.50	c Elapsed CPU time: 0.463929 s	Remaining CPU time: 1799.54 s
0.45/0.51	c core #184
0.45/0.51	c Core size: 4	Core Weight: 1	Total Weight: 184
0.45/0.51	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 1799.53 s
0.45/0.51	c core #185
0.45/0.51	c Core size: 6	Core Weight: 1	Total Weight: 185
0.45/0.51	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 1799.53 s
0.45/0.51	c core #186
0.45/0.51	c Core size: 4	Core Weight: 1	Total Weight: 186
0.45/0.51	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 1799.53 s
0.45/0.52	c core #187
0.45/0.52	c Core size: 6	Core Weight: 1	Total Weight: 187
0.45/0.52	c Elapsed CPU time: 0.474927 s	Remaining CPU time: 1799.53 s
0.45/0.52	c core #188
0.45/0.52	c Core size: 3	Core Weight: 1	Total Weight: 188
0.45/0.52	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 s
0.45/0.52	c core #189
0.45/0.52	c Core size: 3	Core Weight: 1	Total Weight: 189
0.45/0.52	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.45/0.53	c core #190
0.45/0.53	c Core size: 8	Core Weight: 1	Total Weight: 190
0.45/0.53	c Elapsed CPU time: 0.484926 s	Remaining CPU time: 1799.52 s
0.45/0.53	c core #191
0.45/0.53	c Core size: 9	Core Weight: 1	Total Weight: 191
0.45/0.53	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 1799.51 s
0.45/0.53	c core #192
0.45/0.53	c Core size: 6	Core Weight: 1	Total Weight: 192
0.45/0.53	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.45/0.53	c core #193
0.45/0.53	c Core size: 6	Core Weight: 1	Total Weight: 193
0.45/0.53	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.45/0.54	c core #194
0.45/0.54	c Core size: 4	Core Weight: 1	Total Weight: 194
0.45/0.54	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 1799.5 s
0.45/0.54	c core #195
0.45/0.54	c Core size: 4	Core Weight: 1	Total Weight: 195
0.45/0.54	c Elapsed CPU time: 0.500923 s	Remaining CPU time: 1799.5 s
0.45/0.54	c core #196
0.45/0.54	c Core size: 7	Core Weight: 1	Total Weight: 196
0.45/0.54	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.45/0.55	c core #197
0.45/0.55	c Core size: 5	Core Weight: 1	Total Weight: 197
0.45/0.55	c Elapsed CPU time: 0.506922 s	Remaining CPU time: 1799.49 s
0.45/0.55	c core #198
0.45/0.55	c Core size: 6	Core Weight: 1	Total Weight: 198
0.45/0.55	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 1799.49 s
0.45/0.55	c core #199
0.45/0.55	c Core size: 3	Core Weight: 1	Total Weight: 199
0.45/0.55	c Elapsed CPU time: 0.512922 s	Remaining CPU time: 1799.49 s
0.45/0.56	c core #200
0.45/0.56	c Core size: 9	Core Weight: 1	Total Weight: 200
0.45/0.56	c Elapsed CPU time: 0.515921 s	Remaining CPU time: 1799.48 s
0.45/0.56	c core #201
0.45/0.56	c Core size: 5	Core Weight: 1	Total Weight: 201
0.45/0.56	c Elapsed CPU time: 0.51992 s	Remaining CPU time: 1799.48 s
0.45/0.56	c core #202
0.45/0.56	c Core size: 5	Core Weight: 1	Total Weight: 202
0.45/0.56	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 1799.48 s
0.45/0.57	c core #203
0.45/0.57	c Core size: 6	Core Weight: 1	Total Weight: 203
0.45/0.57	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 1799.47 s
0.45/0.57	c core #204
0.45/0.57	c Core size: 4	Core Weight: 1	Total Weight: 204
0.45/0.57	c Elapsed CPU time: 0.528919 s	Remaining CPU time: 1799.47 s
0.45/0.57	c core #205
0.45/0.57	c Core size: 4	Core Weight: 1	Total Weight: 205
0.45/0.57	c Elapsed CPU time: 0.532918 s	Remaining CPU time: 1799.47 s
0.45/0.58	c core #206
0.45/0.58	c Core size: 2	Core Weight: 1	Total Weight: 206
0.45/0.58	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.45/0.58	c core #207
0.45/0.58	c Core size: 3	Core Weight: 1	Total Weight: 207
0.45/0.58	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 1799.46 s
0.45/0.58	c core #208
0.45/0.58	c Core size: 4	Core Weight: 1	Total Weight: 208
0.45/0.58	c Elapsed CPU time: 0.542917 s	Remaining CPU time: 1799.46 s
0.45/0.59	c core #209
0.45/0.59	c Core size: 7	Core Weight: 1	Total Weight: 209
0.45/0.59	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 1799.45 s
0.45/0.59	c core #210
0.45/0.59	c Core size: 4	Core Weight: 1	Total Weight: 210
0.45/0.59	c Elapsed CPU time: 0.548916 s	Remaining CPU time: 1799.45 s
0.45/0.59	c core #211
0.45/0.59	c Core size: 5	Core Weight: 1	Total Weight: 211
0.45/0.59	c Elapsed CPU time: 0.552915 s	Remaining CPU time: 1799.45 s
0.55/0.60	c core #212
0.55/0.60	c Core size: 17	Core Weight: 1	Total Weight: 212
0.55/0.60	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.55/0.60	c core #213
0.55/0.60	c Core size: 24	Core Weight: 1	Total Weight: 213
0.55/0.60	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 1799.44 s
0.55/0.60	c core #214
0.55/0.60	c Core size: 15	Core Weight: 1	Total Weight: 214
0.55/0.60	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.55/0.61	c core #215
0.55/0.61	c Core size: 9	Core Weight: 1	Total Weight: 215
0.55/0.61	c Elapsed CPU time: 0.565913 s	Remaining CPU time: 1799.43 s
0.55/0.61	c core #216
0.55/0.61	c Core size: 36	Core Weight: 1	Total Weight: 216
0.55/0.61	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 1799.43 s
0.55/0.62	c core #217
0.55/0.62	c Core size: 27	Core Weight: 1	Total Weight: 217
0.55/0.62	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.55/0.62	c core #218
0.55/0.62	c Core size: 11	Core Weight: 1	Total Weight: 218
0.55/0.62	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.55/0.62	c core #219
0.55/0.62	c Core size: 17	Core Weight: 1	Total Weight: 219
0.55/0.62	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.55/0.63	c core #220
0.55/0.63	c Core size: 12	Core Weight: 1	Total Weight: 220
0.55/0.63	c Elapsed CPU time: 0.583911 s	Remaining CPU time: 1799.42 s
0.55/0.63	c core #221
0.55/0.63	c Core size: 8	Core Weight: 1	Total Weight: 221
0.55/0.63	c Elapsed CPU time: 0.58791 s	Remaining CPU time: 1799.41 s
0.55/0.63	c core #222
0.55/0.63	c Core size: 23	Core Weight: 1	Total Weight: 222
0.55/0.63	c Elapsed CPU time: 0.59191 s	Remaining CPU time: 1799.41 s
0.55/0.64	c core #223
0.55/0.64	c Core size: 10	Core Weight: 1	Total Weight: 223
0.55/0.64	c Elapsed CPU time: 0.595909 s	Remaining CPU time: 1799.4 s
0.55/0.64	c core #224
0.55/0.64	c Core size: 15	Core Weight: 1	Total Weight: 224
0.55/0.64	c Elapsed CPU time: 0.598908 s	Remaining CPU time: 1799.4 s
0.55/0.65	c core #225
0.55/0.65	c Core size: 19	Core Weight: 1	Total Weight: 225
0.55/0.65	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 1799.4 s
0.55/0.65	c core #226
0.55/0.65	c Core size: 9	Core Weight: 1	Total Weight: 226
0.55/0.65	c Elapsed CPU time: 0.606907 s	Remaining CPU time: 1799.39 s
0.55/0.65	c core #227
0.55/0.65	c Core size: 14	Core Weight: 1	Total Weight: 227
0.55/0.65	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 1799.39 s
0.55/0.66	c core #228
0.55/0.66	c Core size: 11	Core Weight: 1	Total Weight: 228
0.55/0.66	c Elapsed CPU time: 0.613906 s	Remaining CPU time: 1799.39 s
0.55/0.66	c core #229
0.55/0.66	c Core size: 20	Core Weight: 1	Total Weight: 229
0.55/0.66	c Elapsed CPU time: 0.616906 s	Remaining CPU time: 1799.38 s
0.55/0.66	c core #230
0.55/0.66	c Core size: 5	Core Weight: 1	Total Weight: 230
0.55/0.66	c Elapsed CPU time: 0.620905 s	Remaining CPU time: 1799.38 s
0.55/0.67	c core #231
0.55/0.67	c Core size: 29	Core Weight: 1	Total Weight: 231
0.55/0.67	c Elapsed CPU time: 0.624905 s	Remaining CPU time: 1799.38 s
0.55/0.67	c core #232
0.55/0.67	c Core size: 68	Core Weight: 1	Total Weight: 232
0.55/0.67	c Elapsed CPU time: 0.628904 s	Remaining CPU time: 1799.37 s
0.55/0.68	c ============================[ Search Statistics ]==============================
0.55/0.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.55/0.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.55/0.68	c ===============================================================================
0.55/0.68	c |         0 |    2128     2597    10280 |     5000        0    nan |  0.000 % |
0.55/0.68	c ===============================================================================
0.55/0.68	c core #233
0.55/0.68	c Core size: 22	Core Weight: 1	Total Weight: 233
0.55/0.68	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 1799.37 s
0.55/0.68	c ============================[ Search Statistics ]==============================
0.55/0.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.55/0.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.55/0.68	c ===============================================================================
0.55/0.68	c |         0 |    2150     2598    10317 |     5000        0    nan |  0.000 % |
0.55/0.68	c ===============================================================================
0.55/0.68	c core #234
0.55/0.68	c Core size: 41	Core Weight: 1	Total Weight: 234
0.55/0.68	c Elapsed CPU time: 0.639902 s	Remaining CPU time: 1799.36 s
0.55/0.69	c ============================[ Search Statistics ]==============================
0.55/0.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.55/0.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.55/0.69	c ===============================================================================
0.55/0.69	c |         0 |    2240     2599    10441 |     5000        0    nan |  0.000 % |
0.55/0.69	c ===============================================================================
0.55/0.69	c core #235
0.55/0.69	c Core size: 50	Core Weight: 1	Total Weight: 235
0.55/0.69	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 1799.36 s
0.55/0.69	c ============================[ Search Statistics ]==============================
0.55/0.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.55/0.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.55/0.69	c ===============================================================================
0.55/0.69	c |         0 |    2282     2600    10517 |     5000        0    nan |  0.000 % |
0.55/0.69	c ===============================================================================
0.55/0.69	c core #236
0.55/0.69	c Core size: 51	Core Weight: 1	Total Weight: 236
0.55/0.69	c Elapsed CPU time: 0.650901 s	Remaining CPU time: 1799.35 s
0.65/0.70	c ============================[ Search Statistics ]==============================
0.65/0.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.65/0.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.65/0.70	c ===============================================================================
0.65/0.70	c |         0 |    2317     2601    10583 |     5000        0    nan |  0.000 % |
0.65/0.70	c |       101 |    2314     2601    10583 |     5500      101     15 | 10.316 % |
0.65/0.71	c ===============================================================================
0.65/0.71	c core #237
0.65/0.71	c Core size: 233	Core Weight: 1	Total Weight: 237
0.65/0.71	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 1799.34 s
0.65/0.71	c ============================[ Search Statistics ]==============================
0.65/0.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.65/0.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.65/0.71	c ===============================================================================
0.65/0.71	c |         0 |    2502     2602    10920 |     5000        0    nan |  0.000 % |
0.65/0.72	c |       101 |    2499     2602    10920 |     5500      101     10 |  8.300 % |
0.65/0.73	c |       256 |    2497     2602    10920 |     6050      254     11 |  8.300 % |
0.65/0.74	c ===============================================================================
0.65/0.74	c core #238
0.65/0.74	c Core size: 18	Core Weight: 1	Total Weight: 238
0.65/0.74	c Elapsed CPU time: 0.689895 s	Remaining CPU time: 1799.31 s
0.65/0.74	c ============================[ Search Statistics ]==============================
0.65/0.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.65/0.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.65/0.74	c ===============================================================================
0.65/0.74	c |         0 |    2524     2603    10960 |     5000        0    nan |  0.000 % |
0.65/0.75	c |       103 |    2523     2603    10960 |     5500      103     13 |  7.858 % |
0.65/0.75	c |       256 |    2523     2603    10960 |     6050      256     15 |  7.858 % |
0.65/0.76	c ===============================================================================
0.65/0.77	c core #239
0.65/0.77	c Core size: 193	Core Weight: 1	Total Weight: 239
0.65/0.77	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.65/0.77	c ============================[ Search Statistics ]==============================
0.65/0.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.65/0.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.65/0.77	c ===============================================================================
0.65/0.77	c |         0 |    2669     2604    11232 |     5000        0    nan |  0.000 % |
0.65/0.78	c |       100 |    2669     2604    11232 |     5500      100     10 |  6.776 % |
0.65/0.79	c |       253 |    2669     2604    11232 |     6050      253     10 |  6.776 % |
0.75/0.80	c ===============================================================================
0.75/0.80	c core #240
0.75/0.80	c Core size: 215	Core Weight: 1	Total Weight: 240
0.75/0.80	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.75/0.81	c ============================[ Search Statistics ]==============================
0.75/0.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.75/0.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.75/0.81	c ===============================================================================
0.75/0.81	c |         0 |    2821     2605    11522 |     5000        0    nan |  0.000 % |
0.75/0.81	c |       101 |    2821     2605    11522 |     5500      101     19 |  5.998 % |
0.75/0.82	c |       251 |    2821     2605    11522 |     6050      251     19 |  5.998 % |
0.75/0.84	c |       476 |    2821     2605    11522 |     6655      476     24 |  5.998 % |
0.75/0.86	c |       815 |    2821     2605    11522 |     7320      815     28 |  5.998 % |
0.85/0.91	c |      1325 |    2821     2605    11522 |     8052     1325     31 |  5.998 % |
0.85/0.99	c |      2087 |    2820     2605    11522 |     8857     2086     34 |  6.031 % |
1.04/1.18	c |      3228 |    2820     2605    11522 |     9743     3227     47 |  6.031 % |
1.34/1.44	c ===============================================================================
1.34/1.44	c core #241
1.34/1.44	c Core size: 49	Core Weight: 1	Total Weight: 241
1.34/1.44	c Elapsed CPU time: 1.36179 s	Remaining CPU time: 1798.64 s
1.34/1.45	c ============================[ Search Statistics ]==============================
1.34/1.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.34/1.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.34/1.45	c ===============================================================================
1.34/1.45	c |         0 |    2859     2606    11594 |     5000        0    nan |  0.000 % |
1.34/1.46	c |       102 |    2857     2606    11594 |     5500      102     16 |  5.865 % |
1.34/1.47	c |       252 |    2857     2606    11594 |     6050      251     15 |  5.865 % |
1.34/1.47	c ===============================================================================
1.34/1.47	c core #242
1.34/1.47	c Core size: 80	Core Weight: 1	Total Weight: 242
1.34/1.47	c Elapsed CPU time: 1.38979 s	Remaining CPU time: 1798.61 s
1.34/1.48	c ============================[ Search Statistics ]==============================
1.34/1.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.34/1.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.34/1.48	c ===============================================================================
1.34/1.48	c |         0 |    2922     2607    11712 |     5000        0    nan |  0.000 % |
1.34/1.49	c ===============================================================================
1.34/1.49	c core #243
1.34/1.49	c Core size: 45	Core Weight: 1	Total Weight: 243
1.34/1.49	c Elapsed CPU time: 1.40079 s	Remaining CPU time: 1798.6 s
1.34/1.49	c ============================[ Search Statistics ]==============================
1.34/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.34/1.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.34/1.49	c ===============================================================================
1.34/1.49	c |         0 |    2968     2608    11785 |     5000        0    nan |  0.000 % |
1.43/1.50	c |       102 |    2968     2608    11785 |     5500      102     30 |  4.902 % |
1.43/1.51	c |       252 |    2968     2608    11785 |     6050      252     24 |  4.902 % |
1.43/1.52	c |       478 |    2968     2608    11785 |     6655      478     35 |  4.902 % |
1.43/1.56	c |       815 |    2968     2608    11785 |     7320      815     41 |  4.902 % |
1.53/1.61	c |      1321 |    2968     2608    11785 |     8052     1321     44 |  4.902 % |
1.53/1.69	c |      2085 |    2968     2608    11785 |     8857     2085     47 |  4.902 % |
1.74/1.85	c |      3230 |    2968     2608    11785 |     9743     3230     47 |  4.902 % |
2.03/2.13	c |      4940 |    2968     2608    11785 |    10717     4940     56 |  4.902 % |
2.43/2.51	c |      7505 |    2968     2608    11785 |    11789     7505     59 |  4.902 % |
2.53/2.68	c ===============================================================================
2.63/2.74	c core #244
2.63/2.74	c Core size: 434	Core Weight: 1	Total Weight: 244
2.63/2.74	c Elapsed CPU time: 2.6056 s	Remaining CPU time: 1797.39 s
2.63/2.75	c ============================[ Search Statistics ]==============================
2.63/2.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.63/2.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.63/2.75	c ===============================================================================
2.63/2.75	c |         0 |    3252     2609    12349 |     5000        0    nan |  0.000 % |
2.63/2.76	c |       100 |    3252     2609    12349 |     5500      100     17 |  4.381 % |
2.63/2.77	c |       252 |    3250     2609    12349 |     6050      251     29 |  4.440 % |
2.63/2.78	c ===============================================================================
2.63/2.78	c core #245
2.63/2.78	c Core size: 119	Core Weight: 1	Total Weight: 245
2.63/2.78	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.63/2.79	c ============================[ Search Statistics ]==============================
2.63/2.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.63/2.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.63/2.79	c ===============================================================================
2.63/2.79	c |         0 |    3351     2610    12535 |     5000        0    nan |  0.000 % |
2.63/2.79	c |       101 |    3351     2610    12535 |     5500      101     22 |  3.928 % |
2.74/2.82	c |       251 |    3351     2610    12535 |     6050      251     33 |  3.928 % |
2.74/2.84	c |       477 |    3351     2610    12535 |     6655      477     53 |  3.928 % |
2.74/2.87	c |       814 |    3351     2610    12535 |     7320      814     52 |  3.928 % |
2.83/2.94	c |      1324 |    3351     2610    12535 |     8052     1324     60 |  3.928 % |
2.93/3.03	c |      2083 |    3351     2610    12535 |     8857     2083     69 |  3.928 % |
3.03/3.16	c |      3224 |    3351     2610    12535 |     9743     3224     81 |  3.928 % |
3.33/3.41	c |      4934 |    3351     2610    12535 |    10717     4934     89 |  3.928 % |
3.82/3.94	c |      7496 |    3351     2610    12535 |    11789     7496    102 |  3.928 % |
4.82/4.96	c |     11343 |    3351     2610    12535 |    12968    11343    121 |  3.928 % |
6.60/6.79	c |     17110 |    3351     2610    12535 |    14265    10458    170 |  3.928 % |
9.19/9.33	c |     25760 |    3351     2610    12535 |    15692    11683    153 |  3.928 % |
14.07/14.27	c |     38735 |    3351     2610    12535 |    17261     8713    142 |  3.928 % |
22.39/22.64	c |     58196 |    3346     2610    12535 |    18987    10429    210 |  4.071 % |
28.46/28.70	c ===============================================================================
28.86/29.15	c core #246
28.86/29.15	c Core size: 539	Core Weight: 1	Total Weight: 246
28.86/29.15	c Elapsed CPU time: 28.4287 s	Remaining CPU time: 1771.57 s
28.96/29.24	c ============================[ Search Statistics ]==============================
28.96/29.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.96/29.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.96/29.24	c ===============================================================================
28.96/29.24	c |         0 |    3710     2611    13240 |     5000        0    nan |  0.000 % |
28.96/29.27	c |       101 |    3704     2611    13240 |     5500      101     35 |  3.391 % |
28.96/29.28	c |       252 |    3704     2611    13240 |     6050      248     27 |  3.391 % |
28.96/29.28	c |       477 |    3704     2611    13240 |     6655      473     26 |  3.391 % |
29.05/29.30	c |       814 |    3704     2611    13240 |     7320      810     26 |  3.391 % |
29.05/29.34	c |      1323 |    3704     2611    13240 |     8052     1319     27 |  3.391 % |
29.15/29.41	c |      2085 |    3704     2611    13240 |     8857     2081     29 |  3.391 % |
29.25/29.50	c |      3226 |    3700     2611    13240 |     9743     3221     27 |  3.547 % |
29.55/29.81	c |      4934 |    3698     2611    13240 |    10717     4929     47 |  3.547 % |
29.85/30.17	c |      7497 |    3698     2611    13240 |    11789     7490     48 |  3.547 % |
30.55/30.89	c |     11341 |    3687     2611    13240 |    12968    11333     62 |  3.860 % |
32.15/32.45	c |     17109 |    3686     2611    13240 |    14265    10382    112 |  3.860 % |
34.35/34.69	c |     25761 |    3686     2611    13240 |    15692    11639    134 |  3.860 % |
39.54/39.88	c |     38738 |    3684     2611    13240 |    17261     8360    281 |  3.912 % |
46.64/46.94	c |     58199 |    3684     2611    13240 |    18987    10133    152 |  3.912 % |
59.94/60.23	c |     87391 |    3678     2611    13240 |    20886    10132    178 |  4.069 % |
85.91/86.25	c |    131181 |    3675     2611    13240 |    22974    11185    208 |  4.147 % |
118.47/118.94	c |    196866 |    3671     2611    13240 |    25272    17827    144 |  4.538 % |
184.98/185.66	c |    295398 |    3657     2611    13240 |    27799    24839    127 |  4.617 % |
298.23/298.94	c |    443188 |    3657     2611    13240 |    30579    18501    255 |  4.617 % |
453.75/454.85	c |    664871 |    3652     2611    13240 |    33637    24389    181 |  4.747 % |
794.69/797.44	c |    997407 |    3651     2611    13240 |    37001    24638    286 |  4.773 % |
1312.09/1317.47	c |   1496195 |    3649     2611    13240 |    40701    34786    212 |  4.825 % |

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-1875718-1245148619/watcher-1875718-1245148619 -o /tmp/evaluation-result-1875718-1245148619/solver-1875718-1245148619 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875718-1245148619.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.73 1.90 1.88 3/73 2026
/proc/meminfo: memFree=1109144/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=2748 CPUtime=0
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 236 0 0 0 0 0 0 0 19 0 1 0 182460519 2813952 220 1992294400 134512640 135709839 4294956240 18446744073709551615 135341785 0 0 4096 3 0 0 0 17 0 0 0
/proc/2026/statm: 687 220 126 292 0 373 0

[startup+0.095632 s]
/proc/loadavg: 1.73 1.90 1.88 3/73 2026
/proc/meminfo: memFree=1109144/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=3072 CPUtime=0.06
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 379 0 0 0 6 0 0 0 22 0 1 0 182460519 3145728 344 1992294400 134512640 135709839 4294956240 18446744073709551615 134530359 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 768 344 133 292 0 473 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3072

[startup+0.10163 s]
/proc/loadavg: 1.73 1.90 1.88 3/73 2026
/proc/meminfo: memFree=1109144/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=3140 CPUtime=0.07
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 388 0 0 0 7 0 0 0 22 0 1 0 182460519 3215360 353 1992294400 134512640 135709839 4294956240 18446744073709551615 135173046 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 785 353 133 292 0 490 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3140

[startup+0.301651 s]
/proc/loadavg: 1.73 1.90 1.88 3/73 2026
/proc/meminfo: memFree=1109144/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=3440 CPUtime=0.26
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 490 0 0 0 26 0 0 0 24 0 1 0 182460519 3522560 419 1992294400 134512640 135709839 4294956240 18446744073709551615 135183222 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 860 419 133 292 0 565 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 3440

[startup+0.701693 s]
/proc/loadavg: 1.73 1.90 1.88 3/73 2026
/proc/meminfo: memFree=1109144/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=4500 CPUtime=0.65
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 829 0 0 0 65 0 0 0 25 0 1 0 182460519 4608000 690 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 1125 690 135 292 0 830 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 4500

[startup+1.50178 s]
/proc/loadavg: 1.73 1.90 1.88 2/74 2027
/proc/meminfo: memFree=1106448/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=7072 CPUtime=1.43
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 1459 0 0 0 140 3 0 0 25 0 1 0 182460519 7241728 1320 1992294400 134512640 135709839 4294956240 18446744073709551615 134600542 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 1768 1320 136 292 0 1473 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 7072

[startup+3.10195 s]
/proc/loadavg: 1.73 1.90 1.88 3/74 2027
/proc/meminfo: memFree=1104208/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=9260 CPUtime=3.03
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 2024 0 0 0 294 9 0 0 25 0 1 0 182460519 9482240 1885 1992294400 134512640 135709839 4294956240 18446744073709551615 134972103 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 2315 1885 136 292 0 2020 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 9260

[startup+6.30126 s]
/proc/loadavg: 1.83 1.92 1.89 2/74 2027
/proc/meminfo: memFree=1096400/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=17708 CPUtime=6.2
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 4139 0 0 0 603 17 0 0 25 0 1 0 182460519 18132992 4000 1992294400 134512640 135709839 4294956240 18446744073709551615 134574120 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 4427 4000 136 292 0 4132 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 17708

[startup+12.7019 s]
/proc/loadavg: 1.93 1.94 1.89 2/74 2027
/proc/meminfo: memFree=1077144/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=35672 CPUtime=12.57
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 8637 0 0 0 1229 28 0 0 25 0 1 0 182460519 36528128 8498 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 8918 8498 136 292 0 8623 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 35672

[startup+25.5012 s]
/proc/loadavg: 1.80 1.91 1.88 4/74 2027
/proc/meminfo: memFree=1044376/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=67232 CPUtime=25.28
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 16515 0 0 0 2483 45 0 0 25 0 1 0 182460519 68845568 16376 1992294400 134512640 135709839 4294956240 18446744073709551615 134579117 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 16808 16376 136 292 0 16513 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 67232

[startup+51.1016 s]
/proc/loadavg: 1.78 1.90 1.88 3/74 2027
/proc/meminfo: memFree=1003032/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=109448 CPUtime=50.83
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 27074 0 0 0 5001 82 0 0 25 0 1 0 182460519 112074752 26935 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 27362 26935 136 292 0 27067 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 109448

[startup+102.307 s]
/proc/loadavg: 2.42 2.04 1.93 2/74 2027
/proc/meminfo: memFree=898200/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=212676 CPUtime=101.98
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 52851 0 0 0 10055 143 0 0 25 0 1 0 182460519 217780224 52712 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 53169 52712 136 292 0 52874 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 212676

[startup+162.302 s]
/proc/loadavg: 2.17 2.05 1.94 3/74 2027
/proc/meminfo: memFree=814360/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=297200 CPUtime=161.69
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 73962 0 0 0 15981 188 0 0 25 0 1 0 182460519 304332800 73823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 74300 73823 136 292 0 74005 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 297200

[startup+222.302 s]
/proc/loadavg: 2.10 2.05 1.94 3/74 2027
/proc/meminfo: memFree=731672/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=379240 CPUtime=221.67
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 94416 0 0 0 21937 230 0 0 25 0 1 0 182460519 388341760 94277 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 94810 94277 136 292 0 94515 0
Current children cumulated CPU time (s) 221.67
Current children cumulated vsize (KiB) 379240

[startup+282.302 s]
/proc/loadavg: 2.13 2.06 1.95 2/74 2027
/proc/meminfo: memFree=639832/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=471916 CPUtime=281.65
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 117585 0 0 0 27888 277 0 0 25 0 1 0 182460519 483241984 117446 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 117979 117446 136 292 0 117684 0
Current children cumulated CPU time (s) 281.65
Current children cumulated vsize (KiB) 471916

[startup+342.301 s]
/proc/loadavg: 2.08 2.06 1.95 3/74 2027
/proc/meminfo: memFree=527832/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=582944 CPUtime=341.49
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 145301 0 0 0 33826 323 0 0 25 0 1 0 182460519 596934656 145162 1992294400 134512640 135709839 4294956240 18446744073709551615 134568589 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 145736 145162 136 292 0 145441 0
Current children cumulated CPU time (s) 341.49
Current children cumulated vsize (KiB) 582944

[startup+402.301 s]
/proc/loadavg: 1.98 2.02 1.94 2/74 2027
/proc/meminfo: memFree=424728/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=686772 CPUtime=401.27
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 171190 0 0 0 39751 376 0 0 25 0 1 0 182460519 703254528 171051 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 171693 171051 136 292 0 171398 0
Current children cumulated CPU time (s) 401.27
Current children cumulated vsize (KiB) 686772

[startup+462.303 s]
/proc/loadavg: 1.82 1.97 1.93 2/74 2027
/proc/meminfo: memFree=345880/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=764892 CPUtime=461.25
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 190697 0 0 0 45707 418 0 0 25 0 1 0 182460519 783249408 190558 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 191223 190558 136 292 0 190928 0
Current children cumulated CPU time (s) 461.25
Current children cumulated vsize (KiB) 764892

[startup+522.301 s]
/proc/loadavg: 2.10 2.00 1.94 4/74 2027
/proc/meminfo: memFree=257624/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=854052 CPUtime=520.89
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 212976 0 0 0 51623 466 0 0 25 0 1 0 182460519 874549248 212837 1992294400 134512640 135709839 4294956240 18446744073709551615 134577809 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 213513 212837 136 292 0 213218 0
Current children cumulated CPU time (s) 520.89
Current children cumulated vsize (KiB) 854052

[startup+582.301 s]
/proc/loadavg: 1.93 1.97 1.93 3/74 2027
/proc/meminfo: memFree=166872/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=943964 CPUtime=580.65
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 235434 0 0 0 57559 506 0 0 25 0 1 0 182460519 966619136 235295 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 235991 235295 136 292 0 235696 0
Current children cumulated CPU time (s) 580.65
Current children cumulated vsize (KiB) 943964

[startup+642.301 s]
/proc/loadavg: 1.88 1.94 1.92 2/74 2027
/proc/meminfo: memFree=89368/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1020756 CPUtime=640.44
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 254613 0 0 0 63504 540 0 0 25 0 1 0 182460519 1045254144 254474 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 255189 254474 136 292 0 254894 0
Current children cumulated CPU time (s) 640.44
Current children cumulated vsize (KiB) 1020756

[startup+702.302 s]
/proc/loadavg: 1.91 1.95 1.92 2/74 2027
/proc/meminfo: memFree=24984/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1085924 CPUtime=700.13
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 270812 0 0 0 69445 568 0 0 25 0 1 0 182460519 1111986176 270673 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 271481 270673 136 292 0 271186 0
Current children cumulated CPU time (s) 700.13
Current children cumulated vsize (KiB) 1085924

[startup+762.307 s]
/proc/loadavg: 2.03 1.96 1.92 4/74 2027
/proc/meminfo: memFree=15320/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1154868 CPUtime=759.66
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 288024 0 0 0 75362 604 0 0 25 0 1 0 182460519 1182584832 287885 1992294400 134512640 135709839 4294956240 18446744073709551615 134573843 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 288717 287885 136 292 0 288422 0
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (KiB) 1154868

[startup+822.302 s]
/proc/loadavg: 1.93 1.95 1.91 4/74 2027
/proc/meminfo: memFree=15256/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1235816 CPUtime=819.52
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 308228 0 0 0 81315 637 0 0 25 0 1 0 182460519 1265475584 308089 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 308954 308089 136 292 0 308659 0
Current children cumulated CPU time (s) 819.52
Current children cumulated vsize (KiB) 1235816

[startup+882.302 s]
/proc/loadavg: 1.98 1.95 1.91 2/74 2027
/proc/meminfo: memFree=16280/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1296092 CPUtime=879.47
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 323268 0 0 0 87286 661 0 0 25 0 1 0 182460519 1327198208 323129 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 324023 323129 136 292 0 323728 0
Current children cumulated CPU time (s) 879.47
Current children cumulated vsize (KiB) 1296092

[startup+942.302 s]
/proc/loadavg: 2.06 1.99 1.93 2/74 2029
/proc/meminfo: memFree=15256/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1368788 CPUtime=939.11
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 341434 0 0 0 93218 693 0 0 25 0 1 0 182460519 1401638912 341295 1992294400 134512640 135709839 4294956240 18446744073709551615 134601636 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 342197 341295 136 292 0 341902 0
Current children cumulated CPU time (s) 939.11
Current children cumulated vsize (KiB) 1368788

[startup+1002.3 s]
/proc/loadavg: 1.84 1.94 1.91 3/74 2029
/proc/meminfo: memFree=16088/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1441580 CPUtime=998.63
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 359599 0 0 0 99138 725 0 0 25 0 1 0 182460519 1476177920 359460 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 360395 359460 136 292 0 360100 0
Current children cumulated CPU time (s) 998.63
Current children cumulated vsize (KiB) 1441580

[startup+1062.3 s]
/proc/loadavg: 2.01 1.98 1.92 3/74 2029
/proc/meminfo: memFree=15896/2055920 swapFree=4169724/4192956
[pid=2026] ppid=2024 vsize=1523716 CPUtime=1058.48
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 380115 0 0 0 105085 763 0 0 25 0 1 0 182460519 1560285184 379976 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 380929 379976 136 292 0 380634 0
Current children cumulated CPU time (s) 1058.48
Current children cumulated vsize (KiB) 1523716

[startup+1122.3 s]
/proc/loadavg: 1.86 1.93 1.91 4/74 2029
/proc/meminfo: memFree=15384/2055920 swapFree=4169800/4192956
[pid=2026] ppid=2024 vsize=1603604 CPUtime=1118.15
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 400060 0 0 0 111015 800 0 0 25 0 1 0 182460519 1642090496 399921 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 400901 399921 136 292 0 400606 0
Current children cumulated CPU time (s) 1118.15
Current children cumulated vsize (KiB) 1603604

[startup+1182.3 s]
/proc/loadavg: 1.94 1.93 1.91 3/74 2029
/proc/meminfo: memFree=15448/2055920 swapFree=4169800/4192956
[pid=2026] ppid=2024 vsize=1673380 CPUtime=1178.07
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 417492 0 0 0 116972 835 0 0 25 0 1 0 182460519 1713541120 417353 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 418345 417353 136 292 0 418050 0
Current children cumulated CPU time (s) 1178.07
Current children cumulated vsize (KiB) 1673380

[startup+1242.3 s]
/proc/loadavg: 2.26 2.02 1.93 3/74 2029
/proc/meminfo: memFree=16088/2055920 swapFree=4169920/4192956
[pid=2026] ppid=2024 vsize=1749232 CPUtime=1237.74
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 436440 0 0 0 122903 871 0 0 25 0 1 0 182460519 1791213568 436301 1992294400 134512640 135709839 4294956240 18446744073709551615 134579123 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 437308 436301 136 292 0 437013 0
Current children cumulated CPU time (s) 1237.74
Current children cumulated vsize (KiB) 1749232

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.92 4/74 2029
/proc/meminfo: memFree=15320/2055920 swapFree=4169920/4192956
[pid=2026] ppid=2024 vsize=1821040 CPUtime=1297.14
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 454363 0 0 0 128803 911 0 0 25 0 1 0 182460519 1864744960 454224 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0
/proc/2026/statm: 455260 454224 136 292 0 454965 0
Current children cumulated CPU time (s) 1297.14
Current children cumulated vsize (KiB) 1821040



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1320.3 s]
/proc/loadavg: 1.94 1.96 1.91 4/74 2029
/proc/meminfo: memFree=16088/2055920 swapFree=4169920/4192956
[pid=2026] ppid=2024 vsize=1843364 CPUtime=1314.96
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4194304 459899 0 0 0 130571 925 0 0 25 0 1 0 182460519 1887604736 459760 1992294400 134512640 135709839 4294956240 18446744073709551615 134600406 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 460841 459760 136 292 0 460546 0
Current children cumulated CPU time (s) 1314.96
Current children cumulated vsize (KiB) 1843364

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

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

[startup+1320.41 s]
/proc/loadavg: 1.94 1.96 1.91 4/74 2029
/proc/meminfo: memFree=16088/2055920 swapFree=4169920/4192956
[pid=2026] ppid=2024 vsize=0 CPUtime=1315.06
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4195332 459899 0 0 0 130571 935 0 0 25 0 1 0 182460519 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1315.06
Current children cumulated vsize (KiB) 0

[startup+1320.5 s]
/proc/loadavg: 1.94 1.96 1.91 4/74 2029
/proc/meminfo: memFree=16088/2055920 swapFree=4169920/4192956
[pid=2026] ppid=2024 vsize=0 CPUtime=1315.15
/proc/2026/stat : 2026 (wbo) R 2024 2026 1892 0 -1 4195332 459899 0 0 0 130571 944 0 0 25 0 1 0 182460519 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2026/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1315.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1320.57
CPU time (s): 1315.23
CPU user time (s): 1305.72
CPU system time (s): 9.51655
CPU usage (%): 99.5957
Max. virtual memory (cumulated for all children) (KiB): 1843364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.72
system time used= 9.51655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459899
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= 1
involuntary context switches= 17325

runsolver used 1.66275 second user time and 4.04738 second system time

The end

Launcher Data 

Begin job on node84 at 2009-06-16 12:36:59
IDJOB=1875718
IDBENCH=2043
IDSOLVER=698
FILE ID=node84/1875718-1245148619
PBS_JOBID= 9363773
Free space on /tmp= 66524 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.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-1875718-1245148619/watcher-1875718-1245148619 -o /tmp/evaluation-result-1875718-1245148619/solver-1875718-1245148619 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875718-1245148619.opb

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

MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30
RANDOM SEED=1091200958

node84.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.222
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.222
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:       1109752 kB
Buffers:         57624 kB
Cached:         778928 kB
SwapCached:      18412 kB
Active:         230700 kB
Inactive:       642932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1109752 kB
SwapTotal:     4192956 kB
SwapFree:      4169724 kB
Dirty:            2456 kB
Writeback:           0 kB
Mapped:          43324 kB
Slab:            57620 kB
Committed_AS:   600088 kB
PageTables:       2064 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-1875718-1245148619.opb

Free space on /tmp at the end= 66520 MiB
End job on node84 at 2009-06-16 12:59:01