Trace number 3447075

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.6? (TO) 1800.07 1800.03

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
MD5SUMe433b9b816c291c8bf4fd4860d096bb6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3.22451
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 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1320
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.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447075-1307906611.wbo.
0.00/0.00	c Instance file HOME/instance-3447075-1307906611.wbo
0.00/0.00	c File size is 10475 bytes.
0.00/0.00	c Highest Coefficient sum: 1320
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 |       102 |     169      101     1205 |     5500      102     33 |  0.004 % |
0.00/0.00	c |       252 |     169      101     1205 |     6050      252     36 |  0.004 % |
0.00/0.00	c |       477 |     169      101     1205 |     6655      477     33 |  0.004 % |
0.00/0.01	c |       814 |     169      101     1205 |     7320      814     34 |  0.004 % |
0.00/0.02	c |      1321 |     169      101     1205 |     8052     1321     33 |  0.004 % |
0.02/0.04	c |      2081 |     169      101     1205 |     8857     2081     33 |  0.004 % |
0.02/0.06	c |      3222 |     169      101     1205 |     9743     3222     34 |  0.004 % |
0.09/0.11	c |      4930 |     169      101     1205 |    10717     4930     35 |  0.004 % |
0.19/0.20	c |      7493 |     169      101     1205 |    11789     7493     37 |  0.004 % |
0.29/0.38	c |     11337 |     169      101     1205 |    12968    11337     39 |  0.004 % |
0.59/0.65	c |     17105 |     169      101     1205 |    14265    10570     42 |  0.004 % |
0.99/1.08	c |     25754 |     169      101     1205 |    15692    12029     42 |  0.004 % |
1.69/1.77	c |     38729 |     128      101     1205 |    17261     9186     44 | 24.264 % |
1.69/1.79	c ===============================================================================
1.89/1.94	c core #1
1.89/1.94	c 
1.89/1.94	c 
1.89/1.94	c Core size: 99	Core Weight: 1	Total Weight: 1
1.89/1.94	c Current CPU time: 1.85472 s
1.89/1.94	c
1.89/1.94	c ============================[ Search Statistics ]==============================
1.89/1.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.94	c ===============================================================================
1.89/1.94	c |         0 |     264      200     2566 |     5000        0   -nan |  0.000 % |
1.89/1.94	c |       100 |     264      200     2566 |     5500      100     35 |  0.001 % |
1.89/1.95	c |       250 |     264      200     2566 |     6050      250     32 |  0.001 % |
1.89/1.95	c |       475 |     264      200     2566 |     6655      475     30 |  0.001 % |
1.89/1.96	c |       812 |     264      200     2566 |     7320      812     33 |  0.001 % |
1.89/1.97	c |      1320 |     264      200     2566 |     8052     1320     32 |  0.001 % |
1.89/1.99	c |      2079 |     264      200     2566 |     8857     2079     32 |  0.001 % |
1.99/2.02	c |      3219 |     264      200     2566 |     9743     3219     32 |  0.001 % |
1.99/2.08	c |      4927 |     264      200     2566 |    10717     4927     36 |  0.001 % |
2.09/2.19	c |      7492 |     264      200     2566 |    11789     7492     37 |  0.001 % |
2.39/2.40	c |     11337 |     264      200     2566 |    12968    11337     38 |  0.001 % |
2.69/2.71	c |     17104 |     264      200     2566 |    14265    10571     42 |  0.001 % |
3.09/3.16	c |     25753 |     264      200     2566 |    15692    12036     43 |  0.001 % |
3.79/3.89	c |     38728 |     264      200     2566 |    17261     9199     42 |  0.001 % |
4.90/4.99	c |     58190 |     236      200     2566 |    18987    11256     46 | 10.608 % |
5.39/5.42	c ===============================================================================
5.69/5.70	c core #2
5.69/5.70	c 
5.69/5.70	c 
5.69/5.70	c Core size: 98	Core Weight: 1	Total Weight: 2
5.69/5.70	c Current CPU time: 5.47917 s
5.69/5.70	c
5.69/5.70	c ============================[ Search Statistics ]==============================
5.69/5.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.69/5.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.69/5.70	c ===============================================================================
5.69/5.70	c |         0 |     358      298     3915 |     5000        0   -nan |  0.000 % |
5.69/5.70	c |       101 |     358      298     3915 |     5500      101     31 |  0.001 % |
5.69/5.70	c |       251 |     358      298     3915 |     6050      251     25 |  0.001 % |
5.69/5.71	c |       476 |     358      298     3915 |     6655      476     27 |  0.001 % |
5.69/5.71	c |       813 |     358      298     3915 |     7320      813     27 |  0.001 % |
5.69/5.72	c |      1319 |     358      298     3915 |     8052     1319     29 |  0.001 % |
5.69/5.74	c |      2078 |     358      298     3915 |     8857     2078     30 |  0.001 % |
5.69/5.77	c |      3217 |     358      298     3915 |     9743     3217     34 |  0.001 % |
5.79/5.83	c |      4927 |     358      298     3915 |    10717     4927     34 |  0.001 % |
5.89/5.93	c |      7491 |     358      298     3915 |    11789     7491     36 |  0.001 % |
5.99/6.09	c |     11336 |     358      298     3915 |    12968    11336     36 |  0.001 % |
6.30/6.35	c |     17102 |     358      298     3915 |    14265    10574     38 |  0.001 % |
6.70/6.76	c |     25752 |     358      298     3915 |    15692    12042     43 |  0.001 % |
7.39/7.49	c |     38727 |     358      298     3915 |    17261     9223     44 |  0.001 % |
8.59/8.68	c |     58190 |     358      298     3915 |    18987    11305     44 |  0.001 % |
8.89/8.99	c ===============================================================================
9.19/9.26	c core #3
9.19/9.26	c 
9.19/9.26	c 
9.19/9.26	c Core size: 99	Core Weight: 1	Total Weight: 3
9.19/9.26	c Current CPU time: 8.92664 s
9.19/9.26	c
9.19/9.26	c ============================[ Search Statistics ]==============================
9.19/9.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.19/9.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.19/9.26	c ===============================================================================
9.19/9.26	c |         0 |     453      395     5254 |     5000        0   -nan |  0.000 % |
9.19/9.26	c |       101 |     453      395     5254 |     5500      101     31 |  0.000 % |
9.19/9.27	c |       251 |     453      395     5254 |     6050      251     32 |  0.000 % |
9.19/9.27	c |       476 |     453      395     5254 |     6655      476     29 |  0.000 % |
9.19/9.28	c |       814 |     453      395     5254 |     7320      814     29 |  0.000 % |
9.19/9.29	c |      1321 |     453      395     5254 |     8052     1321     30 |  0.000 % |
9.29/9.31	c |      2081 |     453      395     5254 |     8857     2081     32 |  0.000 % |
9.29/9.34	c |      3221 |     453      395     5254 |     9743     3221     32 |  0.000 % |
9.39/9.40	c |      4929 |     453      395     5254 |    10717     4929     32 |  0.000 % |
9.49/9.50	c |      7491 |     453      395     5254 |    11789     7491     34 |  0.000 % |
9.59/9.67	c |     11335 |     453      395     5254 |    12968    11335     36 |  0.000 % |
9.90/9.97	c |     17101 |     453      395     5254 |    14265    10568     39 |  0.000 % |
10.39/10.43	c |     25750 |     453      395     5254 |    15692    12035     43 |  0.000 % |
11.10/11.16	c |     38726 |     453      395     5254 |    17261     9222     42 |  0.000 % |
12.29/12.31	c |     58187 |     453      395     5254 |    18987    11303     47 |  0.000 % |
14.09/14.10	c |     87381 |     453      395     5254 |    20886    11870     46 |  0.000 % |
14.59/14.68	c ===============================================================================
15.09/15.15	c core #4
15.09/15.15	c 
15.09/15.15	c 
15.09/15.15	c Core size: 102	Core Weight: 1	Total Weight: 4
15.09/15.15	c Current CPU time: 14.5978 s
15.09/15.15	c
15.09/15.15	c ============================[ Search Statistics ]==============================
15.09/15.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.09/15.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.09/15.15	c ===============================================================================
15.09/15.15	c |         0 |     551      489     6569 |     5000        0   -nan |  0.000 % |
15.09/15.15	c |       100 |     551      489     6569 |     5500      100     37 |  0.000 % |
15.09/15.16	c |       251 |     551      489     6569 |     6050      251     39 |  0.000 % |
15.09/15.16	c |       476 |     551      489     6569 |     6655      476     33 |  0.000 % |
15.09/15.17	c |       813 |     551      489     6569 |     7320      813     31 |  0.000 % |
15.09/15.18	c |      1321 |     551      489     6569 |     8052     1321     32 |  0.000 % |
15.19/15.20	c |      2081 |     551      489     6569 |     8857     2081     32 |  0.000 % |
15.19/15.23	c |      3223 |     551      489     6569 |     9743     3223     32 |  0.000 % |
15.19/15.29	c |      4933 |     551      489     6569 |    10717     4933     32 |  0.000 % |
15.30/15.39	c |      7495 |     551      489     6569 |    11789     7495     32 |  0.000 % |
15.49/15.57	c |     11340 |     551      489     6569 |    12968    11340     33 |  0.000 % |
15.79/15.86	c |     17106 |     551      489     6569 |    14265    10579     37 |  0.000 % |
16.19/16.29	c |     25756 |     551      489     6569 |    15692    12049     37 |  0.000 % |
16.99/17.00	c |     38734 |     551      489     6569 |    17261     9220     40 |  0.000 % |
18.09/18.18	c |     58196 |     551      489     6569 |    18987    11339     46 |  0.000 % |
19.89/19.98	c |     87389 |     551      489     6569 |    20886    11884     45 |  0.000 % |
21.99/22.01	c ===============================================================================
22.49/22.58	c core #5
22.49/22.58	c 
22.49/22.58	c 
22.49/22.58	c Core size: 111	Core Weight: 1	Total Weight: 5
22.49/22.58	c Current CPU time: 21.7647 s
22.49/22.58	c
22.49/22.58	c ============================[ Search Statistics ]==============================
22.49/22.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.49/22.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.49/22.58	c ===============================================================================
22.49/22.58	c |         0 |     658      582     7900 |     5000        0   -nan |  0.000 % |
22.49/22.58	c |       100 |     658      582     7900 |     5500      100     37 |  0.000 % |
22.49/22.58	c |       250 |     658      582     7900 |     6050      250     33 |  0.000 % |
22.49/22.59	c |       476 |     658      582     7900 |     6655      476     31 |  0.000 % |
22.59/22.60	c |       815 |     658      582     7900 |     7320      815     30 |  0.000 % |
22.59/22.61	c |      1322 |     658      582     7900 |     8052     1322     30 |  0.000 % |
22.59/22.63	c |      2081 |     658      582     7900 |     8857     2081     31 |  0.000 % |
22.59/22.67	c |      3221 |     658      582     7900 |     9743     3221     31 |  0.000 % |
22.69/22.73	c |      4929 |     658      582     7900 |    10717     4929     32 |  0.000 % |
22.79/22.83	c |      7494 |     658      582     7900 |    11789     7494     32 |  0.000 % |
23.00/23.02	c |     11338 |     658      582     7900 |    12968    11338     35 |  0.000 % |
23.29/23.30	c |     17105 |     658      582     7900 |    14265    10566     37 |  0.000 % |
23.69/23.77	c |     25754 |     658      582     7900 |    15692    12031     38 |  0.000 % |
24.39/24.45	c |     38728 |     658      582     7900 |    17261     9193     38 |  0.000 % |
25.49/25.52	c |     58189 |     658      582     7900 |    18987    11270     43 |  0.000 % |
27.09/27.19	c |     87381 |     658      582     7900 |    20886    11811     45 |  0.009 % |
27.59/27.61	c ===============================================================================
27.99/28.00	c core #6
27.99/28.00	c 
27.99/28.00	c 
27.99/28.00	c Core size: 92	Core Weight: 1	Total Weight: 6
27.99/28.00	c Current CPU time: 27.0019 s
27.99/28.00	c
27.99/28.00	c ============================[ Search Statistics ]==============================
27.99/28.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.99/28.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.99/28.00	c ===============================================================================
27.99/28.00	c |         0 |     747      673     9168 |     5000        0   -nan |  0.000 % |
27.99/28.01	c |       100 |     747      673     9168 |     5500      100     43 |  0.000 % |
27.99/28.01	c |       253 |     747      673     9168 |     6050      253     40 |  0.000 % |
27.99/28.02	c |       479 |     747      673     9168 |     6655      479     34 |  0.000 % |
27.99/28.03	c |       816 |     747      673     9168 |     7320      816     33 |  0.000 % |
27.99/28.04	c |      1325 |     747      673     9168 |     8052     1325     32 |  0.000 % |
27.99/28.06	c |      2084 |     747      673     9168 |     8857     2084     35 |  0.000 % |
28.09/28.10	c |      3223 |     747      673     9168 |     9743     3223     36 |  0.000 % |
28.09/28.17	c |      4932 |     747      673     9168 |    10717     4932     35 |  0.000 % |
28.19/28.28	c |      7495 |     747      673     9168 |    11789     7495     37 |  0.000 % |
28.39/28.49	c |     11339 |     747      673     9168 |    12968    11339     38 |  0.000 % |
28.79/28.82	c |     17105 |     747      673     9168 |    14265    10572     39 |  0.000 % |
29.29/29.33	c |     25756 |     747      673     9168 |    15692    12037     39 |  0.000 % |
29.99/30.08	c |     38730 |     747      673     9168 |    17261     9220     41 |  0.000 % |
31.09/31.19	c |     58193 |     747      673     9168 |    18987    11340     42 |  0.000 % |
32.89/33.00	c |     87388 |     747      673     9168 |    20886    11897     43 |  0.000 % |
34.59/34.61	c ===============================================================================
35.09/35.11	c core #7
35.09/35.11	c 
35.09/35.11	c 
35.09/35.11	c Core size: 112	Core Weight: 1	Total Weight: 7
35.09/35.11	c Current CPU time: 33.8689 s
35.09/35.11	c
35.09/35.11	c ============================[ Search Statistics ]==============================
35.09/35.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.09/35.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.09/35.11	c ===============================================================================
35.09/35.11	c |         0 |     855      763    10473 |     5000        0   -nan |  0.000 % |
35.09/35.11	c |       100 |     855      763    10473 |     5500      100     41 |  0.000 % |
35.09/35.12	c |       252 |     855      763    10473 |     6050      252     40 |  0.000 % |
35.09/35.12	c |       479 |     855      763    10473 |     6655      479     35 |  0.000 % |
35.09/35.13	c |       816 |     855      763    10473 |     7320      816     35 |  0.000 % |
35.09/35.14	c |      1323 |     855      763    10473 |     8052     1323     33 |  0.000 % |
35.09/35.17	c |      2086 |     855      763    10473 |     8857     2086     34 |  0.000 % |
35.20/35.20	c |      3226 |     855      763    10473 |     9743     3226     35 |  0.000 % |
35.20/35.27	c |      4934 |     855      763    10473 |    10717     4934     34 |  0.000 % |
35.29/35.37	c |      7497 |     855      763    10473 |    11789     7497     35 |  0.000 % |
35.49/35.56	c |     11341 |     855      763    10473 |    12968    11341     36 |  0.000 % |
35.79/35.83	c |     17108 |     855      763    10473 |    14265    10583     38 |  0.000 % |
36.19/36.29	c |     25757 |     855      763    10473 |    15692    12044     37 |  0.000 % |
36.99/37.01	c |     38731 |     855      763    10473 |    17261     9213     41 |  0.000 % |
38.09/38.11	c |     58192 |     855      763    10473 |    18987    11315     40 |  0.000 % |
39.89/39.97	c |     87387 |     855      763    10473 |    20886    11847     42 |  0.000 % |
42.59/42.70	c |    131176 |     828      763    10473 |    22974    13653     44 |  3.158 % |
43.49/43.57	c ===============================================================================
44.19/44.24	c core #8
44.19/44.24	c 
44.19/44.24	c 
44.19/44.24	c Core size: 110	Core Weight: 1	Total Weight: 8
44.19/44.24	c Current CPU time: 42.6895 s
44.19/44.24	c
44.19/44.24	c ============================[ Search Statistics ]==============================
44.19/44.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.19/44.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.19/44.24	c ===============================================================================
44.19/44.24	c |         0 |     960      852    11760 |     5000        0   -nan |  0.000 % |
44.19/44.24	c |       101 |     960      852    11760 |     5500      101     41 |  0.000 % |
44.19/44.25	c |       252 |     960      852    11760 |     6050      252     36 |  0.000 % |
44.19/44.25	c |       477 |     960      852    11760 |     6655      477     33 |  0.000 % |
44.19/44.26	c |       818 |     960      852    11760 |     7320      818     35 |  0.000 % |
44.19/44.27	c |      1324 |     960      852    11760 |     8052     1324     34 |  0.000 % |
44.29/44.30	c |      2083 |     960      852    11760 |     8857     2083     34 |  0.000 % |
44.29/44.33	c |      3222 |     960      852    11760 |     9743     3222     34 |  0.000 % |
44.29/44.39	c |      4930 |     960      852    11760 |    10717     4930     34 |  0.000 % |
44.49/44.50	c |      7492 |     960      852    11760 |    11789     7492     36 |  0.000 % |
44.69/44.70	c |     11336 |     960      852    11760 |    12968    11336     39 |  0.000 % |
44.99/45.03	c |     17102 |     960      852    11760 |    14265    10585     42 |  0.000 % |
45.49/45.53	c |     25754 |     960      852    11760 |    15692    12048     40 |  0.000 % |
46.29/46.30	c |     38728 |     960      852    11760 |    17261     9217     44 |  0.000 % |
47.49/47.50	c |     58191 |     960      852    11760 |    18987    11319     42 |  0.000 % |
49.39/49.42	c |     87384 |     960      852    11760 |    20886    11837     46 |  0.000 % |
52.49/52.58	c |    131175 |     960      852    11760 |    22974    13652     45 |  0.000 % |
56.19/56.24	c ===============================================================================
57.09/57.16	c core #9
57.09/57.16	c 
57.09/57.16	c 
57.09/57.16	c Core size: 115	Core Weight: 1	Total Weight: 9
57.09/57.16	c Current CPU time: 55.2276 s
57.09/57.16	c
57.09/57.16	c ============================[ Search Statistics ]==============================
57.09/57.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.09/57.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
57.09/57.16	c ===============================================================================
57.09/57.16	c |         0 |    1072      941    13059 |     5000        0   -nan |  0.000 % |
57.09/57.17	c |       100 |    1072      941    13059 |     5500      100     47 |  0.000 % |
57.09/57.17	c |       250 |    1072      941    13059 |     6050      250     38 |  0.000 % |
57.09/57.18	c |       475 |    1072      941    13059 |     6655      475     34 |  0.000 % |
57.09/57.19	c |       812 |    1072      941    13059 |     7320      812     32 |  0.000 % |
57.09/57.20	c |      1318 |    1072      941    13059 |     8052     1318     30 |  0.000 % |
57.19/57.23	c |      2077 |    1072      941    13059 |     8857     2077     30 |  0.000 % |
57.19/57.27	c |      3216 |    1072      941    13059 |     9743     3216     32 |  0.000 % |
57.29/57.33	c |      4924 |    1072      941    13059 |    10717     4924     33 |  0.000 % |
57.39/57.45	c |      7486 |    1072      941    13059 |    11789     7486     33 |  0.000 % |
57.59/57.64	c |     11331 |    1072      941    13059 |    12968    11331     35 |  0.000 % |
57.89/57.92	c |     17098 |    1072      941    13059 |    14265    10557     39 |  0.000 % |
58.29/58.39	c |     25751 |    1072      941    13059 |    15692    12026     40 |  0.000 % |
59.09/59.15	c |     38728 |    1072      941    13059 |    17261     9179     41 |  0.000 % |
60.19/60.29	c |     58189 |    1072      941    13059 |    18987    11273     42 |  0.000 % |
61.99/62.07	c |     87381 |    1072      941    13059 |    20886    11848     42 |  0.000 % |
64.49/64.59	c ===============================================================================
65.10/65.16	c core #10
65.10/65.16	c 
65.10/65.16	c 
65.10/65.16	c Core size: 98	Core Weight: 1	Total Weight: 10
65.10/65.16	c Current CPU time: 63.0134 s
65.10/65.16	c
65.10/65.16	c ============================[ Search Statistics ]==============================
65.10/65.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
65.10/65.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
65.10/65.16	c ===============================================================================
65.10/65.16	c |         0 |    1168     1029    14312 |     5000        0   -nan |  0.000 % |
65.10/65.17	c |       100 |    1168     1029    14312 |     5500      100     44 |  0.000 % |
65.10/65.17	c |       250 |    1168     1029    14312 |     6050      250     35 |  0.000 % |
65.10/65.18	c |       475 |    1168     1029    14312 |     6655      475     31 |  0.000 % |
65.10/65.19	c |       813 |    1168     1029    14312 |     7320      813     31 |  0.000 % |
65.19/65.20	c |      1319 |    1168     1029    14312 |     8052     1319     34 |  0.000 % |
65.19/65.23	c |      2078 |    1168     1029    14312 |     8857     2078     34 |  0.000 % |
65.19/65.27	c |      3218 |    1168     1029    14312 |     9743     3218     33 |  0.000 % |
65.29/65.33	c |      4927 |    1168     1029    14312 |    10717     4927     34 |  0.000 % |
65.40/65.45	c |      7489 |    1168     1029    14312 |    11789     7489     34 |  0.000 % |
65.59/65.63	c |     11334 |    1168     1029    14312 |    12968    11334     36 |  0.000 % |
65.89/65.98	c |     17102 |    1168     1029    14312 |    14265    10572     38 |  0.000 % |
66.39/66.46	c |     25753 |    1168     1029    14312 |    15692    12027     39 |  0.000 % |
67.29/67.32	c |     38729 |    1168     1029    14312 |    17261     9199     41 |  0.000 % |
68.39/68.48	c |     58190 |    1168     1029    14312 |    18987    11300     42 |  0.000 % |
70.39/70.41	c |     87382 |    1168     1029    14312 |    20886    11875     43 |  0.000 % |
73.09/73.18	c ===============================================================================
73.70/73.77	c core #11
73.70/73.77	c 
73.70/73.77	c 
73.70/73.77	c Core size: 118	Core Weight: 1	Total Weight: 11
73.70/73.77	c Current CPU time: 71.3592 s
73.70/73.77	c
73.70/73.77	c ============================[ Search Statistics ]==============================
73.70/73.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
73.70/73.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
73.70/73.77	c ===============================================================================
73.70/73.77	c |         0 |    1283     1117    15604 |     5000        0   -nan |  0.000 % |
73.70/73.78	c |       105 |    1283     1117    15604 |     5500      105     63 |  0.000 % |
73.70/73.78	c |       256 |    1283     1117    15604 |     6050      256     42 |  0.000 % |
73.70/73.79	c |       481 |    1283     1117    15604 |     6655      481     36 |  0.000 % |
73.79/73.80	c |       818 |    1283     1117    15604 |     7320      818     34 |  0.000 % |
73.79/73.82	c |      1324 |    1283     1117    15604 |     8052     1324     32 |  0.000 % |
73.79/73.84	c |      2083 |    1283     1117    15604 |     8857     2083     33 |  0.000 % |
73.79/73.89	c |      3223 |    1283     1117    15604 |     9743     3223     34 |  0.000 % |
73.89/73.96	c |      4933 |    1283     1117    15604 |    10717     4933     34 |  0.000 % |
73.99/74.08	c |      7495 |    1283     1117    15604 |    11789     7495     35 |  0.000 % |
74.19/74.27	c |     11340 |    1283     1117    15604 |    12968    11340     37 |  0.000 % |
74.59/74.62	c |     17106 |    1283     1117    15604 |    14265    10573     39 |  0.000 % |
75.09/75.17	c |     25762 |    1283     1117    15604 |    15692    12044     40 |  0.000 % |
75.89/75.98	c |     38737 |    1283     1117    15604 |    17261     9209     41 |  0.000 % |
77.19/77.26	c |     58198 |    1283     1117    15604 |    18987    11300     41 |  0.000 % |
79.19/79.26	c |     87390 |    1283     1117    15604 |    20886    11891     45 |  0.000 % |
81.59/81.61	c ===============================================================================
82.09/82.19	c core #12
82.09/82.19	c 
82.09/82.19	c 
82.09/82.19	c Core size: 103	Core Weight: 1	Total Weight: 12
82.09/82.19	c Current CPU time: 79.5599 s
82.09/82.19	c
82.09/82.19	c ============================[ Search Statistics ]==============================
82.09/82.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.09/82.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.09/82.19	c ===============================================================================
82.09/82.19	c |         0 |    1384     1205    16867 |     5000        0   -nan |  0.000 % |
82.19/82.20	c |       102 |    1384     1205    16867 |     5500      102     46 |  0.000 % |
82.19/82.20	c |       253 |    1384     1205    16867 |     6050      253     39 |  0.000 % |
82.19/82.21	c |       478 |    1384     1205    16867 |     6655      478     35 |  0.000 % |
82.19/82.22	c |       815 |    1384     1205    16867 |     7320      815     33 |  0.000 % |
82.19/82.24	c |      1321 |    1384     1205    16867 |     8052     1321     34 |  0.000 % |
82.19/82.26	c |      2080 |    1384     1205    16867 |     8857     2080     34 |  0.000 % |
82.30/82.30	c |      3220 |    1384     1205    16867 |     9743     3220     35 |  0.000 % |
82.30/82.37	c |      4930 |    1384     1205    16867 |    10717     4930     33 |  0.000 % |
82.39/82.48	c |      7492 |    1384     1205    16867 |    11789     7492     34 |  0.000 % |
82.59/82.68	c |     11338 |    1384     1205    16867 |    12968    11338     35 |  0.000 % |
82.99/83.00	c |     17104 |    1384     1205    16867 |    14265    10564     37 |  0.000 % |
83.39/83.47	c |     25753 |    1384     1205    16867 |    15692    12027     39 |  0.000 % |
84.20/84.24	c |     38728 |    1384     1205    16867 |    17261     9225     39 |  0.000 % |
85.39/85.41	c |     58189 |    1384     1205    16867 |    18987    11317     42 |  0.000 % |
87.49/87.51	c |     87385 |    1384     1205    16867 |    20886    11908     40 |  0.000 % |
90.49/90.52	c |    131174 |    1349     1205    16867 |    22974    13712     46 |  2.529 % |
91.99/92.07	c ===============================================================================
92.69/92.76	c core #13
92.69/92.76	c 
92.69/92.76	c 
92.69/92.76	c Core size: 108	Core Weight: 1	Total Weight: 13
92.69/92.76	c Current CPU time: 89.8323 s
92.69/92.76	c
92.69/92.76	c ============================[ Search Statistics ]==============================
92.69/92.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
92.69/92.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
92.69/92.76	c ===============================================================================
92.69/92.76	c |         0 |    1490     1293    18140 |     5000        0   -nan |  0.000 % |
92.69/92.77	c |       101 |    1490     1293    18140 |     5500      101     49 |  0.000 % |
92.69/92.77	c |       251 |    1490     1293    18140 |     6050      251     37 |  0.000 % |
92.69/92.78	c |       479 |    1490     1293    18140 |     6655      479     34 |  0.000 % |
92.69/92.79	c |       816 |    1490     1293    18140 |     7320      816     31 |  0.000 % |
92.79/92.81	c |      1322 |    1490     1293    18140 |     8052     1322     32 |  0.000 % |
92.79/92.83	c |      2081 |    1490     1293    18140 |     8857     2081     32 |  0.000 % |
92.79/92.88	c |      3220 |    1490     1293    18140 |     9743     3220     31 |  0.000 % |
92.90/92.95	c |      4928 |    1490     1293    18140 |    10717     4928     32 |  0.000 % |
92.99/93.06	c |      7491 |    1490     1293    18140 |    11789     7491     33 |  0.000 % |
93.19/93.27	c |     11335 |    1490     1293    18140 |    12968    11335     35 |  0.000 % |
93.59/93.62	c |     17103 |    1490     1293    18140 |    14265    10589     37 |  0.000 % |
94.09/94.15	c |     25752 |    1490     1293    18140 |    15692    12074     39 |  0.000 % |
94.99/95.02	c |     38727 |    1490     1293    18140 |    17261     9261     39 |  0.000 % |
96.59/96.62	c |     58189 |    1490     1293    18140 |    18987    11179     47 |  0.000 % |
98.69/98.78	c |     87382 |    1490     1293    18140 |    20886    11727     44 |  0.000 % |
100.70/100.70	c ===============================================================================
101.20/101.23	c core #14
101.20/101.23	c 
101.20/101.23	c 
101.20/101.23	c Core size: 103	Core Weight: 1	Total Weight: 14
101.20/101.23	c Current CPU time: 98.1211 s
101.20/101.23	c
101.20/101.23	c ============================[ Search Statistics ]==============================
101.20/101.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
101.20/101.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
101.20/101.23	c ===============================================================================
101.20/101.23	c |         0 |    1591     1381    19403 |     5000        0   -nan |  0.000 % |
101.20/101.23	c |       103 |    1591     1381    19403 |     5500      103     54 |  0.000 % |
101.20/101.24	c |       254 |    1591     1381    19403 |     6050      254     42 |  0.000 % |
101.20/101.25	c |       479 |    1591     1381    19403 |     6655      479     36 |  0.000 % |
101.20/101.26	c |       818 |    1591     1381    19403 |     7320      818     34 |  0.000 % |
101.20/101.28	c |      1325 |    1591     1381    19403 |     8052     1325     35 |  0.000 % |
101.29/101.30	c |      2086 |    1591     1381    19403 |     8857     2086     33 |  0.000 % |
101.29/101.35	c |      3226 |    1591     1381    19403 |     9743     3226     32 |  0.000 % |
101.39/101.42	c |      4934 |    1591     1381    19403 |    10717     4934     33 |  0.000 % |
101.49/101.55	c |      7498 |    1591     1381    19403 |    11789     7498     34 |  0.000 % |
101.69/101.75	c |     11343 |    1591     1381    19403 |    12968    11343     35 |  0.000 % |
101.99/102.07	c |     17109 |    1591     1381    19403 |    14265    10572     38 |  0.000 % |
102.49/102.59	c |     25761 |    1591     1381    19403 |    15692    12043     39 |  0.000 % |
103.30/103.40	c |     38735 |    1591     1381    19403 |    17261     9224     42 |  0.000 % |
104.59/104.63	c |     58198 |    1591     1381    19403 |    18987    11319     39 |  0.000 % |
106.49/106.50	c |     87392 |    1591     1381    19403 |    20886    11878     43 |  0.000 % |
114.19/114.30	c |    131181 |    1591     1381    19403 |    22974    13061     69 |  0.001 % |
122.49/122.52	c |    196866 |    1591     1381    19403 |    25272    17672     75 |  0.000 % |
152.29/152.33	c |    295392 |    1591     1381    19403 |    27799    24640     77 |  0.000 % |
198.60/198.66	c |    443181 |    1591     1381    19403 |    30579    22365     65 |  0.000 % |
202.59/202.65	c ===============================================================================
205.49/205.57	c core #15
205.49/205.57	c 
205.49/205.57	c 
205.49/205.57	c Core size: 117	Core Weight: 1	Total Weight: 15
205.49/205.57	c Current CPU time: 201.275 s
205.49/205.57	c
205.49/205.57	c ============================[ Search Statistics ]==============================
205.49/205.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.49/205.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.49/205.57	c ===============================================================================
205.49/205.57	c |         0 |    1706     1469    20694 |     5000        0   -nan |  0.000 % |
205.49/205.58	c |       101 |    1706     1469    20694 |     5500      101     53 |  0.000 % |
205.49/205.58	c |       252 |    1706     1469    20694 |     6050      252     40 |  0.000 % |
205.49/205.59	c |       477 |    1706     1469    20694 |     6655      477     36 |  0.000 % |
205.59/205.60	c |       816 |    1706     1469    20694 |     7320      816     34 |  0.000 % |
205.59/205.62	c |      1325 |    1706     1469    20694 |     8052     1325     32 |  0.000 % |
205.59/205.65	c |      2084 |    1706     1469    20694 |     8857     2084     35 |  0.000 % |
205.59/205.70	c |      3225 |    1706     1469    20694 |     9743     3225     34 |  0.000 % |
205.70/205.78	c |      4933 |    1706     1469    20694 |    10717     4933     34 |  0.000 % |
205.89/205.91	c |      7495 |    1706     1469    20694 |    11789     7495     34 |  0.000 % |
206.09/206.13	c |     11339 |    1706     1469    20694 |    12968    11339     34 |  0.000 % |
206.49/206.50	c |     17105 |    1706     1469    20694 |    14265    10588     38 |  0.000 % |
206.99/207.06	c |     25754 |    1706     1469    20694 |    15692    12044     43 |  0.000 % |
207.80/207.88	c |     38730 |    1706     1469    20694 |    17261     9246     41 |  0.000 % |
209.19/209.23	c |     58192 |    1706     1469    20694 |    18987    11360     44 |  0.000 % |
211.89/211.95	c |     87384 |    1706     1469    20694 |    20886    10165     48 |  0.000 % |
220.00/220.01	c |    131174 |    1706     1469    20694 |    22974    21444     85 |  0.000 % |
226.29/226.31	c |    196858 |    1706     1469    20694 |    25272    14608     50 |  0.000 % |
248.89/248.97	c |    295385 |    1706     1469    20694 |    27799    16148     87 |  0.000 % |
264.59/264.65	c |    443175 |    1706     1469    20694 |    30579    14770     62 |  0.000 % |
324.40/324.49	c |    664858 |    1681     1469    20694 |    33637    14585     82 |  1.467 % |
453.50/453.57	c |    997383 |    1681     1469    20694 |    37001    33648     79 |  1.465 % |
654.00/654.04	c |   1496173 |    1681     1469    20694 |    40701    20121     78 |  1.465 % |
989.92/989.92	c |   2244355 |    1681     1469    20694 |    44771    35827     85 |  1.465 % |
1458.83/1458.87	c |   3366632 |    1681     1469    20694 |    49248    33244     82 |  1.465 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447075-1307906611/watcher-3447075-1307906611 -o /tmp/evaluation-result-3447075-1307906611/solver-3447075-1307906611 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447075-1307906611.wbo 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.87 2/177 1987
/proc/meminfo: memFree=1569312/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=1972 CPUtime=0 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 300 0 0 0 0 0 0 0 25 0 1 0 883077392 2019328 249 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 493 249 177 372 0 118 0

[startup+0.0285551 s]
/proc/loadavg: 2.00 1.99 1.87 2/177 1987
/proc/meminfo: memFree=1569312/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=2500 CPUtime=0.02 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 427 0 0 0 2 0 0 0 25 0 1 0 883077392 2560000 376 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 625 376 177 372 0 250 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2500

[startup+0.100544 s]
/proc/loadavg: 2.00 1.99 1.87 2/177 1987
/proc/meminfo: memFree=1569312/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=3556 CPUtime=0.09 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 704 0 0 0 9 0 0 0 25 0 1 0 883077392 3641344 653 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 889 653 177 372 0 514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3556

[startup+0.300507 s]
/proc/loadavg: 2.00 1.99 1.87 2/177 1987
/proc/meminfo: memFree=1569312/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=5876 CPUtime=0.29 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 1258 0 0 0 28 1 0 0 25 0 1 0 883077392 6017024 1207 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 1469 1207 177 372 0 1094 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5876

[startup+0.700435 s]
/proc/loadavg: 2.00 1.99 1.87 2/177 1987
/proc/meminfo: memFree=1569312/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=8136 CPUtime=0.69 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 1826 0 0 0 67 2 0 0 25 0 1 0 883077392 8331264 1775 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 2034 1776 177 372 0 1659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8136

[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 1988
/proc/meminfo: memFree=1561640/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=11436 CPUtime=1.49 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 2653 0 0 0 143 6 0 0 25 0 1 0 883077392 11710464 2602 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 2859 2602 177 372 0 2484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11436

[startup+3.10102 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 1988
/proc/meminfo: memFree=1556524/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=13688 CPUtime=3.09 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 3267 0 0 0 297 12 0 0 25 0 1 0 883077392 14016512 3185 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 3422 3185 178 372 0 3047 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13688

[startup+6.30043 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 1988
/proc/meminfo: memFree=1551192/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=22020 CPUtime=6.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 5357 0 0 0 607 23 0 0 25 0 1 0 883077392 22548480 5239 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 5505 5239 178 372 0 5130 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 22020

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 1988
/proc/meminfo: memFree=1544728/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=22020 CPUtime=12.69 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 5358 0 0 0 1225 44 0 0 25 0 1 0 883077392 22548480 5240 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 5505 5240 178 372 0 5130 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22020

[startup+25.501 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 1989
/proc/meminfo: memFree=1521240/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=33288 CPUtime=25.49 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 8204 0 0 0 2460 89 0 0 25 0 1 0 883077392 34086912 8086 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 8322 8086 178 372 0 7947 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33288

[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 1989
/proc/meminfo: memFree=1513232/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=39772 CPUtime=51.09 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 9809 0 0 0 4940 169 0 0 25 0 1 0 883077392 40726528 9691 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 9943 9691 178 372 0 9568 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39772

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 1994
/proc/meminfo: memFree=1491600/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=50496 CPUtime=102.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 12497 0 0 0 9921 309 0 0 25 0 1 0 883077392 51707904 12379 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 12624 12379 178 372 0 12249 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50496

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 1995
/proc/meminfo: memFree=1458716/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=71200 CPUtime=162.29 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 17561 0 0 0 15857 372 0 0 25 0 1 0 883077392 72908800 17443 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 17800 17443 178 372 0 17425 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 71200

[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 1997
/proc/meminfo: memFree=1414960/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=112020 CPUtime=222.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 27703 0 0 0 21795 435 0 0 25 0 1 0 883077392 114708480 27525 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 28005 27525 178 372 0 27630 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 112020

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.90 3/178 1999
/proc/meminfo: memFree=1402352/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=115492 CPUtime=282.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 28731 0 0 0 27716 514 0 0 25 0 1 0 883077392 118263808 28553 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 28873 28553 178 372 0 28498 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 115492

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2000
/proc/meminfo: memFree=1322800/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=139660 CPUtime=342.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 34623 0 0 0 33686 544 0 0 25 0 1 0 883077392 143011840 34445 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 34915 34445 178 372 0 34540 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 139660

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2002
/proc/meminfo: memFree=1255776/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=158668 CPUtime=402.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 39191 0 0 0 39657 573 0 0 25 0 1 0 883077392 162476032 39013 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 39667 39013 178 372 0 39292 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 158668

[startup+462.301 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 2003
/proc/meminfo: memFree=1231760/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=182784 CPUtime=462.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 45216 0 0 0 45620 610 0 0 25 0 1 0 883077392 187170816 45038 33554432000 4194304 5714214 140734485359248 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 45696 45038 178 372 0 45321 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 182784

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 2005
/proc/meminfo: memFree=1210992/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=203260 CPUtime=522.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 50222 0 0 0 51591 639 0 0 25 0 1 0 883077392 208138240 50044 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 50815 50044 178 372 0 50440 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 203260

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2007
/proc/meminfo: memFree=1190472/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=223776 CPUtime=582.3 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 55290 0 0 0 57565 665 0 0 25 0 1 0 883077392 229146624 55112 33554432000 4194304 5714214 140734485359248 18446744073709551615 4322692 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 55944 55112 178 372 0 55569 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 223776

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2013
/proc/meminfo: memFree=1042416/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=293976 CPUtime=822.31 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 72645 0 0 0 81466 765 0 0 25 0 1 0 883077392 301031424 72467 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 73494 72467 178 372 0 73119 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 293976

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2015
/proc/meminfo: memFree=984928/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=311256 CPUtime=882.31 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 76946 0 0 0 87442 789 0 0 25 0 1 0 883077392 318726144 76768 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 77814 76768 178 372 0 77439 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 311256

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2016
/proc/meminfo: memFree=939220/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=329068 CPUtime=942.32 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 81341 0 0 0 93415 817 0 0 25 0 1 0 883077392 336965632 81163 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 82267 81163 178 372 0 81892 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 329068

[startup+1002.3 s]
/proc/loadavg: 2.06 2.01 1.92 3/178 2018
/proc/meminfo: memFree=907776/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=348060 CPUtime=1002.31 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 86031 0 0 0 99390 841 0 0 25 0 1 0 883077392 356413440 85853 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 87015 85853 178 372 0 86640 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 348060

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 2019
/proc/meminfo: memFree=876160/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=363612 CPUtime=1062.31 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 89803 0 0 0 105366 865 0 0 25 0 1 0 883077392 372338688 89625 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 90903 89625 178 372 0 90528 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 363612

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2021
/proc/meminfo: memFree=817568/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=396872 CPUtime=1122.32 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 98079 0 0 0 111323 909 0 0 25 0 1 0 883077392 406396928 97901 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 99218 97901 178 372 0 98843 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 396872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2023
/proc/meminfo: memFree=754448/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=414408 CPUtime=1182.32 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 102481 0 0 0 117294 938 0 0 25 0 1 0 883077392 424353792 102303 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 103602 102303 178 372 0 103227 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 414408

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2024
/proc/meminfo: memFree=706224/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=427964 CPUtime=1242.32 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 105805 0 0 0 123273 959 0 0 25 0 1 0 883077392 438235136 105627 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 106991 105627 178 372 0 106616 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 427964

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2026
/proc/meminfo: memFree=672008/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=447808 CPUtime=1302.32 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 110810 0 0 0 129246 986 0 0 25 0 1 0 883077392 458555392 110632 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 111952 110632 178 372 0 111577 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 447808

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2027
/proc/meminfo: memFree=640104/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=461776 CPUtime=1362.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 114309 0 0 0 135221 1012 0 0 25 0 1 0 883077392 472858624 114131 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 115444 114131 178 372 0 115069 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 461776

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2029
/proc/meminfo: memFree=581192/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=479356 CPUtime=1422.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 118696 0 0 0 141194 1039 0 0 25 0 1 0 883077392 490860544 118518 33554432000 4194304 5714214 140734485359248 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 119839 118518 178 372 0 119464 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 479356

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 2031
/proc/meminfo: memFree=558180/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=501956 CPUtime=1482.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 124367 0 0 0 147163 1070 0 0 25 0 1 0 883077392 514002944 124189 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 125489 124189 178 372 0 125114 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 501956

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/178 2032
/proc/meminfo: memFree=543708/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=516272 CPUtime=1542.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 127932 0 0 0 153140 1093 0 0 25 0 1 0 883077392 528662528 127754 33554432000 4194304 5714214 140734485359248 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 129068 127754 178 372 0 128693 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 516272

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 2034
/proc/meminfo: memFree=527716/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=532380 CPUtime=1602.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 131936 0 0 0 159118 1115 0 0 25 0 1 0 883077392 545157120 131758 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319251 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 133095 131758 178 372 0 132720 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 532380

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 2035
/proc/meminfo: memFree=514844/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=544956 CPUtime=1662.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 135003 0 0 0 165099 1134 0 0 25 0 1 0 883077392 558034944 134825 33554432000 4194304 5714214 140734485359248 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 136239 134825 178 372 0 135864 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 544956

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 2037
/proc/meminfo: memFree=500232/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=558948 CPUtime=1722.33 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 138524 0 0 0 171076 1157 0 0 25 0 1 0 883077392 572362752 138346 33554432000 4194304 5714214 140734485359248 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 139737 138346 178 372 0 139362 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 558948

[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.92 2/176 2040
/proc/meminfo: memFree=1014824/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=573632 CPUtime=1782.34 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 142194 0 0 0 177057 1177 0 0 25 0 1 0 883077392 587399168 142016 33554432000 4194304 5714214 140734485359248 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 143408 142016 178 372 0 143033 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 573632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.72 1.93 1.90 2/172 2064
/proc/meminfo: memFree=1019204/32951124 swapFree=67050916/67111528
[pid=1987] ppid=1985 vsize=576404 CPUtime=1800.04 cores=1,3,5,7
/proc/1987/stat : 1987 (wbo1.6) R 1985 1987 648 0 -1 4202496 142898 0 0 0 178818 1186 0 0 25 0 1 0 883077392 590237696 142720 33554432000 4194304 5714214 140734485359248 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/1987/statm: 144101 142720 178 372 0 143726 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 576404

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.03
CPU time (s): 1800.07
CPU user time (s): 1788.19
CPU system time (s): 11.8862
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 576404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.19
system time used= 11.8862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142898
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= 11
involuntary context switches= 20427

runsolver used 2.37364 second user time and 5.9031 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-12 21:23:31
IDJOB=3447075
IDBENCH=79214
IDSOLVER=1943
FILE ID=node146/3447075-1307906611
RUNJOBID= node146-1307904631-1440
PBS_JOBID= 13559563
Free space on /tmp= 6548 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447075-1307906611/watcher-3447075-1307906611 -o /tmp/evaluation-result-3447075-1307906611/solver-3447075-1307906611 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447075-1307906611.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6
RANDOM SEED=56145568

node146.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.830
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.66
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.830
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.830
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.75
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.830
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.86
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.830
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.75
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.830
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.830
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.830
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:       1569864 kB
Buffers:         63900 kB
Cached:       30332196 kB
SwapCached:      13072 kB
Active:       15733108 kB
Inactive:     14699940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1569864 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:            8840 kB
Writeback:           0 kB
AnonPages:       35892 kB
Mapped:           9880 kB
Slab:           884932 kB
PageTables:       4376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   225196 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= 6548 MiB
End job on node146 at 2011-06-12 21:53:33