Trace number 2655761

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.4bOPT5852 186.618 186.674

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
MD5SUMa50db2fb26a0b36972cba004cae6f3a3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5852
Best CPU time to get the best result obtained on this benchmark0.021995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5852
Optimality of the best value was proved YES
Number of variables136
Total number of constraints144
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 136
Biggest coefficient in the objective function 1311
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 58669
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 1311
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 58669
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-2655761-1276629749.opb.
0.00/0.00	c Instance file HOME/instance-2655761-1276629749.opb
0.00/0.00	c File size is 5303 bytes.
0.00/0.00	c Highest Coefficient sum: 9
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      136                                                 |
0.00/0.00	c |  Number Clauses:        144                                                 |
0.00/0.00	c |  Number Cardinality:    16                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     136      160      512 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7664
0.00/0.00	o 7664
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     136      161      648 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7636
0.00/0.00	o 7636
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        21 |     136      162      784 |     5000       21     28 |  0.000 % |
0.00/0.01	c |       121 |     136      162      784 |     5500      121     30 |  0.005 % |
0.00/0.01	c |       271 |     136      162      784 |     6050      271     28 |  0.005 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 7108
0.00/0.01	o 7108
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       271 |     136      163      920 |     5000      271     28 |  0.005 % |
0.00/0.01	c |       372 |     136      163      920 |     5500      372     28 |  0.005 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 7099
0.00/0.02	o 7099
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       402 |     136      164     1056 |     5000      402     28 |  0.005 % |
0.00/0.02	c |       502 |     136      164     1056 |     5500      502     27 |  0.005 % |
0.00/0.02	c |       654 |     136      164     1056 |     6050      654     27 |  0.005 % |
0.00/0.03	c |       879 |     136      164     1056 |     6655      879     26 |  0.005 % |
0.00/0.04	c |      1218 |     136      164     1056 |     7320     1218     26 |  0.005 % |
0.00/0.06	c |      1725 |     136      164     1056 |     8052     1725     27 |  0.005 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 7027
0.00/0.08	o 7027
0.00/0.08	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |      1986 |     136      165     1192 |     5000     1986     28 |  0.005 % |
0.00/0.08	c |      2087 |     136      165     1192 |     5500     2087     27 |  0.005 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 7011
0.00/0.08	o 7011
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 179.92 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |      2087 |     136      166     1328 |     5000     2087     27 |  0.005 % |
0.08/0.08	c ===============================================================================
0.08/0.08	c New solution: 6836
0.08/0.08	o 6836
0.08/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.08/0.08	c ===============================================================================
0.08/0.08	c |      2088 |     136      167     1464 |     5000     2088     27 |  0.005 % |
0.08/0.08	c ===============================================================================
0.08/0.08	c New solution: 6380
0.08/0.08	o 6380
0.08/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 179.919 s
0.08/0.08	c ===============================================================================
0.08/0.08	c |      2089 |     136      168     1600 |     5000     2089     27 |  0.005 % |
0.08/0.09	c |      2191 |     136      168     1600 |     5500     2191     27 |  0.005 % |
0.08/0.10	c |      2342 |     136      168     1600 |     6050     2342     27 |  0.092 % |
0.09/0.10	c |      2567 |     136      168     1600 |     6655     2567     27 |  0.005 % |
0.09/0.12	c |      2905 |     136      168     1600 |     7320     2905     26 |  0.005 % |
0.09/0.14	c |      3411 |     136      168     1600 |     8052     3411     26 |  0.005 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 6361
0.09/0.16	o 6361
0.09/0.16	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 179.847 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |      3692 |     136      169     1736 |     5000     3692     27 |  0.005 % |
0.09/0.16	c |      3793 |     136      169     1736 |     5500     3793     26 |  0.005 % |
0.09/0.17	c |      3944 |     136      169     1736 |     6050     3944     26 |  0.005 % |
0.09/0.18	c |      4170 |     136      169     1736 |     6655     4170     27 |  0.092 % |
0.19/0.20	c |      4509 |     136      169     1736 |     7320     4509     27 |  0.005 % |
0.19/0.23	c |      5016 |     136      169     1736 |     8052     5016     27 |  0.005 % |
0.19/0.27	c |      5775 |     136      169     1736 |     8857     5775     26 |  0.006 % |
0.29/0.33	c |      6914 |     136      169     1736 |     9743     6914     27 |  0.093 % |
0.39/0.44	c |      8622 |     136      169     1736 |    10717     8622     27 |  0.006 % |
0.59/0.60	c |     11185 |     136      169     1736 |    11789     5770     28 |  0.005 % |
0.79/0.83	c |     15029 |     136      169     1736 |    12968     9614     28 |  0.006 % |
1.11/1.19	c |     20796 |     136      169     1736 |    14265     8851     27 |  0.006 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c New solution: 6343
1.19/1.23	o 6343
1.19/1.23	c Elapsed CPU time: 1.17182 s	Remaining CPU time: 178.828 s
1.19/1.23	c ===============================================================================
1.19/1.23	c |     21417 |     136      170     1872 |     5000     9472     27 |  0.006 % |
1.19/1.26	c |     21517 |     136      170     1872 |     5500     4836     27 |  0.005 % |
1.19/1.26	c |     21667 |     136      170     1872 |     6050     4986     26 |  0.005 % |
1.19/1.28	c |     21893 |     136      170     1872 |     6655     5212     26 |  0.005 % |
1.28/1.30	c |     22230 |     136      170     1872 |     7320     5549     26 |  0.005 % |
1.28/1.33	c |     22737 |     136      170     1872 |     8052     6056     27 |  0.005 % |
1.28/1.38	c |     23499 |     136      170     1872 |     8857     6818     27 |  0.005 % |
1.38/1.43	c |     24638 |     136      170     1872 |     9743     7957     27 |  0.005 % |
1.49/1.54	c |     26346 |     136      170     1872 |    10717     9665     27 |  0.006 % |
1.59/1.69	c |     28908 |     136      170     1872 |    11789     6810     27 |  0.006 % |
1.88/1.94	c |     32754 |     136      170     1872 |    12968    10656     27 |  0.093 % |
2.29/2.32	c |     38521 |     136      170     1872 |    14265     9879     27 |  0.006 % |
2.89/2.96	c |     47170 |     136      170     1872 |    15692    11336     27 |  0.005 % |
3.99/4.01	c |     60145 |     136      170     1872 |    17261     8508     28 |  0.093 % |
5.69/5.75	c |     79606 |     136      170     1872 |    18987    10594     25 |  0.006 % |
8.19/8.26	c |    108799 |     136      170     1872 |    20886    11138     27 |  0.093 % |
8.69/8.76	c ===============================================================================
8.69/8.76	c New solution: 6298
8.69/8.76	o 6298
8.69/8.76	c Elapsed CPU time: 8.49971 s	Remaining CPU time: 171.5 s
8.69/8.76	c ===============================================================================
8.69/8.76	c |    115890 |     136      171     2008 |     5000    18229     27 |  0.093 % |
8.79/8.83	c |    115994 |     136      171     2008 |     5500     4662     27 |  0.005 % |
8.79/8.84	c |    116144 |     136      171     2008 |     6050     4812     27 |  0.005 % |
8.79/8.85	c |    116369 |     136      171     2008 |     6655     5037     27 |  0.093 % |
8.79/8.88	c |    116706 |     136      171     2008 |     7320     5374     27 |  0.005 % |
8.89/8.90	c |    117212 |     136      171     2008 |     8052     5880     27 |  0.093 % |
8.89/8.95	c |    117971 |     136      171     2008 |     8857     6639     27 |  0.005 % |
8.99/9.02	c |    119112 |     136      171     2008 |     9743     7780     27 |  0.006 % |
9.09/9.12	c |    120820 |     136      171     2008 |    10717     9488     27 |  0.005 % |
9.29/9.30	c |    123382 |     136      171     2008 |    11789     6645     26 |  0.093 % |
9.48/9.54	c |    127226 |     136      171     2008 |    12968    10489     27 |  0.006 % |
9.90/9.94	c |    132992 |     136      171     2008 |    14265     9720     27 |  0.005 % |
10.19/10.22	c ===============================================================================
10.19/10.22	c New solution: 6274
10.19/10.22	o 6274
10.19/10.22	c Elapsed CPU time: 9.92149 s	Remaining CPU time: 170.079 s
10.19/10.22	c ===============================================================================
10.19/10.22	c |    136930 |     136      172     2144 |     5000    13658     28 |  0.005 % |
10.19/10.26	c |    137030 |     136      172     2144 |     5500     3515     29 |  0.005 % |
10.19/10.27	c |    137180 |     136      172     2144 |     6050     3665     29 |  0.005 % |
10.19/10.29	c |    137406 |     136      172     2144 |     6655     3891     28 |  0.006 % |
10.29/10.31	c |    137745 |     136      172     2144 |     7320     4230     28 |  0.005 % |
10.29/10.34	c |    138251 |     136      172     2144 |     8052     4736     28 |  0.005 % |
10.29/10.38	c |    139011 |     136      172     2144 |     8857     5496     28 |  0.005 % |
10.38/10.44	c |    140150 |     136      172     2144 |     9743     6635     27 |  0.005 % |
10.49/10.56	c |    141858 |     136      172     2144 |    10717     8343     27 |  0.006 % |
10.69/10.73	c |    144422 |     136      172     2144 |    11789     5503     27 |  0.006 % |
10.89/11.00	c |    148266 |     136      172     2144 |    12968     9347     27 |  0.006 % |
11.29/11.39	c |    154034 |     136      172     2144 |    14265     8573     26 |  0.006 % |
11.99/12.07	c |    162683 |     136      172     2144 |    15692    10035     28 |  0.093 % |
13.09/13.15	c |    175659 |     136      172     2144 |    17261    15110     29 |  0.006 % |
14.79/14.87	c |    195120 |     136      172     2144 |    18987    17199     26 |  0.006 % |
17.69/17.71	c |    224312 |     136      172     2144 |    20886    17754     28 |  0.006 % |
21.88/21.90	c |    268101 |     136      172     2144 |    22974    19566     25 |  0.005 % |
29.59/29.62	c |    333785 |     136      172     2144 |    25272    12575     27 |  0.092 % |
29.59/29.66	c ===============================================================================
29.59/29.66	c New solution: 6220
29.59/29.66	o 6220
29.59/29.66	c Elapsed CPU time: 28.8396 s	Remaining CPU time: 151.16 s
29.59/29.66	c ===============================================================================
29.59/29.66	c |    334425 |     136      173     2280 |     5000    13215     28 |  0.092 % |
29.69/29.71	c |    334525 |     136      173     2280 |     5500     3404     27 |  0.005 % |
29.69/29.72	c |    334676 |     136      173     2280 |     6050     3555     27 |  0.005 % |
29.69/29.73	c |    334901 |     136      173     2280 |     6655     3780     27 |  0.005 % |
29.69/29.75	c |    335239 |     136      173     2280 |     7320     4118     27 |  0.005 % |
29.69/29.79	c |    335745 |     136      173     2280 |     8052     4624     27 |  0.005 % |
29.77/29.84	c |    336505 |     136      173     2280 |     8857     5384     27 |  0.092 % |
29.88/29.90	c |    337646 |     136      173     2280 |     9743     6525     27 |  0.005 % |
29.97/30.03	c |    339354 |     136      173     2280 |    10717     8233     28 |  0.092 % |
30.18/30.21	c |    341917 |     136      173     2280 |    11789    10796     27 |  0.005 % |
30.37/30.49	c |    345762 |     136      173     2280 |    12968     8689     27 |  0.006 % |
30.88/30.92	c |    351528 |     136      173     2280 |    14265     7917     27 |  0.093 % |
31.58/31.69	c |    360177 |     136      173     2280 |    15692     9379     27 |  0.093 % |
31.88/31.99	c ===============================================================================
31.88/31.99	c New solution: 6131
31.88/31.99	o 6131
31.88/31.99	c Elapsed CPU time: 31.0733 s	Remaining CPU time: 148.927 s
31.88/31.99	c ===============================================================================
31.88/31.99	c |    364272 |     136      174     2416 |     5000    13474     28 |  0.093 % |
31.98/32.05	c |    364375 |     136      174     2416 |     5500     3472     29 |  0.005 % |
31.98/32.05	c ===============================================================================
31.98/32.05	c New solution: 6090
31.98/32.05	o 6090
31.98/32.05	c Elapsed CPU time: 31.1343 s	Remaining CPU time: 148.866 s
31.98/32.05	c ===============================================================================
31.98/32.05	c |    364403 |     136      175     2552 |     5000     3500     29 |  0.005 % |
31.98/32.05	c |    364503 |     136      175     2552 |     5500     3600     29 |  0.006 % |
31.98/32.07	c |    364654 |     136      175     2552 |     6050     3751     29 |  0.005 % |
31.98/32.08	c |    364879 |     136      175     2552 |     6655     3976     29 |  0.005 % |
32.07/32.10	c |    365216 |     136      175     2552 |     7320     4313     28 |  0.005 % |
32.07/32.13	c |    365723 |     136      175     2552 |     8052     4820     28 |  0.093 % |
32.07/32.18	c |    366482 |     136      175     2552 |     8857     5579     28 |  0.005 % |
32.17/32.24	c |    367621 |     136      175     2552 |     9743     6718     27 |  0.005 % |
32.28/32.38	c |    369332 |     136      175     2552 |    10717     8429     27 |  0.005 % |
32.47/32.56	c |    371894 |     136      175     2552 |    11789     5577     27 |  0.005 % |
32.78/32.81	c |    375739 |     136      175     2552 |    12968     9422     26 |  0.006 % |
33.18/33.25	c |    381506 |     136      175     2552 |    14265     8646     26 |  0.005 % |
33.88/33.91	c |    390155 |     136      175     2552 |    15692    10107     27 |  0.006 % |
34.98/35.03	c |    403130 |     136      175     2552 |    17261    15185     28 |  0.093 % |
36.68/36.77	c |    422591 |     136      175     2552 |    18987    17278     26 |  0.093 % |
36.87/36.99	c ===============================================================================
36.87/36.99	c New solution: 6078
36.87/36.99	o 6078
36.87/36.99	c Elapsed CPU time: 35.9285 s	Remaining CPU time: 144.071 s
36.87/36.99	c ===============================================================================
36.87/36.99	c |    424452 |     136      176     2688 |     5000     9582     26 |  0.093 % |
36.97/37.01	c |    424553 |     136      176     2688 |     5500     4892     27 |  0.006 % |
36.97/37.02	c |    424703 |     136      176     2688 |     6050     5042     27 |  0.005 % |
36.97/37.04	c |    424929 |     136      176     2688 |     6655     5268     27 |  0.005 % |
36.97/37.06	c |    425266 |     136      176     2688 |     7320     5605     26 |  0.005 % |
36.97/37.09	c |    425773 |     136      176     2688 |     8052     6112     26 |  0.005 % |
37.08/37.15	c |    426533 |     136      176     2688 |     8857     6872     26 |  0.005 % |
37.18/37.22	c |    427672 |     136      176     2688 |     9743     8011     26 |  0.005 % |
37.28/37.36	c |    429380 |     136      176     2688 |    10717     9719     26 |  0.006 % |
37.48/37.54	c |    431943 |     136      176     2688 |    11789     6867     26 |  0.092 % |
37.78/37.80	c |    435789 |     136      176     2688 |    12968    10713     26 |  0.093 % |
38.17/38.27	c |    441558 |     136      176     2688 |    14265     9952     25 |  0.093 % |
38.88/38.99	c |    450207 |     136      176     2688 |    15692    11415     27 |  0.093 % |
40.17/40.22	c |    463181 |     136      176     2688 |    17261     8595     28 |  0.093 % |
41.98/42.01	c |    482642 |     136      176     2688 |    18987    10686     26 |  0.092 % |
45.09/45.11	c |    511834 |     136      176     2688 |    20886    11237     28 |  0.093 % |
49.48/49.55	c |    555624 |     136      176     2688 |    22974    13042     27 |  0.006 % |
57.08/57.17	c |    621310 |     136      176     2688 |    25272    17711     25 |  0.006 % |
69.86/69.94	c |    719836 |     136      176     2688 |    27799    15090     29 |  0.093 % |
73.07/73.11	c ===============================================================================
73.07/73.11	c New solution: 6066
73.07/73.11	o 6066
73.07/73.11	c Elapsed CPU time: 71.1992 s	Remaining CPU time: 108.801 s
73.07/73.11	c ===============================================================================
73.07/73.11	c |    746143 |     136      177     2824 |     5000    24574     28 |  0.093 % |
73.27/73.37	c |    746245 |     136      177     2824 |     5500     2982     28 |  0.005 % |
73.27/73.38	c |    746396 |     136      177     2824 |     6050     3133     28 |  0.005 % |
73.37/73.40	c |    746621 |     136      177     2824 |     6655     3358     28 |  0.005 % |
73.37/73.42	c |    746958 |     136      177     2824 |     7320     3695     27 |  0.005 % |
73.37/73.46	c |    747464 |     136      177     2824 |     8052     4201     27 |  0.005 % |
73.47/73.51	c |    748224 |     136      177     2824 |     8857     4961     27 |  0.005 % |
73.47/73.58	c |    749365 |     136      177     2824 |     9743     6102     27 |  0.006 % |
73.67/73.71	c |    751073 |     136      177     2824 |    10717     7810     27 |  0.006 % |
73.87/73.90	c |    753635 |     136      177     2824 |    11789    10372     27 |  0.005 % |
74.17/74.22	c |    757480 |     136      177     2824 |    12968     8270     28 |  0.005 % |
74.57/74.63	c |    763247 |     136      177     2824 |    14265     7498     26 |  0.005 % |
75.37/75.40	c |    771896 |     136      177     2824 |    15692     8960     28 |  0.093 % |
76.46/76.50	c |    784871 |     136      177     2824 |    17261    14043     26 |  0.092 % |
78.27/78.37	c |    804332 |     136      177     2824 |    18987    16151     26 |  0.092 % |
80.17/80.20	c ===============================================================================
80.17/80.20	c New solution: 6028
80.17/80.20	o 6028
80.17/80.20	c Elapsed CPU time: 78.0851 s	Remaining CPU time: 101.915 s
80.17/80.20	c ===============================================================================
80.17/80.20	c |    822399 |     136      178     2960 |     5000    15116     26 |  0.092 % |
80.27/80.32	c |    822499 |     136      178     2960 |     5500     3879     27 |  0.092 % |
80.27/80.33	c |    822651 |     136      178     2960 |     6050     4031     27 |  0.005 % |
80.27/80.35	c |    822876 |     136      178     2960 |     6655     4256     27 |  0.006 % |
80.27/80.37	c |    823213 |     136      178     2960 |     7320     4593     27 |  0.005 % |
80.36/80.41	c |    823719 |     136      178     2960 |     8052     5099     27 |  0.005 % |
80.36/80.45	c |    824478 |     136      178     2960 |     8857     5858     27 |  0.005 % |
80.47/80.54	c |    825619 |     136      178     2960 |     9743     6999     27 |  0.006 % |
80.56/80.66	c |    827327 |     136      178     2960 |    10717     8707     27 |  0.006 % |
80.76/80.81	c ===============================================================================
80.76/80.81	c New solution: 5976
80.76/80.81	o 5976
80.76/80.81	c Elapsed CPU time: 78.675 s	Remaining CPU time: 101.325 s
80.76/80.81	c ===============================================================================
80.76/80.81	c |    829169 |     136      179     3096 |     5000    10549     28 |  0.006 % |
80.76/80.84	c |    829269 |     136      179     3096 |     5500     2738     30 |  0.093 % |
80.76/80.85	c |    829420 |     136      179     3096 |     6050     2889     30 |  0.092 % |
80.76/80.87	c |    829645 |     136      179     3096 |     6655     3114     29 |  0.093 % |
80.76/80.89	c |    829983 |     136      179     3096 |     7320     3452     29 |  0.005 % |
80.86/80.93	c |    830489 |     136      179     3096 |     8052     3958     29 |  0.092 % |
80.86/80.99	c |    831249 |     136      179     3096 |     8857     4718     29 |  0.005 % |
80.97/81.06	c |    832389 |     136      179     3096 |     9743     5858     28 |  0.005 % |
81.07/81.18	c |    834098 |     136      179     3096 |    10717     7567     27 |  0.006 % |
81.27/81.37	c |    836661 |     136      179     3096 |    11789    10130     27 |  0.006 % |
81.56/81.68	c |    840505 |     136      179     3096 |    12968     8035     25 |  0.093 % |
82.17/82.20	c |    846271 |     136      179     3096 |    14265     7259     27 |  0.093 % |
82.86/82.93	c |    854920 |     136      179     3096 |    15692     8723     27 |  0.093 % |
83.97/84.08	c |    867897 |     136      179     3096 |    17261    13795     27 |  0.006 % |
85.87/85.96	c |    887358 |     136      179     3096 |    18987    15891     27 |  0.092 % |
89.16/89.26	c |    916551 |     136      179     3096 |    20886    16447     29 |  0.092 % |
94.16/94.25	c |    960341 |     136      179     3096 |    22974    18255     25 |  0.006 % |
95.86/95.92	c ===============================================================================
95.86/95.92	c New solution: 5886
95.86/95.92	o 5886
95.86/95.92	c Elapsed CPU time: 93.3878 s	Remaining CPU time: 86.6122 s
95.86/95.92	c ===============================================================================
95.86/95.92	c |    975818 |     136      180     3232 |     5000    21400     27 |  0.006 % |
95.96/96.01	c |    975922 |     136      180     3232 |     5500     2779     29 |  0.093 % |
95.96/96.02	c |    976072 |     136      180     3232 |     6050     2929     28 |  0.005 % |
95.96/96.04	c |    976299 |     136      180     3232 |     6655     3156     29 |  0.092 % |
95.96/96.06	c |    976637 |     136      180     3232 |     7320     3494     29 |  0.093 % |
95.96/96.09	c |    977143 |     136      180     3232 |     8052     4000     28 |  0.005 % |
96.06/96.15	c |    977902 |     136      180     3232 |     8857     4759     28 |  0.006 % |
96.16/96.23	c |    979042 |     136      180     3232 |     9743     5899     28 |  0.093 % |
96.26/96.36	c |    980750 |     136      180     3232 |    10717     7607     27 |  0.005 % |
96.46/96.55	c |    983312 |     136      180     3232 |    11789    10169     27 |  0.092 % |
96.77/96.87	c |    987156 |     136      180     3232 |    12968     8080     26 |  0.093 % |
97.26/97.39	c |    992923 |     136      180     3232 |    14265     7307     29 |  0.093 % |
97.96/98.07	c |   1001572 |     136      180     3232 |    15692     8768     26 |  0.093 % |
99.16/99.24	c |   1014547 |     136      180     3232 |    17261    13840     28 |  0.093 % |
101.26/101.35	c |   1034009 |     136      180     3232 |    18987    15937     29 |  0.006 % |
104.16/104.29	c |   1063201 |     136      180     3232 |    20886    16491     25 |  0.093 % |
109.46/109.53	c |   1106990 |     136      180     3232 |    22974    18310     28 |  0.006 % |
116.96/117.05	c |   1172675 |     136      180     3232 |    25272    22532     26 |  0.006 % |
129.25/129.37	c |   1271202 |     136      180     3232 |    27799    20290     26 |  0.005 % |
149.14/149.28	c |   1418992 |     136      180     3232 |    30579    16262     25 |  0.006 % |
181.34/181.42	c |   1640676 |     136      180     3232 |    33637    23164     26 |  0.006 % |
184.24/184.37	c There are 0 assigned variables. 0 in cost function.
186.04/186.11	c core #1
186.04/186.11	c core #2
186.04/186.11	c core #3
186.04/186.11	c core #4
186.04/186.11	c core #5
186.04/186.11	c core #6
186.04/186.11	c core #7
186.04/186.11	c core #8
186.04/186.11	c core #9
186.04/186.11	c core #10
186.04/186.11	c core #11
186.04/186.11	c core #12
186.04/186.11	c core #13
186.04/186.11	c core #14
186.04/186.11	c core #15
186.04/186.11	c core #16
186.04/186.11	c core #17
186.04/186.11	c core #18
186.04/186.11	c core #19
186.04/186.11	c core #20
186.04/186.11	c core #21
186.04/186.11	c core #22
186.04/186.11	c core #23
186.04/186.11	c core #24
186.04/186.11	c core #25
186.04/186.11	c core #26
186.04/186.11	c core #27
186.04/186.11	c core #28
186.04/186.11	c core #29
186.04/186.11	c core #30
186.04/186.11	c core #31
186.04/186.11	c core #32
186.04/186.11	c core #33
186.04/186.11	c core #34
186.04/186.11	c core #35
186.04/186.11	c core #36
186.04/186.11	c core #37
186.04/186.11	c core #38
186.04/186.11	c core #39
186.04/186.11	c core #40
186.04/186.11	c core #41
186.04/186.11	c core #42
186.04/186.11	c core #43
186.04/186.11	c core #44
186.04/186.11	c core #45
186.04/186.11	c core #46
186.04/186.11	c core #47
186.04/186.11	c core #48
186.04/186.11	c core #49
186.04/186.11	c core #50
186.04/186.11	c core #51
186.04/186.11	c core #52
186.04/186.11	c core #53
186.04/186.11	c core #54
186.04/186.11	c core #55
186.04/186.11	c core #56
186.04/186.11	c core #57
186.04/186.11	c core #58
186.04/186.11	c core #59
186.04/186.11	c core #60
186.04/186.11	c core #61
186.04/186.11	c core #62
186.04/186.11	c core #63
186.04/186.11	c core #64
186.04/186.11	c core #65
186.04/186.11	c core #66
186.04/186.11	c core #67
186.04/186.11	c core #68
186.04/186.11	c core #69
186.04/186.11	c core #70
186.04/186.11	c core #71
186.04/186.11	c ============================[ Search Statistics ]==============================
186.04/186.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.11	c ===============================================================================
186.04/186.11	c |         0 |    1099     1362     4991 |     5000        0    nan |  0.000 % |
186.04/186.11	c ===============================================================================
186.04/186.12	c core #72
186.04/186.12	c ============================[ Search Statistics ]==============================
186.04/186.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.12	c ===============================================================================
186.04/186.12	c |         0 |    1124     1384     5038 |     5000        0    nan |  0.000 % |
186.04/186.12	c ===============================================================================
186.04/186.13	c core #73
186.04/186.13	c ============================[ Search Statistics ]==============================
186.04/186.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.13	c ===============================================================================
186.04/186.13	c |         0 |    1153     1413     5099 |     5000        0    nan |  0.000 % |
186.04/186.13	c ===============================================================================
186.04/186.13	c core #74
186.04/186.13	c ============================[ Search Statistics ]==============================
186.04/186.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.13	c ===============================================================================
186.04/186.13	c |         0 |    1181     1440     5153 |     5000        0    nan |  0.000 % |
186.04/186.14	c ===============================================================================
186.04/186.14	c core #75
186.04/186.14	c ============================[ Search Statistics ]==============================
186.04/186.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.14	c ===============================================================================
186.04/186.14	c |         0 |    1211     1467     5215 |     5000        0    nan |  0.000 % |
186.04/186.14	c ===============================================================================
186.04/186.15	c core #76
186.04/186.15	c ============================[ Search Statistics ]==============================
186.04/186.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.15	c ===============================================================================
186.04/186.15	c |         0 |    1240     1492     5311 |     5000        0    nan |  0.000 % |
186.04/186.15	c ===============================================================================
186.04/186.16	c core #77
186.04/186.16	c ============================[ Search Statistics ]==============================
186.04/186.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.16	c ===============================================================================
186.04/186.16	c |         0 |    1269     1516     5364 |     5000        0    nan |  0.000 % |
186.04/186.16	c ===============================================================================
186.04/186.17	c core #78
186.04/186.17	c ============================[ Search Statistics ]==============================
186.04/186.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.17	c ===============================================================================
186.04/186.17	c |         0 |    1295     1541     5443 |     5000        0    nan |  0.000 % |
186.04/186.17	c ===============================================================================
186.04/186.18	c core #79
186.04/186.18	c ============================[ Search Statistics ]==============================
186.04/186.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.18	c ===============================================================================
186.04/186.18	c |         0 |    1322     1565     5529 |     5000        0    nan |  0.000 % |
186.04/186.18	c ===============================================================================
186.04/186.19	c core #80
186.04/186.19	c ============================[ Search Statistics ]==============================
186.04/186.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.19	c ===============================================================================
186.04/186.19	c |         0 |    1360     1590     5737 |     5000        0    nan |  0.000 % |
186.04/186.19	c ===============================================================================
186.04/186.20	c core #81
186.04/186.20	c ============================[ Search Statistics ]==============================
186.04/186.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.04/186.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.04/186.20	c ===============================================================================
186.04/186.20	c |         0 |    1393     1621     5824 |     5000        0    nan |  0.000 % |
186.14/186.20	c ===============================================================================
186.14/186.21	c core #82
186.14/186.21	c ============================[ Search Statistics ]==============================
186.14/186.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.21	c ===============================================================================
186.14/186.21	c |         0 |    1426     1652     5911 |     5000        0    nan |  0.000 % |
186.14/186.21	c ===============================================================================
186.14/186.22	c core #83
186.14/186.22	c ============================[ Search Statistics ]==============================
186.14/186.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.22	c ===============================================================================
186.14/186.22	c |         0 |    1459     1680     5992 |     5000        0    nan |  0.000 % |
186.14/186.22	c ===============================================================================
186.14/186.23	c core #84
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 |    1495     1714     6077 |     5000        0    nan |  0.000 % |
186.14/186.23	c ===============================================================================
186.14/186.24	c core #85
186.14/186.24	c ============================[ Search Statistics ]==============================
186.14/186.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.24	c ===============================================================================
186.14/186.24	c |         0 |    1532     1750     6193 |     5000        0    nan |  0.000 % |
186.14/186.24	c ===============================================================================
186.14/186.25	c core #86
186.14/186.25	c ============================[ Search Statistics ]==============================
186.14/186.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.25	c ===============================================================================
186.14/186.25	c |         0 |    1576     1791     6299 |     5000        0    nan |  0.000 % |
186.14/186.25	c ===============================================================================
186.14/186.26	c core #87
186.14/186.26	c ============================[ Search Statistics ]==============================
186.14/186.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.26	c ===============================================================================
186.14/186.26	c |         0 |    1611     1824     6388 |     5000        0    nan |  0.000 % |
186.14/186.27	c ===============================================================================
186.14/186.27	c core #88
186.14/186.27	c ============================[ Search Statistics ]==============================
186.14/186.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.27	c ===============================================================================
186.14/186.27	c |         0 |    1646     1857     6465 |     5000        0    nan |  0.000 % |
186.14/186.28	c ===============================================================================
186.14/186.29	c core #89
186.14/186.29	c ============================[ Search Statistics ]==============================
186.14/186.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.14/186.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.14/186.29	c ===============================================================================
186.14/186.29	c |         0 |    1679     1889     6542 |     5000        0    nan |  0.000 % |
186.14/186.29	c ===============================================================================
186.23/186.30	c core #90
186.23/186.30	c ============================[ Search Statistics ]==============================
186.23/186.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.30	c ===============================================================================
186.23/186.30	c |         0 |    1715     1924     6625 |     5000        0    nan |  0.000 % |
186.23/186.30	c ===============================================================================
186.23/186.31	c core #91
186.23/186.31	c ============================[ Search Statistics ]==============================
186.23/186.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.31	c ===============================================================================
186.23/186.31	c |         0 |    1747     1955     6704 |     5000        0    nan |  0.000 % |
186.23/186.31	c ===============================================================================
186.23/186.32	c core #92
186.23/186.32	c ============================[ Search Statistics ]==============================
186.23/186.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.32	c ===============================================================================
186.23/186.32	c |         0 |    1781     1986     6775 |     5000        0    nan |  0.000 % |
186.23/186.33	c ===============================================================================
186.23/186.33	c core #93
186.23/186.33	c ============================[ Search Statistics ]==============================
186.23/186.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.33	c ===============================================================================
186.23/186.33	c |         0 |    1812     2013     6880 |     5000        0    nan |  0.000 % |
186.23/186.34	c ===============================================================================
186.23/186.35	c core #94
186.23/186.35	c ============================[ Search Statistics ]==============================
186.23/186.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.35	c ===============================================================================
186.23/186.35	c |         0 |    1845     2045     6955 |     5000        0    nan |  0.000 % |
186.23/186.35	c ===============================================================================
186.23/186.36	c core #95
186.23/186.36	c ============================[ Search Statistics ]==============================
186.23/186.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.36	c ===============================================================================
186.23/186.36	c |         0 |    1883     2082     7040 |     5000        0    nan |  0.000 % |
186.23/186.36	c ===============================================================================
186.23/186.37	c core #96
186.23/186.37	c ============================[ Search Statistics ]==============================
186.23/186.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.37	c ===============================================================================
186.23/186.37	c |         0 |    1927     2122     7213 |     5000        0    nan |  0.000 % |
186.23/186.37	c ===============================================================================
186.23/186.38	c core #97
186.23/186.38	c ============================[ Search Statistics ]==============================
186.23/186.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.38	c ===============================================================================
186.23/186.38	c |         0 |    1960     2154     7316 |     5000        0    nan |  0.000 % |
186.23/186.39	c ===============================================================================
186.23/186.40	c core #98
186.23/186.40	c ============================[ Search Statistics ]==============================
186.23/186.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.40	c ===============================================================================
186.23/186.40	c |         0 |    2000     2193     7409 |     5000        0    nan |  0.000 % |
186.34/186.40	c ===============================================================================
186.34/186.41	c core #99
186.34/186.41	c ============================[ Search Statistics ]==============================
186.34/186.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.41	c ===============================================================================
186.34/186.41	c |         0 |    2036     2226     7495 |     5000        0    nan |  0.000 % |
186.34/186.41	c ===============================================================================
186.34/186.42	c core #100
186.34/186.42	c ============================[ Search Statistics ]==============================
186.34/186.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.42	c ===============================================================================
186.34/186.42	c |         0 |    2073     2262     7574 |     5000        0    nan |  0.000 % |
186.34/186.43	c ===============================================================================
186.34/186.44	c core #101
186.34/186.44	c ============================[ Search Statistics ]==============================
186.34/186.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.44	c ===============================================================================
186.34/186.44	c |         0 |    2130     2318     7712 |     5000        0    nan |  0.000 % |
186.34/186.44	c ===============================================================================
186.34/186.45	c core #102
186.34/186.45	c ============================[ Search Statistics ]==============================
186.34/186.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.45	c ===============================================================================
186.34/186.45	c |         0 |    2173     2359     7808 |     5000        0    nan |  0.000 % |
186.34/186.45	c ===============================================================================
186.34/186.46	c core #103
186.34/186.46	c ============================[ Search Statistics ]==============================
186.34/186.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.46	c ===============================================================================
186.34/186.46	c |         0 |    2212     2398     7899 |     5000        0    nan |  0.000 % |
186.34/186.47	c ===============================================================================
186.34/186.48	c core #104
186.34/186.48	c ============================[ Search Statistics ]==============================
186.34/186.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.48	c ===============================================================================
186.34/186.48	c |         0 |    2254     2439     7995 |     5000        0    nan |  0.000 % |
186.34/186.48	c ===============================================================================
186.34/186.49	c core #105
186.34/186.49	c ============================[ Search Statistics ]==============================
186.34/186.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.34/186.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.34/186.49	c ===============================================================================
186.34/186.49	c |         0 |    2296     2479     8088 |     5000        0    nan |  0.000 % |
186.44/186.50	c ===============================================================================
186.44/186.51	c core #106
186.44/186.51	c ============================[ Search Statistics ]==============================
186.44/186.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.44/186.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.44/186.51	c ===============================================================================
186.44/186.51	c |         0 |    2347     2527     8202 |     5000        0    nan |  0.000 % |
186.44/186.51	c ===============================================================================
186.44/186.52	c core #107
186.44/186.52	c ============================[ Search Statistics ]==============================
186.44/186.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.44/186.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.44/186.52	c ===============================================================================
186.44/186.52	c |         0 |    2391     2571     8310 |     5000        0    nan |  0.000 % |
186.44/186.53	c ===============================================================================
186.44/186.54	c core #108
186.44/186.54	c ============================[ Search Statistics ]==============================
186.44/186.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.44/186.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.44/186.54	c ===============================================================================
186.44/186.54	c |         0 |    2436     2611     8409 |     5000        0    nan |  0.000 % |
186.44/186.55	c ===============================================================================
186.44/186.56	c core #109
186.44/186.56	c ============================[ Search Statistics ]==============================
186.44/186.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.44/186.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.44/186.56	c ===============================================================================
186.44/186.56	c |         0 |    2485     2660     8534 |     5000        0    nan |  0.000 % |
186.44/186.56	c ===============================================================================
186.44/186.57	c core #110
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 |    2532     2698     8633 |     5000        0    nan |  0.000 % |
186.44/186.58	c ===============================================================================
186.44/186.59	c core #111
186.44/186.59	c ============================[ Search Statistics ]==============================
186.44/186.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.44/186.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.44/186.59	c ===============================================================================
186.44/186.59	c |         0 |    2585     2737     8750 |     5000        0    nan |  0.000 % |
186.44/186.60	c ===============================================================================
186.54/186.60	c core #112
186.54/186.60	c ============================[ Search Statistics ]==============================
186.54/186.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.54/186.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.54/186.60	c ===============================================================================
186.54/186.60	c |         0 |    2633     2777     8860 |     5000        0    nan |  0.000 % |
186.54/186.62	c ===============================================================================
186.54/186.63	c core #113
186.54/186.63	c ============================[ Search Statistics ]==============================
186.54/186.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.54/186.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.54/186.63	c ===============================================================================
186.54/186.63	c |         0 |    2702     2816     9076 |     5000        0    nan |  0.000 % |
186.54/186.64	c ===============================================================================
186.54/186.64	c #cores: 113
186.54/186.64	c Final Weight: 5852
186.54/186.64	o 5852
186.54/186.64	s OPTIMUM FOUND
186.54/186.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 x136
186.54/186.64	c Total CPU time: 182.238 s

Verifier Data 

OK	5852

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655761-1276629749/watcher-2655761-1276629749 -o /tmp/evaluation-result-2655761-1276629749/solver-2655761-1276629749 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655761-1276629749.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10904
/proc/meminfo: memFree=1454828/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=2576 CPUtime=0
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 285 0 0 0 0 0 0 0 19 0 1 0 4267537 2637824 201 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 644 201 146 303 0 339 0

[startup+0.086889 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10904
/proc/meminfo: memFree=1454828/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=2968 CPUtime=0.08
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 401 0 0 0 8 0 0 0 20 0 1 0 4267537 3039232 317 1992294400 134512640 135751879 4287888064 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 742 317 147 303 0 437 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2968

[startup+0.101891 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10904
/proc/meminfo: memFree=1454828/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=3100 CPUtime=0.09
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 418 0 0 0 9 0 0 0 20 0 1 0 4267537 3174400 334 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 775 334 147 303 0 470 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3100

[startup+0.301908 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10904
/proc/meminfo: memFree=1454828/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=4024 CPUtime=0.29
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 646 0 0 0 29 0 0 0 20 0 1 0 4267537 4120576 562 1992294400 134512640 135751879 4287888064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 1006 562 147 303 0 701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4024

[startup+0.701943 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10904
/proc/meminfo: memFree=1454828/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=5456 CPUtime=0.69
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 1025 0 0 0 67 2 0 0 20 0 1 0 4267537 5586944 941 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 1364 941 148 303 0 1059 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5456

[startup+1.50101 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 10905
/proc/meminfo: memFree=1450480/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=8384 CPUtime=1.49
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 1731 0 0 0 143 6 0 0 22 0 1 0 4267537 8585216 1647 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 2096 1647 148 303 0 1791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8384

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10905
/proc/meminfo: memFree=1446388/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=13532 CPUtime=3.08
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 3022 0 0 0 297 11 0 0 25 0 1 0 4267537 13856768 2938 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 3383 2938 148 303 0 3078 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13532

[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10905
/proc/meminfo: memFree=1436964/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=22016 CPUtime=6.29
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 5148 0 0 0 610 19 0 0 25 0 1 0 4267537 22544384 5064 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 5504 5064 148 303 0 5199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22016

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10905
/proc/meminfo: memFree=1418736/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=39760 CPUtime=12.68
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 9587 0 0 0 1231 37 0 0 25 0 1 0 4267537 40714240 9503 1992294400 134512640 135751879 4287888064 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 9940 9503 148 303 0 9635 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39760

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10907
/proc/meminfo: memFree=1389720/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=67600 CPUtime=25.48
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 16546 0 0 0 2475 73 0 0 25 0 1 0 4267537 69222400 16462 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 16900 16462 148 303 0 16595 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67600

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10907
/proc/meminfo: memFree=1331688/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=126188 CPUtime=51.08
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 31178 0 0 0 4967 141 0 0 25 0 1 0 4267537 129216512 31094 1992294400 134512640 135751879 4287888064 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 31547 31094 148 303 0 31242 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 126188

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 10909
/proc/meminfo: memFree=1229264/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=227388 CPUtime=102.27
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 56454 0 0 0 9960 267 0 0 25 0 1 0 4267537 232845312 56370 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 56847 56370 148 303 0 56542 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 227388

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10909
/proc/meminfo: memFree=1129196/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=327556 CPUtime=162.25
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 81504 0 0 0 15836 389 0 0 25 0 1 0 4267537 335417344 81420 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 81889 81420 148 303 0 81584 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 327556

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

[startup+166.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1121756/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=334676 CPUtime=166.24
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 83277 0 0 0 16226 398 0 0 25 0 1 0 4267537 342708224 83193 1992294400 134512640 135751879 4287888064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 83669 83193 148 303 0 83364 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 334676

[startup+179.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1105512/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=351528 CPUtime=179.04
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 87494 0 0 0 17483 421 0 0 25 0 1 0 4267537 359964672 87410 1992294400 134512640 135751879 4287888064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 87882 87410 148 303 0 87577 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 351528

[startup+182.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1101544/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=356780 CPUtime=182.24
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 88788 0 0 0 17796 428 0 0 25 0 1 0 4267537 365342720 88704 1992294400 134512640 135751879 4287888064 18446744073709551615 134602436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 89195 88704 148 303 0 88890 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 356780

[startup+183.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1096708/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=359664 CPUtime=183.84
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 89528 0 0 0 17953 431 0 0 25 0 1 0 4267537 368295936 89444 1992294400 134512640 135751879 4287888064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 89916 89444 148 303 0 89611 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 359664

[startup+185.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1095344/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=360588 CPUtime=185.44
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 89757 0 0 0 18112 432 0 0 25 0 1 0 4267537 369242112 89673 1992294400 134512640 135751879 4287888064 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 90147 89673 149 303 0 89842 0
Current children cumulated CPU time (s) 185.44
Current children cumulated vsize (KiB) 360588

[startup+186.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1095344/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=360424 CPUtime=186.23
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 89767 0 0 0 18191 432 0 0 25 0 1 0 4267537 369074176 89650 1992294400 134512640 135751879 4287888064 18446744073709551615 134617302 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 90106 89650 151 303 0 89801 0
Current children cumulated CPU time (s) 186.23
Current children cumulated vsize (KiB) 360424

[startup+186.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1095344/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=360424 CPUtime=186.44
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 89776 0 0 0 18211 433 0 0 25 0 1 0 4267537 369074176 89659 1992294400 134512640 135751879 4287888064 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 90106 89659 151 303 0 89801 0
Current children cumulated CPU time (s) 186.44
Current children cumulated vsize (KiB) 360424

[startup+186.601 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10911
/proc/meminfo: memFree=1095344/2059040 swapFree=4192956/4192956
[pid=10904] ppid=10902 vsize=360424 CPUtime=186.54
/proc/10904/stat : 10904 (wbo1.4b) R 10902 10904 10879 0 -1 4202496 89778 0 0 0 18220 434 0 0 25 0 1 0 4267537 369074176 89661 1992294400 134512640 135751879 4287888064 18446744073709551615 134638887 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10904/statm: 90106 89661 151 303 0 89801 0
Current children cumulated CPU time (s) 186.54
Current children cumulated vsize (KiB) 360424

Child status: 0
Real time (s): 186.674
CPU time (s): 186.618
CPU user time (s): 182.238
CPU system time (s): 4.37933
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 360588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.238
system time used= 4.37933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89778
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= 16
involuntary context switches= 154

runsolver used 0.293955 second user time and 0.923859 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-15 21:22:29
IDJOB=2655761
IDBENCH=24966
IDSOLVER=1161
FILE ID=node041/2655761-1276629749
PBS_JOBID= 11172366
Free space on /tmp= 62084 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-8_16.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655761-1276629749/watcher-2655761-1276629749 -o /tmp/evaluation-result-2655761-1276629749/solver-2655761-1276629749 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655761-1276629749.opb

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

MD5SUM BENCH= a50db2fb26a0b36972cba004cae6f3a3
RANDOM SEED=737354768

node041.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.251
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.50
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.251
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.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1455356 kB
Buffers:         88492 kB
Cached:         375064 kB
SwapCached:          0 kB
Active:         203528 kB
Inactive:       319356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1455356 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2748 kB
Writeback:           0 kB
AnonPages:       59276 kB
Mapped:          15380 kB
Slab:            59000 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62080 MiB
End job on node041 at 2010-06-15 21:25:35