Trace number 2690154

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 NameAnswerCPU timeWall clock time
wbo 1.4a? (TO) 1800.12 1800.06

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
MD5SUMb0ba3c932573495a13e5be4b53f7a1a4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.262959
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1266
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690154-1277924624.wbo.
0.00/0.00	c Instance file HOME/instance-2690154-1277924624.wbo
0.00/0.00	c File size is 10462 bytes.
0.00/0.00	c Highest Coefficient sum: 1266
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:      169                                                 |
0.00/0.00	c |  Number Clauses:        30                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
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 |     169      101     1205 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |     169      101     1205 |     5500      100     28 |  0.004 % |
0.00/0.00	c |       251 |     169      101     1205 |     6050      251     29 |  0.004 % |
0.00/0.01	c |       478 |     169      101     1205 |     6655      478     28 |  0.004 % |
0.01/0.02	c |       815 |     169      101     1205 |     7320      815     29 |  0.004 % |
0.01/0.03	c |      1321 |     169      101     1205 |     8052     1321     30 |  0.004 % |
0.01/0.05	c |      2080 |     169      101     1205 |     8857     2080     32 |  0.004 % |
0.01/0.09	c |      3221 |     169      101     1205 |     9743     3221     34 |  0.004 % |
0.09/0.15	c |      4930 |     169      101     1205 |    10717     4930     36 |  0.004 % |
0.19/0.26	c |      7493 |     169      101     1205 |    11789     7493     36 |  0.004 % |
0.39/0.46	c |     11338 |     169      101     1205 |    12968    11338     37 |  0.004 % |
0.79/0.82	c |     17104 |     169      101     1205 |    14265    10564     40 |  0.004 % |
1.29/1.39	c |     25754 |     169      101     1205 |    15692    12021     41 |  0.004 % |
2.20/2.21	c |     38730 |     169      101     1205 |    17261     9194     43 |  0.004 % |
3.49/3.53	c |     58193 |     169      101     1205 |    18987    11294     47 |  0.004 % |
4.59/4.67	c ===============================================================================
4.89/4.98	c core #1
4.89/4.98	c ============================[ Search Statistics ]==============================
4.89/4.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.89/4.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.89/4.98	c ===============================================================================
4.89/4.98	c |         0 |     264      200     2574 |     5000        0    nan |  0.000 % |
4.89/4.99	c |       100 |     264      200     2574 |     5500      100     28 |  0.001 % |
4.89/4.99	c |       251 |     264      200     2574 |     6050      251     31 |  0.001 % |
4.99/5.00	c |       476 |     264      200     2574 |     6655      476     30 |  0.001 % |
4.99/5.01	c |       813 |     264      200     2574 |     7320      813     31 |  0.001 % |
4.99/5.02	c |      1319 |     264      200     2574 |     8052     1319     31 |  0.001 % |
4.99/5.05	c |      2079 |     264      200     2574 |     8857     2079     33 |  0.001 % |
5.09/5.10	c |      3220 |     264      200     2574 |     9743     3220     34 |  0.001 % |
5.09/5.17	c |      4929 |     264      200     2574 |    10717     4929     34 |  0.001 % |
5.19/5.29	c |      7491 |     264      200     2574 |    11789     7491     35 |  0.001 % |
5.40/5.48	c |     11336 |     264      200     2574 |    12968    11336     37 |  0.001 % |
5.79/5.85	c |     17102 |     264      200     2574 |    14265    10585     40 |  0.001 % |
6.39/6.49	c |     25752 |     264      200     2574 |    15692    12043     43 |  0.001 % |
7.39/7.42	c |     38727 |     264      200     2574 |    17261     9233     44 |  0.001 % |
8.70/8.71	c |     58188 |     264      200     2574 |    18987    11318     48 |  0.001 % |
9.40/9.48	c ===============================================================================
9.69/9.80	c core #2
9.69/9.80	c ============================[ Search Statistics ]==============================
9.69/9.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.69/9.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.69/9.80	c ===============================================================================
9.69/9.80	c |         0 |     358      298     3928 |     5000        0    nan |  0.000 % |
9.80/9.81	c |       100 |     358      298     3928 |     5500      100     31 |  0.001 % |
9.80/9.81	c |       251 |     358      298     3928 |     6050      251     31 |  0.001 % |
9.80/9.82	c |       477 |     358      298     3928 |     6655      477     31 |  0.001 % |
9.80/9.82	c |       815 |     358      298     3928 |     7320      815     31 |  0.001 % |
9.80/9.84	c |      1321 |     358      298     3928 |     8052     1321     33 |  0.001 % |
9.80/9.87	c |      2082 |     358      298     3928 |     8857     2082     33 |  0.001 % |
9.90/9.91	c |      3222 |     358      298     3928 |     9743     3222     32 |  0.001 % |
9.90/9.98	c |      4932 |     358      298     3928 |    10717     4932     34 |  0.001 % |
10.10/10.13	c |      7495 |     358      298     3928 |    11789     7495     36 |  0.001 % |
10.29/10.37	c |     11339 |     358      298     3928 |    12968    11339     37 |  0.001 % |
10.69/10.76	c |     17107 |     358      298     3928 |    14265    10569     42 |  0.001 % |
11.39/11.42	c |     25756 |     358      298     3928 |    15692    12043     42 |  0.001 % |
12.39/12.40	c |     38730 |     358      298     3928 |    17261     9222     44 |  0.001 % |
13.99/14.01	c |     58192 |     358      298     3928 |    18987    11316     44 |  0.001 % |
15.89/15.96	c ===============================================================================
16.29/16.34	c core #3
16.29/16.34	c ============================[ Search Statistics ]==============================
16.29/16.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.29/16.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.29/16.34	c ===============================================================================
16.29/16.34	c |         0 |     453      396     5284 |     5000        0    nan |  0.000 % |
16.29/16.35	c |       101 |     453      396     5284 |     5500      101     31 |  0.000 % |
16.29/16.36	c |       251 |     453      396     5284 |     6050      251     36 |  0.000 % |
16.29/16.37	c |       477 |     453      396     5284 |     6655      477     34 |  0.000 % |
16.29/16.38	c |       814 |     453      396     5284 |     7320      814     32 |  0.000 % |
16.29/16.39	c |      1320 |     453      396     5284 |     8052     1320     32 |  0.000 % |
16.40/16.42	c |      2082 |     453      396     5284 |     8857     2082     31 |  0.000 % |
16.40/16.46	c |      3221 |     453      396     5284 |     9743     3221     32 |  0.000 % |
16.50/16.54	c |      4930 |     453      396     5284 |    10717     4930     33 |  0.000 % |
16.59/16.67	c |      7493 |     453      396     5284 |    11789     7493     34 |  0.000 % |
16.89/16.91	c |     11337 |     453      396     5284 |    12968    11337     35 |  0.000 % |
17.29/17.30	c |     17104 |     453      396     5284 |    14265    10571     38 |  0.000 % |
17.89/17.92	c |     25753 |     453      396     5284 |    15692    12025     41 |  0.000 % |
18.80/18.89	c |     38727 |     453      396     5284 |    17261     9189     41 |  0.000 % |
20.19/20.28	c |     58189 |     453      396     5284 |    18987    11303     47 |  0.020 % |
20.80/20.87	c ===============================================================================
21.09/21.16	c core #4
21.09/21.16	c ============================[ Search Statistics ]==============================
21.09/21.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.09/21.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.09/21.16	c ===============================================================================
21.09/21.16	c |         0 |     546      493     6634 |     5000        0    nan |  0.000 % |
21.09/21.17	c |       100 |     546      493     6634 |     5500      100     31 |  0.000 % |
21.09/21.18	c |       251 |     546      493     6634 |     6050      251     33 |  0.000 % |
21.09/21.18	c |       477 |     546      493     6634 |     6655      477     33 |  0.000 % |
21.09/21.19	c |       814 |     546      493     6634 |     7320      814     32 |  0.000 % |
21.19/21.21	c |      1320 |     546      493     6634 |     8052     1320     32 |  0.000 % |
21.19/21.25	c |      2079 |     546      493     6634 |     8857     2079     33 |  0.000 % |
21.19/21.29	c |      3218 |     546      493     6634 |     9743     3218     34 |  0.000 % |
21.29/21.37	c |      4926 |     546      493     6634 |    10717     4926     35 |  0.000 % |
21.49/21.53	c |      7488 |     546      493     6634 |    11789     7488     36 |  0.000 % |
21.69/21.77	c |     11335 |     546      493     6634 |    12968    11335     38 |  0.000 % |
22.20/22.21	c |     17101 |     546      493     6634 |    14265    10570     40 |  0.000 % |
22.79/22.83	c |     25753 |     546      493     6634 |    15692    12046     43 |  0.000 % |
23.90/23.91	c |     38730 |     546      493     6634 |    17261     9236     45 |  0.000 % |
25.49/25.59	c |     58192 |     546      493     6634 |    18987    11338     46 |  0.000 % |
26.79/26.87	c ===============================================================================
27.19/27.23	c core #5
27.19/27.23	c ============================[ Search Statistics ]==============================
27.19/27.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.19/27.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.19/27.23	c ===============================================================================
27.19/27.23	c |         0 |     639      588     7957 |     5000        0    nan |  0.000 % |
27.19/27.24	c |       100 |     639      588     7957 |     5500      100     29 |  0.000 % |
27.19/27.24	c |       251 |     639      588     7957 |     6050      251     31 |  0.000 % |
27.19/27.25	c |       476 |     639      588     7957 |     6655      476     33 |  0.000 % |
27.19/27.26	c |       813 |     639      588     7957 |     7320      813     34 |  0.000 % |
27.19/27.28	c |      1320 |     639      588     7957 |     8052     1320     33 |  0.000 % |
27.30/27.31	c |      2080 |     639      588     7957 |     8857     2080     34 |  0.000 % |
27.30/27.36	c |      3221 |     639      588     7957 |     9743     3221     36 |  0.000 % |
27.40/27.44	c |      4930 |     639      588     7957 |    10717     4930     35 |  0.000 % |
27.50/27.59	c |      7493 |     639      588     7957 |    11789     7493     36 |  0.000 % |
27.79/27.84	c |     11338 |     639      588     7957 |    12968    11338     38 |  0.000 % |
28.19/28.27	c |     17106 |     639      588     7957 |    14265    10581     43 |  0.000 % |
28.89/28.96	c |     25756 |     639      588     7957 |    15692    12052     44 |  0.000 % |
29.99/30.09	c |     38730 |     639      588     7957 |    17261     9219     44 |  0.000 % |
31.79/31.83	c |     58192 |     639      588     7957 |    18987    11312     47 |  0.000 % |
32.59/32.68	c ===============================================================================
33.00/33.00	c core #6
33.00/33.00	c ============================[ Search Statistics ]==============================
33.00/33.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.00/33.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
33.00/33.00	c ===============================================================================
33.00/33.00	c |         0 |     741      687     9354 |     5000        0    nan |  0.000 % |
33.00/33.01	c |       101 |     741      687     9354 |     5500      101     44 |  0.000 % |
33.00/33.02	c |       252 |     741      687     9354 |     6050      252     46 |  0.000 % |
33.00/33.03	c |       479 |     741      687     9354 |     6655      479     42 |  0.000 % |
33.00/33.04	c |       816 |     741      687     9354 |     7320      816     39 |  0.000 % |
33.00/33.06	c |      1326 |     741      687     9354 |     8052     1326     38 |  0.000 % |
33.00/33.09	c |      2089 |     741      687     9354 |     8857     2089     39 |  0.000 % |
33.09/33.14	c |      3228 |     741      687     9354 |     9743     3228     39 |  0.000 % |
33.19/33.24	c |      4938 |     741      687     9354 |    10717     4938     39 |  0.000 % |
33.29/33.38	c |      7500 |     741      687     9354 |    11789     7500     38 |  0.000 % |
33.59/33.66	c |     11345 |     741      687     9354 |    12968    11345     38 |  0.000 % |
34.00/34.08	c |     17112 |     741      687     9354 |    14265    10569     41 |  0.000 % |
34.69/34.72	c |     25763 |     741      687     9354 |    15692    12041     42 |  0.000 % |
35.69/35.72	c |     38738 |     741      687     9354 |    17261     9218     42 |  0.000 % |
37.30/37.32	c |     58201 |     741      687     9354 |    18987    11299     46 |  0.000 % |
38.09/38.16	c ===============================================================================
38.40/38.49	c core #7
38.40/38.49	c ============================[ Search Statistics ]==============================
38.40/38.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.40/38.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.40/38.49	c ===============================================================================
38.40/38.49	c |         0 |     836      781    10668 |     5000        0    nan |  0.000 % |
38.50/38.50	c |       101 |     836      781    10668 |     5500      101     30 |  0.000 % |
38.50/38.51	c |       253 |     836      781    10668 |     6050      253     33 |  0.000 % |
38.50/38.52	c |       478 |     836      781    10668 |     6655      478     34 |  0.000 % |
38.50/38.53	c |       815 |     836      781    10668 |     7320      815     35 |  0.000 % |
38.50/38.55	c |      1323 |     836      781    10668 |     8052     1323     33 |  0.000 % |
38.50/38.58	c |      2082 |     836      781    10668 |     8857     2082     33 |  0.000 % |
38.59/38.64	c |      3223 |     836      781    10668 |     9743     3223     33 |  0.000 % |
38.69/38.73	c |      4934 |     836      781    10668 |    10717     4934     34 |  0.000 % |
38.80/38.89	c |      7497 |     836      781    10668 |    11789     7497     35 |  0.000 % |
39.09/39.15	c |     11342 |     836      781    10668 |    12968    11342     37 |  0.000 % |
39.50/39.57	c |     17108 |     836      781    10668 |    14265    10555     39 |  0.000 % |
40.09/40.19	c |     25758 |     836      781    10668 |    15692    12015     40 |  0.000 % |
41.09/41.19	c |     38739 |     836      781    10668 |    17261     9199     41 |  0.000 % |
42.80/42.81	c |     58200 |     836      781    10668 |    18987    11287     45 |  0.000 % |
43.69/43.72	c ===============================================================================
44.00/44.03	c core #8
44.00/44.03	c ============================[ Search Statistics ]==============================
44.00/44.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.00/44.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.00/44.03	c ===============================================================================
44.00/44.03	c |         0 |     946      877    12040 |     5000        0    nan |  0.000 % |
44.00/44.04	c |       100 |     946      877    12040 |     5500      100     54 |  0.000 % |
44.00/44.05	c |       251 |     946      877    12040 |     6050      251     47 |  0.000 % |
44.00/44.06	c |       476 |     946      877    12040 |     6655      476     41 |  0.000 % |
44.00/44.07	c |       815 |     946      877    12040 |     7320      815     37 |  0.000 % |
44.00/44.09	c |      1321 |     946      877    12040 |     8052     1321     37 |  0.000 % |
44.09/44.12	c |      2080 |     946      877    12040 |     8857     2080     36 |  0.000 % |
44.09/44.18	c |      3220 |     946      877    12040 |     9743     3220     38 |  0.000 % |
44.19/44.27	c |      4930 |     946      877    12040 |    10717     4930     39 |  0.000 % |
44.40/44.43	c |      7494 |     946      877    12040 |    11789     7494     40 |  0.000 % |
44.69/44.72	c |     11340 |     946      877    12040 |    12968    11340     41 |  0.000 % |
45.19/45.22	c |     17107 |     946      877    12040 |    14265    10574     44 |  0.000 % |
45.90/45.95	c |     25756 |     946      877    12040 |    15692    12034     45 |  0.000 % |
47.09/47.18	c |     38733 |     946      877    12040 |    17261     9221     44 |  0.000 % |
48.80/48.89	c |     58195 |     946      877    12040 |    18987    11318     47 |  0.000 % |
51.19/51.21	c ===============================================================================
51.59/51.63	c core #9
51.59/51.63	c ============================[ Search Statistics ]==============================
51.59/51.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.59/51.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.59/51.63	c ===============================================================================
51.59/51.63	c |         0 |    1041      968    13326 |     5000        0    nan |  0.000 % |
51.59/51.65	c |       102 |    1041      968    13326 |     5500      102     41 |  0.000 % |
51.59/51.66	c |       252 |    1041      968    13326 |     6050      252     39 |  0.000 % |
51.59/51.67	c |       477 |    1041      968    13326 |     6655      477     38 |  0.000 % |
51.59/51.68	c |       814 |    1041      968    13326 |     7320      814     39 |  0.000 % |
51.70/51.70	c |      1322 |    1041      968    13326 |     8052     1322     36 |  0.000 % |
51.70/51.74	c |      2082 |    1041      968    13326 |     8857     2082     35 |  0.000 % |
51.80/51.80	c |      3222 |    1041      968    13326 |     9743     3222     35 |  0.000 % |
51.89/51.91	c |      4930 |    1041      968    13326 |    10717     4930     34 |  0.000 % |
51.99/52.08	c |      7492 |    1041      968    13326 |    11789     7492     36 |  0.000 % |
52.29/52.37	c |     11336 |    1041      968    13326 |    12968    11336     37 |  0.000 % |
52.80/52.87	c |     17102 |    1041      968    13326 |    14265    10573     43 |  0.000 % |
53.59/53.61	c |     25751 |    1041      968    13326 |    15692    12040     41 |  0.000 % |
54.70/54.71	c |     38726 |    1041      968    13326 |    17261     9228     45 |  0.000 % |
56.49/56.54	c |     58191 |    1041      968    13326 |    18987    11338     45 |  0.000 % |
59.19/59.22	c |     87385 |    1041      968    13326 |    20886    11887     49 |  0.000 % |
60.40/60.48	c ===============================================================================
60.89/60.98	c core #10
60.89/60.98	c ============================[ Search Statistics ]==============================
60.89/60.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.89/60.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
60.89/60.98	c ===============================================================================
60.89/60.98	c |         0 |    1183     1064    14759 |     5000        0    nan |  0.000 % |
60.99/61.00	c |       100 |    1183     1064    14759 |     5500      100     42 |  0.000 % |
60.99/61.01	c |       251 |    1183     1064    14759 |     6050      251     37 |  0.000 % |
60.99/61.02	c |       477 |    1183     1064    14759 |     6655      477     41 |  0.000 % |
60.99/61.04	c |       815 |    1183     1064    14759 |     7320      815     37 |  0.000 % |
60.99/61.06	c |      1322 |    1183     1064    14759 |     8052     1322     35 |  0.000 % |
61.09/61.10	c |      2085 |    1183     1064    14759 |     8857     2085     38 |  0.000 % |
61.09/61.16	c |      3224 |    1183     1064    14759 |     9743     3224     38 |  0.000 % |
61.19/61.27	c |      4932 |    1183     1064    14759 |    10717     4932     39 |  0.000 % |
61.40/61.43	c |      7495 |    1183     1064    14759 |    11789     7495     41 |  0.000 % |
61.69/61.70	c |     11342 |    1183     1064    14759 |    12968    11342     42 |  0.000 % |
62.09/62.15	c |     17109 |    1183     1064    14759 |    14265    10579     44 |  0.000 % |
62.89/62.90	c |     25758 |    1183     1064    14759 |    15692    12038     45 |  0.000 % |
64.09/64.18	c |     38732 |    1183     1064    14759 |    17261     9219     44 |  0.000 % |
65.90/65.94	c |     58193 |    1183     1064    14759 |    18987    11328     46 |  0.000 % |
68.69/68.77	c |     87386 |    1183     1064    14759 |    20886    11872     47 |  0.000 % |
73.19/73.21	c |    131175 |    1183     1064    14759 |    22974    13660     48 |  0.000 % |
77.09/77.18	c ===============================================================================
78.10/78.12	c core #11
78.10/78.12	c ============================[ Search Statistics ]==============================
78.10/78.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
78.10/78.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
78.10/78.12	c ===============================================================================
78.10/78.12	c |         0 |    1331     1155    16164 |     5000        0    nan |  0.000 % |
78.10/78.14	c |       101 |    1331     1155    16164 |     5500      101     38 |  0.000 % |
78.10/78.15	c |       251 |    1331     1155    16164 |     6050      251     31 |  0.000 % |
78.10/78.16	c |       476 |    1331     1155    16164 |     6655      476     32 |  0.000 % |
78.10/78.17	c |       813 |    1331     1155    16164 |     7320      813     31 |  0.000 % |
78.20/78.20	c |      1320 |    1331     1155    16164 |     8052     1320     31 |  0.000 % |
78.20/78.24	c |      2081 |    1331     1155    16164 |     8857     2081     31 |  0.000 % |
78.30/78.30	c |      3220 |    1331     1155    16164 |     9743     3220     32 |  0.000 % |
78.30/78.39	c |      4929 |    1331     1155    16164 |    10717     4929     34 |  0.000 % |
78.49/78.56	c |      7493 |    1331     1155    16164 |    11789     7493     36 |  0.000 % |
78.79/78.86	c |     11337 |    1331     1155    16164 |    12968    11337     38 |  0.000 % |
79.30/79.38	c |     17103 |    1331     1155    16164 |    14265    10568     42 |  0.000 % |
80.10/80.16	c |     25753 |    1331     1155    16164 |    15692    12028     41 |  0.000 % |
81.19/81.29	c |     38728 |    1331     1155    16164 |    17261     9217     44 |  0.000 % |
83.09/83.14	c |     58189 |    1331     1155    16164 |    18987    11314     44 |  0.000 % |
85.89/85.95	c |     87381 |    1331     1155    16164 |    20886    11859     48 |  0.000 % |
90.20/90.26	c |    131172 |    1292     1155    16164 |    22974     7321     45 |  2.930 % |
90.60/90.67	c ===============================================================================
91.30/91.38	c core #12
91.30/91.38	c ============================[ Search Statistics ]==============================
91.30/91.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.30/91.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.30/91.38	c ===============================================================================
91.30/91.38	c |         0 |    1458     1243    17493 |     5000        0    nan |  0.000 % |
91.39/91.40	c |       101 |    1458     1243    17493 |     5500      101     38 |  0.000 % |
91.39/91.41	c |       251 |    1458     1243    17493 |     6050      251     33 |  0.000 % |
91.39/91.42	c |       476 |    1458     1243    17493 |     6655      476     33 |  0.000 % |
91.39/91.44	c |       814 |    1458     1243    17493 |     7320      814     34 |  0.000 % |
91.39/91.46	c |      1320 |    1458     1243    17493 |     8052     1320     35 |  0.000 % |
91.50/91.51	c |      2079 |    1458     1243    17493 |     8857     2079     38 |  0.000 % |
91.50/91.56	c |      3219 |    1458     1243    17493 |     9743     3219     37 |  0.000 % |
91.60/91.67	c |      4928 |    1458     1243    17493 |    10717     4928     36 |  0.000 % |
91.79/91.85	c |      7490 |    1458     1243    17493 |    11789     7490     37 |  0.000 % |
92.09/92.15	c |     11334 |    1458     1243    17493 |    12968    11334     39 |  0.000 % |
92.49/92.59	c |     17100 |    1458     1243    17493 |    14265    10579     40 |  0.000 % |
93.29/93.31	c |     25749 |    1458     1243    17493 |    15692    12048     43 |  0.000 % |
94.50/94.52	c |     38724 |    1458     1243    17493 |    17261     9234     47 |  0.000 % |
96.40/96.46	c |     58186 |    1458     1243    17493 |    18987    11336     43 |  0.000 % |
99.19/99.29	c |     87380 |    1458     1243    17493 |    20886    11889     49 |  0.000 % |
103.39/103.46	c ===============================================================================
104.10/104.10	c core #13
104.10/104.10	c ============================[ Search Statistics ]==============================
104.10/104.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.10/104.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
104.10/104.10	c ===============================================================================
104.10/104.10	c |         0 |    1603     1332    18866 |     5000        0    nan |  0.000 % |
104.10/104.12	c |       100 |    1603     1332    18866 |     5500      100     44 |  0.000 % |
104.10/104.13	c |       250 |    1603     1332    18866 |     6050      250     40 |  0.000 % |
104.10/104.14	c |       475 |    1603     1332    18866 |     6655      475     40 |  0.000 % |
104.10/104.16	c |       813 |    1603     1332    18866 |     7320      813     40 |  0.000 % |
104.10/104.18	c |      1320 |    1603     1332    18866 |     8052     1320     37 |  0.000 % |
104.20/104.22	c |      2080 |    1603     1332    18866 |     8857     2080     35 |  0.000 % |
104.20/104.29	c |      3219 |    1603     1332    18866 |     9743     3219     34 |  0.000 % |
104.40/104.41	c |      4927 |    1603     1332    18866 |    10717     4927     37 |  0.000 % |
104.59/104.62	c |      7490 |    1603     1332    18866 |    11789     7490     39 |  0.000 % |
104.90/104.94	c |     11336 |    1603     1332    18866 |    12968    11336     38 |  0.000 % |
105.39/105.48	c |     17104 |    1603     1332    18866 |    14265    10571     40 |  0.000 % |
106.19/106.24	c |     25755 |    1603     1332    18866 |    15692    12027     44 |  0.000 % |
107.39/107.46	c |     38732 |    1603     1332    18866 |    17261     9196     45 |  0.000 % |
109.29/109.37	c |     58194 |    1603     1332    18866 |    18987    11279     46 |  0.000 % |
112.20/112.27	c |     87387 |    1603     1332    18866 |    20886    11815     49 |  0.000 % |
117.00/117.07	c |    131176 |    1603     1332    18866 |    22974    13607     49 |  0.001 % |
118.49/118.56	c ===============================================================================
119.29/119.34	c core #14
119.29/119.34	c ============================[ Search Statistics ]==============================
119.29/119.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
119.29/119.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
119.29/119.34	c ===============================================================================
119.29/119.34	c |         0 |    1734     1419    20199 |     5000        0    nan |  0.000 % |
119.29/119.37	c |       100 |    1734     1419    20199 |     5500      100     42 |  0.000 % |
119.29/119.37	c |       252 |    1734     1419    20199 |     6050      252     38 |  0.000 % |
119.29/119.39	c |       480 |    1734     1419    20199 |     6655      480     37 |  0.000 % |
119.40/119.41	c |       818 |    1734     1419    20199 |     7320      818     37 |  0.000 % |
119.40/119.43	c |      1324 |    1734     1419    20199 |     8052     1324     36 |  0.000 % |
119.40/119.47	c |      2083 |    1734     1419    20199 |     8857     2083     35 |  0.000 % |
119.50/119.54	c |      3223 |    1734     1419    20199 |     9743     3223     35 |  0.000 % |
119.60/119.65	c |      4933 |    1734     1419    20199 |    10717     4933     36 |  0.000 % |
119.80/119.82	c |      7497 |    1734     1419    20199 |    11789     7497     35 |  0.000 % |
120.09/120.15	c |     11341 |    1734     1419    20199 |    12968    11341     37 |  0.000 % |
120.60/120.61	c |     17108 |    1734     1419    20199 |    14265    10567     39 |  0.000 % |
121.29/121.38	c |     25758 |    1734     1419    20199 |    15692    12027     43 |  0.000 % |
122.49/122.59	c |     38735 |    1734     1419    20199 |    17261     9198     43 |  0.000 % |
124.40/124.48	c |     58199 |    1734     1419    20199 |    18987    11296     44 |  0.000 % |
127.29/127.36	c |     87395 |    1734     1419    20199 |    20886    11872     47 |  0.000 % |
133.19/133.25	c |    131184 |    1693     1419    20199 |    22974    11708     47 |  2.365 % |
137.09/137.12	c ===============================================================================
137.90/137.94	c core #15
137.90/137.94	c ============================[ Search Statistics ]==============================
137.90/137.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
137.90/137.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
137.90/137.94	c ===============================================================================
137.90/137.94	c |         0 |    1877     1506    21556 |     5000        0    nan |  0.000 % |
137.90/137.97	c |       100 |    1877     1506    21556 |     5500      100     40 |  0.000 % |
137.90/137.98	c |       251 |    1877     1506    21556 |     6050      251     39 |  0.000 % |
137.90/137.99	c |       476 |    1877     1506    21556 |     6655      476     37 |  0.000 % |
137.99/138.01	c |       814 |    1877     1506    21556 |     7320      814     36 |  0.000 % |
137.99/138.03	c |      1320 |    1877     1506    21556 |     8052     1320     37 |  0.000 % |
137.99/138.07	c |      2080 |    1877     1506    21556 |     8857     2080     35 |  0.000 % |
138.09/138.14	c |      3219 |    1877     1506    21556 |     9743     3219     37 |  0.000 % |
138.19/138.25	c |      4927 |    1877     1506    21556 |    10717     4927     38 |  0.000 % |
138.39/138.44	c |      7489 |    1877     1506    21556 |    11789     7489     41 |  0.000 % |
138.70/138.76	c |     11335 |    1877     1506    21556 |    12968    11335     41 |  0.000 % |
139.20/139.24	c |     17101 |    1877     1506    21556 |    14265    10556     41 |  0.000 % |
139.99/140.07	c |     25752 |    1877     1506    21556 |    15692    12018     44 |  0.000 % |
141.29/141.36	c |     38727 |    1877     1506    21556 |    17261     9199     43 |  0.000 % |
143.19/143.27	c |     58188 |    1877     1506    21556 |    18987    11283     46 |  0.000 % |
146.30/146.33	c |     87380 |    1877     1506    21556 |    20886    11815     44 |  0.000 % |
159.99/160.06	c |    131169 |    1877     1506    21556 |    22974    12876     74 |  0.000 % |
168.49/168.52	c |    196853 |    1877     1506    21556 |    25272    16565     62 |  0.000 % |
206.49/206.58	c |    295379 |    1877     1506    21556 |    27799    21655     83 |  0.000 % |
227.60/227.65	c |    443171 |    1877     1506    21556 |    30579    17513     61 |  0.000 % |
315.30/315.37	c |    664858 |    1877     1506    21556 |    33637    24995     76 |  0.000 % |
405.40/405.45	c |    997385 |    1877     1506    21556 |    37001    19434     78 |  0.000 % |
528.60/528.60	c ===============================================================================
532.90/532.91	c core #16
532.90/532.91	c ============================[ Search Statistics ]==============================
532.90/532.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
532.90/532.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
532.90/532.91	c ===============================================================================
532.90/532.91	c |         0 |    2009     1592    22878 |     5000        0    nan |  0.000 % |
532.90/532.94	c |       100 |    2009     1592    22878 |     5500      100     45 |  0.000 % |
532.90/532.95	c |       251 |    2009     1592    22878 |     6050      251     38 |  0.000 % |
533.00/533.01	c |       479 |    2009     1592    22878 |     6655      479     36 |  0.000 % |
533.00/533.03	c |       816 |    2009     1592    22878 |     7320      816     36 |  0.000 % |
533.00/533.07	c |      1323 |    2009     1592    22878 |     8052     1323     35 |  0.000 % |
533.10/533.14	c |      2084 |    2009     1592    22878 |     8857     2084     35 |  0.000 % |
533.20/533.22	c |      3224 |    2009     1592    22878 |     9743     3224     35 |  0.000 % |
533.31/533.33	c |      4935 |    2009     1592    22878 |    10717     4935     36 |  0.000 % |
533.51/533.52	c |      7497 |    2009     1592    22878 |    11789     7497     36 |  0.000 % |
533.90/533.92	c |     11341 |    2009     1592    22878 |    12968    11341     39 |  0.000 % |
534.41/534.46	c |     17107 |    2009     1592    22878 |    14265    10229     43 |  0.000 % |
535.20/535.24	c |     25756 |    2009     1592    22878 |    15692    11695     42 |  0.000 % |
536.51/536.52	c |     38730 |    2009     1592    22878 |    17261     8858     43 |  0.000 % |
538.40/538.49	c |     58193 |    2009     1592    22878 |    18987    10952     44 |  0.000 % |
541.81/541.81	c |     87386 |    2009     1592    22878 |    20886    11529     48 |  0.000 % |
549.90/549.99	c |    131178 |    2009     1592    22878 |    22974    12738     49 |  0.000 % |
560.51/560.52	c |    196862 |    2009     1592    22878 |    25272    19390     69 |  0.000 % |
574.11/574.17	c |    295392 |    1968     1592    22878 |    27799    21538     59 |  2.041 % |
642.91/642.94	c |    443182 |    1968     1592    22878 |    30579    18334     81 |  2.041 % |
737.21/737.23	c |    664866 |    1968     1592    22878 |    33637    24799     76 |  2.041 % |
959.02/959.01	c |    997395 |    1968     1592    22878 |    37001    31067    149 |  2.041 % |
1225.82/1225.85	c |   1496184 |    1944     1592    22878 |    40701    23711     95 |  3.235 % |
1714.65/1714.69	c |   2244367 |    1944     1592    22878 |    44771    19729     94 |  3.235 % |

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-2690154-1277924624/watcher-2690154-1277924624 -o /tmp/evaluation-result-2690154-1277924624/solver-2690154-1277924624 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690154-1277924624.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 16928
/proc/meminfo: memFree=31310692/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=2568 CPUtime=0
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 287 0 0 0 0 0 0 0 25 0 1 0 133757042 2629632 203 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 642 203 143 303 0 337 0

[startup+0.015511 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 16928
/proc/meminfo: memFree=31310692/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=2700 CPUtime=0.01
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 315 0 0 0 1 0 0 0 25 0 1 0 133757042 2764800 231 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 675 231 143 303 0 370 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2700

[startup+0.100494 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 16928
/proc/meminfo: memFree=31310692/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=3624 CPUtime=0.09
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 538 0 0 0 9 0 0 0 25 0 1 0 133757042 3710976 454 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 906 454 143 303 0 601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3624

[startup+0.30047 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 16928
/proc/meminfo: memFree=31310692/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=5076 CPUtime=0.29
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 921 0 0 0 28 1 0 0 25 0 1 0 133757042 5197824 837 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 1302 846 143 303 0 997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5076

[startup+0.700385 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 16928
/proc/meminfo: memFree=31310692/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=7452 CPUtime=0.69
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 1510 0 0 0 68 1 0 0 25 0 1 0 133757042 7630848 1426 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 1863 1426 143 303 0 1558 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7452

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16929
/proc/meminfo: memFree=31303740/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=11544 CPUtime=1.49
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 2542 0 0 0 146 3 0 0 25 0 1 0 133757042 11821056 2458 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 2886 2458 143 303 0 2581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11544

[startup+3.10094 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16929
/proc/meminfo: memFree=31297416/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=20260 CPUtime=3.09
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 4708 0 0 0 304 5 0 0 25 0 1 0 133757042 20746240 4624 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 5065 4624 143 303 0 4760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20260

[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16929
/proc/meminfo: memFree=31282740/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=29824 CPUtime=6.29
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 7101 0 0 0 619 10 0 0 25 0 1 0 133757042 30539776 7017 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 7456 7017 146 303 0 7151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29824

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 16929
/proc/meminfo: memFree=31270004/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=44528 CPUtime=12.69
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 10789 0 0 0 1250 19 0 0 25 0 1 0 133757042 45596672 10705 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 11132 10705 146 303 0 10827 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44528

[startup+25.5009 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 16929
/proc/meminfo: memFree=31235640/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=78228 CPUtime=25.49
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 19215 0 0 0 2514 35 0 0 25 0 1 0 133757042 80105472 19131 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 19557 19131 146 303 0 19252 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78228

[startup+51.1012 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 16930
/proc/meminfo: memFree=31174160/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=140772 CPUtime=51.09
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 34838 0 0 0 5038 71 0 0 25 0 1 0 133757042 144150528 34754 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 35193 34754 146 303 0 34888 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 140772

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16931
/proc/meminfo: memFree=31057436/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=254816 CPUtime=102.3
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 63359 0 0 0 10100 130 0 0 25 0 1 0 133757042 260931584 63275 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 63704 63275 146 303 0 63399 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 254816

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16933
/proc/meminfo: memFree=30956560/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=357180 CPUtime=162.29
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 88911 0 0 0 16048 181 0 0 25 0 1 0 133757042 365752320 88827 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 89295 88828 146 303 0 88990 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 357180

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16935
/proc/meminfo: memFree=30847780/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=464632 CPUtime=222.29
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 115722 0 0 0 22014 215 0 0 25 0 1 0 133757042 475783168 115638 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 116158 115638 146 303 0 115853 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 464632

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16936
/proc/meminfo: memFree=30770992/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=541652 CPUtime=282.3
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 134937 0 0 0 27993 237 0 0 25 0 1 0 133757042 554651648 134853 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 135413 134854 146 303 0 135108 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 541652

[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16938
/proc/meminfo: memFree=30665928/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=646284 CPUtime=342.3
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 161029 0 0 0 33961 269 0 0 25 0 1 0 133757042 661794816 160945 4089446400 134512640 135751879 4294726752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 161571 160945 146 303 0 161266 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 646284

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16939
/proc/meminfo: memFree=30596448/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=715068 CPUtime=402.3
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 178211 0 0 0 39939 291 0 0 25 0 1 0 133757042 732229632 178127 4089446400 134512640 135751879 4294726752 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 178767 178127 146 303 0 178462 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 715068

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16941
/proc/meminfo: memFree=30509852/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=800596 CPUtime=462.3
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 199536 0 0 0 45910 320 0 0 25 0 1 0 133757042 819810304 199452 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 200149 199452 146 303 0 199844 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 800596

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16943
/proc/meminfo: memFree=30453376/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=857672 CPUtime=522.3
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 213756 0 0 0 51891 339 0 0 25 0 1 0 133757042 878256128 213672 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 214418 213672 146 303 0 214113 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 857672

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16944
/proc/meminfo: memFree=30423696/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=885292 CPUtime=582.31
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 221016 0 0 0 57852 379 0 0 25 0 1 0 133757042 906539008 220895 4089446400 134512640 135751879 4294726752 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 221323 220895 146 303 0 221018 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 885292

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16946
/proc/meminfo: memFree=30378660/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=929944 CPUtime=642.31
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 232050 0 0 0 63836 395 0 0 25 0 1 0 133757042 952262656 231929 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 232486 231929 146 303 0 232181 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 929944

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16951
/proc/meminfo: memFree=30246248/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1062492 CPUtime=822.32
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 265111 0 0 0 81786 446 0 0 25 0 1 0 133757042 1087991808 264990 4089446400 134512640 135751879 4294726752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 265623 264990 146 303 0 265318 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1062492

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16952
/proc/meminfo: memFree=30193268/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1114836 CPUtime=882.32
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 278178 0 0 0 87772 460 0 0 25 0 1 0 133757042 1141592064 278057 4089446400 134512640 135751879 4294726752 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 278709 278057 146 303 0 278404 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1114836

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 16954
/proc/meminfo: memFree=30147968/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1160384 CPUtime=942.32
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 289556 0 0 0 93761 471 0 0 25 0 1 0 133757042 1188233216 289435 4089446400 134512640 135751879 4294726752 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 290096 289435 146 303 0 289791 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1160384

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16955
/proc/meminfo: memFree=30098320/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1209688 CPUtime=1002.32
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 301844 0 0 0 99745 487 0 0 25 0 1 0 133757042 1238720512 301723 4089446400 134512640 135751879 4294726752 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 302422 301723 146 303 0 302117 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1209688

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16957
/proc/meminfo: memFree=30050056/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1258568 CPUtime=1062.32
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 314024 0 0 0 105731 501 0 0 25 0 1 0 133757042 1288773632 313903 4089446400 134512640 135751879 4294726752 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 314642 313903 146 303 0 314337 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1258568

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16986
/proc/meminfo: memFree=30063596/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1319688 CPUtime=1122.32
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 329262 0 0 0 111712 520 0 0 25 0 1 0 133757042 1351360512 329141 4089446400 134512640 135751879 4294726752 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 329922 329141 146 303 0 329617 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1319688

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16987
/proc/meminfo: memFree=29938444/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1364416 CPUtime=1182.33
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 340452 0 0 0 117702 531 0 0 25 0 1 0 133757042 1397161984 340331 4089446400 134512640 135751879 4294726752 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 341104 340331 146 303 0 340799 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1364416

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16989
/proc/meminfo: memFree=29822344/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1416132 CPUtime=1242.33
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 353293 0 0 0 123688 545 0 0 25 0 1 0 133757042 1450119168 353172 4089446400 134512640 135751879 4294726752 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 354033 353172 146 303 0 353728 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1416132

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16990
/proc/meminfo: memFree=29723228/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1459356 CPUtime=1302.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 364085 0 0 0 129678 556 0 0 25 0 1 0 133757042 1494380544 363964 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 364839 363964 146 303 0 364534 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1459356

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16992
/proc/meminfo: memFree=29641456/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1503276 CPUtime=1362.33
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 375023 0 0 0 135665 568 0 0 25 0 1 0 133757042 1539354624 374902 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 375819 374902 146 303 0 375514 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1503276

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16994
/proc/meminfo: memFree=29580640/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1553672 CPUtime=1422.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 387605 0 0 0 141651 583 0 0 25 0 1 0 133757042 1590960128 387484 4089446400 134512640 135751879 4294726752 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 388418 387484 146 303 0 388113 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1553672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 16995
/proc/meminfo: memFree=29526416/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1598000 CPUtime=1482.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 398706 0 0 0 147638 596 0 0 25 0 1 0 133757042 1636352000 398585 4089446400 134512640 135751879 4294726752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 399500 398585 146 303 0 399195 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1598000

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16997
/proc/meminfo: memFree=29479016/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1641456 CPUtime=1542.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 409559 0 0 0 153626 608 0 0 25 0 1 0 133757042 1680850944 409438 4089446400 134512640 135751879 4294726752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 410364 409438 146 303 0 410059 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1641456

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 16998
/proc/meminfo: memFree=29435584/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1684336 CPUtime=1602.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 420265 0 0 0 159615 619 0 0 25 0 1 0 133757042 1724760064 420144 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 421084 420144 146 303 0 420779 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1684336

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/179 17000
/proc/meminfo: memFree=29386452/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1730580 CPUtime=1662.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 431791 0 0 0 165600 634 0 0 25 0 1 0 133757042 1772113920 431670 4089446400 134512640 135751879 4294726752 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 432645 431670 146 303 0 432340 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1730580

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 17005
/proc/meminfo: memFree=29341324/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1773512 CPUtime=1722.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 442511 0 0 0 171586 648 0 0 25 0 1 0 133757042 1816076288 442390 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 443378 442390 146 303 0 443073 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1773512

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 17006
/proc/meminfo: memFree=29293420/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1820552 CPUtime=1782.34
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 454259 0 0 0 177571 663 0 0 25 0 1 0 133757042 1864245248 454138 4089446400 134512640 135751879 4294726752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 455138 454138 146 303 0 454833 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1820552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17007
/proc/meminfo: memFree=29279648/32951124 swapFree=67111528/67111528
[pid=16928] ppid=16926 vsize=1834068 CPUtime=1800.04
/proc/16928/stat : 16928 (wbo1.4a) R 16926 16928 15305 0 -1 4202496 457617 0 0 0 179337 667 0 0 25 0 1 0 133757042 1878085632 457496 4089446400 134512640 135751879 4294726752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/16928/statm: 458517 457496 146 303 0 458212 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1834068

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1793.38
CPU system time (s): 6.73498
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1834068

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

runsolver used 2.56361 second user time and 5.75113 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 21:03:44
IDJOB=2690154
IDBENCH=79246
IDSOLVER=1200
FILE ID=node142/2690154-1277924624
PBS_JOBID= 11197287
Free space on /tmp= 74176 MiB

SOLVER NAME= wbo 1.4a
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690154-1277924624/watcher-2690154-1277924624 -o /tmp/evaluation-result-2690154-1277924624/solver-2690154-1277924624 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690154-1277924624.wbo

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

MD5SUM BENCH= b0ba3c932573495a13e5be4b53f7a1a4
RANDOM SEED=814244880

node142.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31311212 kB
Buffers:        203784 kB
Cached:        1075820 kB
SwapCached:          0 kB
Active:         645232 kB
Inactive:       851376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31311212 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2960 kB
Writeback:           0 kB
AnonPages:      216684 kB
Mapped:          16064 kB
Slab:            80912 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   368784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74168 MiB
End job on node142 at 2010-06-30 21:33:46