Trace number 2689939

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.4aOPTIMUM 1364.66 1364.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo
MD5SUM9ffea189547a7afa9054418ab91a7dbf
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.047992
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 constraints64
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 2925
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2924
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1314
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-2689939-1277898957.wbo.
0.00/0.00	c Instance file HOME/instance-2689939-1277898957.wbo
0.00/0.00	c File size is 10286 bytes.
0.00/0.00	c Highest Coefficient sum: 1314
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     30 |  0.004 % |
0.00/0.00	c |       251 |     169      101     1205 |     6050      251     32 |  0.004 % |
0.00/0.01	c |       479 |     169      101     1205 |     6655      479     33 |  0.004 % |
0.00/0.02	c |       819 |     169      101     1205 |     7320      819     32 |  0.004 % |
0.00/0.03	c |      1326 |     169      101     1205 |     8052     1326     32 |  0.004 % |
0.00/0.06	c |      2087 |     169      101     1205 |     8857     2087     33 |  0.004 % |
0.06/0.09	c |      3226 |     169      101     1205 |     9743     3226     32 |  0.004 % |
0.09/0.15	c |      4934 |     169      101     1205 |    10717     4934     33 |  0.004 % |
0.19/0.26	c |      7496 |     169      101     1205 |    11789     7496     34 |  0.004 % |
0.39/0.48	c |     11340 |     169      101     1205 |    12968    11340     36 |  0.004 % |
0.79/0.84	c |     17107 |     169      101     1205 |    14265    10577     37 |  0.004 % |
1.29/1.38	c |     25756 |     169      101     1205 |    15692    12033     41 |  0.004 % |
2.19/2.26	c ===============================================================================
2.29/2.38	c core #1
2.29/2.38	c ============================[ Search Statistics ]==============================
2.29/2.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.38	c ===============================================================================
2.29/2.38	c |         0 |     230      161     1915 |     5000        0    nan |  0.000 % |
2.29/2.38	c |       100 |     230      161     1915 |     5500      100     34 |  0.002 % |
2.29/2.39	c |       250 |     230      161     1915 |     6050      250     35 |  0.002 % |
2.29/2.39	c |       475 |     230      161     1915 |     6655      475     33 |  0.002 % |
2.39/2.40	c |       813 |     230      161     1915 |     7320      813     34 |  0.002 % |
2.39/2.42	c |      1319 |     230      161     1915 |     8052     1319     32 |  0.002 % |
2.39/2.44	c |      2078 |     230      161     1915 |     8857     2078     32 |  0.002 % |
2.39/2.48	c |      3218 |     230      161     1915 |     9743     3218     32 |  0.002 % |
2.49/2.56	c |      4928 |     230      161     1915 |    10717     4928     34 |  0.002 % |
2.59/2.67	c |      7491 |     230      161     1915 |    11789     7491     34 |  0.002 % |
2.79/2.88	c |     11338 |     230      161     1915 |    12968    11338     36 |  0.002 % |
3.19/3.26	c |     17104 |     230      161     1915 |    14265    10579     40 |  0.002 % |
3.79/3.81	c |     25755 |     230      161     1915 |    15692    12051     41 |  0.002 % |
4.59/4.65	c |     38730 |     230      161     1915 |    17261     9221     43 |  0.002 % |
5.19/5.20	c ===============================================================================
5.29/5.36	c core #2
5.29/5.36	c ============================[ Search Statistics ]==============================
5.29/5.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.36	c ===============================================================================
5.29/5.36	c |         0 |     291      221     2625 |     5000        0    nan |  0.000 % |
5.29/5.36	c |       100 |     291      221     2625 |     5500      100     42 |  0.001 % |
5.29/5.37	c |       250 |     291      221     2625 |     6050      250     43 |  0.001 % |
5.29/5.37	c |       475 |     291      221     2625 |     6655      475     38 |  0.001 % |
5.29/5.38	c |       812 |     291      221     2625 |     7320      812     37 |  0.001 % |
5.29/5.40	c |      1320 |     291      221     2625 |     8052     1320     34 |  0.001 % |
5.39/5.42	c |      2079 |     291      221     2625 |     8857     2079     33 |  0.001 % |
5.39/5.47	c |      3218 |     291      221     2625 |     9743     3218     31 |  0.001 % |
5.50/5.54	c |      4928 |     291      221     2625 |    10717     4928     33 |  0.001 % |
5.59/5.68	c |      7491 |     291      221     2625 |    11789     7491     34 |  0.001 % |
5.89/5.91	c |     11336 |     291      221     2625 |    12968    11336     35 |  0.001 % |
6.19/6.28	c |     17102 |     291      221     2625 |    14265    10589     40 |  0.001 % |
6.79/6.85	c |     25751 |     291      221     2625 |    15692    12052     41 |  0.001 % |
7.70/7.76	c |     38725 |     291      221     2625 |    17261     9249     41 |  0.001 % |
8.29/8.38	c ===============================================================================
8.49/8.54	c core #3
8.49/8.54	c ============================[ Search Statistics ]==============================
8.49/8.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.49/8.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.49/8.54	c ===============================================================================
8.49/8.54	c |         0 |     349      280     3315 |     5000        0    nan |  0.000 % |
8.49/8.55	c |       101 |     349      280     3315 |     5500      101     34 |  0.001 % |
8.49/8.55	c |       251 |     349      280     3315 |     6050      251     30 |  0.001 % |
8.49/8.56	c |       476 |     349      280     3315 |     6655      476     33 |  0.001 % |
8.49/8.57	c |       813 |     349      280     3315 |     7320      813     31 |  0.001 % |
8.49/8.58	c |      1319 |     349      280     3315 |     8052     1319     29 |  0.001 % |
8.59/8.61	c |      2079 |     349      280     3315 |     8857     2079     30 |  0.001 % |
8.59/8.65	c |      3219 |     349      280     3315 |     9743     3219     31 |  0.001 % |
8.69/8.72	c |      4928 |     349      280     3315 |    10717     4928     32 |  0.001 % |
8.80/8.84	c |      7490 |     349      280     3315 |    11789     7490     32 |  0.001 % |
8.99/9.07	c |     11337 |     349      280     3315 |    12968    11337     35 |  0.001 % |
9.39/9.45	c |     17103 |     349      280     3315 |    14265    10574     39 |  0.001 % |
9.99/10.07	c |     25753 |     349      280     3315 |    15692    12036     40 |  0.001 % |
10.90/10.97	c |     38727 |     349      280     3315 |    17261     9218     41 |  0.001 % |
11.59/11.64	c ===============================================================================
11.79/11.82	c core #4
11.79/11.82	c ============================[ Search Statistics ]==============================
11.79/11.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.79/11.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.79/11.82	c ===============================================================================
11.79/11.82	c |         0 |     411      338     4001 |     5000        0    nan |  0.000 % |
11.79/11.82	c |       100 |     411      338     4001 |     5500      100     35 |  0.001 % |
11.79/11.83	c |       251 |     411      338     4001 |     6050      251     30 |  0.001 % |
11.79/11.83	c |       477 |     411      338     4001 |     6655      477     30 |  0.001 % |
11.79/11.84	c |       814 |     411      338     4001 |     7320      814     30 |  0.001 % |
11.79/11.86	c |      1320 |     411      338     4001 |     8052     1320     30 |  0.001 % |
11.79/11.89	c |      2079 |     411      338     4001 |     8857     2079     32 |  0.001 % |
11.89/11.93	c |      3218 |     411      338     4001 |     9743     3218     32 |  0.001 % |
11.89/12.00	c |      4927 |     411      338     4001 |    10717     4927     32 |  0.001 % |
12.10/12.13	c |      7490 |     411      338     4001 |    11789     7490     34 |  0.001 % |
12.29/12.38	c |     11334 |     411      338     4001 |    12968    11334     35 |  0.001 % |
12.69/12.77	c |     17100 |     411      338     4001 |    14265    10573     38 |  0.001 % |
13.29/13.37	c |     25751 |     411      338     4001 |    15692    12049     40 |  0.001 % |
14.19/14.26	c |     38727 |     411      338     4001 |    17261     9212     40 |  0.001 % |
15.29/15.35	c ===============================================================================
15.49/15.55	c core #5
15.49/15.55	c ============================[ Search Statistics ]==============================
15.49/15.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.49/15.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.49/15.55	c ===============================================================================
15.49/15.55	c |         0 |     477      396     4695 |     5000        0    nan |  0.000 % |
15.49/15.55	c |       100 |     477      396     4695 |     5500      100     38 |  0.000 % |
15.49/15.56	c |       251 |     477      396     4695 |     6050      251     31 |  0.000 % |
15.49/15.56	c |       476 |     477      396     4695 |     6655      476     29 |  0.000 % |
15.49/15.57	c |       813 |     477      396     4695 |     7320      813     28 |  0.000 % |
15.49/15.59	c |      1319 |     477      396     4695 |     8052     1319     32 |  0.000 % |
15.59/15.61	c |      2078 |     477      396     4695 |     8857     2078     32 |  0.000 % |
15.59/15.66	c |      3217 |     477      396     4695 |     9743     3217     33 |  0.000 % |
15.69/15.73	c |      4927 |     477      396     4695 |    10717     4927     34 |  0.000 % |
15.79/15.86	c |      7489 |     477      396     4695 |    11789     7489     37 |  0.000 % |
15.99/16.09	c |     11334 |     477      396     4695 |    12968    11334     39 |  0.000 % |
16.39/16.45	c |     17102 |     477      396     4695 |    14265    10562     41 |  0.000 % |
16.99/17.02	c |     25754 |     477      396     4695 |    15692    12036     42 |  0.000 % |
17.79/17.89	c |     38729 |     477      396     4695 |    17261     9219     42 |  0.000 % |
19.20/19.29	c |     58190 |     477      396     4695 |    18987    11311     43 |  0.000 % |
20.29/20.35	c ===============================================================================
20.59/20.63	c core #6
20.59/20.63	c ============================[ Search Statistics ]==============================
20.59/20.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.59/20.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.59/20.63	c ===============================================================================
20.59/20.63	c |         0 |     533      453     5359 |     5000        0    nan |  0.000 % |
20.59/20.64	c |       100 |     533      453     5359 |     5500      100     32 |  0.000 % |
20.59/20.64	c |       250 |     533      453     5359 |     6050      250     29 |  0.000 % |
20.59/20.65	c |       475 |     533      453     5359 |     6655      475     28 |  0.000 % |
20.59/20.66	c |       813 |     533      453     5359 |     7320      813     28 |  0.000 % |
20.59/20.68	c |      1319 |     533      453     5359 |     8052     1319     29 |  0.000 % |
20.69/20.70	c |      2080 |     533      453     5359 |     8857     2080     29 |  0.000 % |
20.69/20.75	c |      3220 |     533      453     5359 |     9743     3220     31 |  0.000 % |
20.80/20.82	c |      4928 |     533      453     5359 |    10717     4928     32 |  0.000 % |
20.90/20.96	c |      7491 |     533      453     5359 |    11789     7491     34 |  0.000 % |
21.19/21.21	c |     11336 |     533      453     5359 |    12968    11336     35 |  0.000 % |
21.59/21.63	c |     17102 |     533      453     5359 |    14265    10554     41 |  0.000 % |
22.20/22.23	c |     25752 |     533      453     5359 |    15692    12014     40 |  0.000 % |
23.09/23.16	c |     38728 |     533      453     5359 |    17261     9201     42 |  0.000 % |
23.99/24.05	c ===============================================================================
24.19/24.24	c core #7
24.19/24.24	c ============================[ Search Statistics ]==============================
24.19/24.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.19/24.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.19/24.24	c ===============================================================================
24.19/24.24	c |         0 |     603      508     6026 |     5000        0    nan |  0.000 % |
24.19/24.25	c |       100 |     603      508     6026 |     5500      100     30 |  0.000 % |
24.19/24.25	c |       252 |     603      508     6026 |     6050      252     26 |  0.000 % |
24.19/24.26	c |       477 |     603      508     6026 |     6655      477     30 |  0.000 % |
24.19/24.27	c |       815 |     603      508     6026 |     7320      815     30 |  0.000 % |
24.19/24.29	c |      1322 |     603      508     6026 |     8052     1322     30 |  0.000 % |
24.29/24.32	c |      2081 |     603      508     6026 |     8857     2081     31 |  0.000 % |
24.29/24.36	c |      3220 |     603      508     6026 |     9743     3220     33 |  0.000 % |
24.39/24.44	c |      4929 |     603      508     6026 |    10717     4929     33 |  0.000 % |
24.50/24.57	c |      7491 |     603      508     6026 |    11789     7491     34 |  0.000 % |
24.79/24.80	c |     11337 |     603      508     6026 |    12968    11337     36 |  0.000 % |
25.10/25.20	c |     17103 |     603      508     6026 |    14265    10556     39 |  0.000 % |
25.69/25.79	c |     25752 |     603      508     6026 |    15692    12021     38 |  0.000 % |
26.69/26.71	c |     38727 |     603      508     6026 |    17261     9206     39 |  0.000 % |
27.99/28.06	c |     58188 |     603      508     6026 |    18987    11297     42 |  0.000 % |
28.80/28.87	c ===============================================================================
29.09/29.13	c core #8
29.09/29.13	c ============================[ Search Statistics ]==============================
29.09/29.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.09/29.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.09/29.13	c ===============================================================================
29.09/29.13	c |         0 |     684      562     6702 |     5000        0    nan |  0.000 % |
29.09/29.14	c |       100 |     684      562     6702 |     5500      100     42 |  0.000 % |
29.09/29.15	c |       251 |     684      562     6702 |     6050      251     37 |  0.000 % |
29.09/29.15	c |       478 |     684      562     6702 |     6655      478     35 |  0.000 % |
29.09/29.16	c |       816 |     684      562     6702 |     7320      816     31 |  0.000 % |
29.09/29.18	c |      1322 |     684      562     6702 |     8052     1322     30 |  0.000 % |
29.19/29.21	c |      2081 |     684      562     6702 |     8857     2081     33 |  0.000 % |
29.19/29.26	c |      3220 |     684      562     6702 |     9743     3220     32 |  0.000 % |
29.29/29.34	c |      4928 |     684      562     6702 |    10717     4928     33 |  0.000 % |
29.39/29.48	c |      7490 |     684      562     6702 |    11789     7490     33 |  0.000 % |
29.69/29.74	c |     11335 |     684      562     6702 |    12968    11335     33 |  0.000 % |
30.09/30.14	c |     17104 |     684      562     6702 |    14265    10573     35 |  0.000 % |
30.69/30.76	c |     25755 |     684      562     6702 |    15692    12045     38 |  0.000 % |
31.69/31.72	c |     38729 |     684      562     6702 |    17261     9248     38 |  0.000 % |
33.00/33.02	c |     58191 |     684      562     6702 |    18987    11341     40 |  0.009 % |
33.59/33.68	c ===============================================================================
33.89/33.93	c core #9
33.89/33.93	c ============================[ Search Statistics ]==============================
33.89/33.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
33.89/33.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
33.89/33.93	c ===============================================================================
33.89/33.93	c |         0 |     763      615     7369 |     5000        0    nan |  0.000 % |
33.89/33.94	c |       100 |     763      615     7369 |     5500      100     36 |  0.000 % |
33.89/33.94	c |       250 |     763      615     7369 |     6050      250     32 |  0.000 % |
33.89/33.95	c |       476 |     763      615     7369 |     6655      476     29 |  0.000 % |
33.89/33.96	c |       813 |     763      615     7369 |     7320      813     30 |  0.000 % |
33.89/33.98	c |      1320 |     763      615     7369 |     8052     1320     31 |  0.000 % |
33.99/34.01	c |      2079 |     763      615     7369 |     8857     2079     33 |  0.000 % |
33.99/34.05	c |      3218 |     763      615     7369 |     9743     3218     34 |  0.000 % |
34.10/34.12	c |      4926 |     763      615     7369 |    10717     4926     34 |  0.000 % |
34.19/34.26	c |      7489 |     763      615     7369 |    11789     7489     34 |  0.000 % |
34.39/34.49	c |     11334 |     763      615     7369 |    12968    11334     37 |  0.000 % |
34.79/34.85	c |     17100 |     763      615     7369 |    14265    10558     40 |  0.000 % |
35.49/35.50	c |     25749 |     763      615     7369 |    15692    12015     41 |  0.000 % |
36.49/36.53	c |     38723 |     763      615     7369 |    17261     9189     42 |  0.000 % |
37.89/37.95	c |     58187 |     763      615     7369 |    18987    11279     42 |  0.000 % |
39.49/39.52	c ===============================================================================
39.79/39.83	c core #10
39.79/39.83	c ============================[ Search Statistics ]==============================
39.79/39.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.79/39.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.79/39.83	c ===============================================================================
39.79/39.83	c |         0 |     844      668     8040 |     5000        0    nan |  0.000 % |
39.79/39.85	c |       100 |     844      668     8040 |     5500      100     42 |  0.000 % |
39.79/39.85	c |       250 |     844      668     8040 |     6050      250     33 |  0.000 % |
39.79/39.86	c |       475 |     844      668     8040 |     6655      475     33 |  0.000 % |
39.79/39.87	c |       812 |     844      668     8040 |     7320      812     32 |  0.000 % |
39.79/39.89	c |      1318 |     844      668     8040 |     8052     1318     31 |  0.000 % |
39.90/39.91	c |      2080 |     844      668     8040 |     8857     2080     33 |  0.000 % |
39.90/39.96	c |      3219 |     844      668     8040 |     9743     3219     35 |  0.000 % |
39.99/40.04	c |      4927 |     844      668     8040 |    10717     4927     34 |  0.000 % |
40.10/40.18	c |      7491 |     844      668     8040 |    11789     7491     35 |  0.000 % |
40.39/40.43	c |     11335 |     844      668     8040 |    12968    11335     36 |  0.000 % |
40.79/40.85	c |     17103 |     844      668     8040 |    14265    10575     39 |  0.000 % |
41.39/41.45	c |     25752 |     844      668     8040 |    15692    12042     39 |  0.000 % |
42.29/42.37	c |     38728 |     844      668     8040 |    17261     9226     41 |  0.000 % |
43.79/43.82	c |     58191 |     844      668     8040 |    18987    11338     37 |  0.000 % |
45.29/45.34	c ===============================================================================
45.60/45.64	c core #11
45.60/45.64	c ============================[ Search Statistics ]==============================
45.60/45.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
45.60/45.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
45.60/45.64	c ===============================================================================
45.60/45.64	c |         0 |     925      720     8698 |     5000        0    nan |  0.000 % |
45.60/45.66	c |       101 |     925      720     8698 |     5500      101     54 |  0.000 % |
45.60/45.66	c |       252 |     925      720     8698 |     6050      252     42 |  0.000 % |
45.60/45.67	c |       479 |     925      720     8698 |     6655      479     39 |  0.000 % |
45.60/45.68	c |       816 |     925      720     8698 |     7320      816     35 |  0.000 % |
45.69/45.70	c |      1324 |     925      720     8698 |     8052     1324     32 |  0.000 % |
45.69/45.73	c |      2083 |     925      720     8698 |     8857     2083     30 |  0.000 % |
45.69/45.77	c |      3222 |     925      720     8698 |     9743     3222     30 |  0.000 % |
45.79/45.86	c |      4930 |     925      720     8698 |    10717     4930     32 |  0.000 % |
45.99/46.00	c |      7497 |     925      720     8698 |    11789     7497     36 |  0.000 % |
46.19/46.27	c |     11341 |     925      720     8698 |    12968    11341     37 |  0.000 % |
46.59/46.68	c |     17109 |     925      720     8698 |    14265    10569     40 |  0.000 % |
47.29/47.33	c |     25758 |     925      720     8698 |    15692    12032     43 |  0.000 % |
48.30/48.36	c |     38732 |     925      720     8698 |    17261     9219     42 |  0.000 % |
49.80/49.87	c |     58194 |     925      720     8698 |    18987    11321     41 |  0.000 % |
52.19/52.24	c |     87388 |     925      720     8698 |    20886    11793     49 |  0.000 % |
53.79/53.81	c ===============================================================================
54.20/54.23	c core #12
54.20/54.23	c ============================[ Search Statistics ]==============================
54.20/54.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.20/54.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
54.20/54.23	c ===============================================================================
54.20/54.23	c |         0 |    1017      772     9378 |     5000        0    nan |  0.000 % |
54.20/54.24	c |       102 |    1017      772     9378 |     5500      102     47 |  0.000 % |
54.20/54.25	c |       253 |    1017      772     9378 |     6050      253     37 |  0.000 % |
54.20/54.26	c |       479 |    1017      772     9378 |     6655      479     33 |  0.000 % |
54.20/54.27	c |       818 |    1017      772     9378 |     7320      818     32 |  0.000 % |
54.20/54.29	c |      1325 |    1017      772     9378 |     8052     1325     31 |  0.000 % |
54.29/54.32	c |      2091 |    1017      772     9378 |     8857     2091     30 |  0.000 % |
54.29/54.37	c |      3231 |    1017      772     9378 |     9743     3231     32 |  0.000 % |
54.39/54.46	c |      4939 |    1017      772     9378 |    10717     4939     33 |  0.000 % |
54.50/54.60	c |      7502 |    1017      772     9378 |    11789     7502     34 |  0.000 % |
54.79/54.85	c |     11347 |    1017      772     9378 |    12968    11347     35 |  0.000 % |
55.19/55.28	c |     17113 |    1017      772     9378 |    14265    10571     40 |  0.000 % |
55.79/55.88	c |     25762 |    1017      772     9378 |    15692    12048     39 |  0.000 % |
58.09/58.16	c |     38736 |    1017      772     9378 |    17261     9073     63 |  0.000 % |
59.30/59.39	c |     58200 |    1017      772     9378 |    18987    11177     42 |  0.000 % |
61.39/61.48	c |     87393 |    1017      772     9378 |    20886    11740     44 |  0.000 % |
63.80/63.84	c ===============================================================================
64.19/64.28	c core #13
64.19/64.28	c ============================[ Search Statistics ]==============================
64.19/64.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.19/64.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
64.19/64.28	c ===============================================================================
64.19/64.28	c |         0 |    1080      821     9976 |     5000        0    nan |  0.000 % |
64.30/64.30	c |       100 |    1080      821     9976 |     5500      100     49 |  0.000 % |
64.30/64.30	c |       250 |    1080      821     9976 |     6050      250     34 |  0.000 % |
64.30/64.31	c |       475 |    1080      821     9976 |     6655      475     31 |  0.000 % |
64.30/64.32	c |       812 |    1080      821     9976 |     7320      812     30 |  0.000 % |
64.30/64.34	c |      1319 |    1080      821     9976 |     8052     1319     31 |  0.000 % |
64.30/64.37	c |      2080 |    1080      821     9976 |     8857     2080     31 |  0.000 % |
64.39/64.42	c |      3221 |    1080      821     9976 |     9743     3221     32 |  0.000 % |
64.49/64.52	c |      4929 |    1080      821     9976 |    10717     4929     33 |  0.000 % |
64.59/64.65	c |      7491 |    1080      821     9976 |    11789     7491     34 |  0.000 % |
64.90/64.92	c |     11335 |    1080      821     9976 |    12968    11335     35 |  0.000 % |
65.29/65.33	c |     17101 |    1080      821     9976 |    14265    10566     36 |  0.000 % |
65.99/66.03	c |     25751 |    1080      821     9976 |    15692    12032     38 |  0.000 % |
67.00/67.04	c |     38725 |    1080      821     9976 |    17261     9227     40 |  0.000 % |
68.60/68.63	c |     58187 |    1080      821     9976 |    18987    11333     38 |  0.000 % |
77.59/77.61	c |     87380 |    1080      821     9976 |    20886    11447     92 |  0.000 % |
96.59/96.66	c |    131170 |    1080      821     9976 |    22974    12950     79 |  0.000 % |
108.70/108.80	c |    196855 |    1080      821     9976 |    25272    19884     54 |  0.000 % |
137.40/137.46	c |    295384 |    1080      821     9976 |    27799    25086     53 |  0.000 % |
140.69/140.75	c ===============================================================================
141.80/141.89	c core #14
141.80/141.89	c ============================[ Search Statistics ]==============================
141.80/141.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
141.80/141.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
141.80/141.89	c ===============================================================================
141.80/141.89	c |         0 |    1206      870    10701 |     5000        0    nan |  0.000 % |
141.90/141.92	c |       102 |    1206      870    10701 |     5500      102     52 |  0.000 % |
141.90/141.93	c |       253 |    1206      870    10701 |     6050      253     46 |  0.000 % |
141.90/141.94	c |       481 |    1206      870    10701 |     6655      481     39 |  0.000 % |
141.90/141.95	c |       818 |    1206      870    10701 |     7320      818     34 |  0.000 % |
141.90/141.98	c |      1324 |    1206      870    10701 |     8052     1324     31 |  0.000 % |
142.00/142.01	c |      2083 |    1206      870    10701 |     8857     2083     32 |  0.000 % |
142.00/142.06	c |      3222 |    1206      870    10701 |     9743     3222     32 |  0.000 % |
142.10/142.15	c |      4931 |    1206      870    10701 |    10717     4931     34 |  0.000 % |
142.29/142.30	c |      7495 |    1206      870    10701 |    11789     7495     34 |  0.000 % |
142.50/142.57	c |     11340 |    1206      870    10701 |    12968    11340     35 |  0.000 % |
142.90/142.99	c |     17108 |    1206      870    10701 |    14265    10584     37 |  0.000 % |
143.60/143.68	c |     25760 |    1206      870    10701 |    15692    12052     37 |  0.000 % |
146.00/146.00	c |     38735 |    1206      870    10701 |    17261     8684     73 |  0.000 % |
147.29/147.31	c |     58198 |    1206      870    10701 |    18987     9905     54 |  0.000 % |
149.60/149.64	c |     87390 |    1206      870    10701 |    20886    10454     41 |  0.000 % |
154.30/154.39	c |    131181 |    1206      870    10701 |    22974    11970     82 |  0.003 % |
168.30/168.34	c |    196867 |    1206      870    10701 |    25272    18679    152 |  0.000 % |
204.09/204.18	c |    295395 |    1206      870    10701 |    27799    24838     82 |  0.000 % |
271.89/271.99	c |    443187 |    1206      870    10701 |    30579    15537     94 |  0.000 % |
396.40/396.41	c |    664870 |    1206      870    10701 |    33637    25511     91 |  0.000 % |
588.11/588.18	c |    997396 |    1206      870    10701 |    37001    24197     99 |  0.005 % |
856.01/856.02	c |   1496186 |    1206      870    10701 |    40701    13836     95 |  0.000 % |
1320.04/1320.09	c |   2244370 |    1206      870    10701 |    44771    27385     94 |  0.000 % |
1337.54/1337.59	c ===============================================================================
1352.33/1352.36	c core #15
1352.33/1352.36	c ============================[ Search Statistics ]==============================
1352.33/1352.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1352.33/1352.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1352.33/1352.36	c ===============================================================================
1352.33/1352.36	c |         0 |    1330      918    11410 |     5000        0    nan |  0.000 % |
1352.33/1352.39	c |       103 |    1330      918    11410 |     5500      103     58 |  0.000 % |
1352.43/1352.42	c |       254 |    1330      918    11410 |     6050      254     44 |  0.000 % |
1352.43/1352.46	c |       479 |    1330      918    11410 |     6655      479     38 |  0.000 % |
1352.43/1352.48	c |       816 |    1330      918    11410 |     7320      816     35 |  0.000 % |
1352.53/1352.51	c |      1323 |    1330      918    11410 |     8052     1323     33 |  0.000 % |
1352.53/1352.55	c |      2082 |    1330      918    11410 |     8857     2082     29 |  0.000 % |
1352.63/1352.64	c |      3221 |    1330      918    11410 |     9743     3221     29 |  0.000 % |
1352.73/1352.79	c |      4932 |    1330      918    11410 |    10717     4932     30 |  0.000 % |
1352.94/1352.94	c |      7494 |    1330      918    11410 |    11789     7494     31 |  0.000 % |
1353.22/1353.22	c |     11338 |    1330      918    11410 |    12968    11338     32 |  0.000 % |
1353.63/1353.65	c |     17104 |    1330      918    11410 |    14265    10574     32 |  0.000 % |
1354.33/1354.38	c |     25753 |    1330      918    11410 |    15692    12043     32 |  0.000 % |
1355.43/1355.41	c |     38727 |    1330      918    11410 |    17261     9221     36 |  0.000 % |
1356.83/1356.87	c |     58189 |    1330      918    11410 |    18987    11319     36 |  0.000 % |
1363.23/1363.20	c |     87384 |    1330      918    11410 |    20886    11263     89 |  0.000 % |
1364.53/1364.57	c ===============================================================================
1364.53/1364.57	c #cores: 15
1364.53/1364.57	c Final Weight: 15
1364.53/1364.57	o 15
1364.53/1364.57	s OPTIMUM FOUND
1364.53/1364.57	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169
1364.53/1364.57	c Total CPU time: 1357.6 s

Verifier Data 

OK	15

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689939-1277898957/watcher-2689939-1277898957 -o /tmp/evaluation-result-2689939-1277898957/solver-2689939-1277898957 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689939-1277898957.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.00 2.00 3/178 11130
/proc/meminfo: memFree=31111480/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=2572 CPUtime=0
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 131193385 2633728 202 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 643 202 143 303 0 338 0

[startup+0.069964 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11130
/proc/meminfo: memFree=31111480/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=3100 CPUtime=0.06
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 429 0 0 0 6 0 0 0 21 0 1 0 131193385 3174400 345 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 775 345 143 303 0 470 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3100

[startup+0.100959 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11130
/proc/meminfo: memFree=31111480/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=3364 CPUtime=0.09
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 490 0 0 0 9 0 0 0 21 0 1 0 131193385 3444736 406 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 841 406 143 303 0 536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3364

[startup+0.30092 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11130
/proc/meminfo: memFree=31111480/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=4684 CPUtime=0.29
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 827 0 0 0 28 1 0 0 21 0 1 0 131193385 4796416 743 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 1171 743 143 303 0 866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4684

[startup+0.70085 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11130
/proc/meminfo: memFree=31111480/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=6532 CPUtime=0.69
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 1280 0 0 0 66 3 0 0 22 0 1 0 131193385 6688768 1196 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 1633 1196 143 303 0 1328 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6532

[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11131
/proc/meminfo: memFree=31105272/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=10228 CPUtime=1.49
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 2209 0 0 0 144 5 0 0 18 0 1 0 131193385 10473472 2125 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 2557 2125 143 303 0 2252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10228

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11131
/proc/meminfo: memFree=31100064/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=14852 CPUtime=3.09
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 3374 0 0 0 300 9 0 0 20 0 1 0 131193385 15208448 3290 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 3713 3290 146 303 0 3408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14852

[startup+6.30084 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11131
/proc/meminfo: memFree=31089284/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=24360 CPUtime=6.29
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 5729 0 0 0 611 18 0 0 25 0 1 0 131193385 24944640 5645 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 6090 5645 146 303 0 5785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24360

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11131
/proc/meminfo: memFree=31071196/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=42856 CPUtime=12.69
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 10360 0 0 0 1232 37 0 0 25 0 1 0 131193385 43884544 10276 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 10714 10276 146 303 0 10409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42856

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11131
/proc/meminfo: memFree=31038984/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=76064 CPUtime=25.49
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 18655 0 0 0 2482 67 0 0 19 0 1 0 131193385 77889536 18571 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 19016 18571 146 303 0 18711 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76064

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11132
/proc/meminfo: memFree=30972664/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=143568 CPUtime=51.09
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 35535 0 0 0 4982 127 0 0 25 0 1 0 131193385 147013632 35451 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 35892 35451 146 303 0 35587 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 143568

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11133
/proc/meminfo: memFree=30892876/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=220884 CPUtime=102.3
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 54807 0 0 0 10048 182 0 0 25 0 1 0 131193385 226185216 54723 4089446400 134512640 135751879 4294693392 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 55221 54723 146 303 0 54916 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 220884

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11135
/proc/meminfo: memFree=30787656/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=326232 CPUtime=162.3
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 81237 0 0 0 15979 251 0 0 25 0 1 0 131193385 334061568 81125 4089446400 134512640 135751879 4294693392 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 81558 81125 146 303 0 81253 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 326232

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11137
/proc/meminfo: memFree=30697196/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=415980 CPUtime=222.29
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 103584 0 0 0 21951 278 0 0 25 0 1 0 131193385 425963520 103472 4089446400 134512640 135751879 4294693392 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 103995 103472 146 303 0 103690 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 415980

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11138
/proc/meminfo: memFree=30636272/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=476756 CPUtime=282.29
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 118729 0 0 0 27929 300 0 0 25 0 1 0 131193385 488198144 118617 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 119189 118617 146 303 0 118884 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 476756

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11148
/proc/meminfo: memFree=30577636/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=535424 CPUtime=342.3
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 133360 0 0 0 33914 316 0 0 25 0 1 0 131193385 548274176 133248 4089446400 134512640 135751879 4294693392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 133856 133248 146 303 0 133551 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 535424

[startup+402.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11150
/proc/meminfo: memFree=30510876/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=602620 CPUtime=402.3
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 150143 0 0 0 39888 342 0 0 25 0 1 0 131193385 617082880 150031 4089446400 134512640 135751879 4294693392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 150655 150031 146 303 0 150350 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 602620

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11152
/proc/meminfo: memFree=30455880/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=656588 CPUtime=462.31
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 163608 0 0 0 45869 362 0 0 25 0 1 0 131193385 672346112 163496 4089446400 134512640 135751879 4294693392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 164147 163496 146 303 0 163842 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 656588

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11154
/proc/meminfo: memFree=30413548/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=698452 CPUtime=522.3
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 174050 0 0 0 51854 376 0 0 25 0 1 0 131193385 715214848 173938 4089446400 134512640 135751879 4294693392 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 174613 173938 146 303 0 174308 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 698452

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 11155
/proc/meminfo: memFree=30360404/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=750564 CPUtime=582.31
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 187038 0 0 0 57835 396 0 0 25 0 1 0 131193385 768577536 186926 4089446400 134512640 135751879 4294693392 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 187641 186926 146 303 0 187336 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 750564

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11156
/proc/meminfo: memFree=30303452/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=806956 CPUtime=642.32
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 201133 0 0 0 63816 416 0 0 25 0 1 0 131193385 826322944 201021 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 201739 201021 146 303 0 201434 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 806956

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11158
/proc/meminfo: memFree=30247728/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=859728 CPUtime=702.31
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 214340 0 0 0 69796 435 0 0 25 0 1 0 131193385 880361472 214228 4089446400 134512640 135751879 4294693392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 214932 214228 146 303 0 214627 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 859728

[startup+762.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 11160
/proc/meminfo: memFree=30191732/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=913828 CPUtime=762.32
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 227824 0 0 0 75776 456 0 0 25 0 1 0 131193385 935759872 227712 4089446400 134512640 135751879 4294693392 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 228457 227712 146 303 0 228152 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 913828

[startup+822.301 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 11211
/proc/meminfo: memFree=30328184/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=960952 CPUtime=822.31
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 239619 0 0 0 81755 476 0 0 25 0 1 0 131193385 984014848 239507 4089446400 134512640 135751879 4294693392 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 240238 239507 146 303 0 239933 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 960952

[startup+882.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11212
/proc/meminfo: memFree=30272104/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1016508 CPUtime=882.31
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 253491 0 0 0 87729 502 0 0 25 0 1 0 131193385 1040904192 253379 4089446400 134512640 135751879 4294693392 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 254127 253379 146 303 0 253822 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1016508

[startup+942.301 s]
/proc/loadavg: 2.08 2.01 2.00 3/179 11267
/proc/meminfo: memFree=30151636/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1069192 CPUtime=942.32
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 266645 0 0 0 93705 527 0 0 25 0 1 0 131193385 1094852608 266533 4089446400 134512640 135751879 4294693392 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 267298 266533 146 303 0 266993 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1069192

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 11269
/proc/meminfo: memFree=30016292/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1125632 CPUtime=1002.32
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 280745 0 0 0 99681 551 0 0 25 0 1 0 131193385 1152647168 280633 4089446400 134512640 135751879 4294693392 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 281408 280633 146 303 0 281103 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1125632

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11271
/proc/meminfo: memFree=29841636/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1167768 CPUtime=1062.32
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 291258 0 0 0 105662 570 0 0 25 0 1 0 131193385 1195794432 291146 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 291942 291146 146 303 0 291637 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1167768

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11273
/proc/meminfo: memFree=29761472/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1217796 CPUtime=1122.33
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 303778 0 0 0 111640 593 0 0 25 0 1 0 131193385 1247023104 303666 4089446400 134512640 135751879 4294693392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 304449 303667 146 303 0 304144 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1217796

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11274
/proc/meminfo: memFree=29598228/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1264352 CPUtime=1182.32
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 315391 0 0 0 117616 616 0 0 25 0 1 0 131193385 1294696448 315279 4089446400 134512640 135751879 4294693392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 316088 315279 146 303 0 315783 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1264352

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11275
/proc/meminfo: memFree=29431388/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1309572 CPUtime=1242.33
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 326675 0 0 0 123596 637 0 0 25 0 1 0 131193385 1341001728 326563 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 327393 326563 146 303 0 327088 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1309572

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 11277
/proc/meminfo: memFree=29293448/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1349408 CPUtime=1302.33
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 336633 0 0 0 129578 655 0 0 25 0 1 0 131193385 1381793792 336521 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 337352 336521 146 303 0 337047 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1349408

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 11279
/proc/meminfo: memFree=29129464/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1452704 CPUtime=1362.33
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 362597 0 0 0 135537 696 0 0 25 0 1 0 131193385 1487568896 362440 4089446400 134512640 135751879 4294693392 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 363176 362440 146 303 0 362871 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1452704

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

[startup+1363.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 11279
/proc/meminfo: memFree=29129460/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1452704 CPUtime=1363.13
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 362608 0 0 0 135616 697 0 0 25 0 1 0 131193385 1487568896 362451 4089446400 134512640 135751879 4294693392 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 363176 362451 146 303 0 362871 0
Current children cumulated CPU time (s) 1363.13
Current children cumulated vsize (KiB) 1452704

[startup+1363.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11279
/proc/meminfo: memFree=29128964/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1452704 CPUtime=1363.93
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 362693 0 0 0 135694 699 0 0 25 0 1 0 131193385 1487568896 362536 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 363176 362536 146 303 0 362871 0
Current children cumulated CPU time (s) 1363.93
Current children cumulated vsize (KiB) 1452704

[startup+1364.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11279
/proc/meminfo: memFree=29128964/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1452704 CPUtime=1364.33
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 362742 0 0 0 135733 700 0 0 25 0 1 0 131193385 1487568896 362585 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 363176 362585 146 303 0 362871 0
Current children cumulated CPU time (s) 1364.33
Current children cumulated vsize (KiB) 1452704

[startup+1364.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11279
/proc/meminfo: memFree=29128964/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=1452704 CPUtime=1364.53
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202496 362763 0 0 0 135753 700 0 0 25 0 1 0 131193385 1487568896 362606 4089446400 134512640 135751879 4294693392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11130/statm: 363176 362606 146 303 0 362871 0
Current children cumulated CPU time (s) 1364.53
Current children cumulated vsize (KiB) 1452704

[startup+1364.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11279
/proc/meminfo: memFree=29128964/32951124 swapFree=67111528/67111528
[pid=11130] ppid=11128 vsize=0 CPUtime=1364.63
/proc/11130/stat : 11130 (wbo1.4a) R 11128 11130 10943 0 -1 4202500 362771 0 0 0 135760 703 0 0 25 0 1 0 131193385 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/11130/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1364.63
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1364.62
CPU time (s): 1364.66
CPU user time (s): 1357.6
CPU system time (s): 7.05393
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1452948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1357.6
system time used= 7.05393
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362771
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= 10
involuntary context switches= 761

runsolver used 1.91971 second user time and 4.29635 second system time

The end

Launcher Data 

Begin job on node106 at 2010-06-30 13:55:57
IDJOB=2689939
IDBENCH=78851
IDSOLVER=1200
FILE ID=node106/2689939-1277898957
PBS_JOBID= 11197172
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 9ffea189547a7afa9054418ab91a7dbf
RANDOM SEED=1655112572

node106.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.825
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.825
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	: 5332.75
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.825
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.825
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.76
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.825
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.825
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.73
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.825
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.83
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.825
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31112132 kB
Buffers:        181252 kB
Cached:        1271752 kB
SwapCached:          0 kB
Active:         678052 kB
Inactive:      1018884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31112132 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2720 kB
Writeback:           0 kB
AnonPages:      244520 kB
Mapped:          16288 kB
Slab:            77916 kB
PageTables:       5152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   391080 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= 74204 MiB
End job on node106 at 2010-06-30 14:18:42