Trace number 3447033

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.04

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo
MD5SUMddf92c4c1e045ebe7e849be5501be2d8
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 benchmark2.37664
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 1215
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-3447033-1307906506.wbo.
0.00/0.00	c Instance file HOME/instance-3447033-1307906506.wbo
0.00/0.00	c File size is 10451 bytes.
0.00/0.00	c Highest Coefficient sum: 1215
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     27 |  0.004 % |
0.00/0.00	c |       253 |     169      101     1205 |     6050      253     28 |  0.004 % |
0.00/0.00	c |       479 |     169      101     1205 |     6655      479     34 |  0.004 % |
0.00/0.01	c |       816 |     169      101     1205 |     7320      816     34 |  0.004 % |
0.00/0.02	c |      1322 |     169      101     1205 |     8052     1322     35 |  0.004 % |
0.00/0.03	c |      2081 |     169      101     1205 |     8857     2081     35 |  0.004 % |
0.00/0.06	c |      3220 |     169      101     1205 |     9743     3220     38 |  0.004 % |
0.09/0.11	c |      4930 |     169      101     1205 |    10717     4930     39 |  0.004 % |
0.09/0.19	c |      7492 |     169      101     1205 |    11789     7492     39 |  0.004 % |
0.29/0.36	c |     11336 |     169      101     1205 |    12968    11336     40 |  0.004 % |
0.59/0.64	c |     17104 |     169      101     1205 |    14265    10571     45 |  0.004 % |
1.09/1.11	c |     25754 |     169      101     1205 |    15692    12034     48 |  0.004 % |
1.79/1.89	c |     38728 |     169      101     1205 |    17261     9207     51 |  0.004 % |
2.99/3.08	c |     58189 |     169      101     1205 |    18987    11314     50 |  0.004 % |
4.89/4.98	c |     87382 |     124      101     1205 |    20886    11839     52 | 26.631 % |
4.99/5.08	c ===============================================================================
5.49/5.52	c core #1
5.49/5.52	c 
5.49/5.52	c 
5.49/5.52	c Core size: 99	Core Weight: 1	Total Weight: 1
5.49/5.52	c Current CPU time: 5.37718 s
5.49/5.52	c
5.49/5.52	c ============================[ Search Statistics ]==============================
5.49/5.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.52	c ===============================================================================
5.49/5.52	c |         0 |     264      200     2566 |     5000        0   -nan |  0.000 % |
5.49/5.53	c |       101 |     264      200     2566 |     5500      101     32 |  0.001 % |
5.49/5.53	c |       251 |     264      200     2566 |     6050      251     34 |  0.001 % |
5.49/5.54	c |       478 |     264      200     2566 |     6655      478     34 |  0.001 % |
5.49/5.55	c |       815 |     264      200     2566 |     7320      815     35 |  0.001 % |
5.49/5.56	c |      1321 |     264      200     2566 |     8052     1321     37 |  0.001 % |
5.49/5.57	c |      2080 |     264      200     2566 |     8857     2080     36 |  0.001 % |
5.59/5.60	c |      3219 |     264      200     2566 |     9743     3219     36 |  0.001 % |
5.59/5.65	c |      4927 |     264      200     2566 |    10717     4927     36 |  0.001 % |
5.69/5.75	c |      7489 |     264      200     2566 |    11789     7489     38 |  0.001 % |
5.90/5.91	c |     11333 |     264      200     2566 |    12968    11333     39 |  0.001 % |
6.19/6.20	c |     17099 |     264      200     2566 |    14265    10561     41 |  0.001 % |
6.60/6.62	c |     25749 |     264      200     2566 |    15692    12028     42 |  0.001 % |
7.29/7.30	c |     38725 |     264      200     2566 |    17261     9204     46 |  0.001 % |
8.29/8.35	c |     58186 |     264      200     2566 |    18987    11286     49 |  0.001 % |
10.09/10.17	c |     87380 |     264      200     2566 |    20886    11821     49 |  0.001 % |
11.49/11.55	c ===============================================================================
12.00/12.08	c core #2
12.00/12.08	c 
12.00/12.08	c 
12.00/12.08	c Core size: 98	Core Weight: 1	Total Weight: 2
12.00/12.08	c Current CPU time: 11.8022 s
12.00/12.08	c
12.00/12.08	c ============================[ Search Statistics ]==============================
12.00/12.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.00/12.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.00/12.08	c ===============================================================================
12.00/12.08	c |         0 |     358      298     3915 |     5000        0   -nan |  0.000 % |
12.00/12.08	c |       102 |     358      298     3915 |     5500      102     37 |  0.001 % |
12.00/12.08	c |       252 |     358      298     3915 |     6050      252     32 |  0.001 % |
12.00/12.09	c |       477 |     358      298     3915 |     6655      477     34 |  0.001 % |
12.00/12.09	c |       814 |     358      298     3915 |     7320      814     33 |  0.001 % |
12.10/12.11	c |      1321 |     358      298     3915 |     8052     1321     35 |  0.001 % |
12.10/12.12	c |      2081 |     358      298     3915 |     8857     2081     35 |  0.001 % |
12.10/12.15	c |      3222 |     358      298     3915 |     9743     3222     35 |  0.001 % |
12.19/12.21	c |      4933 |     358      298     3915 |    10717     4933     36 |  0.001 % |
12.29/12.31	c |      7496 |     358      298     3915 |    11789     7496     37 |  0.001 % |
12.40/12.48	c |     11342 |     358      298     3915 |    12968    11342     37 |  0.001 % |
12.69/12.74	c |     17108 |     358      298     3915 |    14265    10573     39 |  0.001 % |
13.10/13.16	c |     25758 |     358      298     3915 |    15692    12033     44 |  0.001 % |
13.79/13.89	c |     38732 |     358      298     3915 |    17261     9210     44 |  0.001 % |
14.89/14.95	c |     58195 |     358      298     3915 |    18987    11317     47 |  0.001 % |
16.79/16.84	c |     87388 |     358      298     3915 |    20886    11847     48 |  0.001 % |
18.29/18.30	c ===============================================================================
18.80/18.86	c core #3
18.80/18.86	c 
18.80/18.86	c 
18.80/18.86	c Core size: 100	Core Weight: 1	Total Weight: 3
18.80/18.86	c Current CPU time: 18.4612 s
18.80/18.86	c
18.80/18.86	c ============================[ Search Statistics ]==============================
18.80/18.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.80/18.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.80/18.86	c ===============================================================================
18.80/18.86	c |         0 |     453      395     5254 |     5000        0   -nan |  0.000 % |
18.80/18.86	c |       103 |     453      395     5254 |     5500      103     32 |  0.000 % |
18.80/18.86	c |       254 |     453      395     5254 |     6050      254     27 |  0.000 % |
18.80/18.87	c |       479 |     453      395     5254 |     6655      479     29 |  0.000 % |
18.80/18.87	c |       818 |     453      395     5254 |     7320      818     32 |  0.000 % |
18.80/18.88	c |      1327 |     453      395     5254 |     8052     1327     32 |  0.000 % |
18.90/18.90	c |      2089 |     453      395     5254 |     8857     2089     32 |  0.000 % |
18.90/18.94	c |      3228 |     453      395     5254 |     9743     3228     32 |  0.000 % |
18.90/18.99	c |      4937 |     453      395     5254 |    10717     4937     35 |  0.000 % |
18.99/19.09	c |      7499 |     453      395     5254 |    11789     7499     38 |  0.000 % |
19.19/19.26	c |     11344 |     453      395     5254 |    12968    11344     38 |  0.000 % |
19.49/19.52	c |     17110 |     453      395     5254 |    14265    10568     41 |  0.000 % |
19.89/19.95	c |     25759 |     453      395     5254 |    15692    12029     44 |  0.000 % |
20.59/20.68	c |     38739 |     453      395     5254 |    17261     9195     45 |  0.000 % |
21.79/21.85	c |     58200 |     453      395     5254 |    18987    11275     44 |  0.000 % |
23.59/23.67	c |     87393 |     453      395     5254 |    20886    11816     44 |  0.000 % |
24.99/25.09	c ===============================================================================
25.59/25.63	c core #4
25.59/25.63	c 
25.59/25.63	c 
25.59/25.63	c Core size: 102	Core Weight: 1	Total Weight: 4
25.59/25.63	c Current CPU time: 25.1252 s
25.59/25.63	c
25.59/25.63	c ============================[ Search Statistics ]==============================
25.59/25.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.59/25.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.59/25.63	c ===============================================================================
25.59/25.63	c |         0 |     551      489     6569 |     5000        0   -nan |  0.000 % |
25.59/25.64	c |       101 |     551      489     6569 |     5500      101     33 |  0.000 % |
25.59/25.64	c |       251 |     551      489     6569 |     6050      251     30 |  0.000 % |
25.59/25.64	c |       479 |     551      489     6569 |     6655      479     32 |  0.000 % |
25.59/25.65	c |       816 |     551      489     6569 |     7320      816     34 |  0.000 % |
25.59/25.66	c |      1325 |     551      489     6569 |     8052     1325     34 |  0.000 % |
25.59/25.68	c |      2084 |     551      489     6569 |     8857     2084     32 |  0.000 % |
25.69/25.72	c |      3223 |     551      489     6569 |     9743     3223     34 |  0.000 % |
25.69/25.77	c |      4931 |     551      489     6569 |    10717     4931     36 |  0.000 % |
25.79/25.88	c |      7496 |     551      489     6569 |    11789     7496     40 |  0.000 % |
25.99/26.06	c |     11341 |     551      489     6569 |    12968    11341     40 |  0.000 % |
26.29/26.31	c |     17109 |     551      489     6569 |    14265    10577     41 |  0.000 % |
26.69/26.73	c |     25759 |     551      489     6569 |    15692    12070     43 |  0.000 % |
27.49/27.53	c |     38733 |     551      489     6569 |    17261     9253     45 |  0.000 % |
28.79/28.86	c |     58194 |     551      489     6569 |    18987    11337     47 |  0.000 % |
30.79/30.85	c |     87386 |     551      489     6569 |    20886    11893     48 |  0.000 % |
34.00/34.03	c |    131178 |     551      489     6569 |    22974    13689     50 |  0.000 % |
35.59/35.63	c ===============================================================================
36.39/36.43	c core #5
36.39/36.43	c 
36.39/36.43	c 
36.39/36.43	c Core size: 110	Core Weight: 1	Total Weight: 5
36.39/36.43	c Current CPU time: 35.6976 s
36.39/36.43	c
36.39/36.43	c ============================[ Search Statistics ]==============================
36.39/36.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.39/36.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.39/36.43	c ===============================================================================
36.39/36.43	c |         0 |     657      582     7898 |     5000        0   -nan |  0.000 % |
36.39/36.43	c |       101 |     657      582     7898 |     5500      101     35 |  0.000 % |
36.39/36.43	c |       251 |     657      582     7898 |     6050      251     34 |  0.000 % |
36.39/36.44	c |       476 |     657      582     7898 |     6655      476     32 |  0.000 % |
36.39/36.45	c |       813 |     657      582     7898 |     7320      813     32 |  0.000 % |
36.39/36.46	c |      1319 |     657      582     7898 |     8052     1319     32 |  0.000 % |
36.39/36.48	c |      2078 |     657      582     7898 |     8857     2078     33 |  0.000 % |
36.49/36.51	c |      3217 |     657      582     7898 |     9743     3217     33 |  0.000 % |
36.49/36.57	c |      4927 |     657      582     7898 |    10717     4927     35 |  0.000 % |
36.59/36.66	c |      7490 |     657      582     7898 |    11789     7490     36 |  0.000 % |
36.80/36.85	c |     11335 |     657      582     7898 |    12968    11335     39 |  0.000 % |
37.09/37.13	c |     17103 |     657      582     7898 |    14265    10559     43 |  0.000 % |
37.59/37.63	c |     25755 |     657      582     7898 |    15692    12021     47 |  0.000 % |
38.40/38.49	c |     38733 |     657      582     7898 |    17261     9213     48 |  0.000 % |
39.89/39.95	c |     58194 |     657      582     7898 |    18987    11309     51 |  0.000 % |
42.09/42.11	c |     87386 |     657      582     7898 |    20886    11837     48 |  0.000 % |
45.49/45.50	c |    131176 |     657      582     7898 |    22974    13648     51 |  0.000 % |
50.60/50.67	c |    196861 |     657      582     7898 |    25272    21612     56 |  0.000 % |
55.40/55.50	c ===============================================================================
56.79/56.86	c core #6
56.79/56.86	c 
56.79/56.86	c 
56.79/56.86	c Core size: 99	Core Weight: 1	Total Weight: 6
56.79/56.86	c Current CPU time: 55.7745 s
56.79/56.86	c
56.79/56.86	c ============================[ Search Statistics ]==============================
56.79/56.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
56.79/56.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
56.79/56.86	c ===============================================================================
56.79/56.86	c |         0 |     750      673     9177 |     5000        0   -nan |  0.000 % |
56.79/56.86	c |       101 |     750      673     9177 |     5500      101     34 |  0.000 % |
56.79/56.87	c |       252 |     750      673     9177 |     6050      252     31 |  0.000 % |
56.79/56.87	c |       478 |     750      673     9177 |     6655      478     32 |  0.000 % |
56.79/56.88	c |       815 |     750      673     9177 |     7320      815     35 |  0.000 % |
56.79/56.89	c |      1322 |     750      673     9177 |     8052     1322     34 |  0.000 % |
56.90/56.92	c |      2082 |     750      673     9177 |     8857     2082     36 |  0.000 % |
56.90/56.95	c |      3221 |     750      673     9177 |     9743     3221     38 |  0.000 % |
56.99/57.01	c |      4929 |     750      673     9177 |    10717     4929     37 |  0.000 % |
57.10/57.11	c |      7491 |     750      673     9177 |    11789     7491     37 |  0.000 % |
57.20/57.29	c |     11338 |     750      673     9177 |    12968    11338     37 |  0.000 % |
57.50/57.58	c |     17106 |     750      673     9177 |    14265    10577     42 |  0.000 % |
58.00/58.05	c |     25755 |     750      673     9177 |    15692    12045     42 |  0.000 % |
58.80/58.82	c |     38729 |     750      673     9177 |    17261     9223     46 |  0.000 % |
60.00/60.06	c |     58191 |     750      673     9177 |    18987    11334     45 |  0.000 % |
61.99/62.04	c |     87383 |     750      673     9177 |    20886    11878     49 |  0.000 % |
65.19/65.20	c |    131174 |     750      673     9177 |    22974    13675     48 |  0.000 % |
67.79/67.88	c ===============================================================================
68.69/68.73	c core #7
68.69/68.73	c 
68.69/68.73	c 
68.69/68.73	c Core size: 115	Core Weight: 1	Total Weight: 7
68.69/68.73	c Current CPU time: 67.4877 s
68.69/68.73	c
68.69/68.73	c ============================[ Search Statistics ]==============================
68.69/68.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
68.69/68.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
68.69/68.73	c ===============================================================================
68.69/68.73	c |         0 |     862      763    10489 |     5000        0   -nan |  0.000 % |
68.69/68.73	c |       100 |     862      763    10489 |     5500      100     33 |  0.000 % |
68.69/68.74	c |       253 |     862      763    10489 |     6050      253     37 |  0.000 % |
68.69/68.74	c |       480 |     862      763    10489 |     6655      480     36 |  0.000 % |
68.69/68.75	c |       818 |     862      763    10489 |     7320      818     34 |  0.000 % |
68.69/68.77	c |      1325 |     862      763    10489 |     8052     1325     36 |  0.000 % |
68.69/68.79	c |      2085 |     862      763    10489 |     8857     2085     39 |  0.000 % |
68.80/68.83	c |      3225 |     862      763    10489 |     9743     3225     38 |  0.000 % |
68.80/68.89	c |      4933 |     862      763    10489 |    10717     4933     38 |  0.000 % |
68.89/68.99	c |      7495 |     862      763    10489 |    11789     7495     40 |  0.000 % |
69.09/69.18	c |     11339 |     862      763    10489 |    12968    11339     40 |  0.000 % |
69.49/69.50	c |     17106 |     862      763    10489 |    14265    10583     42 |  0.000 % |
70.00/70.03	c |     25757 |     862      763    10489 |    15692    12049     42 |  0.000 % |
70.79/70.88	c |     38734 |     862      763    10489 |    17261     9250     40 |  0.000 % |
72.09/72.14	c |     58195 |     862      763    10489 |    18987    11352     44 |  0.000 % |
74.09/74.16	c |     87388 |     862      763    10489 |    20886    11904     45 |  0.000 % |
77.30/77.36	c |    131180 |     862      763    10489 |    22974    13688     50 |  0.000 % |
81.00/81.06	c ===============================================================================
82.00/82.01	c core #8
82.00/82.01	c 
82.00/82.01	c 
82.00/82.01	c Core size: 100	Core Weight: 1	Total Weight: 8
82.00/82.01	c Current CPU time: 80.5368 s
82.00/82.01	c
82.00/82.01	c ============================[ Search Statistics ]==============================
82.00/82.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.00/82.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.00/82.01	c ===============================================================================
82.00/82.01	c |         0 |     957      852    11756 |     5000        0   -nan |  0.000 % |
82.00/82.02	c |       100 |     957      852    11756 |     5500      100     35 |  0.000 % |
82.00/82.02	c |       250 |     957      852    11756 |     6050      250     33 |  0.000 % |
82.00/82.02	c |       476 |     957      852    11756 |     6655      476     32 |  0.000 % |
82.00/82.03	c |       816 |     957      852    11756 |     7320      816     31 |  0.000 % |
82.00/82.05	c |      1322 |     957      852    11756 |     8052     1322     32 |  0.000 % |
82.00/82.07	c |      2082 |     957      852    11756 |     8857     2082     32 |  0.000 % |
82.09/82.11	c |      3222 |     957      852    11756 |     9743     3222     36 |  0.000 % |
82.09/82.17	c |      4931 |     957      852    11756 |    10717     4931     36 |  0.000 % |
82.19/82.29	c |      7494 |     957      852    11756 |    11789     7494     38 |  0.000 % |
82.39/82.49	c |     11339 |     957      852    11756 |    12968    11339     38 |  0.000 % |
82.70/82.77	c |     17105 |     957      852    11756 |    14265    10557     39 |  0.000 % |
83.19/83.28	c |     25754 |     957      852    11756 |    15692    12014     44 |  0.000 % |
84.09/84.10	c |     38728 |     957      852    11756 |    17261     9199     45 |  0.000 % |
85.39/85.47	c |     58191 |     957      852    11756 |    18987    11290     44 |  0.000 % |
87.49/87.52	c |     87384 |     957      852    11756 |    20886    11840     43 |  0.000 % |
90.69/90.77	c |    131174 |     957      852    11756 |    22974    13641     45 |  0.000 % |
95.60/95.68	c |    196858 |     904      852    11756 |    25272    21417     49 |  5.643 % |
95.90/95.92	c ===============================================================================
96.89/96.95	c core #9
96.89/96.95	c 
96.89/96.95	c 
96.89/96.95	c Core size: 123	Core Weight: 1	Total Weight: 9
96.89/96.95	c Current CPU time: 95.2215 s
96.89/96.95	c
96.89/96.95	c ============================[ Search Statistics ]==============================
96.89/96.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
96.89/96.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
96.89/96.95	c ===============================================================================
96.89/96.95	c |         0 |    1077      941    13071 |     5000        0   -nan |  0.000 % |
96.89/96.95	c |       100 |    1077      941    13071 |     5500      100     41 |  0.000 % |
96.89/96.96	c |       250 |    1077      941    13071 |     6050      250     40 |  0.000 % |
96.89/96.96	c |       476 |    1077      941    13071 |     6655      476     34 |  0.000 % |
96.89/96.97	c |       814 |    1077      941    13071 |     7320      814     30 |  0.000 % |
96.89/96.99	c |      1321 |    1077      941    13071 |     8052     1321     32 |  0.000 % |
96.99/97.01	c |      2080 |    1077      941    13071 |     8857     2080     35 |  0.000 % |
96.99/97.05	c |      3219 |    1077      941    13071 |     9743     3219     34 |  0.000 % |
97.10/97.12	c |      4930 |    1077      941    13071 |    10717     4930     34 |  0.000 % |
97.19/97.24	c |      7492 |    1077      941    13071 |    11789     7492     36 |  0.000 % |
97.39/97.45	c |     11337 |    1077      941    13071 |    12968    11337     36 |  0.000 % |
97.70/97.79	c |     17103 |    1077      941    13071 |    14265    10558     40 |  0.000 % |
98.39/98.40	c |     25753 |    1077      941    13071 |    15692    12019     42 |  0.000 % |
99.19/99.28	c |     38728 |    1077      941    13071 |    17261     9202     43 |  0.000 % |
100.58/100.66	c |     58191 |    1077      941    13071 |    18987    11311     44 |  0.000 % |
102.68/102.72	c |     87384 |    1077      941    13071 |    20886    11856     43 |  0.000 % |
105.89/105.96	c |    131174 |    1077      941    13071 |    22974    13689     45 |  0.000 % |
109.49/109.58	c ===============================================================================
110.48/110.50	c core #10
110.48/110.50	c 
110.48/110.50	c 
110.48/110.50	c Core size: 100	Core Weight: 1	Total Weight: 10
110.48/110.50	c Current CPU time: 108.534 s
110.48/110.50	c
110.48/110.50	c ============================[ Search Statistics ]==============================
110.48/110.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
110.48/110.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
110.48/110.50	c ===============================================================================
110.48/110.50	c |         0 |    1175     1029    14328 |     5000        0   -nan |  0.000 % |
110.48/110.51	c |       100 |    1175     1029    14328 |     5500      100     44 |  0.000 % |
110.48/110.51	c |       251 |    1175     1029    14328 |     6050      251     33 |  0.000 % |
110.48/110.52	c |       476 |    1175     1029    14328 |     6655      476     35 |  0.000 % |
110.48/110.53	c |       814 |    1175     1029    14328 |     7320      814     32 |  0.000 % |
110.48/110.55	c |      1320 |    1175     1029    14328 |     8052     1320     31 |  0.000 % |
110.48/110.57	c |      2080 |    1175     1029    14328 |     8857     2080     32 |  0.000 % |
110.59/110.61	c |      3219 |    1175     1029    14328 |     9743     3219     37 |  0.000 % |
110.59/110.68	c |      4928 |    1175     1029    14328 |    10717     4928     39 |  0.000 % |
110.79/110.80	c |      7490 |    1175     1029    14328 |    11789     7490     39 |  0.000 % |
110.99/111.00	c |     11335 |    1175     1029    14328 |    12968    11335     41 |  0.000 % |
111.29/111.34	c |     17103 |    1175     1029    14328 |    14265    10560     40 |  0.000 % |
111.79/111.88	c |     25754 |    1175     1029    14328 |    15692    12023     41 |  0.000 % |
112.69/112.75	c |     38728 |    1175     1029    14328 |    17261     9193     43 |  0.000 % |
113.99/114.04	c |     58189 |    1175     1029    14328 |    18987    11300     45 |  0.000 % |
116.28/116.35	c |     87383 |    1175     1029    14328 |    20886    11847     50 |  0.000 % |
119.90/119.95	c |    131173 |    1175     1029    14328 |    22974    13669     48 |  0.000 % |
125.49/125.52	c |    196859 |    1175     1029    14328 |    25272    21658     48 |  0.000 % |
129.79/129.86	c ===============================================================================
131.19/131.22	c core #11
131.19/131.22	c 
131.19/131.22	c 
131.19/131.22	c Core size: 122	Core Weight: 1	Total Weight: 11
131.19/131.22	c Current CPU time: 128.9 s
131.19/131.22	c
131.19/131.22	c ============================[ Search Statistics ]==============================
131.19/131.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
131.19/131.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
131.19/131.22	c ===============================================================================
131.19/131.22	c |         0 |    1294     1117    15628 |     5000        0   -nan |  0.000 % |
131.19/131.23	c |       100 |    1294     1117    15628 |     5500      100     37 |  0.000 % |
131.19/131.23	c |       251 |    1294     1117    15628 |     6050      251     36 |  0.000 % |
131.19/131.24	c |       477 |    1294     1117    15628 |     6655      477     38 |  0.000 % |
131.19/131.25	c |       814 |    1294     1117    15628 |     7320      814     35 |  0.000 % |
131.19/131.27	c |      1321 |    1294     1117    15628 |     8052     1321     34 |  0.000 % |
131.19/131.29	c |      2080 |    1294     1117    15628 |     8857     2080     34 |  0.000 % |
131.29/131.33	c |      3222 |    1294     1117    15628 |     9743     3222     36 |  0.000 % |
131.38/131.40	c |      4930 |    1294     1117    15628 |    10717     4930     36 |  0.000 % |
131.49/131.51	c |      7492 |    1294     1117    15628 |    11789     7492     36 |  0.000 % |
131.69/131.72	c |     11336 |    1294     1117    15628 |    12968    11336     38 |  0.000 % |
132.00/132.04	c |     17102 |    1294     1117    15628 |    14265    10571     42 |  0.000 % |
132.49/132.54	c |     25754 |    1294     1117    15628 |    15692    12046     44 |  0.000 % |
133.28/133.35	c |     38729 |    1294     1117    15628 |    17261     9218     44 |  0.000 % |
134.49/134.58	c |     58191 |    1294     1117    15628 |    18987    11310     42 |  0.000 % |
136.69/136.77	c |     87384 |    1294     1117    15628 |    20886    11878     44 |  0.000 % |
140.19/140.29	c |    131174 |    1294     1117    15628 |    22974    13679     46 |  0.000 % |
145.10/145.19	c |    196858 |    1294     1117    15628 |    25272    21474     47 |  0.002 % |
146.89/146.99	c ===============================================================================
148.09/148.15	c core #12
148.09/148.15	c 
148.09/148.15	c 
148.09/148.15	c Core size: 102	Core Weight: 1	Total Weight: 12
148.09/148.15	c Current CPU time: 145.541 s
148.09/148.15	c
148.09/148.15	c ============================[ Search Statistics ]==============================
148.09/148.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
148.09/148.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
148.09/148.15	c ===============================================================================
148.09/148.15	c |         0 |    1394     1205    16889 |     5000        0   -nan |  0.000 % |
148.09/148.15	c |       100 |    1394     1205    16889 |     5500      100     50 |  0.000 % |
148.09/148.16	c |       250 |    1394     1205    16889 |     6050      250     40 |  0.000 % |
148.09/148.16	c |       476 |    1394     1205    16889 |     6655      476     36 |  0.000 % |
148.09/148.17	c |       813 |    1394     1205    16889 |     7320      813     34 |  0.000 % |
148.09/148.19	c |      1319 |    1394     1205    16889 |     8052     1319     32 |  0.000 % |
148.19/148.22	c |      2078 |    1394     1205    16889 |     8857     2078     30 |  0.000 % |
148.19/148.26	c |      3220 |    1394     1205    16889 |     9743     3220     33 |  0.000 % |
148.28/148.33	c |      4928 |    1394     1205    16889 |    10717     4928     35 |  0.000 % |
148.39/148.45	c |      7490 |    1394     1205    16889 |    11789     7490     35 |  0.000 % |
148.59/148.65	c |     11334 |    1394     1205    16889 |    12968    11334     36 |  0.000 % |
148.89/148.98	c |     17100 |    1394     1205    16889 |    14265    10569     37 |  0.000 % |
149.49/149.56	c |     25749 |    1394     1205    16889 |    15692    12049     40 |  0.000 % |
150.38/150.42	c |     38724 |    1394     1205    16889 |    17261     9234     40 |  0.000 % |
151.69/151.74	c |     58185 |    1394     1205    16889 |    18987    11311     46 |  0.000 % |
153.79/153.84	c |     87378 |    1394     1205    16889 |    20886    11866     43 |  0.000 % |
156.99/157.09	c |    131167 |    1394     1205    16889 |    22974    13668     47 |  0.000 % |
162.19/162.23	c |    196852 |    1347     1205    16889 |    25272    21596     48 |  3.372 % |
163.79/163.88	c ===============================================================================
164.99/165.01	c core #13
164.99/165.01	c 
164.99/165.01	c 
164.99/165.01	c Core size: 107	Core Weight: 1	Total Weight: 13
164.99/165.01	c Current CPU time: 162.113 s
164.99/165.01	c
164.99/165.01	c ============================[ Search Statistics ]==============================
164.99/165.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
164.99/165.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
164.99/165.01	c ===============================================================================
164.99/165.01	c |         0 |    1499     1293    18160 |     5000        0   -nan |  0.000 % |
164.99/165.01	c |       101 |    1499     1293    18160 |     5500      101     46 |  0.000 % |
164.99/165.02	c |       251 |    1499     1293    18160 |     6050      251     42 |  0.000 % |
164.99/165.03	c |       476 |    1499     1293    18160 |     6655      476     38 |  0.000 % |
164.99/165.04	c |       813 |    1499     1293    18160 |     7320      813     37 |  0.000 % |
164.99/165.05	c |      1320 |    1499     1293    18160 |     8052     1320     33 |  0.000 % |
164.99/165.08	c |      2079 |    1499     1293    18160 |     8857     2079     33 |  0.000 % |
165.09/165.12	c |      3218 |    1499     1293    18160 |     9743     3218     33 |  0.000 % |
165.19/165.20	c |      4929 |    1499     1293    18160 |    10717     4929     35 |  0.000 % |
165.29/165.32	c |      7492 |    1499     1293    18160 |    11789     7492     36 |  0.000 % |
165.48/165.54	c |     11336 |    1499     1293    18160 |    12968    11336     37 |  0.000 % |
165.79/165.89	c |     17103 |    1499     1293    18160 |    14265    10553     41 |  0.000 % |
166.39/166.43	c |     25752 |    1499     1293    18160 |    15692    12020     43 |  0.000 % |
167.29/167.36	c |     38727 |    1499     1293    18160 |    17261     9217     45 |  0.000 % |
168.68/168.76	c |     58189 |    1499     1293    18160 |    18987    11326     44 |  0.000 % |
170.98/171.04	c |     87384 |    1499     1293    18160 |    20886    11918     46 |  0.000 % |
174.48/174.51	c |    131174 |    1499     1293    18160 |    22974    13759     44 |  0.000 % |
179.29/179.32	c ===============================================================================
180.29/180.35	c core #14
180.29/180.35	c 
180.29/180.35	c 
180.29/180.35	c Core size: 103	Core Weight: 1	Total Weight: 14
180.29/180.35	c Current CPU time: 177.24 s
180.29/180.35	c
180.29/180.35	c ============================[ Search Statistics ]==============================
180.29/180.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.29/180.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.29/180.35	c ===============================================================================
180.29/180.35	c |         0 |    1600     1381    19423 |     5000        0   -nan |  0.000 % |
180.29/180.36	c |       101 |    1600     1381    19423 |     5500      101     44 |  0.000 % |
180.29/180.36	c |       252 |    1600     1381    19423 |     6050      252     38 |  0.000 % |
180.29/180.37	c |       479 |    1600     1381    19423 |     6655      479     35 |  0.000 % |
180.29/180.38	c |       818 |    1600     1381    19423 |     7320      818     37 |  0.000 % |
180.40/180.40	c |      1325 |    1600     1381    19423 |     8052     1325     36 |  0.000 % |
180.40/180.43	c |      2086 |    1600     1381    19423 |     8857     2086     35 |  0.000 % |
180.40/180.48	c |      3226 |    1600     1381    19423 |     9743     3226     38 |  0.000 % |
180.49/180.55	c |      4934 |    1600     1381    19423 |    10717     4934     36 |  0.000 % |
180.58/180.68	c |      7497 |    1600     1381    19423 |    11789     7497     38 |  0.000 % |
180.88/180.96	c |     11344 |    1600     1381    19423 |    12968    11344     42 |  0.000 % |
181.28/181.39	c |     17110 |    1600     1381    19423 |    14265     9843     53 |  0.000 % |
181.89/181.92	c |     25761 |    1600     1381    19423 |    15692    11304     47 |  0.000 % |
182.69/182.76	c |     38737 |    1600     1381    19423 |    17261     8486     43 |  0.000 % |
184.19/184.21	c |     58198 |    1600     1381    19423 |    18987    10581     47 |  0.000 % |
186.39/186.49	c |     87390 |    1600     1381    19423 |    20886    11150     45 |  0.000 % |
189.98/190.07	c |    131179 |    1600     1381    19423 |    22974    12948     47 |  0.000 % |
205.19/205.29	c |    196869 |    1600     1381    19423 |    25272    18078     72 |  0.000 % |
215.59/215.69	c |    295395 |    1600     1381    19423 |    27799    15866     50 |  0.000 % |
237.19/237.29	c |    443186 |    1600     1381    19423 |    30579    19370     63 |  0.000 % |
261.49/261.59	c |    664873 |    1600     1381    19423 |    33637    19899     52 |  0.000 % |
333.29/333.31	c |    997398 |    1587     1381    19423 |    37001    30070     47 |  0.815 % |
335.39/335.43	c ===============================================================================
339.19/339.25	c core #15
339.19/339.25	c 
339.19/339.25	c 
339.19/339.25	c Core size: 107	Core Weight: 1	Total Weight: 15
339.19/339.25	c Current CPU time: 334.402 s
339.19/339.25	c
339.19/339.25	c ============================[ Search Statistics ]==============================
339.19/339.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
339.19/339.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
339.19/339.25	c ===============================================================================
339.19/339.25	c |         0 |    1705     1469    20694 |     5000        0   -nan |  0.000 % |
339.19/339.26	c |       102 |    1705     1469    20694 |     5500      102     45 |  0.000 % |
339.19/339.27	c |       253 |    1705     1469    20694 |     6050      253     42 |  0.000 % |
339.19/339.27	c |       481 |    1705     1469    20694 |     6655      481     36 |  0.000 % |
339.19/339.29	c |       819 |    1705     1469    20694 |     7320      819     37 |  0.000 % |
339.28/339.30	c |      1325 |    1705     1469    20694 |     8052     1325     37 |  0.000 % |
339.28/339.33	c |      2084 |    1705     1469    20694 |     8857     2084     37 |  0.000 % |
339.28/339.38	c |      3224 |    1705     1469    20694 |     9743     3224     34 |  0.000 % |
339.39/339.45	c |      4932 |    1705     1469    20694 |    10717     4932     34 |  0.000 % |
339.49/339.57	c |      7496 |    1705     1469    20694 |    11789     7496     35 |  0.000 % |
339.69/339.79	c |     11340 |    1705     1469    20694 |    12968    11340     36 |  0.000 % |
340.09/340.14	c |     17106 |    1705     1469    20694 |    14265    10560     40 |  0.000 % |
340.69/340.71	c |     25757 |    1705     1469    20694 |    15692    12030     40 |  0.000 % |
341.48/341.56	c |     38732 |    1705     1469    20694 |    17261     9200     44 |  0.000 % |
343.28/343.33	c |     58196 |    1705     1469    20694 |    18987    11026     64 |  0.000 % |
346.09/346.17	c |     87388 |    1705     1469    20694 |    20886    19706     55 |  0.000 % |
349.89/349.98	c |    131181 |    1705     1469    20694 |    22974    11052     44 |  0.000 % |
360.80/360.86	c |    196865 |    1705     1469    20694 |    25272    18104     71 |  0.000 % |
370.09/370.17	c |    295395 |    1705     1469    20694 |    27799    17645     50 |  0.000 % |
402.79/402.88	c |    443185 |    1705     1469    20694 |    30579    20379     79 |  0.000 % |
459.99/460.01	c |    664871 |    1705     1469    20694 |    33637    20226     80 |  0.000 % |
572.89/572.90	c |    997396 |    1705     1469    20694 |    37001    18399     82 |  0.000 % |
750.21/750.20	c |   1496185 |    1705     1469    20694 |    40701    27737     81 |  0.000 % |
994.80/994.83	c |   2244368 |    1705     1469    20694 |    44771    25567     88 |  0.000 % |
1279.71/1279.75	c |   3366642 |    1705     1469    20694 |    49248    29127     80 |  0.000 % |
1633.72/1633.72	c |   5050053 |    1705     1469    20694 |    54173    27121     61 |  0.000 % |

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-3447033-1307906506/watcher-3447033-1307906506 -o /tmp/evaluation-result-3447033-1307906506/solver-3447033-1307906506 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447033-1307906506.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.01 2.00 1.91 2/178 27280
/proc/meminfo: memFree=1820644/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 902248807 2154496 262 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 526 263 177 372 0 151 0

[startup+0.091551 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 27280
/proc/meminfo: memFree=1820644/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=3556 CPUtime=0.08 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 701 0 0 0 8 0 0 0 25 0 1 0 902248807 3641344 651 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 889 651 177 372 0 514 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3556

[startup+0.100562 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 27280
/proc/meminfo: memFree=1820644/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=3688 CPUtime=0.09 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 737 0 0 0 9 0 0 0 25 0 1 0 902248807 3776512 687 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 922 687 177 372 0 547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3688

[startup+0.300514 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 27280
/proc/meminfo: memFree=1820644/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=6088 CPUtime=0.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 1305 0 0 0 28 1 0 0 25 0 1 0 902248807 6234112 1255 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 1522 1255 177 372 0 1147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6088

[startup+0.700457 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 27280
/proc/meminfo: memFree=1820644/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=8348 CPUtime=0.69 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 1870 0 0 0 67 2 0 0 25 0 1 0 902248807 8548352 1820 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 2087 1820 177 372 0 1712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8348

[startup+1.50031 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 27281
/proc/meminfo: memFree=1812352/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=11788 CPUtime=1.49 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 2732 0 0 0 146 3 0 0 25 0 1 0 902248807 12070912 2682 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 2947 2682 177 372 0 2572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11788

[startup+3.10103 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27281
/proc/meminfo: memFree=1807040/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=17364 CPUtime=3.09 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 4135 0 0 0 302 7 0 0 25 0 1 0 902248807 17780736 4085 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 4341 4085 177 372 0 3966 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17364

[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27281
/proc/meminfo: memFree=1790920/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=26636 CPUtime=6.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 6491 0 0 0 616 13 0 0 25 0 1 0 902248807 27275264 6403 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 6659 6403 178 372 0 6284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26636

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27281
/proc/meminfo: memFree=1783484/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=30480 CPUtime=12.69 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 7452 0 0 0 1245 24 0 0 25 0 1 0 902248807 31211520 7364 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 7620 7364 178 372 0 7245 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30480

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27281
/proc/meminfo: memFree=1777648/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=31668 CPUtime=25.49 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 7762 0 0 0 2503 46 0 0 25 0 1 0 902248807 32428032 7674 33554432000 4194304 5714214 140737411829632 18446744073709551615 4324580 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 7917 7674 178 372 0 7542 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31668

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27282
/proc/meminfo: memFree=1748620/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=46760 CPUtime=51.09 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 11529 0 0 0 5019 90 0 0 25 0 1 0 902248807 47882240 11441 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 11690 11441 178 372 0 11315 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 46760

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 27283
/proc/meminfo: memFree=1698696/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=66204 CPUtime=102.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 16392 0 0 0 10053 176 0 0 25 0 1 0 902248807 67792896 16304 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/27280/statm: 16551 16304 178 372 0 16176 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 66204

[startup+162.301 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 27285
/proc/meminfo: memFree=1667496/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=66204 CPUtime=162.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 16393 0 0 0 15954 275 0 0 25 0 1 0 902248807 67792896 16305 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 16551 16305 178 372 0 16176 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 66204

[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 27287
/proc/meminfo: memFree=1626508/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=76260 CPUtime=222.28 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 18873 0 0 0 21881 347 0 0 25 0 1 0 902248807 78090240 18785 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 19065 18785 178 372 0 18690 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 76260

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 27288
/proc/meminfo: memFree=1530364/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=145868 CPUtime=282.28 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 36047 0 0 0 27831 397 0 0 25 0 1 0 902248807 149368832 35959 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 36467 35959 178 372 0 36092 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 145868

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 27290
/proc/meminfo: memFree=1439052/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=210324 CPUtime=342.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 52121 0 0 0 33787 442 0 0 25 0 1 0 902248807 215371776 51960 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 52581 51960 178 372 0 52206 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 210324

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 27291
/proc/meminfo: memFree=1407384/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=210324 CPUtime=402.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 52142 0 0 0 39740 489 0 0 25 0 1 0 902248807 215371776 51981 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 52581 51981 178 372 0 52206 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 210324

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/179 27293
/proc/meminfo: memFree=1375952/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=210324 CPUtime=462.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 52215 0 0 0 45711 518 0 0 25 0 1 0 902248807 215371776 52054 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 52581 52054 178 372 0 52206 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 210324

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 27295
/proc/meminfo: memFree=1276572/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=210324 CPUtime=522.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 52382 0 0 0 51690 539 0 0 25 0 1 0 902248807 215371776 52221 33554432000 4194304 5714214 140737411829632 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 52581 52221 178 372 0 52206 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 210324

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27296
/proc/meminfo: memFree=1276144/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=210324 CPUtime=582.3 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 52481 0 0 0 57670 560 0 0 25 0 1 0 902248807 215371776 52320 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 52581 52320 178 372 0 52206 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 210324

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.06 2.03 1.94 3/179 27303
/proc/meminfo: memFree=1191128/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=297388 CPUtime=822.29 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 73805 0 0 0 81569 660 0 0 25 0 1 0 902248807 304525312 73644 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 74347 73644 178 372 0 73972 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 297388

[startup+882.301 s]
/proc/loadavg: 2.06 2.04 1.95 3/179 27304
/proc/meminfo: memFree=1165784/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=322360 CPUtime=882.3 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 79924 0 0 0 87548 682 0 0 25 0 1 0 902248807 330096640 79763 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 80590 79763 178 372 0 80215 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 322360

[startup+942.301 s]
/proc/loadavg: 2.02 2.03 1.95 3/179 27306
/proc/meminfo: memFree=1148124/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=340368 CPUtime=942.3 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 84399 0 0 0 93532 698 0 0 25 0 1 0 902248807 348536832 84238 33554432000 4194304 5714214 140737411829632 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 85092 84238 178 372 0 84717 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 340368

[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/179 27307
/proc/meminfo: memFree=1123896/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=364156 CPUtime=1002.31 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 90241 0 0 0 99511 720 0 0 25 0 1 0 902248807 372895744 90080 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 91039 90080 178 372 0 90664 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 364156

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/179 27309
/proc/meminfo: memFree=1065192/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=423136 CPUtime=1062.3 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 104910 0 0 0 105465 765 0 0 25 0 1 0 902248807 433291264 104749 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 105784 104749 178 372 0 105409 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 423136

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 27311
/proc/meminfo: memFree=1004124/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=484228 CPUtime=1122.31 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 120131 0 0 0 111421 810 0 0 25 0 1 0 902248807 495849472 119970 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 121057 119970 178 372 0 120682 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 484228

[startup+1182.3 s]
/proc/loadavg: 1.43 1.86 1.90 2/173 27336
/proc/meminfo: memFree=1516896/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=507500 CPUtime=1182.31 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 125934 0 0 0 117382 849 0 0 25 0 1 0 902248807 519680000 125773 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 126875 125773 178 372 0 126500 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 507500

[startup+1242.3 s]
/proc/loadavg: 1.16 1.70 1.84 2/173 27338
/proc/meminfo: memFree=1499500/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=523780 CPUtime=1242.31 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 129940 0 0 0 123352 879 0 0 25 0 1 0 902248807 536350720 129779 33554432000 4194304 5714214 140737411829632 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 130945 129779 178 372 0 130570 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 523780

[startup+1302.3 s]
/proc/loadavg: 1.06 1.57 1.79 2/173 27339
/proc/meminfo: memFree=1463240/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=559960 CPUtime=1302.32 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 138969 0 0 0 129298 934 0 0 25 0 1 0 902248807 573399040 138808 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 139990 138808 178 372 0 139615 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 559960

[startup+1362.3 s]
/proc/loadavg: 1.02 1.46 1.73 2/173 27341
/proc/meminfo: memFree=1403296/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=619928 CPUtime=1362.31 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 153939 0 0 0 135202 1029 0 0 25 0 1 0 902248807 634806272 153778 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 154982 153778 178 372 0 154607 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 619928

[startup+1422.31 s]
/proc/loadavg: 1.00 1.38 1.68 2/173 27343
/proc/meminfo: memFree=1381924/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=641368 CPUtime=1422.32 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 159270 0 0 0 141173 1059 0 0 25 0 1 0 902248807 656760832 159109 33554432000 4194304 5714214 140737411829632 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 160342 159109 178 372 0 159967 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 641368

[startup+1482.3 s]
/proc/loadavg: 1.00 1.31 1.64 2/173 27344
/proc/meminfo: memFree=1355472/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=668436 CPUtime=1482.31 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 165967 0 0 0 147125 1106 0 0 25 0 1 0 902248807 684478464 165806 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 167109 165806 178 372 0 166734 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 668436

[startup+1542.3 s]
/proc/loadavg: 1.00 1.25 1.60 2/173 27346
/proc/meminfo: memFree=1301852/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=722156 CPUtime=1542.32 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 179355 0 0 0 153044 1188 0 0 25 0 1 0 902248807 739487744 179194 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 180539 179194 178 372 0 180164 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 722156

[startup+1602.3 s]
/proc/loadavg: 1.06 1.22 1.56 2/173 27347
/proc/meminfo: memFree=1264616/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=761276 CPUtime=1602.32 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 189114 0 0 0 158979 1253 0 0 25 0 1 0 902248807 779546624 188953 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 190319 188953 178 372 0 189944 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 761276

[startup+1662.3 s]
/proc/loadavg: 1.02 1.17 1.52 2/173 27349
/proc/meminfo: memFree=1210264/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=813420 CPUtime=1662.33 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 202148 0 0 0 164906 1327 0 0 25 0 1 0 902248807 832942080 201987 33554432000 4194304 5714214 140737411829632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 203355 201987 178 372 0 202980 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 813420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.14 1.49 2/173 27351
/proc/meminfo: memFree=1192604/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=830940 CPUtime=1722.32 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 206513 0 0 0 170877 1355 0 0 25 0 1 0 902248807 850882560 206352 33554432000 4194304 5714214 140737411829632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 207735 206352 178 372 0 207360 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 830940

[startup+1782.3 s]
/proc/loadavg: 1.04 1.13 1.46 2/173 27352
/proc/meminfo: memFree=1180168/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=843380 CPUtime=1782.32 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 209583 0 0 0 176854 1378 0 0 25 0 1 0 902248807 863621120 209422 33554432000 4194304 5714214 140737411829632 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 210845 209422 178 372 0 210470 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 843380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.03 1.12 1.45 2/173 27353
/proc/meminfo: memFree=1173836/32951124 swapFree=67063272/67111528
[pid=27280] ppid=27278 vsize=849848 CPUtime=1800.03 cores=1,3,5,7
/proc/27280/stat : 27280 (wbo1.6) R 27278 27280 25773 0 -1 4202496 211162 0 0 0 178617 1386 0 0 25 0 1 0 902248807 870244352 211001 33554432000 4194304 5714214 140737411829632 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/27280/statm: 212462 211001 178 372 0 212087 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 849848

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.04
CPU time (s): 1800.07
CPU user time (s): 1786.18
CPU system time (s): 13.8939
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 849848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.18
system time used= 13.8939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211162
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= 12
involuntary context switches= 3882

runsolver used 2.71759 second user time and 6.25405 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-12 21:21:46
IDJOB=3447033
IDBENCH=79193
IDSOLVER=1943
FILE ID=node132/3447033-1307906506
RUNJOBID= node132-1307904422-27031
PBS_JOBID= 13559574
Free space on /tmp= 13340 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163--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-3447033-1307906506/watcher-3447033-1307906506 -o /tmp/evaluation-result-3447033-1307906506/solver-3447033-1307906506 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447033-1307906506.wbo

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

MD5SUM BENCH= ddf92c4c1e045ebe7e849be5501be2d8
RANDOM SEED=1496635753

node132.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.833
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.833
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.74
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.833
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.76
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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.77
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.833
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.67
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.833
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.82
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.833
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:       1821460 kB
Buffers:         64160 kB
Cached:       29911928 kB
SwapCached:       9516 kB
Active:       15524580 kB
Inactive:     14664508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1821460 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:            4592 kB
Writeback:           0 kB
AnonPages:      210916 kB
Mapped:          10060 kB
Slab:           877972 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   371212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 13340 MiB
End job on node132 at 2011-06-12 21:51:48