Trace number 2687386

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.09 1800.64

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9045_2.std.opb
MD5SUM164e1d7c8e885527f3cc100614dc9c6f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark160
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192642
Number of constraints which are clauses191442
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 constraint90
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-2687386-1278452691.opb.
0.00/0.00	c Instance file HOME/instance-2687386-1278452691.opb
0.00/0.00	c File size is 6443623 bytes.
1.19/1.24	c Highest Coefficient sum: 540
1.19/1.24	c ============================[ Problem Statistics ]=============================
1.19/1.24	c |                                                                             |
1.19/1.24	c |  Parsing time:          1.22         s                                      |
1.19/1.24	c |  Number Variables:      54782                                               |
1.19/1.24	c |  Number Clauses:        191442                                              |
1.19/1.24	c |  Number Cardinality:    0                                                   |
1.19/1.24	c |  Number PB Constraints: 1200                                                |
96.46/96.57	c ============================[ Search Statistics ]==============================
96.46/96.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.46/96.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.46/96.57	c ===============================================================================
96.46/96.57	c |         0 |   40676   193650   436678 |    64214        0    nan |  0.000 % |
96.56/96.66	c |       100 |   40676   193650   436678 |    70635      100     33 | 25.749 % |
96.66/96.73	c |       250 |   40676   193650   436678 |    77698      250     35 | 25.749 % |
96.76/96.85	c |       475 |   40676   193650   436678 |    85468      475     31 | 25.749 % |
96.85/96.91	c ===============================================================================
96.85/96.91	c New solution: 300
96.85/96.91	o 300
96.85/96.91	c Elapsed CPU time: 96.7143 s	Remaining CPU time: 83.2857 s
96.85/96.91	c ===============================================================================
96.85/96.91	c |       529 |   40676   193651   436978 |    64550      529     31 | 25.749 % |
96.85/96.98	c |       629 |   40585   193651   436978 |    71005      585     30 | 25.915 % |
96.95/97.07	c |       779 |   40585   193651   436978 |    78105      735     29 | 25.916 % |
97.05/97.11	c ===============================================================================
97.05/97.11	c New solution: 299
97.05/97.11	o 299
97.05/97.11	c Elapsed CPU time: 96.9163 s	Remaining CPU time: 83.0837 s
97.05/97.12	c ===============================================================================
97.05/97.12	c |       793 |   40585   193652   437278 |    64550      749     28 | 25.916 % |
97.05/97.16	c ===============================================================================
97.05/97.16	c New solution: 298
97.05/97.16	o 298
97.05/97.16	c Elapsed CPU time: 96.9643 s	Remaining CPU time: 83.0357 s
97.05/97.16	c ===============================================================================
97.05/97.16	c |       809 |   40484   193653   437578 |    64551      765     28 | 25.916 % |
97.15/97.24	c |       912 |   40476   193653   437578 |    71006      868     29 | 26.302 % |
97.15/97.29	c ===============================================================================
97.15/97.29	c New solution: 297
97.15/97.29	o 297
97.15/97.29	c Elapsed CPU time: 97.0912 s	Remaining CPU time: 82.9088 s
97.15/97.29	c ===============================================================================
97.15/97.29	c |       923 |   40373   193654   437878 |    64551      718     29 | 26.302 % |
97.25/97.37	c |      1023 |   40364   193654   437878 |    71006      818     31 | 26.521 % |
97.35/97.45	c |      1175 |   40358   193654   437878 |    78107      970     29 | 26.521 % |
97.35/97.49	c ===============================================================================
97.35/97.49	c New solution: 296
97.35/97.49	o 296
97.35/97.49	c Elapsed CPU time: 97.2902 s	Remaining CPU time: 82.7098 s
97.35/97.49	c ===============================================================================
97.35/97.49	c |      1177 |   40253   193655   438178 |    64551      972     29 | 26.521 % |
97.45/97.54	c ===============================================================================
97.45/97.54	c New solution: 295
97.45/97.54	o 295
97.45/97.54	c Elapsed CPU time: 97.3412 s	Remaining CPU time: 82.6588 s
97.45/97.54	c ===============================================================================
97.45/97.54	c |      1181 |   40121   193656   438478 |    64552      976     29 | 26.521 % |
97.45/97.59	c ===============================================================================
97.45/97.59	c New solution: 294
97.45/97.59	o 294
97.45/97.59	c Elapsed CPU time: 97.3892 s	Remaining CPU time: 82.6108 s
97.45/97.59	c ===============================================================================
97.45/97.59	c |      1196 |   39982   193657   438778 |    64552      991     29 | 26.521 % |
97.55/97.64	c ===============================================================================
97.55/97.64	c New solution: 293
97.55/97.64	o 293
97.55/97.64	c Elapsed CPU time: 97.4392 s	Remaining CPU time: 82.5608 s
97.55/97.64	c ===============================================================================
97.55/97.64	c |      1212 |   39840   193658   439078 |    64552     1007     29 | 26.521 % |
97.65/97.71	c ===============================================================================
97.65/97.71	c New solution: 292
97.65/97.71	o 292
97.65/97.71	c Elapsed CPU time: 97.5072 s	Remaining CPU time: 82.4928 s
97.65/97.71	c ===============================================================================
97.65/97.71	c |      1244 |   39689   193659   439378 |    64553      805     29 | 26.521 % |
97.65/97.78	c |      1344 |   39684   193659   439378 |    71008      905     30 | 27.839 % |
97.76/97.85	c ===============================================================================
97.76/97.85	c New solution: 291
97.76/97.85	o 291
97.76/97.85	c Elapsed CPU time: 97.6452 s	Remaining CPU time: 82.3548 s
97.76/97.85	c ===============================================================================
97.76/97.85	c |      1365 |   39531   193660   439678 |    64553      926     30 | 27.839 % |
97.86/97.91	c ===============================================================================
97.86/97.91	c New solution: 290
97.86/97.91	o 290
97.86/97.91	c Elapsed CPU time: 97.7051 s	Remaining CPU time: 82.2949 s
97.86/97.91	c ===============================================================================
97.86/97.91	c |      1366 |   39360   193661   439978 |    64553      927     30 | 27.839 % |
97.86/97.96	c ===============================================================================
97.86/97.96	c New solution: 289
97.86/97.96	o 289
97.86/97.96	c Elapsed CPU time: 97.7571 s	Remaining CPU time: 82.2429 s
97.86/97.96	c ===============================================================================
97.86/97.96	c |      1388 |   39178   193662   440278 |    64554      949     30 | 27.839 % |
97.95/98.02	c |      1489 |   39158   193662   440278 |    71009     1050     30 | 28.816 % |
98.05/98.11	c |      1643 |   39157   193662   440278 |    78110     1204     31 | 28.816 % |
98.05/98.18	c ===============================================================================
98.05/98.18	c New solution: 288
98.05/98.18	o 288
98.05/98.18	c Elapsed CPU time: 97.9811 s	Remaining CPU time: 82.0189 s
98.05/98.18	c ===============================================================================
98.05/98.18	c |      1688 |   38996   193663   440578 |    64554      966     32 | 28.816 % |
98.15/98.25	c ===============================================================================
98.15/98.25	c New solution: 287
98.15/98.25	o 287
98.15/98.25	c Elapsed CPU time: 98.0441 s	Remaining CPU time: 81.9559 s
98.15/98.25	c ===============================================================================
98.15/98.25	c |      1769 |   38814   193664   440878 |    64554     1047     31 | 28.816 % |
98.26/98.32	c |      1869 |   38786   193664   440878 |    71010     1147     31 | 29.480 % |
98.26/98.39	c |      2019 |   38783   193664   440878 |    78111     1297     31 | 29.481 % |
98.36/98.45	c ===============================================================================
98.36/98.45	c New solution: 286
98.36/98.45	o 286
98.36/98.45	c Elapsed CPU time: 98.2421 s	Remaining CPU time: 81.7579 s
98.36/98.45	c ===============================================================================
98.36/98.45	c |      2029 |   38632   193665   441178 |    64555     1307     31 | 29.481 % |
98.46/98.51	c |      2129 |   38602   193665   441178 |    71010     1407     32 | 29.813 % |
98.56/98.60	c |      2279 |   38450   193665   441178 |    78111     1434     34 | 29.813 % |
98.56/98.65	c ===============================================================================
98.56/98.65	c New solution: 285
98.56/98.65	o 285
98.56/98.65	c Elapsed CPU time: 98.445 s	Remaining CPU time: 81.555 s
98.56/98.65	c ===============================================================================
98.56/98.65	c |      2305 |   38450   193666   441478 |    64555     1460     34 | 29.813 % |
98.66/98.72	c |      2405 |   38424   193666   441478 |    71010     1560     33 | 30.145 % |
98.66/98.79	c |      2555 |   38424   193666   441478 |    78111     1710     33 | 30.145 % |
98.86/98.96	c |      2780 |   38419   193666   441478 |    85923     1935     34 | 30.145 % |
98.96/99.01	c ===============================================================================
98.96/99.01	c New solution: 284
98.96/99.01	o 284
98.96/99.01	c Elapsed CPU time: 98.801 s	Remaining CPU time: 81.199 s
98.96/99.01	c ===============================================================================
98.96/99.01	c |      2783 |   38268   193667   441778 |    64555     1894     35 | 30.145 % |
98.96/99.06	c ===============================================================================
98.96/99.06	c New solution: 283
98.96/99.06	o 283
98.96/99.06	c Elapsed CPU time: 98.85 s	Remaining CPU time: 81.15 s
98.96/99.06	c ===============================================================================
98.96/99.06	c |      2807 |   38086   193668   442078 |    64556     1918     34 | 30.145 % |
99.05/99.13	c |      2907 |   38086   193668   442078 |    71011     2018     35 | 30.810 % |
99.15/99.20	c ===============================================================================
99.15/99.20	c New solution: 282
99.15/99.20	o 282
99.15/99.20	c Elapsed CPU time: 98.992 s	Remaining CPU time: 81.008 s
99.15/99.20	c ===============================================================================
99.15/99.20	c |      2941 |   37904   193669   442378 |    64556     2052     34 | 30.810 % |
99.15/99.27	c |      3041 |   37901   193669   442378 |    71011     2152     34 | 31.142 % |
99.25/99.37	c |      3191 |   37894   193669   442378 |    78113     2302     33 | 31.142 % |
99.35/99.42	c ===============================================================================
99.35/99.42	c New solution: 281
99.35/99.42	o 281
99.35/99.42	c Elapsed CPU time: 99.2059 s	Remaining CPU time: 80.7941 s
99.35/99.42	c ===============================================================================
99.35/99.42	c |      3213 |   37722   193670   442678 |    64556     2063     31 | 31.142 % |
99.35/99.48	c |      3313 |   37688   193670   442678 |    71012     2163     31 | 31.474 % |
99.45/99.58	c |      3464 |   37686   193670   442678 |    78113     2314     31 | 31.474 % |
99.55/99.69	c ===============================================================================
99.55/99.69	c New solution: 280
99.55/99.69	o 280
99.55/99.69	c Elapsed CPU time: 99.4699 s	Remaining CPU time: 80.5301 s
99.55/99.69	c ===============================================================================
99.55/99.69	c |      3634 |   37540   193671   442978 |    64557     2484     31 | 31.474 % |
99.65/99.76	c |      3734 |   37535   193671   442978 |    71012     2584     31 | 31.807 % |
99.75/99.82	c ===============================================================================
99.75/99.82	c New solution: 279
99.75/99.82	o 279
99.75/99.82	c Elapsed CPU time: 99.6079 s	Remaining CPU time: 80.3921 s
99.75/99.82	c ===============================================================================
99.75/99.82	c |      3753 |   37358   193672   443278 |    64557     2411     30 | 31.807 % |
99.75/99.88	c ===============================================================================
99.75/99.88	c New solution: 278
99.75/99.88	o 278
99.75/99.88	c Elapsed CPU time: 99.6588 s	Remaining CPU time: 80.3412 s
99.75/99.88	c ===============================================================================
99.75/99.88	c |      3772 |   37176   193673   443578 |    64557     2430     30 | 31.807 % |
99.85/99.93	c ===============================================================================
99.85/99.93	c New solution: 277
99.85/99.93	o 277
99.85/99.93	c Elapsed CPU time: 99.7138 s	Remaining CPU time: 80.2862 s
99.85/99.93	c ===============================================================================
99.85/99.93	c |      3801 |   36994   193674   443878 |    64558     2459     30 | 31.807 % |
99.85/99.98	c ===============================================================================
99.85/99.98	c New solution: 276
99.85/99.98	o 276
99.85/99.98	c Elapsed CPU time: 99.7638 s	Remaining CPU time: 80.2362 s
99.85/99.98	c ===============================================================================
99.85/99.98	c |      3814 |   36812   193675   444178 |    64558     2472     30 | 31.807 % |
99.96/100.04	c |      3915 |   36798   193675   444178 |    71014     2573     30 | 33.135 % |
100.06/100.15	c |      4066 |   36796   193675   444178 |    78115     2724     30 | 33.135 % |
100.15/100.21	c ===============================================================================
100.15/100.21	c New solution: 275
100.15/100.21	o 275
100.15/100.21	c Elapsed CPU time: 99.9888 s	Remaining CPU time: 80.0112 s
100.15/100.21	c ===============================================================================
100.15/100.21	c |      4082 |   36630   193676   444478 |    64558     2740     30 | 33.135 % |
100.15/100.26	c ===============================================================================
100.15/100.26	c New solution: 274
100.15/100.26	o 274
100.15/100.26	c Elapsed CPU time: 100.043 s	Remaining CPU time: 79.9572 s
100.15/100.26	c ===============================================================================
100.15/100.26	c |      4098 |   36448   193677   444778 |    64559     2232     28 | 33.135 % |
100.25/100.31	c ===============================================================================
100.25/100.31	c New solution: 273
100.25/100.31	o 273
100.25/100.31	c Elapsed CPU time: 100.091 s	Remaining CPU time: 79.9092 s
100.25/100.31	c ===============================================================================
100.25/100.31	c |      4110 |   36266   193678   445078 |    64559     2244     28 | 33.135 % |
100.25/100.37	c ===============================================================================
100.25/100.37	c New solution: 272
100.25/100.37	o 272
100.25/100.37	c Elapsed CPU time: 100.146 s	Remaining CPU time: 79.8542 s
100.25/100.37	c ===============================================================================
100.25/100.37	c |      4132 |   36084   193679   445378 |    64559     2266     28 | 33.135 % |
100.35/100.43	c ===============================================================================
100.35/100.43	c New solution: 271
100.35/100.43	o 271
100.35/100.43	c Elapsed CPU time: 100.204 s	Remaining CPU time: 79.7962 s
100.35/100.43	c ===============================================================================
100.35/100.43	c |      4156 |   35902   193680   445678 |    64560     2290     28 | 33.135 % |
100.35/100.48	c ===============================================================================
100.35/100.48	c New solution: 270
100.35/100.48	o 270
100.35/100.48	c Elapsed CPU time: 100.259 s	Remaining CPU time: 79.7412 s
100.35/100.48	c ===============================================================================
100.35/100.48	c |      4183 |   35720   193681   445978 |    64560     2317     27 | 33.135 % |
100.45/100.56	c |      4283 |   35717   193681   445978 |    71016     2417     28 | 35.128 % |
100.55/100.65	c ===============================================================================
100.55/100.65	c New solution: 269
100.55/100.65	o 269
100.55/100.65	c Elapsed CPU time: 100.428 s	Remaining CPU time: 79.5723 s
100.55/100.65	c ===============================================================================
100.55/100.65	c |      4396 |   35538   193682   446278 |    64560     2530     29 | 35.128 % |
100.65/100.72	c |      4496 |   35535   193682   446278 |    71016     2630     29 | 35.461 % |
100.75/100.83	c |      4646 |   35356   193682   446278 |    78118     2090     28 | 35.461 % |
100.75/100.87	c ===============================================================================
100.75/100.87	c New solution: 268
100.75/100.87	o 268
100.75/100.87	c Elapsed CPU time: 100.65 s	Remaining CPU time: 79.3503 s
100.75/100.87	c ===============================================================================
100.75/100.87	c |      4658 |   35356   193683   446578 |    64561     2102     28 | 35.461 % |
100.85/100.92	c ===============================================================================
100.85/100.92	c New solution: 267
100.85/100.92	o 267
100.85/100.92	c Elapsed CPU time: 100.7 s	Remaining CPU time: 79.3003 s
100.85/100.92	c ===============================================================================
100.85/100.92	c |      4667 |   35168   193684   446878 |    64561     2111     28 | 35.461 % |
100.85/100.99	c ===============================================================================
100.85/100.99	c New solution: 266
100.85/100.99	o 266
100.85/100.99	c Elapsed CPU time: 100.761 s	Remaining CPU time: 79.2393 s
100.85/100.99	c ===============================================================================
100.85/100.99	c |      4711 |   34988   193685   447178 |    64561     2155     28 | 35.461 % |
100.95/101.06	c |      4811 |   34976   193685   447178 |    71017     2255     28 | 36.461 % |
101.05/101.11	c ===============================================================================
101.05/101.11	c New solution: 265
101.05/101.11	o 265
101.05/101.11	c Elapsed CPU time: 100.884 s	Remaining CPU time: 79.1163 s
101.05/101.11	c ===============================================================================
101.05/101.11	c |      4826 |   34808   193686   447478 |    64562     2270     28 | 36.461 % |
101.05/101.16	c ===============================================================================
101.05/101.16	c New solution: 264
101.05/101.16	o 264
101.05/101.16	c Elapsed CPU time: 100.929 s	Remaining CPU time: 79.0713 s
101.05/101.16	c ===============================================================================
101.05/101.16	c |      4844 |   34628   193687   447778 |    64562     2288     28 | 36.461 % |
101.16/101.24	c |      4944 |   34616   193687   447778 |    71018     2388     28 | 37.122 % |
101.16/101.28	c ===============================================================================
101.16/101.28	c New solution: 263
101.16/101.28	o 263
101.16/101.28	c Elapsed CPU time: 101.058 s	Remaining CPU time: 78.9424 s
101.16/101.28	c ===============================================================================
101.16/101.28	c |      4950 |   34446   193688   448078 |    64562     1773     27 | 37.122 % |
101.25/101.33	c ===============================================================================
101.25/101.33	c New solution: 262
101.25/101.33	o 262
101.25/101.33	c Elapsed CPU time: 101.101 s	Remaining CPU time: 78.8994 s
101.25/101.33	c ===============================================================================
101.25/101.33	c |      4952 |   34264   193689   448378 |    64563     1775     27 | 37.122 % |
101.25/101.38	c ===============================================================================
101.25/101.38	c New solution: 261
101.25/101.38	o 261
101.25/101.38	c Elapsed CPU time: 101.151 s	Remaining CPU time: 78.8494 s
101.25/101.38	c ===============================================================================
101.25/101.38	c |      4955 |   34082   193690   448678 |    64563     1778     27 | 37.122 % |
101.35/101.43	c ===============================================================================
101.35/101.43	c New solution: 260
101.35/101.43	o 260
101.35/101.43	c Elapsed CPU time: 101.199 s	Remaining CPU time: 78.8014 s
101.35/101.43	c ===============================================================================
101.35/101.43	c |      4967 |   33900   193691   448978 |    64563     1790     27 | 37.122 % |
101.35/101.49	c ===============================================================================
101.35/101.49	c New solution: 259
101.35/101.49	o 259
101.35/101.49	c Elapsed CPU time: 101.263 s	Remaining CPU time: 78.7374 s
101.35/101.49	c ===============================================================================
101.35/101.49	c |      5008 |   33718   193692   449278 |    64564     1831     27 | 37.122 % |
101.45/101.55	c |      5108 |   33698   193692   449278 |    71020     1931     27 | 38.797 % |
101.55/101.66	c |      5258 |   33697   193692   449278 |    78122     2081     27 | 38.797 % |
101.65/101.72	c ===============================================================================
101.65/101.72	c New solution: 258
101.65/101.72	o 258
101.65/101.72	c Elapsed CPU time: 101.486 s	Remaining CPU time: 78.5144 s
101.65/101.72	c ===============================================================================
101.65/101.72	c |      5284 |   33528   193693   449578 |    64564     2107     27 | 38.797 % |
101.65/101.77	c ===============================================================================
101.65/101.77	c New solution: 257
101.65/101.77	o 257
101.65/101.77	c Elapsed CPU time: 101.534 s	Remaining CPU time: 78.4664 s
101.65/101.77	c ===============================================================================
101.65/101.77	c |      5292 |   33348   193694   449878 |    64564     1660     27 | 38.797 % |
101.75/101.83	c |      5392 |   33310   193694   449878 |    71021     1760     28 | 39.455 % |
101.85/101.94	c |      5543 |   33308   193694   449878 |    78123     1911     29 | 39.455 % |
101.95/102.00	c ===============================================================================
101.95/102.00	c New solution: 256
101.95/102.00	o 256
101.95/102.00	c Elapsed CPU time: 101.768 s	Remaining CPU time: 78.2325 s
101.95/102.00	c ===============================================================================
101.95/102.00	c |      5573 |   33168   193695   450178 |    64565     1941     28 | 39.455 % |
101.95/102.07	c |      5674 |   33165   193695   450178 |    71021     2042     29 | 39.783 % |
102.05/102.13	c ===============================================================================
102.05/102.13	c New solution: 255
102.05/102.13	o 255
102.05/102.13	c Elapsed CPU time: 101.897 s	Remaining CPU time: 78.1035 s
102.05/102.13	c ===============================================================================
102.05/102.13	c |      5709 |   32988   193696   450478 |    64565     2077     28 | 39.783 % |
102.05/102.19	c ===============================================================================
102.05/102.19	c New solution: 254
102.05/102.19	o 254
102.05/102.19	c Elapsed CPU time: 101.954 s	Remaining CPU time: 78.0455 s
102.05/102.19	c ===============================================================================
102.05/102.19	c |      5720 |   32808   193697   450778 |    64565     1837     28 | 39.783 % |
102.16/102.24	c ===============================================================================
102.16/102.24	c New solution: 253
102.16/102.24	o 253
102.16/102.24	c Elapsed CPU time: 102.005 s	Remaining CPU time: 77.9945 s
102.16/102.24	c ===============================================================================
102.16/102.24	c |      5734 |   32626   193698   451078 |    64566     1851     28 | 39.783 % |
102.26/102.32	c |      5834 |   32624   193698   451078 |    71022     1951     29 | 40.776 % |
102.26/102.37	c ===============================================================================
102.26/102.37	c New solution: 252
102.26/102.37	o 252
102.26/102.37	c Elapsed CPU time: 102.132 s	Remaining CPU time: 77.8675 s
102.26/102.37	c ===============================================================================
102.26/102.37	c |      5853 |   32444   193699   451378 |    64566     1970     29 | 40.776 % |
102.35/102.42	c ===============================================================================
102.35/102.42	c New solution: 251
102.35/102.42	o 251
102.35/102.42	c Elapsed CPU time: 102.182 s	Remaining CPU time: 77.8175 s
102.35/102.42	c ===============================================================================
102.35/102.42	c |      5864 |   32262   193700   451678 |    64566     1981     28 | 40.776 % |
102.45/102.50	c |      5966 |   32254   193700   451678 |    71023     2083     29 | 41.441 % |
102.45/102.54	c ===============================================================================
102.45/102.54	c New solution: 250
102.45/102.54	o 250
102.45/102.54	c Elapsed CPU time: 102.302 s	Remaining CPU time: 77.6976 s
102.45/102.54	c ===============================================================================
102.45/102.54	c |      5975 |   32080   193701   451978 |    64567     2092     29 | 41.441 % |
102.45/102.59	c ===============================================================================
102.45/102.59	c New solution: 249
102.45/102.59	o 249
102.45/102.59	c Elapsed CPU time: 102.35 s	Remaining CPU time: 77.6496 s
102.45/102.59	c ===============================================================================
102.45/102.59	c |      5992 |   31898   193702   452278 |    64567     2109     29 | 41.441 % |
102.55/102.64	c |      6092 |   31894   193702   452278 |    71024     2209     29 | 42.105 % |
102.65/102.71	c ===============================================================================
102.65/102.71	c New solution: 248
102.65/102.71	o 248
102.65/102.71	c Elapsed CPU time: 102.467 s	Remaining CPU time: 77.5326 s
102.65/102.71	c ===============================================================================
102.65/102.71	c |      6122 |   31716   193703   452578 |    64567     1674     29 | 42.105 % |
102.65/102.78	c |      6222 |   31714   193703   452578 |    71024     1774     29 | 42.437 % |
102.75/102.83	c ===============================================================================
102.75/102.83	c New solution: 247
102.75/102.83	o 247
102.75/102.83	c Elapsed CPU time: 102.586 s	Remaining CPU time: 77.4136 s
102.75/102.83	c ===============================================================================
102.75/102.83	c |      6233 |   31534   193704   452878 |    64568     1785     29 | 42.437 % |
102.75/102.88	c ===============================================================================
102.75/102.88	c New solution: 246
102.75/102.88	o 246
102.75/102.88	c Elapsed CPU time: 102.641 s	Remaining CPU time: 77.3586 s
102.75/102.88	c ===============================================================================
102.75/102.88	c |      6278 |   31352   193705   453178 |    64568     1830     29 | 42.437 % |
102.85/102.95	c |      6379 |   31347   193705   453178 |    71025     1931     30 | 43.102 % |
102.95/103.02	c ===============================================================================
102.95/103.02	c New solution: 245
102.95/103.02	o 245
102.95/103.02	c Elapsed CPU time: 102.773 s	Remaining CPU time: 77.2266 s
102.95/103.02	c ===============================================================================
102.95/103.02	c |      6417 |   31166   193706   453478 |    64568     1969     29 | 43.102 % |
102.95/103.06	c ===============================================================================
102.95/103.06	c New solution: 244
102.95/103.06	o 244
102.95/103.06	c Elapsed CPU time: 102.82 s	Remaining CPU time: 77.1796 s
102.95/103.06	c ===============================================================================
102.95/103.06	c |      6429 |   30986   193707   453778 |    64569     1981     29 | 43.102 % |
103.05/103.12	c |      6530 |   30961   193707   453778 |    71025     2082     30 | 43.766 % |
103.15/103.22	c |      6681 |   30806   193707   453778 |    78128     1786     29 | 43.766 % |
103.15/103.28	c ===============================================================================
103.15/103.28	c New solution: 243
103.15/103.28	o 243
103.15/103.28	c Elapsed CPU time: 103.033 s	Remaining CPU time: 76.9667 s
103.15/103.28	c ===============================================================================
103.15/103.28	c |      6718 |   30806   193708   454078 |    64569     1823     29 | 43.766 % |
103.25/103.33	c |      6818 |   30805   193708   454078 |    71026     1923     29 | 44.098 % |
103.35/103.44	c |      6969 |   30796   193708   454078 |    78128     2074     29 | 44.099 % |
103.35/103.49	c ===============================================================================
103.35/103.49	c New solution: 242
103.35/103.49	o 242
103.35/103.49	c Elapsed CPU time: 103.24 s	Remaining CPU time: 76.7597 s
103.35/103.49	c ===============================================================================
103.35/103.49	c |      6985 |   30624   193709   454378 |    64569     2090     29 | 44.099 % |
103.45/103.54	c ===============================================================================
103.45/103.54	c New solution: 241
103.45/103.54	o 241
103.45/103.54	c Elapsed CPU time: 103.293 s	Remaining CPU time: 76.7067 s
103.45/103.54	c ===============================================================================
103.45/103.54	c |      7011 |   30442   193710   454678 |    64570     2116     29 | 44.099 % |
103.55/103.60	c ===============================================================================
103.55/103.60	c New solution: 240
103.55/103.60	o 240
103.55/103.60	c Elapsed CPU time: 103.357 s	Remaining CPU time: 76.6427 s
103.55/103.60	c ===============================================================================
103.55/103.60	c |      7039 |   30260   193711   454978 |    64570     1857     28 | 44.099 % |
103.55/103.67	c |      7139 |   30253   193711   454978 |    71027     1957     28 | 45.095 % |
103.65/103.74	c ===============================================================================
103.65/103.74	c New solution: 239
103.65/103.74	o 239
103.65/103.74	c Elapsed CPU time: 103.49 s	Remaining CPU time: 76.5097 s
103.65/103.74	c ===============================================================================
103.65/103.74	c |      7183 |   30078   193712   455278 |    64570     2001     28 | 45.095 % |
103.75/103.81	c |      7283 |   30069   193712   455278 |    71027     2101     29 | 45.427 % |
103.85/103.93	c |      7433 |   30063   193712   455278 |    78130     2251     30 | 45.427 % |
103.85/103.98	c ===============================================================================
103.85/103.98	c New solution: 238
103.85/103.98	o 238
103.85/103.98	c Elapsed CPU time: 103.736 s	Remaining CPU time: 76.2638 s
103.85/103.98	c ===============================================================================
103.85/103.98	c |      7456 |   29896   193713   455578 |    64571     2274     30 | 45.427 % |
103.95/104.05	c ===============================================================================
103.95/104.05	c New solution: 237
103.95/104.05	o 237
103.95/104.05	c Elapsed CPU time: 103.799 s	Remaining CPU time: 76.2008 s
103.95/104.05	c ===============================================================================
103.95/104.05	c |      7486 |   29714   193714   455878 |    64571     2067     30 | 45.427 % |
104.05/104.11	c |      7586 |   29709   193714   455878 |    71028     2167     30 | 46.092 % |
104.05/104.17	c ===============================================================================
104.05/104.17	c New solution: 236
104.05/104.17	o 236
104.05/104.17	c Elapsed CPU time: 103.923 s	Remaining CPU time: 76.0768 s
104.05/104.17	c ===============================================================================
104.05/104.17	c |      7632 |   29532   193715   456178 |    64571     2213     30 | 46.092 % |
104.15/104.23	c |      7733 |   29527   193715   456178 |    71028     2314     31 | 46.424 % |
104.25/104.33	c ===============================================================================
104.25/104.33	c New solution: 235
104.25/104.33	o 235
104.25/104.33	c Elapsed CPU time: 104.076 s	Remaining CPU time: 75.9238 s
104.25/104.33	c ===============================================================================
104.25/104.33	c |      7827 |   29350   193716   456478 |    64572     2408     30 | 46.424 % |
104.25/104.37	c ===============================================================================
104.25/104.37	c New solution: 234
104.25/104.37	o 234
104.25/104.37	c Elapsed CPU time: 104.117 s	Remaining CPU time: 75.8828 s
104.25/104.37	c ===============================================================================
104.25/104.37	c |      7830 |   29168   193717   456778 |    64572     2411     30 | 46.424 % |
104.36/104.41	c ===============================================================================
104.36/104.41	c New solution: 233
104.36/104.41	o 233
104.36/104.41	c Elapsed CPU time: 104.161 s	Remaining CPU time: 75.8388 s
104.36/104.41	c ===============================================================================
104.36/104.41	c |      7846 |   28986   193718   457078 |    64572     2427     30 | 46.424 % |
104.36/104.46	c |      7948 |   28980   193718   457078 |    71029     2529     30 | 47.421 % |
104.46/104.56	c |      8100 |   28804   193718   457078 |    78132     2192     29 | 47.421 % |
104.55/104.63	c ===============================================================================
104.55/104.63	c New solution: 232
104.55/104.63	o 232
104.55/104.63	c Elapsed CPU time: 104.381 s	Remaining CPU time: 75.6189 s
104.55/104.63	c ===============================================================================
104.55/104.63	c |      8175 |   28804   193719   457378 |    64573     2267     30 | 47.421 % |
104.65/104.71	c |      8275 |   28795   193719   457378 |    71030     2367     30 | 47.753 % |
104.65/104.75	c ===============================================================================
104.65/104.75	c New solution: 231
104.65/104.75	o 231
104.65/104.75	c Elapsed CPU time: 104.497 s	Remaining CPU time: 75.5029 s
104.65/104.75	c ===============================================================================
104.65/104.75	c |      8287 |   28622   193720   457678 |    64573     2379     30 | 47.753 % |
104.75/104.80	c ===============================================================================
104.75/104.80	c New solution: 230
104.75/104.80	o 230
104.75/104.80	c Elapsed CPU time: 104.541 s	Remaining CPU time: 75.4589 s
104.75/104.80	c ===============================================================================
104.75/104.80	c |      8307 |   28440   193721   457978 |    64573     2399     30 | 47.753 % |
104.75/104.85	c ===============================================================================
104.75/104.85	c New solution: 229
104.75/104.85	o 229
104.75/104.85	c Elapsed CPU time: 104.592 s	Remaining CPU time: 75.4079 s
104.75/104.85	c ===============================================================================
104.75/104.85	c |      8318 |   28258   193722   458278 |    64574     2410     30 | 47.753 % |
104.85/104.90	c ===============================================================================
104.85/104.90	c New solution: 228
104.85/104.90	o 228
104.85/104.90	c Elapsed CPU time: 104.643 s	Remaining CPU time: 75.3569 s
104.85/104.90	c ===============================================================================
104.85/104.90	c |      8341 |   28076   193723   458578 |    64574     2433     30 | 47.753 % |
104.85/104.97	c |      8441 |   28074   193723   458578 |    71031     2533     29 | 49.082 % |
104.95/105.02	c ===============================================================================
104.95/105.02	c New solution: 227
104.95/105.02	o 227
104.95/105.02	c Elapsed CPU time: 104.76 s	Remaining CPU time: 75.2399 s
104.95/105.02	c ===============================================================================
104.95/105.02	c |      8450 |   27894   193724   458878 |    64574     1897     28 | 49.082 % |
104.95/105.06	c ===============================================================================
104.95/105.06	c New solution: 226
104.95/105.06	o 226
104.95/105.06	c Elapsed CPU time: 104.806 s	Remaining CPU time: 75.1939 s
104.95/105.06	c ===============================================================================
104.95/105.06	c |      8459 |   27712   193725   459178 |    64575     1906     28 | 49.082 % |
105.05/105.11	c ===============================================================================
105.05/105.11	c New solution: 225
105.05/105.11	o 225
105.05/105.11	c Elapsed CPU time: 104.849 s	Remaining CPU time: 75.1509 s
105.05/105.11	c ===============================================================================
105.05/105.11	c |      8469 |   27530   193726   459478 |    64575     1916     28 | 49.082 % |
105.05/105.17	c ===============================================================================
105.05/105.17	c New solution: 224
105.05/105.17	o 224
105.05/105.17	c Elapsed CPU time: 104.908 s	Remaining CPU time: 75.0919 s
105.05/105.17	c ===============================================================================
105.05/105.17	c |      8488 |   27348   193727   459778 |    64575     1935     28 | 49.082 % |
105.15/105.26	c ===============================================================================
105.15/105.26	c New solution: 223
105.15/105.26	o 223
105.15/105.26	c Elapsed CPU time: 105.001 s	Remaining CPU time: 74.999 s
105.15/105.26	c ===============================================================================
105.15/105.26	c |      8574 |   27166   193728   460078 |    64576     2021     28 | 49.082 % |
105.25/105.31	c ===============================================================================
105.25/105.31	c New solution: 222
105.25/105.31	o 222
105.25/105.31	c Elapsed CPU time: 105.054 s	Remaining CPU time: 74.946 s
105.25/105.31	c ===============================================================================
105.25/105.31	c |      8597 |   26984   193729   460378 |    64576     2044     28 | 49.082 % |
105.25/105.37	c ===============================================================================
105.25/105.37	c New solution: 221
105.25/105.37	o 221
105.25/105.37	c Elapsed CPU time: 105.109 s	Remaining CPU time: 74.891 s
105.25/105.37	c ===============================================================================
105.25/105.37	c |      8645 |   26802   193730   460678 |    64576     2092     28 | 49.082 % |
105.35/105.42	c |      8745 |   26799   193730   460678 |    71034     2192     28 | 51.407 % |
105.46/105.53	c |      8895 |   26791   193730   460678 |    78137     2342     28 | 51.407 % |
105.46/105.57	c ===============================================================================
105.46/105.57	c New solution: 220
105.46/105.57	o 220
105.46/105.57	c Elapsed CPU time: 105.309 s	Remaining CPU time: 74.691 s
105.46/105.57	c ===============================================================================
105.46/105.57	c |      8902 |   26620   193731   460978 |    64577     1640     28 | 51.407 % |
105.56/105.62	c ===============================================================================
105.56/105.62	c New solution: 219
105.56/105.62	o 219
105.56/105.62	c Elapsed CPU time: 105.361 s	Remaining CPU time: 74.639 s
105.56/105.62	c ===============================================================================
105.56/105.62	c |      8912 |   26438   193732   461278 |    64577     1650     28 | 51.407 % |
105.56/105.68	c ===============================================================================
105.56/105.68	c New solution: 218
105.56/105.68	o 218
105.56/105.68	c Elapsed CPU time: 105.416 s	Remaining CPU time: 74.584 s
105.56/105.68	c ===============================================================================
105.56/105.68	c |      8965 |   26256   193733   461578 |    64577     1703     27 | 51.407 % |
105.65/105.74	c |      9065 |   26250   193733   461578 |    71035     1803     27 | 52.404 % |
105.75/105.83	c ===============================================================================
105.75/105.83	c New solution: 217
105.75/105.83	o 217
105.75/105.83	c Elapsed CPU time: 105.565 s	Remaining CPU time: 74.435 s
105.75/105.83	c ===============================================================================
105.75/105.83	c |      9194 |   26074   193734   461878 |    64578     1932     27 | 52.404 % |
105.75/105.89	c |      9294 |   26069   193734   461878 |    71035     2032     27 | 52.736 % |
105.85/105.93	c ===============================================================================
105.85/105.93	c New solution: 216
105.85/105.93	o 216
105.85/105.93	c Elapsed CPU time: 105.667 s	Remaining CPU time: 74.3331 s
105.85/105.93	c ===============================================================================
105.85/105.93	c |      9306 |   25892   193735   462178 |    64578     2044     27 | 52.736 % |
105.85/105.97	c ===============================================================================
105.85/105.97	c New solution: 215
105.85/105.97	o 215
105.85/105.97	c Elapsed CPU time: 105.711 s	Remaining CPU time: 74.2891 s
105.85/105.97	c ===============================================================================
105.85/105.97	c |      9309 |   25710   193736   462478 |    64578     2047     27 | 52.736 % |
105.95/106.03	c |      9410 |   25678   193736   462478 |    71036     2148     27 | 53.401 % |
106.05/106.12	c |      9561 |   25528   193736   462478 |    78140     1717     26 | 53.401 % |
106.05/106.16	c ===============================================================================
106.05/106.16	c New solution: 214
106.05/106.16	o 214
106.05/106.16	c Elapsed CPU time: 105.896 s	Remaining CPU time: 74.1041 s
106.05/106.16	c ===============================================================================
106.05/106.16	c |      9567 |   25528   193737   462778 |    64579     1723     26 | 53.401 % |
106.15/106.21	c ===============================================================================
106.15/106.21	c New solution: 213
106.15/106.21	o 213
106.15/106.21	c Elapsed CPU time: 105.945 s	Remaining CPU time: 74.0551 s
106.15/106.21	c ===============================================================================
106.15/106.21	c |      9574 |   25346   193738   463078 |    64579     1730     26 | 53.401 % |
106.15/106.25	c ===============================================================================
106.15/106.25	c New solution: 212
106.15/106.25	o 212
106.15/106.25	c Elapsed CPU time: 105.989 s	Remaining CPU time: 74.0111 s
106.15/106.25	c ===============================================================================
106.15/106.25	c |      9583 |   25164   193739   463378 |    64579     1739     26 | 53.401 % |
106.25/106.32	c ===============================================================================
106.25/106.32	c New solution: 211
106.25/106.32	o 211
106.25/106.32	c Elapsed CPU time: 106.05 s	Remaining CPU time: 73.9501 s
106.25/106.32	c ===============================================================================
106.25/106.32	c |      9623 |   24982   193740   463678 |    64580     1779     26 | 53.401 % |
106.25/106.36	c ===============================================================================
106.25/106.36	c New solution: 210
106.25/106.36	o 210
106.25/106.36	c Elapsed CPU time: 106.094 s	Remaining CPU time: 73.9061 s
106.25/106.36	c ===============================================================================
106.25/106.36	c |      9630 |   24800   193741   463978 |    64580     1786     26 | 53.401 % |
106.34/106.40	c ===============================================================================
106.34/106.40	c New solution: 209
106.34/106.40	o 209
106.34/106.40	c Elapsed CPU time: 106.138 s	Remaining CPU time: 73.8621 s
106.34/106.40	c ===============================================================================
106.34/106.40	c |      9653 |   24618   193742   464278 |    64580     1809     26 | 53.401 % |
106.34/106.45	c |      9753 |   24613   193742   464278 |    71038     1909     26 | 55.394 % |
106.44/106.57	c |      9903 |   24608   193742   464278 |    78142     2059     27 | 55.394 % |
106.55/106.61	c ===============================================================================
106.55/106.61	c New solution: 208
106.55/106.61	o 208
106.55/106.61	c Elapsed CPU time: 106.346 s	Remaining CPU time: 73.6542 s
106.55/106.61	c ===============================================================================
106.55/106.61	c |      9918 |   24436   193743   464578 |    64581     1590     26 | 55.394 % |
106.55/106.68	c ===============================================================================
106.55/106.68	c New solution: 207
106.55/106.68	o 207
106.55/106.68	c Elapsed CPU time: 106.412 s	Remaining CPU time: 73.5882 s
106.55/106.68	c ===============================================================================
106.55/106.68	c |      9993 |   24254   193744   464878 |    64581     1665     27 | 55.394 % |
106.66/106.76	c |     10094 |   24248   193744   464878 |    71039     1766     27 | 56.059 % |
106.75/106.84	c ===============================================================================
106.75/106.84	c New solution: 206
106.75/106.84	o 206
106.75/106.84	c Elapsed CPU time: 106.572 s	Remaining CPU time: 73.4282 s
106.75/106.84	c ===============================================================================
106.75/106.84	c |     10155 |   24072   193745   465178 |    64581     1827     27 | 56.059 % |
106.75/106.88	c ===============================================================================
106.75/106.88	c New solution: 205
106.75/106.88	o 205
106.75/106.88	c Elapsed CPU time: 106.615 s	Remaining CPU time: 73.3852 s
106.75/106.88	c ===============================================================================
106.75/106.88	c |     10173 |   23890   193746   465478 |    64582     1845     27 | 56.059 % |
106.85/106.93	c ===============================================================================
106.85/106.93	c New solution: 204
106.85/106.93	o 204
106.85/106.93	c Elapsed CPU time: 106.66 s	Remaining CPU time: 73.3402 s
106.85/106.93	c ===============================================================================
106.85/106.93	c |     10195 |   23708   193747   465778 |    64582     1867     27 | 56.059 % |
106.85/106.98	c |     10295 |   23663   193747   465778 |    71040     1967     27 | 57.055 % |
107.05/107.11	c |     10445 |   23662   193747   465778 |    78144     2117     28 | 57.055 % |
107.05/107.17	c ===============================================================================
107.05/107.17	c New solution: 203
107.05/107.17	o 203
107.05/107.17	c Elapsed CPU time: 106.898 s	Remaining CPU time: 73.1023 s
107.05/107.17	c ===============================================================================
107.05/107.17	c |     10489 |   23526   193748   466078 |    64582     1768     29 | 57.055 % |
107.15/107.23	c |     10590 |   23517   193748   466078 |    71040     1869     29 | 57.387 % |
107.25/107.32	c |     10740 |   23512   193748   466078 |    78145     2019     28 | 57.387 % |
107.25/107.36	c ===============================================================================
107.25/107.36	c New solution: 202
107.25/107.36	o 202
107.25/107.36	c Elapsed CPU time: 107.085 s	Remaining CPU time: 72.9153 s
107.25/107.36	c ===============================================================================
107.25/107.36	c |     10746 |   23344   193749   466378 |    64583     2025     28 | 57.387 % |
107.34/107.41	c ===============================================================================
107.34/107.41	c New solution: 201
107.34/107.41	o 201
107.34/107.41	c Elapsed CPU time: 107.131 s	Remaining CPU time: 72.8693 s
107.34/107.41	c ===============================================================================
107.34/107.41	c |     10754 |   23162   193750   466678 |    64583     2033     28 | 57.387 % |
107.34/107.45	c ===============================================================================
107.34/107.45	c New solution: 200
107.34/107.45	o 200
107.34/107.45	c Elapsed CPU time: 107.172 s	Remaining CPU time: 72.8283 s
107.34/107.45	c ===============================================================================
107.34/107.45	c |     10771 |   22980   193751   466978 |    64583     2050     28 | 57.387 % |
107.44/107.50	c |     10872 |   22979   193751   466978 |    71042     2151     28 | 58.384 % |
107.55/107.60	c |     11024 |   22968   193751   466978 |    78146     2303     28 | 58.384 % |
107.55/107.64	c ===============================================================================
107.55/107.64	c New solution: 199
107.55/107.64	o 199
107.55/107.64	c Elapsed CPU time: 107.359 s	Remaining CPU time: 72.6413 s
107.55/107.64	c ===============================================================================
107.55/107.64	c |     11031 |   22798   193752   467278 |    64584     1861     27 | 58.384 % |
107.55/107.68	c ===============================================================================
107.55/107.69	c New solution: 198
107.55/107.69	o 198
107.55/107.69	c Elapsed CPU time: 107.405 s	Remaining CPU time: 72.5953 s
107.55/107.69	c ===============================================================================
107.55/107.69	c |     11040 |   22616   193753   467578 |    64584     1870     27 | 58.384 % |
107.66/107.72	c ===============================================================================
107.66/107.72	c New solution: 197
107.66/107.72	o 197
107.66/107.72	c Elapsed CPU time: 107.444 s	Remaining CPU time: 72.5563 s
107.66/107.72	c ===============================================================================
107.66/107.72	c |     11050 |   22434   193754   467878 |    64584     1880     27 | 58.384 % |
107.66/107.77	c ===============================================================================
107.66/107.77	c New solution: 196
107.66/107.77	o 196
107.66/107.77	c Elapsed CPU time: 107.493 s	Remaining CPU time: 72.5073 s
107.66/107.77	c ===============================================================================
107.66/107.77	c |     11088 |   22252   193755   468178 |    64585     1918     27 | 58.384 % |
107.76/107.87	c |     11189 |   22243   193755   468178 |    71043     2019     27 | 59.713 % |
107.85/107.92	c ===============================================================================
107.85/107.92	c New solution: 195
107.85/107.92	o 195
107.85/107.92	c Elapsed CPU time: 107.644 s	Remaining CPU time: 72.3564 s
107.85/107.92	c ===============================================================================
107.85/107.92	c |     11245 |   22070   193756   468478 |    64585     2075     27 | 59.713 % |
107.95/108.00	c |     11345 |   22070   193756   468478 |    71043     2175     27 | 60.045 % |
107.95/108.04	c ===============================================================================
107.95/108.04	c New solution: 194
107.95/108.04	o 194
107.95/108.04	c Elapsed CPU time: 107.762 s	Remaining CPU time: 72.2384 s
107.95/108.04	c ===============================================================================
107.95/108.04	c |     11363 |   21888   193757   468778 |    64585     2193     27 | 60.045 % |
107.95/108.08	c ===============================================================================
107.95/108.08	c New solution: 193
107.95/108.08	o 193
107.95/108.08	c Elapsed CPU time: 107.802 s	Remaining CPU time: 72.1984 s
107.95/108.08	c ===============================================================================
107.95/108.08	c |     11377 |   21706   193758   469078 |    64586     2207     27 | 60.045 % |
108.05/108.16	c ===============================================================================
108.05/108.16	c New solution: 192
108.05/108.16	o 192
108.05/108.16	c Elapsed CPU time: 107.878 s	Remaining CPU time: 72.1224 s
108.05/108.16	c ===============================================================================
108.05/108.16	c |     11437 |   21524   193759   469378 |    64586     2267     27 | 60.045 % |
108.15/108.21	c |     11537 |   21342   193759   469378 |    71044     1556     27 | 61.042 % |
108.25/108.32	c |     11687 |   21342   193759   469378 |    78149     1706     29 | 61.042 % |
108.25/108.38	c ===============================================================================
108.25/108.38	c New solution: 191
108.25/108.38	o 191
108.25/108.38	c Elapsed CPU time: 108.092 s	Remaining CPU time: 71.9084 s
108.25/108.38	c ===============================================================================
108.25/108.38	c |     11735 |   21342   193760   469678 |    64586     1754     29 | 61.042 % |
108.35/108.44	c ===============================================================================
108.35/108.44	c New solution: 190
108.35/108.44	o 190
108.35/108.44	c Elapsed CPU time: 108.155 s	Remaining CPU time: 71.8454 s
108.35/108.44	c ===============================================================================
108.35/108.44	c |     11773 |   21160   193761   469978 |    64587     1792     29 | 61.042 % |
108.35/108.48	c ===============================================================================
108.35/108.48	c New solution: 189
108.35/108.48	o 189
108.35/108.48	c Elapsed CPU time: 108.199 s	Remaining CPU time: 71.8014 s
108.35/108.48	c ===============================================================================
108.35/108.48	c |     11788 |   20978   193762   470278 |    64587     1807     29 | 61.042 % |
108.45/108.53	c ===============================================================================
108.45/108.53	c New solution: 188
108.45/108.53	o 188
108.45/108.53	c Elapsed CPU time: 108.248 s	Remaining CPU time: 71.7525 s
108.45/108.53	c ===============================================================================
108.45/108.53	c |     11823 |   20796   193763   470578 |    64587     1842     28 | 61.042 % |
108.55/108.61	c |     11924 |   20790   193763   470578 |    71046     1943     29 | 62.371 % |
108.55/108.66	c ===============================================================================
108.55/108.66	c New solution: 187
108.55/108.66	o 187
108.55/108.66	c Elapsed CPU time: 108.37 s	Remaining CPU time: 71.6305 s
108.55/108.66	c ===============================================================================
108.55/108.66	c |     11944 |   20614   193764   470878 |    64588     1963     29 | 62.371 % |
108.64/108.70	c ===============================================================================
108.64/108.70	c New solution: 186
108.64/108.70	o 186
108.64/108.70	c Elapsed CPU time: 108.416 s	Remaining CPU time: 71.5845 s
108.64/108.70	c ===============================================================================
108.64/108.70	c |     11971 |   20432   193765   471178 |    64588     1990     29 | 62.371 % |
108.64/108.75	c ===============================================================================
108.64/108.75	c New solution: 185
108.64/108.75	o 185
108.64/108.75	c Elapsed CPU time: 108.467 s	Remaining CPU time: 71.5335 s
108.64/108.75	c ===============================================================================
108.64/108.75	c |     11997 |   20250   193766   471478 |    64588     1547     27 | 62.371 % |
108.75/108.85	c ===============================================================================
108.75/108.85	c New solution: 184
108.75/108.85	o 184
108.75/108.85	c Elapsed CPU time: 108.558 s	Remaining CPU time: 71.4415 s
108.75/108.85	c ===============================================================================
108.75/108.85	c |     12074 |   20068   193767   471778 |    64589     1624     27 | 62.371 % |
108.85/108.92	c ===============================================================================
108.85/108.92	c New solution: 183
108.85/108.92	o 183
108.85/108.92	c Elapsed CPU time: 108.628 s	Remaining CPU time: 71.3715 s
108.85/108.92	c ===============================================================================
108.85/108.92	c |     12139 |   19886   193768   472078 |    64589     1689     28 | 62.371 % |
108.85/108.98	c ===============================================================================
108.85/108.98	c New solution: 182
108.85/108.98	o 182
108.85/108.98	c Elapsed CPU time: 108.689 s	Remaining CPU time: 71.3105 s
108.85/108.98	c ===============================================================================
108.85/108.98	c |     12177 |   19704   193769   472378 |    64589     1727     28 | 62.371 % |
108.95/109.02	c ===============================================================================
108.95/109.02	c New solution: 181
108.95/109.02	o 181
108.95/109.02	c Elapsed CPU time: 108.728 s	Remaining CPU time: 71.2715 s
108.95/109.02	c ===============================================================================
108.95/109.02	c |     12191 |   19522   193770   472678 |    64590     1741     28 | 62.371 % |
108.95/109.08	c |     12291 |   19516   193770   472678 |    71049     1841     28 | 64.696 % |
109.05/109.13	c ===============================================================================
109.05/109.13	c New solution: 180
109.05/109.13	o 180
109.05/109.13	c Elapsed CPU time: 108.843 s	Remaining CPU time: 71.1565 s
109.05/109.13	c ===============================================================================
109.05/109.13	c |     12311 |   19340   193771   472978 |    64590     1861     28 | 64.696 % |
109.05/109.18	c ===============================================================================
109.05/109.18	c New solution: 179
109.05/109.18	o 179
109.05/109.18	c Elapsed CPU time: 108.889 s	Remaining CPU time: 71.1106 s
109.05/109.18	c ===============================================================================
109.05/109.18	c |     12350 |   19158   193772   473278 |    64590     1900     28 | 64.696 % |
109.15/109.26	c ===============================================================================
109.15/109.26	c New solution: 178
109.15/109.26	o 178
109.15/109.26	c Elapsed CPU time: 108.968 s	Remaining CPU time: 71.0316 s
109.15/109.26	c ===============================================================================
109.15/109.26	c |     12404 |   18976   193773   473578 |    64591     1954     28 | 64.696 % |
109.25/109.31	c |     12504 |   18954   193773   473578 |    71050     2054     29 | 65.693 % |
109.35/109.43	c |     12654 |   18794   193773   473578 |    78155     1494     27 | 65.693 % |
109.35/109.47	c ===============================================================================
109.35/109.47	c New solution: 177
109.35/109.47	o 177
109.35/109.47	c Elapsed CPU time: 109.17 s	Remaining CPU time: 70.8296 s
109.35/109.47	c ===============================================================================
109.35/109.47	c |     12668 |   18794   193774   473878 |    64591     1508     27 | 65.693 % |
109.45/109.52	c ===============================================================================
109.45/109.52	c New solution: 176
109.45/109.52	o 176
109.45/109.52	c Elapsed CPU time: 109.222 s	Remaining CPU time: 70.7776 s
109.45/109.52	c ===============================================================================
109.45/109.52	c |     12719 |   18612   193775   474178 |    64591     1559     27 | 65.693 % |
109.45/109.58	c |     12820 |   18599   193775   474178 |    71050     1660     27 | 66.358 % |
109.55/109.67	c |     12970 |   18596   193775   474178 |    78155     1810     28 | 66.358 % |
109.65/109.71	c ===============================================================================
109.65/109.71	c New solution: 175
109.65/109.71	o 175
109.65/109.71	c Elapsed CPU time: 109.417 s	Remaining CPU time: 70.5826 s
109.65/109.71	c ===============================================================================
109.65/109.71	c |     12996 |   18430   193776   474478 |    64592     1836     28 | 66.358 % |
109.75/109.80	c |     13096 |   18408   193776   474478 |    71051     1936     28 | 66.690 % |
109.75/109.85	c ===============================================================================
109.75/109.85	c New solution: 174
109.75/109.85	o 174
109.75/109.85	c Elapsed CPU time: 109.554 s	Remaining CPU time: 70.4457 s
109.75/109.85	c ===============================================================================
109.75/109.85	c |     13115 |   18248   193777   474778 |    64592     1745     27 | 66.690 % |
109.85/109.95	c |     13215 |   18236   193777   474778 |    71051     1845     27 | 67.022 % |
109.85/109.98	c ===============================================================================
109.85/109.98	c New solution: 173
109.85/109.98	o 173
109.85/109.98	c Elapsed CPU time: 109.687 s	Remaining CPU time: 70.3127 s
109.85/109.98	c ===============================================================================
109.85/109.98	c |     13227 |   18066   193778   475078 |    64592     1857     27 | 67.022 % |
109.95/110.03	c |     13327 |   18021   193778   475078 |    71051     1957     27 | 67.354 % |
110.04/110.15	c |     13477 |   18020   193778   475078 |    78157     2107     27 | 67.354 % |
110.15/110.24	c |     13702 |   18014   193778   475078 |    85972     2332     28 | 67.354 % |
110.45/110.51	c |     14039 |   18014   193778   475078 |    94570     2669     29 | 67.354 % |
110.45/110.58	c ===============================================================================
110.45/110.58	c New solution: 172
110.45/110.58	o 172
110.45/110.58	c Elapsed CPU time: 110.276 s	Remaining CPU time: 69.7238 s
110.45/110.58	c ===============================================================================
110.45/110.58	c |     14076 |   17884   193779   475378 |    64593     2490     29 | 67.354 % |
110.55/110.63	c ===============================================================================
110.55/110.63	c New solution: 171
110.55/110.63	o 171
110.55/110.63	c Elapsed CPU time: 110.325 s	Remaining CPU time: 69.6748 s
110.55/110.63	c ===============================================================================
110.55/110.63	c |     14108 |   17702   193780   475678 |    64593     2522     29 | 67.354 % |
110.65/110.72	c |     14208 |   17684   193780   475678 |    71052     2622     29 | 68.019 % |
110.75/110.80	c |     14358 |   17674   193780   475678 |    78157     2772     29 | 68.019 % |
110.85/110.93	c |     14583 |   17674   193780   475678 |    85973     2997     29 | 68.019 % |
110.95/111.07	c |     14920 |   17670   193780   475678 |    94571     3334     29 | 68.019 % |
111.24/111.35	c |     15428 |   17520   193780   475678 |   104028     3631     30 | 68.019 % |
111.24/111.40	c ===============================================================================
111.24/111.40	c New solution: 170
111.24/111.40	o 170
111.24/111.40	c Elapsed CPU time: 111.088 s	Remaining CPU time: 68.9119 s
111.24/111.40	c ===============================================================================
111.24/111.40	c |     15444 |   17520   193781   475978 |    64593     3647     30 | 68.019 % |
111.34/111.44	c ===============================================================================
111.34/111.44	c New solution: 169
111.34/111.44	o 169
111.34/111.44	c Elapsed CPU time: 111.129 s	Remaining CPU time: 68.8709 s
111.34/111.44	c ===============================================================================
111.34/111.44	c |     15461 |   17338   193782   476278 |    64594     3664     30 | 68.019 % |
111.44/111.50	c ===============================================================================
111.44/111.50	c New solution: 168
111.44/111.50	o 168
111.44/111.50	c Elapsed CPU time: 111.194 s	Remaining CPU time: 68.8059 s
111.44/111.50	c ===============================================================================
111.44/111.50	c |     15558 |   17156   193783   476578 |    64594     3761     30 | 68.019 % |
111.44/111.58	c |     15658 |   17151   193783   476578 |    71053     3861     30 | 69.015 % |
111.54/111.62	c ===============================================================================
111.54/111.62	c New solution: 167
111.54/111.62	o 167
111.54/111.62	c Elapsed CPU time: 111.314 s	Remaining CPU time: 68.6859 s
111.54/111.62	c ===============================================================================
111.54/111.62	c |     15683 |   16974   193784   476878 |    64594     3886     30 | 69.015 % |
111.54/111.68	c |     15783 |   16792   193784   476878 |    71054     3097     26 | 69.348 % |
111.65/111.75	c |     15934 |   16792   193784   476878 |    78159     3248     27 | 69.348 % |
111.75/111.86	c |     16159 |   16792   193784   476878 |    85975     3473     28 | 69.348 % |
111.95/112.06	c |     16496 |   16792   193784   476878 |    94573     3810     28 | 69.348 % |
112.16/112.26	c ===============================================================================
112.16/112.26	c New solution: 166
112.16/112.26	o 166
112.16/112.26	c Elapsed CPU time: 111.95 s	Remaining CPU time: 68.05 s
112.16/112.26	c ===============================================================================
112.16/112.26	c |     16715 |   16792   193785   477178 |    64595     4029     28 | 69.348 % |
112.25/112.32	c |     16816 |   16610   193785   477178 |    71054     3978     29 | 69.680 % |
112.35/112.44	c |     16966 |   16610   193785   477178 |    78159     4128     29 | 69.680 % |
112.45/112.50	c |     17191 |   16610   193785   477178 |    85975     4353     28 | 69.680 % |
112.55/112.61	c |     17528 |   16610   193785   477178 |    94573     4690     29 | 69.680 % |
112.75/112.84	c |     18035 |   16610   193785   477178 |   104030     5197     29 | 69.680 % |
112.94/113.07	c |     18794 |   16610   193785   477178 |   114433     5956     28 | 69.680 % |
113.45/113.55	c |     19933 |   16610   193785   477178 |   125877     7095     31 | 69.680 % |
114.64/114.72	c |     21642 |   16610   193785   477178 |   138465     8804     32 | 69.680 % |
115.35/115.47	c |     24205 |   16610   193785   477178 |   152311    11367     33 | 69.680 % |
117.44/117.57	c |     28049 |   16610   193785   477178 |   167542    15211     41 | 69.680 % |
121.96/122.08	c |     33815 |   16610   193785   477178 |   184297    20977     45 | 69.680 % |
122.15/122.24	c ===============================================================================
122.15/122.24	c New solution: 165
122.15/122.24	o 165
122.15/122.24	c Elapsed CPU time: 121.874 s	Remaining CPU time: 58.1255 s
122.15/122.24	c ===============================================================================
122.15/122.24	c |     34102 |   16610   193786   477478 |    64595    21264     45 | 69.680 % |
122.25/122.34	c |     34203 |   16428   193786   477478 |    71054    21196     45 | 70.012 % |
122.35/122.41	c |     34354 |   16428   193786   477478 |    78160    21347     45 | 70.012 % |
122.54/122.60	c |     34580 |   16428   193786   477478 |    85976    21573     45 | 70.012 % |
122.84/122.90	c |     34917 |   16428   193786   477478 |    94574    21910     45 | 70.012 % |
122.94/123.08	c |     35424 |   16428   193786   477478 |   104031    22417     45 | 70.012 % |
123.54/123.65	c |     36183 |   16428   193786   477478 |   114434    23176     44 | 70.012 % |
123.64/123.71	c ===============================================================================
123.64/123.71	c New solution: 164
123.64/123.71	o 164
123.64/123.71	c Elapsed CPU time: 123.333 s	Remaining CPU time: 56.6667 s
123.64/123.71	c ===============================================================================
123.64/123.71	c |     36229 |   16428   193787   477778 |    64595    23222     44 | 70.012 % |
123.64/123.77	c |     36329 |   16419   193787   477778 |    71055    23322     44 | 70.344 % |
123.74/123.86	c |     36481 |   16411   193787   477778 |    78160    23474     44 | 70.344 % |
123.95/124.01	c |     36707 |   16411   193787   477778 |    85976    23700     44 | 70.344 % |
124.15/124.24	c ===============================================================================
124.15/124.24	c New solution: 163
124.15/124.24	o 163
124.15/124.24	c Elapsed CPU time: 123.865 s	Remaining CPU time: 56.1348 s
124.15/124.24	c ===============================================================================
124.15/124.24	c |     36907 |   16246   193788   478078 |    64596    23008     43 | 70.344 % |
124.25/124.33	c |     37009 |   16235   193788   478078 |    71055    23110     43 | 70.676 % |
124.35/124.41	c |     37159 |   16225   193788   478078 |    78161    23260     43 | 70.676 % |
124.44/124.59	c |     37384 |   16223   193788   478078 |    85977    23485     43 | 70.677 % |
124.64/124.77	c |     37721 |   16218   193788   478078 |    94575    23822     43 | 70.677 % |
125.14/125.26	c |     38227 |   16215   193788   478078 |   104032    24328     43 | 70.676 % |
125.35/125.48	c |     38986 |   16213   193788   478078 |   114435    25087     42 | 70.676 % |
125.94/126.01	c |     40126 |   16213   193788   478078 |   125879    26227     42 | 70.676 % |
127.45/127.57	c |     41834 |   16064   193788   478078 |   138467    27058     43 | 70.676 % |
128.34/128.44	c |     44396 |   16064   193788   478078 |   152313    29620     42 | 70.676 % |
130.85/130.99	c |     48241 |   16064   193788   478078 |   167545    33465     44 | 70.676 % |
133.84/133.91	c |     54009 |   16064   193788   478078 |   184299    39233     43 | 70.677 % |
142.24/142.33	c |     62658 |   16064   193788   478078 |   202729    47882     47 | 70.676 % |
149.54/149.63	c |     75633 |   16064   193788   478078 |   223002    60857     48 | 70.676 % |
166.63/166.72	c |     95095 |   16064   193788   478078 |   245303    80319     51 | 70.676 % |
180.53/180.62	c There are 38718 assigned variables. 226 in cost function.
181.33/181.43	c core #1
181.33/181.43	c core #2
181.33/181.43	c core #3
181.33/181.43	c core #4
181.33/181.43	c ============================[ Search Statistics ]==============================
181.33/181.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.33/181.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.33/181.43	c ===============================================================================
181.33/181.43	c |         0 |    3616    89732   137783 |    29910        0    nan |  0.000 % |
181.33/181.44	c ===============================================================================
181.44/181.57	c core #5
181.44/181.57	c ============================[ Search Statistics ]==============================
181.44/181.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.44/181.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.44/181.57	c ===============================================================================
181.44/181.57	c |         0 |    3868    89802   138210 |    29934        0    nan |  0.000 % |
181.44/181.57	c ===============================================================================
181.63/181.71	c core #6
181.63/181.71	c ============================[ Search Statistics ]==============================
181.63/181.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.63/181.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.63/181.71	c ===============================================================================
181.63/181.71	c |         0 |    4119    89871   138631 |    29957        0    nan |  0.000 % |
181.63/181.72	c ===============================================================================
181.73/181.86	c core #7
181.73/181.86	c ============================[ Search Statistics ]==============================
181.73/181.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.73/181.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.73/181.86	c ===============================================================================
181.73/181.86	c |         0 |    4369    89939   139052 |    29979        0    nan |  0.000 % |
181.73/181.86	c ===============================================================================
181.93/182.00	c core #8
181.93/182.00	c ============================[ Search Statistics ]==============================
181.93/182.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.93/182.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.93/182.00	c ===============================================================================
181.93/182.00	c |         0 |    4618    90006   139474 |    30002        0    nan |  0.000 % |
181.93/182.01	c ===============================================================================
182.03/182.15	c core #9
182.03/182.15	c ============================[ Search Statistics ]==============================
182.03/182.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.15	c ===============================================================================
182.03/182.15	c |         0 |    4866    90072   139894 |    30024        0    nan |  0.000 % |
182.03/182.17	c ===============================================================================
182.22/182.31	c core #10
182.22/182.31	c ============================[ Search Statistics ]==============================
182.22/182.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.22/182.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.22/182.31	c ===============================================================================
182.22/182.31	c |         0 |    5071    90139   140317 |    30046        0    nan |  0.000 % |
182.22/182.34	c ===============================================================================
182.32/182.47	c core #11
182.32/182.47	c ============================[ Search Statistics ]==============================
182.32/182.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.32/182.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.32/182.47	c ===============================================================================
182.32/182.47	c |         0 |    5359    90203   140741 |    30067        0    nan |  0.000 % |
182.43/182.52	c ===============================================================================
182.53/182.66	c core #12
182.53/182.66	c ============================[ Search Statistics ]==============================
182.53/182.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.53/182.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.53/182.66	c ===============================================================================
182.53/182.66	c |         0 |    5604    90266   141161 |    30088        0    nan |  0.000 % |
182.62/182.71	c |       102 |    5604    90266   141161 |    33097      102     14 | 89.922 % |
182.62/182.75	c ===============================================================================
182.72/182.89	c core #13
182.72/182.89	c ============================[ Search Statistics ]==============================
182.72/182.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.89	c ===============================================================================
182.72/182.89	c |         0 |    5848    90329   141581 |    30109        0    nan |  0.000 % |
182.82/182.95	c |       100 |    5848    90329   141581 |    33120      100     16 | 89.495 % |
182.92/183.01	c ===============================================================================
183.02/183.16	c core #14
183.02/183.16	c ============================[ Search Statistics ]==============================
183.02/183.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.02/183.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.02/183.16	c ===============================================================================
183.02/183.16	c |         0 |    6091    90390   141995 |    30130        0    nan |  0.000 % |
183.13/183.22	c |       100 |    6091    90390   141995 |    33143      100     16 | 89.070 % |
183.23/183.30	c |       250 |    5835    90390   141995 |    36457      109     14 | 89.530 % |
183.23/183.31	c ===============================================================================
183.33/183.45	c core #15
183.33/183.45	c ============================[ Search Statistics ]==============================
183.33/183.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.45	c ===============================================================================
183.33/183.45	c |         0 |    6333    90451   142412 |    30150        0    nan |  0.000 % |
183.43/183.50	c |       100 |    6333    90451   142412 |    33165      100     14 | 88.648 % |
183.43/183.58	c |       252 |    6333    90451   142412 |    36481      252     20 | 88.648 % |
183.54/183.70	c |       478 |    6017    90451   142412 |    40130      355     20 | 89.215 % |
183.64/183.79	c ===============================================================================
183.83/183.94	c core #16
183.83/183.94	c ============================[ Search Statistics ]==============================
183.83/183.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.83/183.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.83/183.94	c ===============================================================================
183.83/183.94	c |         0 |    6574    90511   142827 |    30170        0    nan |  0.000 % |
183.83/183.99	c |       101 |    6574    90511   142827 |    33187      101     16 | 88.229 % |
183.93/184.08	c |       251 |    6574    90511   142827 |    36506      251     19 | 88.229 % |
184.03/184.18	c |       476 |    6550    90511   142827 |    40156      468     24 | 88.848 % |
184.23/184.30	c ===============================================================================
184.33/184.43	c core #17
184.33/184.43	c ============================[ Search Statistics ]==============================
184.33/184.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.33/184.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.33/184.43	c ===============================================================================
184.33/184.43	c |         0 |    6814    90569   143236 |    30189        0    nan |  0.000 % |
184.33/184.49	c |       100 |    6814    90569   143236 |    33208      100     16 | 87.812 % |
184.42/184.57	c |       250 |    6814    90569   143236 |    36529      250     21 | 87.812 % |
184.52/184.67	c |       478 |    6814    90569   143236 |    40182      478     23 | 87.812 % |
184.73/184.82	c |       817 |    6814    90569   143236 |    44200      817     22 | 87.812 % |
184.92/185.08	c |      1324 |    6604    90569   143236 |    48620     1035     22 | 88.187 % |
185.23/185.37	c ===============================================================================
185.43/185.52	c core #18
185.43/185.52	c ============================[ Search Statistics ]==============================
185.43/185.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.43/185.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.43/185.52	c ===============================================================================
185.43/185.52	c |         0 |    7053    90629   143644 |    30209        0    nan |  0.000 % |
185.43/185.58	c |       101 |    7053    90629   143644 |    33230      101     16 | 87.397 % |
185.53/185.65	c |       251 |    7053    90629   143644 |    36553      251     20 | 87.397 % |
185.62/185.77	c |       477 |    7053    90629   143644 |    40209      477     22 | 87.397 % |
185.83/185.95	c |       814 |    7053    90629   143644 |    44229      814     24 | 87.397 % |
186.02/186.18	c |      1320 |    6993    90629   143644 |    48652     1219     27 | 87.504 % |
186.43/186.53	c |      2079 |    6993    90629   143644 |    53518     1978     28 | 87.504 % |
186.83/186.93	c ===============================================================================
186.93/187.07	c core #19
186.93/187.07	c ============================[ Search Statistics ]==============================
186.93/187.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.93/187.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.93/187.07	c ===============================================================================
186.93/187.07	c |         0 |    7291    90685   144042 |    30228        0    nan |  0.000 % |
187.03/187.13	c |       100 |    7291    90685   144042 |    33251      100     18 | 86.985 % |
187.13/187.20	c |       251 |    7291    90685   144042 |    36576      251     19 | 86.985 % |
187.23/187.33	c |       476 |    7291    90685   144042 |    40233      476     23 | 86.985 % |
187.33/187.48	c |       813 |    7291    90685   144042 |    44257      813     22 | 86.985 % |
187.62/187.79	c |      1319 |    7291    90685   144042 |    48683     1319     26 | 86.985 % |
188.12/188.23	c |      2078 |    7291    90685   144042 |    53551     2078     29 | 86.985 % |
188.72/188.88	c |      3219 |    7085    90685   144042 |    58906     2524     29 | 87.353 % |
189.73/189.86	c |      4927 |    7044    90685   144042 |    64797     4196     34 | 87.426 % |
190.23/190.33	c ===============================================================================
190.32/190.48	c core #20
190.32/190.48	c ============================[ Search Statistics ]==============================
190.32/190.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.32/190.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.32/190.48	c ===============================================================================
190.32/190.48	c |         0 |    7528    90741   144444 |    30247        0    nan |  0.000 % |
190.42/190.53	c |       100 |    7528    90741   144444 |    33271      100     17 | 86.575 % |
190.42/190.59	c |       250 |    7528    90741   144444 |    36598      250     20 | 86.575 % |
190.63/190.71	c |       477 |    7528    90741   144444 |    40258      477     21 | 86.575 % |
190.73/190.86	c |       814 |    7528    90741   144444 |    44284      814     22 | 86.575 % |
190.93/191.07	c |      1320 |    7528    90741   144444 |    48713     1320     21 | 86.575 % |
191.33/191.46	c |      2079 |    7528    90741   144444 |    53584     2079     25 | 86.575 % |
191.93/192.07	c |      3219 |    7526    90741   144444 |    58942     3218     27 | 86.578 % |
192.92/193.00	c |      4928 |    7019    90741   144444 |    64837     3643     28 | 87.483 % |
193.83/193.91	c ===============================================================================
193.93/194.05	c core #21
193.93/194.05	c ============================[ Search Statistics ]==============================
193.93/194.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.93/194.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.93/194.05	c ===============================================================================
193.93/194.05	c |         0 |    7764    90795   144844 |    30265        0    nan |  0.000 % |
194.03/194.10	c |       100 |    7764    90795   144844 |    33291      100     15 | 86.167 % |
194.03/194.17	c |       250 |    7764    90795   144844 |    36620      250     21 | 86.167 % |
194.12/194.28	c |       477 |    7764    90795   144844 |    40282      477     22 | 86.167 % |
194.32/194.43	c |       814 |    7764    90795   144844 |    44310      814     23 | 86.167 % |
194.63/194.73	c |      1320 |    7764    90795   144844 |    48742     1320     24 | 86.167 % |
195.03/195.16	c |      2079 |    7764    90795   144844 |    53616     2079     27 | 86.167 % |
195.63/195.78	c |      3218 |    7606    90795   144844 |    58977     2807     28 | 86.449 % |
196.62/196.74	c |      4926 |    7506    90795   144844 |    64875     4016     29 | 86.627 % |
198.23/198.40	c |      7488 |    7458    90795   144844 |    71363     6221     32 | 86.713 % |
199.92/200.04	c ===============================================================================
200.03/200.19	c core #22
200.03/200.19	c ============================[ Search Statistics ]==============================
200.03/200.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.03/200.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.03/200.19	c ===============================================================================
200.03/200.19	c |         0 |    7999    90849   145247 |    30283        0    nan |  0.000 % |
200.13/200.25	c |       101 |    7999    90849   145247 |    33311      101     18 | 85.762 % |
200.22/200.31	c |       251 |    7999    90849   145247 |    36642      251     22 | 85.762 % |
200.33/200.42	c |       476 |    7999    90849   145247 |    40306      476     23 | 85.762 % |
200.42/200.59	c |       813 |    7999    90849   145247 |    44337      813     25 | 85.762 % |
200.72/200.82	c |      1319 |    7999    90849   145247 |    48771     1319     27 | 85.762 % |
201.13/201.25	c |      2079 |    7999    90849   145247 |    53648     2079     29 | 85.762 % |
201.73/201.82	c |      3219 |    7945    90849   145247 |    59012     2470     25 | 85.858 % |
202.62/202.72	c |      4927 |    7945    90849   145247 |    64914     4178     29 | 85.858 % |
204.12/204.24	c |      7489 |    7945    90849   145247 |    71405     6740     31 | 85.858 % |
206.52/206.68	c |     11336 |    7922    90849   145247 |    78546     8554     30 | 85.899 % |
210.82/210.95	c |     17104 |    7915    90849   145247 |    86400    14318     35 | 85.961 % |
212.81/212.95	c ===============================================================================
212.91/213.09	c core #23
212.91/213.09	c ============================[ Search Statistics ]==============================
212.91/213.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.91/213.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.91/213.09	c ===============================================================================
212.91/213.09	c |         0 |    8233    90905   145657 |    30301        0    nan |  0.000 % |
213.01/213.15	c |       101 |    8233    90905   145657 |    33331      101     23 | 85.359 % |
213.11/213.23	c |       253 |    8233    90905   145657 |    36665      253     24 | 85.359 % |
213.22/213.35	c |       479 |    8233    90905   145657 |    40331      479     23 | 85.359 % |
213.41/213.52	c |       817 |    8233    90905   145657 |    44364      817     24 | 85.359 % |
213.62/213.72	c |      1323 |    8233    90905   145657 |    48801     1323     27 | 85.359 % |
214.02/214.11	c |      2082 |    8233    90905   145657 |    53681     2082     27 | 85.359 % |
214.52/214.69	c |      3224 |    8233    90905   145657 |    59049     3224     28 | 85.359 % |
215.62/215.71	c |      4933 |    8233    90905   145657 |    64954     4933     31 | 85.359 % |
217.22/217.31	c |      7496 |    8231    90905   145657 |    71449     7495     32 | 85.363 % |
219.82/219.97	c |     11340 |    8231    90905   145657 |    78594    11339     35 | 85.363 % |
224.12/224.26	c |     17109 |    8231    90905   145657 |    86454    17108     36 | 85.363 % |
231.92/232.08	c |     25758 |    8171    90905   145657 |    95099    23327     37 | 85.469 % |
235.11/235.27	c ===============================================================================
235.32/235.42	c core #24
235.32/235.42	c ============================[ Search Statistics ]==============================
235.32/235.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.32/235.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.32/235.42	c ===============================================================================
235.32/235.42	c |         0 |    8466    90969   146094 |    30323        0    nan |  0.000 % |
235.32/235.48	c |       100 |    8466    90969   146094 |    33355      100     18 | 84.958 % |
235.41/235.56	c |       250 |    8466    90969   146094 |    36690      250     22 | 84.958 % |
235.51/235.66	c |       475 |    8466    90969   146094 |    40359      475     24 | 84.958 % |
235.61/235.79	c |       812 |    8466    90969   146094 |    44395      812     24 | 84.958 % |
235.91/236.06	c |      1318 |    8466    90969   146094 |    48835     1318     26 | 84.958 % |
236.32/236.45	c |      2077 |    8466    90969   146094 |    53719     2077     29 | 84.958 % |
236.91/237.05	c |      3217 |    8466    90969   146094 |    59090     3217     30 | 84.958 % |
237.71/237.89	c |      4925 |    8466    90969   146094 |    65000     4925     31 | 84.958 % |
239.31/239.46	c |      7487 |    8466    90969   146094 |    71500     7487     32 | 84.958 % |
242.01/242.11	c |     11331 |    8466    90969   146094 |    78650    11331     35 | 84.958 % |
246.61/246.79	c |     17097 |    8466    90969   146094 |    86515    17097     40 | 84.958 % |
254.61/254.73	c |     25746 |    8400    90969   146094 |    95166    21905     40 | 85.076 % |
267.51/267.68	c |     38720 |    8153    90969   146094 |   104683    25338     37 | 85.921 % |
275.10/275.24	c ===============================================================================
275.30/275.41	c core #25
275.30/275.41	c ============================[ Search Statistics ]==============================
275.30/275.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
275.30/275.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
275.30/275.41	c ===============================================================================
275.30/275.41	c |         0 |    8698    91028   146503 |    30342        0    nan |  0.000 % |
275.30/275.47	c |       102 |    8698    91028   146503 |    33376      102     15 | 84.560 % |
275.40/275.57	c |       252 |    8698    91028   146503 |    36714      252     24 | 84.560 % |
275.50/275.68	c |       477 |    8698    91028   146503 |    40386      477     23 | 84.560 % |
275.70/275.87	c |       815 |    8698    91028   146503 |    44424      815     26 | 84.560 % |
276.01/276.15	c |      1321 |    8698    91028   146503 |    48867     1321     28 | 84.560 % |
276.40/276.54	c |      2081 |    8698    91028   146503 |    53753     2081     27 | 84.560 % |
277.01/277.20	c |      3220 |    8698    91028   146503 |    59129     3220     32 | 84.560 % |
278.00/278.10	c |      4928 |    8698    91028   146503 |    65042     4928     32 | 84.560 % |
279.60/279.77	c |      7490 |    8698    91028   146503 |    71546     7490     35 | 84.560 % |
282.30/282.50	c |     11334 |    8698    91028   146503 |    78701    11334     36 | 84.560 % |
286.59/286.75	c |     17100 |    8698    91028   146503 |    86571    17100     37 | 84.560 % |
294.90/295.04	c |     25752 |    8698    91028   146503 |    95228    25752     40 | 84.560 % |
309.19/309.31	c |     38726 |    8698    91028   146503 |   104751    38726     42 | 84.560 % |
336.68/336.87	c |     58187 |    8626    91028   146503 |   115226    47968     43 | 84.688 % |
390.86/391.07	c |     87380 |    8606    91028   146503 |   126748    77160     46 | 84.723 % |
424.46/424.67	c ===============================================================================
424.75/424.91	c core #26
424.75/424.91	c ============================[ Search Statistics ]==============================
424.75/424.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
424.75/424.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
424.75/424.91	c ===============================================================================
424.75/424.91	c |         0 |    8929    91097   146945 |    30365        0    nan |  0.000 % |
424.75/424.97	c |       100 |    8929    91097   146945 |    33402      100     20 | 84.164 % |
424.85/425.06	c |       250 |    8929    91097   146945 |    36742      250     22 | 84.164 % |
424.95/425.13	c |       476 |    8929    91097   146945 |    40416      476     22 | 84.164 % |
425.15/425.32	c |       813 |    8929    91097   146945 |    44458      813     26 | 84.164 % |
425.36/425.58	c |      1321 |    8929    91097   146945 |    48904     1321     27 | 84.164 % |
425.76/425.92	c |      2081 |    8929    91097   146945 |    53794     2081     28 | 84.164 % |
426.35/426.55	c |      3220 |    8929    91097   146945 |    59174     3220     30 | 84.164 % |
427.26/427.45	c |      4928 |    8929    91097   146945 |    65091     4928     30 | 84.164 % |
428.55/428.78	c |      7491 |    8929    91097   146945 |    71600     7491     30 | 84.164 % |
431.06/431.25	c |     11335 |    8929    91097   146945 |    78760    11335     33 | 84.164 % |
435.76/435.94	c |     17101 |    8929    91097   146945 |    86636    17101     36 | 84.164 % |
444.85/445.06	c |     25751 |    8929    91097   146945 |    95300    25751     39 | 84.164 % |
458.56/458.71	c |     38725 |    8929    91097   146945 |   104830    38725     40 | 84.164 % |
487.04/487.27	c |     58188 |    8929    91097   146945 |   115313    58188     41 | 84.164 % |
544.72/544.91	c |     87380 |    8851    91097   146945 |   126844    76829     43 | 84.302 % |
638.80/639.08	c |    131170 |    8585    91097   146945 |   139529    75298     40 | 85.075 % |
692.18/692.48	c ===============================================================================
692.48/692.74	c core #27
692.48/692.74	c ============================[ Search Statistics ]==============================
692.48/692.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
692.48/692.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
692.48/692.74	c ===============================================================================
692.48/692.74	c |         0 |    9159    91153   147341 |    30384        0    nan |  0.000 % |
692.58/692.81	c |       100 |    9159    91153   147341 |    33422      100     25 | 83.770 % |
692.68/692.96	c |       250 |    9159    91153   147341 |    36765      250     32 | 83.770 % |
692.78/693.05	c |       475 |    9159    91153   147341 |    40441      475     26 | 83.770 % |
692.88/693.19	c |       812 |    9159    91153   147341 |    44485      812     25 | 83.770 % |
693.18/693.41	c |      1318 |    9159    91153   147341 |    48934     1318     26 | 83.770 % |
693.58/693.82	c |      2077 |    9159    91153   147341 |    53827     2077     29 | 83.770 % |
694.18/694.49	c |      3216 |    9159    91153   147341 |    59210     3216     29 | 83.770 % |
695.17/695.43	c |      4924 |    9159    91153   147341 |    65131     4924     33 | 83.770 % |
696.58/696.82	c |      7486 |    9159    91153   147341 |    71644     7486     33 | 83.770 % |
699.47/699.71	c |     11330 |    9159    91153   147341 |    78809    11330     33 | 83.770 % |
703.68/703.94	c |     17096 |    9153    91153   147341 |    86690    17093     35 | 83.780 % |
711.57/711.81	c |     25746 |    9153    91153   147341 |    95359    25743     40 | 83.780 % |
725.07/725.36	c |     38721 |    9153    91153   147341 |   104894    38718     41 | 83.780 % |
751.66/751.93	c |     58185 |    9153    91153   147341 |   115384    58182     43 | 83.780 % |
806.35/806.68	c |     87377 |    9153    91153   147341 |   126922    87374     45 | 83.780 % |
908.41/908.74	c |    131166 |    9153    91153   147341 |   139615   131163     47 | 83.780 % |
1116.44/1116.81	c |    196852 |    9153    91153   147341 |   153576    30644     48 | 83.780 % |
1280.79/1281.25	c |    295379 |    8388    91153   147341 |   168934    57546     42 | 85.136 % |
1313.58/1314.08	c ===============================================================================
1313.99/1314.47	c core #28
1313.99/1314.47	c ============================[ Search Statistics ]==============================
1313.99/1314.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1313.99/1314.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1313.99/1314.47	c ===============================================================================
1313.99/1314.47	c |         0 |    9388    91213   147747 |    30404        0    nan |  0.000 % |
1314.09/1314.54	c |       103 |    9388    91213   147747 |    33444      103     19 | 83.378 % |
1314.18/1314.63	c |       254 |    9388    91213   147747 |    36789      254     26 | 83.378 % |
1314.28/1314.73	c |       480 |    9388    91213   147747 |    40468      480     25 | 83.378 % |
1314.48/1314.90	c |       817 |    9388    91213   147747 |    44514      817     26 | 83.378 % |
1314.78/1315.21	c |      1324 |    9388    91213   147747 |    48966     1324     29 | 83.378 % |
1315.09/1315.60	c |      2083 |    9388    91213   147747 |    53863     2083     29 | 83.378 % |
1315.68/1316.17	c |      3223 |    9388    91213   147747 |    59249     3223     35 | 83.378 % |
1316.68/1317.11	c |      4931 |    9388    91213   147747 |    65174     4931     34 | 83.378 % |
1318.49/1318.91	c |      7493 |    9388    91213   147747 |    71691     7493     37 | 83.378 % |
1321.18/1321.62	c |     11339 |    9388    91213   147747 |    78861    11339     40 | 83.378 % |
1325.18/1325.67	c |     17105 |    9388    91213   147747 |    86747    17105     41 | 83.378 % |
1333.07/1333.57	c |     25754 |    9388    91213   147747 |    95421    25754     46 | 83.378 % |
1347.47/1347.91	c |     38729 |    9388    91213   147747 |   104964    38729     47 | 83.378 % |
1377.26/1377.72	c |     58190 |    9388    91213   147747 |   115460    58190     47 | 83.378 % |
1431.15/1431.60	c |     87382 |    9388    91213   147747 |   127006    87382     48 | 83.378 % |
1533.62/1534.16	c |    131171 |    9340    91213   147747 |   139707    85657     40 | 83.463 % |
1717.07/1717.62	c |    196856 |    9244    91213   147747 |   153677   151341     46 | 83.633 % |

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22244
/proc/meminfo: memFree=1841660/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=9296 CPUtime=0
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 13472439 9519104 293 1992294400 134512640 135751879 4291426960 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 2324 293 144 303 0 445 0

[startup+0.073184 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22244
/proc/meminfo: memFree=1841660/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=12576 CPUtime=0.07
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 1258 0 0 0 7 0 0 0 20 0 1 0 13472439 12877824 1177 1992294400 134512640 135751879 4291426960 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 3144 1177 246 303 0 1265 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12576

[startup+0.101188 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22244
/proc/meminfo: memFree=1841660/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=14192 CPUtime=0.09
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 1628 0 0 0 9 0 0 0 20 0 1 0 13472439 14532608 1547 1992294400 134512640 135751879 4291426960 18446744073709551615 134562941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 3548 1547 288 303 0 1669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14192

[startup+0.301216 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22244
/proc/meminfo: memFree=1841660/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=17100 CPUtime=0.29
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 2628 0 0 0 29 0 0 0 20 0 1 0 13472439 17510400 2547 1992294400 134512640 135751879 4291426960 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 4275 2548 594 303 0 2396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17100

[startup+0.701273 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22244
/proc/meminfo: memFree=1841660/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=23476 CPUtime=0.69
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 4869 0 0 0 68 1 0 0 21 0 1 0 13472439 24039424 4715 1992294400 134512640 135751879 4291426960 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 5869 4715 1229 303 0 3990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23476

[startup+1.50139 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 22245
/proc/meminfo: memFree=1823672/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=41844 CPUtime=1.49
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 11546 0 0 0 146 3 0 0 23 0 1 0 13472439 42848256 9575 1992294400 134512640 135751879 4291426960 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 10461 9575 146 303 0 10156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41844

[startup+3.10161 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 22245
/proc/meminfo: memFree=1801228/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=46200 CPUtime=3.09
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 12630 0 0 0 305 4 0 0 25 0 1 0 13472439 47308800 10659 1992294400 134512640 135751879 4291426960 18446744073709551615 134588455 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 11550 10659 146 303 0 11245 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46200

[startup+6.30107 s]
/proc/loadavg: 0.92 0.95 0.98 2/107 22245
/proc/meminfo: memFree=1793168/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=53988 CPUtime=6.29
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 14588 0 0 0 624 5 0 0 25 0 1 0 13472439 55283712 12617 1992294400 134512640 135751879 4291426960 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 13497 12617 146 303 0 13192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53988

[startup+12.701 s]
/proc/loadavg: 0.93 0.95 0.98 2/107 22245
/proc/meminfo: memFree=1781512/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=64944 CPUtime=12.69
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 17337 0 0 0 1263 6 0 0 25 0 1 0 13472439 66502656 15366 1992294400 134512640 135751879 4291426960 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 16236 15366 146 303 0 15931 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64944

[startup+25.5008 s]
/proc/loadavg: 0.94 0.96 0.98 2/107 22245
/proc/meminfo: memFree=1765268/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=80256 CPUtime=25.49
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 21163 0 0 0 2541 8 0 0 25 0 1 0 13472439 82182144 19192 1992294400 134512640 135751879 4291426960 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 20064 19193 146 303 0 19759 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80256

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.98 2/107 22246
/proc/meminfo: memFree=1742576/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=102960 CPUtime=51.07
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 26829 0 0 0 5095 12 0 0 25 0 1 0 13472439 105431040 24858 1992294400 134512640 135751879 4291426960 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 25740 24858 146 303 0 25435 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102960

[startup+102.309 s]
/proc/loadavg: 1.04 0.98 0.99 2/107 22247
/proc/meminfo: memFree=1716908/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=127324 CPUtime=102.26
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34003 0 0 0 10206 20 0 0 25 0 1 0 13472439 130379776 31049 1992294400 134512640 135751879 4291426960 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 31831 31049 147 303 0 31526 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 127324

[startup+162.301 s]
/proc/loadavg: 1.01 0.98 0.99 2/107 22249
/proc/meminfo: memFree=1716660/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=127324 CPUtime=162.24
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34003 0 0 0 16174 50 0 0 25 0 1 0 13472439 130379776 31049 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 31831 31049 147 303 0 31526 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 127324

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/107 22251
/proc/meminfo: memFree=1725464/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=222.21
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 22146 75 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134611147 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 117452

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/107 22252
/proc/meminfo: memFree=1725340/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=282.2
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 28120 100 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 117452

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/107 22254
/proc/meminfo: memFree=1725340/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=342.18
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 34099 119 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 117452

[startup+402.301 s]
/proc/loadavg: 1.05 1.00 0.99 2/107 22255
/proc/meminfo: memFree=1725216/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=402.16
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 40083 133 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 117452

[startup+462.301 s]
/proc/loadavg: 1.02 1.00 0.99 2/107 22257
/proc/meminfo: memFree=1725216/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=462.14
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 46060 154 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 117452

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22259
/proc/meminfo: memFree=1725216/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=522.13
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 52041 172 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 117452

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22260
/proc/meminfo: memFree=1725092/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=582.11
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 58025 186 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 117452

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22262
/proc/meminfo: memFree=1725092/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=642.09
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 64009 200 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134616725 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 117452

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22267
/proc/meminfo: memFree=1724844/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=117452 CPUtime=822.04
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34221 0 0 0 81958 246 0 0 25 0 1 0 13472439 120270848 28856 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29363 28856 151 303 0 29058 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 117452

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22268
/proc/meminfo: memFree=1723604/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=119432 CPUtime=882.02
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 34684 0 0 0 87943 259 0 0 25 0 1 0 13472439 122298368 29319 1992294400 134512640 135751879 4291426960 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 29858 29319 151 303 0 29553 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 119432

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22270
/proc/meminfo: memFree=1717900/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=125420 CPUtime=942.01
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 36125 0 0 0 93928 273 0 0 25 0 1 0 13472439 128430080 30760 1992294400 134512640 135751879 4291426960 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 31355 30760 151 303 0 31050 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 125420

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22280
/proc/meminfo: memFree=1712444/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=130204 CPUtime=1001.97
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 37335 0 0 0 99913 284 0 0 25 0 1 0 13472439 133328896 31970 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 32551 31970 151 303 0 32246 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 130204

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22282
/proc/meminfo: memFree=1707980/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=134640 CPUtime=1061.95
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 38451 0 0 0 105900 295 0 0 25 0 1 0 13472439 137871360 33086 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 33660 33086 151 303 0 33355 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 134640

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22284
/proc/meminfo: memFree=1701532/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=141116 CPUtime=1121.94
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 40070 0 0 0 111886 308 0 0 25 0 1 0 13472439 144502784 34705 1992294400 134512640 135751879 4291426960 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 35279 34705 151 303 0 34974 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 141116

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22285
/proc/meminfo: memFree=1690000/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=152600 CPUtime=1181.92
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 42958 0 0 0 117865 327 0 0 25 0 1 0 13472439 156262400 37593 1992294400 134512640 135751879 4291426960 18446744073709551615 134616459 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 38150 37593 151 303 0 37845 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 152600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22287
/proc/meminfo: memFree=1681196/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=161316 CPUtime=1241.9
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 45139 0 0 0 123849 341 0 0 25 0 1 0 13472439 165187584 39774 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 40329 39774 151 303 0 40024 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 161316

[startup+1302.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/107 22288
/proc/meminfo: memFree=1671772/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=170692 CPUtime=1301.9
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 47481 0 0 0 129833 357 0 0 25 0 1 0 13472439 174788608 42116 1992294400 134512640 135751879 4291426960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 42673 42116 151 303 0 42368 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 170692

[startup+1362.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 22290
/proc/meminfo: memFree=1659744/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=182728 CPUtime=1361.86
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 50556 0 0 0 135806 380 0 0 25 0 1 0 13472439 187113472 45007 1992294400 134512640 135751879 4291426960 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 45682 45007 151 303 0 45377 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 182728

[startup+1422.31 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 22292
/proc/meminfo: memFree=1656768/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=186160 CPUtime=1421.85
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 51397 0 0 0 141790 395 0 0 25 0 1 0 13472439 190627840 45848 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 46540 45848 151 303 0 46235 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 186160

[startup+1482.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 22293
/proc/meminfo: memFree=1650196/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=192796 CPUtime=1481.83
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 53042 0 0 0 147773 410 0 0 25 0 1 0 13472439 197423104 47493 1992294400 134512640 135751879 4291426960 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 48199 47493 151 303 0 47894 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 192796

[startup+1542.3 s]
/proc/loadavg: 1.15 1.07 1.01 2/107 22295
/proc/meminfo: memFree=1644244/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=198636 CPUtime=1541.81
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 54511 0 0 0 153757 424 0 0 25 0 1 0 13472439 203403264 48962 1992294400 134512640 135751879 4291426960 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 49659 48962 151 303 0 49354 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 198636

[startup+1602.3 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 22296
/proc/meminfo: memFree=1638416/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=204600 CPUtime=1601.8
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 55984 0 0 0 159742 438 0 0 25 0 1 0 13472439 209510400 50435 1992294400 134512640 135751879 4291426960 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 51150 50435 151 303 0 50845 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 204600

[startup+1662.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22298
/proc/meminfo: memFree=1633332/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=209620 CPUtime=1661.78
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 57244 0 0 0 165727 451 0 0 25 0 1 0 13472439 214650880 51695 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 52405 51695 151 303 0 52100 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 209620

[startup+1722.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 22300
/proc/meminfo: memFree=1628248/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=214836 CPUtime=1721.76
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 58494 0 0 0 171714 462 0 0 25 0 1 0 13472439 219992064 52945 1992294400 134512640 135751879 4291426960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 53709 52945 151 303 0 53404 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 214836

[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 22301
/proc/meminfo: memFree=1623164/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=219508 CPUtime=1781.74
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 59693 0 0 0 177699 475 0 0 25 0 1 0 13472439 224776192 54144 1992294400 134512640 135751879 4291426960 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 54877 54144 151 303 0 54572 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 219508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 22302
/proc/meminfo: memFree=1621676/2059040 swapFree=4165008/4192956
[pid=22244] ppid=22242 vsize=220960 CPUtime=1800.05
/proc/22244/stat : 22244 (wbo1.4b) R 22242 22244 21970 0 -1 4202496 60065 0 0 0 179526 479 0 0 25 0 1 0 13472439 226263040 54516 1992294400 134512640 135751879 4291426960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22244/statm: 55240 54516 151 303 0 54935 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 220960

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.09
CPU user time (s): 1795.27
CPU system time (s): 4.82027
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 220960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.27
system time used= 4.82027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60065
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= 44
involuntary context switches= 4066

runsolver used 2.92955 second user time and 8.58169 second system time

The end

Launcher Data 

Begin job on node049 at 2010-07-06 23:44:51
IDJOB=2687386
IDBENCH=77755
IDSOLVER=1161
FILE ID=node049/2687386-1278452691
PBS_JOBID= 11233535
Free space on /tmp= 62476 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9045_2.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-2687386-1278452691/watcher-2687386-1278452691 -o /tmp/evaluation-result-2687386-1278452691/solver-2687386-1278452691 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687386-1278452691.opb

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

MD5SUM BENCH= 164e1d7c8e885527f3cc100614dc9c6f
RANDOM SEED=1113549479

node049.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.266
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.266
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842312 kB
Buffers:         10412 kB
Cached:          99028 kB
SwapCached:       4836 kB
Active:          58792 kB
Inactive:        87436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842312 kB
SwapTotal:     4192956 kB
SwapFree:      4165008 kB
Dirty:            8944 kB
Writeback:           0 kB
AnonPages:       31972 kB
Mapped:          14440 kB
Slab:            48184 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687386-1278452691.opb

Free space on /tmp at the end= 62476 MiB
End job on node049 at 2010-07-07 00:14:54