Trace number 2687139

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.12 1800.74

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_10.std.opb
MD5SUM16624ad16b07842a63cd0d52e04da495
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234117
Number of constraints which are clauses232917
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 constraint120
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-2687139-1278448603.opb.
0.00/0.00	c Instance file HOME/instance-2687139-1278448603.opb
0.00/0.00	c File size is 8030834 bytes.
1.59/1.63	c Highest Coefficient sum: 686
1.59/1.63	c ============================[ Problem Statistics ]=============================
1.59/1.63	c |                                                                             |
1.59/1.63	c |  Parsing time:          1.60         s                                      |
1.59/1.63	c |  Number Variables:      72842                                               |
1.59/1.63	c |  Number Clauses:        232917                                              |
1.59/1.63	c |  Number Cardinality:    0                                                   |
1.59/1.64	c |  Number PB Constraints: 1200                                                |
96.45/96.57	c ============================[ Search Statistics ]==============================
96.45/96.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.45/96.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.45/96.57	c ===============================================================================
96.45/96.57	c |         0 |   54389   235515   542209 |    78039        0    nan |  0.000 % |
96.55/96.66	c |       100 |   54389   235515   542209 |    85842      100     29 | 25.333 % |
96.66/96.75	c |       250 |   54389   235515   542209 |    94427      250     26 | 25.333 % |
96.75/96.89	c |       476 |   54389   235515   542209 |   103869      476     21 | 25.333 % |
96.85/96.95	c ===============================================================================
96.85/96.95	c New solution: 300
96.85/96.95	o 300
96.85/96.95	c Elapsed CPU time: 96.7443 s	Remaining CPU time: 83.2557 s
96.85/96.95	c ===============================================================================
96.85/96.95	c |       482 |   54389   235516   542509 |    78505      482     20 | 25.333 % |
96.95/97.03	c |       582 |   54268   235516   542509 |    86355      572     23 | 25.499 % |
97.05/97.12	c |       732 |   54268   235516   542509 |    94991      722     23 | 25.499 % |
97.15/97.28	c |       959 |   54268   235516   542509 |   104490      949     22 | 25.499 % |
97.45/97.52	c |      1296 |   54268   235516   542509 |   114939     1286     28 | 25.499 % |
97.86/97.92	c |      1802 |   54268   235516   542509 |   126433     1792     30 | 25.499 % |
98.25/98.30	c ===============================================================================
98.25/98.30	c New solution: 299
98.25/98.30	o 299
98.25/98.30	c Elapsed CPU time: 98.0891 s	Remaining CPU time: 81.9109 s
98.25/98.30	c ===============================================================================
98.25/98.30	c |      2198 |   54268   235517   542809 |    78505     2188     30 | 25.499 % |
98.35/98.40	c |      2300 |   54137   235517   542809 |    86356     2268     30 | 25.679 % |
98.45/98.52	c |      2450 |   54137   235517   542809 |    94991     2418     30 | 25.679 % |
98.55/98.63	c ===============================================================================
98.55/98.63	c New solution: 298
98.55/98.63	o 298
98.55/98.63	c Elapsed CPU time: 98.412 s	Remaining CPU time: 81.588 s
98.55/98.63	c ===============================================================================
98.55/98.63	c |      2496 |   54137   235518   543109 |    78506     2464     30 | 25.679 % |
98.65/98.70	c |      2597 |   54116   235518   543109 |    86356     2565     30 | 25.870 % |
98.75/98.81	c |      2747 |   54115   235518   543109 |    94992     2715     30 | 25.870 % |
98.86/98.97	c |      2974 |   53998   235518   543109 |   104491     2710     29 | 25.870 % |
99.05/99.14	c |      3311 |   53998   235518   543109 |   114940     3047     29 | 25.870 % |
99.35/99.50	c |      3817 |   53998   235518   543109 |   126434     3553     30 | 25.870 % |
99.84/99.92	c |      4576 |   53998   235518   543109 |   139078     4312     29 | 25.870 % |
100.64/100.73	c |      5715 |   53970   235518   543109 |   152985     5450     31 | 25.908 % |
101.95/102.02	c |      7423 |   53970   235518   543109 |   168284     7158     31 | 25.908 % |
102.05/102.11	c ===============================================================================
102.05/102.11	c New solution: 297
102.05/102.11	o 297
102.05/102.11	c Elapsed CPU time: 101.88 s	Remaining CPU time: 78.1205 s
102.05/102.11	c ===============================================================================
102.05/102.11	c |      7473 |   53970   235519   543409 |    78506     7208     31 | 25.908 % |
102.16/102.21	c |      7574 |   53826   235519   543409 |    86356     7016     31 | 26.106 % |
102.26/102.39	c |      7725 |   53826   235519   543409 |    94992     7167     31 | 26.106 % |
102.35/102.49	c ===============================================================================
102.35/102.49	c New solution: 296
102.35/102.49	o 296
102.35/102.49	c Elapsed CPU time: 102.253 s	Remaining CPU time: 77.7465 s
102.35/102.49	c ===============================================================================
102.35/102.49	c |      7750 |   53826   235520   543709 |    78506     7192     31 | 26.106 % |
102.45/102.57	c |      7851 |   53792   235520   543709 |    86357     7293     31 | 26.317 % |
102.55/102.68	c |      8003 |   53791   235520   543709 |    94993     7445     31 | 26.317 % |
102.74/102.81	c ===============================================================================
102.74/102.81	c New solution: 295
102.74/102.81	o 295
102.74/102.81	c Elapsed CPU time: 102.576 s	Remaining CPU time: 77.4236 s
102.74/102.81	c ===============================================================================
102.74/102.81	c |      8099 |   53672   235521   544009 |    78507     7377     31 | 26.317 % |
102.84/102.92	c |      8199 |   53657   235521   544009 |    86357     7477     31 | 26.545 % |
102.95/103.04	c |      8349 |   53656   235521   544009 |    94993     7627     31 | 26.545 % |
103.05/103.19	c |      8574 |   53608   235521   544009 |   104492     7852     31 | 26.545 % |
103.45/103.50	c |      8911 |   53607   235521   544009 |   114942     8189     31 | 26.545 % |
103.65/103.72	c ===============================================================================
103.65/103.72	c New solution: 294
103.65/103.72	o 294
103.65/103.72	c Elapsed CPU time: 103.476 s	Remaining CPU time: 76.5237 s
103.65/103.72	c ===============================================================================
103.65/103.72	c |      9067 |   53506   235522   544309 |    78507     7980     32 | 26.545 % |
103.75/103.80	c |      9168 |   53468   235522   544309 |    86358     8081     31 | 26.802 % |
103.85/103.91	c |      9318 |   53468   235522   544309 |    94993     8231     31 | 26.802 % |
103.94/104.07	c |      9543 |   53462   235522   544309 |   104493     8456     31 | 26.802 % |
104.14/104.27	c |      9880 |   53319   235522   544309 |   114942     8100     30 | 26.802 % |
104.46/104.53	c |     10387 |   53319   235522   544309 |   126436     8607     30 | 26.802 % |
105.05/105.14	c |     11146 |   53319   235522   544309 |   139080     9366     31 | 26.802 % |
106.34/106.46	c |     12286 |   53319   235522   544309 |   152988    10506     33 | 26.802 % |
106.44/106.56	c ===============================================================================
106.44/106.56	c New solution: 293
106.44/106.56	o 293
106.44/106.56	c Elapsed CPU time: 106.302 s	Remaining CPU time: 73.6982 s
106.44/106.56	c ===============================================================================
106.44/106.56	c |     12332 |   53319   235523   544609 |    78507    10552     33 | 26.802 % |
106.55/106.66	c |     12432 |   53115   235523   544609 |    86358    10044     33 | 27.082 % |
106.74/106.81	c |     12583 |   53115   235523   544609 |    94994    10195     33 | 27.082 % |
106.85/106.95	c |     12808 |   53115   235523   544609 |   104493    10420     33 | 27.082 % |
107.24/107.31	c |     13146 |   53115   235523   544609 |   114943    10758     33 | 27.082 % |
107.44/107.59	c |     13652 |   53115   235523   544609 |   126437    11264     33 | 27.082 % |
107.84/107.93	c |     14411 |   53115   235523   544609 |   139081    12023     32 | 27.082 % |
108.85/108.99	c |     15554 |   53115   235523   544609 |   152989    13166     33 | 27.082 % |
109.15/109.27	c ===============================================================================
109.15/109.27	c New solution: 292
109.15/109.27	o 292
109.15/109.27	c Elapsed CPU time: 108.993 s	Remaining CPU time: 71.0066 s
109.15/109.27	c ===============================================================================
109.15/109.27	c |     15998 |   53115   235524   544909 |    78508    13610     33 | 27.082 % |
109.24/109.37	c |     16099 |   52898   235524   544909 |    86358    12966     32 | 27.380 % |
109.44/109.52	c |     16249 |   52898   235524   544909 |    94994    13116     32 | 27.380 % |
109.54/109.67	c ===============================================================================
109.54/109.67	c New solution: 291
109.54/109.67	o 291
109.54/109.67	c Elapsed CPU time: 109.391 s	Remaining CPU time: 70.6086 s
109.54/109.67	c ===============================================================================
109.54/109.67	c |     16424 |   52898   235525   545209 |    78508    13291     32 | 27.380 % |
109.64/109.76	c |     16526 |   52857   235525   545209 |    86359    13393     32 | 27.696 % |
109.85/109.91	c |     16676 |   52857   235525   545209 |    94995    13543     32 | 27.696 % |
110.14/110.22	c |     16901 |   52849   235525   545209 |   104494    13768     32 | 27.696 % |
110.34/110.46	c |     17238 |   52668   235525   545209 |   114944    13630     32 | 27.696 % |
110.75/110.82	c |     17746 |   52668   235525   545209 |   126438    14138     32 | 27.696 % |
110.85/110.95	c ===============================================================================
110.85/110.95	c New solution: 290
110.85/110.95	o 290
110.85/110.95	c Elapsed CPU time: 110.668 s	Remaining CPU time: 69.3318 s
110.85/110.95	c ===============================================================================
110.85/110.95	c |     17821 |   52668   235526   545509 |    78508    14213     32 | 27.696 % |
110.95/111.05	c ===============================================================================
110.95/111.05	c New solution: 289
110.95/111.05	o 289
110.95/111.05	c Elapsed CPU time: 110.765 s	Remaining CPU time: 69.2348 s
110.95/111.05	c ===============================================================================
110.95/111.05	c |     17841 |   52426   235527   545809 |    78509    13311     32 | 27.696 % |
111.05/111.14	c |     17941 |   52394   235527   545809 |    86359    13411     32 | 28.360 % |
111.14/111.27	c |     18091 |   52392   235527   545809 |    94995    13561     32 | 28.360 % |
111.34/111.44	c |     18317 |   52385   235527   545809 |   104495    13787     32 | 28.360 % |
111.64/111.73	c |     18655 |   52385   235527   545809 |   114945    14125     32 | 28.360 % |
111.74/111.82	c ===============================================================================
111.74/111.82	c New solution: 288
111.74/111.82	o 288
111.74/111.82	c Elapsed CPU time: 111.526 s	Remaining CPU time: 68.474 s
111.74/111.82	c ===============================================================================
111.74/111.82	c |     18675 |   52184   235528   546109 |    78509    12993     30 | 28.360 % |
111.74/111.89	c |     18775 |   52126   235528   546109 |    86360    13093     30 | 28.692 % |
111.94/112.02	c |     18925 |   52126   235528   546109 |    94996    13243     30 | 28.692 % |
112.15/112.23	c |     19150 |   52125   235528   546109 |   104495    13468     30 | 28.692 % |
112.34/112.42	c |     19487 |   52119   235528   546109 |   114945    13805     30 | 28.692 % |
112.64/112.71	c |     19995 |   51942   235528   546109 |   126440    13541     29 | 28.692 % |
113.25/113.36	c |     20756 |   51942   235528   546109 |   139084    14302     29 | 28.692 % |
113.34/113.43	c ===============================================================================
113.34/113.43	c New solution: 287
113.34/113.43	o 287
113.34/113.43	c Elapsed CPU time: 113.122 s	Remaining CPU time: 66.8782 s
113.34/113.43	c ===============================================================================
113.34/113.43	c |     20769 |   51942   235529   546409 |    78509    14315     29 | 28.692 % |
113.44/113.54	c ===============================================================================
113.44/113.54	c New solution: 286
113.44/113.54	o 286
113.44/113.54	c Elapsed CPU time: 113.225 s	Remaining CPU time: 66.7752 s
113.44/113.54	c ===============================================================================
113.44/113.54	c |     20812 |   51700   235530   546709 |    78510    13794     29 | 28.692 % |
113.54/113.64	c |     20912 |   51660   235530   546709 |    86361    13894     29 | 29.357 % |
113.74/113.85	c |     21065 |   51657   235530   546709 |    94997    14047     29 | 29.357 % |
113.84/113.99	c ===============================================================================
113.84/113.99	c New solution: 285
113.84/113.99	o 285
113.84/113.99	c Elapsed CPU time: 113.671 s	Remaining CPU time: 66.3293 s
113.84/113.99	c ===============================================================================
113.84/113.99	c |     21203 |   51458   235531   547009 |    78510    14185     29 | 29.357 % |
114.04/114.10	c |     21304 |   51453   235531   547009 |    86361    14286     29 | 29.689 % |
114.13/114.21	c |     21454 |   51409   235531   547009 |    94997    14436     29 | 29.689 % |
114.24/114.37	c |     21681 |   51216   235531   547009 |   104497    13749     29 | 29.689 % |
114.53/114.63	c |     22019 |   51216   235531   547009 |   114946    14087     29 | 29.689 % |
114.84/114.90	c ===============================================================================
114.84/114.90	c New solution: 284
114.84/114.90	o 284
114.84/114.90	c Elapsed CPU time: 114.578 s	Remaining CPU time: 65.4224 s
114.84/114.90	c ===============================================================================
114.84/114.90	c |     22462 |   51216   235532   547309 |    78510    14530     29 | 29.689 % |
114.84/114.99	c |     22563 |   50974   235532   547309 |    86361    14035     29 | 30.021 % |
114.94/115.08	c |     22714 |   50974   235532   547309 |    94997    14186     28 | 30.021 % |
115.04/115.18	c ===============================================================================
115.04/115.19	c New solution: 283
115.04/115.19	o 283
115.04/115.19	c Elapsed CPU time: 114.86 s	Remaining CPU time: 65.1405 s
115.04/115.19	c ===============================================================================
115.04/115.19	c |     22759 |   50974   235533   547609 |    78511    14231     28 | 30.021 % |
115.14/115.26	c |     22859 |   50953   235533   547609 |    86362    14331     28 | 30.353 % |
115.24/115.38	c |     23010 |   50949   235533   547609 |    94998    14482     28 | 30.353 % |
115.34/115.46	c ===============================================================================
115.34/115.46	c New solution: 282
115.34/115.46	o 282
115.34/115.46	c Elapsed CPU time: 115.131 s	Remaining CPU time: 64.8685 s
115.34/115.46	c ===============================================================================
115.34/115.46	c |     23030 |   50732   235534   547909 |    78511    14502     28 | 30.353 % |
115.44/115.55	c ===============================================================================
115.44/115.55	c New solution: 281
115.44/115.55	o 281
115.44/115.55	c Elapsed CPU time: 115.227 s	Remaining CPU time: 64.7725 s
115.44/115.55	c ===============================================================================
115.44/115.55	c |     23088 |   50490   235535   548209 |    78511    14560     28 | 30.353 % |
115.53/115.64	c |     23188 |   50444   235535   548209 |    86362    14660     28 | 31.018 % |
115.63/115.76	c |     23339 |   50441   235535   548209 |    94999    14811     28 | 31.018 % |
115.83/115.95	c |     23564 |   50248   235535   548209 |   104499    13281     27 | 31.018 % |
115.94/116.07	c ===============================================================================
115.94/116.07	c New solution: 280
115.94/116.07	o 280
115.94/116.07	c Elapsed CPU time: 115.739 s	Remaining CPU time: 64.2606 s
115.94/116.07	c ===============================================================================
115.94/116.07	c |     23639 |   50248   235536   548509 |    78512    13356     27 | 31.018 % |
116.04/116.17	c |     23739 |   50235   235536   548509 |    86363    13456     27 | 31.350 % |
116.14/116.29	c |     23890 |   50230   235536   548509 |    94999    13607     27 | 31.350 % |
116.24/116.39	c ===============================================================================
116.24/116.39	c New solution: 279
116.24/116.39	o 279
116.24/116.39	c Elapsed CPU time: 116.061 s	Remaining CPU time: 63.9386 s
116.24/116.39	c ===============================================================================
116.24/116.39	c |     23956 |   50006   235537   548809 |    78512    13673     27 | 31.350 % |
116.34/116.48	c |     24056 |   49975   235537   548809 |    86363    13773     27 | 31.682 % |
116.55/116.66	c |     24206 |   49764   235537   548809 |    94999    13089     27 | 31.682 % |
116.74/116.82	c |     24431 |   49764   235537   548809 |   104499    13314     27 | 31.682 % |
117.14/117.23	c |     24768 |   49764   235537   548809 |   114949    13651     27 | 31.682 % |
117.23/117.33	c ===============================================================================
117.23/117.33	c New solution: 278
117.23/117.33	o 278
117.23/117.33	c Elapsed CPU time: 116.989 s	Remaining CPU time: 63.0108 s
117.23/117.33	c ===============================================================================
117.23/117.33	c |     24803 |   49764   235538   549109 |    78512    13686     27 | 31.682 % |
117.33/117.44	c ===============================================================================
117.33/117.44	c New solution: 277
117.33/117.44	o 277
117.33/117.44	c Elapsed CPU time: 117.102 s	Remaining CPU time: 62.8978 s
117.33/117.44	c ===============================================================================
117.33/117.44	c |     24873 |   49522   235539   549409 |    78513    13280     27 | 31.682 % |
117.43/117.53	c |     24976 |   49509   235539   549409 |    86364    13383     27 | 32.347 % |
117.54/117.66	c |     25127 |   49504   235539   549409 |    95000    13534     27 | 32.347 % |
117.73/117.84	c ===============================================================================
117.73/117.84	c New solution: 276
117.73/117.84	o 276
117.73/117.84	c Elapsed CPU time: 117.497 s	Remaining CPU time: 62.5029 s
117.73/117.84	c ===============================================================================
117.73/117.84	c |     25348 |   49280   235540   549709 |    78513    13755     27 | 32.347 % |
117.83/117.92	c |     25448 |   49240   235540   549709 |    86364    13855     27 | 32.679 % |
118.03/118.14	c |     25599 |   49237   235540   549709 |    95001    14006     28 | 32.679 % |
118.13/118.24	c ===============================================================================
118.13/118.24	c New solution: 275
118.13/118.24	o 275
118.13/118.24	c Elapsed CPU time: 117.901 s	Remaining CPU time: 62.0989 s
118.13/118.24	c ===============================================================================
118.13/118.24	c |     25618 |   49038   235541   550009 |    78513    13132     27 | 32.679 % |
118.24/118.34	c |     25718 |   48934   235541   550009 |    86365    13232     27 | 33.011 % |
118.34/118.43	c |     25870 |   48933   235541   550009 |    95001    13384     27 | 33.011 % |
118.54/118.67	c |     26097 |   48933   235541   550009 |   104501    13611     27 | 33.011 % |
118.84/118.90	c |     26435 |   48930   235541   550009 |   114951    13949     28 | 33.011 % |
119.33/119.42	c |     26941 |   48796   235541   550009 |   126447    14149     28 | 33.011 % |
119.43/119.54	c ===============================================================================
119.43/119.54	c New solution: 274
119.43/119.54	o 274
119.43/119.54	c Elapsed CPU time: 119.188 s	Remaining CPU time: 60.8121 s
119.43/119.54	c ===============================================================================
119.43/119.54	c |     27009 |   48796   235542   550309 |    78514    14217     28 | 33.011 % |
119.53/119.61	c |     27110 |   48731   235542   550309 |    86365    14318     28 | 33.343 % |
119.63/119.71	c |     27260 |   48730   235542   550309 |    95001    14468     28 | 33.344 % |
119.74/119.86	c |     27487 |   48554   235542   550309 |   104502    14334     28 | 33.343 % |
120.03/120.15	c |     27825 |   48554   235542   550309 |   114952    14672     28 | 33.343 % |
120.33/120.48	c |     28333 |   48554   235542   550309 |   126447    15180     28 | 33.343 % |
121.13/121.24	c |     29092 |   48554   235542   550309 |   139092    15939     29 | 33.343 % |
121.64/121.75	c ===============================================================================
121.64/121.75	c New solution: 273
121.64/121.75	o 273
121.64/121.75	c Elapsed CPU time: 121.389 s	Remaining CPU time: 58.6115 s
121.64/121.75	c ===============================================================================
121.64/121.75	c |     29718 |   48554   235543   550609 |    78514    16565     29 | 33.343 % |
121.73/121.86	c |     29819 |   48312   235543   550609 |    86365    16090     29 | 33.676 % |
121.94/122.01	c |     29970 |   48312   235543   550609 |    95002    16241     29 | 33.676 % |
122.04/122.16	c |     30195 |   48312   235543   550609 |   104502    16466     29 | 33.676 % |
122.43/122.55	c |     30532 |   48312   235543   550609 |   114952    16803     29 | 33.676 % |
122.53/122.66	c ===============================================================================
122.53/122.66	c New solution: 272
122.53/122.66	o 272
122.53/122.66	c Elapsed CPU time: 122.284 s	Remaining CPU time: 57.7156 s
122.53/122.66	c ===============================================================================
122.53/122.66	c |     30568 |   48312   235544   550909 |    78514    16839     29 | 33.676 % |
122.63/122.75	c |     30669 |   48070   235544   550909 |    86366    16487     29 | 34.008 % |
122.73/122.86	c |     30819 |   48070   235544   550909 |    95002    16637     29 | 34.008 % |
122.93/123.09	c |     31045 |   48070   235544   550909 |   104503    16863     29 | 34.008 % |
123.04/123.19	c ===============================================================================
123.04/123.19	c New solution: 271
123.04/123.19	o 271
123.04/123.19	c Elapsed CPU time: 122.82 s	Remaining CPU time: 57.1797 s
123.04/123.19	c ===============================================================================
123.04/123.19	c |     31090 |   48070   235545   551209 |    78515    16908     29 | 34.008 % |
123.23/123.30	c |     31191 |   48069   235545   551209 |    86366    17009     29 | 34.340 % |
123.33/123.45	c |     31344 |   48065   235545   551209 |    95003    17162     29 | 34.340 % |
123.43/123.57	c ===============================================================================
123.43/123.57	c New solution: 270
123.43/123.57	o 270
123.43/123.57	c Elapsed CPU time: 123.195 s	Remaining CPU time: 56.8047 s
123.43/123.57	c ===============================================================================
123.43/123.57	c |     31388 |   47828   235546   551509 |    78515    16829     29 | 34.340 % |
123.53/123.66	c |     31488 |   47809   235546   551509 |    86366    16929     29 | 34.672 % |
123.73/123.80	c |     31638 |   47807   235546   551509 |    95003    17079     29 | 34.672 % |
123.83/123.93	c |     31863 |   47740   235546   551509 |   104503    17304     29 | 34.672 % |
124.03/124.16	c |     32200 |   47740   235546   551509 |   114954    17641     29 | 34.672 % |
124.43/124.56	c |     32707 |   47739   235546   551509 |   126449    18148     30 | 34.672 % |
124.83/124.94	c |     33467 |   47586   235546   551509 |   139094    18368     30 | 34.672 % |
125.83/125.96	c |     34606 |   47586   235546   551509 |   153004    19507     31 | 34.672 % |
126.73/126.82	c |     36314 |   47586   235546   551509 |   168304    21215     30 | 34.672 % |
129.12/129.25	c |     38876 |   47586   235546   551509 |   185135    23777     32 | 34.672 % |
129.22/129.38	c ===============================================================================
129.22/129.38	c New solution: 269
129.22/129.38	o 269
129.22/129.38	c Elapsed CPU time: 128.98 s	Remaining CPU time: 51.0196 s
129.22/129.38	c ===============================================================================
129.22/129.38	c |     38941 |   47586   235547   551809 |    78515    23842     32 | 34.672 % |
129.43/129.50	c ===============================================================================
129.43/129.50	c New solution: 268
129.43/129.50	o 268
129.43/129.50	c Elapsed CPU time: 129.1 s	Remaining CPU time: 50.8996 s
129.43/129.50	c ===============================================================================
129.43/129.50	c |     38986 |   47344   235548   552109 |    78516    23156     31 | 34.672 % |
129.53/129.60	c |     39086 |   47303   235548   552109 |    86367    23256     31 | 35.337 % |
129.53/129.69	c ===============================================================================
129.53/129.69	c New solution: 267
129.53/129.69	o 267
129.53/129.69	c Elapsed CPU time: 129.29 s	Remaining CPU time: 50.7097 s
129.53/129.69	c ===============================================================================
129.53/129.69	c |     39152 |   47102   235549   552409 |    78516    23322     31 | 35.337 % |
129.63/129.79	c |     39252 |   47080   235549   552409 |    86367    23422     31 | 35.669 % |
129.83/129.94	c |     39402 |   47074   235549   552409 |    95004    23572     31 | 35.669 % |
130.03/130.10	c ===============================================================================
130.03/130.10	c New solution: 266
130.03/130.10	o 266
130.03/130.10	c Elapsed CPU time: 129.691 s	Remaining CPU time: 50.3087 s
130.03/130.10	c ===============================================================================
130.03/130.10	c |     39581 |   46860   235550   552709 |    78516    23751     31 | 35.669 % |
130.13/130.24	c |     39681 |   46849   235550   552709 |    86368    23851     31 | 36.001 % |
130.22/130.34	c |     39831 |   46799   235550   552709 |    95005    24001     31 | 36.001 % |
130.32/130.47	c |     40058 |   46799   235550   552709 |   104505    24228     31 | 36.001 % |
130.73/130.83	c |     40395 |   46618   235550   552709 |   114956    23338     31 | 36.001 % |
130.83/130.97	c ===============================================================================
130.83/130.97	c New solution: 265
130.83/130.97	o 265
130.83/130.97	c Elapsed CPU time: 130.56 s	Remaining CPU time: 49.4398 s
130.83/130.97	c ===============================================================================
130.83/130.97	c |     40476 |   46618   235551   553009 |    78517    23419     31 | 36.001 % |
130.92/131.05	c |     40577 |   46587   235551   553009 |    86368    23520     31 | 36.333 % |
131.12/131.28	c |     40728 |   46586   235551   553009 |    95005    23671     31 | 36.333 % |
131.32/131.42	c |     40954 |   46535   235551   553009 |   104506    23897     31 | 36.333 % |
131.53/131.66	c |     41293 |   46535   235551   553009 |   114956    24236     31 | 36.333 % |
132.02/132.16	c |     41799 |   46376   235551   553009 |   126452    24251     31 | 36.333 % |
132.32/132.45	c |     42558 |   46376   235551   553009 |   139097    25010     31 | 36.333 % |
133.12/133.22	c |     43697 |   46376   235551   553009 |   153007    26149     31 | 36.333 % |
134.12/134.22	c |     45405 |   46376   235551   553009 |   168308    27857     32 | 36.333 % |
136.33/136.44	c |     47967 |   46376   235551   553009 |   185138    30419     34 | 36.333 % |
136.42/136.55	c ===============================================================================
136.42/136.55	c New solution: 264
136.42/136.55	o 264
136.42/136.55	c Elapsed CPU time: 136.107 s	Remaining CPU time: 43.8927 s
136.42/136.55	c ===============================================================================
136.42/136.55	c |     48006 |   46376   235552   553309 |    78517    30458     34 | 36.333 % |
136.52/136.67	c |     48107 |   46134   235552   553309 |    86369    29284     31 | 36.666 % |
136.62/136.80	c |     48259 |   46134   235552   553309 |    95005    29436     32 | 36.666 % |
136.92/137.02	c |     48484 |   46134   235552   553309 |   104506    29661     32 | 36.666 % |
137.12/137.20	c |     48821 |   46134   235552   553309 |   114957    29998     32 | 36.666 % |
137.62/137.72	c |     49327 |   46134   235552   553309 |   126452    30504     32 | 36.666 % |
138.22/138.32	c |     50087 |   46134   235552   553309 |   139098    31264     32 | 36.666 % |
139.22/139.33	c |     51226 |   46134   235552   553309 |   153008    32403     32 | 36.666 % |
139.32/139.41	c ===============================================================================
139.32/139.41	c New solution: 263
139.32/139.41	o 263
139.32/139.41	c Elapsed CPU time: 138.956 s	Remaining CPU time: 41.0441 s
139.32/139.41	c ===============================================================================
139.32/139.41	c |     51247 |   46134   235553   553609 |    78517    32424     32 | 36.666 % |
139.42/139.52	c |     51347 |   45892   235553   553609 |    86369    31351     31 | 36.998 % |
139.53/139.66	c |     51497 |   45892   235553   553609 |    95006    31501     31 | 36.998 % |
139.72/139.86	c |     51722 |   45892   235553   553609 |   104507    31726     31 | 36.998 % |
140.02/140.10	c |     52059 |   45892   235553   553609 |   114957    32063     31 | 36.998 % |
140.42/140.55	c |     52565 |   45892   235553   553609 |   126453    32569     31 | 36.998 % |
141.11/141.26	c |     53324 |   45892   235553   553609 |   139098    33328     32 | 36.998 % |
141.21/141.37	c ===============================================================================
141.21/141.37	c New solution: 262
141.21/141.37	o 262
141.21/141.37	c Elapsed CPU time: 140.916 s	Remaining CPU time: 39.0844 s
141.21/141.37	c ===============================================================================
141.21/141.37	c |     53406 |   45892   235554   553909 |    78518    33410     32 | 36.998 % |
141.42/141.53	c |     53507 |   45650   235554   553909 |    86369    32755     31 | 37.330 % |
141.52/141.66	c |     53657 |   45650   235554   553909 |    95006    32905     31 | 37.330 % |
141.73/141.88	c |     53883 |   45650   235554   553909 |   104507    33131     31 | 37.330 % |
141.92/142.06	c |     54220 |   45650   235554   553909 |   114958    33468     32 | 37.330 % |
142.22/142.33	c |     54726 |   45650   235554   553909 |   126454    33974     32 | 37.330 % |
142.82/142.93	c |     55485 |   45650   235554   553909 |   139099    34733     32 | 37.330 % |
144.02/144.12	c |     56625 |   45650   235554   553909 |   153009    35873     32 | 37.330 % |
144.12/144.28	c ===============================================================================
144.12/144.28	c New solution: 261
144.12/144.28	o 261
144.12/144.28	c Elapsed CPU time: 143.802 s	Remaining CPU time: 36.1979 s
144.12/144.28	c ===============================================================================
144.12/144.28	c |     56773 |   45650   235555   554209 |    78518    36021     32 | 37.330 % |
144.31/144.42	c |     56874 |   45408   235555   554209 |    86370    35309     32 | 37.662 % |
144.41/144.59	c |     57024 |   45408   235555   554209 |    95007    35459     32 | 37.662 % |
144.61/144.74	c |     57249 |   45408   235555   554209 |   104507    35684     32 | 37.662 % |
144.91/145.00	c |     57586 |   45408   235555   554209 |   114958    36021     32 | 37.662 % |
145.02/145.18	c ===============================================================================
145.02/145.18	c New solution: 260
145.02/145.18	o 260
145.02/145.18	c Elapsed CPU time: 144.697 s	Remaining CPU time: 35.303 s
145.02/145.18	c ===============================================================================
145.02/145.18	c |     57828 |   45408   235556   554509 |    78518    36263     32 | 37.662 % |
145.12/145.25	c |     57929 |   45383   235556   554509 |    86370    36364     32 | 37.995 % |
145.31/145.42	c |     58079 |   45383   235556   554509 |    95007    36514     32 | 37.995 % |
145.41/145.57	c |     58305 |   45368   235556   554509 |   104508    36740     32 | 37.995 % |
145.72/145.82	c |     58642 |   45363   235556   554509 |   114959    37077     32 | 37.995 % |
146.31/146.44	c |     59148 |   45166   235556   554509 |   126455    36361     32 | 37.995 % |
146.41/146.55	c ===============================================================================
146.41/146.55	c New solution: 259
146.41/146.55	o 259
146.41/146.55	c Elapsed CPU time: 146.057 s	Remaining CPU time: 33.9432 s
146.41/146.55	c ===============================================================================
146.41/146.55	c |     59195 |   45166   235557   554809 |    78519    36408     32 | 37.995 % |
146.51/146.62	c |     59295 |   45138   235557   554809 |    86370    36508     32 | 38.327 % |
146.61/146.74	c |     59446 |   45138   235557   554809 |    95007    36659     32 | 38.327 % |
146.81/146.95	c |     59671 |   45130   235557   554809 |   104508    36884     31 | 38.327 % |
147.01/147.18	c |     60008 |   45128   235557   554809 |   114959    37221     31 | 38.327 % |
147.41/147.58	c |     60514 |   44924   235557   554809 |   126455    36744     31 | 38.327 % |
148.11/148.28	c |     61273 |   44924   235557   554809 |   139101    37503     31 | 38.327 % |
148.21/148.36	c ===============================================================================
148.21/148.36	c New solution: 258
148.21/148.36	o 258
148.21/148.36	c Elapsed CPU time: 147.864 s	Remaining CPU time: 32.1365 s
148.21/148.36	c ===============================================================================
148.21/148.36	c |     61305 |   44924   235558   555109 |    78519    37535     31 | 38.327 % |
148.32/148.45	c |     61405 |   44885   235558   555109 |    86371    37635     31 | 38.659 % |
148.51/148.62	c |     61555 |   44885   235558   555109 |    95008    37785     31 | 38.659 % |
148.81/148.90	c |     61780 |   44682   235558   555109 |   104509    36829     31 | 38.659 % |
149.01/149.11	c |     62117 |   44682   235558   555109 |   114960    37166     32 | 38.659 % |
149.21/149.36	c |     62623 |   44682   235558   555109 |   126456    37672     31 | 38.659 % |
149.71/149.82	c |     63383 |   44682   235558   555109 |   139101    38432     31 | 38.659 % |
150.81/150.99	c |     64522 |   44682   235558   555109 |   153011    39571     32 | 38.659 % |
151.01/151.12	c ===============================================================================
151.01/151.12	c New solution: 257
151.01/151.12	o 257
151.01/151.12	c Elapsed CPU time: 150.601 s	Remaining CPU time: 29.3989 s
151.01/151.12	c ===============================================================================
151.01/151.12	c |     64668 |   44682   235559   555409 |    78519    39717     32 | 38.659 % |
151.10/151.25	c |     64770 |   44440   235559   555409 |    86371    38125     31 | 38.991 % |
151.31/151.40	c |     64920 |   44440   235559   555409 |    95008    38275     31 | 38.991 % |
151.51/151.60	c |     65145 |   44440   235559   555409 |   104509    38500     31 | 38.991 % |
151.71/151.86	c |     65483 |   44440   235559   555409 |   114960    38838     31 | 38.991 % |
152.10/152.27	c |     65989 |   44440   235559   555409 |   126456    39344     32 | 38.991 % |
152.91/153.00	c |     66748 |   44440   235559   555409 |   139102    40103     32 | 38.991 % |
153.01/153.17	c ===============================================================================
153.01/153.17	c New solution: 256
153.01/153.17	o 256
153.01/153.17	c Elapsed CPU time: 152.637 s	Remaining CPU time: 27.3632 s
153.01/153.17	c ===============================================================================
153.01/153.17	c |     66967 |   44440   235560   555709 |    78520    40322     32 | 38.991 % |
153.21/153.31	c |     67067 |   44198   235560   555709 |    86372    38885     32 | 39.323 % |
153.31/153.47	c |     67219 |   44198   235560   555709 |    95009    39037     32 | 39.323 % |
153.51/153.69	c |     67445 |   44198   235560   555709 |   104510    39263     31 | 39.324 % |
153.71/153.87	c |     67782 |   44198   235560   555709 |   114961    39600     32 | 39.323 % |
154.01/154.17	c |     68290 |   44198   235560   555709 |   126457    40108     32 | 39.323 % |
154.51/154.63	c |     69049 |   44198   235560   555709 |   139102    40867     32 | 39.323 % |
155.61/155.77	c |     70189 |   44198   235560   555709 |   153013    42007     32 | 39.323 % |
155.91/156.04	c ===============================================================================
155.91/156.04	c New solution: 255
155.91/156.04	o 255
155.91/156.04	c Elapsed CPU time: 155.49 s	Remaining CPU time: 24.5096 s
155.91/156.04	c ===============================================================================
155.91/156.04	c |     70569 |   44198   235561   556009 |    78520    42387     32 | 39.323 % |
156.11/156.23	c |     70672 |   43956   235561   556009 |    86372    41292     32 | 39.656 % |
156.20/156.33	c |     70823 |   43956   235561   556009 |    95009    41443     32 | 39.656 % |
156.40/156.57	c |     71048 |   43956   235561   556009 |   104510    41668     32 | 39.656 % |
156.90/157.01	c |     71385 |   43956   235561   556009 |   114961    42005     32 | 39.656 % |
157.12/157.30	c |     71893 |   43956   235561   556009 |   126457    42513     32 | 39.656 % |
157.61/157.72	c |     72652 |   43956   235561   556009 |   139103    43272     32 | 39.656 % |
158.21/158.34	c |     73791 |   43956   235561   556009 |   153013    44411     32 | 39.656 % |
160.21/160.32	c |     75501 |   43956   235561   556009 |   168315    46121     32 | 39.656 % |
161.40/161.57	c |     78064 |   43956   235561   556009 |   185146    48684     32 | 39.656 % |
164.20/164.39	c |     81909 |   43956   235561   556009 |   203661    52529     35 | 39.656 % |
168.90/169.09	c |     87676 |   43956   235561   556009 |   224027    58296     36 | 39.656 % |
176.80/176.90	c |     96325 |   43956   235561   556009 |   246430    66945     37 | 39.656 % |
177.20/177.33	c ===============================================================================
177.20/177.33	c New solution: 254
177.20/177.33	o 254
177.20/177.33	c Elapsed CPU time: 176.684 s	Remaining CPU time: 3.31586 s
177.20/177.33	c ===============================================================================
177.20/177.33	c |     97512 |   43956   235562   556309 |    78520    68132     37 | 39.656 % |
177.30/177.48	c |     97612 |   43714   235562   556309 |    86372    66749     36 | 39.988 % |
177.40/177.59	c |     97762 |   43714   235562   556309 |    95010    66899     36 | 39.988 % |
177.60/177.77	c |     97987 |   43714   235562   556309 |   104511    67124     36 | 39.988 % |
178.01/178.18	c |     98325 |   43714   235562   556309 |   114962    67462     36 | 39.988 % |
178.20/178.30	c ===============================================================================
178.20/178.30	c New solution: 253
178.20/178.30	o 253
178.20/178.30	c Elapsed CPU time: 177.647 s	Remaining CPU time: 2.35301 s
178.20/178.30	c ===============================================================================
178.20/178.30	c |     98386 |   43714   235563   556609 |    78521    67523     36 | 39.988 % |
178.30/178.40	c |     98488 |   43677   235563   556609 |    86373    67625     36 | 40.320 % |
178.40/178.56	c |     98638 |   43664   235563   556609 |    95010    67775     36 | 40.320 % |
178.70/178.80	c |     98863 |   43662   235563   556609 |   104511    68000     36 | 40.320 % |
178.90/179.08	c |     99200 |   43649   235563   556609 |   114962    68337     36 | 40.320 % |
179.30/179.47	c |     99706 |   43649   235563   556609 |   126458    68843     36 | 40.320 % |
179.80/179.93	c |    100465 |   43648   235563   556609 |   139104    69602     36 | 40.320 % |
180.50/180.66	c There are 29370 assigned variables. 145 in cost function.
182.41/182.54	c core #1
182.41/182.54	c core #2
182.41/182.54	c core #3
182.41/182.54	c core #4
182.41/182.54	c core #5
182.41/182.54	c core #6
182.41/182.54	c ============================[ Search Statistics ]==============================
182.41/182.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.41/182.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.41/182.54	c ===============================================================================
182.41/182.54	c |         0 |    8203   162478   322649 |    54159        0    nan |  0.000 % |
182.41/182.56	c ===============================================================================
182.70/182.82	c core #7
182.70/182.82	c ============================[ Search Statistics ]==============================
182.70/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.70/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.70/182.82	c ===============================================================================
182.70/182.82	c |         0 |    8653   162627   323296 |    54209        0    nan |  0.000 % |
182.70/182.83	c ===============================================================================
182.89/183.09	c core #8
182.89/183.09	c ============================[ Search Statistics ]==============================
182.89/183.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.89/183.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.89/183.09	c ===============================================================================
182.89/183.09	c |         0 |    9112   162775   323944 |    54258        0    nan |  0.000 % |
183.00/183.11	c ===============================================================================
183.20/183.37	c core #9
183.20/183.37	c ============================[ Search Statistics ]==============================
183.20/183.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.20/183.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.20/183.38	c ===============================================================================
183.20/183.38	c |         0 |    9501   162922   324593 |    54307        0    nan |  0.000 % |
183.20/183.39	c ===============================================================================
183.50/183.66	c core #10
183.50/183.66	c ============================[ Search Statistics ]==============================
183.50/183.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.50/183.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.50/183.66	c ===============================================================================
183.50/183.66	c |         0 |    9764   163069   325243 |    54356        0    nan |  0.000 % |
183.50/183.70	c ===============================================================================
183.80/183.97	c core #11
183.80/183.97	c ============================[ Search Statistics ]==============================
183.80/183.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.80/183.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.80/183.97	c ===============================================================================
183.80/183.97	c |         0 |   10227   163215   325896 |    54405        0    nan |  0.000 % |
183.90/184.01	c ===============================================================================
184.09/184.28	c core #12
184.09/184.28	c ============================[ Search Statistics ]==============================
184.09/184.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.09/184.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.09/184.28	c ===============================================================================
184.09/184.28	c |         0 |   10502   163360   326548 |    54453        0    nan |  0.000 % |
184.19/184.37	c ===============================================================================
184.49/184.66	c core #13
184.49/184.66	c ============================[ Search Statistics ]==============================
184.49/184.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.49/184.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.49/184.66	c ===============================================================================
184.49/184.66	c |         0 |   10976   163504   327204 |    54501        0    nan |  0.000 % |
184.60/184.76	c |       103 |   10970   163504   327204 |    59951      103     19 | 85.546 % |
184.60/184.79	c ===============================================================================
184.90/185.07	c core #14
184.90/185.07	c ============================[ Search Statistics ]==============================
184.90/185.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.90/185.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.90/185.07	c ===============================================================================
184.90/185.07	c |         0 |   11363   163647   327860 |    54549        0    nan |  0.000 % |
185.00/185.17	c |       100 |   11359   163647   327860 |    60003      100     20 | 84.946 % |
185.10/185.21	c ===============================================================================
185.30/185.49	c core #15
185.30/185.49	c ============================[ Search Statistics ]==============================
185.30/185.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.30/185.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.30/185.49	c ===============================================================================
185.30/185.49	c |         0 |   11748   163790   328519 |    54596        0    nan |  0.000 % |
185.40/185.59	c |       100 |   11748   163790   328519 |    60056      100     18 | 84.349 % |
185.59/185.73	c |       251 |   11633   163790   328519 |    66061      228     19 | 84.503 % |
185.59/185.80	c ===============================================================================
185.89/186.08	c core #16
185.89/186.08	c ============================[ Search Statistics ]==============================
185.89/186.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.89/186.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.89/186.08	c ===============================================================================
185.89/186.08	c |         0 |   12101   163934   329184 |    54644        0    nan |  0.000 % |
185.99/186.18	c |       100 |   12101   163934   329184 |    60109      100     25 | 83.909 % |
186.19/186.32	c |       250 |   12101   163934   329184 |    66120      250     21 | 83.909 % |
186.30/186.49	c ===============================================================================
186.60/186.76	c core #17
186.60/186.76	c ============================[ Search Statistics ]==============================
186.60/186.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.60/186.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.60/186.76	c ===============================================================================
186.60/186.76	c |         0 |   12511   164076   329854 |    54692        0    nan |  0.000 % |
186.69/186.84	c |       100 |   12510   164076   329854 |    60161      100     19 | 83.425 % |
186.80/186.98	c |       251 |   12508   164076   329854 |    66177      251     19 | 83.458 % |
187.09/187.20	c |       476 |   12461   164076   329854 |    72795      459     23 | 83.477 % |
187.19/187.37	c ===============================================================================
187.50/187.66	c core #18
187.50/187.66	c ============================[ Search Statistics ]==============================
187.50/187.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.50/187.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.50/187.66	c ===============================================================================
187.50/187.66	c |         0 |   12891   164215   330515 |    54738        0    nan |  0.000 % |
187.59/187.75	c |       100 |   12891   164215   330515 |    60212      100     16 | 82.952 % |
187.69/187.87	c |       251 |   12888   164215   330515 |    66233      251     19 | 82.986 % |
187.90/188.06	c |       476 |   12887   164215   330515 |    72856      476     24 | 82.986 % |
188.09/188.29	c |       813 |   12838   164215   330515 |    80142      783     27 | 83.186 % |
188.29/188.41	c ===============================================================================
188.49/188.69	c core #19
188.49/188.69	c ============================[ Search Statistics ]==============================
188.49/188.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.49/188.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.49/188.69	c ===============================================================================
188.49/188.69	c |         0 |   13270   164362   331204 |    54787        0    nan |  0.000 % |
188.59/188.76	c |       101 |   13268   164362   331204 |    60266      101     17 | 82.482 % |
188.79/188.91	c |       251 |   13266   164362   331204 |    66292      251     22 | 82.482 % |
189.00/189.13	c |       477 |   13247   164362   331204 |    72921      476     26 | 82.482 % |
189.29/189.45	c |       814 |   13219   164362   331204 |    80214      796     26 | 82.519 % |
189.79/189.94	c |      1320 |   13052   164362   331204 |    88235     1229     29 | 82.740 % |
190.49/190.66	c |      2079 |   12668   164362   331204 |    97059     1096     25 | 83.255 % |
190.69/190.86	c ===============================================================================
190.99/191.14	c core #20
190.99/191.14	c ============================[ Search Statistics ]==============================
190.99/191.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.99/191.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.99/191.14	c ===============================================================================
190.99/191.14	c |         0 |   13648   164502   331877 |    54834        0    nan |  0.000 % |
191.09/191.23	c |       100 |   13644   164502   331877 |    60317      100     21 | 82.014 % |
191.20/191.37	c |       251 |   13644   164502   331877 |    66349      251     23 | 82.014 % |
191.39/191.58	c |       478 |   13625   164502   331877 |    72984      477     25 | 82.014 % |
191.79/191.94	c |       815 |   13625   164502   331877 |    80282      814     26 | 82.014 % |
192.09/192.24	c |      1322 |   13571   164502   331877 |    88310     1200     26 | 82.085 % |
192.59/192.76	c |      2081 |   13571   164502   331877 |    97141     1959     31 | 82.085 % |
192.99/193.13	c ===============================================================================
193.29/193.41	c core #21
193.29/193.41	c ============================[ Search Statistics ]==============================
193.29/193.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.29/193.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.29/193.41	c ===============================================================================
193.29/193.41	c |         0 |   14025   164647   332565 |    54882        0    nan |  0.000 % |
193.29/193.49	c |       100 |   14023   164647   332565 |    60370      100     22 | 81.549 % |
193.40/193.58	c |       251 |   14023   164647   332565 |    66407      251     21 | 81.549 % |
193.59/193.78	c |       477 |   14023   164647   332565 |    73048      477     24 | 81.549 % |
193.89/194.07	c |       815 |   14002   164647   332565 |    80353      814     26 | 81.549 % |
194.39/194.54	c |      1321 |   14002   164647   332565 |    88388     1320     27 | 81.549 % |
194.88/195.06	c |      2080 |   13934   164647   332565 |    97227     1870     27 | 81.639 % |
196.09/196.27	c |      3221 |   13934   164647   332565 |   106950     3011     31 | 81.639 % |
196.79/196.91	c ===============================================================================
196.99/197.19	c core #22
196.99/197.19	c ============================[ Search Statistics ]==============================
196.99/197.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.99/197.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.99/197.19	c ===============================================================================
196.99/197.19	c |         0 |   14401   164794   333265 |    54931        0    nan |  0.000 % |
197.09/197.29	c |       100 |   14401   164794   333265 |    60424      100     21 | 81.057 % |
197.19/197.39	c |       250 |   14401   164794   333265 |    66466      250     20 | 81.057 % |
197.49/197.62	c |       475 |   14349   164794   333265 |    73113      444     22 | 81.156 % |
197.69/197.85	c |       813 |   14349   164794   333265 |    80424      782     25 | 81.156 % |
197.99/198.12	c |      1320 |   14244   164794   333265 |    88467      951     20 | 81.264 % |
198.58/198.77	c |      2082 |   14212   164794   333265 |    97314     1694     25 | 81.306 % |
199.29/199.42	c |      3223 |   14172   164794   333265 |   107045     2435     23 | 81.358 % |
200.28/200.47	c |      4931 |   14172   164794   333265 |   117750     4143     28 | 81.358 % |
200.78/200.96	c ===============================================================================
201.09/201.23	c core #23
201.09/201.23	c ============================[ Search Statistics ]==============================
201.09/201.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.09/201.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.09/201.23	c ===============================================================================
201.09/201.23	c |         0 |   14776   164943   333976 |    54981        0    nan |  0.000 % |
201.19/201.30	c |       100 |   14776   164943   333976 |    60479      100     19 | 80.598 % |
201.28/201.45	c |       251 |   14776   164943   333976 |    66527      251     22 | 80.598 % |
201.48/201.63	c |       478 |   14776   164943   333976 |    73179      478     23 | 80.598 % |
201.78/201.93	c |       815 |   14776   164943   333976 |    80497      815     26 | 80.598 % |
202.29/202.44	c |      1321 |   14776   164943   333976 |    88547     1321     27 | 80.598 % |
202.98/203.10	c |      2081 |   14751   164943   333976 |    97402     2078     30 | 80.631 % |
203.99/204.15	c |      3220 |   14751   164943   333976 |   107142     3217     32 | 80.631 % |
205.28/205.42	c |      4928 |   14384   164943   333976 |   117856     3534     29 | 81.112 % |
206.29/206.41	c ===============================================================================
206.48/206.69	c core #24
206.48/206.69	c ============================[ Search Statistics ]==============================
206.48/206.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.48/206.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.48/206.69	c ===============================================================================
206.48/206.69	c |         0 |   15150   165089   334678 |    55029        0    nan |  0.000 % |
206.59/206.78	c |       101 |   15149   165089   334678 |    60532      101     21 | 80.171 % |
206.69/206.89	c |       251 |   15149   165089   334678 |    66585      251     23 | 80.171 % |
206.88/207.05	c |       477 |   15146   165089   334678 |    73244      477     22 | 80.193 % |
207.08/207.23	c |       814 |   15110   165089   334678 |    80568      812     21 | 80.193 % |
207.48/207.60	c |      1320 |   15026   165089   334678 |    88625     1274     23 | 80.304 % |
207.87/208.08	c |      2079 |   15026   165089   334678 |    97488     2033     27 | 80.304 % |
209.08/209.22	c |      3218 |   15026   165089   334678 |   107237     3172     30 | 80.304 % |
210.58/210.77	c |      4926 |   15026   165089   334678 |   117960     4880     33 | 80.304 % |
212.88/213.05	c |      7489 |   15026   165089   334678 |   129757     7443     32 | 80.304 % |
216.37/216.54	c |     11335 |   14856   165089   334678 |   142732     9122     32 | 80.526 % |
219.68/219.88	c ===============================================================================
219.98/220.15	c core #25
219.98/220.15	c ============================[ Search Statistics ]==============================
219.98/220.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.98/220.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.98/220.15	c ===============================================================================
219.98/220.15	c |         0 |   15523   165229   335368 |    55076        0    nan |  0.000 % |
220.07/220.24	c |       101 |   15523   165229   335368 |    60583      101     23 | 79.717 % |
220.17/220.35	c |       252 |   15523   165229   335368 |    66642      252     23 | 79.717 % |
220.37/220.56	c |       477 |   15523   165229   335368 |    73306      477     24 | 79.717 % |
220.77/220.91	c |       815 |   15500   165229   335368 |    80637      814     26 | 79.717 % |
221.27/221.40	c |      1321 |   15500   165229   335368 |    88700     1320     28 | 79.717 % |
221.98/222.16	c |      2081 |   15500   165229   335368 |    97571     2080     31 | 79.717 % |
222.67/222.88	c |      3221 |   15500   165229   335368 |   107328     3220     30 | 79.717 % |
223.77/223.92	c |      4929 |   15500   165229   335368 |   118061     4928     32 | 79.717 % |
225.88/226.04	c |      7491 |   15500   165229   335368 |   129867     7490     34 | 79.717 % |
229.37/229.51	c |     11335 |   15376   165229   335368 |   142853     9849     35 | 79.879 % |
234.67/234.80	c |     17101 |   15344   165229   335368 |   157139    13343     36 | 79.921 % |
240.47/240.63	c ===============================================================================
240.78/240.91	c core #26
240.78/240.91	c ============================[ Search Statistics ]==============================
240.78/240.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
240.78/240.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
240.78/240.91	c ===============================================================================
240.78/240.91	c |         0 |   15895   165370   336067 |    55123        0    nan |  0.000 % |
240.78/240.99	c |       100 |   15894   165370   336067 |    60635      100     17 | 79.266 % |
240.97/241.12	c |       250 |   15894   165370   336067 |    66699      250     22 | 79.266 % |
241.07/241.27	c |       475 |   15872   165370   336067 |    73369      474     20 | 79.266 % |
241.37/241.53	c |       812 |   15872   165370   336067 |    80706      811     22 | 79.266 % |
241.97/242.11	c |      1322 |   15872   165370   336067 |    88776     1321     27 | 79.266 % |
242.27/242.49	c |      2081 |   15872   165370   336067 |    97654     2080     28 | 79.266 % |
243.07/243.24	c |      3224 |   15872   165370   336067 |   107419     3223     28 | 79.266 % |
244.96/245.15	c |      4932 |   15872   165370   336067 |   118161     4931     34 | 79.266 % |
247.46/247.61	c |      7495 |   15872   165370   336067 |   129977     7494     34 | 79.266 % |
250.96/251.17	c |     11341 |   15828   165370   336067 |   142975    11331     36 | 79.323 % |
256.66/256.88	c |     17108 |   15828   165370   336067 |   157273    17098     38 | 79.323 % |
266.27/266.48	c |     25759 |   15434   165370   336067 |   173000    16461     34 | 79.838 % |
279.66/279.88	c ===============================================================================
279.95/280.16	c core #27
279.95/280.16	c ============================[ Search Statistics ]==============================
279.95/280.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
279.95/280.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
279.95/280.16	c ===============================================================================
279.95/280.16	c |         0 |   16266   165521   336803 |    55173        0    nan |  0.000 % |
280.05/280.24	c |       101 |   16266   165521   336803 |    60691      101     18 | 78.787 % |
280.15/280.32	c |       251 |   16266   165521   336803 |    66760      251     17 | 78.787 % |
280.26/280.46	c |       476 |   16266   165521   336803 |    73436      476     20 | 78.787 % |
280.56/280.74	c |       813 |   16266   165521   336803 |    80779      813     24 | 78.787 % |
280.86/281.02	c |      1319 |   16241   165521   336803 |    88857     1318     24 | 78.819 % |
281.56/281.76	c |      2079 |   16241   165521   336803 |    97743     2078     26 | 78.819 % |
282.56/282.79	c |      3218 |   16241   165521   336803 |   107517     3217     29 | 78.819 % |
283.66/283.85	c |      4927 |   16241   165521   336803 |   118269     4926     29 | 78.819 % |
285.15/285.32	c |      7489 |   16219   165521   336803 |   130096     7487     29 | 78.848 % |
289.55/289.75	c |     11333 |   16219   165521   336803 |   143106    11331     32 | 78.848 % |
294.35/294.51	c |     17099 |   16219   165521   336803 |   157416    17097     35 | 78.848 % |
304.05/304.29	c |     25748 |   16219   165521   336803 |   173158    25746     38 | 78.848 % |
322.05/322.21	c |     38722 |   16219   165521   336803 |   190474    38720     41 | 78.848 % |
335.64/335.81	c ===============================================================================
335.94/336.10	c core #28
335.94/336.10	c ============================[ Search Statistics ]==============================
335.94/336.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
335.94/336.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
335.94/336.10	c ===============================================================================
335.94/336.10	c |         0 |   16636   165665   337524 |    55221        0    nan |  0.000 % |
336.04/336.20	c |       100 |   16635   165665   337524 |    60743      100     20 | 78.364 % |
336.14/336.33	c |       252 |   16635   165665   337524 |    66818      252     24 | 78.364 % |
336.23/336.49	c |       480 |   16618   165665   337524 |    73500      479     25 | 78.364 % |
336.53/336.78	c |       818 |   16618   165665   337524 |    80850      817     25 | 78.364 % |
337.04/337.25	c |      1324 |   16618   165665   337524 |    88935     1323     28 | 78.364 % |
337.54/337.77	c |      2083 |   16618   165665   337524 |    97828     2082     28 | 78.364 % |
338.74/338.99	c |      3222 |   16618   165665   337524 |   107611     3221     31 | 78.364 % |
339.94/340.17	c |      4930 |   16565   165665   337524 |   118372     4925     30 | 78.433 % |
342.74/342.94	c |      7492 |   16565   165665   337524 |   130209     7487     34 | 78.433 % |
345.14/345.31	c |     11336 |   16565   165665   337524 |   143230    11331     33 | 78.433 % |
351.04/351.21	c |     17103 |   16565   165665   337524 |   157553    17098     36 | 78.433 % |
361.64/361.90	c |     25753 |   16565   165665   337524 |   173309    25748     39 | 78.433 % |
379.03/379.30	c |     38728 |   16565   165665   337524 |   190640    38723     39 | 78.433 % |
410.71/410.93	c |     58189 |   16565   165665   337524 |   209704    58184     41 | 78.433 % |
471.61/471.90	c |     87382 |   16565   165665   337524 |   230674    87377     43 | 78.433 % |
506.80/507.02	c ===============================================================================
507.09/507.35	c core #29
507.09/507.35	c ============================[ Search Statistics ]==============================
507.09/507.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
507.09/507.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
507.09/507.35	c ===============================================================================
507.09/507.35	c |         0 |   17005   165818   338270 |    55272        0    nan |  0.000 % |
507.19/507.44	c |       100 |   17005   165818   338270 |    60799      100     18 | 77.957 % |
507.39/507.61	c |       250 |   17005   165818   338270 |    66879      250     27 | 77.957 % |
507.49/507.79	c |       475 |   16958   165818   338270 |    73567      473     25 | 77.957 % |
507.69/507.98	c |       813 |   16958   165818   338270 |    80924      811     24 | 77.957 % |
508.09/508.33	c |      1319 |   16958   165818   338270 |    89017     1317     29 | 77.957 % |
508.69/508.95	c |      2078 |   16958   165818   338270 |    97918     2076     30 | 77.957 % |
509.48/509.78	c |      3217 |   16958   165818   338270 |   107710     3215     30 | 77.957 % |
510.89/511.15	c |      4927 |   16958   165818   338270 |   118481     4925     31 | 77.957 % |
513.08/513.38	c |      7489 |   16958   165818   338270 |   130330     7487     33 | 77.957 % |
515.69/515.93	c |     11334 |   16958   165818   338270 |   143363    11332     34 | 77.957 % |
521.88/522.11	c |     17101 |   16958   165818   338270 |   157699    17099     37 | 77.957 % |
529.88/530.11	c |     25750 |   16958   165818   338270 |   173469    25748     37 | 77.957 % |
548.27/548.57	c |     38724 |   16958   165818   338270 |   190816    38722     37 | 77.957 % |
583.87/584.14	c |     58186 |   16958   165818   338270 |   209897    58184     41 | 77.957 % |
650.86/651.12	c |     87384 |   16958   165818   338270 |   230887    87382     42 | 77.957 % |
736.82/737.13	c ===============================================================================
737.12/737.49	c core #30
737.12/737.49	c ============================[ Search Statistics ]==============================
737.12/737.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
737.12/737.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
737.12/737.50	c ===============================================================================
737.12/737.50	c |         0 |   17373   165997   339090 |    55332        0    nan |  0.000 % |
737.22/737.59	c |       100 |   17373   165997   339090 |    60865      100     21 | 77.455 % |
737.42/737.76	c |       250 |   17373   165997   339090 |    66952      250     30 | 77.455 % |
737.62/737.93	c |       478 |   17373   165997   339090 |    73647      478     27 | 77.455 % |
737.73/738.07	c |       815 |   17373   165997   339090 |    81012      815     24 | 77.455 % |
738.22/738.56	c |      1321 |   17350   165997   339090 |    89113     1320     27 | 77.485 % |
738.62/738.99	c |      2080 |   17350   165997   339090 |    98024     2079     26 | 77.485 % |
739.22/739.58	c |      3220 |   17350   165997   339090 |   107827     3219     24 | 77.485 % |
741.13/741.45	c |      4928 |   17350   165997   339090 |   118609     4927     30 | 77.485 % |
742.72/743.04	c |      7490 |   17350   165997   339090 |   130470     7489     30 | 77.485 % |
745.92/746.28	c |     11334 |   17350   165997   339090 |   143517    11333     33 | 77.485 % |
750.92/751.30	c |     17100 |   17350   165997   339090 |   157869    17099     35 | 77.485 % |
759.41/759.75	c |     25750 |   17348   165997   339090 |   173656    25748     36 | 77.487 % |
774.02/774.32	c |     38724 |   17348   165997   339090 |   191022    38722     38 | 77.487 % |
804.30/804.66	c |     58185 |   17348   165997   339090 |   210124    58183     40 | 77.487 % |
852.09/852.41	c |     87378 |   17154   165997   339090 |   231136    60781     35 | 77.739 % |
941.85/942.27	c |    131167 |   17154   165997   339090 |   254250   104570     41 | 77.739 % |
1016.13/1016.51	c ===============================================================================
1016.44/1016.88	c core #31
1016.44/1016.88	c ============================[ Search Statistics ]==============================
1016.44/1016.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1016.44/1016.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1016.44/1016.88	c ===============================================================================
1016.44/1016.88	c |         0 |   17740   166143   339824 |    55381        0    nan |  0.000 % |
1016.64/1017.00	c |       100 |   17740   166143   339824 |    60919      100     26 | 77.016 % |
1016.73/1017.12	c |       250 |   17740   166143   339824 |    67011      250     26 | 77.016 % |
1016.83/1017.24	c |       476 |   17740   166143   339824 |    73712      476     25 | 77.016 % |
1017.23/1017.61	c |       817 |   17740   166143   339824 |    81083      817     28 | 77.016 % |
1017.53/1017.90	c |      1324 |   17722   166143   339824 |    89191     1323     27 | 77.039 % |
1018.24/1018.62	c |      2083 |   17722   166143   339824 |    98110     2082     34 | 77.039 % |
1019.24/1019.68	c |      3222 |   17722   166143   339824 |   107921     3221     38 | 77.039 % |
1020.23/1020.63	c |      4932 |   17673   166143   339824 |   118714     4930     35 | 77.103 % |
1022.33/1022.79	c |      7495 |   17673   166143   339824 |   130585     7493     34 | 77.103 % |
1025.93/1026.34	c |     11340 |   17673   166143   339824 |   143644    11338     35 | 77.103 % |
1033.33/1033.72	c |     17106 |   17673   166143   339824 |   158008    17104     37 | 77.103 % |
1041.43/1041.84	c |     25755 |   17673   166143   339824 |   173809    25753     38 | 77.103 % |
1061.81/1062.21	c |     38729 |   17673   166143   339824 |   191190    38727     42 | 77.103 % |
1090.40/1090.89	c |     58190 |   17673   166143   339824 |   210309    58188     44 | 77.103 % |
1152.39/1152.85	c |     87383 |   17673   166143   339824 |   231340    87381     47 | 77.103 % |
1248.65/1249.14	c |    131173 |   17673   166143   339824 |   254474   131171     46 | 77.103 % |
1475.67/1476.21	c |    196857 |   17673   166143   339824 |   279921   196855     48 | 77.103 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25070
/proc/meminfo: memFree=1763424/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=10696 CPUtime=0
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 348 0 0 0 0 0 0 0 19 0 1 0 13072728 10952704 267 1992294400 134512640 135751879 4290186400 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 2674 267 143 303 0 408 0

[startup+0.0941819 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25070
/proc/meminfo: memFree=1763424/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=15480 CPUtime=0.08
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 1536 0 0 0 8 0 0 0 19 0 1 0 13072728 15851520 1456 1992294400 134512640 135751879 4290186400 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 3870 1456 276 303 0 1604 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15480

[startup+0.101182 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25070
/proc/meminfo: memFree=1763424/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=15612 CPUtime=0.09
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 1616 0 0 0 9 0 0 0 19 0 1 0 13072728 15986688 1535 1992294400 134512640 135751879 4290186400 18446744073709551615 135192468 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 3903 1536 287 303 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15612

[startup+0.300202 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25070
/proc/meminfo: memFree=1763424/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=19884 CPUtime=0.29
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 2909 0 0 0 29 0 0 0 20 0 1 0 13072728 20361216 2795 1992294400 134512640 135751879 4290186400 18446744073709551615 134637802 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 4971 2795 586 303 0 2705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19884

[startup+0.700242 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25070
/proc/meminfo: memFree=1763424/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=26488 CPUtime=0.69
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 5034 0 0 0 67 2 0 0 20 0 1 0 13072728 27123712 4831 1992294400 134512640 135751879 4290186400 18446744073709551615 134559738 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 6622 4831 1210 303 0 4356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26488

[startup+1.50032 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25071
/proc/meminfo: memFree=1743576/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=37132 CPUtime=1.49
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 8292 0 0 0 146 3 0 0 22 0 1 0 13072728 38023168 8024 1992294400 134512640 135751879 4290186400 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 9283 8024 2014 303 0 7017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37132

[startup+3.10049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25071
/proc/meminfo: memFree=1713940/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=56108 CPUtime=3.08
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 15170 0 0 0 303 5 0 0 25 0 1 0 13072728 57454592 12716 1992294400 134512640 135751879 4290186400 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 14027 12716 146 303 0 13722 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56108

[startup+6.30181 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25071
/proc/meminfo: memFree=1705880/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=64688 CPUtime=6.29
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 17342 0 0 0 623 6 0 0 25 0 1 0 13072728 66240512 14888 1992294400 134512640 135751879 4290186400 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 16172 14888 146 303 0 15867 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64688

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25071
/proc/meminfo: memFree=1693852/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=76304 CPUtime=12.69
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 20245 0 0 0 1261 8 0 0 25 0 1 0 13072728 78135296 17791 1992294400 134512640 135751879 4290186400 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 19076 17791 146 303 0 18771 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76304

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25071
/proc/meminfo: memFree=1676616/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=92012 CPUtime=25.49
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 24170 0 0 0 2540 9 0 0 25 0 1 0 13072728 94220288 21716 1992294400 134512640 135751879 4290186400 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 23003 21716 146 303 0 22698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92012

[startup+51.1013 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 25072
/proc/meminfo: memFree=1654544/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=115244 CPUtime=51.07
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 29972 0 0 0 5095 12 0 0 25 0 1 0 13072728 118009856 27518 1992294400 134512640 135751879 4290186400 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 28811 27518 146 303 0 28506 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 115244

[startup+102.309 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 25074
/proc/meminfo: memFree=1632224/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=135216 CPUtime=102.26
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 36401 0 0 0 10207 19 0 0 25 0 1 0 13072728 138461184 32633 1992294400 134512640 135751879 4290186400 18446744073709551615 134605082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 33804 32633 147 303 0 33499 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135216

[startup+162.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 25075
/proc/meminfo: memFree=1632224/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=135216 CPUtime=162.2
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 36401 0 0 0 16171 49 0 0 25 0 1 0 13072728 138461184 32633 1992294400 134512640 135751879 4290186400 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 33804 32633 147 303 0 33499 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 135216

[startup+222.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 25077
/proc/meminfo: memFree=1641772/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=123528 CPUtime=222.18
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 48286 0 0 0 22139 79 0 0 25 0 1 0 13072728 126492672 30216 1992294400 134512640 135751879 4290186400 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30882 30216 151 303 0 30577 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 123528

[startup+282.302 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 25078
/proc/meminfo: memFree=1641772/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=123528 CPUtime=282.15
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49185 0 0 0 28114 101 0 0 25 0 1 0 13072728 126492672 30218 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30882 30218 151 303 0 30577 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 123528

[startup+342.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 25080
/proc/meminfo: memFree=1641648/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=123528 CPUtime=342.13
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49636 0 0 0 34091 122 0 0 25 0 1 0 13072728 126492672 30219 1992294400 134512640 135751879 4290186400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30882 30219 151 303 0 30577 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 123528

[startup+402.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 25082
/proc/meminfo: memFree=1641648/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=123528 CPUtime=402.12
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49636 0 0 0 40071 141 0 0 25 0 1 0 13072728 126492672 30219 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30882 30219 151 303 0 30577 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 123528

[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 25083
/proc/meminfo: memFree=1641648/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=123528 CPUtime=462.1
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49636 0 0 0 46056 154 0 0 25 0 1 0 13072728 126492672 30219 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30882 30219 151 303 0 30577 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 123528

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25085
/proc/meminfo: memFree=1642640/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=121908 CPUtime=522.08
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49810 0 0 0 52039 169 0 0 25 0 1 0 13072728 124833792 29942 1992294400 134512640 135751879 4290186400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30477 29942 151 303 0 30172 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 121908

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 25086
/proc/meminfo: memFree=1642640/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=121908 CPUtime=582.07
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49810 0 0 0 58022 185 0 0 25 0 1 0 13072728 124833792 29942 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30477 29942 151 303 0 30172 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 121908

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 25088
/proc/meminfo: memFree=1642640/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=121908 CPUtime=642.05
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 49810 0 0 0 64006 199 0 0 25 0 1 0 13072728 124833792 29942 1992294400 134512640 135751879 4290186400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 30477 29942 151 303 0 30172 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 121908

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25094
/proc/meminfo: memFree=1633216/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=133056 CPUtime=881.97
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 52420 0 0 0 87937 260 0 0 25 0 1 0 13072728 136249344 32390 1992294400 134512640 135751879 4290186400 18446744073709551615 134616465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 33264 32390 151 303 0 32959 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 133056

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25096
/proc/meminfo: memFree=1627016/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=139424 CPUtime=941.95
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 53950 0 0 0 93920 275 0 0 25 0 1 0 13072728 142770176 33920 1992294400 134512640 135751879 4290186400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 34856 33920 151 303 0 34551 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 139424

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25098
/proc/meminfo: memFree=1621436/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=144704 CPUtime=1001.94
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 55315 0 0 0 99905 289 0 0 25 0 1 0 13072728 148176896 35285 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 36176 35285 151 303 0 35871 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 144704

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25099
/proc/meminfo: memFree=1608292/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=157808 CPUtime=1061.91
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 59685 0 0 0 105884 307 0 0 25 0 1 0 13072728 161595392 38465 1992294400 134512640 135751879 4290186400 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 39452 38465 151 303 0 39147 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 157808

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25101
/proc/meminfo: memFree=1607176/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=159140 CPUtime=1121.89
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 60052 0 0 0 111866 323 0 0 25 0 1 0 13072728 162959360 38832 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 39785 38832 151 303 0 39480 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 159140

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25102
/proc/meminfo: memFree=1600480/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=165892 CPUtime=1181.87
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 61720 0 0 0 117849 338 0 0 25 0 1 0 13072728 169873408 40500 1992294400 134512640 135751879 4290186400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 41473 40500 151 303 0 41168 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 165892

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25104
/proc/meminfo: memFree=1594280/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=171980 CPUtime=1241.86
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 63231 0 0 0 123833 353 0 0 25 0 1 0 13072728 176107520 42011 1992294400 134512640 135751879 4290186400 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 42995 42011 151 303 0 42690 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 171980

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25106
/proc/meminfo: memFree=1589320/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=176884 CPUtime=1301.84
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 64410 0 0 0 129818 366 0 0 25 0 1 0 13072728 181129216 43190 1992294400 134512640 135751879 4290186400 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 44221 43190 151 303 0 43916 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 176884

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25107
/proc/meminfo: memFree=1584608/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=181504 CPUtime=1361.81
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 65605 0 0 0 135801 380 0 0 25 0 1 0 13072728 185860096 44385 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 45376 44385 151 303 0 45071 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 181504

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25109
/proc/meminfo: memFree=1580020/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=185984 CPUtime=1421.8
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 66736 0 0 0 141790 390 0 0 25 0 1 0 13072728 190447616 45516 1992294400 134512640 135751879 4290186400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 46496 45516 151 303 0 46191 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 185984

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25119
/proc/meminfo: memFree=1575804/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=190072 CPUtime=1481.76
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 67771 0 0 0 147775 401 0 0 25 0 1 0 13072728 194633728 46551 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 47518 46551 151 303 0 47213 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 190072

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25121
/proc/meminfo: memFree=1571960/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=194404 CPUtime=1541.74
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 68735 0 0 0 153761 413 0 0 25 0 1 0 13072728 199069696 47515 1992294400 134512640 135751879 4290186400 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 48601 47515 151 303 0 48296 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 194404

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25123
/proc/meminfo: memFree=1568240/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=198004 CPUtime=1601.73
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 69666 0 0 0 159751 422 0 0 25 0 1 0 13072728 202756096 48446 1992294400 134512640 135751879 4290186400 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 49501 48446 151 303 0 49196 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 198004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25124
/proc/meminfo: memFree=1564520/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=201700 CPUtime=1661.71
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 70582 0 0 0 165740 431 0 0 25 0 1 0 13072728 206540800 49362 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 50425 49362 151 303 0 50120 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 201700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25126
/proc/meminfo: memFree=1560924/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=205252 CPUtime=1721.69
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 71467 0 0 0 171729 440 0 0 25 0 1 0 13072728 210178048 50247 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 51313 50247 151 303 0 51008 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 205252

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25127
/proc/meminfo: memFree=1556956/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=208948 CPUtime=1781.67
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 72414 0 0 0 177716 451 0 0 25 0 1 0 13072728 213962752 51194 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 52237 51194 151 303 0 51932 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 208948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25128
/proc/meminfo: memFree=1555964/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=210056 CPUtime=1800.08
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 72676 0 0 0 179554 454 0 0 25 0 1 0 13072728 215097344 51456 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 52514 51456 151 303 0 52209 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 210056

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25128
/proc/meminfo: memFree=1555964/2059040 swapFree=4164936/4192956
[pid=25070] ppid=25068 vsize=210056 CPUtime=1800.08
/proc/25070/stat : 25070 (wbo1.4b) R 25068 25070 24931 0 -1 4202496 72676 0 0 0 179554 454 0 0 25 0 1 0 13072728 215097344 51456 1992294400 134512640 135751879 4290186400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25070/statm: 52514 51456 151 303 0 52209 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 210056

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.12
CPU user time (s): 1795.55
CPU system time (s): 4.57131
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 210056

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

runsolver used 2.90556 second user time and 8.62169 second system time

The end

Launcher Data 

Begin job on node017 at 2010-07-06 22:36:44
IDJOB=2687139
IDBENCH=77448
IDSOLVER=1161
FILE ID=node017/2687139-1278448603
PBS_JOBID= 11233507
Free space on /tmp= 62468 MiB

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

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

MD5SUM BENCH= 16624ad16b07842a63cd0d52e04da495
RANDOM SEED=1110471965

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1764076 kB
Buffers:         19312 kB
Cached:         166832 kB
SwapCached:       1476 kB
Active:         136000 kB
Inactive:        84356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1764076 kB
SwapTotal:     4192956 kB
SwapFree:      4164936 kB
Dirty:           10524 kB
Writeback:           8 kB
AnonPages:       32812 kB
Mapped:          13584 kB
Slab:            52700 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687139-1278448603.opb

Free space on /tmp at the end= 62464 MiB
End job on node017 at 2010-07-06 23:06:46