0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3446928-1307905118.wbo.
0.00/0.00	c Instance file HOME/instance-3446928-1307905118.wbo
0.00/0.00	c File size is 10303 bytes.
0.00/0.00	c Highest Coefficient sum: 1188
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     35 |  0.004 % |
0.00/0.00	c |       253 |     169      101     1205 |     6050      253     32 |  0.004 % |
0.00/0.01	c |       479 |     169      101     1205 |     6655      479     34 |  0.004 % |
0.00/0.01	c |       816 |     169      101     1205 |     7320      816     35 |  0.004 % |
0.00/0.02	c |      1322 |     169      101     1205 |     8052     1322     35 |  0.004 % |
0.00/0.04	c |      2081 |     169      101     1205 |     8857     2081     36 |  0.004 % |
0.00/0.06	c |      3220 |     169      101     1205 |     9743     3220     36 |  0.004 % |
0.09/0.11	c |      4929 |     169      101     1205 |    10717     4929     39 |  0.004 % |
0.19/0.20	c |      7491 |     169      101     1205 |    11789     7491     40 |  0.004 % |
0.29/0.38	c |     11336 |     169      101     1205 |    12968    11336     42 |  0.004 % |
0.59/0.68	c |     17102 |     169      101     1205 |    14265    10571     46 |  0.004 % |
1.19/1.22	c |     25751 |     169      101     1205 |    15692    12051     47 |  0.004 % |
1.99/2.09	c |     38725 |     169      101     1205 |    17261     9224     47 |  0.004 % |
3.30/3.36	c |     58186 |     169      101     1205 |    18987    11312     49 |  0.004 % |
3.99/4.06	c ===============================================================================
4.29/4.40	c core #1
4.29/4.40	c 
4.29/4.40	c 
4.29/4.40	c Core size: 75	Core Weight: 1	Total Weight: 1
4.29/4.40	c Current CPU time: 4.32634 s
4.29/4.40	c
4.29/4.40	c ============================[ Search Statistics ]==============================
4.29/4.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.40	c ===============================================================================
4.29/4.40	c |         0 |     236      169     2203 |     5000        0   -nan |  0.000 % |
4.39/4.41	c |       100 |     236      169     2203 |     5500      100     36 |  0.002 % |
4.39/4.42	c |       251 |     236      169     2203 |     6050      251     40 |  0.002 % |
4.39/4.42	c |       477 |     236      169     2203 |     6655      477     38 |  0.002 % |
4.39/4.43	c |       814 |     236      169     2203 |     7320      814     34 |  0.002 % |
4.39/4.44	c |      1321 |     236      169     2203 |     8052     1321     36 |  0.002 % |
4.39/4.46	c |      2080 |     236      169     2203 |     8857     2080     37 |  0.002 % |
4.39/4.49	c |      3220 |     236      169     2203 |     9743     3220     35 |  0.002 % |
4.49/4.56	c |      4928 |     236      169     2203 |    10717     4928     36 |  0.002 % |
4.59/4.67	c |      7491 |     236      169     2203 |    11789     7491     38 |  0.002 % |
4.89/4.90	c |     11337 |     236      169     2203 |    12968    11337     40 |  0.002 % |
5.19/5.25	c |     17106 |     236      169     2203 |    14265    10567     47 |  0.002 % |
5.69/5.78	c |     25757 |     236      169     2203 |    15692    12033     48 |  0.002 % |
6.60/6.66	c |     38732 |     236      169     2203 |    17261     9214     47 |  0.002 % |
7.89/7.92	c |     58194 |     236      169     2203 |    18987    11287     50 |  0.002 % |
9.80/9.88	c ===============================================================================
10.29/10.31	c core #2
10.29/10.31	c 
10.29/10.31	c 
10.29/10.31	c Core size: 70	Core Weight: 1	Total Weight: 2
10.29/10.31	c Current CPU time: 10.1635 s
10.29/10.31	c
10.29/10.31	c ============================[ Search Statistics ]==============================
10.29/10.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.29/10.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.29/10.31	c ===============================================================================
10.29/10.31	c |         0 |     302      235     3176 |     5000        0   -nan |  0.000 % |
10.29/10.31	c |       101 |     302      235     3176 |     5500      101     38 |  0.001 % |
10.29/10.32	c |       251 |     302      235     3176 |     6050      251     37 |  0.001 % |
10.29/10.32	c |       476 |     302      235     3176 |     6655      476     39 |  0.001 % |
10.29/10.33	c |       813 |     302      235     3176 |     7320      813     36 |  0.001 % |
10.29/10.34	c |      1322 |     302      235     3176 |     8052     1322     36 |  0.001 % |
10.29/10.36	c |      2083 |     302      235     3176 |     8857     2083     35 |  0.001 % |
10.39/10.40	c |      3223 |     302      235     3176 |     9743     3223     36 |  0.001 % |
10.39/10.45	c |      4931 |     302      235     3176 |    10717     4931     36 |  0.001 % |
10.49/10.55	c |      7500 |     302      235     3176 |    11789     7500     38 |  0.001 % |
10.69/10.73	c |     11344 |     302      235     3176 |    12968    11344     39 |  0.001 % |
11.00/11.01	c |     17110 |     302      235     3176 |    14265    10571     42 |  0.001 % |
11.49/11.54	c |     25761 |     302      235     3176 |    15692    12033     44 |  0.001 % |
12.39/12.42	c |     38736 |     302      235     3176 |    17261     9213     45 |  0.001 % |
13.69/13.71	c |     58198 |     302      235     3176 |    18987    11311     50 |  0.001 % |
15.89/15.96	c |     87394 |     302      235     3176 |    20886    11861     48 |  0.001 % |
17.09/17.15	c ===============================================================================
17.69/17.71	c core #3
17.69/17.71	c 
17.69/17.71	c 
17.69/17.71	c Core size: 78	Core Weight: 1	Total Weight: 3
17.69/17.71	c Current CPU time: 17.4753 s
17.69/17.71	c
17.69/17.71	c ============================[ Search Statistics ]==============================
17.69/17.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.69/17.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.69/17.71	c ===============================================================================
17.69/17.71	c |         0 |     371      301     4155 |     5000        0   -nan |  0.000 % |
17.69/17.71	c |       100 |     371      301     4155 |     5500      100     34 |  0.001 % |
17.69/17.71	c |       255 |     371      301     4155 |     6050      255     39 |  0.001 % |
17.69/17.72	c |       484 |     371      301     4155 |     6655      484     38 |  0.001 % |
17.69/17.72	c |       824 |     371      301     4155 |     7320      824     41 |  0.001 % |
17.69/17.74	c |      1332 |     371      301     4155 |     8052     1332     40 |  0.001 % |
17.69/17.76	c |      2092 |     371      301     4155 |     8857     2092     40 |  0.001 % |
17.69/17.79	c |      3231 |     371      301     4155 |     9743     3231     40 |  0.001 % |
17.79/17.85	c |      4941 |     371      301     4155 |    10717     4941     42 |  0.001 % |
17.89/17.95	c |      7503 |     371      301     4155 |    11789     7503     42 |  0.001 % |
18.09/18.12	c |     11349 |     371      301     4155 |    12968    11349     43 |  0.001 % |
18.39/18.41	c |     17117 |     371      301     4155 |    14265    10572     45 |  0.001 % |
18.89/18.94	c |     25766 |     371      301     4155 |    15692    12020     50 |  0.001 % |
19.80/19.86	c |     38741 |     371      301     4155 |    17261     9207     48 |  0.001 % |
21.09/21.14	c |     58202 |     371      301     4155 |    18987    11290     51 |  0.001 % |
23.49/23.52	c |     87396 |     371      301     4155 |    20886    11838     49 |  0.001 % |
26.19/26.29	c ===============================================================================
26.89/26.90	c core #4
26.89/26.90	c 
26.89/26.90	c 
26.89/26.90	c Core size: 74	Core Weight: 1	Total Weight: 4
26.89/26.90	c Current CPU time: 26.571 s
26.89/26.90	c
26.89/26.90	c ============================[ Search Statistics ]==============================
26.89/26.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.89/26.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.89/26.90	c ===============================================================================
26.89/26.90	c |         0 |     440      366     5129 |     5000        0   -nan |  0.000 % |
26.89/26.90	c |       101 |     440      366     5129 |     5500      101     40 |  0.001 % |
26.89/26.90	c |       252 |     440      366     5129 |     6050      252     33 |  0.001 % |
26.89/26.91	c |       477 |     440      366     5129 |     6655      477     38 |  0.001 % |
26.89/26.92	c |       815 |     440      366     5129 |     7320      815     40 |  0.001 % |
26.89/26.93	c |      1321 |     440      366     5129 |     8052     1321     38 |  0.001 % |
26.89/26.95	c |      2080 |     440      366     5129 |     8857     2080     37 |  0.001 % |
26.89/26.98	c |      3219 |     440      366     5129 |     9743     3219     36 |  0.001 % |
26.99/27.04	c |      4928 |     440      366     5129 |    10717     4928     37 |  0.001 % |
27.09/27.14	c |      7494 |     440      366     5129 |    11789     7494     39 |  0.001 % |
27.29/27.34	c |     11338 |     440      366     5129 |    12968    11338     40 |  0.001 % |
27.69/27.70	c |     17107 |     440      366     5129 |    14265    10567     43 |  0.001 % |
28.29/28.30	c |     25758 |     440      366     5129 |    15692    12030     46 |  0.001 % |
29.09/29.14	c |     38733 |     440      366     5129 |    17261     9204     43 |  0.001 % |
30.39/30.41	c |     58194 |     440      366     5129 |    18987    11288     50 |  0.001 % |
32.69/32.70	c |     87386 |     440      366     5129 |    20886    11845     48 |  0.001 % |
34.49/34.59	c ===============================================================================
35.10/35.15	c core #5
35.10/35.15	c 
35.10/35.15	c 
35.10/35.15	c Core size: 80	Core Weight: 1	Total Weight: 5
35.10/35.15	c Current CPU time: 34.7467 s
35.10/35.15	c
35.10/35.15	c ============================[ Search Statistics ]==============================
35.10/35.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
35.10/35.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
35.10/35.15	c ===============================================================================
35.10/35.15	c |         0 |     510      430     6092 |     5000        0   -nan |  0.000 % |
35.10/35.16	c |       102 |     510      430     6092 |     5500      102     37 |  0.000 % |
35.10/35.16	c |       252 |     510      430     6092 |     6050      252     34 |  0.000 % |
35.10/35.17	c |       477 |     510      430     6092 |     6655      477     35 |  0.000 % |
35.10/35.18	c |       814 |     510      430     6092 |     7320      814     34 |  0.000 % |
35.10/35.19	c |      1322 |     510      430     6092 |     8052     1322     34 |  0.000 % |
35.19/35.22	c |      2085 |     510      430     6092 |     8857     2085     37 |  0.000 % |
35.19/35.25	c |      3224 |     510      430     6092 |     9743     3224     36 |  0.000 % |
35.29/35.32	c |      4935 |     510      430     6092 |    10717     4935     38 |  0.000 % |
35.39/35.43	c |      7500 |     510      430     6092 |    11789     7500     39 |  0.000 % |
35.59/35.65	c |     11345 |     510      430     6092 |    12968    11345     40 |  0.000 % |
35.99/36.01	c |     17112 |     510      430     6092 |    14265    10582     41 |  0.000 % |
36.59/36.62	c |     25762 |     510      430     6092 |    15692    12054     46 |  0.000 % |
37.59/37.61	c |     38736 |     510      430     6092 |    17261     9226     48 |  0.000 % |
38.99/39.04	c |     58200 |     510      430     6092 |    18987    11317     48 |  0.000 % |
41.19/41.28	c |     87395 |     510      430     6092 |    20886    11875     46 |  0.000 % |
41.99/42.07	c ===============================================================================
42.49/42.59	c core #6
42.49/42.59	c 
42.49/42.59	c 
42.49/42.59	c Core size: 83	Core Weight: 1	Total Weight: 6
42.49/42.59	c Current CPU time: 42.1296 s
42.49/42.59	c
42.49/42.59	c ============================[ Search Statistics ]==============================
42.49/42.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.49/42.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.49/42.59	c ===============================================================================
42.49/42.59	c |         0 |     583      493     7048 |     5000        0   -nan |  0.000 % |
42.49/42.59	c |       100 |     583      493     7048 |     5500      100     39 |  0.000 % |
42.59/42.60	c |       250 |     583      493     7048 |     6050      250     39 |  0.000 % |
42.59/42.60	c |       475 |     583      493     7048 |     6655      475     35 |  0.000 % |
42.59/42.61	c |       812 |     583      493     7048 |     7320      812     34 |  0.000 % |
42.59/42.62	c |      1319 |     583      493     7048 |     8052     1319     36 |  0.000 % |
42.59/42.65	c |      2078 |     583      493     7048 |     8857     2078     35 |  0.000 % |
42.59/42.68	c |      3218 |     583      493     7048 |     9743     3218     35 |  0.000 % |
42.69/42.75	c |      4929 |     583      493     7048 |    10717     4929     37 |  0.000 % |
42.79/42.87	c |      7491 |     583      493     7048 |    11789     7491     39 |  0.000 % |
42.99/43.09	c |     11335 |     583      493     7048 |    12968    11335     42 |  0.000 % |
43.39/43.42	c |     17101 |     583      493     7048 |    14265    10572     45 |  0.000 % |
43.90/43.99	c |     25752 |     583      493     7048 |    15692    12046     46 |  0.000 % |
44.89/44.91	c |     38729 |     583      493     7048 |    17261     9208     47 |  0.000 % |
46.29/46.35	c |     58190 |     583      493     7048 |    18987    11314     48 |  0.000 % |
48.59/48.69	c |     87382 |     583      493     7048 |    20886    11843     47 |  0.000 % |
50.59/50.67	c ===============================================================================
51.29/51.30	c core #7
51.29/51.30	c 
51.29/51.30	c 
51.29/51.30	c Core size: 86	Core Weight: 1	Total Weight: 7
51.29/51.30	c Current CPU time: 50.7483 s
51.29/51.30	c
51.29/51.30	c ============================[ Search Statistics ]==============================
51.29/51.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.29/51.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.29/51.30	c ===============================================================================
51.29/51.30	c |         0 |     661      556     8014 |     5000        0   -nan |  0.000 % |
51.29/51.31	c |       102 |     661      556     8014 |     5500      102     36 |  0.000 % |
51.29/51.31	c |       253 |     661      556     8014 |     6050      253     35 |  0.000 % |
51.29/51.32	c |       478 |     661      556     8014 |     6655      478     34 |  0.000 % |
51.29/51.32	c |       815 |     661      556     8014 |     7320      815     33 |  0.000 % |
51.29/51.34	c |      1322 |     661      556     8014 |     8052     1322     37 |  0.000 % |
51.29/51.37	c |      2081 |     661      556     8014 |     8857     2081     36 |  0.000 % |
51.39/51.40	c |      3220 |     661      556     8014 |     9743     3220     37 |  0.000 % |
51.39/51.47	c |      4929 |     661      556     8014 |    10717     4929     36 |  0.000 % |
51.60/51.60	c |      7493 |     661      556     8014 |    11789     7493     37 |  0.000 % |
51.79/51.84	c |     11337 |     661      556     8014 |    12968    11337     40 |  0.000 % |
52.19/52.20	c |     17103 |     661      556     8014 |    14265    10564     44 |  0.000 % |
52.70/52.75	c |     25753 |     661      556     8014 |    15692    12027     46 |  0.000 % |
53.49/53.59	c |     38728 |     661      556     8014 |    17261     9212     46 |  0.000 % |
55.29/55.31	c |     58190 |     661      556     8014 |    18987    11324     49 |  0.000 % |
57.99/58.02	c |     87382 |     661      556     8014 |    20886    11896     47 |  0.000 % |
59.79/59.84	c ===============================================================================
60.40/60.45	c core #8
60.40/60.45	c 
60.40/60.45	c 
60.40/60.45	c Core size: 78	Core Weight: 1	Total Weight: 8
60.40/60.45	c Current CPU time: 59.8309 s
60.40/60.45	c
60.40/60.45	c ============================[ Search Statistics ]==============================
60.40/60.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.40/60.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
60.40/60.45	c ===============================================================================
60.40/60.45	c |         0 |     734      617     8955 |     5000        0   -nan |  0.000 % |
60.40/60.45	c |       102 |     734      617     8955 |     5500      102     39 |  0.000 % |
60.40/60.46	c |       252 |     734      617     8955 |     6050      252     36 |  0.000 % |
60.40/60.46	c |       477 |     734      617     8955 |     6655      477     34 |  0.000 % |
60.40/60.47	c |       815 |     734      617     8955 |     7320      815     34 |  0.000 % |
60.40/60.49	c |      1325 |     734      617     8955 |     8052     1325     34 |  0.000 % |
60.50/60.51	c |      2084 |     734      617     8955 |     8857     2084     33 |  0.000 % |
60.50/60.55	c |      3223 |     734      617     8955 |     9743     3223     36 |  0.000 % |
60.59/60.62	c |      4931 |     734      617     8955 |    10717     4931     37 |  0.000 % |
60.69/60.75	c |      7496 |     734      617     8955 |    11789     7496     36 |  0.000 % |
60.89/60.96	c |     11341 |     734      617     8955 |    12968    11341     36 |  0.000 % |
61.29/61.31	c |     17109 |     734      617     8955 |    14265    10585     41 |  0.000 % |
61.89/61.91	c |     25759 |     734      617     8955 |    15692    12052     45 |  0.000 % |
62.89/62.91	c |     38733 |     734      617     8955 |    17261     9226     46 |  0.000 % |
64.29/64.39	c |     58195 |     734      617     8955 |    18987    11343     48 |  0.000 % |
66.59/66.67	c |     87387 |     734      617     8955 |    20886    11882     47 |  0.000 % |
70.09/70.16	c |    131178 |     734      617     8955 |    22974    13693     49 |  0.007 % |
70.69/70.72	c ===============================================================================
70.69/70.72	c #cores: 8
70.69/70.72	o 8
70.69/70.72	s OPTIMUM FOUND
70.69/70.72	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169
70.69/70.72	c Total CPU time: 70.0603 s

OK	8

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 /var/tmp/evaluation-result-3446928-1307905118/watcher-3446928-1307905118 -o /var/tmp/evaluation-result-3446928-1307905118/solver-3446928-1307905118 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446928-1307905118.wbo 

running on 4 cores: 0,2,4,6

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.93 2/177 17824
/proc/meminfo: memFree=3309668/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=1972 CPUtime=0 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 902110597 2019328 256 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 493 256 177 372 0 118 0

[startup+0.080059 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 17824
/proc/meminfo: memFree=3309668/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=3292 CPUtime=0.07 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 636 0 0 0 7 0 0 0 25 0 1 0 902110597 3371008 584 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 823 584 177 372 0 448 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3292

[startup+0.101056 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 17824
/proc/meminfo: memFree=3309668/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=3688 CPUtime=0.09 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 710 0 0 0 9 0 0 0 25 0 1 0 902110597 3776512 658 33554432000 4194304 5714214 140735116311024 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 922 658 177 372 0 547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3688

[startup+0.301021 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 17824
/proc/meminfo: memFree=3309668/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=5808 CPUtime=0.29 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 1255 0 0 0 29 0 0 0 25 0 1 0 902110597 5947392 1203 33554432000 4194304 5714214 140735116311024 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 1452 1203 177 372 0 1077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5808

[startup+0.700951 s]
/proc/loadavg: 2.01 2.00 1.93 2/177 17824
/proc/meminfo: memFree=3309668/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=7944 CPUtime=0.69 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 1761 0 0 0 68 1 0 0 25 0 1 0 902110597 8134656 1709 33554432000 4194304 5714214 140735116311024 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 1986 1709 177 372 0 1611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7944

[startup+1.50094 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 17825
/proc/meminfo: memFree=3301492/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=11384 CPUtime=1.49 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 2635 0 0 0 147 2 0 0 25 0 1 0 902110597 11657216 2583 33554432000 4194304 5714214 140735116311024 18446744073709551615 4347399 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 2846 2583 177 372 0 2471 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11384

[startup+3.10064 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 17825
/proc/meminfo: memFree=3297524/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=15764 CPUtime=3.09 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 3736 0 0 0 305 4 0 0 25 0 1 0 902110597 16142336 3684 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 3941 3684 177 372 0 3566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15764

[startup+6.30102 s]
/proc/loadavg: 2.09 2.02 1.94 3/178 17825
/proc/meminfo: memFree=3289092/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=20640 CPUtime=6.29 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 5008 0 0 0 621 8 0 0 25 0 1 0 902110597 21135360 4918 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 5160 4918 178 372 0 4785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20640

[startup+12.701 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 17825
/proc/meminfo: memFree=3280252/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=25140 CPUtime=12.69 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 6121 0 0 0 1255 14 0 0 25 0 1 0 902110597 25743360 6031 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 6285 6031 178 372 0 5910 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25140

[startup+25.5007 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 17826
/proc/meminfo: memFree=3270944/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=29496 CPUtime=25.5 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7222 0 0 0 2523 27 0 0 25 0 1 0 902110597 30203904 7132 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 7374 7132 178 372 0 6999 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 29496

[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 17826
/proc/meminfo: memFree=3256132/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=51.09 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 5060 49 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 4325129 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32400

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

[startup+63.9009 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17827
/proc/meminfo: memFree=3249920/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=63.89 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 6329 60 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 32400

[startup+67.1064 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17827
/proc/meminfo: memFree=3247440/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=67.1 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 6647 63 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 67.1
Current children cumulated vsize (KiB) 32400

[startup+68.7011 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17827
/proc/meminfo: memFree=3247064/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=68.69 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 6805 64 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 32400

[startup+69.501 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17827
/proc/meminfo: memFree=3246816/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=69.49 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 6884 65 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 69.49
Current children cumulated vsize (KiB) 32400

[startup+70.3008 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17827
/proc/meminfo: memFree=3246816/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=70.3 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 6964 66 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 70.3
Current children cumulated vsize (KiB) 32400

[startup+70.7007 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 17827
/proc/meminfo: memFree=3246816/32950928 swapFree=67052124/67111528
[pid=17824] ppid=17822 vsize=32400 CPUtime=70.69 cores=0,2,4,6
/proc/17824/stat : 17824 (wbo1.6) R 17822 17824 14010 0 -1 4202496 7936 0 0 0 7003 66 0 0 25 0 1 0 902110597 33177600 7846 33554432000 4194304 5714214 140735116311024 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/17824/statm: 8100 7846 178 372 0 7725 0
Current children cumulated CPU time (s) 70.69
Current children cumulated vsize (KiB) 32400

Child status: 0
Real time (s): 70.7292
CPU time (s): 70.7292
CPU user time (s): 70.0604
CPU system time (s): 0.668898
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 32400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.0603
system time used= 0.668898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7939
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= 4
involuntary context switches= 147

runsolver used 0.097985 second user time and 0.227965 second system time

The end

Begin job on node120 at 2011-06-12 20:58:38
IDJOB=3446928
IDBENCH=78853
IDSOLVER=1943
FILE ID=node120/3446928-1307905118
RUNJOBID= node120-1307902949-17394
PBS_JOBID= 13559586
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= c00e6333768769c32a17ccabf57a57e2
RANDOM SEED=1461057468

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.78
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.809
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.809
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.809
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:     32950928 kB
MemFree:       3309848 kB
Buffers:         57620 kB
Cached:       28579568 kB
SwapCached:      11624 kB
Active:       13862668 kB
Inactive:     14876340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3309848 kB
SwapTotal:    67111528 kB
SwapFree:     67052124 kB
Dirty:            4404 kB
Writeback:           0 kB
AnonPages:       99212 kB
Mapped:           9884 kB
Slab:           839352 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   293964 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 /var/tmp at the end= 2884 MiB
End job on node120 at 2011-06-12 20:59:49