Trace number 2702669

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 (fixed)? (TO) 1800.01 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
MD5SUM24465d104818b01999b811ba346c3d8e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-113
Best CPU time to get the best result obtained on this benchmark1798.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -152
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63088
Sum of products size (including duplicates)126176
Number of different products31544
Sum of products size63088

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702669-1278574290.opb.
0.00/0.00	c Instance file HOME/instance-2702669-1278574290.opb
0.00/0.00	c File size is 2898833 bytes.
0.49/0.56	c Highest Coefficient sum: 2000
0.49/0.56	c ============================[ Problem Statistics ]=============================
0.49/0.56	c |                                                                             |
0.49/0.56	c |  Parsing time:          0.55         s                                      |
0.49/0.56	c |  Number Variables:      33544                                               |
0.49/0.56	c |  Number Clauses:        32544                                               |
0.49/0.56	c |  Number Cardinality:    2002                                                |
0.49/0.56	c |  Number PB Constraints: 31544                                               |
1.09/1.17	c ============================[ Search Statistics ]==============================
1.09/1.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.17	c ===============================================================================
1.09/1.17	c |         0 |   33544    66090   258352 |    22030        0    nan |  0.000 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c New solution: 0
1.19/1.25	o 0
1.19/1.25	c Elapsed CPU time: 1.22181 s	Remaining CPU time: 178.778 s
1.19/1.25	c ===============================================================================
1.19/1.25	c |         0 |   33544    66091   259352 |    22030        0    nan |  0.000 % |
1.28/1.39	c ===============================================================================
1.28/1.39	c New solution: -1
1.28/1.39	o -1
1.28/1.39	c Elapsed CPU time: 1.36579 s	Remaining CPU time: 178.634 s
1.28/1.39	c ===============================================================================
1.28/1.39	c |         1 |   33544    66092   260352 |    22030        1   1006 |  0.000 % |
1.39/1.45	c ===============================================================================
1.39/1.45	c New solution: -2
1.39/1.45	o -2
1.39/1.45	c Elapsed CPU time: 1.42078 s	Remaining CPU time: 178.579 s
1.39/1.45	c ===============================================================================
1.39/1.45	c |         1 |   33544    66093   261352 |    22031        1   1006 |  0.000 % |
1.49/1.51	c ===============================================================================
1.49/1.51	c New solution: -3
1.49/1.51	o -3
1.49/1.51	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 178.526 s
1.49/1.51	c ===============================================================================
1.49/1.51	c |         1 |   33544    66094   262352 |    22031        1   1006 |  0.000 % |
1.49/1.56	c ===============================================================================
1.49/1.56	c New solution: -4
1.49/1.56	o -4
1.49/1.56	c Elapsed CPU time: 1.53077 s	Remaining CPU time: 178.469 s
1.49/1.56	c ===============================================================================
1.49/1.56	c |         1 |   33544    66095   263352 |    22031        1   1006 |  0.000 % |
1.59/1.63	c ===============================================================================
1.59/1.63	c New solution: -5
1.59/1.63	o -5
1.59/1.63	c Elapsed CPU time: 1.58976 s	Remaining CPU time: 178.41 s
1.59/1.63	c ===============================================================================
1.59/1.63	c |        11 |   33544    66096   264352 |    22032       11   1902 |  0.000 % |
1.59/1.68	c ===============================================================================
1.59/1.68	c New solution: -6
1.59/1.68	o -6
1.59/1.68	c Elapsed CPU time: 1.64675 s	Remaining CPU time: 178.353 s
1.59/1.68	c ===============================================================================
1.59/1.68	c |        11 |   33544    66097   265352 |    22032       11   1902 |  0.000 % |
1.68/1.74	c ===============================================================================
1.68/1.74	c New solution: -7
1.68/1.74	o -7
1.68/1.74	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 178.295 s
1.68/1.74	c ===============================================================================
1.68/1.74	c |        12 |   33544    66098   266352 |    22032       12   1744 |  0.000 % |
1.79/1.80	c ===============================================================================
1.79/1.80	c New solution: -8
1.79/1.80	o -8
1.79/1.80	c Elapsed CPU time: 1.76273 s	Remaining CPU time: 178.237 s
1.79/1.80	c ===============================================================================
1.79/1.80	c |        13 |   33544    66099   267352 |    22033       13   1610 |  0.000 % |
1.79/1.86	c ===============================================================================
1.79/1.86	c New solution: -9
1.79/1.86	o -9
1.79/1.86	c Elapsed CPU time: 1.82172 s	Remaining CPU time: 178.178 s
1.79/1.86	c ===============================================================================
1.79/1.86	c |        15 |   33544    66100   268352 |    22033       15   1462 |  0.000 % |
1.89/1.98	c |       116 |   33544    66100   268352 |    24236      116   1917 |  0.000 % |
2.09/2.12	c |       266 |   33544    66100   268352 |    26660      266   1956 |  0.000 % |
2.29/2.32	c |       491 |   33544    66100   268352 |    29326      491   1970 |  0.000 % |
2.59/2.64	c |       828 |   33544    66100   268352 |    32259      828   1977 |  0.000 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: -10
2.69/2.70	o -10
2.69/2.70	c Elapsed CPU time: 2.6536 s	Remaining CPU time: 177.346 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |       829 |   33544    66101   269352 |    22033      829   1974 |  0.000 % |
2.69/2.77	c ===============================================================================
2.69/2.77	c New solution: -11
2.69/2.77	o -11
2.69/2.77	c Elapsed CPU time: 2.71759 s	Remaining CPU time: 177.282 s
2.69/2.77	c ===============================================================================
2.69/2.77	c |       834 |   33544    66102   270352 |    22034      834   1967 |  0.000 % |
2.79/2.88	c |       934 |   33544    66102   270352 |    24237      934   1968 |  0.000 % |
2.99/3.03	c |      1084 |   33544    66102   270352 |    26661     1084   1967 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: -12
2.99/3.09	o -12
2.99/3.09	c Elapsed CPU time: 3.03554 s	Remaining CPU time: 176.964 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |      1084 |   33544    66103   271352 |    22034     1084   1967 |  0.000 % |
3.20/3.21	c |      1184 |   33544    66103   271352 |    24237     1184   1968 |  0.000 % |
3.30/3.37	c |      1334 |   33544    66103   271352 |    26661     1334   1970 |  0.000 % |
3.49/3.56	c |      1559 |   33544    66103   271352 |    29327     1559   1972 |  0.000 % |
3.79/3.84	c |      1897 |   33544    66103   271352 |    32260     1897   1973 |  0.000 % |
3.89/3.90	c ===============================================================================
3.89/3.90	c New solution: -13
3.89/3.90	o -13
3.89/3.90	c Elapsed CPU time: 3.82242 s	Remaining CPU time: 176.178 s
3.89/3.90	c ===============================================================================
3.89/3.90	c |      1897 |   33544    66104   272352 |    22034     1897   1973 |  0.000 % |
3.99/4.02	c |      1997 |   33544    66104   272352 |    24238     1997   1969 |  0.000 % |
4.09/4.18	c ===============================================================================
4.09/4.18	c New solution: -14
4.09/4.18	o -14
4.09/4.18	c Elapsed CPU time: 4.09838 s	Remaining CPU time: 175.902 s
4.09/4.18	c ===============================================================================
4.09/4.18	c |      2109 |   33544    66105   273352 |    22035     2109   1968 |  0.000 % |
4.19/4.30	c |      2209 |   33544    66105   273352 |    24238     2209   1968 |  0.000 % |
4.40/4.45	c |      2359 |   33544    66105   273352 |    26662     2359   1969 |  0.000 % |
4.59/4.66	c |      2584 |   33544    66105   273352 |    29328     2584   1970 |  0.000 % |
4.89/4.94	c |      2921 |   33544    66105   273352 |    32261     2921   1969 |  0.000 % |
4.99/5.01	c ===============================================================================
4.99/5.01	c New solution: -15
4.99/5.01	o -15
4.99/5.01	c Elapsed CPU time: 4.90925 s	Remaining CPU time: 175.091 s
4.99/5.01	c ===============================================================================
4.99/5.01	c |      2932 |   33544    66106   274352 |    22035     2932   1969 |  0.000 % |
5.09/5.13	c |      3032 |   33544    66106   274352 |    24238     3032   1969 |  0.000 % |
5.19/5.27	c |      3183 |   33544    66106   274352 |    26662     3183   1969 |  0.000 % |
5.50/5.52	c |      3408 |   33544    66106   274352 |    29329     3408   1970 |  0.000 % |
5.69/5.71	c ===============================================================================
5.69/5.71	c New solution: -16
5.69/5.71	o -16
5.69/5.71	c Elapsed CPU time: 5.59215 s	Remaining CPU time: 174.408 s
5.69/5.71	c ===============================================================================
5.69/5.71	c |      3593 |   33544    66107   275352 |    22035     3593   1968 |  0.000 % |
5.79/5.84	c |      3693 |   33544    66107   275352 |    24239     3693   1968 |  0.000 % |
5.99/6.02	c |      3843 |   33544    66107   275352 |    26663     3843   1968 |  0.000 % |
6.19/6.25	c |      4068 |   33544    66107   275352 |    29329     4068   1967 |  0.000 % |
6.39/6.40	c ===============================================================================
6.39/6.40	c New solution: -17
6.39/6.40	o -17
6.39/6.40	c Elapsed CPU time: 6.27904 s	Remaining CPU time: 173.721 s
6.39/6.40	c ===============================================================================
6.39/6.40	c |      4208 |   33544    66108   276352 |    22036     4208   1965 |  0.000 % |
6.49/6.55	c |      4308 |   33544    66108   276352 |    24239     4308   1966 |  0.000 % |
6.69/6.70	c |      4459 |   33544    66108   276352 |    26663     4459   1966 |  0.000 % |
6.79/6.89	c |      4684 |   33544    66108   276352 |    29329     4684   1962 |  0.000 % |
7.19/7.23	c |      5021 |   33544    66108   276352 |    32262     5021   1963 |  0.000 % |
7.59/7.69	c |      5527 |   33544    66108   276352 |    35489     5527   1964 |  0.000 % |
7.70/7.76	c ===============================================================================
7.70/7.76	c New solution: -18
7.70/7.76	o -18
7.70/7.76	c Elapsed CPU time: 7.61284 s	Remaining CPU time: 172.387 s
7.70/7.76	c ===============================================================================
7.70/7.76	c |      5528 |   33544    66109   277352 |    22036     5528   1963 |  0.000 % |
7.79/7.83	c ===============================================================================
7.79/7.83	c New solution: -19
7.79/7.83	o -19
7.79/7.83	c Elapsed CPU time: 7.67583 s	Remaining CPU time: 172.324 s
7.79/7.83	c ===============================================================================
7.79/7.83	c |      5528 |   33544    66110   278352 |    22036     5528   1963 |  0.000 % |
7.89/7.90	c ===============================================================================
7.89/7.90	c New solution: -20
7.89/7.90	o -20
7.89/7.90	c Elapsed CPU time: 7.75182 s	Remaining CPU time: 172.248 s
7.89/7.90	c ===============================================================================
7.89/7.90	c |      5544 |   33544    66111   279352 |    22037     5544   1960 |  0.000 % |
7.99/8.04	c |      5644 |   33544    66111   279352 |    24240     5644   1960 |  0.000 % |
8.19/8.21	c ===============================================================================
8.19/8.21	c New solution: -21
8.19/8.21	o -21
8.19/8.21	c Elapsed CPU time: 8.05177 s	Remaining CPU time: 171.948 s
8.19/8.21	c ===============================================================================
8.19/8.21	c |      5760 |   33544    66112   280352 |    22037     5760   1959 |  0.000 % |
8.28/8.33	c |      5860 |   33544    66112   280352 |    24241     5860   1958 |  0.000 % |
8.49/8.54	c |      6010 |   33544    66112   280352 |    26665     6010   1958 |  0.000 % |
8.89/8.91	c |      6235 |   33544    66112   280352 |    29331     6235   1956 |  0.000 % |
9.19/9.26	c |      6572 |   33544    66112   280352 |    32264     6572   1956 |  0.000 % |
9.69/9.76	c |      7078 |   33544    66112   280352 |    35491     7078   1955 |  0.000 % |
10.39/10.45	c |      7837 |   33544    66112   280352 |    39040     7837   1954 |  0.000 % |
11.49/11.56	c |      8976 |   33544    66112   280352 |    42944     8976   1956 |  0.000 % |
13.09/13.17	c |     10684 |   33544    66112   280352 |    47238    10684   1959 |  0.000 % |
13.29/13.31	c ===============================================================================
13.29/13.31	c New solution: -22
13.29/13.31	o -22
13.29/13.31	c Elapsed CPU time: 13.101 s	Remaining CPU time: 166.899 s
13.29/13.31	c ===============================================================================
13.29/13.31	c |     10759 |   33544    66113   281352 |    22037    10759   1952 |  0.000 % |
13.39/13.47	c |     10859 |   33544    66113   281352 |    24241    10859   1952 |  0.000 % |
13.59/13.67	c |     11009 |   33544    66113   281352 |    26665    11009   1952 |  0.000 % |
13.79/13.89	c |     11234 |   33544    66113   281352 |    29332    11234   1952 |  0.000 % |
14.19/14.22	c |     11571 |   33544    66113   281352 |    32265    11571   1951 |  0.000 % |
14.69/14.72	c |     12077 |   33544    66113   281352 |    35491    12077   1952 |  0.000 % |
15.40/15.49	c |     12836 |   33544    66113   281352 |    39041    12836   1952 |  0.000 % |
16.59/16.63	c |     13975 |   33544    66113   281352 |    42945    13975   1953 |  0.000 % |
18.59/18.61	c |     15683 |   33544    66113   281352 |    47239    15683   1954 |  0.000 % |
21.48/21.59	c |     18245 |   33544    66113   281352 |    51963    18245   1956 |  0.000 % |
26.68/26.72	c |     22089 |   33544    66113   281352 |    57160    22089   1958 |  0.000 % |
26.78/26.82	c ===============================================================================
26.78/26.82	c New solution: -23
26.78/26.82	o -23
26.78/26.82	c Elapsed CPU time: 26.466 s	Remaining CPU time: 153.534 s
26.78/26.82	c ===============================================================================
26.78/26.82	c |     22092 |   33544    66114   282352 |    22038    22092   1958 |  0.000 % |
26.99/27.01	c |     22192 |   33544    66114   282352 |    24241    10790   1963 |  0.000 % |
27.18/27.21	c |     22342 |   33544    66114   282352 |    26665    10940   1963 |  0.000 % |
27.38/27.48	c |     22567 |   33544    66114   282352 |    29332    11165   1963 |  0.000 % |
27.78/27.86	c |     22904 |   33544    66114   282352 |    32265    11502   1961 |  0.000 % |
28.38/28.45	c |     23410 |   33544    66114   282352 |    35492    12008   1961 |  0.000 % |
28.78/28.88	c ===============================================================================
28.78/28.88	c New solution: -24
28.78/28.88	o -24
28.78/28.88	c Elapsed CPU time: 28.4987 s	Remaining CPU time: 151.501 s
28.78/28.88	c ===============================================================================
28.78/28.88	c |     23631 |   33544    66115   283352 |    22038    12229   1961 |  0.000 % |
28.98/29.06	c |     23731 |   33544    66115   283352 |    24242    12329   1961 |  0.000 % |
29.19/29.28	c |     23881 |   33544    66115   283352 |    26666    12479   1961 |  0.000 % |
29.48/29.55	c |     24106 |   33544    66115   283352 |    29333    12704   1960 |  0.000 % |
29.98/30.02	c |     24443 |   33544    66115   283352 |    32266    13041   1961 |  0.000 % |
30.59/30.60	c |     24949 |   33544    66115   283352 |    35492    13547   1961 |  0.000 % |
31.48/31.50	c |     25708 |   33544    66115   283352 |    39042    14306   1961 |  0.000 % |
31.58/31.60	c ===============================================================================
31.58/31.60	c New solution: -25
31.58/31.60	o -25
31.58/31.60	c Elapsed CPU time: 31.1773 s	Remaining CPU time: 148.823 s
31.58/31.60	c ===============================================================================
31.58/31.60	c |     25732 |   33544    66116   284352 |    22038    14330   1959 |  0.000 % |
31.78/31.80	c |     25832 |   33544    66116   284352 |    24242    14430   1959 |  0.000 % |
31.88/31.98	c |     25982 |   33544    66116   284352 |    26666    14580   1959 |  0.000 % |
32.17/32.22	c |     26207 |   33544    66116   284352 |    29333    14805   1959 |  0.000 % |
32.58/32.62	c |     26544 |   33544    66116   284352 |    32266    15142   1959 |  0.000 % |
32.68/32.77	c ===============================================================================
32.68/32.77	c New solution: -26
32.68/32.77	o -26
32.68/32.77	c Elapsed CPU time: 32.3361 s	Remaining CPU time: 147.664 s
32.68/32.77	c ===============================================================================
32.68/32.77	c |     26603 |   33544    66117   285352 |    22039    15201   1955 |  0.000 % |
32.88/32.94	c |     26703 |   33544    66117   285352 |    24242    15301   1955 |  0.000 % |
33.07/33.14	c |     26853 |   33544    66117   285352 |    26667    15451   1955 |  0.000 % |
33.28/33.40	c |     27078 |   33544    66117   285352 |    29333    15676   1955 |  0.000 % |
33.77/33.82	c |     27415 |   33544    66117   285352 |    32267    16013   1955 |  0.000 % |
33.87/33.92	c ===============================================================================
33.87/33.92	c New solution: -27
33.87/33.92	o -27
33.87/33.92	c Elapsed CPU time: 33.4649 s	Remaining CPU time: 146.535 s
33.87/33.92	c ===============================================================================
33.87/33.92	c |     27424 |   33544    66118   286352 |    22039    16022   1954 |  0.000 % |
33.98/34.09	c |     27524 |   33544    66118   286352 |    24243    16122   1954 |  0.000 % |
34.28/34.32	c |     27674 |   33544    66118   286352 |    26667    16272   1954 |  0.000 % |
34.58/34.62	c |     27899 |   33544    66118   286352 |    29334    16497   1954 |  0.000 % |
34.88/34.94	c |     28236 |   33544    66118   286352 |    32267    16834   1955 |  0.000 % |
34.97/35.09	c ===============================================================================
34.97/35.09	c New solution: -28
34.97/35.09	o -28
34.97/35.09	c Elapsed CPU time: 34.6167 s	Remaining CPU time: 145.383 s
34.97/35.09	c ===============================================================================
34.97/35.09	c |     28279 |   33544    66119   287352 |    22039    16877   1951 |  0.000 % |
35.18/35.24	c |     28379 |   33544    66119   287352 |    24243    16977   1951 |  0.000 % |
35.37/35.41	c |     28529 |   33544    66119   287352 |    26667    17127   1951 |  0.000 % |
35.57/35.65	c |     28754 |   33544    66119   287352 |    29334    17352   1951 |  0.000 % |
35.97/36.02	c |     29091 |   33544    66119   287352 |    32268    17689   1951 |  0.000 % |
36.47/36.54	c |     29597 |   33544    66119   287352 |    35495    18195   1951 |  0.000 % |
36.58/36.65	c ===============================================================================
36.58/36.65	c New solution: -29
36.58/36.65	o -29
36.58/36.65	c Elapsed CPU time: 36.1575 s	Remaining CPU time: 143.842 s
36.58/36.65	c ===============================================================================
36.58/36.65	c |     29626 |   33544    66120   288352 |    22040    18224   1949 |  0.000 % |
36.77/36.82	c |     29726 |   33544    66120   288352 |    24244    18324   1949 |  0.000 % |
36.97/37.03	c |     29876 |   33544    66120   288352 |    26668    18474   1949 |  0.000 % |
37.28/37.31	c |     30101 |   33544    66120   288352 |    29335    18699   1949 |  0.000 % |
37.57/37.69	c |     30438 |   33544    66120   288352 |    32268    19036   1949 |  0.000 % |
37.77/37.83	c ===============================================================================
37.77/37.83	c New solution: -30
37.77/37.83	o -30
37.77/37.83	c Elapsed CPU time: 37.3113 s	Remaining CPU time: 142.689 s
37.77/37.83	c ===============================================================================
37.77/37.83	c |     30497 |   33544    66121   289352 |    22040    19095   1945 |  0.000 % |
37.97/38.01	c |     30597 |   33544    66121   289352 |    24244    19195   1945 |  0.000 % |
38.07/38.19	c |     30747 |   33544    66121   289352 |    26668    19345   1945 |  0.000 % |
38.38/38.47	c |     30972 |   33544    66121   289352 |    29335    19570   1946 |  0.000 % |
38.77/38.80	c |     31309 |   33544    66121   289352 |    32269    19907   1946 |  0.000 % |
38.88/38.95	c ===============================================================================
38.88/38.95	c New solution: -31
38.88/38.95	o -31
38.88/38.95	c Elapsed CPU time: 38.4162 s	Remaining CPU time: 141.584 s
38.88/38.95	c ===============================================================================
38.88/38.95	c |     31364 |   33544    66122   290352 |    22040    19962   1942 |  0.000 % |
39.08/39.13	c |     31464 |   33544    66122   290352 |    24244    20062   1942 |  0.000 % |
39.28/39.33	c |     31614 |   33544    66122   290352 |    26669    20212   1942 |  0.000 % |
39.48/39.60	c |     31839 |   33544    66122   290352 |    29336    20437   1942 |  0.000 % |
39.97/40.00	c |     32177 |   33544    66122   290352 |    32269    20775   1943 |  0.000 % |
40.58/40.60	c |     32683 |   33544    66122   290352 |    35496    21281   1943 |  0.000 % |
40.77/40.87	c ===============================================================================
40.77/40.87	c New solution: -32
40.77/40.87	o -32
40.77/40.87	c Elapsed CPU time: 40.3199 s	Remaining CPU time: 139.68 s
40.77/40.87	c ===============================================================================
40.77/40.87	c |     32835 |   33544    66123   291352 |    22041    21433   1935 |  0.000 % |
40.97/41.04	c |     32935 |   33544    66123   291352 |    24245    21533   1935 |  0.000 % |
41.18/41.24	c |     33085 |   33544    66123   291352 |    26669    21683   1935 |  0.000 % |
41.48/41.53	c |     33310 |   33544    66123   291352 |    29336    21908   1936 |  0.000 % |
41.87/41.92	c |     33648 |   33544    66123   291352 |    32270    22246   1936 |  0.000 % |
42.37/42.48	c |     34154 |   33544    66123   291352 |    35497    22752   1936 |  0.000 % |
42.57/42.67	c ===============================================================================
42.57/42.67	c New solution: -33
42.57/42.67	o -33
42.57/42.67	c Elapsed CPU time: 42.0966 s	Remaining CPU time: 137.903 s
42.57/42.67	c ===============================================================================
42.57/42.67	c |     34236 |   33544    66124   292352 |    22041    22834   1932 |  0.000 % |
42.87/42.93	c |     34336 |   33544    66124   292352 |    24245    10795   1898 |  0.000 % |
43.08/43.15	c |     34486 |   33544    66124   292352 |    26670    10945   1898 |  0.000 % |
43.37/43.41	c |     34711 |   33544    66124   292352 |    29337    11170   1899 |  0.000 % |
43.67/43.79	c |     35048 |   33544    66124   292352 |    32270    11507   1901 |  0.000 % |
43.98/44.01	c ===============================================================================
43.98/44.01	c New solution: -34
43.98/44.01	o -34
43.98/44.01	c Elapsed CPU time: 43.4144 s	Remaining CPU time: 136.586 s
43.98/44.01	c ===============================================================================
43.98/44.01	c |     35145 |   33544    66125   293352 |    22041    11604   1892 |  0.000 % |
44.07/44.19	c |     35245 |   33544    66125   293352 |    24245    11704   1892 |  0.000 % |
44.37/44.41	c |     35395 |   33544    66125   293352 |    26670    11854   1893 |  0.000 % |
44.57/44.69	c |     35620 |   33544    66125   293352 |    29337    12079   1894 |  0.000 % |
44.97/45.07	c |     35957 |   33544    66125   293352 |    32271    12416   1895 |  0.000 % |
45.37/45.42	c ===============================================================================
45.37/45.42	c New solution: -35
45.37/45.42	o -35
45.37/45.42	c Elapsed CPU time: 44.8142 s	Remaining CPU time: 135.186 s
45.37/45.42	c ===============================================================================
45.37/45.42	c |     36159 |   33544    66126   294352 |    22042    12618   1879 |  0.000 % |
45.47/45.59	c |     36259 |   33544    66126   294352 |    24246    12718   1880 |  0.000 % |
45.67/45.76	c |     36409 |   33544    66126   294352 |    26670    12868   1880 |  0.000 % |
45.97/46.02	c |     36634 |   33544    66126   294352 |    29337    13093   1881 |  0.000 % |
46.37/46.40	c |     36971 |   33544    66126   294352 |    32271    13430   1882 |  0.000 % |
46.77/46.86	c |     37477 |   33544    66126   294352 |    35498    13936   1884 |  0.000 % |
47.47/47.59	c |     38237 |   33544    66126   294352 |    39048    14696   1886 |  0.000 % |
48.57/48.63	c |     39376 |   33544    66126   294352 |    42953    15835   1891 |  0.000 % |
48.87/48.91	c ===============================================================================
48.87/48.91	c New solution: -36
48.87/48.91	o -36
48.87/48.91	c Elapsed CPU time: 48.2507 s	Remaining CPU time: 131.749 s
48.87/48.91	c ===============================================================================
48.87/48.91	c |     39518 |   33544    66127   295352 |    22042    15977   1882 |  0.000 % |
49.07/49.11	c |     39618 |   33544    66127   295352 |    24246    16077   1882 |  0.000 % |
49.27/49.33	c |     39768 |   33544    66127   295352 |    26671    16227   1882 |  0.000 % |
49.57/49.61	c |     39993 |   33544    66127   295352 |    29338    16452   1883 |  0.000 % |
49.97/50.01	c |     40330 |   33544    66127   295352 |    32272    16789   1885 |  0.000 % |
50.17/50.25	c ===============================================================================
50.17/50.25	c New solution: -37
50.17/50.25	o -37
50.17/50.25	c Elapsed CPU time: 49.5735 s	Remaining CPU time: 130.427 s
50.17/50.25	c ===============================================================================
50.17/50.25	c |     40446 |   33544    66128   296352 |    22042    16905   1877 |  0.000 % |
50.37/50.42	c |     40546 |   33544    66128   296352 |    24246    17005   1878 |  0.000 % |
50.57/50.64	c |     40696 |   33544    66128   296352 |    26671    17155   1878 |  0.000 % |
50.87/50.90	c |     40921 |   33544    66128   296352 |    29338    17380   1879 |  0.000 % |
51.27/51.30	c |     41258 |   33544    66128   296352 |    32272    17717   1880 |  0.000 % |
51.77/51.82	c |     41764 |   33544    66128   296352 |    35499    18223   1881 |  0.000 % |
52.57/52.67	c |     42523 |   33544    66128   296352 |    39049    18982   1884 |  0.000 % |
53.17/53.26	c ===============================================================================
53.17/53.26	c New solution: -38
53.17/53.26	o -38
53.17/53.26	c Elapsed CPU time: 52.545 s	Remaining CPU time: 127.455 s
53.17/53.26	c ===============================================================================
53.17/53.26	c |     42883 |   33544    66129   297352 |    22043    19342   1866 |  0.000 % |
53.37/53.45	c |     42983 |   33544    66129   297352 |    24247    19442   1866 |  0.000 % |
53.57/53.64	c |     43133 |   33544    66129   297352 |    26672    19592   1867 |  0.000 % |
53.77/53.89	c |     43358 |   33544    66129   297352 |    29339    19817   1868 |  0.000 % |
54.16/54.27	c |     43695 |   33544    66129   297352 |    32273    20154   1869 |  0.000 % |
54.77/54.81	c |     44201 |   33544    66129   297352 |    35500    20660   1871 |  0.000 % |
54.97/55.02	c ===============================================================================
54.97/55.02	c New solution: -39
54.97/55.02	o -39
54.97/55.02	c Elapsed CPU time: 54.2797 s	Remaining CPU time: 125.72 s
54.97/55.02	c ===============================================================================
54.97/55.02	c |     44286 |   33544    66130   298352 |    22043    20745   1866 |  0.000 % |
55.17/55.24	c |     44386 |   33544    66130   298352 |    24247    20845   1866 |  0.000 % |
55.37/55.48	c |     44536 |   33544    66130   298352 |    26672    20995   1866 |  0.000 % |
55.66/55.77	c |     44761 |   33544    66130   298352 |    29339    21220   1867 |  0.000 % |
56.07/56.15	c |     45098 |   33544    66130   298352 |    32273    21557   1868 |  0.000 % |
56.57/56.64	c |     45604 |   33544    66130   298352 |    35501    22063   1870 |  0.000 % |
56.87/56.93	c ===============================================================================
56.87/56.93	c New solution: -40
56.87/56.93	o -40
56.87/56.93	c Elapsed CPU time: 56.1565 s	Remaining CPU time: 123.844 s
56.87/56.93	c ===============================================================================
56.87/56.93	c |     45753 |   33544    66131   299352 |    22043    22212   1863 |  0.000 % |
57.07/57.14	c |     45853 |   33544    66131   299352 |    24248    10719   1826 |  0.000 % |
57.27/57.32	c |     46003 |   33544    66131   299352 |    26672    10869   1828 |  0.000 % |
57.47/57.57	c |     46228 |   33544    66131   299352 |    29340    11094   1830 |  0.000 % |
57.87/57.93	c |     46565 |   33544    66131   299352 |    32274    11431   1833 |  0.000 % |
58.37/58.44	c |     47071 |   33544    66131   299352 |    35501    11937   1838 |  0.000 % |
58.97/59.08	c |     47830 |   33544    66131   299352 |    39051    12696   1844 |  0.000 % |
59.38/59.48	c ===============================================================================
59.38/59.48	c New solution: -41
59.38/59.48	o -41
59.38/59.48	c Elapsed CPU time: 58.6801 s	Remaining CPU time: 121.32 s
59.38/59.48	c ===============================================================================
59.38/59.48	c |     48041 |   33544    66132   300352 |    22044    12907   1828 |  0.000 % |
59.57/59.67	c |     48141 |   33544    66132   300352 |    24248    13007   1829 |  0.000 % |
59.77/59.87	c |     48291 |   33544    66132   300352 |    26673    13157   1830 |  0.000 % |
60.07/60.13	c |     48516 |   33544    66132   300352 |    29340    13382   1832 |  0.000 % |
60.47/60.51	c |     48853 |   33544    66132   300352 |    32274    13719   1834 |  0.000 % |
61.17/61.29	c |     49359 |   33544    66132   300352 |    35502    14225   1801 |  0.000 % |
62.77/62.86	c |     50119 |   33544    66132   300352 |    39052    14985   1807 |  0.000 % |
63.27/63.30	c ===============================================================================
63.27/63.30	c New solution: -42
63.27/63.30	o -42
63.27/63.30	c Elapsed CPU time: 62.4645 s	Remaining CPU time: 117.535 s
63.27/63.30	c ===============================================================================
63.27/63.30	c |     50348 |   33544    66133   301352 |    22044    15214   1794 |  0.000 % |
63.37/63.49	c |     50448 |   33544    66133   301352 |    24248    15314   1794 |  0.000 % |
63.57/63.69	c |     50598 |   33544    66133   301352 |    26673    15464   1796 |  0.000 % |
63.86/63.96	c |     50823 |   33544    66133   301352 |    29341    15689   1798 |  0.000 % |
64.27/64.33	c |     51160 |   33544    66133   301352 |    32275    16026   1800 |  0.000 % |
64.76/64.90	c |     51666 |   33544    66133   301352 |    35502    16532   1804 |  0.000 % |
65.77/65.86	c |     52425 |   33544    66133   301352 |    39052    17291   1810 |  0.000 % |
67.56/67.62	c |     53565 |   33544    66133   301352 |    42958    18431   1754 |  0.000 % |
71.06/71.15	c |     55273 |   33544    66133   301352 |    47253    20139   1769 |  0.000 % |
72.07/72.13	c ===============================================================================
72.07/72.13	c New solution: -43
72.07/72.13	o -43
72.07/72.13	c Elapsed CPU time: 71.2222 s	Remaining CPU time: 108.778 s
72.07/72.13	c ===============================================================================
72.07/72.13	c |     55812 |   33544    66134   302352 |    22044    20678   1747 |  0.000 % |
72.26/72.33	c |     55912 |   33544    66134   302352 |    24249    20778   1748 |  0.000 % |
72.46/72.55	c |     56062 |   33544    66134   302352 |    26674    20928   1749 |  0.000 % |
72.77/72.86	c |     56287 |   33544    66134   302352 |    29341    21153   1751 |  0.000 % |
73.16/73.29	c |     56624 |   33544    66134   302352 |    32275    21490   1754 |  0.000 % |
73.87/73.90	c |     57131 |   33544    66134   302352 |    35503    21997   1758 |  0.000 % |
74.56/74.64	c ===============================================================================
74.56/74.64	c New solution: -44
74.56/74.64	o -44
74.56/74.64	c Elapsed CPU time: 73.7048 s	Remaining CPU time: 106.295 s
74.56/74.64	c ===============================================================================
74.56/74.64	c |     57558 |   33544    66135   303352 |    22045    22424   1742 |  0.000 % |
74.77/74.88	c |     57659 |   33544    66135   303352 |    24249    10808   1638 |  0.000 % |
74.96/75.09	c |     57809 |   33544    66135   303352 |    26674    10958   1642 |  0.000 % |
75.27/75.37	c |     58034 |   33544    66135   303352 |    29341    11183   1648 |  0.000 % |
75.77/75.84	c |     58371 |   33544    66135   303352 |    32276    11520   1654 |  0.000 % |
76.57/76.60	c |     58877 |   33544    66135   303352 |    35503    12026   1658 |  0.000 % |
77.26/77.38	c |     59636 |   33544    66135   303352 |    39054    12785   1674 |  0.000 % |
79.07/79.20	c |     60775 |   33544    66135   303352 |    42959    13924   1613 |  0.000 % |
81.56/81.66	c |     62484 |   33544    66135   303352 |    47255    15633   1647 |  0.000 % |
85.56/85.63	c |     65047 |   33544    66135   303352 |    51980    18196   1548 |  0.000 % |
91.86/91.95	c |     68892 |   33544    66135   303352 |    57179    22041   1615 |  0.000 % |
92.27/92.34	c ===============================================================================
92.27/92.34	c New solution: -45
92.27/92.34	o -45
92.27/92.34	c Elapsed CPU time: 91.2951 s	Remaining CPU time: 88.7049 s
92.27/92.34	c ===============================================================================
92.27/92.34	c |     69016 |   33544    66136   304352 |    22045    22165   1609 |  0.000 % |
92.46/92.56	c |     69116 |   33544    66136   304352 |    24249    10754   1562 |  0.000 % |
92.66/92.79	c |     69266 |   33544    66136   304352 |    26674    10904   1567 |  0.000 % |
93.06/93.11	c |     69491 |   33544    66136   304352 |    29342    11129   1574 |  0.000 % |
93.47/93.54	c |     69828 |   33544    66136   304352 |    32276    11466   1584 |  0.000 % |
94.36/94.47	c |     70335 |   33544    66136   304352 |    35504    11973   1555 |  0.000 % |
95.36/95.46	c |     71095 |   33544    66136   304352 |    39054    12733   1577 |  0.000 % |
97.25/97.37	c |     72235 |   33544    66136   304352 |    42960    13873   1523 |  0.000 % |
100.96/101.04	c |     73943 |   33544    66136   304352 |    47256    15581   1567 |  0.000 % |
105.36/105.41	c |     76505 |   33544    66136   304352 |    51981    18143   1478 |  0.000 % |
114.05/114.17	c |     80350 |   33544    66136   304352 |    57179    21988   1557 |  0.000 % |
125.25/125.34	c |     86116 |   33544    66136   304352 |    62897    27754   1622 |  0.000 % |
146.26/146.35	c |     94765 |   33544    66136   304352 |    69187    36403   1641 |  0.000 % |
175.95/176.06	c |    107739 |   33544    66136   304352 |    76106    49377   1718 |  0.000 % |
181.45/181.54	c There are 0 assigned variables. 0 in cost function.
181.94/182.05	c core #1
181.94/182.05	c 
181.94/182.05	c 
181.94/182.05	c Core size: 2001	Core Weight: 1	Total Weight: -999
181.94/182.05	c
181.94/182.05	c
181.94/182.05	c ============================[ Search Statistics ]==============================
181.94/182.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.05	c ===============================================================================
181.94/182.05	c |         0 |   34544    67471   308354 |    22490        0    nan |  0.000 % |
183.84/183.99	c |       100 |   34544    67471   308354 |    24739      100    326 |  0.124 % |
186.54/186.62	c |       250 |   34544    67471   308354 |    27213      250    299 |  0.211 % |
190.54/190.65	c |       475 |   34471    67471   308354 |    29934      473    276 |  0.211 % |
193.23/193.37	c |       812 |   34471    67471   308354 |    32928      810    391 |  0.211 % |
194.23/194.36	c ===============================================================================
194.54/194.68	c core #2
194.54/194.68	c 
194.54/194.68	c 
194.54/194.68	c Core size: 798	Core Weight: 1	Total Weight: -998
194.54/194.68	c
194.54/194.68	c
194.54/194.68	c ============================[ Search Statistics ]==============================
194.54/194.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.54/194.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.54/194.68	c ===============================================================================
194.54/194.68	c |         0 |   35315    67508   310003 |    22502        0    nan |  0.000 % |
196.33/196.47	c |       100 |   35315    67508   310003 |    24752      100    832 |  0.000 % |
198.83/198.93	c |       250 |   35315    67508   310003 |    27228      250    788 |  0.000 % |
201.73/201.88	c |       475 |   35315    67508   310003 |    29951      475    699 |  0.000 % |
206.74/206.88	c |       812 |   35315    67508   310003 |    32946      812    705 |  0.000 % |
213.13/213.22	c |      1320 |   35315    67508   310003 |    36240     1320    741 |  0.000 % |
222.02/222.16	c |      2079 |   35315    67508   310003 |    39864     2079    753 |  0.000 % |
234.12/234.25	c |      3218 |   35315    67508   310003 |    43851     3218    791 |  0.000 % |
257.12/257.26	c |      4926 |   35287    67508   310003 |    48236     4829    808 |  0.079 % |
289.01/289.11	c |      7566 |   35258    67508   310003 |    53060     7446    808 |  0.161 % |
339.50/339.60	c |     11410 |   35258    67508   310003 |    58366    11290    814 |  0.161 % |
409.38/409.59	c |     17176 |   35255    67508   310003 |    64202    17056    836 |  0.320 % |
510.65/510.80	c |     25825 |   35193    67508   310003 |    70623    25652    839 |  0.722 % |
658.91/659.18	c |     38799 |   34811    67508   310003 |    77685    37174    867 |  3.474 % |
909.25/909.54	c |     58260 |   33288    67508   310003 |    85453    53027    900 |  6.000 % |
1272.15/1272.57	c |     87452 |   33212    67508   310003 |    93999    82219    899 | 10.593 % |
1650.86/1651.31	c ===============================================================================
1656.06/1656.58	c core #3
1656.06/1656.58	c 
1656.06/1656.58	c 
1656.06/1656.58	c Core size: 1137	Core Weight: 1	Total Weight: -997
1656.06/1656.58	c
1656.06/1656.58	c
1656.06/1656.58	c ============================[ Search Statistics ]==============================
1656.06/1656.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1656.06/1656.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1656.06/1656.58	c ===============================================================================
1656.06/1656.58	c |         0 |   36315    68056   313515 |    22685        0    nan |  0.000 % |
1658.16/1658.69	c |       100 |   36315    68056   313515 |    24953      100   1210 |  0.000 % |
1661.45/1661.94	c |       250 |   36315    68056   313515 |    27449      250    813 |  0.000 % |
1665.76/1666.26	c |       475 |   36315    68056   313515 |    30194      475    829 |  0.000 % |
1669.95/1670.40	c |       812 |   36315    68056   313515 |    33213      812    896 |  0.000 % |
1676.95/1677.46	c |      1318 |   36315    68056   313515 |    36534     1318    928 |  0.000 % |
1686.55/1687.09	c |      2077 |   36315    68056   313515 |    40188     2077   1007 |  0.000 % |
1700.16/1700.62	c |      3279 |   36315    68056   313515 |    44207     3279   1076 |  0.000 % |
1717.44/1717.94	c |      4987 |   36315    68056   313515 |    48628     4987   1113 |  0.000 % |
1748.83/1749.31	c |      7549 |   36315    68056   313515 |    53490     7549   1097 |  0.000 % |
1794.32/1794.82	c |     11393 |   36315    68056   313515 |    58839    11393   1094 |  0.000 % |

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-2702669-1278574290/watcher-2702669-1278574290 -o /tmp/evaluation-result-2702669-1278574290/solver-2702669-1278574290 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702669-1278574290.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.05 1.01 0.85 3/105 426
/proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=5540 CPUtime=0
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 312 0 0 0 0 0 0 0 21 0 1 0 25637296 5672960 231 1992294400 134512640 135752675 4293738400 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 1385 231 132 303 0 372 0

[startup+0.0770721 s]
/proc/loadavg: 1.05 1.01 0.85 3/105 426
/proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=10420 CPUtime=0.07
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 1523 0 0 0 7 0 0 0 23 0 1 0 25637296 10670080 1442 1992294400 134512640 135752675 4293738400 18446744073709551615 134610399 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 2605 1443 213 303 0 1592 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10420

[startup+0.102074 s]
/proc/loadavg: 1.05 1.01 0.85 3/105 426
/proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=11448 CPUtime=0.09
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 1787 0 0 0 9 0 0 0 23 0 1 0 25637296 11722752 1706 1992294400 134512640 135752675 4293738400 18446744073709551615 134574269 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 2862 1707 239 303 0 1849 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11448

[startup+0.301096 s]
/proc/loadavg: 1.05 1.01 0.85 3/105 426
/proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=15680 CPUtime=0.29
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 3000 0 0 0 29 0 0 0 23 0 1 0 25637296 16056320 2886 1992294400 134512640 135752675 4293738400 18446744073709551615 134561246 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 3920 2886 507 303 0 2907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15680

[startup+0.700139 s]
/proc/loadavg: 1.05 1.01 0.85 3/105 426
/proc/meminfo: memFree=1882360/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=24332 CPUtime=0.69
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 6153 0 0 0 67 2 0 0 25 0 1 0 25637296 24915968 5234 1992294400 134512640 135752675 4293738400 18446744073709551615 134595040 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 6083 5234 142 303 0 5778 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24332

[startup+1.50022 s]
/proc/loadavg: 1.05 1.01 0.85 2/106 427
/proc/meminfo: memFree=1860156/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=23936 CPUtime=1.49
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 6737 0 0 0 146 3 0 0 25 0 1 0 25637296 24510464 5222 1992294400 134512640 135752675 4293738400 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 5984 5222 144 303 0 5679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23936

[startup+3.10139 s]
/proc/loadavg: 1.05 1.01 0.85 2/106 427
/proc/meminfo: memFree=1861396/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=28168 CPUtime=3.09
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 7768 0 0 0 303 6 0 0 25 0 1 0 25637296 28844032 6253 1992294400 134512640 135752675 4293738400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 7042 6253 145 303 0 6737 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28168

[startup+6.30173 s]
/proc/loadavg: 1.05 1.01 0.85 2/106 427
/proc/meminfo: memFree=1840812/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=51176 CPUtime=6.29
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 13532 0 0 0 617 12 0 0 25 0 1 0 25637296 52404224 12017 1992294400 134512640 135752675 4293738400 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 12794 12019 145 303 0 12489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51176

[startup+12.7014 s]
/proc/loadavg: 1.04 1.01 0.85 2/106 427
/proc/meminfo: memFree=1792948/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=98908 CPUtime=12.68
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 25450 0 0 0 1248 20 0 0 25 0 1 0 25637296 101281792 23935 1992294400 134512640 135752675 4293738400 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 24727 23935 145 303 0 24422 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 98908

[startup+25.5018 s]
/proc/loadavg: 1.03 1.01 0.85 2/106 428
/proc/meminfo: memFree=1702180/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=185232 CPUtime=25.48
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 47045 0 0 0 2515 33 0 0 25 0 1 0 25637296 189677568 45530 1992294400 134512640 135752675 4293738400 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 46308 45530 145 303 0 46003 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 185232

[startup+51.1014 s]
/proc/loadavg: 1.02 1.01 0.85 2/106 429
/proc/meminfo: memFree=1553256/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=335936 CPUtime=51.07
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 84725 0 0 0 5040 67 0 0 25 0 1 0 25637296 343998464 83210 1992294400 134512640 135752675 4293738400 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 83984 83210 145 303 0 83679 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 335936

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 0.85 2/106 430
/proc/meminfo: memFree=1327700/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=557288 CPUtime=102.26
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 140059 0 0 0 10117 109 0 0 25 0 1 0 25637296 570662912 138544 1992294400 134512640 135752675 4293738400 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 139322 138544 145 303 0 139017 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 557288

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.86 2/106 431
/proc/meminfo: memFree=1131904/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=754956 CPUtime=162.24
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 189455 0 0 0 16086 138 0 0 25 0 1 0 25637296 773074944 187940 1992294400 134512640 135752675 4293738400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 188739 187940 145 303 0 188434 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 754956

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/106 433
/proc/meminfo: memFree=1059860/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=222.23
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 22073 150 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205139 146 303 0 205364 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 822676

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.87 2/106 435
/proc/meminfo: memFree=1059860/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=282.21
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 28068 153 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205139 146 303 0 205364 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 822676

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/106 437
/proc/meminfo: memFree=1059860/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=342.19
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 34063 156 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205139 146 303 0 205364 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 822676

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/106 438
/proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=402.17
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207969 0 0 0 40059 158 0 0 25 0 1 0 25637296 842420224 205139 1992294400 134512640 135752675 4293738400 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205139 146 303 0 205364 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 822676

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.89 2/106 439
/proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=462.16
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207970 0 0 0 46055 161 0 0 25 0 1 0 25637296 842420224 205140 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205140 146 303 0 205364 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 822676

[startup+522.301 s]
/proc/loadavg: 1.03 1.01 0.90 2/106 441
/proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=522.14
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207978 0 0 0 52049 165 0 0 25 0 1 0 25637296 842420224 205148 1992294400 134512640 135752675 4293738400 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205148 146 303 0 205364 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 822676

[startup+582.301 s]
/proc/loadavg: 1.07 1.02 0.91 2/106 443
/proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=582.13
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207978 0 0 0 58045 168 0 0 25 0 1 0 25637296 842420224 205148 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205148 146 303 0 205364 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 822676

[startup+642.301 s]
/proc/loadavg: 1.07 1.03 0.92 2/106 445
/proc/meminfo: memFree=1059736/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=822676 CPUtime=642.12
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 207978 0 0 0 64042 170 0 0 25 0 1 0 25637296 842420224 205148 1992294400 134512640 135752675 4293738400 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 205669 205148 146 303 0 205364 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 822676

[startup+702.301 s]

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

/proc/loadavg: 1.03 1.05 0.97 2/106 460
/proc/meminfo: memFree=936604/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=946148 CPUtime=1181.97
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 238826 0 0 0 117987 210 0 0 25 0 1 0 25637296 968855552 235996 1992294400 134512640 135752675 4293738400 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 236537 235996 146 303 0 236232 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 946148

[startup+1242.3 s]
/proc/loadavg: 1.01 1.04 0.97 2/106 462
/proc/meminfo: memFree=914036/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=968080 CPUtime=1241.96
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 244291 0 0 0 123979 217 0 0 25 0 1 0 25637296 991313920 241461 1992294400 134512640 135752675 4293738400 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 242020 241461 146 303 0 241715 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 968080

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/106 463
/proc/meminfo: memFree=884772/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=997184 CPUtime=1301.95
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 251579 0 0 0 129970 225 0 0 25 0 1 0 25637296 1021116416 248749 1992294400 134512640 135752675 4293738400 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 249296 248749 146 303 0 248991 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 997184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/106 464
/proc/meminfo: memFree=857864/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1024180 CPUtime=1361.94
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 258328 0 0 0 135960 234 0 0 25 0 1 0 25637296 1048760320 255498 1992294400 134512640 135752675 4293738400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 256045 255498 146 303 0 255740 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1024180

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 0.97 2/106 466
/proc/meminfo: memFree=832568/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1049504 CPUtime=1421.92
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 264625 0 0 0 141952 240 0 0 25 0 1 0 25637296 1074692096 261795 1992294400 134512640 135752675 4293738400 18446744073709551615 134638767 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 262376 261795 146 303 0 262071 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1049504

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/106 468
/proc/meminfo: memFree=807892/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1074396 CPUtime=1481.9
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 270835 0 0 0 147942 248 0 0 25 0 1 0 25637296 1100181504 268005 1992294400 134512640 135752675 4293738400 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 268599 268005 146 303 0 268294 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1074396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/106 470
/proc/meminfo: memFree=779992/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1101960 CPUtime=1541.88
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 277743 0 0 0 153935 253 0 0 25 0 1 0 25637296 1128407040 274913 1992294400 134512640 135752675 4293738400 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 275490 274913 146 303 0 275185 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1101960

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 471
/proc/meminfo: memFree=750480/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1131816 CPUtime=1601.87
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 285209 0 0 0 159923 264 0 0 25 0 1 0 25637296 1158979584 282379 1992294400 134512640 135752675 4293738400 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 282954 282379 146 303 0 282649 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1131816

[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 0.98 2/106 472
/proc/meminfo: memFree=719976/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1161868 CPUtime=1661.86
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292842 0 0 0 165914 272 0 0 25 0 1 0 25637296 1189752832 289768 1992294400 134512640 135752675 4293738400 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 290467 289768 146 303 0 290162 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1161868

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 0.98 2/106 474
/proc/meminfo: memFree=719852/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1161868 CPUtime=1721.84
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292843 0 0 0 171908 276 0 0 25 0 1 0 25637296 1189752832 289769 1992294400 134512640 135752675 4293738400 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 290467 289769 146 303 0 290162 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1161868

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 0.98 2/106 485
/proc/meminfo: memFree=718984/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1161868 CPUtime=1781.81
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292852 0 0 0 177901 280 0 0 25 0 1 0 25637296 1189752832 289778 1992294400 134512640 135752675 4293738400 18446744073709551615 134643582 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 290467 289778 146 303 0 290162 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1161868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.98 2/106 485
/proc/meminfo: memFree=719108/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1161868 CPUtime=1800.01
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292852 0 0 0 179719 282 0 0 25 0 1 0 25637296 1189752832 289778 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 290467 289778 146 303 0 290162 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1161868

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.01 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.01 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.98 2/106 485
/proc/meminfo: memFree=719108/2059040 swapFree=4136936/4192956
[pid=426] ppid=424 vsize=1161868 CPUtime=1800.01
/proc/426/stat : 426 (wbo1.4b) R 424 426 304 0 -1 4202496 292852 0 0 0 179719 282 0 0 25 0 1 0 25637296 1189752832 289778 1992294400 134512640 135752675 4293738400 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/426/statm: 290467 289778 146 303 0 290162 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1161868

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 486
/proc/meminfo: memFree=1879400/2059040 swapFree=4136936/4192956
[pid=426] ppid=-1 vsize=0 CPUtime=0
/proc/426/stat : -- couldn't open stat file --/proc/426/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 486
/proc/meminfo: memFree=1879400/2059040 swapFree=4136936/4192956
[pid=426] ppid=-1 vsize=0 CPUtime=0
/proc/426/stat : -- couldn't open stat file --/proc/426/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 426 and gives
#  childrusage.ru_utime.tv_sec=1797
#  childrusage.ru_utime.tv_usec=197784
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=930554
# CPU time returned by wait4() is 1800.13
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.01
#  lost CPU user time (s): 1797.19
#  lost CPU system time (s): 2.82

Real time (s): 1800.61
CPU time (s): 1800.01
CPU user time (s): 1797.19
CPU system time (s): 2.82
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1162412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.2
system time used= 2.93055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292852
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= 17
involuntary context switches= 3357

runsolver used 2.6326 second user time and 8.86065 second system time

The end

Launcher Data 

Begin job on node082 at 2010-07-08 09:31:30
IDJOB=2702669
IDBENCH=48269
IDSOLVER=1190
FILE ID=node082/2702669-1278574290
PBS_JOBID= 11240066
Free space on /tmp= 62400 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_2.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-2702669-1278574290/watcher-2702669-1278574290 -o /tmp/evaluation-result-2702669-1278574290/solver-2702669-1278574290 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702669-1278574290.opb

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

MD5SUM BENCH= 24465d104818b01999b811ba346c3d8e
RANDOM SEED=1080049398

node082.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.260
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.52
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.260
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1885244 kB
Buffers:         15060 kB
Cached:          82492 kB
SwapCached:       9316 kB
Active:          86320 kB
Inactive:        24364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1885244 kB
SwapTotal:     4192956 kB
SwapFree:      4136936 kB
Dirty:            3648 kB
Writeback:          12 kB
AnonPages:       11548 kB
Mapped:           8436 kB
Slab:            41284 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702669-1278574290.opb

Free space on /tmp at the end= 62392 MiB
End job on node082 at 2010-07-08 10:01:34