Trace number 2680384

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.13 1800.66

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
MD5SUM2dd11ebefc05ae8ac770ff3615713305
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-172
Best CPU time to get the best result obtained on this benchmark59.472
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints62231
Number of constraints which are clauses62231
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 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 347
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 347
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680384-1277460404.opb.
0.00/0.00	c Instance file HOME/instance-2680384-1277460404.opb
0.00/0.00	c File size is 2075649 bytes.
0.29/0.32	c Highest Coefficient sum: 4
0.29/0.32	c ============================[ Problem Statistics ]=============================
0.29/0.32	c |                                                                             |
0.29/0.32	c |  Parsing time:          0.32         s                                      |
0.29/0.32	c |  Number Variables:      2025                                                |
0.29/0.32	c |  Number Clauses:        62231                                               |
0.29/0.32	c |  Number Cardinality:    0                                                   |
0.29/0.32	c |  Number PB Constraints: 0                                                   |
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    2010    62246   185523 |    20743        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 0
0.39/0.42	o 0
0.39/0.42	c Elapsed CPU time: 0.415936 s	Remaining CPU time: 179.584 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    2010    62247   185658 |    20749        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -2
0.39/0.43	o -2
0.39/0.43	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 179.579 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2010    62248   185793 |    20749        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -4
0.39/0.44	o -4
0.39/0.44	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 179.57 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2010    62249   185928 |    20749        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -5
0.39/0.45	o -5
0.39/0.45	c Elapsed CPU time: 0.439933 s	Remaining CPU time: 179.56 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         1 |    2010    62250   186063 |    20750        1    133 |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -6
0.39/0.46	o -6
0.39/0.46	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 179.55 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         1 |    2010    62251   186198 |    20750        1    133 |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -7
0.39/0.48	o -7
0.39/0.48	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 179.541 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |         2 |    2010    62252   186333 |    20750        2    132 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -8
0.39/0.49	o -8
0.39/0.49	c Elapsed CPU time: 0.468928 s	Remaining CPU time: 179.531 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         2 |    2010    62253   186468 |    20751        2    132 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -9
0.49/0.50	o -9
0.49/0.50	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 179.52 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         2 |    2010    62254   186603 |    20751        2    132 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -10
0.49/0.51	o -10
0.49/0.51	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 179.51 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         2 |    2010    62255   186738 |    20751        2    132 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -11
0.49/0.52	o -11
0.49/0.52	c Elapsed CPU time: 0.500923 s	Remaining CPU time: 179.499 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         2 |    2010    62256   186873 |    20752        2    132 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -12
0.49/0.53	o -12
0.49/0.53	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 179.489 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2010    62257   187008 |    20752        2    132 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -13
0.49/0.54	o -13
0.49/0.54	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 179.481 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2010    62258   187143 |    20752        2    132 |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -14
0.49/0.55	o -14
0.49/0.55	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 179.47 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         2 |    2010    62259   187278 |    20753        2    132 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -15
0.49/0.56	o -15
0.49/0.56	c Elapsed CPU time: 0.540917 s	Remaining CPU time: 179.459 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         3 |    2010    62260   187413 |    20753        3    130 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -16
0.49/0.57	o -16
0.49/0.57	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 179.45 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         3 |    2010    62261   187548 |    20753        3    130 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -17
0.49/0.59	o -17
0.49/0.59	c Elapsed CPU time: 0.558915 s	Remaining CPU time: 179.441 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         3 |    2010    62262   187683 |    20754        3    130 |  0.000 % |
0.49/0.60	c ===============================================================================
0.49/0.60	c New solution: -18
0.49/0.60	o -18
0.49/0.60	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 179.43 s
0.49/0.60	c ===============================================================================
0.49/0.60	c |         3 |    2010    62263   187818 |    20754        3    130 |  0.000 % |
0.60/0.61	c ===============================================================================
0.60/0.61	c New solution: -19
0.60/0.61	o -19
0.60/0.61	c Elapsed CPU time: 0.579911 s	Remaining CPU time: 179.42 s
0.60/0.61	c ===============================================================================
0.60/0.61	c |         3 |    2010    62264   187953 |    20754        3    130 |  0.000 % |
0.60/0.62	c ===============================================================================
0.60/0.62	c New solution: -20
0.60/0.62	o -20
0.60/0.62	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 179.411 s
0.60/0.62	c ===============================================================================
0.60/0.62	c |         3 |    2010    62265   188088 |    20755        3    130 |  0.000 % |
0.60/0.63	c ===============================================================================
0.60/0.63	c New solution: -21
0.60/0.63	o -21
0.60/0.63	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 179.402 s
0.60/0.63	c ===============================================================================
0.60/0.63	c |         3 |    2010    62266   188223 |    20755        3    130 |  0.000 % |
0.60/0.64	c ===============================================================================
0.60/0.64	c New solution: -22
0.60/0.64	o -22
0.60/0.64	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 179.394 s
0.60/0.64	c ===============================================================================
0.60/0.64	c |         3 |    2010    62267   188358 |    20755        3    130 |  0.000 % |
0.60/0.65	c ===============================================================================
0.60/0.65	c New solution: -23
0.60/0.65	o -23
0.60/0.65	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 179.385 s
0.60/0.65	c ===============================================================================
0.60/0.65	c |         3 |    2010    62268   188493 |    20756        3    130 |  0.000 % |
0.60/0.66	c ===============================================================================
0.60/0.66	c New solution: -24
0.60/0.66	o -24
0.60/0.66	c Elapsed CPU time: 0.624905 s	Remaining CPU time: 179.375 s
0.60/0.66	c ===============================================================================
0.60/0.66	c |         4 |    2010    62269   188628 |    20756        4    128 |  0.000 % |
0.60/0.67	c ===============================================================================
0.60/0.67	c New solution: -25
0.60/0.67	o -25
0.60/0.67	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 179.366 s
0.60/0.67	c ===============================================================================
0.60/0.67	c |         5 |    2010    62270   188763 |    20756        5    127 |  0.000 % |
0.60/0.68	c ===============================================================================
0.60/0.68	c New solution: -26
0.60/0.68	o -26
0.60/0.68	c Elapsed CPU time: 0.642902 s	Remaining CPU time: 179.357 s
0.60/0.68	c ===============================================================================
0.60/0.68	c |         5 |    2010    62271   188898 |    20757        5    127 |  0.000 % |
0.60/0.69	c ===============================================================================
0.60/0.69	c New solution: -27
0.60/0.69	o -27
0.60/0.69	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 179.347 s
0.60/0.69	c ===============================================================================
0.60/0.69	c |         5 |    2010    62272   189033 |    20757        5    127 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -28
0.69/0.70	o -28
0.69/0.70	c Elapsed CPU time: 0.662899 s	Remaining CPU time: 179.337 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |         7 |    2010    62273   189168 |    20757        7    126 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -29
0.69/0.72	o -29
0.69/0.72	c Elapsed CPU time: 0.671897 s	Remaining CPU time: 179.328 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        11 |    2010    62274   189303 |    20758       11    114 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -30
0.69/0.73	o -30
0.69/0.73	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 179.317 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        12 |    2010    62275   189438 |    20758       12    114 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -31
0.69/0.74	o -31
0.69/0.74	c Elapsed CPU time: 0.690894 s	Remaining CPU time: 179.309 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        12 |    2010    62276   189573 |    20758       12    114 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: -32
0.69/0.75	o -32
0.69/0.75	c Elapsed CPU time: 0.699893 s	Remaining CPU time: 179.3 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |        13 |    2010    62277   189708 |    20759       13    115 |  0.000 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -33
0.69/0.76	o -33
0.69/0.76	c Elapsed CPU time: 0.707892 s	Remaining CPU time: 179.292 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |        13 |    2010    62278   189843 |    20759       13    115 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -34
0.69/0.77	o -34
0.69/0.77	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 179.284 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |        29 |    2010    62279   189978 |    20759       29    110 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -35
0.69/0.78	o -35
0.69/0.78	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 179.276 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        29 |    2010    62280   190113 |    20760       29    110 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -36
0.69/0.79	o -36
0.69/0.79	c Elapsed CPU time: 0.733888 s	Remaining CPU time: 179.266 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        33 |    2010    62281   190248 |    20760       33    107 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -37
0.79/0.80	o -37
0.79/0.80	c Elapsed CPU time: 0.744886 s	Remaining CPU time: 179.255 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        76 |    2010    62282   190383 |    20760       76    108 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -38
0.79/0.81	o -38
0.79/0.81	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 179.241 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        91 |    2010    62283   190518 |    20761       91    109 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -39
0.79/0.83	o -39
0.79/0.83	c Elapsed CPU time: 0.769882 s	Remaining CPU time: 179.23 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |       114 |    2010    62284   190653 |    20761      114    111 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: -40
0.79/0.84	o -40
0.79/0.84	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 179.218 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |       115 |    2010    62285   190788 |    20761      115    111 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -41
0.79/0.85	o -41
0.79/0.85	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |       115 |    2010    62286   190923 |    20762      115    111 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: -42
0.79/0.86	o -42
0.79/0.86	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 179.197 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |       170 |    2010    62287   191058 |    20762      170    112 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -43
0.79/0.87	o -43
0.79/0.87	c Elapsed CPU time: 0.813876 s	Remaining CPU time: 179.186 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |       170 |    2010    62288   191193 |    20762      170    112 |  0.000 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -44
0.79/0.89	o -44
0.79/0.89	c Elapsed CPU time: 0.825874 s	Remaining CPU time: 179.174 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |       187 |    2010    62289   191328 |    20763      187    112 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -45
0.89/0.91	o -45
0.89/0.91	c Elapsed CPU time: 0.844871 s	Remaining CPU time: 179.155 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |       236 |    2010    62290   191463 |    20763      236    112 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -46
0.89/0.92	o -46
0.89/0.92	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 179.146 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |       237 |    2010    62291   191598 |    20763      237    112 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: -47
0.89/0.93	o -47
0.89/0.93	c Elapsed CPU time: 0.868867 s	Remaining CPU time: 179.131 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |       306 |    2010    62292   191733 |    20764      306    112 |  0.000 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: -48
0.89/0.95	o -48
0.89/0.95	c Elapsed CPU time: 0.882865 s	Remaining CPU time: 179.117 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |       321 |    2010    62293   191868 |    20764      321    111 |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -49
0.89/0.96	o -49
0.89/0.96	c Elapsed CPU time: 0.895863 s	Remaining CPU time: 179.104 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |       367 |    2010    62294   192003 |    20764      367    111 |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: -50
0.89/0.97	o -50
0.89/0.97	c Elapsed CPU time: 0.905862 s	Remaining CPU time: 179.094 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |       368 |    2010    62295   192138 |    20765      368    111 |  0.000 % |
0.89/0.99	c |       468 |    2010    62295   192138 |    22841      468    111 |  0.741 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: -51
1.00/1.01	o -51
1.00/1.01	c Elapsed CPU time: 0.937857 s	Remaining CPU time: 179.062 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |       493 |    2010    62296   192273 |    20765      493    111 |  0.741 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: -52
1.00/1.02	o -52
1.00/1.02	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 179.051 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |       495 |    2010    62297   192408 |    20765      495    111 |  0.741 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -53
1.00/1.03	o -53
1.00/1.03	c Elapsed CPU time: 0.958854 s	Remaining CPU time: 179.041 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |       495 |    2010    62298   192543 |    20766      495    111 |  0.741 % |
1.00/1.05	c |       595 |    2010    62298   192543 |    22842      595    111 |  0.741 % |
1.00/1.06	c ===============================================================================
1.00/1.06	c New solution: -54
1.00/1.06	o -54
1.00/1.06	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 179.012 s
1.00/1.06	c ===============================================================================
1.00/1.06	c |       623 |    2010    62299   192678 |    20766      623    111 |  0.741 % |
1.00/1.07	c ===============================================================================
1.00/1.07	c New solution: -55
1.00/1.07	o -55
1.00/1.07	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 179.001 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |       623 |    2010    62300   192813 |    20766      623    111 |  0.741 % |
1.00/1.09	c |       724 |    2010    62300   192813 |    22843      724    111 |  0.741 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: -56
1.00/1.10	o -56
1.00/1.10	c Elapsed CPU time: 1.02884 s	Remaining CPU time: 178.971 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |       741 |    2010    62301   192948 |    20767      741    110 |  0.741 % |
1.09/1.12	c |       842 |    2010    62301   192948 |    22843      842    110 |  0.741 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c New solution: -57
1.09/1.14	o -57
1.09/1.14	c Elapsed CPU time: 1.06084 s	Remaining CPU time: 178.939 s
1.09/1.14	c ===============================================================================
1.09/1.14	c |       877 |    2010    62302   193083 |    20767      877    110 |  0.741 % |
1.09/1.15	c ===============================================================================
1.09/1.15	c New solution: -58
1.09/1.15	o -58
1.09/1.15	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 178.925 s
1.09/1.15	c ===============================================================================
1.09/1.15	c |       887 |    2010    62303   193218 |    20767      887    110 |  0.741 % |
1.09/1.17	c ===============================================================================
1.09/1.17	c New solution: -59
1.09/1.17	o -59
1.09/1.17	c Elapsed CPU time: 1.09183 s	Remaining CPU time: 178.908 s
1.09/1.17	c ===============================================================================
1.09/1.17	c |       911 |    2010    62304   193353 |    20768      911    110 |  0.741 % |
1.09/1.18	c ===============================================================================
1.09/1.18	c New solution: -60
1.09/1.18	o -60
1.09/1.18	c Elapsed CPU time: 1.10083 s	Remaining CPU time: 178.899 s
1.09/1.18	c ===============================================================================
1.09/1.18	c |       911 |    2010    62305   193488 |    20768      911    110 |  0.741 % |
1.09/1.20	c ===============================================================================
1.09/1.20	c New solution: -61
1.09/1.20	o -61
1.09/1.20	c Elapsed CPU time: 1.11583 s	Remaining CPU time: 178.884 s
1.09/1.20	c ===============================================================================
1.09/1.20	c |       935 |    2010    62306   193623 |    20768      935    110 |  0.741 % |
1.19/1.22	c |      1035 |    2010    62306   193623 |    22845     1035    110 |  0.741 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: -62
1.19/1.24	o -62
1.19/1.24	c Elapsed CPU time: 1.15682 s	Remaining CPU time: 178.843 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |      1085 |    2010    62307   193758 |    20769     1085    110 |  0.741 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c New solution: -63
1.19/1.25	o -63
1.19/1.25	c Elapsed CPU time: 1.16782 s	Remaining CPU time: 178.832 s
1.19/1.25	c ===============================================================================
1.19/1.25	c |      1086 |    2010    62308   193893 |    20769     1086    110 |  0.741 % |
1.19/1.27	c |      1188 |    2010    62308   193893 |    22846     1188    109 |  0.741 % |
1.29/1.31	c |      1338 |    2010    62308   193893 |    25130     1338    109 |  0.741 % |
1.29/1.34	c ===============================================================================
1.29/1.34	c New solution: -64
1.29/1.34	o -64
1.29/1.34	c Elapsed CPU time: 1.25681 s	Remaining CPU time: 178.743 s
1.29/1.34	c ===============================================================================
1.29/1.34	c |      1467 |    2010    62309   194028 |    20769     1467    109 |  0.741 % |
1.29/1.37	c ===============================================================================
1.29/1.37	c New solution: -65
1.29/1.37	o -65
1.29/1.37	c Elapsed CPU time: 1.28181 s	Remaining CPU time: 178.718 s
1.29/1.37	c ===============================================================================
1.29/1.37	c |      1551 |    2010    62310   194163 |    20770     1551    108 |  0.741 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: -66
1.29/1.38	o -66
1.29/1.38	c Elapsed CPU time: 1.2938 s	Remaining CPU time: 178.706 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |      1551 |    2010    62311   194298 |    20770     1551    108 |  0.741 % |
1.39/1.40	c ===============================================================================
1.39/1.40	c New solution: -67
1.39/1.40	o -67
1.39/1.40	c Elapsed CPU time: 1.3118 s	Remaining CPU time: 178.688 s
1.39/1.40	c ===============================================================================
1.39/1.40	c |      1609 |    2010    62312   194433 |    20770     1609    108 |  0.741 % |
1.39/1.41	c ===============================================================================
1.39/1.41	c New solution: -68
1.39/1.41	o -68
1.39/1.41	c Elapsed CPU time: 1.3218 s	Remaining CPU time: 178.678 s
1.39/1.41	c ===============================================================================
1.39/1.41	c |      1613 |    2010    62313   194568 |    20771     1613    108 |  0.741 % |
1.39/1.43	c |      1713 |    2010    62313   194568 |    22848     1713    108 |  0.741 % |
1.39/1.44	c ===============================================================================
1.39/1.44	c New solution: -69
1.39/1.44	o -69
1.39/1.44	c Elapsed CPU time: 1.35479 s	Remaining CPU time: 178.645 s
1.39/1.44	c ===============================================================================
1.39/1.44	c |      1717 |    2010    62314   194703 |    20771     1717    108 |  0.741 % |
1.39/1.47	c |      1818 |    2010    62314   194703 |    22848     1818    108 |  0.741 % |
1.49/1.50	c ===============================================================================
1.49/1.50	c New solution: -70
1.49/1.50	o -70
1.49/1.50	c Elapsed CPU time: 1.41379 s	Remaining CPU time: 178.586 s
1.49/1.50	c ===============================================================================
1.49/1.50	c |      1941 |    2010    62315   194838 |    20771     1941    107 |  0.741 % |
1.49/1.52	c ===============================================================================
1.49/1.52	c New solution: -71
1.49/1.52	o -71
1.49/1.52	c Elapsed CPU time: 1.42678 s	Remaining CPU time: 178.573 s
1.49/1.52	c ===============================================================================
1.49/1.52	c |      1944 |    2010    62316   194973 |    20772     1944    107 |  0.741 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -72
1.49/1.53	o -72
1.49/1.53	c Elapsed CPU time: 1.43878 s	Remaining CPU time: 178.561 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |      1944 |    2010    62317   195108 |    20772     1944    107 |  0.741 % |
1.49/1.54	c ===============================================================================
1.49/1.54	c New solution: -73
1.49/1.54	o -73
1.49/1.54	c Elapsed CPU time: 1.45478 s	Remaining CPU time: 178.545 s
1.49/1.54	c ===============================================================================
1.49/1.54	c |      1964 |    2010    62318   195243 |    20772     1964    107 |  0.741 % |
1.49/1.57	c ===============================================================================
1.49/1.57	c New solution: -74
1.49/1.57	o -74
1.49/1.57	c Elapsed CPU time: 1.48277 s	Remaining CPU time: 178.517 s
1.49/1.57	c ===============================================================================
1.49/1.57	c |      2035 |    2010    62319   195378 |    20773     2035    107 |  0.741 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: -75
1.49/1.59	o -75
1.49/1.59	c Elapsed CPU time: 1.49677 s	Remaining CPU time: 178.503 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |      2043 |    2010    62320   195513 |    20773     2043    107 |  0.741 % |
1.59/1.60	c ===============================================================================
1.59/1.60	c New solution: -76
1.59/1.60	o -76
1.59/1.60	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 178.491 s
1.59/1.60	c ===============================================================================
1.59/1.60	c |      2045 |    2010    62321   195648 |    20773     2045    107 |  0.741 % |
1.59/1.63	c |      2145 |    2010    62321   195648 |    22851     2145    107 |  0.741 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: -77
1.59/1.65	o -77
1.59/1.65	c Elapsed CPU time: 1.56376 s	Remaining CPU time: 178.436 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |      2199 |    2010    62322   195783 |    20774     2199    107 |  0.741 % |
1.59/1.67	c ===============================================================================
1.59/1.67	c New solution: -78
1.59/1.67	o -78
1.59/1.67	c Elapsed CPU time: 1.57576 s	Remaining CPU time: 178.424 s
1.59/1.67	c ===============================================================================
1.59/1.67	c |      2199 |    2010    62323   195918 |    20774     2199    107 |  0.741 % |
1.59/1.68	c ===============================================================================
1.59/1.68	c New solution: -79
1.59/1.68	o -79
1.59/1.68	c Elapsed CPU time: 1.58476 s	Remaining CPU time: 178.415 s
1.59/1.68	c ===============================================================================
1.59/1.68	c |      2199 |    2010    62324   196053 |    20774     2199    107 |  0.741 % |
1.69/1.71	c |      2299 |    2010    62324   196053 |    22852     2299    106 |  0.741 % |
1.69/1.72	c ===============================================================================
1.69/1.72	c New solution: -80
1.69/1.72	o -80
1.69/1.72	c Elapsed CPU time: 1.62975 s	Remaining CPU time: 178.37 s
1.69/1.72	c ===============================================================================
1.69/1.72	c |      2325 |    2010    62325   196188 |    20775     2325    106 |  0.741 % |
1.69/1.74	c ===============================================================================
1.69/1.74	c New solution: -81
1.69/1.74	o -81
1.69/1.74	c Elapsed CPU time: 1.64075 s	Remaining CPU time: 178.359 s
1.69/1.74	c ===============================================================================
1.69/1.74	c |      2325 |    2010    62326   196323 |    20775     2325    106 |  0.741 % |
1.69/1.75	c ===============================================================================
1.69/1.75	c New solution: -82
1.69/1.75	o -82
1.69/1.75	c Elapsed CPU time: 1.65375 s	Remaining CPU time: 178.346 s
1.69/1.75	c ===============================================================================
1.69/1.75	c |      2326 |    2010    62327   196458 |    20775     2326    106 |  0.741 % |
1.69/1.77	c ===============================================================================
1.69/1.77	c New solution: -83
1.69/1.77	o -83
1.69/1.77	c Elapsed CPU time: 1.67375 s	Remaining CPU time: 178.326 s
1.69/1.77	c ===============================================================================
1.69/1.77	c |      2358 |    2010    62328   196593 |    20776     2358    106 |  0.741 % |
1.69/1.78	c ===============================================================================
1.69/1.78	c New solution: -84
1.69/1.78	o -84
1.69/1.78	c Elapsed CPU time: 1.68574 s	Remaining CPU time: 178.314 s
1.69/1.78	c ===============================================================================
1.69/1.78	c |      2359 |    2010    62329   196728 |    20776     2359    106 |  0.741 % |
1.79/1.81	c |      2460 |    2010    62329   196728 |    22853     2460    106 |  0.741 % |
1.79/1.83	c ===============================================================================
1.79/1.83	c New solution: -85
1.79/1.83	o -85
1.79/1.83	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 178.268 s
1.79/1.83	c ===============================================================================
1.79/1.83	c |      2501 |    2010    62330   196863 |    20776     2501    106 |  0.741 % |
1.79/1.84	c ===============================================================================
1.79/1.84	c New solution: -86
1.79/1.84	o -86
1.79/1.84	c Elapsed CPU time: 1.74473 s	Remaining CPU time: 178.255 s
1.79/1.84	c ===============================================================================
1.79/1.84	c |      2505 |    2010    62331   196998 |    20777     2505    106 |  0.741 % |
1.79/1.86	c ===============================================================================
1.79/1.86	c New solution: -87
1.79/1.86	o -87
1.79/1.86	c Elapsed CPU time: 1.75773 s	Remaining CPU time: 178.242 s
1.79/1.86	c ===============================================================================
1.79/1.86	c |      2506 |    2010    62332   197133 |    20777     2506    106 |  0.741 % |
1.79/1.88	c |      2606 |    2010    62332   197133 |    22855     2606    105 |  0.741 % |
1.89/1.92	c |      2758 |    2010    62332   197133 |    25140     2758    105 |  0.741 % |
1.89/1.98	c |      2983 |    2010    62332   197133 |    27654     2983    104 |  0.741 % |
1.99/2.04	c ===============================================================================
1.99/2.04	c New solution: -88
1.99/2.04	o -88
1.99/2.04	c Elapsed CPU time: 1.93971 s	Remaining CPU time: 178.06 s
1.99/2.04	c ===============================================================================
1.99/2.04	c |      3186 |    2010    62333   197268 |    20777     3186    104 |  0.741 % |
1.99/2.07	c |      3287 |    2010    62333   197268 |    22855     3287    104 |  0.741 % |
2.10/2.11	c |      3437 |    2010    62333   197268 |    25140     3437    103 |  0.741 % |
2.10/2.18	c |      3664 |    2010    62333   197268 |    27655     3664    103 |  0.741 % |
2.20/2.24	c ===============================================================================
2.20/2.24	c New solution: -89
2.20/2.24	o -89
2.20/2.24	c Elapsed CPU time: 2.13567 s	Remaining CPU time: 177.864 s
2.20/2.24	c ===============================================================================
2.20/2.24	c |      3877 |    2010    62334   197403 |    20778     3877    103 |  0.741 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: -90
2.20/2.25	o -90
2.20/2.25	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 177.851 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |      3880 |    2010    62335   197538 |    20778     3880    103 |  0.741 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: -91
2.20/2.27	o -91
2.20/2.27	c Elapsed CPU time: 2.15967 s	Remaining CPU time: 177.84 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |      3881 |    2010    62336   197673 |    20778     3881    103 |  0.741 % |
2.20/2.29	c |      3981 |    2010    62336   197673 |    22856     3981    102 |  0.741 % |
2.29/2.34	c |      4132 |    2010    62336   197673 |    25142     4132    102 |  0.741 % |
2.39/2.40	c |      4357 |    2010    62336   197673 |    27656     4357    102 |  0.741 % |
2.39/2.48	c |      4695 |    2010    62336   197673 |    30422     4695    101 |  0.741 % |
2.49/2.53	c ===============================================================================
2.49/2.53	c New solution: -92
2.49/2.53	o -92
2.49/2.53	c Elapsed CPU time: 2.42263 s	Remaining CPU time: 177.577 s
2.49/2.53	c ===============================================================================
2.49/2.53	c |      4836 |    2010    62337   197808 |    20779     4836    101 |  0.741 % |
2.49/2.56	c |      4937 |    2010    62337   197808 |    22856     4937    101 |  0.741 % |
2.59/2.61	c |      5088 |    2010    62337   197808 |    25142     5088    101 |  0.741 % |
2.59/2.68	c |      5313 |    2010    62337   197808 |    27656     5313    101 |  0.741 % |
2.69/2.79	c |      5650 |    2010    62337   197808 |    30422     5650    101 |  0.741 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: -93
2.79/2.83	o -93
2.79/2.83	c Elapsed CPU time: 2.72059 s	Remaining CPU time: 177.279 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |      5766 |    2010    62338   197943 |    20779     5766    101 |  0.741 % |
2.79/2.86	c |      5867 |    2010    62338   197943 |    22857     5867    100 |  0.741 % |
2.89/2.90	c ===============================================================================
2.89/2.90	c New solution: -94
2.89/2.90	o -94
2.89/2.90	c Elapsed CPU time: 2.79157 s	Remaining CPU time: 177.208 s
2.89/2.90	c ===============================================================================
2.89/2.90	c |      5966 |    2010    62339   198078 |    20779     5966    100 |  0.741 % |
2.89/2.94	c |      6066 |    2010    62339   198078 |    22857     6066    100 |  0.741 % |
2.89/2.98	c |      6216 |    2010    62339   198078 |    25143     6216    100 |  0.741 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: -95
2.99/3.03	o -95
2.99/3.03	c Elapsed CPU time: 2.91356 s	Remaining CPU time: 177.086 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |      6331 |    2010    62340   198213 |    20780     6331    100 |  0.741 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: -96
2.99/3.04	o -96
2.99/3.04	c Elapsed CPU time: 2.92755 s	Remaining CPU time: 177.072 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |      6344 |    2010    62341   198348 |    20780     6344    100 |  0.741 % |
2.99/3.06	c ===============================================================================
2.99/3.06	c New solution: -97
2.99/3.06	o -97
2.99/3.06	c Elapsed CPU time: 2.94055 s	Remaining CPU time: 177.059 s
2.99/3.06	c ===============================================================================
2.99/3.06	c |      6344 |    2010    62342   198483 |    20780     6344    100 |  0.741 % |
3.09/3.10	c |      6445 |    2010    62342   198483 |    22858     6445    100 |  0.741 % |
3.09/3.15	c |      6595 |    2010    62342   198483 |    25144     6595    100 |  0.741 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: -98
3.20/3.21	o -98
3.20/3.21	c Elapsed CPU time: 3.09153 s	Remaining CPU time: 176.908 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |      6705 |    2010    62343   198618 |    20781     6705    100 |  0.741 % |
3.20/3.25	c |      6805 |    2010    62343   198618 |    22859     6805    100 |  0.741 % |
3.30/3.31	c |      6956 |    2010    62343   198618 |    25145     6956     99 |  0.741 % |
3.39/3.41	c |      7181 |    2010    62343   198618 |    27659     7181     99 |  0.741 % |
3.49/3.53	c |      7518 |    2010    62343   198618 |    30425     7518     99 |  0.741 % |
3.69/3.74	c |      8024 |    2010    62343   198618 |    33468     8024     98 |  0.741 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c New solution: -99
3.79/3.82	o -99
3.79/3.82	c Elapsed CPU time: 3.69544 s	Remaining CPU time: 176.305 s
3.79/3.82	c ===============================================================================
3.79/3.82	c |      8232 |    2010    62344   198753 |    20781     8232     98 |  0.741 % |
3.79/3.86	c |      8332 |    2010    62344   198753 |    22859     8332     98 |  0.741 % |
3.89/3.91	c |      8484 |    2010    62344   198753 |    25145     8484     98 |  0.741 % |
3.99/4.00	c ===============================================================================
3.99/4.00	c New solution: -100
3.99/4.00	o -100
3.99/4.00	c Elapsed CPU time: 3.87541 s	Remaining CPU time: 176.125 s
3.99/4.00	c ===============================================================================
3.99/4.00	c |      8698 |    2010    62345   198888 |    20781     8698     98 |  0.741 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: -101
3.99/4.01	o -101
3.99/4.01	c Elapsed CPU time: 3.88841 s	Remaining CPU time: 176.112 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |      8699 |    2010    62346   199023 |    20782     8699     98 |  0.741 % |
3.99/4.05	c |      8799 |    2010    62346   199023 |    22860     8799     98 |  0.741 % |
3.99/4.09	c |      8950 |    2010    62346   199023 |    25146     8950     98 |  0.741 % |
4.09/4.18	c |      9175 |    2010    62346   199023 |    27660     9175     98 |  0.741 % |
4.29/4.32	c |      9515 |    2010    62346   199023 |    30426     9515     97 |  0.741 % |
4.49/4.51	c |     10025 |    2010    62346   199023 |    33469    10025     97 |  0.741 % |
4.79/4.86	c |     10785 |    2010    62346   199023 |    36816    10785     97 |  0.741 % |
5.29/5.39	c |     11924 |    2010    62346   199023 |    40498    11924     96 |  0.741 % |
5.99/6.02	c |     13632 |    2010    62346   199023 |    44548    13632     96 |  0.741 % |
7.09/7.18	c |     16194 |    2010    62346   199023 |    49002    16194     95 |  0.741 % |
8.69/8.71	c ===============================================================================
8.69/8.71	c New solution: -102
8.69/8.71	o -102
8.69/8.71	c Elapsed CPU time: 8.5467 s	Remaining CPU time: 171.453 s
8.69/8.71	c ===============================================================================
8.69/8.71	c |     18926 |    2010    62347   199158 |    20782    18926     94 |  0.741 % |
8.69/8.72	c ===============================================================================
8.69/8.72	c New solution: -103
8.69/8.72	o -103
8.69/8.72	c Elapsed CPU time: 8.5627 s	Remaining CPU time: 171.437 s
8.69/8.72	c ===============================================================================
8.69/8.72	c |     18929 |    2010    62348   199293 |    20782    18929     94 |  0.741 % |
8.69/8.78	c |     19029 |    2010    62348   199293 |    22860    19029     94 |  0.741 % |
8.80/8.86	c |     19179 |    2010    62348   199293 |    25147    19179     94 |  0.741 % |
8.99/9.00	c |     19404 |    2010    62348   199293 |    27661    19404     94 |  0.741 % |
9.19/9.20	c |     19742 |    2010    62348   199293 |    30427    19742     94 |  0.741 % |
9.19/9.25	c ===============================================================================
9.19/9.25	c New solution: -104
9.19/9.25	o -104
9.19/9.25	c Elapsed CPU time: 9.08162 s	Remaining CPU time: 170.918 s
9.19/9.25	c ===============================================================================
9.19/9.25	c |     19778 |    2010    62349   199428 |    20783    19778     94 |  0.741 % |
9.29/9.30	c ===============================================================================
9.29/9.30	c New solution: -105
9.29/9.30	o -105
9.29/9.30	c Elapsed CPU time: 9.13761 s	Remaining CPU time: 170.862 s
9.29/9.30	c ===============================================================================
9.29/9.30	c |     19836 |    2010    62350   199563 |    20783    19836     94 |  0.741 % |
9.29/9.39	c |     19937 |    2010    62350   199563 |    22861    19937     94 |  0.741 % |
9.38/9.48	c |     20088 |    2010    62350   199563 |    25147    20088     94 |  0.741 % |
9.58/9.64	c |     20313 |    2010    62350   199563 |    27662    20313     94 |  0.741 % |
9.80/9.87	c |     20651 |    2010    62350   199563 |    30428    20651     94 |  0.741 % |
9.99/10.04	c ===============================================================================
9.99/10.04	c New solution: -106
9.99/10.04	o -106
9.99/10.04	c Elapsed CPU time: 9.8695 s	Remaining CPU time: 170.131 s
9.99/10.04	c ===============================================================================
9.99/10.04	c |     20870 |    2010    62351   199698 |    20783    20870     94 |  0.741 % |
10.09/10.15	c ===============================================================================
10.09/10.15	c New solution: -107
10.09/10.15	o -107
10.09/10.15	c Elapsed CPU time: 9.97348 s	Remaining CPU time: 170.027 s
10.09/10.15	c ===============================================================================
10.09/10.15	c |     20876 |    2010    62352   199833 |    20784    10441     91 |  0.741 % |
10.09/10.19	c |     20976 |    2010    62352   199833 |    22862    10541     91 |  0.741 % |
10.19/10.27	c |     21126 |    2010    62352   199833 |    25148    10691     91 |  0.741 % |
10.29/10.36	c ===============================================================================
10.29/10.36	c New solution: -108
10.29/10.36	o -108
10.29/10.36	c Elapsed CPU time: 10.1875 s	Remaining CPU time: 169.813 s
10.29/10.36	c ===============================================================================
10.29/10.36	c |     21320 |    2010    62353   199968 |    20784    10885     91 |  0.741 % |
10.38/10.41	c |     21420 |    2010    62353   199968 |    22862    10985     91 |  0.741 % |
10.38/10.42	c ===============================================================================
10.38/10.42	c New solution: -109
10.38/10.42	o -109
10.38/10.42	c Elapsed CPU time: 10.2454 s	Remaining CPU time: 169.755 s
10.38/10.42	c ===============================================================================
10.38/10.42	c |     21421 |    2010    62354   200103 |    20784    10986     91 |  0.741 % |
10.38/10.44	c ===============================================================================
10.38/10.44	c New solution: -110
10.38/10.44	o -110
10.38/10.44	c Elapsed CPU time: 10.2624 s	Remaining CPU time: 169.738 s
10.38/10.44	c ===============================================================================
10.38/10.44	c |     21426 |    2010    62355   200238 |    20785    10991     91 |  0.741 % |
10.38/10.48	c |     21528 |    2010    62355   200238 |    22863    11093     91 |  0.741 % |
10.48/10.51	c ===============================================================================
10.48/10.51	c New solution: -111
10.48/10.51	o -111
10.48/10.51	c Elapsed CPU time: 10.3284 s	Remaining CPU time: 169.672 s
10.48/10.51	c ===============================================================================
10.48/10.51	c |     21574 |    2010    62356   200373 |    20785    11139     91 |  0.741 % |
10.48/10.55	c |     21674 |    2010    62356   200373 |    22863    11239     91 |  0.741 % |
10.59/10.61	c |     21825 |    2010    62356   200373 |    25150    11390     91 |  0.741 % |
10.69/10.72	c |     22050 |    2010    62356   200373 |    27665    11615     91 |  0.741 % |
10.90/10.90	c |     22388 |    2010    62356   200373 |    30431    11953     91 |  0.741 % |
11.09/11.11	c |     22894 |    2010    62356   200373 |    33474    12459     90 |  0.741 % |
11.39/11.49	c |     23653 |    2010    62356   200373 |    36822    13218     90 |  0.741 % |
12.09/12.13	c ===============================================================================
12.09/12.13	c New solution: -112
12.09/12.13	o -112
12.09/12.13	c Elapsed CPU time: 11.9282 s	Remaining CPU time: 168.072 s
12.09/12.13	c ===============================================================================
12.09/12.13	c |     24728 |    2010    62357   200508 |    20785    14293     90 |  0.741 % |
12.09/12.14	c ===============================================================================
12.09/12.14	c New solution: -113
12.09/12.14	o -113
12.09/12.14	c Elapsed CPU time: 11.9422 s	Remaining CPU time: 168.058 s
12.09/12.14	c ===============================================================================
12.09/12.14	c |     24728 |    2010    62358   200643 |    20786    14293     90 |  0.741 % |
12.18/12.20	c |     24828 |    2010    62358   200643 |    22864    14393     90 |  0.741 % |
12.28/12.31	c |     24978 |    2010    62358   200643 |    25151    14543     90 |  0.741 % |
12.38/12.49	c |     25205 |    2010    62358   200643 |    27666    14770     90 |  0.741 % |
12.68/12.73	c |     25543 |    2010    62358   200643 |    30432    15108     90 |  0.741 % |
13.10/13.18	c |     26049 |    2010    62358   200643 |    33476    15614     90 |  0.741 % |
13.69/13.73	c |     26808 |    2010    62358   200643 |    36823    16373     90 |  0.741 % |
14.69/14.73	c |     27947 |    2010    62358   200643 |    40506    17512     89 |  0.741 % |
16.18/16.24	c |     29655 |    2010    62358   200643 |    44556    19220     89 |  0.741 % |
18.99/19.00	c |     32217 |    2010    62358   200643 |    49012    21782     89 |  0.741 % |
23.39/23.46	c |     36062 |    2010    62358   200643 |    53913    25627     88 |  0.741 % |
28.28/28.31	c |     41830 |    2010    62358   200643 |    59304    31395     88 |  0.741 % |
28.59/28.64	c ===============================================================================
28.59/28.64	c New solution: -114
28.59/28.64	o -114
28.59/28.64	c Elapsed CPU time: 28.3537 s	Remaining CPU time: 151.646 s
28.59/28.64	c ===============================================================================
28.59/28.64	c |     42047 |    2010    62359   200778 |    20786    31612     88 |  0.741 % |
28.98/29.02	c |     42147 |    2010    62359   200778 |    22864    11483     85 |  0.741 % |
29.08/29.11	c |     42297 |    2010    62359   200778 |    25151    11633     85 |  0.741 % |
29.18/29.25	c |     42522 |    2010    62359   200778 |    27666    11858     85 |  0.741 % |
29.39/29.47	c |     42859 |    2010    62359   200778 |    30433    12195     85 |  0.741 % |
29.78/29.83	c |     43366 |    2010    62359   200778 |    33476    12702     85 |  0.741 % |
29.98/30.03	c ===============================================================================
29.98/30.03	c New solution: -115
29.98/30.03	o -115
29.98/30.03	c Elapsed CPU time: 29.7355 s	Remaining CPU time: 150.265 s
29.98/30.03	c ===============================================================================
29.98/30.03	c |     43683 |    2010    62360   200913 |    20786    13019     85 |  0.741 % |
29.98/30.08	c ===============================================================================
29.98/30.08	c New solution: -116
29.98/30.08	o -116
29.98/30.08	c Elapsed CPU time: 29.7825 s	Remaining CPU time: 150.218 s
29.98/30.08	c ===============================================================================
29.98/30.08	c |     43741 |    2010    62361   201048 |    20787    13077     85 |  0.741 % |
30.09/30.13	c |     43843 |    2010    62361   201048 |    22865    13179     85 |  0.741 % |
30.18/30.20	c |     43995 |    2010    62361   201048 |    25152    13331     85 |  0.741 % |
30.28/30.37	c |     44221 |    2010    62361   201048 |    27667    13557     85 |  0.741 % |
30.58/30.63	c |     44558 |    2010    62361   201048 |    30434    13894     85 |  0.741 % |
30.88/30.99	c |     45065 |    2010    62361   201048 |    33477    14401     85 |  0.741 % |
31.48/31.55	c |     45824 |    2010    62361   201048 |    36825    15160     85 |  0.741 % |
31.48/31.56	c ===============================================================================
31.48/31.56	c New solution: -117
31.48/31.56	o -117
31.48/31.56	c Elapsed CPU time: 31.2532 s	Remaining CPU time: 148.747 s
31.48/31.56	c ===============================================================================
31.48/31.56	c |     45824 |    2010    62362   201183 |    20787    15160     85 |  0.741 % |
31.48/31.58	c ===============================================================================
31.48/31.58	c New solution: -118
31.48/31.58	o -118
31.48/31.58	c Elapsed CPU time: 31.2722 s	Remaining CPU time: 148.728 s
31.48/31.58	c ===============================================================================
31.48/31.58	c |     45830 |    2010    62363   201318 |    20787    15166     85 |  0.741 % |
31.48/31.60	c ===============================================================================
31.48/31.60	c New solution: -119
31.48/31.60	o -119
31.48/31.60	c Elapsed CPU time: 31.2862 s	Remaining CPU time: 148.714 s
31.48/31.60	c ===============================================================================
31.48/31.60	c |     45830 |    2010    62364   201453 |    20788    15166     85 |  0.741 % |
31.58/31.61	c ===============================================================================
31.58/31.61	c New solution: -120
31.58/31.61	o -120
31.58/31.61	c Elapsed CPU time: 31.3012 s	Remaining CPU time: 148.699 s
31.58/31.61	c ===============================================================================
31.58/31.61	c |     45830 |    2010    62365   201588 |    20788    15166     85 |  0.741 % |
31.58/31.64	c ===============================================================================
31.58/31.64	c New solution: -121
31.58/31.64	o -121
31.58/31.64	c Elapsed CPU time: 31.3332 s	Remaining CPU time: 148.667 s
31.58/31.64	c ===============================================================================
31.58/31.64	c |     45872 |    2010    62366   201723 |    20788    15208     85 |  0.741 % |
31.68/31.71	c |     45972 |    2010    62366   201723 |    22867    15308     85 |  0.741 % |
31.79/31.82	c |     46122 |    2010    62366   201723 |    25154    15458     85 |  0.741 % |
31.89/31.97	c |     46347 |    2010    62366   201723 |    27669    15683     85 |  0.741 % |
31.98/32.03	c ===============================================================================
31.98/32.03	c New solution: -122
31.98/32.03	o -122
31.98/32.03	c Elapsed CPU time: 31.7122 s	Remaining CPU time: 148.288 s
31.98/32.03	c ===============================================================================
31.98/32.03	c |     46410 |    2010    62367   201858 |    20789    15746     85 |  0.741 % |
31.98/32.09	c |     46513 |    2010    62367   201858 |    22867    15849     85 |  0.741 % |
32.08/32.17	c |     46665 |    2010    62367   201858 |    25154    16001     85 |  0.741 % |
32.28/32.31	c |     46891 |    2010    62367   201858 |    27670    16227     85 |  0.741 % |
32.38/32.49	c |     47228 |    2010    62367   201858 |    30437    16564     85 |  0.741 % |
32.68/32.72	c |     47734 |    2010    62367   201858 |    33480    17070     85 |  0.741 % |
33.18/33.25	c |     48495 |    2010    62367   201858 |    36828    17831     85 |  0.741 % |
33.78/33.87	c |     49634 |    2010    62367   201858 |    40511    18970     85 |  0.741 % |
35.28/35.32	c |     51342 |    2010    62367   201858 |    44563    20678     85 |  0.741 % |
37.18/37.26	c |     53904 |    2010    62367   201858 |    49019    23240     85 |  0.741 % |
40.08/40.14	c |     57748 |    2010    62367   201858 |    53921    27084     85 |  0.741 % |
40.68/40.71	c ===============================================================================
40.68/40.71	c New solution: -123
40.68/40.71	o -123
40.68/40.71	c Elapsed CPU time: 40.3459 s	Remaining CPU time: 139.654 s
40.68/40.71	c ===============================================================================
40.68/40.71	c |     58459 |    2010    62368   201993 |    20789    27795     85 |  0.741 % |
40.88/40.96	c |     58559 |    2010    62368   201993 |    22868    11155     82 |  0.741 % |
40.98/41.05	c |     58711 |    2010    62368   201993 |    25155    11307     82 |  0.741 % |
41.08/41.19	c |     58937 |    2010    62368   201993 |    27670    11533     82 |  0.741 % |
41.18/41.24	c ===============================================================================
41.18/41.24	c New solution: -124
41.18/41.24	o -124
41.18/41.24	c Elapsed CPU time: 40.8638 s	Remaining CPU time: 139.136 s
41.18/41.24	c ===============================================================================
41.18/41.24	c |     58990 |    2010    62369   202128 |    20789    11586     82 |  0.741 % |
41.28/41.32	c |     59090 |    2010    62369   202128 |    22868    11686     82 |  0.741 % |
41.28/41.39	c |     59241 |    2010    62369   202128 |    25155    11837     82 |  0.741 % |
41.48/41.50	c |     59468 |    2010    62369   202128 |    27671    12064     82 |  0.741 % |
41.58/41.69	c |     59808 |    2010    62369   202128 |    30438    12404     82 |  0.741 % |
41.88/41.94	c |     60314 |    2010    62369   202128 |    33481    12910     82 |  0.741 % |
42.17/42.29	c |     61076 |    2010    62369   202128 |    36830    13672     83 |  0.741 % |
42.78/42.81	c |     62215 |    2010    62369   202128 |    40513    14811     83 |  0.741 % |
43.68/43.79	c |     63923 |    2010    62369   202128 |    44564    16519     83 |  0.741 % |
44.78/44.88	c |     66486 |    2010    62369   202128 |    49020    19082     83 |  0.741 % |
47.08/47.11	c |     70331 |    2010    62369   202128 |    53923    22927     83 |  0.741 % |
51.28/51.34	c |     76099 |    2010    62369   202128 |    59315    28695     84 |  0.741 % |
54.58/54.61	c ===============================================================================
54.58/54.61	c New solution: -125
54.58/54.61	o -125
54.58/54.61	c Elapsed CPU time: 54.1558 s	Remaining CPU time: 125.844 s
54.58/54.61	c ===============================================================================
54.58/54.61	c |     79374 |    2010    62370   202263 |    20790    31970     84 |  0.741 % |
54.78/54.83	c ===============================================================================
54.78/54.83	c New solution: -126
54.78/54.83	o -126
54.78/54.83	c Elapsed CPU time: 54.3747 s	Remaining CPU time: 125.625 s
54.78/54.83	c ===============================================================================
54.78/54.83	c |     79375 |    2010    62371   202398 |    20790    11223     83 |  0.741 % |
54.78/54.87	c |     79475 |    2010    62371   202398 |    22869    11323     83 |  0.741 % |
54.88/54.91	c ===============================================================================
54.88/54.91	c New solution: -127
54.88/54.91	o -127
54.88/54.91	c Elapsed CPU time: 54.4527 s	Remaining CPU time: 125.547 s
54.88/54.91	c ===============================================================================
54.88/54.91	c |     79537 |    2010    62372   202533 |    20790    11385     83 |  0.741 % |
54.88/54.95	c |     79637 |    2010    62372   202533 |    22869    11485     83 |  0.741 % |
54.98/55.01	c |     79787 |    2010    62372   202533 |    25156    11635     83 |  0.741 % |
55.07/55.11	c |     80012 |    2010    62372   202533 |    27672    11860     83 |  0.741 % |
55.27/55.30	c |     80350 |    2010    62372   202533 |    30439    12198     83 |  0.741 % |
55.57/55.61	c |     80858 |    2010    62372   202533 |    33483    12706     83 |  0.741 % |
55.87/55.95	c |     81618 |    2010    62372   202533 |    36831    13466     83 |  0.741 % |
56.38/56.45	c |     82757 |    2010    62372   202533 |    40515    14605     83 |  0.741 % |
57.38/57.42	c |     84465 |    2010    62372   202533 |    44566    16313     83 |  0.741 % |
58.37/58.44	c |     87028 |    2010    62372   202533 |    49023    18876     83 |  0.741 % |
61.07/61.10	c |     90872 |    2010    62372   202533 |    53925    22720     83 |  0.741 % |
64.17/64.24	c ===============================================================================
64.17/64.24	c New solution: -128
64.17/64.24	o -128
64.17/64.24	c Elapsed CPU time: 63.7223 s	Remaining CPU time: 116.278 s
64.17/64.24	c ===============================================================================
64.17/64.24	c |     95264 |    2010    62373   202668 |    20791    27112     83 |  0.741 % |
64.48/64.52	c |     95365 |    2010    62373   202668 |    22870    11178     81 |  0.741 % |
64.48/64.55	c ===============================================================================
64.48/64.55	c New solution: -129
64.48/64.55	o -129
64.48/64.55	c Elapsed CPU time: 64.0353 s	Remaining CPU time: 115.965 s
64.48/64.55	c ===============================================================================
64.48/64.55	c |     95398 |    2010    62374   202803 |    20791    11211     81 |  0.741 % |
64.57/64.60	c ===============================================================================
64.57/64.60	c New solution: -130
64.57/64.60	o -130
64.57/64.60	c Elapsed CPU time: 64.0823 s	Remaining CPU time: 115.918 s
64.57/64.60	c ===============================================================================
64.57/64.60	c |     95461 |    2010    62375   202938 |    20791    11274     81 |  0.741 % |
64.57/64.67	c |     95561 |    2010    62375   202938 |    22870    11374     81 |  0.741 % |
64.67/64.76	c ===============================================================================
64.67/64.76	c New solution: -131
64.67/64.76	o -131
64.67/64.76	c Elapsed CPU time: 64.2352 s	Remaining CPU time: 115.765 s
64.67/64.76	c ===============================================================================
64.67/64.76	c |     95697 |    2010    62376   203073 |    20792    11510     81 |  0.741 % |
64.78/64.83	c |     95797 |    2010    62376   203073 |    22871    11610     81 |  0.741 % |
64.88/64.91	c |     95947 |    2010    62376   203073 |    25158    11760     81 |  0.741 % |
64.97/65.05	c |     96175 |    2010    62376   203073 |    27674    11988     81 |  0.741 % |
65.17/65.24	c |     96513 |    2010    62376   203073 |    30441    12326     81 |  0.741 % |
65.47/65.51	c |     97020 |    2010    62376   203073 |    33485    12833     81 |  0.741 % |
65.77/65.86	c ===============================================================================
65.77/65.86	c New solution: -132
65.77/65.86	o -132
65.77/65.86	c Elapsed CPU time: 65.3251 s	Remaining CPU time: 114.675 s
65.77/65.86	c ===============================================================================
65.77/65.86	c |     97671 |    2010    62377   203208 |    20792    13484     81 |  0.741 % |
65.88/65.91	c |     97772 |    2010    62377   203208 |    22871    13585     81 |  0.741 % |
65.88/65.99	c |     97924 |    2010    62377   203208 |    25158    13737     81 |  0.741 % |
65.98/66.09	c |     98150 |    2010    62377   203208 |    27674    13963     81 |  0.741 % |
66.18/66.21	c |     98487 |    2010    62377   203208 |    30442    14300     81 |  0.741 % |
66.37/66.42	c |     98995 |    2010    62377   203208 |    33486    14808     81 |  0.741 % |
66.87/66.92	c |     99755 |    2010    62377   203208 |    36834    15568     81 |  0.741 % |
67.47/67.52	c |    100895 |    2010    62377   203208 |    40518    16708     81 |  0.741 % |
68.47/68.57	c |    102605 |    2010    62377   203208 |    44570    18418     81 |  0.741 % |
70.57/70.61	c |    105167 |    2010    62377   203208 |    49027    20980     81 |  0.741 % |
71.87/71.92	c ===============================================================================
71.87/71.92	c New solution: -133
71.87/71.92	o -133
71.87/71.92	c Elapsed CPU time: 71.3352 s	Remaining CPU time: 108.665 s
71.87/71.92	c ===============================================================================
71.87/71.92	c |    106672 |    2010    62378   203343 |    20792    22485     81 |  0.741 % |
71.97/72.05	c ===============================================================================
71.97/72.05	c New solution: -134
71.97/72.05	o -134
71.97/72.05	c Elapsed CPU time: 71.4731 s	Remaining CPU time: 108.527 s
71.97/72.05	c ===============================================================================
71.97/72.05	c |    106677 |    2010    62379   203478 |    20793    10909     80 |  0.741 % |
71.97/72.07	c ===============================================================================
71.97/72.07	c New solution: -135
71.97/72.07	o -135
71.97/72.07	c Elapsed CPU time: 71.4891 s	Remaining CPU time: 108.511 s
71.97/72.07	c ===============================================================================
71.97/72.07	c |    106677 |    2010    62380   203613 |    20793    10909     80 |  0.741 % |
72.07/72.12	c |    106777 |    2010    62380   203613 |    22872    11009     80 |  0.741 % |
72.17/72.21	c |    106927 |    2010    62380   203613 |    25159    11159     80 |  0.741 % |
72.27/72.32	c |    107152 |    2010    62380   203613 |    27675    11384     80 |  0.741 % |
72.37/72.44	c ===============================================================================
72.37/72.44	c New solution: -136
72.37/72.44	o -136
72.37/72.44	c Elapsed CPU time: 71.8601 s	Remaining CPU time: 108.14 s
72.37/72.44	c ===============================================================================
72.37/72.44	c |    107389 |    2010    62381   203748 |    20793    11621     80 |  0.741 % |
72.37/72.46	c ===============================================================================
72.37/72.46	c New solution: -137
72.37/72.46	o -137
72.37/72.46	c Elapsed CPU time: 71.8781 s	Remaining CPU time: 108.122 s
72.37/72.46	c ===============================================================================
72.37/72.46	c |    107391 |    2010    62382   203883 |    20794    11623     80 |  0.741 % |
72.47/72.50	c |    107491 |    2010    62382   203883 |    22873    11723     80 |  0.741 % |
72.47/72.58	c |    107642 |    2010    62382   203883 |    25160    11874     80 |  0.741 % |
72.67/72.71	c |    107868 |    2010    62382   203883 |    27676    12100     80 |  0.741 % |
72.87/72.96	c |    108205 |    2010    62382   203883 |    30444    12437     80 |  0.741 % |
73.17/73.27	c |    108712 |    2010    62382   203883 |    33488    12944     80 |  0.741 % |
73.68/73.71	c |    109471 |    2010    62382   203883 |    36837    13703     80 |  0.741 % |
74.26/74.32	c |    110610 |    2010    62382   203883 |    40521    14842     80 |  0.741 % |
75.07/75.12	c |    112318 |    2010    62382   203883 |    44573    16550     80 |  0.741 % |
76.57/76.69	c |    114880 |    2010    62382   203883 |    49031    19112     80 |  0.741 % |
79.07/79.20	c |    118727 |    2010    62382   203883 |    53934    22959     80 |  0.741 % |
84.67/84.75	c |    124494 |    2010    62382   203883 |    59327    28726     80 |  0.741 % |
91.86/91.94	c |    133143 |    2010    62382   203883 |    65260    37375     80 |  0.741 % |
98.57/98.65	c ===============================================================================
98.57/98.65	c New solution: -138
98.57/98.65	o -138
98.57/98.65	c Elapsed CPU time: 97.9141 s	Remaining CPU time: 82.0859 s
98.57/98.65	c ===============================================================================
98.57/98.65	c |    139497 |    2010    62383   204018 |    20794    43729     80 |  0.741 % |
99.27/99.31	c |    139597 |    2010    62383   204018 |    22873    11731     79 |  0.741 % |
99.27/99.39	c |    139748 |    2010    62383   204018 |    25161    11882     79 |  0.741 % |
99.37/99.48	c |    139973 |    2010    62383   204018 |    27677    12107     79 |  0.741 % |
99.56/99.65	c |    140310 |    2010    62383   204018 |    30444    12444     79 |  0.741 % |
99.86/99.97	c |    140816 |    2010    62383   204018 |    33489    12950     79 |  0.741 % |
100.26/100.34	c |    141578 |    2010    62383   204018 |    36838    13712     79 |  0.741 % |
100.86/100.98	c |    142718 |    2010    62383   204018 |    40522    14852     79 |  0.741 % |
102.06/102.16	c |    144427 |    2010    62383   204018 |    44574    16561     80 |  0.741 % |
103.56/103.66	c |    146989 |    2010    62383   204018 |    49031    19123     80 |  0.741 % |
106.16/106.27	c |    150834 |    2010    62383   204018 |    53935    22968     80 |  0.741 % |
110.75/110.81	c |    156600 |    2010    62383   204018 |    59328    28734     80 |  0.741 % |
119.76/119.81	c |    165249 |    2010    62383   204018 |    65261    37383     80 |  0.741 % |
131.65/131.70	c ===============================================================================
131.65/131.70	c New solution: -139
131.65/131.70	o -139
131.65/131.70	c Elapsed CPU time: 130.792 s	Remaining CPU time: 49.2079 s
131.65/131.70	c ===============================================================================
131.65/131.70	c |    177965 |    2010    62384   204153 |    20794    50099     80 |  0.741 % |
133.75/133.87	c ===============================================================================
133.75/133.87	c New solution: -140
133.75/133.87	o -140
133.75/133.87	c Elapsed CPU time: 132.962 s	Remaining CPU time: 47.0382 s
133.75/133.87	c ===============================================================================
133.75/133.87	c |    177982 |    2010    62385   204288 |    20795    11837     78 |  0.741 % |
133.75/133.89	c ===============================================================================
133.75/133.89	c New solution: -141
133.75/133.89	o -141
133.75/133.89	c Elapsed CPU time: 132.978 s	Remaining CPU time: 47.0222 s
133.75/133.89	c ===============================================================================
133.75/133.89	c |    177983 |    2010    62386   204423 |    20795    11838     78 |  0.741 % |
133.85/133.94	c |    178084 |    2010    62386   204423 |    22874    11939     78 |  0.741 % |
133.95/134.01	c |    178235 |    2010    62386   204423 |    25162    12090     78 |  0.741 % |
134.06/134.13	c |    178462 |    2010    62386   204423 |    27678    12317     78 |  0.741 % |
134.16/134.28	c |    178799 |    2010    62386   204423 |    30446    12654     78 |  0.741 % |
134.45/134.53	c |    179305 |    2010    62386   204423 |    33491    13160     78 |  0.741 % |
134.85/134.90	c |    180065 |    2010    62386   204423 |    36840    13920     78 |  0.741 % |
135.45/135.55	c |    181205 |    2010    62386   204423 |    40524    15060     78 |  0.741 % |
136.36/136.47	c |    182914 |    2010    62386   204423 |    44576    16769     78 |  0.741 % |
138.16/138.20	c |    185476 |    2010    62386   204423 |    49034    19331     78 |  0.741 % |
139.85/139.90	c ===============================================================================
139.85/139.90	c New solution: -142
139.85/139.90	o -142
139.85/139.90	c Elapsed CPU time: 138.949 s	Remaining CPU time: 41.0511 s
139.85/139.90	c ===============================================================================
139.85/139.90	c |    187514 |    2010    62387   204558 |    20795    21369     78 |  0.741 % |
139.95/140.05	c |    187614 |    2010    62387   204558 |    22875    10785     77 |  0.741 % |
140.05/140.15	c |    187765 |    2010    62387   204558 |    25162    10936     77 |  0.741 % |
140.25/140.31	c |    187991 |    2010    62387   204558 |    27679    11162     77 |  0.741 % |
140.45/140.54	c |    188328 |    2010    62387   204558 |    30446    11499     77 |  0.741 % |
140.75/140.81	c |    188835 |    2010    62387   204558 |    33491    12006     77 |  0.741 % |
140.95/141.09	c ===============================================================================
140.95/141.09	c New solution: -143
140.95/141.09	o -143
140.95/141.09	c Elapsed CPU time: 140.131 s	Remaining CPU time: 39.8693 s
140.95/141.09	c ===============================================================================
140.95/141.09	c |    189436 |    2010    62388   204693 |    20796    12607     77 |  0.741 % |
141.05/141.11	c ===============================================================================
141.05/141.11	c New solution: -144
141.05/141.11	o -144
141.05/141.11	c Elapsed CPU time: 140.147 s	Remaining CPU time: 39.8533 s
141.05/141.11	c ===============================================================================
141.05/141.11	c |    189436 |    2010    62389   204828 |    20796    12607     77 |  0.741 % |
141.05/141.13	c ===============================================================================
141.05/141.13	c New solution: -145
141.05/141.13	o -145
141.05/141.13	c Elapsed CPU time: 140.17 s	Remaining CPU time: 39.8303 s
141.05/141.13	c ===============================================================================
141.05/141.13	c |    189445 |    2010    62390   204963 |    20796    12616     77 |  0.741 % |
141.05/141.15	c ===============================================================================
141.05/141.15	c New solution: -146
141.05/141.15	o -146
141.05/141.15	c Elapsed CPU time: 140.185 s	Remaining CPU time: 39.8153 s
141.05/141.15	c ===============================================================================
141.05/141.15	c |    189445 |    2010    62391   205098 |    20797    12616     77 |  0.741 % |
141.05/141.19	c |    189545 |    2010    62391   205098 |    22876    12716     77 |  0.741 % |
141.15/141.23	c ===============================================================================
141.15/141.23	c New solution: -147
141.15/141.23	o -147
141.15/141.23	c Elapsed CPU time: 140.265 s	Remaining CPU time: 39.7353 s
141.15/141.23	c ===============================================================================
141.15/141.23	c |    189586 |    2010    62392   205233 |    20797    12757     77 |  0.741 % |
141.15/141.28	c |    189688 |    2010    62392   205233 |    22877    12859     77 |  0.741 % |
141.25/141.38	c |    189839 |    2010    62392   205233 |    25164    13010     77 |  0.741 % |
141.45/141.50	c |    190064 |    2010    62392   205233 |    27681    13235     77 |  0.741 % |
141.65/141.71	c |    190402 |    2010    62392   205233 |    30449    13573     77 |  0.741 % |
141.95/142.02	c |    190910 |    2010    62392   205233 |    33494    14081     77 |  0.741 % |
142.45/142.52	c |    191672 |    2010    62392   205233 |    36843    14843     77 |  0.741 % |
143.15/143.20	c |    192813 |    2010    62392   205233 |    40528    15984     77 |  0.741 % |
144.25/144.34	c |    194521 |    2010    62392   205233 |    44580    17692     77 |  0.741 % |
146.05/146.17	c |    197084 |    2010    62392   205233 |    49039    20255     77 |  0.741 % |
149.05/149.17	c |    200929 |    2010    62392   205233 |    53942    24100     77 |  0.741 % |
155.14/155.24	c |    206698 |    2010    62392   205233 |    59337    29869     76 |  0.741 % |
164.85/164.98	c |    215349 |    2010    62392   205233 |    65270    38520     76 |  0.741 % |
181.04/181.15	c There are 15 assigned variables. 15 in cost function.
187.23/187.33	c core #1
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 8	Core Weight: 1	Total Weight: -305
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #2
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -304
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #3
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 10	Core Weight: 1	Total Weight: -303
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #4
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -302
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #5
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 7	Core Weight: 2	Total Weight: -300
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #6
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -299
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #7
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -298
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #8
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -297
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #9
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -296
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #10
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -295
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #11
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -294
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #12
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 1	Total Weight: -293
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #13
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 9	Core Weight: 2	Total Weight: -291
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #14
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 15	Core Weight: 1	Total Weight: -290
187.23/187.33	c
187.23/187.33	c
187.23/187.33	c core #15
187.23/187.33	c 
187.23/187.33	c 
187.23/187.33	c Core size: 10	Core Weight: 1	Total Weight: -289
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #16
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 2	Total Weight: -287
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #17
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 16	Core Weight: 1	Total Weight: -286
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #18
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 16	Core Weight: 1	Total Weight: -285
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #19
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 17	Core Weight: 1	Total Weight: -284
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #20
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 9	Core Weight: 1	Total Weight: -283
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #21
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 10	Core Weight: 2	Total Weight: -281
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #22
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 1	Total Weight: -280
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #23
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 1	Total Weight: -279
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #24
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 2	Total Weight: -277
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #25
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 12	Core Weight: 1	Total Weight: -276
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #26
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 12	Core Weight: 2	Total Weight: -274
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #27
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 8	Core Weight: 1	Total Weight: -273
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #28
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 17	Core Weight: 1	Total Weight: -272
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #29
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 18	Core Weight: 1	Total Weight: -271
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #30
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 17	Core Weight: 1	Total Weight: -270
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #31
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 17	Core Weight: 1	Total Weight: -269
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #32
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 14	Core Weight: 1	Total Weight: -268
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #33
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 14	Core Weight: 1	Total Weight: -267
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #34
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 37	Core Weight: 1	Total Weight: -266
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #35
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 31	Core Weight: 1	Total Weight: -265
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #36
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 23	Core Weight: 1	Total Weight: -264
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #37
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 9	Core Weight: 1	Total Weight: -263
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #38
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 10	Core Weight: 1	Total Weight: -262
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #39
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 1	Total Weight: -261
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #40
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 1	Total Weight: -260
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #41
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 16	Core Weight: 2	Total Weight: -258
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #42
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 16	Core Weight: 1	Total Weight: -257
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #43
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 18	Core Weight: 1	Total Weight: -256
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #44
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 8	Core Weight: 2	Total Weight: -254
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #45
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 9	Core Weight: 1	Total Weight: -253
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #46
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 19	Core Weight: 1	Total Weight: -252
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #47
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 20	Core Weight: 1	Total Weight: -251
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #48
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 14	Core Weight: 1	Total Weight: -250
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #49
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 30	Core Weight: 1	Total Weight: -249
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #50
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 26	Core Weight: 1	Total Weight: -248
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #51
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 14	Core Weight: 1	Total Weight: -247
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #52
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 15	Core Weight: 1	Total Weight: -246
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #53
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 8	Core Weight: 1	Total Weight: -245
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #54
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 15	Core Weight: 1	Total Weight: -244
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #55
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 10	Core Weight: 1	Total Weight: -243
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #56
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 11	Core Weight: 1	Total Weight: -242
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #57
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 12	Core Weight: 1	Total Weight: -241
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #58
187.23/187.34	c 
187.23/187.34	c 
187.23/187.34	c Core size: 20	Core Weight: 1	Total Weight: -240
187.23/187.34	c
187.23/187.34	c
187.23/187.34	c core #59
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 24	Core Weight: 1	Total Weight: -239
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c core #60
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 20	Core Weight: 1	Total Weight: -238
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c core #61
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 24	Core Weight: 1	Total Weight: -237
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c core #62
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 7	Core Weight: 1	Total Weight: -236
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c core #63
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 15	Core Weight: 1	Total Weight: -235
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c core #64
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 15	Core Weight: 1	Total Weight: -234
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c core #65
188.13/188.21	c 
188.13/188.21	c 
188.13/188.21	c Core size: 9	Core Weight: 1	Total Weight: -233
188.13/188.21	c
188.13/188.21	c
188.13/188.21	c ============================[ Search Statistics ]==============================
188.13/188.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.13/188.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.13/188.21	c ===============================================================================
188.13/188.21	c |         0 |    2324    62886   202592 |    20962        0    nan |  0.000 % |
188.13/188.21	c ===============================================================================
188.23/188.34	c core #66
188.23/188.34	c 
188.23/188.34	c 
188.23/188.34	c Core size: 16	Core Weight: 1	Total Weight: -232
188.23/188.34	c
188.23/188.34	c
188.23/188.34	c ============================[ Search Statistics ]==============================
188.23/188.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.23/188.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.23/188.34	c ===============================================================================
188.23/188.34	c |         0 |    2334    62889   202861 |    20963        0    nan |  0.000 % |
188.23/188.34	c ===============================================================================
188.33/188.47	c core #67
188.33/188.47	c 
188.33/188.47	c 
188.33/188.47	c Core size: 12	Core Weight: 1	Total Weight: -231
188.33/188.47	c
188.33/188.47	c
188.33/188.47	c ============================[ Search Statistics ]==============================
188.33/188.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.33/188.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.33/188.47	c ===============================================================================
188.33/188.47	c |         0 |    2343    62893   202882 |    20964        0    nan |  0.000 % |
188.33/188.47	c ===============================================================================
188.53/188.60	c core #68
188.53/188.60	c 
188.53/188.60	c 
188.53/188.60	c Core size: 18	Core Weight: 1	Total Weight: -230
188.53/188.60	c
188.53/188.60	c
188.53/188.60	c ============================[ Search Statistics ]==============================
188.53/188.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.60	c ===============================================================================
188.53/188.60	c |         0 |    2354    62894   202904 |    20964        0    nan |  0.000 % |
188.53/188.60	c ===============================================================================
188.63/188.72	c core #69
188.63/188.72	c 
188.63/188.72	c 
188.63/188.72	c Core size: 10	Core Weight: 1	Total Weight: -229
188.63/188.72	c
188.63/188.72	c
188.63/188.72	c ============================[ Search Statistics ]==============================
188.63/188.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.63/188.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.63/188.72	c ===============================================================================
188.63/188.72	c |         0 |    2361    62895   202918 |    20965        0    nan |  0.000 % |
188.63/188.73	c ===============================================================================
188.73/188.85	c core #70
188.73/188.85	c 
188.73/188.85	c 
188.73/188.85	c Core size: 11	Core Weight: 1	Total Weight: -228
188.73/188.85	c
188.73/188.85	c
188.73/188.85	c ============================[ Search Statistics ]==============================
188.73/188.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.73/188.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.73/188.85	c ===============================================================================
188.73/188.85	c |         0 |    2369    62896   202934 |    20965        0    nan |  0.000 % |
188.73/188.86	c ===============================================================================
188.83/188.98	c core #71
188.83/188.98	c 
188.83/188.98	c 
188.83/188.98	c Core size: 15	Core Weight: 1	Total Weight: -227
188.83/188.98	c
188.83/188.98	c
188.83/188.98	c ============================[ Search Statistics ]==============================
188.83/188.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.83/188.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.83/188.98	c ===============================================================================
188.83/188.98	c |         0 |    2376    62902   202958 |    20967        0    nan |  0.000 % |
188.83/188.99	c ===============================================================================
189.05/189.12	c core #72
189.05/189.12	c 
189.05/189.12	c 
189.05/189.12	c Core size: 9	Core Weight: 1	Total Weight: -226
189.05/189.12	c
189.05/189.12	c
189.05/189.12	c ============================[ Search Statistics ]==============================
189.05/189.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.05/189.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.05/189.12	c ===============================================================================
189.05/189.12	c |         0 |    2381    62903   202968 |    20967        0    nan |  0.000 % |
189.05/189.12	c ===============================================================================
189.15/189.24	c core #73
189.15/189.24	c 
189.15/189.24	c 
189.15/189.24	c Core size: 17	Core Weight: 1	Total Weight: -225
189.15/189.24	c
189.15/189.24	c
189.15/189.24	c ============================[ Search Statistics ]==============================
189.15/189.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.15/189.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.15/189.24	c ===============================================================================
189.15/189.24	c |         0 |    2397    62904   203802 |    20968        0    nan |  0.000 % |
189.15/189.25	c ===============================================================================
189.24/189.38	c core #74
189.24/189.38	c 
189.24/189.38	c 
189.24/189.38	c Core size: 16	Core Weight: 1	Total Weight: -224
189.24/189.38	c
189.24/189.38	c
189.24/189.38	c ============================[ Search Statistics ]==============================
189.24/189.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.24/189.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.24/189.38	c ===============================================================================
189.24/189.38	c |         0 |    2409    62906   203828 |    20968        0    nan |  0.000 % |
189.24/189.39	c ===============================================================================
189.44/189.50	c core #75
189.44/189.50	c 
189.44/189.50	c 
189.44/189.50	c Core size: 10	Core Weight: 1	Total Weight: -223
189.44/189.50	c
189.44/189.50	c
189.44/189.50	c ============================[ Search Statistics ]==============================
189.44/189.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.44/189.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.44/189.50	c ===============================================================================
189.44/189.50	c |         0 |    2415    62907   203840 |    20969        0    nan |  0.000 % |
189.44/189.52	c ===============================================================================
189.54/189.64	c core #76
189.54/189.64	c 
189.54/189.64	c 
189.54/189.64	c Core size: 16	Core Weight: 1	Total Weight: -222
189.54/189.64	c
189.54/189.64	c
189.54/189.64	c ============================[ Search Statistics ]==============================
189.54/189.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.54/189.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.54/189.64	c ===============================================================================
189.54/189.64	c |         0 |    2423    62909   203858 |    20969        0    nan |  0.000 % |
189.54/189.65	c ===============================================================================
189.64/189.77	c core #77
189.64/189.77	c 
189.64/189.77	c 
189.64/189.77	c Core size: 17	Core Weight: 1	Total Weight: -221
189.64/189.77	c
189.64/189.77	c
189.64/189.77	c ============================[ Search Statistics ]==============================
189.64/189.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.64/189.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.64/189.77	c ===============================================================================
189.64/189.77	c |         0 |    2433    62910   203878 |    20970        0    nan |  0.000 % |
189.64/189.78	c ===============================================================================
189.84/189.90	c core #78
189.84/189.90	c 
189.84/189.90	c 
189.84/189.90	c Core size: 12	Core Weight: 1	Total Weight: -220
189.84/189.90	c
189.84/189.90	c
189.84/189.90	c ============================[ Search Statistics ]==============================
189.84/189.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.90	c ===============================================================================
189.84/189.90	c |         0 |    2439    62911   203890 |    20970        0    nan |  0.000 % |
189.84/189.92	c ===============================================================================
189.94/190.03	c core #79
189.94/190.03	c 
189.94/190.03	c 
189.94/190.03	c Core size: 22	Core Weight: 1	Total Weight: -219
189.94/190.03	c
189.94/190.03	c
189.94/190.03	c ============================[ Search Statistics ]==============================
189.94/190.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.03	c ===============================================================================
189.94/190.03	c |         0 |    2452    62915   203922 |    20971        0    nan |  0.000 % |
189.94/190.05	c ===============================================================================
190.04/190.17	c core #80
190.04/190.17	c 
190.04/190.17	c 
190.04/190.17	c Core size: 18	Core Weight: 1	Total Weight: -218
190.04/190.17	c
190.04/190.17	c
190.04/190.17	c ============================[ Search Statistics ]==============================
190.04/190.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.17	c ===============================================================================
190.04/190.17	c |         0 |    2459    62916   203936 |    20972        0    nan |  0.000 % |
190.04/190.18	c ===============================================================================
190.15/190.30	c core #81
190.15/190.30	c 
190.15/190.30	c 
190.15/190.30	c Core size: 16	Core Weight: 1	Total Weight: -217
190.15/190.30	c
190.15/190.30	c
190.15/190.30	c ============================[ Search Statistics ]==============================
190.15/190.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.15/190.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.15/190.30	c ===============================================================================
190.15/190.30	c |         0 |    2467    62920   203958 |    20973        0    nan |  0.000 % |
190.25/190.31	c ===============================================================================
190.34/190.43	c core #82
190.34/190.43	c 
190.34/190.43	c 
190.34/190.43	c Core size: 14	Core Weight: 1	Total Weight: -216
190.34/190.43	c
190.34/190.43	c
190.34/190.43	c ============================[ Search Statistics ]==============================
190.34/190.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.43	c ===============================================================================
190.34/190.43	c |         0 |    2478    62921   203980 |    20973        0    nan |  0.000 % |
190.34/190.45	c ===============================================================================
190.44/190.57	c core #83
190.44/190.57	c 
190.44/190.57	c 
190.44/190.57	c Core size: 26	Core Weight: 1	Total Weight: -215
190.44/190.57	c
190.44/190.57	c
190.44/190.57	c ============================[ Search Statistics ]==============================
190.44/190.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.44/190.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.44/190.57	c ===============================================================================
190.44/190.57	c |         0 |    2500    62923   204026 |    20974        0    nan |  0.000 % |
190.44/190.59	c ===============================================================================
190.64/190.71	c core #84
190.64/190.71	c 
190.64/190.71	c 
190.64/190.71	c Core size: 53	Core Weight: 1	Total Weight: -214
190.64/190.71	c
190.64/190.71	c
190.64/190.71	c ============================[ Search Statistics ]==============================
190.64/190.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.64/190.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.64/190.71	c ===============================================================================
190.64/190.71	c |         0 |    2533    62927   204098 |    20975        0    nan |  0.000 % |
190.64/190.74	c ===============================================================================
190.74/190.85	c core #85
190.74/190.85	c 
190.74/190.85	c 
190.74/190.85	c Core size: 47	Core Weight: 1	Total Weight: -213
190.74/190.85	c
190.74/190.85	c
190.74/190.85	c ============================[ Search Statistics ]==============================
190.74/190.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.74/190.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.74/190.85	c ===============================================================================
190.74/190.85	c |         0 |    2573    62932   204187 |    20977        0    nan |  0.000 % |
190.74/190.88	c ===============================================================================
190.94/191.00	c core #86
190.94/191.00	c 
190.94/191.00	c 
190.94/191.00	c Core size: 29	Core Weight: 1	Total Weight: -212
190.94/191.00	c
190.94/191.00	c
190.94/191.00	c ============================[ Search Statistics ]==============================
190.94/191.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.94/191.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.94/191.00	c ===============================================================================
190.94/191.00	c |         0 |    2591    62933   204223 |    20977        0    nan |  0.000 % |
190.94/191.04	c ===============================================================================
191.04/191.15	c core #87
191.04/191.15	c 
191.04/191.15	c 
191.04/191.15	c Core size: 71	Core Weight: 1	Total Weight: -211
191.04/191.15	c
191.04/191.15	c
191.04/191.15	c ============================[ Search Statistics ]==============================
191.04/191.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.04/191.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.04/191.15	c ===============================================================================
191.04/191.15	c |         0 |    2650    62938   204351 |    20979        0    nan |  0.000 % |
191.14/191.21	c ===============================================================================
191.25/191.33	c core #88
191.25/191.33	c 
191.25/191.33	c 
191.25/191.33	c Core size: 119	Core Weight: 1	Total Weight: -210
191.25/191.33	c
191.25/191.33	c
191.25/191.33	c ============================[ Search Statistics ]==============================
191.25/191.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.33	c ===============================================================================
191.25/191.33	c |         0 |    2738    62942   204536 |    20980        0    nan |  0.000 % |
191.25/191.38	c |       101 |    2738    62942   204536 |    23078      101      7 |  0.581 % |
191.25/191.39	c ===============================================================================
191.44/191.51	c core #89
191.44/191.51	c 
191.44/191.51	c 
191.44/191.51	c Core size: 95	Core Weight: 1	Total Weight: -209
191.44/191.51	c
191.44/191.51	c
191.44/191.51	c ============================[ Search Statistics ]==============================
191.44/191.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.51	c ===============================================================================
191.44/191.51	c |         0 |    2814    62945   204694 |    20981        0    nan |  0.000 % |
191.44/191.57	c |       102 |    2814    62945   204694 |    23079      102     16 |  0.565 % |
191.54/191.63	c |       254 |    2814    62945   204694 |    25387      254     17 |  0.565 % |
191.64/191.74	c |       479 |    2807    62945   204694 |    27926      479     16 |  1.237 % |
191.64/191.75	c ===============================================================================
191.74/191.87	c core #90
191.74/191.87	c 
191.74/191.87	c 
191.74/191.87	c Core size: 154	Core Weight: 1	Total Weight: -208
191.74/191.87	c
191.74/191.87	c
191.74/191.87	c ============================[ Search Statistics ]==============================
191.74/191.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.87	c ===============================================================================
191.74/191.87	c |         0 |    2947    62952   204973 |    20984        0    nan |  0.000 % |
191.84/191.91	c |       100 |    2947    62952   204973 |    23082      100     22 |  0.540 % |
191.84/191.96	c |       250 |    2947    62952   204973 |    25390      250     17 |  0.540 % |
191.93/192.03	c |       475 |    2947    62952   204973 |    27929      475     18 |  0.540 % |
192.03/192.12	c |       814 |    2947    62952   204973 |    30722      814     17 |  0.607 % |
192.13/192.29	c |      1322 |    2942    62952   204973 |    33794     1322     16 |  0.878 % |
192.23/192.38	c ===============================================================================
192.44/192.51	c core #91
192.44/192.51	c 
192.44/192.51	c 
192.44/192.51	c Core size: 165	Core Weight: 1	Total Weight: -207
192.44/192.51	c
192.44/192.51	c
192.44/192.51	c ============================[ Search Statistics ]==============================
192.44/192.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.51	c ===============================================================================
192.44/192.51	c |         0 |    3091    62961   205283 |    20987        0    nan |  0.000 % |
192.44/192.56	c |       101 |    3091    62961   205283 |    23085      101     18 |  0.515 % |
192.53/192.60	c |       253 |    3091    62961   205283 |    25394      253     17 |  0.515 % |
192.53/192.66	c |       480 |    3091    62961   205283 |    27933      480     17 |  0.515 % |
192.63/192.73	c |       818 |    3091    62961   205283 |    30727      818     19 |  0.515 % |
192.73/192.88	c |      1324 |    3091    62961   205283 |    33799     1324     25 |  0.515 % |
192.94/193.04	c |      2085 |    3091    62961   205283 |    37179     2085     26 |  0.515 % |
193.23/193.34	c |      3224 |    3091    62961   205283 |    40897     3224     28 |  0.515 % |
193.74/193.80	c |      4933 |    3091    62961   205283 |    44987     4933     28 |  0.515 % |
194.64/194.73	c |      7495 |    3091    62961   205283 |    49486     7495     29 |  0.515 % |
196.03/196.12	c |     11340 |    3087    62961   205283 |    54434    10212     28 |  0.644 % |
196.13/196.26	c ===============================================================================
196.43/196.53	c core #92
196.43/196.53	c 
196.43/196.53	c 
196.43/196.53	c Core size: 217	Core Weight: 1	Total Weight: -206
196.43/196.53	c
196.43/196.53	c
196.43/196.53	c ============================[ Search Statistics ]==============================
196.43/196.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.43/196.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.43/196.53	c ===============================================================================
196.43/196.53	c |         0 |    3280    62983   205976 |    20994        0    nan |  0.000 % |
196.53/196.60	c |       100 |    3280    62983   205976 |    23093      100     52 |  0.455 % |
196.53/196.62	c |       250 |    3280    62983   205976 |    25403      250     34 |  0.455 % |
196.53/196.67	c |       477 |    3280    62983   205976 |    27943      477     28 |  0.455 % |
196.63/196.73	c |       815 |    3280    62983   205976 |    30737      815     31 |  0.455 % |
196.74/196.84	c |      1321 |    3280    62983   205976 |    33811     1321     34 |  0.455 % |
196.84/196.98	c |      2082 |    3280    62983   205976 |    37192     2082     31 |  0.455 % |
197.13/197.24	c |      3225 |    3280    62983   205976 |    40912     3225     30 |  0.455 % |
197.64/197.77	c |      4934 |    3280    62983   205976 |    45003     4934     36 |  0.455 % |
198.43/198.51	c |      7496 |    3280    62983   205976 |    49503     7496     39 |  0.455 % |
199.73/199.80	c |     11341 |    3280    62983   205976 |    54453    11341     39 |  0.455 % |
202.54/202.60	c |     17109 |    3280    62983   205976 |    59899    17109     43 |  0.455 % |
207.13/207.24	c |     25759 |    3280    62983   205976 |    65889    25759     44 |  0.455 % |
216.33/216.49	c |     38733 |    3280    62983   205976 |    72478    38733     46 |  0.455 % |
239.82/239.94	c |     58197 |    3280    62983   205976 |    79725    58197     50 |  0.455 % |
273.21/273.37	c |     87392 |    3280    62983   205976 |    87698    22788     49 |  0.455 % |
319.60/319.76	c |    131182 |    3278    62983   205976 |    96468    26612     44 |  0.516 % |
360.48/360.67	c ===============================================================================
364.18/364.34	c core #93
364.18/364.34	c 
364.18/364.34	c 
364.18/364.34	c Core size: 226	Core Weight: 1	Total Weight: -205
364.18/364.34	c
364.18/364.34	c
364.18/364.34	c ============================[ Search Statistics ]==============================
364.18/364.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
364.18/364.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
364.18/364.34	c ===============================================================================
364.18/364.34	c |         0 |    3490    63006   206462 |    21002        0    nan |  0.000 % |
364.28/364.43	c |       100 |    3490    63006   206462 |    23102      100     68 |  0.428 % |
364.28/364.46	c |       252 |    3490    63006   206462 |    25412      252     49 |  0.428 % |
364.38/364.53	c |       478 |    3490    63006   206462 |    27953      478     49 |  0.428 % |
364.49/364.61	c |       818 |    3490    63006   206462 |    30749      818     53 |  0.428 % |
364.59/364.71	c |      1325 |    3490    63006   206462 |    33823     1325     48 |  0.428 % |
364.69/364.82	c |      2086 |    3490    63006   206462 |    37206     2086     45 |  0.428 % |
364.99/365.20	c |      3226 |    3490    63006   206462 |    40926     3226     52 |  0.428 % |
365.38/365.59	c |      4935 |    3490    63006   206462 |    45019     4935     53 |  0.428 % |
366.48/366.64	c |      7497 |    3490    63006   206462 |    49521     7497     58 |  0.428 % |
367.88/368.08	c |     11347 |    3490    63006   206462 |    54473    11347     61 |  0.428 % |
370.49/370.64	c |     17116 |    3490    63006   206462 |    59921    17116     57 |  0.428 % |
373.58/373.72	c |     25765 |    3490    63006   206462 |    65913    25765     50 |  0.428 % |
379.87/380.03	c |     38741 |    3490    63006   206462 |    72504    38741     44 |  0.428 % |
397.38/397.55	c |     58203 |    3490    63006   206462 |    79755    58203     43 |  0.428 % |
425.66/425.85	c |     87397 |    3490    63006   206462 |    87730    19744     35 |  0.428 % |
454.16/454.30	c |    131187 |    3490    63006   206462 |    96503    63534     36 |  0.428 % |
525.03/525.23	c |    196872 |    3490    63006   206462 |   106153    45014     32 |  0.428 % |
641.01/641.28	c |    295398 |    3490    63006   206462 |   116769    49878     26 |  0.428 % |
793.46/793.76	c |    443187 |    3490    63006   206462 |   128446    93441     29 |  0.428 % |
1047.28/1047.64	c |    664870 |    3490    63006   206462 |   141290    83520     31 |  0.428 % |
1470.26/1470.73	c |    997396 |    3490    63006   206462 |   155420    30190     30 |  0.428 % |

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-2680384-1277460404/watcher-2680384-1277460404 -o /tmp/evaluation-result-2680384-1277460404/solver-2680384-1277460404 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680384-1277460404.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 29719
/proc/meminfo: memFree=1852080/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=5020 CPUtime=0
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 87333152 5140480 281 1992294400 134512640 135752675 4294006896 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 1255 282 138 303 0 443 0

[startup+0.099765 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 29719
/proc/meminfo: memFree=1852080/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=5972 CPUtime=0.09
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 739 0 0 0 9 0 0 0 20 0 1 0 87333152 6115328 657 1992294400 134512640 135752675 4294006896 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 1493 657 282 303 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5972

[startup+0.101765 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 29719
/proc/meminfo: memFree=1852080/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=5972 CPUtime=0.09
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 743 0 0 0 9 0 0 0 20 0 1 0 87333152 6115328 661 1992294400 134512640 135752675 4294006896 18446744073709551615 135188624 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 1493 661 285 303 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5972

[startup+0.301793 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 29719
/proc/meminfo: memFree=1852080/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=7932 CPUtime=0.29
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 1576 0 0 0 29 0 0 0 20 0 1 0 87333152 8122368 1494 1992294400 134512640 135752675 4294006896 18446744073709551615 134559878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 1983 1495 600 303 0 1171 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7932

[startup+0.701851 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 29719
/proc/meminfo: memFree=1852080/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=7296 CPUtime=0.69
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 1976 0 0 0 65 4 0 0 18 0 1 0 87333152 7471104 1355 1992294400 134512640 135752675 4294006896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 1824 1355 144 303 0 1519 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7296

[startup+1.50097 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29720
/proc/meminfo: memFree=1846864/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=8200 CPUtime=1.49
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 2201 0 0 0 140 9 0 0 18 0 1 0 87333152 8396800 1580 1992294400 134512640 135752675 4294006896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 2050 1580 145 303 0 1745 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8200

[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29720
/proc/meminfo: memFree=1845252/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=10520 CPUtime=3.09
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 2775 0 0 0 298 11 0 0 20 0 1 0 87333152 10772480 2154 1992294400 134512640 135752675 4294006896 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 2630 2154 145 303 0 2325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10520

[startup+6.30166 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29720
/proc/meminfo: memFree=1840788/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=14340 CPUtime=6.29
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 3726 0 0 0 616 13 0 0 25 0 1 0 87333152 14684160 3105 1992294400 134512640 135752675 4294006896 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 3585 3105 145 303 0 3280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14340

[startup+12.7006 s]
/proc/loadavg: 1.08 1.02 0.96 2/107 29720
/proc/meminfo: memFree=1834712/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=19700 CPUtime=12.68
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 5058 0 0 0 1249 19 0 0 25 0 1 0 87333152 20172800 4437 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 4925 4437 145 303 0 4620 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19700

[startup+25.5014 s]
/proc/loadavg: 1.07 1.02 0.96 2/107 29722
/proc/meminfo: memFree=1828884/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=25260 CPUtime=25.48
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 6440 0 0 0 2524 24 0 0 25 0 1 0 87333152 25866240 5819 1992294400 134512640 135752675 4294006896 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 6315 5819 145 303 0 6010 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25260

[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 0.96 2/107 29722
/proc/meminfo: memFree=1811772/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=42564 CPUtime=51.08
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 10737 0 0 0 5066 42 0 0 25 0 1 0 87333152 43585536 10116 1992294400 134512640 135752675 4294006896 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 10641 10116 145 303 0 10336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42564

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 0.96 2/107 29724
/proc/meminfo: memFree=1782260/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=71796 CPUtime=102.26
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 18000 0 0 0 10153 73 0 0 25 0 1 0 87333152 73519104 17379 1992294400 134512640 135752675 4294006896 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 17949 17379 145 303 0 17644 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71796

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29724
/proc/meminfo: memFree=1754236/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=99972 CPUtime=162.25
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 25030 0 0 0 16123 102 0 0 25 0 1 0 87333152 102371328 24409 1992294400 134512640 135752675 4294006896 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 24993 24409 145 303 0 24688 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99972

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29726
/proc/meminfo: memFree=1745556/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=107240 CPUtime=222.22
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 27336 0 0 0 22092 130 0 0 25 0 1 0 87333152 109813760 26377 1992294400 134512640 135752675 4294006896 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 26810 26377 146 303 0 26505 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 107240

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29728
/proc/meminfo: memFree=1739976/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=113540 CPUtime=282.21
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 28900 0 0 0 28067 154 0 0 25 0 1 0 87333152 116264960 27941 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 28385 27941 146 303 0 28080 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 113540

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29730
/proc/meminfo: memFree=1721004/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=132144 CPUtime=342.19
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 33539 0 0 0 34041 178 0 0 25 0 1 0 87333152 135315456 32580 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 33036 32580 146 303 0 32731 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 132144

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29732
/proc/meminfo: memFree=1705380/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=147800 CPUtime=402.18
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 37425 0 0 0 40013 205 0 0 25 0 1 0 87333152 151347200 36466 1992294400 134512640 135752675 4294006896 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 36950 36466 146 303 0 36645 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 147800

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29732
/proc/meminfo: memFree=1691864/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=161644 CPUtime=462.16
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 40774 0 0 0 45984 232 0 0 25 0 1 0 87333152 165523456 39815 1992294400 134512640 135752675 4294006896 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 40411 39815 146 303 0 40106 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 161644

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29734
/proc/meminfo: memFree=1682936/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=170928 CPUtime=522.14
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 43054 0 0 0 51965 249 0 0 25 0 1 0 87333152 175030272 42095 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 42732 42095 146 303 0 42427 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 170928

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29736
/proc/meminfo: memFree=1674256/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=179792 CPUtime=582.12
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 45218 0 0 0 57943 269 0 0 25 0 1 0 87333152 184107008 44259 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 44948 44259 146 303 0 44643 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 179792

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29738
/proc/meminfo: memFree=1667188/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=186740 CPUtime=642.1
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 46902 0 0 0 63924 286 0 0 25 0 1 0 87333152 191221760 45943 1992294400 134512640 135752675 4294006896 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 46685 45943 146 303 0 46380 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 186740

[startup+702.3 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29742
/proc/meminfo: memFree=1635320/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=218344 CPUtime=822.04
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 54858 0 0 0 81858 346 0 0 25 0 1 0 87333152 223584256 53899 1992294400 134512640 135752675 4294006896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 54586 53899 146 303 0 54281 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 218344

[startup+882.301 s]
/proc/loadavg: 1.07 1.02 0.97 2/107 29744
/proc/meminfo: memFree=1624780/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=229136 CPUtime=882.03
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 57456 0 0 0 87840 363 0 0 25 0 1 0 87333152 234635264 56497 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 57284 56497 146 303 0 56979 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 229136

[startup+942.301 s]
/proc/loadavg: 1.02 1.01 0.97 2/107 29746
/proc/meminfo: memFree=1614364/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=239624 CPUtime=942.01
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 60086 0 0 0 93815 386 0 0 25 0 1 0 87333152 245374976 59127 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 59906 59127 146 303 0 59601 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 239624

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 0.97 2/107 29748
/proc/meminfo: memFree=1603328/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=250668 CPUtime=1002
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 62824 0 0 0 99793 407 0 0 25 0 1 0 87333152 256684032 61865 1992294400 134512640 135752675 4294006896 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 62667 61865 146 303 0 62362 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 250668

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29748
/proc/meminfo: memFree=1591920/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=262132 CPUtime=1061.98
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 65674 0 0 0 105772 426 0 0 25 0 1 0 87333152 268423168 64715 1992294400 134512640 135752675 4294006896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 65533 64715 146 303 0 65228 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 262132

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29750
/proc/meminfo: memFree=1584976/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=268976 CPUtime=1121.97
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 67356 0 0 0 111756 441 0 0 25 0 1 0 87333152 275431424 66397 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 67244 66397 146 303 0 66939 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 268976

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29752
/proc/meminfo: memFree=1576048/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=278132 CPUtime=1181.94
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 69608 0 0 0 117737 457 0 0 25 0 1 0 87333152 284807168 68649 1992294400 134512640 135752675 4294006896 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 69533 68649 146 303 0 69228 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 278132

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29754
/proc/meminfo: memFree=1564764/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=289324 CPUtime=1241.92
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 72372 0 0 0 123713 479 0 0 25 0 1 0 87333152 296267776 71413 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 72331 71413 146 303 0 72026 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 289324

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29756
/proc/meminfo: memFree=1556332/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=297920 CPUtime=1301.91
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 74460 0 0 0 129695 496 0 0 25 0 1 0 87333152 305070080 73501 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 74480 73501 146 303 0 74175 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 297920

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29756
/proc/meminfo: memFree=1543560/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=310940 CPUtime=1361.89
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 77690 0 0 0 135669 520 0 0 25 0 1 0 87333152 318402560 76731 1992294400 134512640 135752675 4294006896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 77735 76731 146 303 0 77430 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 310940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29758
/proc/meminfo: memFree=1533764/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=320484 CPUtime=1421.88
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 80076 0 0 0 141647 541 0 0 25 0 1 0 87333152 328175616 79117 1992294400 134512640 135752675 4294006896 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 80121 79117 146 303 0 79816 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 320484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29760
/proc/meminfo: memFree=1523224/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=331160 CPUtime=1481.86
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 82771 0 0 0 147623 563 0 0 25 0 1 0 87333152 339107840 81812 1992294400 134512640 135752675 4294006896 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 82790 81812 146 303 0 82485 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 331160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29765
/proc/meminfo: memFree=1510392/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=343200 CPUtime=1541.83
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 85751 0 0 0 153599 584 0 0 25 0 1 0 87333152 351436800 84792 1992294400 134512640 135752675 4294006896 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 85800 84792 146 303 0 85495 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 343200

[startup+1602.3 s]
/proc/loadavg: 1.05 1.01 0.97 2/107 29767
/proc/meminfo: memFree=1502952/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=350928 CPUtime=1601.82
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 87643 0 0 0 159583 599 0 0 25 0 1 0 87333152 359350272 86684 1992294400 134512640 135752675 4294006896 18446744073709551615 134605284 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 87732 86684 146 303 0 87427 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 350928

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 0.97 2/107 29767
/proc/meminfo: memFree=1496256/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=357700 CPUtime=1661.8
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 89277 0 0 0 165568 612 0 0 25 0 1 0 87333152 366284800 88318 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 89425 88318 146 303 0 89120 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 357700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29769
/proc/meminfo: memFree=1486708/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=367336 CPUtime=1721.78
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 91710 0 0 0 171553 625 0 0 25 0 1 0 87333152 376152064 90751 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 91834 90751 146 303 0 91529 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 367336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29771
/proc/meminfo: memFree=1476788/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=377212 CPUtime=1781.77
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 94156 0 0 0 177534 643 0 0 25 0 1 0 87333152 386265088 93197 1992294400 134512640 135752675 4294006896 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 94303 93197 146 303 0 93998 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 377212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 29771
/proc/meminfo: memFree=1474060/2059040 swapFree=4140284/4192956
[pid=29719] ppid=29717 vsize=379972 CPUtime=1800.07
/proc/29719/stat : 29719 (wbo1.4b) R 29717 29719 29262 0 -1 4202496 94838 0 0 0 179359 648 0 0 25 0 1 0 87333152 389091328 93879 1992294400 134512640 135752675 4294006896 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29719/statm: 94993 93879 146 303 0 94688 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 379972

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.13
CPU user time (s): 1793.6
CPU system time (s): 6.52601
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 379972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.6
system time used= 6.52601
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94838
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= 51
involuntary context switches= 19836

runsolver used 3.01854 second user time and 8.49771 second system time

The end

Launcher Data 

Begin job on node039 at 2010-06-25 12:06:44
IDJOB=2680384
IDBENCH=71830
IDSOLVER=1190
FILE ID=node039/2680384-1277460404
PBS_JOBID= 11188127
Free space on /tmp= 62340 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680384-1277460404/watcher-2680384-1277460404 -o /tmp/evaluation-result-2680384-1277460404/solver-2680384-1277460404 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680384-1277460404.opb

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

MD5SUM BENCH= 2dd11ebefc05ae8ac770ff3615713305
RANDOM SEED=7538080

node039.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.267
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
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.267
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852608 kB
Buffers:         29316 kB
Cached:          81740 kB
SwapCached:       5888 kB
Active:          26364 kB
Inactive:        98248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852608 kB
SwapTotal:     4192956 kB
SwapFree:      4140284 kB
Dirty:            4600 kB
Writeback:           0 kB
AnonPages:       11760 kB
Mapped:          12292 kB
Slab:            59936 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182072 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62340 MiB
End job on node039 at 2010-06-25 12:36:47