Trace number 2687035

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? (TO) 1800.05 1800.53

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12026_6.std.opb
MD5SUM002a977405549506cf955068ac342d61
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark196
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245199
Number of constraints which are clauses243999
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint72
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2687035-1278446338.opb.
0.00/0.00	c Instance file HOME/instance-2687035-1278446338.opb
0.00/0.00	c File size is 7603410 bytes.
1.28/1.36	c Highest Coefficient sum: 430
1.28/1.36	c ============================[ Problem Statistics ]=============================
1.28/1.36	c |                                                                             |
1.28/1.36	c |  Parsing time:          1.32         s                                      |
1.28/1.36	c |  Number Variables:      72842                                               |
1.28/1.36	c |  Number Clauses:        243999                                              |
1.28/1.36	c |  Number Cardinality:    0                                                   |
1.28/1.36	c |  Number PB Constraints: 1200                                                |
97.05/97.10	c ============================[ Search Statistics ]==============================
97.05/97.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.05/97.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.05/97.10	c ===============================================================================
97.05/97.10	c |         0 |   49899   246549   466979 |    81733        0    nan |  0.000 % |
97.05/97.18	c |       100 |   49899   246549   466979 |    89906      100     35 | 31.497 % |
97.15/97.29	c ===============================================================================
97.15/97.29	c New solution: 300
97.15/97.29	o 300
97.15/97.29	c Elapsed CPU time: 97.1192 s	Remaining CPU time: 82.8808 s
97.15/97.29	c ===============================================================================
97.15/97.29	c |       184 |   49899   246550   467279 |    82183      184     26 | 31.497 % |
97.25/97.35	c ===============================================================================
97.25/97.35	c New solution: 299
97.25/97.35	o 299
97.25/97.35	c Elapsed CPU time: 97.1772 s	Remaining CPU time: 82.8228 s
97.25/97.35	c ===============================================================================
97.25/97.35	c |       199 |   49778   246551   467579 |    82183      199     25 | 31.497 % |
97.35/97.47	c |       300 |   49772   246551   467579 |    90402      300     27 | 31.847 % |
97.44/97.58	c |       450 |   49644   246551   467579 |    99442      448     29 | 31.847 % |
97.55/97.66	c ===============================================================================
97.55/97.66	c New solution: 298
97.55/97.66	o 298
97.55/97.66	c Elapsed CPU time: 97.4822 s	Remaining CPU time: 82.5178 s
97.55/97.66	c ===============================================================================
97.55/97.66	c |       480 |   49644   246552   467879 |    82184      478     28 | 31.847 % |
97.65/97.78	c ===============================================================================
97.65/97.78	c New solution: 297
97.65/97.78	o 297
97.65/97.78	c Elapsed CPU time: 97.6052 s	Remaining CPU time: 82.3948 s
97.65/97.78	c ===============================================================================
97.65/97.78	c |       571 |   49499   246553   468179 |    82184      569     27 | 31.847 % |
97.76/97.85	c ===============================================================================
97.76/97.85	c New solution: 296
97.76/97.85	o 296
97.76/97.85	c Elapsed CPU time: 97.6692 s	Remaining CPU time: 82.3308 s
97.76/97.85	c ===============================================================================
97.76/97.85	c |       601 |   49346   246554   468479 |    82184      599     27 | 31.847 % |
97.86/97.96	c |       702 |   49183   246554   468479 |    90403      621     25 | 32.480 % |
98.05/98.10	c ===============================================================================
98.05/98.10	c New solution: 295
98.05/98.10	o 295
98.05/98.10	c Elapsed CPU time: 97.9191 s	Remaining CPU time: 82.0809 s
98.05/98.10	c ===============================================================================
98.05/98.10	c |       826 |   49183   246555   468779 |    82185      745     25 | 32.480 % |
98.15/98.23	c |       929 |   49178   246555   468779 |    90403      848     26 | 32.733 % |
98.25/98.32	c ===============================================================================
98.25/98.32	c New solution: 294
98.25/98.32	o 294
98.25/98.32	c Elapsed CPU time: 98.1371 s	Remaining CPU time: 81.8629 s
98.25/98.32	c ===============================================================================
98.25/98.32	c |       953 |   48999   246556   469079 |    82185      856     26 | 32.733 % |
98.35/98.42	c |      1055 |   48995   246556   469079 |    90403      958     26 | 32.996 % |
98.35/98.49	c ===============================================================================
98.35/98.49	c New solution: 293
98.35/98.49	o 293
98.35/98.49	c Elapsed CPU time: 98.3051 s	Remaining CPU time: 81.6949 s
98.35/98.49	c ===============================================================================
98.35/98.49	c |      1064 |   48807   246557   469379 |    82185      967     26 | 32.996 % |
98.45/98.56	c ===============================================================================
98.45/98.56	c New solution: 292
98.45/98.56	o 292
98.45/98.56	c Elapsed CPU time: 98.379 s	Remaining CPU time: 81.621 s
98.45/98.56	c ===============================================================================
98.45/98.56	c |      1074 |   48609   246558   469679 |    82186      977     26 | 32.996 % |
98.55/98.63	c ===============================================================================
98.55/98.63	c New solution: 291
98.55/98.63	o 291
98.55/98.63	c Elapsed CPU time: 98.448 s	Remaining CPU time: 81.552 s
98.55/98.63	c ===============================================================================
98.55/98.63	c |      1090 |   48387   246559   469979 |    82186      993     26 | 32.996 % |
98.65/98.73	c ===============================================================================
98.65/98.73	c New solution: 290
98.65/98.73	o 290
98.65/98.73	c Elapsed CPU time: 98.553 s	Remaining CPU time: 81.447 s
98.65/98.73	c ===============================================================================
98.65/98.73	c |      1175 |   48154   246560   470279 |    82186     1078     26 | 32.996 % |
98.75/98.85	c |      1275 |   47912   246560   470279 |    90405      982     25 | 34.225 % |
98.86/98.91	c ===============================================================================
98.86/98.91	c New solution: 289
98.86/98.91	o 289
98.86/98.91	c Elapsed CPU time: 98.732 s	Remaining CPU time: 81.268 s
98.86/98.91	c ===============================================================================
98.86/98.91	c |      1294 |   47912   246561   470579 |    82187     1001     25 | 34.225 % |
98.86/98.99	c ===============================================================================
98.86/98.99	c New solution: 288
98.86/98.99	o 288
98.86/98.99	c Elapsed CPU time: 98.811 s	Remaining CPU time: 81.189 s
98.86/98.99	c ===============================================================================
98.86/98.99	c |      1356 |   47670   246562   470879 |    82187     1063     25 | 34.225 % |
98.96/99.09	c |      1456 |   47666   246562   470879 |    90406     1163     25 | 34.889 % |
99.05/99.19	c ===============================================================================
99.05/99.19	c New solution: 287
99.05/99.19	o 287
99.05/99.19	c Elapsed CPU time: 99.0059 s	Remaining CPU time: 80.9941 s
99.05/99.19	c ===============================================================================
99.05/99.19	c |      1517 |   47428   246563   471179 |    82187     1224     25 | 34.889 % |
99.15/99.27	c ===============================================================================
99.15/99.27	c New solution: 286
99.15/99.27	o 286
99.15/99.27	c Elapsed CPU time: 99.0919 s	Remaining CPU time: 80.9081 s
99.15/99.27	c ===============================================================================
99.15/99.27	c |      1540 |   47186   246564   471479 |    82188     1090     24 | 34.889 % |
99.25/99.39	c ===============================================================================
99.25/99.39	c New solution: 285
99.25/99.39	o 285
99.25/99.39	c Elapsed CPU time: 99.2109 s	Remaining CPU time: 80.7891 s
99.25/99.39	c ===============================================================================
99.25/99.39	c |      1601 |   46944   246565   471779 |    82188     1151     24 | 34.889 % |
99.35/99.45	c ===============================================================================
99.35/99.45	c New solution: 284
99.35/99.45	o 284
99.35/99.45	c Elapsed CPU time: 99.2639 s	Remaining CPU time: 80.7361 s
99.35/99.45	c ===============================================================================
99.35/99.45	c |      1604 |   46702   246566   472079 |    82188     1154     23 | 34.889 % |
99.45/99.50	c ===============================================================================
99.45/99.50	c New solution: 283
99.45/99.50	o 283
99.45/99.50	c Elapsed CPU time: 99.3209 s	Remaining CPU time: 80.6791 s
99.45/99.50	c ===============================================================================
99.45/99.50	c |      1612 |   46460   246567   472379 |    82189     1162     23 | 34.889 % |
99.45/99.57	c ===============================================================================
99.45/99.57	c New solution: 282
99.45/99.57	o 282
99.45/99.57	c Elapsed CPU time: 99.3879 s	Remaining CPU time: 80.6121 s
99.45/99.57	c ===============================================================================
99.45/99.57	c |      1628 |   46218   246568   472679 |    82189     1178     23 | 34.889 % |
99.55/99.67	c |      1730 |   46212   246568   472679 |    90408     1280     23 | 36.883 % |
99.65/99.79	c ===============================================================================
99.65/99.79	c New solution: 281
99.65/99.79	o 281
99.65/99.79	c Elapsed CPU time: 99.5999 s	Remaining CPU time: 80.4001 s
99.65/99.79	c ===============================================================================
99.65/99.79	c |      1775 |   45976   246569   472979 |    82189     1126     23 | 36.883 % |
99.75/99.89	c ===============================================================================
99.75/99.89	c New solution: 280
99.75/99.89	o 280
99.75/99.89	c Elapsed CPU time: 99.7018 s	Remaining CPU time: 80.2982 s
99.75/99.89	c ===============================================================================
99.75/99.89	c |      1853 |   45734   246570   473279 |    82190     1204     22 | 36.883 % |
99.85/99.99	c |      1954 |   45726   246570   473279 |    90409     1305     22 | 37.547 % |
99.95/100.06	c ===============================================================================
99.95/100.06	c New solution: 279
99.95/100.06	o 279
99.95/100.06	c Elapsed CPU time: 99.8778 s	Remaining CPU time: 80.1222 s
99.95/100.06	c ===============================================================================
99.95/100.06	c |      2013 |   45492   246571   473579 |    82190     1364     22 | 37.547 % |
100.05/100.16	c |      2113 |   45250   246571   473579 |    90409     1338     23 | 37.879 % |
100.25/100.31	c |      2263 |   45250   246571   473579 |    99450     1488     24 | 37.879 % |
100.35/100.46	c ===============================================================================
100.35/100.46	c New solution: 278
100.35/100.46	o 278
100.35/100.46	c Elapsed CPU time: 100.271 s	Remaining CPU time: 79.7292 s
100.35/100.46	c ===============================================================================
100.35/100.46	c |      2415 |   45250   246572   473879 |    82190     1640     25 | 37.879 % |
100.45/100.53	c ===============================================================================
100.45/100.53	c New solution: 277
100.45/100.53	o 277
100.45/100.53	c Elapsed CPU time: 100.344 s	Remaining CPU time: 79.6563 s
100.45/100.53	c ===============================================================================
100.45/100.53	c |      2423 |   45008   246573   474179 |    82191     1613     25 | 37.879 % |
100.45/100.59	c ===============================================================================
100.45/100.59	c New solution: 276
100.45/100.59	o 276
100.45/100.59	c Elapsed CPU time: 100.405 s	Remaining CPU time: 79.5953 s
100.45/100.59	c ===============================================================================
100.45/100.59	c |      2434 |   44766   246574   474479 |    82191     1624     25 | 37.879 % |
100.54/100.66	c ===============================================================================
100.54/100.66	c New solution: 275
100.54/100.66	o 275
100.54/100.66	c Elapsed CPU time: 100.469 s	Remaining CPU time: 79.5313 s
100.54/100.66	c ===============================================================================
100.54/100.66	c |      2438 |   44524   246575   474779 |    82191     1628     25 | 37.879 % |
100.64/100.72	c ===============================================================================
100.64/100.72	c New solution: 274
100.64/100.72	o 274
100.64/100.72	c Elapsed CPU time: 100.537 s	Remaining CPU time: 79.4633 s
100.64/100.72	c ===============================================================================
100.64/100.72	c |      2446 |   44282   246576   475079 |    82192     1636     24 | 37.879 % |
100.74/100.82	c ===============================================================================
100.74/100.82	c New solution: 273
100.74/100.82	o 273
100.74/100.82	c Elapsed CPU time: 100.628 s	Remaining CPU time: 79.3723 s
100.74/100.82	c ===============================================================================
100.74/100.82	c |      2501 |   44040   246577   475379 |    82192     1691     25 | 37.879 % |
100.85/100.95	c |      2601 |   44034   246577   475379 |    90411     1791     25 | 39.873 % |
100.95/101.03	c |      2752 |   44023   246577   475379 |    99452     1942     26 | 39.873 % |
101.06/101.13	c |      2978 |   43798   246577   475379 |   109397     1802     25 | 39.873 % |
101.35/101.44	c |      3315 |   43798   246577   475379 |   120337     2139     26 | 39.873 % |
101.45/101.58	c ===============================================================================
101.45/101.58	c New solution: 272
101.45/101.58	o 272
101.45/101.58	c Elapsed CPU time: 101.383 s	Remaining CPU time: 78.6174 s
101.45/101.58	c ===============================================================================
101.45/101.58	c |      3438 |   43798   246578   475679 |    82192     2262     26 | 39.873 % |
101.55/101.67	c |      3540 |   43556   246578   475679 |    90411     2316     26 | 40.205 % |
101.65/101.77	c |      3692 |   43556   246578   475679 |    99453     2468     26 | 40.205 % |
101.84/101.92	c |      3917 |   43556   246578   475679 |   109398     2693     27 | 40.205 % |
102.15/102.21	c |      4254 |   43556   246578   475679 |   120338     3030     27 | 40.205 % |
102.34/102.44	c ===============================================================================
102.34/102.44	c New solution: 271
102.34/102.44	o 271
102.34/102.44	c Elapsed CPU time: 102.242 s	Remaining CPU time: 77.7575 s
102.34/102.44	c ===============================================================================
102.34/102.44	c |      4489 |   43556   246579   475979 |    82193     3265     28 | 40.205 % |
102.44/102.56	c |      4589 |   43314   246579   475979 |    90412     3278     28 | 40.537 % |
102.54/102.63	c ===============================================================================
102.54/102.63	c New solution: 270
102.54/102.63	o 270
102.54/102.63	c Elapsed CPU time: 102.435 s	Remaining CPU time: 77.5646 s
102.54/102.63	c ===============================================================================
102.54/102.63	c |      4612 |   43314   246580   476279 |    82193     3301     28 | 40.537 % |
102.64/102.70	c ===============================================================================
102.64/102.70	c New solution: 269
102.64/102.70	o 269
102.64/102.70	c Elapsed CPU time: 102.503 s	Remaining CPU time: 77.4966 s
102.64/102.70	c ===============================================================================
102.64/102.70	c |      4620 |   43072   246581   476579 |    82193     3309     28 | 40.537 % |
102.64/102.77	c ===============================================================================
102.64/102.77	c New solution: 268
102.64/102.77	o 268
102.64/102.77	c Elapsed CPU time: 102.574 s	Remaining CPU time: 77.4256 s
102.64/102.77	c ===============================================================================
102.64/102.77	c |      4645 |   42830   246582   476879 |    82194     3334     28 | 40.537 % |
102.74/102.84	c ===============================================================================
102.74/102.84	c New solution: 267
102.74/102.84	o 267
102.74/102.84	c Elapsed CPU time: 102.642 s	Remaining CPU time: 77.3576 s
102.74/102.84	c ===============================================================================
102.74/102.84	c |      4658 |   42588   246583   477179 |    82194     3347     28 | 40.537 % |
102.84/102.92	c ===============================================================================
102.84/102.92	c New solution: 266
102.84/102.92	o 266
102.84/102.92	c Elapsed CPU time: 102.718 s	Remaining CPU time: 77.2816 s
102.84/102.92	c ===============================================================================
102.84/102.92	c |      4678 |   42346   246584   477479 |    82194     3367     28 | 40.537 % |
102.84/102.98	c ===============================================================================
102.84/102.98	c New solution: 265
102.84/102.98	o 265
102.84/102.98	c Elapsed CPU time: 102.782 s	Remaining CPU time: 77.2176 s
102.84/102.98	c ===============================================================================
102.84/102.98	c |      4702 |   42104   246585   477779 |    82195     3391     27 | 40.537 % |
102.94/103.05	c |      4803 |   42102   246585   477779 |    90414     3492     27 | 42.530 % |
103.15/103.20	c |      4954 |   41862   246585   477779 |    99455     3011     26 | 42.530 % |
103.15/103.28	c ===============================================================================
103.15/103.28	c New solution: 264
103.15/103.28	o 264
103.15/103.28	c Elapsed CPU time: 103.078 s	Remaining CPU time: 76.9217 s
103.15/103.28	c ===============================================================================
103.15/103.28	c |      4980 |   41862   246586   478079 |    82195     3037     25 | 42.530 % |
103.26/103.35	c |      5080 |   41828   246586   478079 |    90414     3137     25 | 42.863 % |
103.36/103.47	c |      5232 |   41826   246586   478079 |    99456     3289     25 | 42.863 % |
103.45/103.55	c ===============================================================================
103.45/103.55	c New solution: 263
103.45/103.55	o 263
103.45/103.55	c Elapsed CPU time: 103.353 s	Remaining CPU time: 76.6467 s
103.45/103.55	c ===============================================================================
103.45/103.55	c |      5260 |   41620   246587   478379 |    82195     3173     25 | 42.863 % |
103.55/103.65	c ===============================================================================
103.55/103.65	c New solution: 262
103.55/103.65	o 262
103.55/103.65	c Elapsed CPU time: 103.453 s	Remaining CPU time: 76.5467 s
103.55/103.65	c ===============================================================================
103.55/103.65	c |      5321 |   41378   246588   478679 |    82196     3234     25 | 42.863 % |
103.65/103.75	c ===============================================================================
103.65/103.75	c New solution: 261
103.65/103.75	o 261
103.65/103.75	c Elapsed CPU time: 103.548 s	Remaining CPU time: 76.4517 s
103.65/103.75	c ===============================================================================
103.65/103.75	c |      5371 |   41136   246589   478979 |    82196     3284     25 | 42.863 % |
103.75/103.83	c ===============================================================================
103.75/103.83	c New solution: 260
103.75/103.83	o 260
103.75/103.83	c Elapsed CPU time: 103.632 s	Remaining CPU time: 76.3678 s
103.75/103.83	c ===============================================================================
103.75/103.83	c |      5399 |   40894   246590   479279 |    82196     3312     25 | 42.863 % |
103.85/103.91	c ===============================================================================
103.85/103.91	c New solution: 259
103.85/103.91	o 259
103.85/103.91	c Elapsed CPU time: 103.709 s	Remaining CPU time: 76.2908 s
103.85/103.91	c ===============================================================================
103.85/103.91	c |      5438 |   40652   246591   479579 |    82197     3351     25 | 42.863 % |
103.95/104.05	c |      5538 |   40649   246591   479579 |    90416     3451     25 | 44.524 % |
104.15/104.27	c |      5688 |   40410   246591   479579 |    99458     2936     23 | 44.524 % |
104.25/104.33	c ===============================================================================
104.25/104.33	c New solution: 258
104.25/104.33	o 258
104.25/104.33	c Elapsed CPU time: 104.125 s	Remaining CPU time: 75.8748 s
104.25/104.33	c ===============================================================================
104.25/104.33	c |      5702 |   40410   246592   479879 |    82197     2950     23 | 44.524 % |
104.35/104.41	c ===============================================================================
104.35/104.41	c New solution: 257
104.35/104.41	o 257
104.35/104.41	c Elapsed CPU time: 104.202 s	Remaining CPU time: 75.7978 s
104.35/104.41	c ===============================================================================
104.35/104.41	c |      5738 |   40168   246593   480179 |    82197     2986     23 | 44.524 % |
104.35/104.48	c |      5838 |   40166   246593   480179 |    90417     3086     23 | 45.188 % |
104.55/104.62	c ===============================================================================
104.55/104.62	c New solution: 256
104.55/104.62	o 256
104.55/104.62	c Elapsed CPU time: 104.411 s	Remaining CPU time: 75.5889 s
104.55/104.62	c ===============================================================================
104.55/104.62	c |      5932 |   39926   246594   480479 |    82198     2912     23 | 45.188 % |
104.65/104.71	c |      6034 |   39921   246594   480479 |    90417     3014     23 | 45.520 % |
104.84/104.90	c |      6185 |   39908   246594   480479 |    99459     3165     24 | 45.520 % |
104.84/104.99	c ===============================================================================
104.84/104.99	c New solution: 255
104.84/104.99	o 255
104.84/104.99	c Elapsed CPU time: 104.781 s	Remaining CPU time: 75.2189 s
104.84/104.99	c ===============================================================================
104.84/104.99	c |      6217 |   39684   246595   480779 |    82198     3048     23 | 45.520 % |
104.94/105.05	c ===============================================================================
104.94/105.05	c New solution: 254
104.94/105.05	o 254
104.94/105.05	c Elapsed CPU time: 104.843 s	Remaining CPU time: 75.1569 s
104.94/105.05	c ===============================================================================
104.94/105.05	c |      6234 |   39442   246596   481079 |    82198     3065     23 | 45.520 % |
105.04/105.11	c |      6335 |   39440   246596   481079 |    90418     3166     23 | 46.185 % |
105.14/105.23	c |      6486 |   39436   246596   481079 |    99460     3317     23 | 46.185 % |
105.24/105.31	c ===============================================================================
105.24/105.31	c New solution: 253
105.24/105.31	o 253
105.24/105.31	c Elapsed CPU time: 105.098 s	Remaining CPU time: 74.902 s
105.24/105.31	c ===============================================================================
105.24/105.31	c |      6517 |   39200   246597   481379 |    82199     3348     23 | 46.185 % |
105.24/105.37	c ===============================================================================
105.24/105.37	c New solution: 252
105.24/105.37	o 252
105.24/105.37	c Elapsed CPU time: 105.161 s	Remaining CPU time: 74.839 s
105.24/105.37	c ===============================================================================
105.24/105.37	c |      6525 |   38958   246598   481679 |    82199     3356     23 | 46.185 % |
105.34/105.43	c ===============================================================================
105.34/105.43	c New solution: 251
105.34/105.43	o 251
105.34/105.43	c Elapsed CPU time: 105.224 s	Remaining CPU time: 74.776 s
105.34/105.43	c ===============================================================================
105.34/105.43	c |      6540 |   38716   246599   481979 |    82199     2885     22 | 46.185 % |
105.34/105.49	c ===============================================================================
105.34/105.49	c New solution: 250
105.34/105.49	o 250
105.34/105.49	c Elapsed CPU time: 105.28 s	Remaining CPU time: 74.72 s
105.34/105.49	c ===============================================================================
105.34/105.49	c |      6552 |   38474   246600   482279 |    82200     2897     22 | 46.185 % |
105.46/105.59	c |      6653 |   38471   246600   482279 |    90420     2998     23 | 47.514 % |
105.56/105.65	c ===============================================================================
105.56/105.65	c New solution: 249
105.56/105.65	o 249
105.56/105.65	c Elapsed CPU time: 105.443 s	Remaining CPU time: 74.557 s
105.56/105.65	c ===============================================================================
105.56/105.65	c |      6669 |   38232   246601   482579 |    82200     3014     23 | 47.514 % |
105.65/105.72	c ===============================================================================
105.65/105.72	c New solution: 248
105.65/105.72	o 248
105.65/105.72	c Elapsed CPU time: 105.502 s	Remaining CPU time: 74.498 s
105.65/105.72	c ===============================================================================
105.65/105.72	c |      6681 |   37990   246602   482879 |    82200     3026     22 | 47.514 % |
105.75/105.81	c |      6783 |   37986   246602   482879 |    90420     3128     23 | 48.178 % |
105.75/105.88	c ===============================================================================
105.75/105.88	c New solution: 247
105.75/105.88	o 247
105.75/105.88	c Elapsed CPU time: 105.666 s	Remaining CPU time: 74.3341 s
105.75/105.88	c ===============================================================================
105.75/105.88	c |      6799 |   37748   246603   483179 |    82201     3144     23 | 48.178 % |
105.85/105.95	c ===============================================================================
105.85/105.95	c New solution: 246
105.85/105.95	o 246
105.85/105.95	c Elapsed CPU time: 105.739 s	Remaining CPU time: 74.2611 s
105.85/105.95	c ===============================================================================
105.85/105.95	c |      6809 |   37506   246604   483479 |    82201     2613     22 | 48.178 % |
105.95/106.04	c ===============================================================================
105.95/106.04	c New solution: 245
105.95/106.04	o 245
105.95/106.04	c Elapsed CPU time: 105.823 s	Remaining CPU time: 74.1771 s
105.95/106.04	c ===============================================================================
105.95/106.04	c |      6889 |   37264   246605   483779 |    82201     2693     22 | 48.178 % |
106.04/106.12	c |      6989 |   37259   246605   483779 |    90421     2793     22 | 49.175 % |
106.15/106.22	c ===============================================================================
106.15/106.22	c New solution: 244
106.15/106.22	o 244
106.15/106.22	c Elapsed CPU time: 106.003 s	Remaining CPU time: 73.9971 s
106.15/106.22	c ===============================================================================
106.15/106.22	c |      7035 |   37022   246606   484079 |    82202     2839     22 | 49.175 % |
106.25/106.31	c ===============================================================================
106.25/106.31	c New solution: 243
106.25/106.31	o 243
106.25/106.31	c Elapsed CPU time: 106.085 s	Remaining CPU time: 73.9151 s
106.25/106.31	c ===============================================================================
106.25/106.31	c |      7065 |   36780   246607   484379 |    82202     2869     22 | 49.175 % |
106.25/106.38	c ===============================================================================
106.25/106.38	c New solution: 242
106.25/106.38	o 242
106.25/106.38	c Elapsed CPU time: 106.155 s	Remaining CPU time: 73.8451 s
106.25/106.38	c ===============================================================================
106.25/106.38	c |      7102 |   36538   246608   484679 |    82202     2906     22 | 49.175 % |
106.35/106.48	c ===============================================================================
106.35/106.48	c New solution: 241
106.35/106.48	o 241
106.35/106.48	c Elapsed CPU time: 106.254 s	Remaining CPU time: 73.7462 s
106.35/106.48	c ===============================================================================
106.35/106.48	c |      7171 |   36296   246609   484979 |    82203     2575     21 | 49.175 % |
106.45/106.55	c |      7271 |   36248   246609   484979 |    90423     2675     22 | 50.504 % |
106.55/106.64	c ===============================================================================
106.55/106.64	c New solution: 240
106.55/106.64	o 240
106.55/106.64	c Elapsed CPU time: 106.415 s	Remaining CPU time: 73.5852 s
106.55/106.64	c ===============================================================================
106.55/106.64	c |      7327 |   36054   246610   485279 |    82203     2731     22 | 50.504 % |
106.66/106.76	c ===============================================================================
106.66/106.76	c New solution: 239
106.66/106.76	o 239
106.66/106.76	c Elapsed CPU time: 106.533 s	Remaining CPU time: 73.4672 s
106.66/106.76	c ===============================================================================
106.66/106.76	c |      7423 |   35812   246611   485579 |    82203     2827     22 | 50.504 % |
106.75/106.84	c ===============================================================================
106.75/106.84	c New solution: 238
106.75/106.84	o 238
106.75/106.84	c Elapsed CPU time: 106.614 s	Remaining CPU time: 73.3862 s
106.75/106.84	c ===============================================================================
106.75/106.84	c |      7480 |   35570   246612   485879 |    82204     2884     22 | 50.504 % |
106.85/106.93	c |      7580 |   35550   246612   485879 |    90424     2984     22 | 51.501 % |
106.95/107.08	c |      7731 |   35328   246612   485879 |    99466     2814     23 | 51.501 % |
107.05/107.15	c ===============================================================================
107.05/107.15	c New solution: 237
107.05/107.15	o 237
107.05/107.15	c Elapsed CPU time: 106.924 s	Remaining CPU time: 73.0763 s
107.05/107.15	c ===============================================================================
107.05/107.15	c |      7771 |   35328   246613   486179 |    82204     2854     22 | 51.501 % |
107.14/107.22	c ===============================================================================
107.14/107.22	c New solution: 236
107.14/107.22	o 236
107.14/107.22	c Elapsed CPU time: 106.99 s	Remaining CPU time: 73.0103 s
107.14/107.22	c ===============================================================================
107.14/107.22	c |      7798 |   35086   246614   486479 |    82204     2881     22 | 51.501 % |
107.24/107.30	c |      7900 |   35080   246614   486479 |    90425     2983     23 | 52.165 % |
107.24/107.38	c ===============================================================================
107.24/107.38	c New solution: 235
107.24/107.38	o 235
107.24/107.38	c Elapsed CPU time: 107.154 s	Remaining CPU time: 72.8463 s
107.24/107.38	c ===============================================================================
107.24/107.38	c |      7951 |   34844   246615   486779 |    82205     3034     23 | 52.165 % |
107.34/107.47	c |      8051 |   34833   246615   486779 |    90425     3134     23 | 52.497 % |
107.44/107.53	c ===============================================================================
107.44/107.53	c New solution: 234
107.44/107.53	o 234
107.44/107.53	c Elapsed CPU time: 107.306 s	Remaining CPU time: 72.6943 s
107.44/107.53	c ===============================================================================
107.44/107.53	c |      8059 |   34602   246616   487079 |    82205     2836     22 | 52.497 % |
107.54/107.62	c |      8160 |   34537   246616   487079 |    90425     2937     22 | 52.829 % |
107.65/107.76	c |      8311 |   34537   246616   487079 |    99468     3088     22 | 52.829 % |
107.76/107.82	c ===============================================================================
107.76/107.82	c New solution: 233
107.76/107.82	o 233
107.76/107.82	c Elapsed CPU time: 107.593 s	Remaining CPU time: 72.4074 s
107.76/107.82	c ===============================================================================
107.76/107.82	c |      8323 |   34360   246617   487379 |    82205     3100     22 | 52.829 % |
107.76/107.89	c |      8424 |   34332   246617   487379 |    90426     3201     22 | 53.162 % |
107.85/107.99	c |      8575 |   34331   246617   487379 |    99468     3352     22 | 53.162 % |
107.95/108.08	c ===============================================================================
107.95/108.08	c New solution: 232
107.95/108.08	o 232
107.95/108.08	c Elapsed CPU time: 107.851 s	Remaining CPU time: 72.1494 s
107.95/108.08	c ===============================================================================
107.95/108.08	c |      8618 |   34118   246618   487679 |    82206     3151     22 | 53.162 % |
108.05/108.15	c ===============================================================================
108.05/108.15	c New solution: 231
108.05/108.15	o 231
108.05/108.15	c Elapsed CPU time: 107.916 s	Remaining CPU time: 72.0844 s
108.05/108.15	c ===============================================================================
108.05/108.15	c |      8629 |   33876   246619   487979 |    82206     3162     21 | 53.162 % |
108.15/108.26	c |      8731 |   33870   246619   487979 |    90426     3264     22 | 53.826 % |
108.25/108.31	c ===============================================================================
108.25/108.31	c New solution: 230
108.25/108.31	o 230
108.25/108.31	c Elapsed CPU time: 108.079 s	Remaining CPU time: 71.9214 s
108.25/108.31	c ===============================================================================
108.25/108.31	c |      8740 |   33634   246620   488279 |    82206     3273     22 | 53.826 % |
108.25/108.38	c ===============================================================================
108.25/108.38	c New solution: 229
108.25/108.38	o 229
108.25/108.38	c Elapsed CPU time: 108.142 s	Remaining CPU time: 71.8584 s
108.25/108.38	c ===============================================================================
108.25/108.38	c |      8754 |   33392   246621   488579 |    82207     3287     22 | 53.826 % |
108.34/108.44	c ===============================================================================
108.34/108.44	c New solution: 228
108.34/108.44	o 228
108.34/108.44	c Elapsed CPU time: 108.205 s	Remaining CPU time: 71.7955 s
108.34/108.44	c ===============================================================================
108.34/108.44	c |      8796 |   33150   246622   488879 |    82207     3329     22 | 53.826 % |
108.44/108.53	c |      8896 |   33145   246622   488879 |    90428     3429     22 | 54.823 % |
108.54/108.62	c ===============================================================================
108.54/108.62	c New solution: 227
108.54/108.62	o 227
108.54/108.62	c Elapsed CPU time: 108.38 s	Remaining CPU time: 71.6205 s
108.54/108.62	c ===============================================================================
108.54/108.62	c |      8989 |   32908   246623   489179 |    82207     3522     23 | 54.823 % |
108.64/108.74	c |      9089 |   32666   246623   489179 |    90428     2783     22 | 55.155 % |
108.75/108.83	c ===============================================================================
108.75/108.83	c New solution: 226
108.75/108.83	o 226
108.75/108.83	c Elapsed CPU time: 108.587 s	Remaining CPU time: 71.4125 s
108.75/108.83	c ===============================================================================
108.75/108.83	c |      9149 |   32666   246624   489479 |    82208     2843     22 | 55.155 % |
108.75/108.89	c |      9249 |   32655   246624   489479 |    90428     2943     22 | 55.487 % |
108.94/109.02	c |      9399 |   32647   246624   489479 |    99471     3093     23 | 55.487 % |
109.25/109.30	c |      9625 |   32642   246624   489479 |   109418     3319     24 | 55.487 % |
109.25/109.38	c ===============================================================================
109.25/109.38	c New solution: 225
109.25/109.38	o 225
109.25/109.38	c Elapsed CPU time: 109.137 s	Remaining CPU time: 70.8626 s
109.25/109.38	c ===============================================================================
109.25/109.38	c |      9658 |   32424   246625   489779 |    82208     3265     24 | 55.487 % |
109.35/109.44	c ===============================================================================
109.35/109.44	c New solution: 224
109.35/109.44	o 224
109.35/109.44	c Elapsed CPU time: 109.199 s	Remaining CPU time: 70.8006 s
109.35/109.44	c ===============================================================================
109.35/109.44	c |      9686 |   32182   246626   490079 |    82208     3293     24 | 55.487 % |
109.45/109.52	c |      9787 |   32178   246626   490079 |    90429     3394     24 | 56.152 % |
109.65/109.70	c |      9939 |   32166   246626   490079 |    99472     3546     25 | 56.152 % |
109.65/109.77	c ===============================================================================
109.65/109.77	c New solution: 223
109.65/109.77	o 223
109.65/109.77	c Elapsed CPU time: 109.522 s	Remaining CPU time: 70.4776 s
109.65/109.77	c ===============================================================================
109.65/109.77	c |      9974 |   31940   246627   490379 |    82209     3581     24 | 56.152 % |
109.75/109.83	c |     10075 |   31933   246627   490379 |    90429     3682     25 | 56.484 % |
109.86/109.93	c |     10225 |   31698   246627   490379 |    99472     3379     23 | 56.484 % |
109.95/110.01	c ===============================================================================
109.95/110.01	c New solution: 222
109.95/110.01	o 222
109.95/110.01	c Elapsed CPU time: 109.764 s	Remaining CPU time: 70.2357 s
109.95/110.01	c ===============================================================================
109.95/110.01	c |     10260 |   31698   246628   490679 |    82209     3414     23 | 56.484 % |
109.95/110.09	c ===============================================================================
109.95/110.09	c New solution: 221
109.95/110.09	o 221
109.95/110.09	c Elapsed CPU time: 109.839 s	Remaining CPU time: 70.1607 s
109.95/110.09	c ===============================================================================
109.95/110.09	c |     10327 |   31456   246629   490979 |    82209     3481     23 | 56.484 % |
110.05/110.16	c |     10427 |   31451   246629   490979 |    90430     3581     23 | 57.148 % |
110.15/110.27	c ===============================================================================
110.15/110.27	c New solution: 220
110.15/110.27	o 220
110.15/110.27	c Elapsed CPU time: 110.018 s	Remaining CPU time: 69.9817 s
110.15/110.27	c ===============================================================================
110.15/110.27	c |     10482 |   31214   246630   491279 |    82210     3636     23 | 57.148 % |
110.25/110.32	c |     10582 |   31189   246630   491279 |    90431     3736     23 | 57.481 % |
110.34/110.41	c |     10732 |   30972   246630   491279 |    99474     3422     22 | 57.481 % |
110.54/110.68	c |     10957 |   30972   246630   491279 |   109421     3647     22 | 57.481 % |
110.64/110.74	c ===============================================================================
110.64/110.74	c New solution: 219
110.64/110.74	o 219
110.64/110.74	c Elapsed CPU time: 110.486 s	Remaining CPU time: 69.5138 s
110.64/110.74	c ===============================================================================
110.64/110.74	c |     10980 |   30972   246631   491579 |    82210     3670     22 | 57.481 % |
110.74/110.81	c ===============================================================================
110.74/110.81	c New solution: 218
110.74/110.81	o 218
110.74/110.81	c Elapsed CPU time: 110.557 s	Remaining CPU time: 69.4428 s
110.74/110.81	c ===============================================================================
110.74/110.81	c |     11013 |   30700   246632   491879 |    82210     3703     22 | 57.481 % |
110.84/110.94	c |     11113 |   30464   246632   491879 |    90431     3546     22 | 58.178 % |
110.96/111.07	c |     11263 |   30464   246632   491879 |    99474     3696     23 | 58.178 % |
111.06/111.15	c ===============================================================================
111.06/111.15	c New solution: 217
111.06/111.15	o 217
111.06/111.15	c Elapsed CPU time: 110.901 s	Remaining CPU time: 69.0989 s
111.06/111.15	c ===============================================================================
111.06/111.15	c |     11321 |   30464   246633   492179 |    82211     3754     23 | 58.178 % |
111.15/111.25	c |     11422 |   30455   246633   492179 |    90432     3855     23 | 58.502 % |
111.25/111.32	c ===============================================================================
111.25/111.32	c New solution: 216
111.25/111.32	o 216
111.25/111.32	c Elapsed CPU time: 111.063 s	Remaining CPU time: 68.9369 s
111.25/111.32	c ===============================================================================
111.25/111.32	c |     11462 |   30228   246634   492479 |    82211     3753     23 | 58.502 % |
111.25/111.39	c |     11562 |   30204   246634   492479 |    90432     3853     23 | 58.826 % |
111.45/111.59	c |     11713 |   30201   246634   492479 |    99475     4004     23 | 58.826 % |
111.55/111.64	c ===============================================================================
111.55/111.64	c New solution: 215
111.55/111.64	o 215
111.55/111.64	c Elapsed CPU time: 111.39 s	Remaining CPU time: 68.6099 s
111.55/111.64	c ===============================================================================
111.55/111.64	c |     11733 |   29992   246635   492779 |    82211     4024     23 | 58.826 % |
111.65/111.71	c |     11833 |   29983   246635   492779 |    90432     4124     23 | 59.150 % |
111.75/111.85	c |     11983 |   29978   246635   492779 |    99476     4274     24 | 59.150 % |
111.84/111.97	c |     12209 |   29756   246635   492779 |   109423     4202     24 | 59.150 % |
112.15/112.22	c |     12547 |   29756   246635   492779 |   120366     4540     24 | 59.150 % |
112.64/112.77	c |     13054 |   29756   246635   492779 |   132402     5047     26 | 59.150 % |
112.74/112.83	c ===============================================================================
112.74/112.83	c New solution: 214
112.74/112.83	o 214
112.74/112.83	c Elapsed CPU time: 112.567 s	Remaining CPU time: 67.4331 s
112.74/112.83	c ===============================================================================
112.74/112.83	c |     13074 |   29756   246636   493079 |    82212     5067     26 | 59.150 % |
112.74/112.88	c |     13174 |   29520   246636   493079 |    90433     4976     25 | 59.474 % |
112.94/113.04	c |     13324 |   29520   246636   493079 |    99476     5126     25 | 59.474 % |
113.04/113.16	c |     13549 |   29520   246636   493079 |   109424     5351     25 | 59.474 % |
113.25/113.37	c |     13886 |   29520   246636   493079 |   120366     5688     25 | 59.474 % |
113.44/113.58	c ===============================================================================
113.44/113.58	c New solution: 213
113.44/113.58	o 213
113.44/113.58	c Elapsed CPU time: 113.321 s	Remaining CPU time: 66.6792 s
113.44/113.58	c ===============================================================================
113.44/113.58	c |     14330 |   29520   246637   493379 |    82212     6132     26 | 59.474 % |
113.65/113.72	c |     14431 |   29278   246637   493379 |    90433     6070     26 | 59.806 % |
113.75/113.81	c |     14583 |   29278   246637   493379 |    99476     6222     26 | 59.806 % |
113.94/114.04	c |     14808 |   29278   246637   493379 |   109424     6447     26 | 59.806 % |
114.04/114.14	c ===============================================================================
114.04/114.14	c New solution: 212
114.04/114.14	o 212
114.04/114.14	c Elapsed CPU time: 113.874 s	Remaining CPU time: 66.1263 s
114.04/114.14	c ===============================================================================
114.04/114.14	c |     14895 |   29278   246638   493679 |    82212     6534     26 | 59.806 % |
114.14/114.22	c |     14995 |   29036   246638   493679 |    90433     6357     26 | 60.138 % |
114.25/114.31	c |     15145 |   29036   246638   493679 |    99477     6507     25 | 60.138 % |
114.45/114.60	c |     15371 |   29036   246638   493679 |   109425     6733     26 | 60.138 % |
114.65/114.76	c ===============================================================================
114.65/114.76	c New solution: 211
114.65/114.76	o 211
114.65/114.76	c Elapsed CPU time: 114.491 s	Remaining CPU time: 65.5094 s
114.65/114.76	c ===============================================================================
114.65/114.76	c |     15471 |   29004   246639   493979 |    82213     6833     26 | 60.138 % |
114.75/114.86	c |     15571 |   28778   246639   493979 |    90434     6677     26 | 60.493 % |
114.95/115.00	c |     15721 |   28778   246639   493979 |    99477     6827     26 | 60.493 % |
115.04/115.11	c |     15946 |   28778   246639   493979 |   109425     7052     26 | 60.493 % |
115.24/115.39	c |     16285 |   28778   246639   493979 |   120368     7391     26 | 60.493 % |
115.84/115.95	c |     16793 |   28778   246639   493979 |   132404     7899     28 | 60.493 % |
116.04/116.11	c ===============================================================================
116.04/116.11	c New solution: 210
116.04/116.11	o 210
116.04/116.11	c Elapsed CPU time: 115.834 s	Remaining CPU time: 64.1656 s
116.04/116.11	c ===============================================================================
116.04/116.11	c |     16929 |   28778   246640   494279 |    82213     8035     27 | 60.493 % |
116.04/116.19	c |     17029 |   28552   246640   494279 |    90434     7910     27 | 60.803 % |
116.24/116.35	c |     17181 |   28552   246640   494279 |    99478     8062     27 | 60.803 % |
116.34/116.48	c |     17407 |   28552   246640   494279 |   109425     8288     27 | 60.803 % |
116.74/116.83	c |     17744 |   28552   246640   494279 |   120368     8625     28 | 60.803 % |
117.24/117.30	c |     18250 |   28552   246640   494279 |   132405     9131     28 | 60.803 % |
118.05/118.15	c |     19009 |   28552   246640   494279 |   145645     9890     29 | 60.803 % |
118.45/118.57	c |     20149 |   28552   246640   494279 |   160210    11030     30 | 60.803 % |
120.34/120.47	c |     21860 |   28552   246640   494279 |   176231    12741     33 | 60.803 % |
120.44/120.59	c ===============================================================================
120.44/120.59	c New solution: 209
120.44/120.59	o 209
120.44/120.59	c Elapsed CPU time: 120.296 s	Remaining CPU time: 59.7043 s
120.44/120.59	c ===============================================================================
120.44/120.59	c |     21957 |   28552   246641   494579 |    82213    12838     33 | 60.803 % |
120.54/120.69	c |     22058 |   28310   246641   494579 |    90435    12562     33 | 61.135 % |
120.74/120.85	c |     22208 |   28310   246641   494579 |    99478    12712     33 | 61.135 % |
120.85/120.97	c |     22434 |   28310   246641   494579 |   109426    12938     33 | 61.135 % |
121.15/121.22	c |     22771 |   28310   246641   494579 |   120369    13275     33 | 61.135 % |
121.74/121.81	c |     23277 |   28310   246641   494579 |   132405    13781     33 | 61.135 % |
121.95/122.00	c ===============================================================================
121.95/122.00	c New solution: 208
121.95/122.00	o 208
121.95/122.00	c Elapsed CPU time: 121.703 s	Remaining CPU time: 58.2965 s
121.95/122.00	c ===============================================================================
121.95/122.00	c |     23646 |   28310   246642   494879 |    82214    14150     33 | 61.135 % |
122.05/122.14	c |     23748 |   28068   246642   494879 |    90435    13900     33 | 61.467 % |
122.14/122.23	c ===============================================================================
122.14/122.23	c New solution: 207
122.14/122.23	o 207
122.14/122.23	c Elapsed CPU time: 121.925 s	Remaining CPU time: 58.0745 s
122.14/122.23	c ===============================================================================
122.14/122.23	c |     23795 |   28068   246643   495179 |    82214    13947     33 | 61.467 % |
122.24/122.30	c |     23896 |   28054   246643   495179 |    90435    14048     32 | 61.800 % |
122.34/122.49	c |     24046 |   28051   246643   495179 |    99479    14198     32 | 61.800 % |
122.54/122.61	c |     24271 |   28036   246643   495179 |   109427    14423     32 | 61.800 % |
122.74/122.86	c |     24609 |   28036   246643   495179 |   120370    14761     32 | 61.800 % |
123.04/123.18	c |     25115 |   27826   246643   495179 |   132407    15026     33 | 61.800 % |
123.94/124.04	c |     25875 |   27826   246643   495179 |   145647    15786     33 | 61.800 % |
124.63/124.73	c |     27015 |   27826   246643   495179 |   160212    16926     34 | 61.800 % |
126.53/126.60	c |     28725 |   27802   246643   495179 |   176233    18631     38 | 61.832 % |
126.63/126.77	c ===============================================================================
126.63/126.77	c New solution: 206
126.63/126.77	o 206
126.63/126.77	c Elapsed CPU time: 126.431 s	Remaining CPU time: 53.5692 s
126.63/126.77	c ===============================================================================
126.63/126.77	c |     28897 |   27802   246644   495479 |    82214    18803     38 | 61.832 % |
126.83/126.90	c |     28997 |   27566   246644   495479 |    90436    18481     38 | 62.156 % |
126.93/127.01	c |     29148 |   27566   246644   495479 |    99479    18632     38 | 62.156 % |
127.23/127.31	c |     29373 |   27566   246644   495479 |   109427    18857     38 | 62.156 % |
127.44/127.51	c |     29710 |   27566   246644   495479 |   120370    19194     38 | 62.156 % |
127.93/128.04	c |     30217 |   27566   246644   495479 |   132407    19701     38 | 62.156 % |
128.44/128.51	c |     30977 |   27566   246644   495479 |   145648    20461     38 | 62.156 % |
130.13/130.21	c |     32117 |   27566   246644   495479 |   160213    21601     38 | 62.156 % |
132.23/132.32	c |     33825 |   27566   246644   495479 |   176234    23309     38 | 62.156 % |
133.53/133.61	c |     36388 |   27566   246644   495479 |   193857    25872     38 | 62.156 % |
138.13/138.28	c |     40232 |   27566   246644   495479 |   213243    29716     40 | 62.156 % |
139.83/139.99	c ===============================================================================
139.83/139.99	c New solution: 205
139.83/139.99	o 205
139.83/139.99	c Elapsed CPU time: 139.598 s	Remaining CPU time: 40.4022 s
139.83/139.99	c ===============================================================================
139.83/139.99	c |     43865 |   27566   246645   495779 |    82215    33349     39 | 62.156 % |
140.03/140.13	c |     43965 |   27330   246645   495779 |    90436    32708     39 | 62.480 % |
140.23/140.31	c |     44115 |   27330   246645   495779 |    99480    32858     39 | 62.480 % |
140.33/140.48	c |     44340 |   27330   246645   495779 |   109428    33083     39 | 62.480 % |
140.63/140.79	c ===============================================================================
140.63/140.79	c New solution: 204
140.63/140.79	o 204
140.63/140.79	c Elapsed CPU time: 140.391 s	Remaining CPU time: 39.6093 s
140.63/140.79	c ===============================================================================
140.63/140.79	c |     44618 |   27330   246646   496079 |    82215    33361     39 | 62.480 % |
140.82/140.99	c |     44719 |   27322   246646   496079 |    90436    33462     39 | 62.804 % |
141.02/141.13	c |     44869 |   27310   246646   496079 |    99480    33612     39 | 62.804 % |
141.23/141.36	c |     45097 |   27309   246646   496079 |   109428    33840     39 | 62.804 % |
141.63/141.80	c |     45435 |   27298   246646   496079 |   120371    34178     39 | 62.804 % |
142.23/142.33	c |     45941 |   27094   246646   496079 |   132408    33867     37 | 62.804 % |
142.94/143.09	c |     46700 |   27094   246646   496079 |   145649    34626     37 | 62.804 % |
144.43/144.57	c |     47840 |   27094   246646   496079 |   160214    35766     37 | 62.804 % |
147.13/147.22	c |     49548 |   27094   246646   496079 |   176235    37474     38 | 62.804 % |
147.53/147.62	c ===============================================================================
147.53/147.62	c New solution: 203
147.53/147.62	o 203
147.53/147.62	c Elapsed CPU time: 147.202 s	Remaining CPU time: 32.7984 s
147.53/147.62	c ===============================================================================
147.53/147.62	c |     49997 |   27094   246647   496379 |    82215    37923     38 | 62.804 % |
147.62/147.76	c |     50099 |   26842   246647   496379 |    90437    36940     37 | 63.230 % |
147.82/147.91	c |     50249 |   26842   246647   496379 |    99480    37090     37 | 63.230 % |
148.12/148.25	c |     50474 |   26842   246647   496379 |   109429    37315     37 | 63.230 % |
148.44/148.51	c |     50812 |   26842   246647   496379 |   120371    37653     37 | 63.230 % |
149.03/149.16	c |     51318 |   26842   246647   496379 |   132409    38159     37 | 63.230 % |
149.73/149.83	c |     52077 |   26842   246647   496379 |   145650    38918     37 | 63.230 % |
151.13/151.21	c |     53216 |   26784   246647   496379 |   160215    40011     37 | 63.230 % |
151.22/151.35	c ===============================================================================
151.22/151.35	c New solution: 202
151.22/151.35	o 202
151.22/151.35	c Elapsed CPU time: 150.92 s	Remaining CPU time: 29.0799 s
151.22/151.35	c ===============================================================================
151.22/151.35	c |     53283 |   26784   246648   496679 |    82216    40078     37 | 63.230 % |
151.32/151.44	c |     53383 |   26783   246648   496679 |    90437    40178     37 | 63.527 % |
151.42/151.56	c |     53533 |   26773   246648   496679 |    99481    40328     37 | 63.527 % |
151.63/151.76	c |     53760 |   26767   246648   496679 |   109429    40555     37 | 63.527 % |
152.22/152.31	c |     54097 |   26568   246648   496679 |   120372    39836     37 | 63.527 % |
152.63/152.75	c |     54605 |   26568   246648   496679 |   132409    40344     37 | 63.527 % |
153.73/153.88	c |     55365 |   26568   246648   496679 |   145650    41104     37 | 63.527 % |
155.73/155.83	c |     56507 |   26568   246648   496679 |   160215    42246     37 | 63.527 % |
157.42/157.52	c |     58216 |   26568   246648   496679 |   176237    43955     37 | 63.527 % |
159.22/159.39	c |     60780 |   26568   246648   496679 |   193861    46519     38 | 63.527 % |
164.93/165.09	c |     64624 |   26568   246648   496679 |   213247    50363     40 | 63.527 % |
165.42/165.56	c ===============================================================================
165.42/165.56	c New solution: 201
165.42/165.56	o 201
165.42/165.56	c Elapsed CPU time: 165.081 s	Remaining CPU time: 14.9191 s
165.42/165.56	c ===============================================================================
165.42/165.56	c |     65172 |   26568   246649   496979 |    82216    50911     40 | 63.527 % |
165.62/165.76	c |     65273 |   26338   246649   496979 |    90437    49717     39 | 63.842 % |
165.82/165.98	c |     65424 |   26338   246649   496979 |    99481    49868     39 | 63.842 % |
166.12/166.21	c |     65649 |   26338   246649   496979 |   109429    50093     39 | 63.842 % |
166.52/166.63	c |     65986 |   26338   246649   496979 |   120372    50430     39 | 63.842 % |
167.03/167.18	c |     66492 |   26338   246649   496979 |   132410    50936     39 | 63.842 % |
168.33/168.41	c |     67251 |   26338   246649   496979 |   145651    51695     39 | 63.842 % |
169.23/169.30	c |     68391 |   26338   246649   496979 |   160216    52835     39 | 63.842 % |
171.82/171.93	c |     70099 |   26338   246649   496979 |   176238    54543     40 | 63.842 % |
174.12/174.20	c |     72661 |   26338   246649   496979 |   193861    57105     40 | 63.842 % |
180.42/180.52	c There are 46504 assigned variables. 221 in cost function.
182.82/182.99	c core #1
182.82/182.99	c core #2
182.82/182.99	c core #3
182.82/182.99	c core #4
182.82/182.99	c core #5
182.82/182.99	c core #6
182.82/182.99	c core #7
182.82/182.99	c core #8
182.82/182.99	c core #9
182.82/182.99	c core #10
182.82/182.99	c core #11
182.82/182.99	c core #12
182.82/182.99	c ============================[ Search Statistics ]==============================
182.82/182.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.82/182.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.82/182.99	c ===============================================================================
182.82/182.99	c |         0 |    9820   124916   194110 |    41638        0    nan |  0.000 % |
182.92/183.00	c ===============================================================================
183.01/183.19	c core #13
183.01/183.19	c ============================[ Search Statistics ]==============================
183.01/183.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.01/183.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.01/183.19	c ===============================================================================
183.01/183.19	c |         0 |   10250   124984   194417 |    41661        0    nan |  0.000 % |
183.12/183.20	c ===============================================================================
183.22/183.39	c core #14
183.22/183.39	c ============================[ Search Statistics ]==============================
183.22/183.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.22/183.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.22/183.39	c ===============================================================================
183.22/183.39	c |         0 |   10590   125051   194720 |    41683        0    nan |  0.000 % |
183.32/183.41	c ===============================================================================
183.42/183.60	c core #15
183.42/183.60	c ============================[ Search Statistics ]==============================
183.42/183.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.42/183.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.42/183.60	c ===============================================================================
183.42/183.60	c |         0 |   11001   125116   195032 |    41705        0    nan |  0.000 % |
183.53/183.61	c ===============================================================================
183.72/183.81	c core #16
183.72/183.81	c ============================[ Search Statistics ]==============================
183.72/183.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.72/183.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.72/183.81	c ===============================================================================
183.72/183.81	c |         0 |   11522   125180   195336 |    41726        0    nan |  0.000 % |
183.72/183.83	c ===============================================================================
183.92/184.02	c core #17
183.92/184.02	c ============================[ Search Statistics ]==============================
183.92/184.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.92/184.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.92/184.02	c ===============================================================================
183.92/184.02	c |         0 |   11827   125244   195647 |    41748        0    nan |  0.000 % |
183.92/184.05	c ===============================================================================
184.12/184.25	c core #18
184.12/184.25	c ============================[ Search Statistics ]==============================
184.12/184.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.12/184.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.12/184.25	c ===============================================================================
184.12/184.25	c |         0 |   12525   125306   195971 |    41768        0    nan |  0.000 % |
184.12/184.29	c ===============================================================================
184.32/184.48	c core #19
184.32/184.48	c ============================[ Search Statistics ]==============================
184.32/184.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.32/184.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.32/184.48	c ===============================================================================
184.32/184.48	c |         0 |   12847   125367   196278 |    41789        0    nan |  0.000 % |
184.42/184.53	c ===============================================================================
184.63/184.72	c core #20
184.63/184.72	c ============================[ Search Statistics ]==============================
184.63/184.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.63/184.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.63/184.72	c ===============================================================================
184.63/184.72	c |         0 |   13475   125429   196578 |    41809        0    nan |  0.000 % |
184.63/184.80	c ===============================================================================
184.82/184.99	c core #21
184.82/184.99	c ============================[ Search Statistics ]==============================
184.82/184.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.82/184.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.82/184.99	c ===============================================================================
184.82/184.99	c |         0 |   13788   125490   196872 |    41830        0    nan |  0.000 % |
185.02/185.12	c ===============================================================================
185.21/185.31	c core #22
185.21/185.31	c ============================[ Search Statistics ]==============================
185.21/185.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.21/185.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.21/185.31	c ===============================================================================
185.21/185.31	c |         0 |   14088   125550   197159 |    41850        0    nan |  0.000 % |
185.31/185.42	c |       100 |   14088   125550   197159 |    46035      100     16 | 84.463 % |
185.31/185.44	c ===============================================================================
185.52/185.63	c core #23
185.52/185.63	c ============================[ Search Statistics ]==============================
185.52/185.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.52/185.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.52/185.63	c ===============================================================================
185.52/185.63	c |         0 |   14387   125608   197445 |    41869        0    nan |  0.000 % |
185.62/185.76	c |       100 |   14387   125608   197445 |    46056      100     18 | 80.664 % |
185.73/185.81	c ===============================================================================
185.92/186.01	c core #24
185.92/186.01	c ============================[ Search Statistics ]==============================
185.92/186.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.92/186.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.92/186.01	c ===============================================================================
185.92/186.01	c |         0 |   14685   125664   197731 |    41888        0    nan |  0.000 % |
186.02/186.13	c |       100 |   14685   125664   197731 |    46076      100     16 | 80.279 % |
186.12/186.21	c ===============================================================================
186.32/186.40	c core #25
186.32/186.40	c ============================[ Search Statistics ]==============================
186.32/186.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.32/186.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.32/186.40	c ===============================================================================
186.32/186.40	c |         0 |   14982   125719   198015 |    41906        0    nan |  0.000 % |
186.42/186.52	c |       100 |   14982   125719   198015 |    46096      100     17 | 79.895 % |
186.52/186.65	c ===============================================================================
186.72/186.84	c core #26
186.72/186.84	c ============================[ Search Statistics ]==============================
186.72/186.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.72/186.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.72/186.84	c ===============================================================================
186.72/186.84	c |         0 |   15278   125774   198297 |    41924        0    nan |  0.000 % |
186.82/186.96	c |       100 |   15278   125774   198297 |    46117      100     16 | 79.512 % |
186.92/187.09	c |       250 |   14502   125774   198297 |    50728      194     15 | 80.553 % |
187.02/187.13	c ===============================================================================
187.22/187.32	c core #27
187.22/187.32	c ============================[ Search Statistics ]==============================
187.22/187.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.22/187.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.22/187.32	c ===============================================================================
187.22/187.32	c |         0 |   15573   125828   198574 |    41942        0    nan |  0.000 % |
187.32/187.41	c |       101 |   15573   125828   198574 |    46136      101     17 | 79.132 % |
187.42/187.56	c |       252 |   15193   125828   198574 |    50750      249     18 | 79.641 % |
187.72/187.82	c |       477 |   14660   125828   198574 |    55825      425     21 | 80.355 % |
187.82/187.90	c ===============================================================================
187.92/188.10	c core #28
187.92/188.10	c ============================[ Search Statistics ]==============================
187.92/188.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.92/188.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.92/188.10	c ===============================================================================
187.92/188.10	c |         0 |   15867   125885   198860 |    41961        0    nan |  0.000 % |
188.12/188.21	c |       100 |   15867   125885   198860 |    46157      100     16 | 78.752 % |
188.22/188.36	c |       250 |   15867   125885   198860 |    50773      250     21 | 78.752 % |
188.52/188.62	c |       477 |   14560   125885   198860 |    55850      282     18 | 81.346 % |
188.52/188.63	c ===============================================================================
188.72/188.82	c core #29
188.72/188.82	c ============================[ Search Statistics ]==============================
188.72/188.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.72/188.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.72/188.82	c ===============================================================================
188.72/188.82	c |         0 |   16160   125938   199144 |    41979        0    nan |  0.000 % |
188.82/188.92	c |       100 |   16160   125938   199144 |    46177      100     16 | 78.375 % |
188.92/189.07	c |       251 |   16160   125938   199144 |    50794      251     18 | 78.375 % |
189.22/189.35	c |       476 |   16160   125938   199144 |    55874      476     22 | 78.375 % |
189.62/189.70	c |       813 |   15908   125938   199144 |    61461      648     21 | 78.811 % |
189.72/189.81	c ===============================================================================
189.92/190.00	c core #30
189.92/190.00	c ============================[ Search Statistics ]==============================
189.92/190.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.92/190.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.92/190.00	c ===============================================================================
189.92/190.00	c |         0 |   16452   125995   199436 |    41998        0    nan |  0.000 % |
190.02/190.12	c |       100 |   16452   125995   199436 |    46198      100     14 | 77.999 % |
190.12/190.26	c |       250 |   16452   125995   199436 |    50817      250     21 | 77.999 % |
190.32/190.45	c |       478 |   16286   125995   199436 |    55899      430     21 | 78.221 % |
190.61/190.75	c |       815 |   16286   125995   199436 |    61489      767     24 | 78.221 % |
191.11/191.26	c |      1322 |   15351   125995   199436 |    67638      915     24 | 79.471 % |
191.11/191.29	c ===============================================================================
191.33/191.49	c core #31
191.33/191.49	c ============================[ Search Statistics ]==============================
191.33/191.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.33/191.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.33/191.49	c ===============================================================================
191.33/191.49	c |         0 |   16743   126050   199728 |    42016        0    nan |  0.000 % |
191.42/191.58	c |       103 |   16743   126050   199728 |    46218      103     18 | 77.624 % |
191.62/191.76	c |       253 |   16743   126050   199728 |    50840      253     21 | 77.624 % |
191.82/191.99	c |       478 |   16743   126050   199728 |    55924      478     29 | 77.624 % |
192.21/192.34	c |       818 |   16743   126050   199728 |    61516      818     27 | 77.624 % |
192.72/192.89	c |      1326 |   16348   126050   199728 |    67668      918     24 | 78.370 % |
193.02/193.17	c ===============================================================================
193.21/193.36	c core #32
193.21/193.36	c ============================[ Search Statistics ]==============================
193.21/193.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.21/193.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.21/193.36	c ===============================================================================
193.21/193.36	c |         0 |   17033   126104   200010 |    42034        0    nan |  0.000 % |
193.31/193.43	c |       100 |   17033   126104   200010 |    46238      100     16 | 77.251 % |
193.42/193.59	c |       250 |   17033   126104   200010 |    50861      250     23 | 77.251 % |
193.71/193.82	c |       475 |   17033   126104   200010 |    55948      475     27 | 77.251 % |
194.01/194.10	c |       812 |   17033   126104   200010 |    61542      812     30 | 77.251 % |
194.32/194.48	c |      1319 |   17033   126104   200010 |    67697     1319     28 | 77.251 % |
195.02/195.19	c |      2078 |   16679   126104   200010 |    74466     2059     28 | 77.724 % |
196.21/196.35	c |      3218 |   16137   126104   200010 |    81913     2068     29 | 78.448 % |
196.61/196.72	c ===============================================================================
196.82/196.91	c core #33
196.82/196.91	c ============================[ Search Statistics ]==============================
196.82/196.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.82/196.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.82/196.91	c ===============================================================================
196.82/196.91	c |         0 |   17322   126167   200326 |    42055        0    nan |  0.000 % |
196.91/197.04	c |       101 |   17321   126167   200326 |    46261      101     29 | 76.977 % |
197.12/197.21	c |       251 |   17321   126167   200326 |    50887      251     30 | 76.977 % |
197.32/197.44	c |       476 |   17247   126167   200326 |    55976      474     28 | 77.453 % |
197.62/197.78	c |       814 |   16893   126167   200326 |    61573      736     25 | 77.453 % |
198.12/198.21	c |      1320 |   16893   126167   200326 |    67731     1242     28 | 77.453 % |
198.81/198.91	c |      2079 |   16893   126167   200326 |    74504     2001     27 | 77.453 % |
200.02/200.18	c |      3218 |   16363   126167   200326 |    81954     2595     27 | 78.160 % |
201.52/201.65	c ===============================================================================
201.72/201.85	c core #34
201.72/201.85	c ============================[ Search Statistics ]==============================
201.72/201.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.72/201.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.72/201.85	c ===============================================================================
201.72/201.85	c |         0 |   17610   126234   200654 |    42078        0    nan |  0.000 % |
201.82/201.96	c |       101 |   17610   126234   200654 |    46285      101     19 | 76.510 % |
201.92/202.07	c |       251 |   17610   126234   200654 |    50914      251     22 | 76.510 % |
202.12/202.29	c |       477 |   17610   126234   200654 |    56005      477     23 | 76.510 % |
202.51/202.68	c |       814 |   17610   126234   200654 |    61606      814     30 | 76.510 % |
203.01/203.19	c |      1321 |   17610   126234   200654 |    67767     1321     30 | 76.510 % |
203.81/203.99	c |      2080 |   17610   126234   200654 |    74543     2080     29 | 76.510 % |
205.01/205.17	c |      3220 |   17610   126234   200654 |    81998     3220     32 | 76.510 % |
206.92/207.07	c |      4928 |   17466   126234   200654 |    90197     2800     22 | 76.702 % |
209.71/209.86	c |      7491 |   16439   126234   200654 |    99217     3703     23 | 78.072 % |
210.11/210.23	c ===============================================================================
210.32/210.42	c core #35
210.32/210.42	c ============================[ Search Statistics ]==============================
210.32/210.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.32/210.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.32/210.42	c ===============================================================================
210.32/210.42	c |         0 |   17897   126300   200976 |    42100        0    nan |  0.000 % |
210.41/210.54	c |       101 |   17897   126300   200976 |    46310      101     16 | 76.141 % |
210.61/210.73	c |       252 |   17897   126300   200976 |    50941      252     20 | 76.141 % |
210.81/210.94	c |       477 |   17897   126300   200976 |    56035      477     21 | 76.141 % |
211.12/211.26	c |       816 |   17897   126300   200976 |    61638      816     23 | 76.141 % |
211.71/211.81	c |      1323 |   17537   126300   200976 |    67802     1214     26 | 76.621 % |
212.52/212.61	c |      2083 |   17537   126300   200976 |    74582     1974     25 | 76.621 % |
213.71/213.87	c |      3223 |   17537   126300   200976 |    82040     3114     26 | 76.621 % |
215.82/215.91	c |      4931 |   17537   126300   200976 |    90245     4822     28 | 76.621 % |
218.91/219.03	c |      7494 |   17537   126300   200976 |    99269     7385     31 | 76.621 % |
222.91/223.04	c ===============================================================================
223.12/223.24	c core #36
223.12/223.24	c ============================[ Search Statistics ]==============================
223.12/223.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
223.12/223.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
223.12/223.24	c ===============================================================================
223.12/223.24	c |         0 |   18183   126372   201328 |    42124        0    nan |  0.000 % |
223.21/223.36	c |       100 |   18183   126372   201328 |    46336      100     14 | 75.774 % |
223.41/223.52	c |       252 |   18183   126372   201328 |    50970      252     21 | 75.774 % |
223.61/223.70	c |       477 |   18102   126372   201328 |    56067      476     24 | 75.882 % |
223.91/224.00	c |       814 |   18102   126372   201328 |    61673      813     29 | 75.882 % |
224.41/224.52	c |      1321 |   18102   126372   201328 |    67841     1320     34 | 75.882 % |
225.11/225.21	c |      2081 |   18102   126372   201328 |    74625     2080     31 | 75.882 % |
226.10/226.29	c |      3220 |   18102   126372   201328 |    82087     3219     30 | 75.882 % |
228.01/228.19	c |      4928 |   18071   126372   201328 |    90296     4926     35 | 76.294 % |
231.11/231.26	c |      7491 |   17793   126372   201328 |    99326     7263     37 | 76.294 % |
236.01/236.11	c |     11336 |   17655   126372   201328 |   109258    10599     39 | 76.478 % |
240.10/240.25	c ===============================================================================
240.30/240.44	c core #37
240.30/240.44	c ============================[ Search Statistics ]==============================
240.30/240.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
240.30/240.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
240.30/240.44	c ===============================================================================
240.30/240.44	c |         0 |   18468   126457   201711 |    42152        0    nan |  0.000 % |
240.41/240.55	c |       100 |   18468   126457   201711 |    46367      100     16 | 75.409 % |
240.61/240.72	c |       251 |   18468   126457   201711 |    51004      251     23 | 75.409 % |
240.82/240.93	c |       476 |   18468   126457   201711 |    56104      476     24 | 75.409 % |
241.10/241.25	c |       815 |   18468   126457   201711 |    61715      815     28 | 75.409 % |
241.70/241.80	c |      1321 |   18468   126457   201711 |    67886     1321     32 | 75.409 % |
242.51/242.60	c |      2080 |   18468   126457   201711 |    74675     2080     31 | 75.409 % |
243.71/243.84	c |      3220 |   18380   126457   201711 |    82142     3106     31 | 75.526 % |
245.50/245.66	c |      4928 |   18267   126457   201711 |    90357     4812     31 | 75.676 % |
248.51/248.63	c |      7490 |   18267   126457   201711 |    99392     7374     32 | 75.676 % |
253.41/253.57	c |     11334 |   18267   126457   201711 |   109332    11218     36 | 75.676 % |
261.40/261.59	c |     17101 |   18267   126457   201711 |   120265    16985     38 | 75.676 % |
270.60/270.70	c ===============================================================================
270.80/270.90	c core #38
270.80/270.90	c ============================[ Search Statistics ]==============================
270.80/270.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
270.80/270.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
270.80/270.90	c ===============================================================================
270.80/270.90	c |         0 |   18752   126555   202142 |    42185        0    nan |  0.000 % |
270.90/271.01	c |       100 |   18752   126555   202142 |    46403      100     16 | 75.045 % |
271.00/271.17	c |       252 |   18752   126555   202142 |    51043      252     22 | 75.045 % |
271.20/271.31	c |       478 |   18752   126555   202142 |    56148      478     22 | 75.045 % |
271.40/271.57	c |       815 |   18752   126555   202142 |    61763      815     26 | 75.045 % |
271.90/272.02	c |      1321 |   18752   126555   202142 |    67939     1321     27 | 75.045 % |
272.61/272.72	c |      2081 |   18668   126555   202142 |    74733     2064     28 | 75.156 % |
273.60/273.71	c |      3220 |   18630   126555   202142 |    82206     3202     29 | 75.207 % |
275.10/275.29	c |      4929 |   18435   126555   202142 |    90427     4192     28 | 75.552 % |
278.20/278.34	c |      7491 |   18371   126555   202142 |    99470     6687     35 | 75.552 % |
283.00/283.17	c |     11335 |   18190   126555   202142 |   109417    10529     39 | 75.793 % |
290.59/290.77	c |     17101 |   18162   126555   202142 |   120358    14340     38 | 75.830 % |
303.69/303.83	c |     25753 |   18098   126555   202142 |   132394    22809     42 | 75.915 % |
308.39/308.51	c ===============================================================================
308.59/308.70	c core #39
308.59/308.70	c ============================[ Search Statistics ]==============================
308.59/308.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
308.59/308.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
308.59/308.70	c ===============================================================================
308.59/308.70	c |         0 |   19035   126639   202522 |    42213        0    nan |  0.000 % |
308.69/308.82	c |       101 |   19035   126639   202522 |    46434      101     20 | 74.682 % |
308.79/308.98	c |       251 |   19035   126639   202522 |    51077      251     23 | 74.682 % |
308.99/309.18	c |       476 |   18935   126639   202522 |    56185      474     23 | 74.865 % |
309.29/309.46	c |       813 |   18935   126639   202522 |    61804      811     22 | 74.865 % |
309.79/309.98	c |      1319 |   18897   126639   202522 |    67984     1316     27 | 74.865 % |
310.58/310.74	c |      2078 |   18897   126639   202522 |    74782     2075     31 | 74.865 % |
311.68/311.89	c |      3218 |   18897   126639   202522 |    82261     3215     30 | 74.865 % |
313.39/313.51	c |      4927 |   18897   126639   202522 |    90487     4924     30 | 74.865 % |
316.39/316.52	c |      7491 |   18826   126639   202522 |    99536     7485     33 | 74.964 % |
320.48/320.66	c |     11335 |   18632   126639   202522 |   109489    11323     34 | 75.218 % |
328.69/328.82	c |     17101 |   18630   126639   202522 |   120438    17080     36 | 75.220 % |
342.38/342.53	c |     25751 |   18630   126639   202522 |   132482    25730     39 | 75.220 % |
367.07/367.20	c |     38725 |   18630   126639   202522 |   145730    38704     42 | 75.220 % |
371.68/371.86	c ===============================================================================
371.87/372.07	c core #40
371.87/372.07	c ============================[ Search Statistics ]==============================
371.87/372.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
371.87/372.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
371.87/372.07	c ===============================================================================
371.87/372.07	c |         0 |   19317   126716   202883 |    42238        0    nan |  0.000 % |
371.97/372.19	c |       101 |   19317   126716   202883 |    46462      101     25 | 74.320 % |
372.17/372.31	c |       251 |   19317   126716   202883 |    51108      251     27 | 74.320 % |
372.27/372.47	c |       476 |   19317   126716   202883 |    56219      476     30 | 74.320 % |
372.68/372.82	c |       814 |   19317   126716   202883 |    61841      814     33 | 74.320 % |
373.07/373.30	c |      1320 |   19317   126716   202883 |    68025     1320     34 | 74.320 % |
373.77/373.91	c |      2080 |   19317   126716   202883 |    74828     2080     32 | 74.320 % |
374.88/375.06	c |      3219 |   19317   126716   202883 |    82311     3219     33 | 74.320 % |
376.78/376.98	c |      4927 |   19139   126716   202883 |    90542     4871     33 | 74.557 % |
379.87/380.01	c |      7489 |   19139   126716   202883 |    99596     7433     36 | 74.557 % |
383.96/384.19	c |     11335 |   19139   126716   202883 |   109556    11279     35 | 74.557 % |
391.97/392.16	c |     17102 |   19125   126716   202883 |   120511    17045     37 | 74.576 % |
404.16/404.34	c |     25751 |   18848   126716   202883 |   132563    23304     37 | 74.944 % |
426.46/426.63	c |     38726 |   18667   126716   202883 |   145819    36278     40 | 75.184 % |
466.64/466.80	c |     58188 |   18351   126716   202883 |   160401    34916     34 | 75.605 % |
493.75/493.95	c ===============================================================================
493.94/494.18	c core #41
493.94/494.18	c ============================[ Search Statistics ]==============================
493.94/494.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
493.94/494.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
493.94/494.18	c ===============================================================================
493.94/494.18	c |         0 |   19598   126831   203364 |    42277        0    nan |  0.000 % |
494.04/494.28	c |       100 |   19598   126831   203364 |    46504      100     20 | 73.960 % |
494.24/494.43	c |       251 |   19598   126831   203364 |    51155      251     22 | 73.960 % |
494.44/494.68	c |       476 |   19598   126831   203364 |    56270      476     24 | 73.960 % |
494.74/495.00	c |       813 |   19598   126831   203364 |    61897      813     26 | 73.960 % |
495.34/495.50	c |      1320 |   19598   126831   203364 |    68087     1320     29 | 73.960 % |
495.95/496.17	c |      2079 |   19598   126831   203364 |    74896     2079     28 | 73.960 % |
496.94/497.15	c |      3218 |   19598   126831   203364 |    82385     3218     29 | 73.960 % |
498.94/499.11	c |      4930 |   19598   126831   203364 |    90624     4930     31 | 73.960 % |
501.84/502.00	c |      7493 |   19598   126831   203364 |    99686     7493     32 | 73.960 % |
506.34/506.53	c |     11337 |   19468   126831   203364 |   109655    10900     35 | 74.133 % |
514.04/514.28	c |     17104 |   19401   126831   203364 |   120621    16666     37 | 74.222 % |
527.03/527.23	c |     25753 |   19311   126831   203364 |   132683    25314     40 | 74.342 % |
549.74/549.94	c |     38727 |   19202   126831   203364 |   145951    37087     41 | 74.486 % |
593.72/593.91	c |     58189 |   19202   126831   203364 |   160546    56549     46 | 74.486 % |
670.81/671.04	c |     87381 |   17883   126831   203364 |   176601    46642     42 | 76.239 % |
700.39/700.65	c ===============================================================================
700.69/700.92	c core #42
700.69/700.92	c ============================[ Search Statistics ]==============================
700.69/700.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
700.69/700.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
700.69/700.92	c ===============================================================================
700.69/700.92	c |         0 |   19878   126964   203897 |    42321        0    nan |  0.000 % |
700.79/701.01	c |       102 |   19878   126964   203897 |    46553      102     17 | 73.602 % |
700.89/701.15	c |       252 |   19878   126964   203897 |    51208      252     21 | 73.602 % |
701.09/701.35	c |       478 |   19878   126964   203897 |    56329      478     27 | 73.602 % |
701.39/701.63	c |       815 |   19878   126964   203897 |    61962      815     30 | 73.602 % |
701.89/702.15	c |      1321 |   19878   126964   203897 |    68158     1321     31 | 73.602 % |
702.60/702.82	c |      2080 |   19878   126964   203897 |    74974     2080     34 | 73.602 % |
703.70/703.95	c |      3219 |   19878   126964   203897 |    82472     3219     36 | 73.602 % |
705.69/705.94	c |      4928 |   19878   126964   203897 |    90719     4928     37 | 73.602 % |
708.49/708.78	c |      7490 |   19878   126964   203897 |    99791     7490     36 | 73.602 % |
713.08/713.35	c |     11336 |   19476   126964   203897 |   109770     8874     34 | 74.135 % |
720.08/720.33	c |     17103 |   19476   126964   203897 |   120747    14641     37 | 74.135 % |
732.68/732.93	c |     25756 |   19476   126964   203897 |   132822    23294     46 | 74.135 % |
755.98/756.24	c |     38731 |   19476   126964   203897 |   146104    36269     48 | 74.135 % |
799.57/799.87	c |     58192 |   19466   126964   203897 |   160715    55729     50 | 74.149 % |
877.95/878.21	c |     87384 |   18591   126964   203897 |   176786    38475     41 | 75.311 % |
965.82/966.10	c ===============================================================================
966.02/966.39	c core #43
966.02/966.39	c ============================[ Search Statistics ]==============================
966.02/966.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
966.02/966.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
966.02/966.39	c ===============================================================================
966.02/966.39	c |         0 |   20157   127113   204480 |    42371        0    nan |  0.000 % |
966.12/966.48	c |       100 |   20157   127113   204480 |    46608      100     17 | 73.244 % |
966.33/966.62	c |       251 |   20157   127113   204480 |    51268      251     26 | 73.244 % |
966.43/966.79	c |       476 |   20157   127113   204480 |    56395      476     25 | 73.244 % |
966.73/967.07	c |       814 |   20157   127113   204480 |    62035      814     25 | 73.244 % |
967.23/967.57	c |      1321 |   20157   127113   204480 |    68238     1321     27 | 73.244 % |
967.93/968.28	c |      2081 |   20157   127113   204480 |    75062     2081     30 | 73.244 % |
968.73/969.03	c |      3222 |   20157   127113   204480 |    82569     3222     28 | 73.244 % |
970.42/970.74	c |      4933 |   20157   127113   204480 |    90826     4933     36 | 73.244 % |
972.92/973.24	c |      7495 |   20157   127113   204480 |    99908     7495     34 | 73.244 % |
977.72/978.03	c |     11339 |   20157   127113   204480 |   109899    11339     33 | 73.244 % |
985.32/985.69	c |     17106 |   20157   127113   204480 |   120889    17106     38 | 73.244 % |
998.42/998.72	c |     25757 |   20157   127113   204480 |   132978    25757     42 | 73.244 % |
1021.81/1022.10	c |     38733 |   20157   127113   204480 |   146276    38733     45 | 73.244 % |
1064.30/1064.63	c |     58194 |   20157   127113   204480 |   160903    58194     49 | 73.244 % |
1143.38/1143.79	c |     87386 |   19870   127113   204480 |   176994    87297     51 | 73.625 % |
1289.65/1290.04	c |    131176 |   19870   127113   204480 |   194693   131087     52 | 73.625 % |
1477.19/1477.60	c ===============================================================================
1477.50/1477.92	c core #44
1477.50/1477.92	c ============================[ Search Statistics ]==============================
1477.50/1477.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1477.50/1477.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1477.50/1477.92	c ===============================================================================
1477.50/1477.92	c |         0 |   20435   127251   205038 |    42417        0    nan |  0.000 % |
1477.60/1478.02	c |       100 |   20435   127251   205038 |    46658      100     15 | 72.888 % |
1477.70/1478.15	c |       251 |   20435   127251   205038 |    51324      251     22 | 72.888 % |
1477.90/1478.32	c |       476 |   20435   127251   205038 |    56457      476     30 | 72.888 % |
1478.19/1478.63	c |       813 |   20435   127251   205038 |    62102      813     30 | 72.888 % |
1478.69/1479.10	c |      1321 |   20435   127251   205038 |    68313     1321     32 | 72.888 % |
1479.29/1479.78	c |      2081 |   20435   127251   205038 |    75144     2081     33 | 72.888 % |
1480.59/1481.00	c |      3221 |   20435   127251   205038 |    82658     3221     35 | 72.888 % |
1482.30/1482.77	c |      4929 |   20435   127251   205038 |    90924     4929     34 | 72.888 % |
1485.09/1485.56	c |      7491 |   20435   127251   205038 |   100017     7491     36 | 72.888 % |
1489.69/1490.19	c |     11335 |   20102   127251   205038 |   110018    11012     37 | 73.330 % |
1496.79/1497.25	c |     17101 |   20102   127251   205038 |   121020    16778     39 | 73.330 % |
1510.78/1511.24	c |     25750 |   20102   127251   205038 |   133122    25427     39 | 73.330 % |
1532.48/1532.97	c |     38724 |   19885   127251   205038 |   146434    30680     40 | 73.618 % |
1569.47/1569.95	c |     58186 |   19885   127251   205038 |   161078    50142     45 | 73.618 % |
1641.77/1642.25	c |     87378 |   19885   127251   205038 |   177186    79334     47 | 73.618 % |
1789.82/1790.36	c |    131168 |   19769   127251   205038 |   194904    92083     45 | 73.772 % |

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

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


[startup+0 s]
/proc/loadavg: 1.73 1.93 1.61 3/106 22340
/proc/meminfo: memFree=1366452/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=10144 CPUtime=0
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 302 0 0 0 0 0 0 0 19 0 1 0 12847471 10387456 221 1992294400 134512640 135751879 4291991744 18446744073709551615 134613619 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 2536 221 138 303 0 374 0

[startup+0.0692899 s]
/proc/loadavg: 1.73 1.93 1.61 3/106 22340
/proc/meminfo: memFree=1366452/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=13444 CPUtime=0.06
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 1157 0 0 0 6 0 0 0 19 0 1 0 12847471 13766656 1076 1992294400 134512640 135751879 4291991744 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 3361 1077 233 303 0 1199 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13444

[startup+0.101291 s]
/proc/loadavg: 1.73 1.93 1.61 3/106 22340
/proc/meminfo: memFree=1366452/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=15192 CPUtime=0.09
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 1583 0 0 0 9 0 0 0 19 0 1 0 12847471 15556608 1502 1992294400 134512640 135751879 4291991744 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 3798 1502 282 303 0 1636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15192

[startup+0.301311 s]
/proc/loadavg: 1.73 1.93 1.61 3/106 22340
/proc/meminfo: memFree=1366452/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=19464 CPUtime=0.29
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 2918 0 0 0 28 1 0 0 20 0 1 0 12847471 19931136 2804 1992294400 134512640 135751879 4291991744 18446744073709551615 134559730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 4866 2804 586 303 0 2704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19464

[startup+0.701348 s]
/proc/loadavg: 1.73 1.93 1.61 3/106 22340
/proc/meminfo: memFree=1366452/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=24480 CPUtime=0.69
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 4807 0 0 0 67 2 0 0 20 0 1 0 12847471 25067520 4653 1992294400 134512640 135751879 4291991744 18446744073709551615 135220915 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 6120 4653 1203 303 0 3958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24480

[startup+1.50142 s]
/proc/loadavg: 1.73 1.93 1.61 2/107 22341
/proc/meminfo: memFree=1346852/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=48648 CPUtime=1.48
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 13268 0 0 0 143 5 0 0 23 0 1 0 12847471 49815552 10918 1992294400 134512640 135751879 4291991744 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 12162 10919 145 303 0 11857 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48648

[startup+3.10058 s]
/proc/loadavg: 1.73 1.93 1.61 2/107 22341
/proc/meminfo: memFree=1318704/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=53884 CPUtime=3.09
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 14556 0 0 0 303 6 0 0 25 0 1 0 12847471 55177216 12206 1992294400 134512640 135751879 4291991744 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 13471 12206 146 303 0 13166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53884

[startup+6.30088 s]
/proc/loadavg: 1.67 1.91 1.61 2/107 22341
/proc/meminfo: memFree=1314116/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=58372 CPUtime=6.29
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 15688 0 0 0 623 6 0 0 25 0 1 0 12847471 59772928 13338 1992294400 134512640 135751879 4291991744 18446744073709551615 134523922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 14593 13338 146 303 0 14288 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58372

[startup+12.7005 s]
/proc/loadavg: 1.61 1.90 1.60 2/107 22341
/proc/meminfo: memFree=1307048/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=65500 CPUtime=12.69
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 17447 0 0 0 1262 7 0 0 25 0 1 0 12847471 67072000 15097 1992294400 134512640 135751879 4291991744 18446744073709551615 134523938 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 16375 15097 146 303 0 16070 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65500

[startup+25.5017 s]
/proc/loadavg: 1.48 1.85 1.59 2/107 22341
/proc/meminfo: memFree=1295640/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=76168 CPUtime=25.48
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 20094 0 0 0 2540 8 0 0 25 0 1 0 12847471 77996032 17744 1992294400 134512640 135751879 4291991744 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 19042 17744 146 303 0 18737 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76168

[startup+51.1011 s]
/proc/loadavg: 1.31 1.78 1.58 2/107 22341
/proc/meminfo: memFree=1278900/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=92668 CPUtime=51.06
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 24234 0 0 0 5096 10 0 0 25 0 1 0 12847471 94892032 21884 1992294400 134512640 135751879 4291991744 18446744073709551615 135220959 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23167 21884 146 303 0 22862 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 92668

[startup+102.309 s]
/proc/loadavg: 1.13 1.66 1.54 2/107 22343
/proc/meminfo: memFree=1263772/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=106616 CPUtime=102.25
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 29182 0 0 0 10210 15 0 0 25 0 1 0 12847471 109174784 25520 1992294400 134512640 135751879 4291991744 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 26654 25520 147 303 0 26349 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 106616

[startup+162.302 s]
/proc/loadavg: 1.05 1.54 1.51 2/107 22354
/proc/meminfo: memFree=1263524/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=106616 CPUtime=162.22
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 29182 0 0 0 16182 40 0 0 25 0 1 0 12847471 109174784 25520 1992294400 134512640 135751879 4291991744 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 26654 25520 147 303 0 26349 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 106616

[startup+222.301 s]
/proc/loadavg: 1.02 1.44 1.47 2/107 22356
/proc/meminfo: memFree=1273196/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=222.21
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 45681 0 0 0 22156 65 0 0 25 0 1 0 12847471 97071104 23038 1992294400 134512640 135751879 4291991744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23038 151 303 0 23394 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 94796

[startup+282.301 s]
/proc/loadavg: 1.00 1.35 1.44 2/107 22356
/proc/meminfo: memFree=1273196/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=282.2
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 47003 0 0 0 28134 86 0 0 25 0 1 0 12847471 97071104 23039 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23039 151 303 0 23394 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 94796

[startup+342.302 s]
/proc/loadavg: 1.00 1.29 1.41 2/107 22358
/proc/meminfo: memFree=1273196/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=342.18
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 47444 0 0 0 34119 99 0 0 25 0 1 0 12847471 97071104 23039 1992294400 134512640 135751879 4291991744 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23039 151 303 0 23394 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 94796

[startup+402.302 s]
/proc/loadavg: 1.00 1.23 1.38 2/107 22360
/proc/meminfo: memFree=1273196/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=402.17
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 47885 0 0 0 40103 114 0 0 25 0 1 0 12847471 97071104 23039 1992294400 134512640 135751879 4291991744 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23039 151 303 0 23394 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 94796

[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.35 2/107 22362
/proc/meminfo: memFree=1273196/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=462.15
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 47885 0 0 0 46088 127 0 0 25 0 1 0 12847471 97071104 23039 1992294400 134512640 135751879 4291991744 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23039 151 303 0 23394 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 94796

[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.33 2/107 22364
/proc/meminfo: memFree=1273072/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=522.14
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 48326 0 0 0 52070 144 0 0 25 0 1 0 12847471 97071104 23039 1992294400 134512640 135751879 4291991744 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23039 151 303 0 23394 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 94796

[startup+582.302 s]
/proc/loadavg: 1.00 1.12 1.31 2/107 22364
/proc/meminfo: memFree=1273072/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=582.12
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 48326 0 0 0 58054 158 0 0 25 0 1 0 12847471 97071104 23039 1992294400 134512640 135751879 4291991744 18446744073709551615 134607292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23039 151 303 0 23394 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 94796

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.28 2/107 22366
/proc/meminfo: memFree=1273072/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=94796 CPUtime=642.11
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 48336 0 0 0 64041 170 0 0 25 0 1 0 12847471 97071104 23049 1992294400 134512640 135751879 4291991744 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 23699 23049 151 303 0 23394 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 94796

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.21 2/107 22372
/proc/meminfo: memFree=1258068/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=111436 CPUtime=882.04
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 52624 0 0 0 87983 221 0 0 25 0 1 0 12847471 114110464 26896 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 27859 26896 151 303 0 27554 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 111436

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.19 2/107 22374
/proc/meminfo: memFree=1252240/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=117244 CPUtime=942.03
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 54085 0 0 0 93969 234 0 0 25 0 1 0 12847471 120057856 28357 1992294400 134512640 135751879 4291991744 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 29311 28357 151 303 0 29006 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 117244

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 22376
/proc/meminfo: memFree=1240584/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=128828 CPUtime=1002.01
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 58050 0 0 0 99951 250 0 0 25 0 1 0 12847471 131919872 31166 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 32207 31166 151 303 0 31902 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 128828

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 22378
/proc/meminfo: memFree=1240584/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=128828 CPUtime=1061.99
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 58050 0 0 0 105936 263 0 0 25 0 1 0 12847471 131919872 31166 1992294400 134512640 135751879 4291991744 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 32207 31166 151 303 0 31902 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 128828

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 22380
/proc/meminfo: memFree=1240460/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=128828 CPUtime=1121.98
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 58130 0 0 0 111924 274 0 0 25 0 1 0 12847471 131919872 31246 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 32207 31246 151 303 0 31902 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 128828

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 22382
/proc/meminfo: memFree=1235128/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=134032 CPUtime=1181.97
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 59396 0 0 0 117910 287 0 0 25 0 1 0 12847471 137248768 32512 1992294400 134512640 135751879 4291991744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 33508 32512 151 303 0 33203 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 134032

[startup+1242.3 s]
/proc/loadavg: 1.03 1.01 1.14 2/107 22385
/proc/meminfo: memFree=1230540/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=138400 CPUtime=1241.95
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 60497 0 0 0 123896 299 0 0 25 0 1 0 12847471 141721600 33613 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 34600 33613 151 303 0 34295 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 138400

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.12 2/107 22387
/proc/meminfo: memFree=1225828/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=143028 CPUtime=1301.95
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 61666 0 0 0 129884 311 0 0 25 0 1 0 12847471 146460672 34782 1992294400 134512640 135751879 4291991744 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 35757 34782 151 303 0 35452 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 143028

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 22389
/proc/meminfo: memFree=1221116/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=147780 CPUtime=1361.93
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 62825 0 0 0 135872 321 0 0 25 0 1 0 12847471 151326720 35941 1992294400 134512640 135751879 4291991744 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 36945 35941 151 303 0 36640 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 147780

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 22391
/proc/meminfo: memFree=1216776/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=152096 CPUtime=1421.91
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 63893 0 0 0 141862 329 0 0 25 0 1 0 12847471 155746304 37009 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 38024 37009 151 303 0 37719 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 152096

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 22391
/proc/meminfo: memFree=1204376/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=164420 CPUtime=1481.9
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 68267 0 0 0 147850 340 0 0 25 0 1 0 12847471 168366080 40064 1992294400 134512640 135751879 4291991744 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 41105 40064 151 303 0 40800 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 164420

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.09 2/107 22393
/proc/meminfo: memFree=1204624/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=164420 CPUtime=1541.88
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 68273 0 0 0 153832 356 0 0 25 0 1 0 12847471 168366080 40070 1992294400 134512640 135751879 4291991744 18446744073709551615 134616669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 41105 40070 151 303 0 40800 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 164420

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.08 2/107 22395
/proc/meminfo: memFree=1204624/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=164420 CPUtime=1601.86
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 68305 0 0 0 159816 370 0 0 25 0 1 0 12847471 168366080 40102 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 41105 40102 151 303 0 40800 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 164420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22397
/proc/meminfo: memFree=1200532/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=168260 CPUtime=1661.84
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 69337 0 0 0 165803 381 0 0 25 0 1 0 12847471 172298240 41134 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 42065 41134 151 303 0 41760 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 168260

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 22399
/proc/meminfo: memFree=1195572/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=173428 CPUtime=1721.83
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 70576 0 0 0 171792 391 0 0 25 0 1 0 12847471 177590272 42373 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 43357 42373 151 303 0 43052 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 173428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22399
/proc/meminfo: memFree=1191108/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=177688 CPUtime=1781.82
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 71667 0 0 0 177780 402 0 0 25 0 1 0 12847471 181952512 43464 1992294400 134512640 135751879 4291991744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 44422 43464 151 303 0 44117 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 177688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22401
/proc/meminfo: memFree=1189620/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=179140 CPUtime=1800.02
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 72021 0 0 0 179597 405 0 0 25 0 1 0 12847471 183439360 43818 1992294400 134512640 135751879 4291991744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 44785 43818 151 303 0 44480 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 179140

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22401
/proc/meminfo: memFree=1189620/2059040 swapFree=4192956/4192956
[pid=22340] ppid=22338 vsize=179140 CPUtime=1800.02
/proc/22340/stat : 22340 (wbo1.4b) R 22338 22340 22309 0 -1 4202496 72021 0 0 0 179597 405 0 0 25 0 1 0 12847471 183439360 43818 1992294400 134512640 135751879 4291991744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22340/statm: 44785 43818 151 303 0 44480 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 179140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1795.98
CPU system time (s): 4.07038
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 179140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 4.07038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72021
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= 55
involuntary context switches= 26184

runsolver used 2.99854 second user time and 8.5237 second system time

The end

Launcher Data 

Begin job on node004 at 2010-07-06 21:58:58
IDJOB=2687035
IDBENCH=77312
IDSOLVER=1161
FILE ID=node004/2687035-1278446338
PBS_JOBID= 11233502
Free space on /tmp= 62428 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_6.std.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687035-1278446338/watcher-2687035-1278446338 -o /tmp/evaluation-result-2687035-1278446338/solver-2687035-1278446338 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687035-1278446338.opb

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

MD5SUM BENCH= 002a977405549506cf955068ac342d61
RANDOM SEED=1035750944

node004.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.219
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.43
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.219
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1367104 kB
Buffers:        121788 kB
Cached:         431500 kB
SwapCached:          0 kB
Active:         250332 kB
Inactive:       362540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1367104 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10320 kB
Writeback:           0 kB
AnonPages:       59616 kB
Mapped:          14364 kB
Slab:            57168 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687035-1278446338.opb

Free space on /tmp at the end= 62424 MiB
End job on node004 at 2010-07-06 22:29:01