Trace number 2686905

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.53

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_2.std.opb
MD5SUMcccd345daea74d5d7e187f797768ed88
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark265
Best CPU time to get the best result obtained on this benchmark1800.18
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 constraints234174
Number of constraints which are clauses232974
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-2686905-1278443782.opb.
0.00/0.00	c Instance file HOME/instance-2686905-1278443782.opb
0.00/0.00	c File size is 8035186 bytes.
1.69/1.70	c Highest Coefficient sum: 720
1.69/1.70	c ============================[ Problem Statistics ]=============================
1.69/1.70	c |                                                                             |
1.69/1.70	c |  Parsing time:          1.67         s                                      |
1.69/1.70	c |  Number Variables:      72842                                               |
1.69/1.70	c |  Number Clauses:        232974                                              |
1.69/1.70	c |  Number Cardinality:    0                                                   |
1.69/1.70	c |  Number PB Constraints: 1200                                                |
95.46/95.50	c ============================[ Search Statistics ]==============================
95.46/95.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.46/95.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.46/95.50	c ===============================================================================
95.46/95.50	c |         0 |   55073   235560   548548 |    78058        0    nan |  0.000 % |
95.46/95.59	c |       101 |   55073   235560   548548 |    85863      101     19 | 24.394 % |
95.57/95.70	c |       251 |   55073   235560   548548 |    94450      251     30 | 24.394 % |
95.76/95.86	c |       476 |   55073   235560   548548 |   103895      476     29 | 24.394 % |
95.86/96.00	c ===============================================================================
95.86/96.00	c New solution: 300
95.86/96.00	o 300
95.86/96.00	c Elapsed CPU time: 95.8264 s	Remaining CPU time: 84.1736 s
95.86/96.00	c ===============================================================================
95.86/96.00	c |       634 |   55073   235561   548848 |    78520      634     26 | 24.394 % |
96.06/96.10	c |       734 |   54952   235561   548848 |    86372      733     27 | 24.560 % |
96.16/96.20	c |       884 |   54952   235561   548848 |    95009      883     26 | 24.560 % |
96.16/96.29	c ===============================================================================
96.16/96.29	c New solution: 299
96.16/96.29	o 299
96.16/96.29	c Elapsed CPU time: 96.1154 s	Remaining CPU time: 83.8846 s
96.16/96.29	c ===============================================================================
96.16/96.29	c |       935 |   54952   235562   549148 |    78520      934     25 | 24.560 % |
96.26/96.37	c |      1036 |   54932   235562   549148 |    86372     1035     26 | 24.741 % |
96.46/96.52	c |      1186 |   54820   235562   549148 |    95010     1182     25 | 24.741 % |
96.56/96.67	c |      1411 |   54820   235562   549148 |   104511     1407     25 | 24.741 % |
96.86/96.95	c |      1749 |   54820   235562   549148 |   114962     1745     27 | 24.741 % |
97.26/97.33	c |      2255 |   54820   235562   549148 |   126458     2251     26 | 24.741 % |
97.66/97.79	c |      3014 |   54820   235562   549148 |   139104     3010     26 | 24.741 % |
98.66/98.76	c |      4154 |   54820   235562   549148 |   153014     4150     31 | 24.741 % |
99.36/99.49	c ===============================================================================
99.36/99.49	c New solution: 298
99.36/99.49	o 298
99.36/99.49	c Elapsed CPU time: 99.3069 s	Remaining CPU time: 80.6931 s
99.36/99.49	c ===============================================================================
99.36/99.49	c |      5062 |   54820   235563   549448 |    78521     5058     32 | 24.741 % |
99.46/99.60	c ===============================================================================
99.46/99.60	c New solution: 297
99.46/99.60	o 297
99.46/99.60	c Elapsed CPU time: 99.4119 s	Remaining CPU time: 80.5881 s
99.46/99.60	c ===============================================================================
99.46/99.60	c |      5113 |   54677   235564   549748 |    78521     5071     32 | 24.741 % |
99.56/99.67	c |      5213 |   54641   235564   549748 |    86373     5171     32 | 25.152 % |
99.76/99.83	c |      5363 |   54641   235564   549748 |    95010     5321     32 | 25.152 % |
99.96/100.02	c |      5589 |   54638   235564   549748 |   104511     5547     32 | 25.152 % |
100.26/100.33	c |      5927 |   54521   235564   549748 |   114963     5781     32 | 25.152 % |
100.46/100.60	c |      6433 |   54521   235564   549748 |   126459     6287     32 | 25.152 % |
101.16/101.21	c |      7192 |   54521   235564   549748 |   139105     7046     31 | 25.152 % |
101.86/101.98	c |      8332 |   54521   235564   549748 |   153015     8186     33 | 25.152 % |
103.56/103.66	c |     10041 |   54521   235564   549748 |   168317     9895     36 | 25.152 % |
105.96/106.04	c |     12603 |   54521   235564   549748 |   185149    12457     35 | 25.152 % |
106.06/106.13	c ===============================================================================
106.06/106.13	c New solution: 296
106.06/106.13	o 296
106.06/106.13	c Elapsed CPU time: 105.928 s	Remaining CPU time: 74.0721 s
106.06/106.13	c ===============================================================================
106.06/106.13	c |     12650 |   54521   235565   550048 |    78521    12504     34 | 25.152 % |
106.16/106.24	c |     12751 |   54356   235565   550048 |    86373    12214     34 | 25.378 % |
106.25/106.38	c |     12902 |   54356   235565   550048 |    95011    12365     34 | 25.378 % |
106.45/106.53	c |     13127 |   54356   235565   550048 |   104512    12590     34 | 25.378 % |
106.67/106.79	c |     13464 |   54356   235565   550048 |   114963    12927     34 | 25.378 % |
107.36/107.41	c |     13970 |   54356   235565   550048 |   126459    13433     34 | 25.378 % |
107.76/107.82	c |     14729 |   54356   235565   550048 |   139105    14192     34 | 25.378 % |
108.65/108.73	c |     15868 |   54356   235565   550048 |   153016    15331     34 | 25.378 % |
110.45/110.50	c |     17577 |   54356   235565   550048 |   168318    17040     35 | 25.378 % |
111.36/111.40	c ===============================================================================
111.36/111.40	c New solution: 295
111.36/111.40	o 295
111.36/111.40	c Elapsed CPU time: 111.171 s	Remaining CPU time: 68.8289 s
111.36/111.40	c ===============================================================================
111.36/111.40	c |     19070 |   54356   235566   550348 |    78522    18533     35 | 25.378 % |
111.46/111.55	c |     19171 |   54179   235566   550348 |    86374    18212     35 | 25.621 % |
111.56/111.70	c |     19321 |   54179   235566   550348 |    95011    18362     35 | 25.621 % |
111.76/111.85	c |     19547 |   54179   235566   550348 |   104512    18588     35 | 25.621 % |
111.95/112.03	c |     19884 |   54179   235566   550348 |   114964    18925     35 | 25.621 % |
112.36/112.40	c |     20392 |   54178   235566   550348 |   126460    19433     35 | 25.708 % |
112.86/112.94	c |     21151 |   54116   235566   550348 |   139106    20191     35 | 25.708 % |
114.15/114.21	c |     22294 |   54116   235566   550348 |   153017    21334     36 | 25.708 % |
114.26/114.32	c ===============================================================================
114.26/114.32	c New solution: 294
114.26/114.32	o 294
114.26/114.32	c Elapsed CPU time: 114.073 s	Remaining CPU time: 65.9273 s
114.26/114.32	c ===============================================================================
114.26/114.32	c |     22366 |   54116   235567   550648 |    78522    21406     36 | 25.708 % |
114.36/114.43	c |     22466 |   53936   235567   550648 |    86374    20688     36 | 25.955 % |
114.45/114.59	c |     22616 |   53936   235567   550648 |    95012    20838     35 | 25.955 % |
114.65/114.77	c |     22841 |   53936   235567   550648 |   104513    21063     35 | 25.955 % |
114.85/114.97	c |     23178 |   53936   235567   550648 |   114964    21400     35 | 25.955 % |
115.26/115.30	c ===============================================================================
115.26/115.30	c New solution: 293
115.26/115.30	o 293
115.26/115.30	c Elapsed CPU time: 115.051 s	Remaining CPU time: 64.9495 s
115.26/115.30	c ===============================================================================
115.26/115.30	c |     23661 |   53936   235568   550948 |    78522    21883     35 | 25.955 % |
115.37/115.48	c |     23761 |   53741   235568   550948 |    86374    21061     35 | 26.223 % |
115.56/115.62	c |     23911 |   53741   235568   550948 |    95012    21211     35 | 26.223 % |
115.66/115.79	c |     24136 |   53741   235568   550948 |   104513    21436     35 | 26.223 % |
116.06/116.10	c |     24474 |   53739   235568   550948 |   114965    21774     34 | 26.244 % |
116.36/116.47	c |     24980 |   53739   235568   550948 |   126461    22280     34 | 26.245 % |
117.15/117.24	c |     25739 |   53725   235568   550948 |   139107    23037     34 | 26.244 % |
117.25/117.38	c ===============================================================================
117.25/117.38	c New solution: 292
117.25/117.38	o 292
117.25/117.38	c Elapsed CPU time: 117.119 s	Remaining CPU time: 62.8808 s
117.25/117.38	c ===============================================================================
117.25/117.38	c |     25811 |   53725   235569   551248 |    78523    23109     34 | 26.244 % |
117.35/117.49	c |     25911 |   53723   235569   551248 |    86375    23209     34 | 26.531 % |
117.56/117.62	c |     26062 |   53516   235569   551248 |    95012    21873     34 | 26.531 % |
117.75/117.82	c |     26287 |   53516   235569   551248 |   104514    22098     34 | 26.531 % |
117.95/118.05	c |     26625 |   53516   235569   551248 |   114965    22436     34 | 26.531 % |
118.15/118.20	c ===============================================================================
118.15/118.20	c New solution: 291
118.15/118.20	o 291
118.15/118.20	c Elapsed CPU time: 117.942 s	Remaining CPU time: 62.0579 s
118.15/118.20	c ===============================================================================
118.15/118.20	c |     26749 |   53516   235570   551548 |    78523    22560     34 | 26.531 % |
118.25/118.30	c |     26850 |   53515   235570   551548 |    86375    22661     34 | 26.833 % |
118.35/118.43	c |     27000 |   53473   235570   551548 |    95013    22811     34 | 26.833 % |
118.55/118.65	c |     27226 |   53473   235570   551548 |   104514    23037     34 | 26.833 % |
118.86/118.93	c |     27563 |   53296   235570   551548 |   114966    22463     33 | 26.833 % |
119.16/119.26	c |     28069 |   53296   235570   551548 |   126462    22969     33 | 26.833 % |
119.76/119.80	c |     28829 |   53296   235570   551548 |   139108    23729     34 | 26.833 % |
119.86/119.91	c ===============================================================================
119.86/119.91	c New solution: 290
119.86/119.91	o 290
119.86/119.91	c Elapsed CPU time: 119.641 s	Remaining CPU time: 60.3592 s
119.86/119.91	c ===============================================================================
119.86/119.91	c |     28870 |   53296   235571   551848 |    78523    23770     33 | 26.833 % |
119.95/120.06	c |     28971 |   53062   235571   551848 |    86376    22825     33 | 27.155 % |
120.05/120.17	c |     29122 |   53062   235571   551848 |    95013    22976     33 | 27.155 % |
120.36/120.43	c |     29347 |   53062   235571   551848 |   104515    23201     32 | 27.155 % |
120.66/120.77	c |     29686 |   53062   235571   551848 |   114966    23540     33 | 27.155 % |
121.25/121.36	c |     30193 |   53062   235571   551848 |   126463    24047     33 | 27.155 % |
121.45/121.50	c ===============================================================================
121.45/121.50	c New solution: 289
121.45/121.50	o 289
121.45/121.50	c Elapsed CPU time: 121.224 s	Remaining CPU time: 58.7764 s
121.45/121.50	c ===============================================================================
121.45/121.50	c |     30270 |   53062   235572   552148 |    78524    24124     33 | 27.155 % |
121.55/121.63	c ===============================================================================
121.55/121.63	c New solution: 288
121.55/121.63	o 288
121.55/121.63	c Elapsed CPU time: 121.348 s	Remaining CPU time: 58.6524 s
121.55/121.63	c ===============================================================================
121.55/121.63	c |     30312 |   52828   235573   552448 |    78524    23297     32 | 27.155 % |
121.65/121.74	c |     30413 |   52808   235573   552448 |    86376    23398     32 | 27.797 % |
121.75/121.89	c |     30563 |   52804   235573   552448 |    95014    23548     32 | 27.797 % |
121.96/122.07	c |     30788 |   52781   235573   552448 |   104515    23773     32 | 27.797 % |
122.25/122.32	c |     31125 |   52781   235573   552448 |   114967    24110     32 | 27.797 % |
122.66/122.73	c |     31631 |   52740   235573   552448 |   126464    24616     32 | 27.797 % |
123.26/123.36	c |     32390 |   52594   235573   552448 |   139110    24759     32 | 27.797 % |
123.96/124.05	c |     33529 |   52594   235573   552448 |   153021    25898     32 | 27.797 % |
125.36/125.49	c |     35238 |   52594   235573   552448 |   168323    27607     32 | 27.797 % |
127.56/127.65	c |     37801 |   52594   235573   552448 |   185156    30170     32 | 27.797 % |
127.66/127.73	c ===============================================================================
127.66/127.73	c New solution: 287
127.66/127.73	o 287
127.66/127.73	c Elapsed CPU time: 127.424 s	Remaining CPU time: 52.5764 s
127.66/127.73	c ===============================================================================
127.66/127.73	c |     37822 |   52594   235574   552748 |    78524    30191     32 | 27.797 % |
127.76/127.85	c |     37922 |   52360   235574   552748 |    86377    29288     32 | 28.118 % |
128.05/128.11	c |     38072 |   52360   235574   552748 |    95014    29438     32 | 28.118 % |
128.15/128.29	c |     38297 |   52360   235574   552748 |   104516    29663     32 | 28.118 % |
128.45/128.55	c |     38634 |   52360   235574   552748 |   114967    30000     32 | 28.118 % |
128.95/129.04	c |     39140 |   52360   235574   552748 |   126464    30506     32 | 28.118 % |
129.15/129.27	c ===============================================================================
129.15/129.27	c New solution: 286
129.15/129.27	o 286
129.15/129.27	c Elapsed CPU time: 128.965 s	Remaining CPU time: 51.0346 s
129.15/129.27	c ===============================================================================
129.15/129.27	c |     39460 |   52360   235575   553048 |    78525    30826     32 | 28.118 % |
129.35/129.40	c |     39560 |   52124   235575   553048 |    86377    30146     32 | 28.442 % |
129.45/129.58	c |     39710 |   52124   235575   553048 |    95015    30296     32 | 28.442 % |
129.66/129.71	c |     39936 |   52124   235575   553048 |   104516    30522     32 | 28.442 % |
129.85/129.91	c |     40273 |   52124   235575   553048 |   114968    30859     32 | 28.442 % |
130.25/130.30	c |     40779 |   52124   235575   553048 |   126465    31365     32 | 28.442 % |
130.76/130.87	c |     41539 |   52124   235575   553048 |   139111    32125     32 | 28.442 % |
131.86/132.00	c |     42678 |   52124   235575   553048 |   153023    33264     32 | 28.442 % |
132.65/132.79	c |     44386 |   52124   235575   553048 |   168325    34972     32 | 28.442 % |
134.65/134.78	c |     46948 |   52124   235575   553048 |   185157    37534     32 | 28.442 % |
138.45/138.57	c |     50792 |   52124   235575   553048 |   203673    41378     34 | 28.442 % |
139.66/139.77	c ===============================================================================
139.66/139.77	c New solution: 285
139.66/139.77	o 285
139.66/139.77	c Elapsed CPU time: 139.422 s	Remaining CPU time: 40.5782 s
139.66/139.77	c ===============================================================================
139.66/139.77	c |     52647 |   52124   235576   553348 |    78525    43233     34 | 28.442 % |
139.85/139.98	c |     52747 |   51888   235576   553348 |    86377    41165     32 | 28.766 % |
140.05/140.11	c |     52899 |   51888   235576   553348 |    95015    41317     32 | 28.766 % |
140.15/140.27	c |     53126 |   51888   235576   553348 |   104517    41544     32 | 28.766 % |
140.55/140.62	c |     53463 |   51888   235576   553348 |   114968    41881     32 | 28.766 % |
140.85/140.91	c |     53971 |   51888   235576   553348 |   126465    42389     32 | 28.766 % |
141.35/141.45	c |     54731 |   51888   235576   553348 |   139112    43149     32 | 28.766 % |
142.55/142.65	c |     55871 |   51888   235576   553348 |   153023    44289     32 | 28.766 % |
143.65/143.70	c |     57580 |   51888   235576   553348 |   168326    45998     33 | 28.766 % |
146.05/146.11	c |     60142 |   51888   235576   553348 |   185158    48560     33 | 28.766 % |
146.34/146.42	c ===============================================================================
146.34/146.42	c New solution: 284
146.34/146.42	o 284
146.34/146.42	c Elapsed CPU time: 146.031 s	Remaining CPU time: 33.9692 s
146.34/146.42	c ===============================================================================
146.34/146.42	c |     60482 |   51888   235577   553648 |    78525    48900     33 | 28.766 % |
146.44/146.57	c |     60583 |   51652   235577   553648 |    86378    47321     33 | 29.090 % |
146.64/146.71	c |     60733 |   51652   235577   553648 |    95016    47471     33 | 29.090 % |
146.84/146.91	c |     60958 |   51652   235577   553648 |   104517    47696     32 | 29.090 % |
147.05/147.17	c |     61295 |   51652   235577   553648 |   114969    48033     32 | 29.090 % |
147.65/147.71	c |     61801 |   51652   235577   553648 |   126466    48539     32 | 29.090 % |
148.46/148.56	c |     62560 |   51652   235577   553648 |   139113    49298     32 | 29.090 % |
149.45/149.57	c |     63701 |   51652   235577   553648 |   153024    50439     32 | 29.090 % |
149.55/149.66	c ===============================================================================
149.55/149.66	c New solution: 283
149.55/149.66	o 283
149.55/149.66	c Elapsed CPU time: 149.263 s	Remaining CPU time: 30.7367 s
149.55/149.66	c ===============================================================================
149.55/149.66	c |     63737 |   51652   235578   553948 |    78526    50475     32 | 29.090 % |
149.74/149.81	c |     63839 |   51410   235578   553948 |    86378    49089     32 | 29.423 % |
149.85/149.98	c |     63989 |   51410   235578   553948 |    95016    49239     32 | 29.423 % |
150.05/150.18	c |     64215 |   51410   235578   553948 |   104518    49465     32 | 29.423 % |
150.25/150.38	c |     64553 |   51410   235578   553948 |   114969    49803     32 | 29.423 % |
150.85/150.90	c |     65062 |   51410   235578   553948 |   126466    50312     32 | 29.423 % |
151.45/151.53	c |     65822 |   51410   235578   553948 |   139113    51072     32 | 29.423 % |
152.45/152.60	c |     66961 |   51410   235578   553948 |   153024    52211     32 | 29.423 % |
153.15/153.24	c ===============================================================================
153.15/153.24	c New solution: 282
153.15/153.24	o 282
153.15/153.24	c Elapsed CPU time: 152.819 s	Remaining CPU time: 27.1812 s
153.15/153.24	c ===============================================================================
153.15/153.24	c |     68420 |   51410   235579   554248 |    78526    53670     32 | 29.423 % |
153.35/153.46	c |     68521 |   51168   235579   554248 |    86378    52359     32 | 29.755 % |
153.55/153.61	c |     68672 |   51168   235579   554248 |    95016    52510     32 | 29.755 % |
153.65/153.79	c |     68897 |   51168   235579   554248 |   104518    52735     32 | 29.755 % |
153.85/154.00	c |     69236 |   51168   235579   554248 |   114970    53074     32 | 29.755 % |
154.45/154.51	c |     69742 |   51167   235579   554248 |   126467    53580     32 | 29.834 % |
154.55/154.62	c ===============================================================================
154.55/154.62	c New solution: 281
154.55/154.62	o 281
154.55/154.62	c Elapsed CPU time: 154.185 s	Remaining CPU time: 25.8154 s
154.55/154.62	c ===============================================================================
154.55/154.62	c |     69805 |   51110   235580   554548 |    78526    53643     32 | 29.834 % |
154.65/154.72	c |     69906 |   51093   235580   554548 |    86379    53744     32 | 30.147 % |
154.85/154.90	c |     70056 |   51092   235580   554548 |    95017    53894     32 | 30.147 % |
155.05/155.13	c |     70281 |   51083   235580   554548 |   104518    54119     32 | 30.147 % |
155.45/155.51	c |     70618 |   50881   235580   554548 |   114970    53361     32 | 30.180 % |
155.64/155.77	c |     71125 |   50881   235580   554548 |   126467    53868     32 | 30.180 % |
156.06/156.17	c |     71886 |   50881   235580   554548 |   139114    54629     32 | 30.180 % |
157.05/157.12	c |     73025 |   50881   235580   554548 |   153026    55768     32 | 30.180 % |
158.75/158.85	c |     74733 |   50858   235580   554548 |   168328    57475     32 | 30.180 % |
159.15/159.28	c ===============================================================================
159.15/159.28	c New solution: 280
159.15/159.28	o 280
159.15/159.28	c Elapsed CPU time: 158.828 s	Remaining CPU time: 21.1721 s
159.15/159.28	c ===============================================================================
159.15/159.28	c |     75101 |   50858   235581   554848 |    78527    57843     32 | 30.180 % |
159.35/159.44	c |     75203 |   50636   235581   554848 |    86379    56408     32 | 30.485 % |
159.45/159.57	c ===============================================================================
159.45/159.57	c New solution: 279
159.45/159.57	o 279
159.45/159.57	c Elapsed CPU time: 159.113 s	Remaining CPU time: 20.8872 s
159.45/159.57	c ===============================================================================
159.45/159.57	c |     75269 |   50636   235582   555148 |    78527    56474     32 | 30.485 % |
159.55/159.69	c |     75369 |   50630   235582   555148 |    86380    56574     32 | 30.795 % |
159.74/159.87	c |     75519 |   50629   235582   555148 |    95018    56724     32 | 30.795 % |
160.04/160.10	c |     75744 |   50579   235582   555148 |   104519    56949     32 | 30.795 % |
160.45/160.52	c |     76082 |   50579   235582   555148 |   114971    57287     32 | 30.795 % |
160.84/160.93	c |     76589 |   50576   235582   555148 |   126469    57794     32 | 30.795 % |
161.24/161.38	c |     77350 |   50565   235582   555148 |   139115    58555     32 | 30.795 % |
161.95/162.01	c |     78489 |   50410   235582   555148 |   153027    57981     32 | 30.795 % |
163.75/163.85	c |     80197 |   50410   235582   555148 |   168330    59689     32 | 30.795 % |
163.95/164.07	c ===============================================================================
163.95/164.07	c New solution: 278
163.95/164.07	o 278
163.95/164.07	c Elapsed CPU time: 163.597 s	Remaining CPU time: 16.4029 s
163.95/164.07	c ===============================================================================
163.95/164.07	c |     80435 |   50410   235583   555448 |    78527    59927     32 | 30.795 % |
164.15/164.24	c |     80535 |   50118   235583   555448 |    86380    57959     32 | 31.196 % |
164.35/164.40	c |     80686 |   50118   235583   555448 |    95018    58110     32 | 31.196 % |
164.54/164.64	c |     80911 |   50118   235583   555448 |   104520    58335     32 | 31.196 % |
164.95/165.06	c |     81248 |   50118   235583   555448 |   114972    58672     32 | 31.196 % |
165.14/165.28	c |     81755 |   50118   235583   555448 |   126469    59179     32 | 31.196 % |
165.75/165.83	c |     82514 |   50118   235583   555448 |   139116    59938     32 | 31.196 % |
166.94/167.01	c |     83654 |   50118   235583   555448 |   153028    61078     33 | 31.196 % |
168.05/168.18	c |     85363 |   50118   235583   555448 |   168331    62787     33 | 31.196 % |
170.74/170.87	c |     87925 |   50118   235583   555448 |   185164    65349     33 | 31.196 % |
174.55/174.67	c |     91770 |   50118   235583   555448 |   203680    69194     34 | 31.196 % |
174.85/174.93	c ===============================================================================
174.85/174.93	c New solution: 277
174.85/174.93	o 277
174.85/174.93	c Elapsed CPU time: 174.407 s	Remaining CPU time: 5.59251 s
174.85/174.93	c ===============================================================================
174.85/174.93	c |     92209 |   50118   235584   555748 |    78528    69633     34 | 31.196 % |
174.95/175.09	c |     92309 |   49900   235584   555748 |    86380    68324     34 | 31.496 % |
175.15/175.24	c |     92459 |   49900   235584   555748 |    95018    68474     34 | 31.496 % |
175.35/175.47	c |     92684 |   49900   235584   555748 |   104520    68699     34 | 31.496 % |
175.54/175.68	c |     93022 |   49900   235584   555748 |   114972    69037     34 | 31.496 % |
175.95/176.06	c |     93529 |   49900   235584   555748 |   126470    69544     34 | 31.496 % |
176.74/176.86	c |     94288 |   49900   235584   555748 |   139117    70303     34 | 31.496 % |
177.14/177.29	c |     95428 |   49900   235584   555748 |   153028    71443     34 | 31.496 % |
178.34/178.41	c |     97136 |   49900   235584   555748 |   168331    73151     34 | 31.496 % |
180.44/180.55	c There are 22942 assigned variables. 108 in cost function.
183.84/183.98	c core #1
183.84/183.98	c core #2
183.84/183.98	c core #3
183.84/183.98	c core #4
183.84/183.98	c core #5
183.84/183.98	c core #6
183.84/183.98	c core #7
183.84/183.98	c core #8
183.84/183.98	c core #9
183.84/183.98	c core #10
183.84/183.98	c core #11
183.84/183.98	c ============================[ Search Statistics ]==============================
183.84/183.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.84/183.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.84/183.98	c ===============================================================================
183.84/183.98	c |         0 |    8214   179626   366267 |    59875        0    nan |  0.000 % |
183.84/183.99	c ===============================================================================
184.14/184.29	c core #12
184.14/184.29	c ============================[ Search Statistics ]==============================
184.14/184.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.14/184.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.14/184.29	c ===============================================================================
184.14/184.29	c |         0 |    8637   179807   366956 |    59935        0    nan |  0.000 % |
184.24/184.32	c ===============================================================================
184.54/184.60	c core #13
184.54/184.60	c ============================[ Search Statistics ]==============================
184.54/184.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.60	c ===============================================================================
184.54/184.60	c |         0 |    9059   179987   367646 |    59995        0    nan |  0.000 % |
184.54/184.61	c ===============================================================================
184.84/184.92	c core #14
184.84/184.92	c ============================[ Search Statistics ]==============================
184.84/184.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.84/184.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.84/184.92	c ===============================================================================
184.84/184.92	c |         0 |    9480   180166   368337 |    60055        0    nan |  0.000 % |
184.84/184.95	c ===============================================================================
185.14/185.23	c core #15
185.14/185.23	c ============================[ Search Statistics ]==============================
185.14/185.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.14/185.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.14/185.24	c ===============================================================================
185.14/185.24	c |         0 |    9885   180345   369029 |    60115        0    nan |  0.000 % |
185.14/185.25	c ===============================================================================
185.44/185.56	c core #16
185.44/185.56	c ============================[ Search Statistics ]==============================
185.44/185.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.44/185.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.44/185.56	c ===============================================================================
185.44/185.56	c |         0 |   10304   180523   369725 |    60174        0    nan |  0.000 % |
185.54/185.60	c ===============================================================================
185.74/185.90	c core #17
185.74/185.90	c ============================[ Search Statistics ]==============================
185.74/185.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.74/185.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.74/185.90	c ===============================================================================
185.74/185.90	c |         0 |   10722   180699   370419 |    60233        0    nan |  0.000 % |
185.84/185.92	c ===============================================================================
186.14/186.23	c core #18
186.14/186.23	c ============================[ Search Statistics ]==============================
186.14/186.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.23	c ===============================================================================
186.14/186.23	c |         0 |   11136   180876   371117 |    60292        0    nan |  0.000 % |
186.14/186.28	c ===============================================================================
186.44/186.57	c core #19
186.44/186.57	c ============================[ Search Statistics ]==============================
186.44/186.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.44/186.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.44/186.57	c ===============================================================================
186.44/186.57	c |         0 |   11570   181052   371823 |    60350        0    nan |  0.000 % |
186.54/186.62	c ===============================================================================
186.84/186.93	c core #20
186.84/186.93	c ============================[ Search Statistics ]==============================
186.84/186.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.84/186.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.84/186.93	c ===============================================================================
186.84/186.93	c |         0 |   11965   181226   372520 |    60408        0    nan |  0.000 % |
186.94/187.03	c |       104 |   11956   181226   372520 |    66449      104     16 | 85.889 % |
186.94/187.05	c ===============================================================================
187.24/187.35	c core #21
187.24/187.35	c ============================[ Search Statistics ]==============================
187.24/187.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.24/187.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.24/187.35	c ===============================================================================
187.24/187.35	c |         0 |   12379   181400   373226 |    60466        0    nan |  0.000 % |
187.33/187.40	c ===============================================================================
187.64/187.70	c core #22
187.64/187.70	c ============================[ Search Statistics ]==============================
187.64/187.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.64/187.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.64/187.70	c ===============================================================================
187.64/187.70	c |         0 |   12792   181572   373930 |    60524        0    nan |  0.000 % |
187.64/187.79	c |       101 |   12792   181572   373930 |    66576      101     14 | 83.352 % |
187.74/187.84	c ===============================================================================
188.05/188.14	c core #23
188.05/188.14	c ============================[ Search Statistics ]==============================
188.05/188.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.05/188.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.05/188.14	c ===============================================================================
188.05/188.14	c |         0 |   13204   181744   374636 |    60581        0    nan |  0.000 % |
188.14/188.22	c |       102 |   13204   181744   374636 |    66639      102     16 | 82.853 % |
188.24/188.35	c ===============================================================================
188.54/188.67	c core #24
188.54/188.67	c ============================[ Search Statistics ]==============================
188.54/188.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.54/188.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.54/188.67	c ===============================================================================
188.54/188.67	c |         0 |   13615   181917   375349 |    60639        0    nan |  0.000 % |
188.64/188.77	c |       100 |   13615   181917   375349 |    66702      100     20 | 82.358 % |
188.74/188.89	c |       250 |   13615   181917   375349 |    73373      250     17 | 82.358 % |
188.84/188.98	c ===============================================================================
189.15/189.28	c core #25
189.15/189.28	c ============================[ Search Statistics ]==============================
189.15/189.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.15/189.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.15/189.28	c ===============================================================================
189.15/189.28	c |         0 |   14025   182086   376054 |    60695        0    nan |  0.000 % |
189.24/189.38	c |       100 |   14025   182086   376054 |    66764      100     15 | 81.866 % |
189.34/189.49	c |       250 |   14017   182086   376054 |    73441      250     15 | 82.022 % |
189.54/189.60	c ===============================================================================
189.84/189.91	c core #26
189.84/189.91	c ============================[ Search Statistics ]==============================
189.84/189.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.91	c ===============================================================================
189.84/189.91	c |         0 |   14434   182254   376760 |    60751        0    nan |  0.000 % |
189.84/189.99	c |       102 |   14434   182254   376760 |    66826      102     32 | 81.378 % |
190.04/190.11	c |       252 |   14433   182254   376760 |    73509      252     24 | 81.549 % |
190.15/190.29	c |       477 |   14432   182254   376760 |    80860      477     21 | 81.549 % |
190.34/190.44	c ===============================================================================
190.64/190.74	c core #27
190.64/190.74	c ============================[ Search Statistics ]==============================
190.64/190.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.64/190.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.64/190.74	c ===============================================================================
190.64/190.74	c |         0 |   14842   182428   377487 |    60809        0    nan |  0.000 % |
190.74/190.82	c |       100 |   14842   182428   377487 |    66890      100     14 | 80.892 % |
190.84/190.96	c |       250 |   14842   182428   377487 |    73579      250     16 | 80.892 % |
191.04/191.15	c |       476 |   14774   182428   377487 |    80937      470     18 | 80.980 % |
191.34/191.45	c |       813 |   14150   182428   377487 |    89030      563     15 | 81.783 % |
191.54/191.66	c ===============================================================================
191.84/191.97	c core #28
191.84/191.97	c ============================[ Search Statistics ]==============================
191.84/191.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.97	c ===============================================================================
191.84/191.97	c |         0 |   15249   182599   378208 |    60866        0    nan |  0.000 % |
191.94/192.07	c |       100 |   15249   182599   378208 |    66952      100     22 | 80.410 % |
192.14/192.23	c |       251 |   15249   182599   378208 |    73648      251     19 | 80.410 % |
192.35/192.46	c |       476 |   15249   182599   378208 |    81013      476     21 | 80.410 % |
192.54/192.70	c |       814 |   15249   182599   378208 |    89114      814     21 | 80.410 % |
193.04/193.11	c |      1320 |   15148   182599   378208 |    98025     1319     23 | 80.575 % |
193.14/193.29	c ===============================================================================
193.44/193.60	c core #29
193.44/193.60	c ============================[ Search Statistics ]==============================
193.44/193.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.44/193.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.44/193.60	c ===============================================================================
193.44/193.60	c |         0 |   15655   182773   378943 |    60924        0    nan |  0.000 % |
193.63/193.70	c |       101 |   15654   182773   378943 |    67016      101     25 | 79.947 % |
193.74/193.84	c |       251 |   15654   182773   378943 |    73718      251     21 | 79.947 % |
193.94/194.03	c |       476 |   15642   182773   378943 |    81090      475     23 | 79.947 % |
194.24/194.36	c |       813 |   15642   182773   378943 |    89199      812     23 | 79.947 % |
194.74/194.85	c |      1319 |   15642   182773   378943 |    98119     1318     24 | 79.947 % |
195.43/195.53	c |      2078 |   15642   182773   378943 |   107931     2077     26 | 79.947 % |
195.94/196.08	c ===============================================================================
196.24/196.39	c core #30
196.24/196.39	c ============================[ Search Statistics ]==============================
196.24/196.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.24/196.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.24/196.39	c ===============================================================================
196.24/196.39	c |         0 |   16060   182947   379680 |    60982        0    nan |  0.000 % |
196.44/196.51	c |       102 |   16060   182947   379680 |    67080      102     20 | 79.455 % |
196.54/196.66	c |       252 |   16060   182947   379680 |    73788      252     20 | 79.455 % |
196.74/196.81	c |       478 |   16060   182947   379680 |    81167      478     21 | 79.455 % |
197.03/197.14	c |       817 |   16060   182947   379680 |    89284      817     22 | 79.455 % |
197.44/197.58	c |      1323 |   16060   182947   379680 |    98212     1323     26 | 79.455 % |
198.24/198.31	c |      2082 |   16060   182947   379680 |   108033     2082     26 | 79.455 % |
199.33/199.41	c |      3221 |   16060   182947   379680 |   118837     3221     28 | 79.455 % |
200.44/200.55	c ===============================================================================
200.74/200.86	c core #31
200.74/200.86	c ============================[ Search Statistics ]==============================
200.74/200.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.74/200.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.74/200.86	c ===============================================================================
200.74/200.86	c |         0 |   16464   183114   380402 |    61038        0    nan |  0.000 % |
200.84/200.95	c |       100 |   16463   183114   380402 |    67141      100     16 | 79.004 % |
200.94/201.08	c |       251 |   16463   183114   380402 |    73855      251     18 | 79.004 % |
201.14/201.29	c |       478 |   16463   183114   380402 |    81241      478     21 | 79.004 % |
201.43/201.56	c |       815 |   16446   183114   380402 |    89365      814     24 | 79.004 % |
202.03/202.10	c |      1321 |   16434   183114   380402 |    98302     1272     25 | 79.020 % |
202.84/202.91	c |      2080 |   16434   183114   380402 |   108132     2031     28 | 79.020 % |
203.83/203.90	c |      3220 |   16434   183114   380402 |   118945     3171     29 | 79.020 % |
205.34/205.48	c |      4928 |   15606   183114   380402 |   130840     4181     28 | 80.077 % |
206.14/206.27	c ===============================================================================
206.43/206.58	c core #32
206.43/206.58	c ============================[ Search Statistics ]==============================
206.43/206.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.43/206.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.43/206.58	c ===============================================================================
206.43/206.58	c |         0 |   16867   183278   381120 |    61092        0    nan |  0.000 % |
206.53/206.69	c |       100 |   16867   183278   381120 |    67201      100     16 | 78.511 % |
206.74/206.81	c |       251 |   16867   183278   381120 |    73922      251     18 | 78.511 % |
206.94/207.03	c |       476 |   16864   183278   381120 |    81314      474     21 | 78.515 % |
207.24/207.31	c |       813 |   16843   183278   381120 |    89445      810     21 | 78.541 % |
207.64/207.73	c |      1321 |   16843   183278   381120 |    98390     1318     21 | 78.541 % |
208.43/208.50	c |      2080 |   16843   183278   381120 |   108229     2077     25 | 78.541 % |
209.33/209.43	c |      3219 |   16843   183278   381120 |   119052     3216     26 | 78.541 % |
211.04/211.17	c |      4928 |   16843   183278   381120 |   130957     4925     30 | 78.541 % |
213.54/213.69	c |      7490 |   15889   183278   381120 |   144053     5808     28 | 79.971 % |
214.03/214.13	c ===============================================================================
214.34/214.44	c core #33
214.34/214.44	c ============================[ Search Statistics ]==============================
214.34/214.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.34/214.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.34/214.44	c ===============================================================================
214.34/214.44	c |         0 |   17269   183461   381891 |    61153        0    nan |  0.000 % |
214.44/214.54	c |       102 |   17269   183461   381891 |    67269      102     19 | 78.044 % |
214.53/214.69	c |       254 |   17269   183461   381891 |    73995      254     22 | 78.044 % |
214.73/214.89	c |       479 |   17269   183461   381891 |    81395      479     25 | 78.044 % |
215.03/215.19	c |       816 |   17269   183461   381891 |    89535      816     23 | 78.044 % |
215.54/215.65	c |      1322 |   17266   183461   381891 |    98488     1321     25 | 78.047 % |
216.34/216.40	c |      2082 |   17266   183461   381891 |   108337     2081     27 | 78.047 % |
217.33/217.44	c |      3221 |   17266   183461   381891 |   119171     3220     26 | 78.047 % |
218.74/218.89	c |      4929 |   17266   183461   381891 |   131088     4928     27 | 78.047 % |
221.33/221.48	c |      7491 |   17150   183461   381891 |   144197     6849     27 | 78.195 % |
225.03/225.14	c ===============================================================================
225.34/225.45	c core #34
225.34/225.45	c ============================[ Search Statistics ]==============================
225.34/225.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.34/225.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.34/225.45	c ===============================================================================
225.34/225.45	c |         0 |   17670   183642   382667 |    61214        0    nan |  0.000 % |
225.43/225.55	c |       100 |   17670   183642   382667 |    67335      100     17 | 77.579 % |
225.63/225.73	c |       250 |   17670   183642   382667 |    74068      250     21 | 77.579 % |
225.83/225.93	c |       475 |   17670   183642   382667 |    81475      475     23 | 77.579 % |
226.23/226.30	c |       815 |   17670   183642   382667 |    89623      815     26 | 77.579 % |
226.63/226.70	c |      1321 |   17670   183642   382667 |    98585     1321     25 | 77.579 % |
227.13/227.29	c |      2080 |   17670   183642   382667 |   108444     2080     24 | 77.579 % |
228.33/228.40	c |      3219 |   17670   183642   382667 |   119288     3219     27 | 77.579 % |
229.93/230.01	c |      4927 |   17670   183642   382667 |   131217     4927     29 | 77.579 % |
232.13/232.24	c |      7489 |   17670   183642   382667 |   144339     7489     30 | 77.579 % |
236.03/236.17	c |     11333 |   17146   183642   382667 |   158773    10863     30 | 78.244 % |
242.62/242.70	c |     17100 |   17146   183642   382667 |   174650    16630     34 | 78.244 % |
249.63/249.72	c ===============================================================================
249.92/250.03	c core #35
249.92/250.03	c ============================[ Search Statistics ]==============================
249.92/250.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
249.92/250.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
249.92/250.03	c ===============================================================================
249.92/250.03	c |         0 |   18070   183821   383439 |    61273        0    nan |  0.000 % |
250.02/250.15	c |       100 |   18070   183821   383439 |    67401      100     19 | 77.117 % |
250.22/250.33	c |       251 |   18070   183821   383439 |    74141      251     21 | 77.117 % |
250.52/250.60	c |       476 |   18070   183821   383439 |    81555      476     25 | 77.117 % |
250.74/250.86	c |       815 |   18070   183821   383439 |    89710      815     27 | 77.117 % |
251.13/251.28	c |      1322 |   18070   183821   383439 |    98681     1322     25 | 77.117 % |
251.93/252.01	c |      2081 |   18064   183821   383439 |   108550     2078     26 | 77.125 % |
253.02/253.13	c |      3220 |   18064   183821   383439 |   119405     3217     28 | 77.125 % |
254.73/254.81	c |      4928 |   18064   183821   383439 |   131345     4925     31 | 77.125 % |
257.23/257.33	c |      7491 |   18064   183821   383439 |   144480     7488     33 | 77.125 % |
261.52/261.64	c |     11335 |   18064   183821   383439 |   158928    11332     33 | 77.125 % |
268.12/268.28	c |     17102 |   17598   183821   383439 |   174820    13565     30 | 77.715 % |
279.61/279.78	c |     25751 |   17126   183821   383439 |   192303    18692     32 | 78.313 % |
286.52/286.67	c ===============================================================================
286.81/286.98	c core #36
286.81/286.98	c ============================[ Search Statistics ]==============================
286.81/286.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
286.81/286.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
286.81/286.98	c ===============================================================================
286.81/286.98	c |         0 |   18469   184011   384247 |    61337        0    nan |  0.000 % |
286.92/287.10	c |       102 |   18469   184011   384247 |    67470      102     19 | 76.658 % |
287.11/287.26	c |       252 |   18469   184011   384247 |    74217      252     23 | 76.658 % |
287.31/287.43	c |       477 |   18469   184011   384247 |    81639      477     23 | 76.658 % |
287.72/287.84	c |       814 |   18469   184011   384247 |    89803      814     26 | 76.658 % |
288.12/288.27	c |      1320 |   18469   184011   384247 |    98783     1320     26 | 76.658 % |
288.61/288.79	c |      2081 |   18469   184011   384247 |   108662     2081     25 | 76.658 % |
289.81/289.93	c |      3220 |   18469   184011   384247 |   119528     3220     25 | 76.658 % |
291.22/291.32	c |      4928 |   18469   184011   384247 |   131481     4928     28 | 76.658 % |
293.52/293.66	c |      7492 |   18469   184011   384247 |   144629     7492     30 | 76.658 % |
297.51/297.63	c |     11337 |   18466   184011   384247 |   159092    11334     32 | 76.662 % |
303.21/303.35	c |     17103 |   18456   184011   384247 |   175001    17095     34 | 76.675 % |
313.42/313.56	c |     25752 |   18300   184011   384247 |   192501    25742     35 | 76.872 % |
331.31/331.43	c |     38726 |   18300   184011   384247 |   211751    38716     37 | 76.872 % |
338.91/339.09	c ===============================================================================
339.31/339.40	c core #37
339.31/339.40	c ============================[ Search Statistics ]==============================
339.31/339.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
339.31/339.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
339.31/339.40	c ===============================================================================
339.31/339.40	c |         0 |   18867   184192   385038 |    61397        0    nan |  0.000 % |
339.31/339.49	c |       100 |   18867   184192   385038 |    67537      100     19 | 76.202 % |
339.51/339.62	c |       250 |   18867   184192   385038 |    74290      250     19 | 76.202 % |
339.71/339.83	c |       475 |   18867   184192   385038 |    81719      475     22 | 76.202 % |
339.90/340.09	c |       812 |   18867   184192   385038 |    89891      812     23 | 76.202 % |
340.40/340.59	c |      1318 |   18867   184192   385038 |    98881     1318     26 | 76.202 % |
341.30/341.43	c |      2077 |   18865   184192   385038 |   108769     2076     27 | 76.205 % |
342.30/342.46	c |      3216 |   18859   184192   385038 |   119646     3214     29 | 76.212 % |
343.91/344.01	c |      4925 |   18858   184192   385038 |   131610     4923     30 | 76.218 % |
346.31/346.42	c |      7487 |   18855   184192   385038 |   144771     7484     32 | 76.218 % |
350.40/350.56	c |     11331 |   18855   184192   385038 |   159248    11328     32 | 76.218 % |
356.50/356.62	c |     17098 |   18855   184192   385038 |   175173    17095     35 | 76.218 % |
367.00/367.18	c |     25747 |   18675   184192   385038 |   192691    23273     34 | 76.445 % |
384.10/384.23	c |     38721 |   18660   184192   385038 |   211960    36245     35 | 76.463 % |
414.38/414.51	c |     58183 |   17801   184192   385038 |   233156    38058     31 | 77.547 % |
438.28/438.40	c ===============================================================================
438.58/438.73	c core #38
438.58/438.73	c ============================[ Search Statistics ]==============================
438.58/438.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
438.58/438.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
438.58/438.73	c ===============================================================================
438.58/438.73	c |         0 |   19264   184386   385865 |    61462        0    nan |  0.000 % |
438.69/438.84	c |       100 |   19263   184386   385865 |    67608      100     24 | 75.840 % |
438.79/438.99	c |       250 |   19263   184386   385865 |    74369      250     25 | 75.840 % |
439.08/439.22	c |       475 |   19192   184386   385865 |    81805      474     25 | 75.847 % |
439.29/439.47	c |       813 |   19186   184386   385865 |    89986      811     25 | 75.847 % |
439.89/440.07	c |      1320 |   19182   184386   385865 |    98985     1317     29 | 75.852 % |
440.48/440.67	c |      2080 |   19181   184386   385865 |   108883     2076     27 | 75.854 % |
441.58/441.74	c |      3219 |   19181   184386   385865 |   119772     3215     30 | 75.854 % |
443.09/443.26	c |      4927 |   19181   184386   385865 |   131749     4923     30 | 75.854 % |
445.68/445.84	c |      7489 |   19178   184386   385865 |   144924     7484     30 | 75.857 % |
450.18/450.39	c |     11335 |   19169   184386   385865 |   159416    11328     32 | 75.869 % |
456.39/456.54	c |     17101 |   19151   184386   385865 |   175358    17093     34 | 75.891 % |
467.67/467.83	c |     25753 |   19151   184386   385865 |   192894    25745     37 | 75.891 % |
486.37/486.57	c |     38727 |   19108   184386   385865 |   212183    38718     41 | 75.967 % |
518.17/518.40	c |     58188 |   18875   184386   385865 |   233401    58173     42 | 76.239 % |
575.75/575.91	c ===============================================================================
576.05/576.26	c core #39
576.05/576.26	c ============================[ Search Statistics ]==============================
576.05/576.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
576.05/576.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
576.05/576.26	c ===============================================================================
576.05/576.26	c |         0 |   19660   184566   386659 |    61522        0    nan |  0.000 % |
576.16/576.37	c |       100 |   19659   184566   386659 |    67674      100     17 | 75.306 % |
576.35/576.56	c |       252 |   19659   184566   386659 |    74441      252     23 | 75.306 % |
576.56/576.78	c |       477 |   19654   184566   386659 |    81885      476     25 | 75.306 % |
576.95/577.16	c |       814 |   19654   184566   386659 |    90074      813     26 | 75.306 % |
577.55/577.75	c |      1321 |   19648   184566   386659 |    99081     1319     27 | 75.313 % |
578.06/578.26	c |      2080 |   19648   184566   386659 |   108989     2078     25 | 75.313 % |
579.35/579.54	c |      3219 |   19645   184566   386659 |   119888     3216     28 | 75.317 % |
581.15/581.35	c |      4928 |   19637   184566   386659 |   131877     4922     29 | 75.327 % |
583.65/583.81	c |      7491 |   19509   184566   386659 |   145065     7484     28 | 75.488 % |
587.35/587.58	c |     11335 |   19509   184566   386659 |   159572    11328     30 | 75.488 % |
593.34/593.58	c |     17102 |   19509   184566   386659 |   175529    17095     30 | 75.488 % |
604.75/604.96	c |     25752 |   19508   184566   386659 |   193082    25744     32 | 75.489 % |
622.94/623.15	c |     38726 |   19508   184566   386659 |   212390    38718     35 | 75.489 % |
656.33/656.54	c |     58188 |   19508   184566   386659 |   233629    58180     39 | 75.489 % |
719.82/720.04	c |     87380 |   19508   184566   386659 |   256992    87372     41 | 75.489 % |
811.80/812.09	c ===============================================================================
812.20/812.47	c core #40
812.20/812.47	c ============================[ Search Statistics ]==============================
812.20/812.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
812.20/812.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
812.20/812.47	c ===============================================================================
812.20/812.47	c |         0 |   20055   184758   387491 |    61586        0    nan |  0.000 % |
812.30/812.55	c |       100 |   20055   184758   387491 |    67744      100     14 | 74.850 % |
812.40/812.70	c |       252 |   20055   184758   387491 |    74519      252     19 | 74.850 % |
812.71/812.96	c |       477 |   20055   184758   387491 |    81970      477     23 | 74.850 % |
812.90/813.18	c |       815 |   20055   184758   387491 |    90168      815     22 | 74.850 % |
813.40/813.60	c |      1324 |   20055   184758   387491 |    99184     1324     24 | 74.850 % |
814.00/814.28	c |      2083 |   20043   184758   387491 |   109103     2081     27 | 74.866 % |
815.10/815.30	c |      3224 |   20043   184758   387491 |   120013     3222     28 | 74.866 % |
816.70/816.92	c |      4933 |   20043   184758   387491 |   132015     4931     31 | 74.866 % |
818.79/819.03	c |      7497 |   20043   184758   387491 |   145216     7495     31 | 74.866 % |
823.09/823.35	c |     11341 |   20043   184758   387491 |   159738    11339     33 | 74.866 % |
829.60/829.87	c |     17107 |   20043   184758   387491 |   175712    17105     34 | 74.866 % |
840.39/840.63	c |     25757 |   20043   184758   387491 |   193283    25755     36 | 74.866 % |
860.09/860.38	c |     38732 |   20039   184758   387491 |   212611    38729     38 | 74.871 % |
892.38/892.64	c |     58196 |   20039   184758   387491 |   233872    58193     38 | 74.871 % |
947.17/947.46	c |     87389 |   20027   184758   387491 |   257260    87384     39 | 74.886 % |
1058.74/1059.02	c |    131179 |   20027   184758   387491 |   282986   131174     42 | 74.886 % |
1173.82/1174.11	c ===============================================================================
1174.22/1174.52	c core #41
1174.22/1174.52	c ============================[ Search Statistics ]==============================
1174.22/1174.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1174.22/1174.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1174.22/1174.52	c ===============================================================================
1174.22/1174.52	c |         0 |   20449   185029   388550 |    61676        0    nan |  0.000 % |
1174.32/1174.64	c |       102 |   20449   185029   388550 |    67843      102     21 | 74.405 % |
1174.43/1174.76	c |       252 |   20449   185029   388550 |    74628      252     21 | 74.405 % |
1174.62/1174.90	c |       478 |   20449   185029   388550 |    82091      478     20 | 74.405 % |
1174.92/1175.24	c |       815 |   20449   185029   388550 |    90300      815     24 | 74.405 % |
1175.32/1175.66	c |      1321 |   20449   185029   388550 |    99330     1321     24 | 74.405 % |
1176.12/1176.41	c |      2080 |   20443   185029   388550 |   109263     2079     24 | 74.413 % |
1177.02/1177.39	c |      3220 |   20443   185029   388550 |   120189     3219     27 | 74.413 % |
1178.72/1179.00	c |      4930 |   20443   185029   388550 |   132208     4929     30 | 74.413 % |
1181.42/1181.74	c |      7492 |   20443   185029   388550 |   145429     7491     32 | 74.413 % |
1185.32/1185.65	c |     11336 |   20443   185029   388550 |   159972    11335     33 | 74.413 % |
1190.71/1191.06	c |     17103 |   20437   185029   388550 |   175969    17101     31 | 74.420 % |
1201.31/1201.63	c |     25752 |   20437   185029   388550 |   193566    25750     33 | 74.420 % |
1218.61/1218.91	c |     38727 |   20437   185029   388550 |   212923    38725     35 | 74.420 % |
1253.10/1253.40	c |     58189 |   20431   185029   388550 |   234215    58186     39 | 74.428 % |
1304.99/1305.33	c |     87381 |   20431   185029   388550 |   257637    87378     40 | 74.428 % |
1418.76/1419.12	c |    131171 |   20431   185029   388550 |   283401   131168     43 | 74.428 % |
1619.02/1619.42	c |    196856 |   19373   185029   388550 |   311741    60367     29 | 75.752 % |
1629.73/1630.11	c ===============================================================================
1630.12/1630.54	c core #42
1630.12/1630.54	c ============================[ Search Statistics ]==============================
1630.12/1630.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1630.12/1630.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1630.12/1630.54	c ===============================================================================
1630.12/1630.54	c |         0 |   20842   185234   389423 |    61744        0    nan |  0.000 % |
1630.22/1630.63	c |       101 |   20842   185234   389423 |    67919      101     22 | 73.962 % |
1630.32/1630.75	c |       251 |   20842   185234   389423 |    74711      251     21 | 73.962 % |
1630.52/1630.98	c |       476 |   20842   185234   389423 |    82182      476     24 | 73.962 % |
1630.82/1631.25	c |       814 |   20842   185234   389423 |    90400      814     26 | 73.962 % |
1631.42/1631.82	c |      1320 |   20842   185234   389423 |    99440     1320     26 | 73.962 % |
1632.02/1632.42	c |      2081 |   20842   185234   389423 |   109384     2081     27 | 73.962 % |
1633.13/1633.57	c |      3220 |   20840   185234   389423 |   120322     3219     29 | 73.965 % |
1635.02/1635.43	c |      4928 |   20840   185234   389423 |   132355     4927     33 | 73.965 % |
1637.43/1637.90	c |      7490 |   20834   185234   389423 |   145590     7488     36 | 73.972 % |
1641.82/1642.21	c |     11334 |   20834   185234   389423 |   160149    11332     36 | 73.972 % |
1648.52/1648.94	c |     17101 |   20825   185234   389423 |   176164    17098     38 | 73.984 % |
1658.91/1659.30	c |     25753 |   20819   185234   389423 |   193781    25749     38 | 73.991 % |
1676.31/1676.75	c |     38727 |   20809   185234   389423 |   213159    38721     38 | 74.004 % |
1707.60/1708.05	c |     58188 |   20743   185234   389423 |   234475    58181     38 | 74.086 % |
1768.79/1769.23	c |     87380 |   20743   185234   389423 |   257922    87373     40 | 74.086 % |

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-2686905-1278443782/watcher-2686905-1278443782 -o /tmp/evaluation-result-2686905-1278443782/solver-2686905-1278443782 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686905-1278443782.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.02 3/106 19303
/proc/meminfo: memFree=1815312/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=10852 CPUtime=0
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 372 0 0 0 0 0 0 0 18 0 1 0 12584912 11112448 291 1992294400 134512640 135751879 4289169072 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 2713 292 144 303 0 446 0

[startup+0.05616 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 19303
/proc/meminfo: memFree=1815312/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=13384 CPUtime=0.05
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 1046 0 0 0 5 0 0 0 20 0 1 0 12584912 13705216 965 1992294400 134512640 135751879 4289169072 18446744073709551615 135378847 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 3346 965 213 303 0 1079 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13384

[startup+0.10117 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 19303
/proc/meminfo: memFree=1815312/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=15616 CPUtime=0.09
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 1570 0 0 0 9 0 0 0 20 0 1 0 12584912 15990784 1489 1992294400 134512640 135751879 4289169072 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 3904 1489 281 303 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15616

[startup+0.301177 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 19303
/proc/meminfo: memFree=1815312/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=19756 CPUtime=0.3
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 2869 0 0 0 29 1 0 0 20 0 1 0 12584912 20230144 2755 1992294400 134512640 135751879 4289169072 18446744073709551615 134560803 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 4939 2755 571 303 0 2672 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19756

[startup+0.701203 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 19303
/proc/meminfo: memFree=1815312/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=26044 CPUtime=0.7
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 4786 0 0 0 68 2 0 0 20 0 1 0 12584912 26669056 4632 1992294400 134512640 135751879 4289169072 18446744073709551615 134564556 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 6511 4633 1171 303 0 4244 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 26044

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19304
/proc/meminfo: memFree=1795960/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=36804 CPUtime=1.49
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 8169 0 0 0 146 3 0 0 23 0 1 0 12584912 37687296 7901 1992294400 134512640 135751879 4289169072 18446744073709551615 134598105 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 9201 7901 1978 303 0 6934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36804

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19304
/proc/meminfo: memFree=1766200/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=56668 CPUtime=3.09
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 15306 0 0 0 304 5 0 0 25 0 1 0 12584912 58028032 12851 1992294400 134512640 135751879 4289169072 18446744073709551615 134587104 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 14167 12851 146 303 0 13862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56668

[startup+6.30058 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19304
/proc/meminfo: memFree=1760372/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=62212 CPUtime=6.29
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 16720 0 0 0 623 6 0 0 25 0 1 0 12584912 63705088 14265 1992294400 134512640 135751879 4289169072 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 15553 14265 146 303 0 15248 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62212

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19305
/proc/meminfo: memFree=1751328/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=70660 CPUtime=12.69
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 18817 0 0 0 1262 7 0 0 25 0 1 0 12584912 72355840 16362 1992294400 134512640 135751879 4289169072 18446744073709551615 134595124 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 17665 16362 146 303 0 17360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70660

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19306
/proc/meminfo: memFree=1739424/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=81616 CPUtime=25.48
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 21576 0 0 0 2540 8 0 0 25 0 1 0 12584912 83574784 19121 1992294400 134512640 135751879 4289169072 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 20404 19121 146 303 0 20099 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81616

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 19306
/proc/meminfo: memFree=1724792/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=96268 CPUtime=51.07
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 25212 0 0 0 5097 10 0 0 25 0 1 0 12584912 98578432 22757 1992294400 134512640 135751879 4289169072 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 24067 22757 146 303 0 23762 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 96268

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 19308
/proc/meminfo: memFree=1711276/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=108500 CPUtime=102.27
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 29722 0 0 0 10211 16 0 0 25 0 1 0 12584912 111104000 25953 1992294400 134512640 135751879 4289169072 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 27125 25953 147 303 0 26820 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 108500

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 19309
/proc/meminfo: memFree=1711152/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=108500 CPUtime=162.24
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 29722 0 0 0 16182 42 0 0 25 0 1 0 12584912 111104000 25953 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 27125 25953 147 303 0 26820 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 108500

[startup+222.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 19313
/proc/meminfo: memFree=1700624/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=94900 CPUtime=222.23
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 45284 0 0 0 22151 72 0 0 25 0 1 0 12584912 97177600 23227 1992294400 134512640 135751879 4289169072 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 23725 23227 151 303 0 23420 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 94900

[startup+282.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 19315
/proc/meminfo: memFree=1700748/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=94900 CPUtime=282.21
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 46208 0 0 0 28128 93 0 0 25 0 1 0 12584912 97177600 23227 1992294400 134512640 135751879 4289169072 18446744073709551615 134604797 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 23725 23227 151 303 0 23420 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 94900

[startup+342.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 19317
/proc/meminfo: memFree=1700748/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=94900 CPUtime=342.2
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 47136 0 0 0 34108 112 0 0 25 0 1 0 12584912 97177600 23227 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 23725 23227 151 303 0 23420 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 94900

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19319
/proc/meminfo: memFree=1700748/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=94900 CPUtime=402.19
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 47136 0 0 0 40090 129 0 0 25 0 1 0 12584912 97177600 23227 1992294400 134512640 135751879 4289169072 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 23725 23227 151 303 0 23420 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 94900

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19320
/proc/meminfo: memFree=1697152/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=100284 CPUtime=462.17
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 48155 0 0 0 46069 148 0 0 25 0 1 0 12584912 102690816 24246 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 25071 24246 151 303 0 24766 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 100284

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19321
/proc/meminfo: memFree=1697152/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=100284 CPUtime=522.17
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 48155 0 0 0 52053 164 0 0 25 0 1 0 12584912 102690816 24246 1992294400 134512640 135751879 4289169072 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 25071 24246 151 303 0 24766 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 100284

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19323
/proc/meminfo: memFree=1684140/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=113260 CPUtime=582.15
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 52374 0 0 0 58036 179 0 0 25 0 1 0 12584912 115978240 27394 1992294400 134512640 135751879 4289169072 18446744073709551615 134610830 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 28315 27394 151 303 0 28010 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 113260

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19325
/proc/meminfo: memFree=1684140/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=113260 CPUtime=642.15
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 52374 0 0 0 64016 199 0 0 25 0 1 0 12584912 115978240 27394 1992294400 134512640 135751879 4289169072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 28315 27394 151 303 0 28010 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 113260

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19331
/proc/meminfo: memFree=1667152/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=130184 CPUtime=882.08
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 57844 0 0 0 87946 262 0 0 25 0 1 0 12584912 133308416 31593 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 32546 31593 151 303 0 32241 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 130184

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19333
/proc/meminfo: memFree=1667152/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=130184 CPUtime=942.07
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 57908 0 0 0 93929 278 0 0 25 0 1 0 12584912 133308416 31657 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 32546 31657 151 303 0 32241 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 130184

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19335
/proc/meminfo: memFree=1661324/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=136140 CPUtime=1002.06
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 59367 0 0 0 99914 292 0 0 25 0 1 0 12584912 139407360 33116 1992294400 134512640 135751879 4289169072 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 34035 33116 151 303 0 33730 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 136140

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19335
/proc/meminfo: memFree=1655868/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=141452 CPUtime=1062.05
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 60733 0 0 0 105901 304 0 0 25 0 1 0 12584912 144846848 34482 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 35363 34482 151 303 0 35058 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 141452

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19337
/proc/meminfo: memFree=1650660/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=146776 CPUtime=1122.03
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 61999 0 0 0 111885 318 0 0 25 0 1 0 12584912 150298624 35748 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 36694 35748 151 303 0 36389 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 146776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19339
/proc/meminfo: memFree=1633548/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=163468 CPUtime=1182.01
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 67610 0 0 0 117868 333 0 0 25 0 1 0 12584912 167391232 39921 1992294400 134512640 135751879 4289169072 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 40867 39921 151 303 0 40562 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 163468

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19341
/proc/meminfo: memFree=1633548/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=163468 CPUtime=1242.01
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 67610 0 0 0 123850 351 0 0 25 0 1 0 12584912 167391232 39921 1992294400 134512640 135751879 4289169072 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 40867 39921 151 303 0 40562 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 163468

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19343
/proc/meminfo: memFree=1633548/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=163468 CPUtime=1301.99
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 67631 0 0 0 129834 365 0 0 25 0 1 0 12584912 167391232 39942 1992294400 134512640 135751879 4289169072 18446744073709551615 134616347 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 40867 39942 151 303 0 40562 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 163468

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19344
/proc/meminfo: memFree=1633052/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=163996 CPUtime=1361.98
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 67805 0 0 0 135822 376 0 0 25 0 1 0 12584912 167931904 40116 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 40999 40116 151 303 0 40694 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 163996

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19345
/proc/meminfo: memFree=1627720/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=169108 CPUtime=1421.97
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 69100 0 0 0 141810 387 0 0 25 0 1 0 12584912 173166592 41411 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 42277 41411 151 303 0 41972 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 169108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19347
/proc/meminfo: memFree=1623008/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=174312 CPUtime=1481.95
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 70307 0 0 0 147796 399 0 0 25 0 1 0 12584912 178495488 42618 1992294400 134512640 135751879 4289169072 18446744073709551615 134608988 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 43578 42618 151 303 0 43273 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 174312

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 19349
/proc/meminfo: memFree=1618172/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=178944 CPUtime=1541.94
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 71476 0 0 0 153784 410 0 0 25 0 1 0 12584912 183238656 43787 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 44736 43787 151 303 0 44431 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 178944

[startup+1602.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 19351
/proc/meminfo: memFree=1613708/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=183316 CPUtime=1601.93
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 72594 0 0 0 159771 422 0 0 25 0 1 0 12584912 187715584 44905 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 45829 44905 151 303 0 45524 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 183316

[startup+1662.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 19352
/proc/meminfo: memFree=1598332/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=198376 CPUtime=1661.91
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 77777 0 0 0 165750 441 0 0 25 0 1 0 12584912 203137024 48646 1992294400 134512640 135751879 4289169072 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 49594 48646 151 303 0 49289 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 198376

[startup+1722.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 19353
/proc/meminfo: memFree=1598332/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=198376 CPUtime=1721.9
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 77782 0 0 0 171730 460 0 0 25 0 1 0 12584912 203137024 48651 1992294400 134512640 135751879 4289169072 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 49594 48651 151 303 0 49289 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 198376

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 19355
/proc/meminfo: memFree=1598332/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=198376 CPUtime=1781.89
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 77797 0 0 0 177715 474 0 0 25 0 1 0 12584912 203137024 48666 1992294400 134512640 135751879 4289169072 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 49594 48666 151 303 0 49289 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 198376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 19355
/proc/meminfo: memFree=1597464/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=199168 CPUtime=1800.09
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 78031 0 0 0 179531 478 0 0 25 0 1 0 12584912 203948032 48900 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 49792 48900 151 303 0 49487 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 199168

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

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 19355
/proc/meminfo: memFree=1597464/2059040 swapFree=4164940/4192956
[pid=19303] ppid=19301 vsize=199168 CPUtime=1800.09
/proc/19303/stat : 19303 (wbo1.4b) R 19301 19303 18148 0 -1 4202496 78031 0 0 0 179531 478 0 0 25 0 1 0 12584912 203948032 48900 1992294400 134512640 135751879 4289169072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19303/statm: 49792 48900 151 303 0 49487 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 199168

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.12
CPU user time (s): 1795.31
CPU system time (s): 4.80627
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 205196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.31
system time used= 4.80627
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78031
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= 28
involuntary context switches= 5074

runsolver used 2.95555 second user time and 8.5447 second system time

The end

Launcher Data 

Begin job on node052 at 2010-07-06 21:16:23
IDJOB=2686905
IDBENCH=77150
IDSOLVER=1161
FILE ID=node052/2686905-1278443782
PBS_JOBID= 11233491
Free space on /tmp= 62488 MiB

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

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

MD5SUM BENCH= cccd345daea74d5d7e187f797768ed88
RANDOM SEED=409572661

node052.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.213
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.42
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.213
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:       1816272 kB
Buffers:          4492 kB
Cached:         134096 kB
SwapCached:        132 kB
Active:          22728 kB
Inactive:       147804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816272 kB
SwapTotal:     4192956 kB
SwapFree:      4164940 kB
Dirty:           10552 kB
Writeback:           0 kB
AnonPages:       31784 kB
Mapped:          13572 kB
Slab:            50300 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180988 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-2686905-1278443782.opb

Free space on /tmp at the end= 62484 MiB
End job on node052 at 2010-07-06 21:46:25