Trace number 3446760

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.05 1800.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-66-100-0.wbo
MD5SUM257e79f814ec2395c606dee738edc728
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT TO
Best cost obtained on this benchmark69
Best CPU time to get the best result obtained on this benchmark1800.06
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints10314
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 520266
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 520265
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
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-3446760-1307906211.wbo.
0.00/0.00	c Instance file HOME/instance-3446760-1307906211.wbo
0.00/0.00	c File size is 918444 bytes.
0.04/0.07	c Highest Coefficient sum: 254
0.04/0.07	c ============================[ Problem Statistics ]=============================
0.04/0.07	c |                                                                             |
0.04/0.07	c |  Parsing time:          0.07         s                                      |
0.04/0.07	c |  Number Variables:      9638                                                |
0.04/0.07	c |  Number Clauses:        29908                                               |
0.04/0.07	c |  Number Cardinality:    0                                                   |
0.04/0.07	c |  Number PB Constraints: 312                                                 |
0.04/0.07	c ============================[ Search Statistics ]==============================
0.04/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.04/0.07	c ===============================================================================
0.04/0.07	c |         0 |    3762    30220    41561 |    10073        0   -nan |  0.000 % |
0.04/0.08	c |       101 |    3762    30220    41561 |    11080      101     40 | 60.967 % |
0.04/0.09	c |       252 |    3732    30220    41561 |    12188      252     48 | 61.278 % |
0.09/0.12	c |       477 |    3732    30220    41561 |    13407      477     48 | 61.278 % |
0.09/0.16	c |       814 |    3730    30220    41561 |    14748      814     48 | 61.299 % |
0.19/0.22	c |      1321 |    3686    30220    41561 |    16223     1321     47 | 61.756 % |
0.29/0.32	c |      2082 |    3674    30220    41561 |    17845     2082     58 | 61.880 % |
0.39/0.48	c |      3222 |    3674    30220    41561 |    19630     3222     65 | 61.880 % |
0.69/0.71	c |      4930 |    3674    30220    41561 |    21593     4930     64 | 61.880 % |
1.09/1.14	c |      7492 |    3592    30220    41561 |    23752     7492     73 | 62.731 % |
1.79/1.86	c |     11336 |    3566    30220    41561 |    26127    11336     92 | 63.104 % |
3.09/3.10	c |     17103 |    3562    30220    41561 |    28740    17103    114 | 63.105 % |
5.19/5.27	c |     25753 |    3556    30220    41561 |    31614    25753    130 | 63.105 % |
6.29/6.38	c ===============================================================================
6.60/6.64	c core #1
6.60/6.64	c 
6.60/6.64	c 
6.60/6.64	c Core size: 2365	Core Weight: 1	Total Weight: 1
6.60/6.64	c Current CPU time: 6.579 s
6.60/6.64	c
6.60/6.64	c ============================[ Search Statistics ]==============================
6.60/6.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.64	c ===============================================================================
6.60/6.64	c |         0 |    4942    31902    49966 |    10634        0   -nan |  0.000 % |
6.60/6.65	c |       100 |    4942    31902    49966 |    11697      100     33 | 54.317 % |
6.60/6.67	c |       250 |    4942    31902    49966 |    12867      250     46 | 54.317 % |
6.69/6.70	c |       475 |    4898    31902    49966 |    14153      475     46 | 54.724 % |
6.69/6.74	c |       812 |    4898    31902    49966 |    15569      812     48 | 54.724 % |
6.79/6.81	c |      1318 |    4898    31902    49966 |    17126     1318     51 | 54.724 % |
6.89/6.92	c |      2080 |    4898    31902    49966 |    18838     2080     56 | 54.724 % |
6.99/7.08	c |      3219 |    4859    31902    49966 |    20722     3219     65 | 55.084 % |
7.29/7.36	c |      4927 |    4854    31902    49966 |    22794     4927     69 | 55.130 % |
7.79/7.81	c |      7489 |    4811    31902    49966 |    25074     7489     86 | 55.528 % |
8.49/8.54	c |     11333 |    4811    31902    49966 |    27581    11333     94 | 55.528 % |
9.80/9.88	c |     17099 |    4799    31902    49966 |    30340    17099    124 | 55.639 % |
12.19/12.22	c |     25748 |    4799    31902    49966 |    33374    25748    146 | 55.639 % |
16.50/16.55	c |     38722 |    4353    31902    49966 |    36711    38722    155 | 60.418 % |
16.59/16.61	c ===============================================================================
16.89/16.94	c core #2
16.89/16.94	c 
16.89/16.94	c 
16.89/16.94	c Core size: 2362	Core Weight: 1	Total Weight: 2
16.89/16.94	c Current CPU time: 16.8384 s
16.89/16.94	c
16.89/16.94	c ============================[ Search Statistics ]==============================
16.89/16.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.89/16.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.89/16.94	c ===============================================================================
16.89/16.94	c |         0 |    6130    33593    58380 |    11197        0   -nan |  0.000 % |
16.89/16.95	c |       100 |    6130    33593    58380 |    12317      100     44 | 48.942 % |
16.89/16.97	c |       250 |    6086    33593    58380 |    13549      250     42 | 49.309 % |
16.99/17.00	c |       476 |    6086    33593    58380 |    14904      476     44 | 49.309 % |
16.99/17.04	c |       815 |    6086    33593    58380 |    16394      815     51 | 49.309 % |
17.09/17.11	c |      1321 |    6086    33593    58380 |    18033     1321     64 | 49.309 % |
17.19/17.21	c |      2081 |    6086    33593    58380 |    19837     2081     62 | 49.309 % |
17.29/17.39	c |      3220 |    6086    33593    58380 |    21821     3220     81 | 49.309 % |
17.60/17.68	c |      4930 |    6086    33593    58380 |    24003     4930     77 | 49.309 % |
18.09/18.11	c |      7492 |    6062    33593    58380 |    26403     7492     87 | 49.509 % |
18.89/18.93	c |     11336 |    6062    33593    58380 |    29043    11336     87 | 49.509 % |
20.19/20.20	c |     17103 |    6062    33593    58380 |    31948    17103    106 | 49.509 % |
22.49/22.58	c |     25753 |    6009    33593    58380 |    35143    25753    122 | 50.100 % |
25.39/25.40	c ===============================================================================
25.69/25.72	c core #3
25.69/25.72	c 
25.69/25.72	c 
25.69/25.72	c Core size: 2333	Core Weight: 1	Total Weight: 3
25.69/25.72	c Current CPU time: 25.5951 s
25.69/25.72	c
25.69/25.72	c ============================[ Search Statistics ]==============================
25.69/25.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.69/25.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.69/25.72	c ===============================================================================
25.69/25.72	c |         0 |    7289    35246    66590 |    11748        0   -nan |  0.000 % |
25.69/25.74	c |       100 |    7289    35246    66590 |    12923      100     31 | 44.634 % |
25.69/25.76	c |       250 |    7245    35246    66590 |    14215      250     35 | 44.968 % |
25.69/25.79	c |       477 |    7245    35246    66590 |    15637      477     38 | 44.968 % |
25.79/25.84	c |       814 |    7245    35246    66590 |    17201      814     50 | 44.968 % |
25.89/25.91	c |      1320 |    7245    35246    66590 |    18921     1320     55 | 44.968 % |
25.99/26.04	c |      2080 |    7245    35246    66590 |    20813     2080     57 | 44.968 % |
26.19/26.23	c |      3220 |    7245    35246    66590 |    22894     3220     76 | 44.968 % |
26.49/26.53	c |      4928 |    7245    35246    66590 |    25184     4928     75 | 44.968 % |
26.89/26.97	c |      7490 |    7245    35246    66590 |    27702     7490     77 | 44.968 % |
27.79/27.80	c |     11336 |    7241    35246    66590 |    30473    11336     80 | 44.998 % |
29.09/29.15	c |     17102 |    7149    35246    66590 |    33520    17102     91 | 45.940 % |
31.40/31.42	c |     25752 |    7117    35246    66590 |    36872    25752    106 | 45.940 % |
35.59/35.69	c |     38727 |    6878    35246    66590 |    40559    38727    125 | 48.059 % |
38.19/38.25	c ===============================================================================
38.69/38.72	c core #4
38.69/38.72	c 
38.69/38.72	c 
38.69/38.72	c Core size: 2377	Core Weight: 1	Total Weight: 4
38.69/38.72	c Current CPU time: 38.5351 s
38.69/38.72	c
38.69/38.72	c ============================[ Search Statistics ]==============================
38.69/38.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.69/38.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.69/38.72	c ===============================================================================
38.69/38.72	c |         0 |    8473    36912    75005 |    12304        0   -nan |  0.000 % |
38.69/38.73	c |       100 |    8473    36912    75005 |    13534      100     31 | 40.942 % |
38.69/38.76	c |       250 |    8473    36912    75005 |    14887      250     40 | 40.942 % |
38.69/38.79	c |       475 |    8451    36912    75005 |    16376      475     50 | 41.096 % |
38.79/38.84	c |       812 |    8451    36912    75005 |    18014      812     51 | 41.096 % |
38.89/38.92	c |      1318 |    8451    36912    75005 |    19815     1318     51 | 41.096 % |
38.99/39.06	c |      2078 |    8425    36912    75005 |    21797     2078     57 | 41.277 % |
39.19/39.27	c |      3217 |    8401    36912    75005 |    23977     3217     66 | 41.444 % |
39.50/39.60	c |      4925 |    8401    36912    75005 |    26374     4925     78 | 41.444 % |
40.09/40.13	c |      7488 |    8401    36912    75005 |    29012     7488     87 | 41.444 % |
40.99/41.01	c |     11334 |    8401    36912    75005 |    31913    11334     96 | 41.444 % |
42.39/42.44	c |     17100 |    8401    36912    75005 |    35104    17100     97 | 41.444 % |
44.89/44.96	c |     25749 |    8345    36912    75005 |    38615    25749    128 | 42.051 % |
49.40/49.46	c |     38725 |    8093    36912    75005 |    42476    38725    135 | 43.863 % |
50.89/50.97	c ===============================================================================
51.29/51.39	c core #5
51.29/51.39	c 
51.29/51.39	c 
51.29/51.39	c Core size: 2466	Core Weight: 1	Total Weight: 5
51.29/51.39	c Current CPU time: 51.1802 s
51.29/51.39	c
51.29/51.39	c ============================[ Search Statistics ]==============================
51.29/51.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.29/51.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.29/51.39	c ===============================================================================
51.29/51.39	c |         0 |    9712    38616    83664 |    12872        0   -nan |  0.000 % |
51.39/51.42	c |       101 |    9712    38616    83664 |    14159      101     53 | 37.672 % |
51.39/51.44	c |       253 |    9668    38616    83664 |    15575      253     45 | 37.954 % |
51.39/51.48	c |       481 |    9668    38616    83664 |    17132      481     47 | 37.954 % |
51.49/51.55	c |       818 |    9664    38616    83664 |    18845      818     50 | 37.980 % |
51.60/51.63	c |      1324 |    9664    38616    83664 |    20730     1324     51 | 37.980 % |
51.70/51.76	c |      2084 |    9644    38616    83664 |    22803     2084     54 | 38.108 % |
51.89/51.98	c |      3223 |    9644    38616    83664 |    25083     3223     58 | 38.108 % |
52.29/52.30	c |      4932 |    9644    38616    83664 |    27592     4932     68 | 38.109 % |
52.79/52.82	c |      7495 |    9644    38616    83664 |    30351     7495     80 | 38.108 % |
53.69/53.76	c |     11339 |    9644    38616    83664 |    33386    11339     97 | 38.108 % |
55.29/55.32	c |     17105 |    9554    38616    83664 |    36725    17105    114 | 38.686 % |
57.89/57.91	c |     25754 |    9554    38616    83664 |    40397    25754    140 | 38.686 % |
62.60/62.62	c |     38728 |    9470    38616    83664 |    44437    38728    157 | 39.225 % |
65.90/65.95	c ===============================================================================
66.39/66.43	c core #6
66.39/66.43	c 
66.39/66.43	c 
66.39/66.43	c Core size: 2573	Core Weight: 1	Total Weight: 6
66.39/66.43	c Current CPU time: 66.1819 s
66.39/66.43	c
66.39/66.43	c ============================[ Search Statistics ]==============================
66.39/66.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
66.39/66.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
66.39/66.43	c ===============================================================================
66.39/66.43	c |         0 |   10985    40330    92329 |    13443        0   -nan |  0.000 % |
66.39/66.45	c |       100 |   10985    40330    92329 |    14787      100     36 | 34.826 % |
66.39/66.48	c |       250 |   10941    40330    92329 |    16266      250     41 | 35.088 % |
66.49/66.50	c |       475 |   10941    40330    92329 |    17893      475     40 | 35.088 % |
66.49/66.57	c |       816 |   10941    40330    92329 |    19682      816     43 | 35.088 % |
66.59/66.66	c |      1325 |   10921    40330    92329 |    21650     1325     48 | 35.230 % |
66.79/66.81	c |      2086 |   10917    40330    92329 |    23815     2086     53 | 35.230 % |
67.00/67.03	c |      3227 |   10917    40330    92329 |    26197     3227     59 | 35.230 % |
67.29/67.39	c |      4935 |   10917    40330    92329 |    28816     4935     65 | 35.230 % |
67.89/67.94	c |      7497 |   10917    40330    92329 |    31698     7497     70 | 35.230 % |
68.80/68.83	c |     11343 |   10917    40330    92329 |    34868    11343     86 | 35.230 % |
70.19/70.29	c |     17109 |   10901    40330    92329 |    38355    17109     94 | 35.325 % |
72.99/73.02	c |     25760 |   10901    40330    92329 |    42190    25760    115 | 35.325 % |
77.89/78.00	c |     38735 |   10865    40330    92329 |    46410    38735    146 | 35.539 % |
86.89/86.96	c |     58199 |   10865    40330    92329 |    51051    21773    229 | 35.539 % |
88.89/88.90	c ===============================================================================
89.59/89.61	c core #7
89.59/89.61	c 
89.59/89.61	c 
89.59/89.61	c Core size: 2568	Core Weight: 1	Total Weight: 7
89.59/89.61	c Current CPU time: 89.2934 s
89.59/89.61	c
89.59/89.61	c ============================[ Search Statistics ]==============================
89.59/89.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.59/89.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.59/89.61	c ===============================================================================
89.59/89.61	c |         0 |   12300    42060   101247 |    14020        0   -nan |  0.000 % |
89.59/89.64	c |       100 |   12300    42060   101247 |    15422      100     46 | 32.269 % |
89.59/89.67	c |       252 |   12280    42060   101247 |    16964      252     41 | 32.379 % |
89.69/89.71	c |       477 |   12280    42060   101247 |    18660      477     45 | 32.379 % |
89.69/89.78	c |       814 |   12266    42060   101247 |    20526      814     50 | 32.456 % |
89.79/89.89	c |      1327 |   12262    42060   101247 |    22579     1327     56 | 32.478 % |
89.99/90.04	c |      2090 |   12236    42060   101247 |    24837     2090     59 | 32.621 % |
90.19/90.27	c |      3234 |   12236    42060   101247 |    27321     3234     62 | 32.621 % |
90.60/90.66	c |      4942 |   12208    42060   101247 |    30053     4942     79 | 32.775 % |
91.20/91.21	c |      7506 |   12208    42060   101247 |    33058     7506     83 | 32.775 % |
92.19/92.21	c |     11350 |   12127    42060   101247 |    36364    11350     80 | 33.221 % |
93.50/93.59	c |     17117 |   12127    42060   101247 |    40000    17117     81 | 33.221 % |
96.39/96.45	c |     25766 |   12127    42060   101247 |    44000    25766     99 | 33.221 % |
101.39/101.44	c |     38741 |   12127    42060   101247 |    48400    38741    111 | 33.221 % |
110.10/110.12	c ===============================================================================
110.80/110.83	c core #8
110.80/110.83	c 
110.80/110.83	c 
110.80/110.83	c Core size: 2593	Core Weight: 1	Total Weight: 8
110.80/110.83	c Current CPU time: 110.463 s
110.80/110.83	c
110.80/110.83	c ============================[ Search Statistics ]==============================
110.80/110.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
110.80/110.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
110.80/110.83	c ===============================================================================
110.80/110.83	c |         0 |   13562    43735   109762 |    14578        0   -nan |  0.000 % |
110.80/110.86	c |       100 |   13562    43735   109762 |    16036      100     36 | 30.316 % |
110.90/110.90	c |       252 |   13561    43735   109762 |    17639      252     57 | 30.316 % |
110.90/110.96	c |       477 |   13518    43735   109762 |    19403      477     47 | 30.399 % |
111.00/111.04	c |       814 |   13502    43735   109762 |    21344      814     45 | 30.481 % |
111.10/111.18	c |      1321 |   13502    43735   109762 |    23478     1321     49 | 30.481 % |
111.29/111.36	c |      2081 |   13502    43735   109762 |    25826     2081     64 | 30.481 % |
111.59/111.62	c |      3221 |   13498    43735   109762 |    28409     3221     63 | 30.502 % |
111.99/112.04	c |      4929 |   13498    43735   109762 |    31249     4929     90 | 30.502 % |
112.69/112.72	c |      7491 |   13498    43735   109762 |    34374     7491     86 | 30.502 % |
113.79/113.85	c |     11336 |   13498    43735   109762 |    37812    11336     93 | 30.502 % |
115.50/115.52	c |     17102 |   13498    43735   109762 |    41593    17102    103 | 30.501 % |
118.59/118.64	c |     25754 |   13462    43735   109762 |    45753    25754    119 | 30.754 % |
123.40/123.43	c |     38728 |   13462    43735   109762 |    50328    38728    131 | 30.754 % |
132.99/133.10	c |     58189 |   13288    43735   109762 |    55361    17603    144 | 31.583 % |
140.49/140.57	c ===============================================================================
141.39/141.42	c core #9
141.39/141.42	c 
141.39/141.42	c 
141.39/141.42	c Core size: 2625	Core Weight: 1	Total Weight: 9
141.39/141.42	c Current CPU time: 140.993 s
141.39/141.42	c
141.39/141.42	c ============================[ Search Statistics ]==============================
141.39/141.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
141.39/141.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
141.39/141.42	c ===============================================================================
141.39/141.42	c |         0 |   14949    45438   118822 |    15146        0   -nan |  0.000 % |
141.39/141.45	c |       101 |   14949    45438   118822 |    16660      101     30 | 28.189 % |
141.39/141.48	c |       251 |   14913    45438   118822 |    18326      251     34 | 28.189 % |
141.49/141.54	c |       477 |   14897    45438   118822 |    20159      477     43 | 28.266 % |
141.59/141.63	c |       815 |   14897    45438   118822 |    22175      815     46 | 28.266 % |
141.69/141.73	c |      1322 |   14897    45438   118822 |    24392     1322     54 | 28.266 % |
141.89/141.93	c |      2081 |   14897    45438   118822 |    26832     2081     70 | 28.266 % |
142.20/142.21	c |      3221 |   14897    45438   118822 |    29515     3221     92 | 28.266 % |
142.69/142.72	c |      4930 |   14897    45438   118822 |    32466     4930     95 | 28.266 % |
143.39/143.40	c |      7492 |   14893    45438   118822 |    35713     7492     96 | 28.285 % |
144.49/144.56	c |     11336 |   14893    45438   118822 |    39284    11336    104 | 28.285 % |
146.50/146.53	c |     17103 |   14893    45438   118822 |    43213    17103    119 | 28.285 % |
149.29/149.35	c |     25752 |   14854    45438   118822 |    47534    25752    141 | 28.473 % |
154.29/154.34	c |     38728 |   14826    45438   118822 |    52288    38728    144 | 28.608 % |
163.20/163.22	c |     58189 |   14826    45438   118822 |    57516    58189    144 | 28.608 % |
176.00/176.07	c |     87381 |   14684    45438   118822 |    63268    39288    164 | 29.292 % |
192.30/192.34	c ===============================================================================
193.69/193.71	c core #10
193.69/193.71	c 
193.69/193.71	c 
193.69/193.71	c Core size: 2954	Core Weight: 1	Total Weight: 10
193.69/193.71	c Current CPU time: 193.159 s
193.69/193.71	c
193.69/193.71	c ============================[ Search Statistics ]==============================
193.69/193.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.69/193.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.69/193.71	c ===============================================================================
193.69/193.71	c |         0 |   16475    47224   128185 |    15741        0   -nan |  0.000 % |
193.69/193.73	c |       101 |   16475    47224   128185 |    17315      101     67 | 26.098 % |
193.69/193.76	c |       252 |   16470    47224   128185 |    19047      252     51 | 26.331 % |
193.79/193.80	c |       477 |   16423    47224   128185 |    20951      477     47 | 26.331 % |
193.79/193.85	c |       814 |   16423    47224   128185 |    23046      814     59 | 26.331 % |
193.89/193.95	c |      1322 |   16423    47224   128185 |    25351     1322     59 | 26.331 % |
194.09/194.10	c |      2081 |   16423    47224   128185 |    27886     2081     60 | 26.331 % |
194.19/194.28	c |      3220 |   16423    47224   128185 |    30675     3220     61 | 26.331 % |
194.60/194.63	c |      4928 |   16423    47224   128185 |    33742     4928     82 | 26.331 % |
195.20/195.25	c |      7490 |   16423    47224   128185 |    37117     7490     90 | 26.331 % |
196.09/196.15	c |     11334 |   16423    47224   128185 |    40828    11334     91 | 26.331 % |
197.80/197.89	c |     17101 |   16356    47224   128185 |    44911    17101    112 | 26.632 % |
200.69/200.71	c |     25750 |   16356    47224   128185 |    49403    25750    110 | 26.632 % |
205.70/205.78	c |     38724 |   16356    47224   128185 |    54343    38724    110 | 26.632 % |
214.59/214.68	c |     58186 |   16356    47224   128185 |    59777    58186    123 | 26.632 % |
227.19/227.23	c |     87378 |   16320    47224   128185 |    65755    38024    141 | 26.793 % |
252.80/252.82	c |    131167 |   16175    47224   128185 |    72331    27817    224 | 27.444 % |
286.60/286.67	c ===============================================================================
289.70/289.75	c core #11
289.70/289.75	c 
289.70/289.75	c 
289.70/289.75	c Core size: 2861	Core Weight: 1	Total Weight: 11
289.70/289.75	c Current CPU time: 288.964 s
289.70/289.75	c
289.70/289.75	c ============================[ Search Statistics ]==============================
289.70/289.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
289.70/289.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
289.70/289.75	c ===============================================================================
289.70/289.75	c |         0 |   18080    49079   137880 |    16359        0   -nan |  0.000 % |
289.70/289.78	c |       103 |   18080    49079   137880 |    17995      103     30 | 24.339 % |
289.80/289.81	c |       253 |   18077    49079   137880 |    19795      253     35 | 24.556 % |
289.80/289.87	c |       478 |   18028    49079   137880 |    21774      478     44 | 24.556 % |
289.90/289.96	c |       815 |   18028    49079   137880 |    23952      815     52 | 24.556 % |
290.00/290.08	c |      1322 |   18026    49079   137880 |    26347     1322     51 | 24.565 % |
290.20/290.27	c |      2082 |   18026    49079   137880 |    28982     2082     64 | 24.565 % |
290.49/290.54	c |      3222 |   18026    49079   137880 |    31880     3222     69 | 24.565 % |
290.89/290.99	c |      4932 |   18026    49079   137880 |    35068     4932     90 | 24.565 % |
291.69/291.70	c |      7495 |   18026    49079   137880 |    38575     7495     84 | 24.565 % |
292.70/292.72	c |     11340 |   18026    49079   137880 |    42432    11340     83 | 24.565 % |
294.50/294.51	c |     17106 |   18014    49079   137880 |    46676    17106     91 | 24.615 % |
297.60/297.66	c |     25755 |   18014    49079   137880 |    51343    25755     99 | 24.615 % |
303.00/303.10	c |     38729 |   17929    49079   137880 |    56478    38729    113 | 24.971 % |
312.49/312.57	c |     58190 |   17882    49079   137880 |    62125    58190    130 | 25.172 % |
326.49/326.54	c |     87382 |   17881    49079   137880 |    68338    35163    183 | 25.172 % |
353.89/353.91	c |    131172 |   17856    49079   137880 |    75172    23581    171 | 25.276 % |
379.80/379.83	c ===============================================================================
382.39/382.40	c core #12
382.39/382.40	c 
382.39/382.40	c 
382.39/382.40	c Core size: 2890	Core Weight: 1	Total Weight: 12
382.39/382.40	c Current CPU time: 381.462 s
382.39/382.40	c
382.39/382.40	c ============================[ Search Statistics ]==============================
382.39/382.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
382.39/382.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
382.39/382.40	c ===============================================================================
382.39/382.40	c |         0 |   19658    50912   147303 |    16970        0   -nan |  0.000 % |
382.39/382.44	c |       100 |   19658    50912   147303 |    18667      100     54 | 22.831 % |
382.39/382.47	c |       254 |   19658    50912   147303 |    20534      254     51 | 22.831 % |
382.49/382.52	c |       479 |   19636    50912   147303 |    22587      479     51 | 22.917 % |
382.59/382.60	c |       817 |   19636    50912   147303 |    24846      817     56 | 22.972 % |
382.70/382.71	c |      1324 |   19622    50912   147303 |    27331     1324     60 | 22.980 % |
382.89/382.90	c |      2086 |   19620    50912   147303 |    30064     2086     60 | 22.980 % |
383.20/383.22	c |      3225 |   19620    50912   147303 |    33071     3225     65 | 22.980 % |
383.60/383.61	c |      4933 |   19620    50912   147303 |    36378     4933     87 | 22.980 % |
384.10/384.17	c |      7495 |   19620    50912   147303 |    40015     7495     86 | 22.980 % |
385.09/385.13	c |     11341 |   19620    50912   147303 |    44017    11341     95 | 22.980 % |
387.11/387.14	c |     17108 |   19592    50912   147303 |    48419    17108    109 | 23.090 % |
390.19/390.25	c |     25758 |   19592    50912   147303 |    53261    25758    112 | 23.090 % |
395.79/395.88	c |     38733 |   19576    50912   147303 |    58587    38733    132 | 23.161 % |
405.00/405.01	c |     58195 |   19564    50912   147303 |    64446    58195    142 | 23.310 % |
418.40/418.41	c |     87387 |   19506    50912   147303 |    70890    31978    140 | 23.750 % |
443.09/443.10	c |    131176 |   19386    50912   147303 |    77979    75767    160 | 23.919 % |
470.90/470.95	c ===============================================================================
473.50/473.58	c core #13
473.50/473.58	c 
473.50/473.58	c 
473.50/473.58	c Core size: 3169	Core Weight: 1	Total Weight: 13
473.50/473.58	c Current CPU time: 472.51 s
473.50/473.58	c
473.50/473.58	c ============================[ Search Statistics ]==============================
473.50/473.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
473.50/473.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
473.50/473.58	c ===============================================================================
473.50/473.58	c |         0 |   21425    52768   157417 |    17589        0   -nan |  0.000 % |
473.60/473.64	c |       100 |   21425    52768   157417 |    19348      100     65 | 21.263 % |
473.60/473.67	c |       250 |   21402    52768   157417 |    21283      250     51 | 21.455 % |
473.70/473.73	c |       475 |   21401    52768   157417 |    23411      475     52 | 21.455 % |
473.80/473.81	c |       812 |   21373    52768   157417 |    25752      812     56 | 21.455 % |
473.90/473.93	c |      1318 |   21373    52768   157417 |    28327     1318     65 | 21.455 % |
474.01/474.10	c |      2079 |   21373    52768   157417 |    31160     2079     65 | 21.455 % |
474.30/474.37	c |      3219 |   21373    52768   157417 |    34276     3219     64 | 21.455 % |
474.80/474.82	c |      4927 |   21373    52768   157417 |    37704     4927     72 | 21.455 % |
475.40/475.42	c |      7489 |   21373    52768   157417 |    41474     7489     80 | 21.455 % |
476.30/476.36	c |     11334 |   21369    52768   157417 |    45622    11334     84 | 21.469 % |
478.10/478.11	c |     17100 |   21369    52768   157417 |    50184    17100     92 | 21.469 % |
481.00/481.07	c |     25749 |   21359    52768   157417 |    55202    25749    112 | 21.506 % |
486.11/486.16	c |     38724 |   21331    52768   157417 |    60723    38724    122 | 21.609 % |
495.20/495.20	c |     58185 |   21223    52768   157417 |    66795    58185    127 | 22.226 % |
508.10/508.17	c |     87377 |   21155    52768   157417 |    73475    29135    160 | 22.337 % |
529.50/529.53	c |    131166 |   21096    52768   157417 |    80822    72924    164 | 22.484 % |
567.90/567.98	c |    196850 |   21068    52768   157417 |    88904    69808    208 | 22.649 % |
612.80/612.85	c ===============================================================================
616.70/616.73	c core #14
616.70/616.73	c 
616.70/616.73	c 
616.70/616.73	c Core size: 3237	Core Weight: 1	Total Weight: 14
616.70/616.73	c Current CPU time: 615.359 s
616.70/616.73	c
616.70/616.73	c ============================[ Search Statistics ]==============================
616.70/616.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
616.70/616.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
616.70/616.73	c ===============================================================================
616.70/616.73	c |         0 |   23245    54634   167561 |    18211        0   -nan |  0.000 % |
616.70/616.78	c |       100 |   23245    54634   167561 |    20032      100     26 | 19.864 % |
616.80/616.82	c |       251 |   23245    54634   167561 |    22035      251     26 | 19.864 % |
616.80/616.87	c |       477 |   23245    54634   167561 |    24239      477     26 | 19.864 % |
616.90/616.95	c |       815 |   23245    54634   167561 |    26663      815     27 | 19.864 % |
617.00/617.07	c |      1321 |   23193    54634   167561 |    29329     1321     36 | 20.043 % |
617.30/617.31	c |      2080 |   23193    54634   167561 |    32262     2080     45 | 20.043 % |
617.50/617.57	c |      3219 |   23193    54634   167561 |    35488     3219     56 | 20.043 % |
617.90/617.97	c |      4927 |   23193    54634   167561 |    39037     4927     63 | 20.043 % |
618.71/618.71	c |      7492 |   23189    54634   167561 |    42941     7492     65 | 20.057 % |
619.80/619.81	c |     11336 |   23189    54634   167561 |    47235    11336     76 | 20.057 % |
621.60/621.69	c |     17102 |   23189    54634   167561 |    51959    17102     87 | 20.057 % |
625.00/625.02	c |     25752 |   23189    54634   167561 |    57154    25752     98 | 20.057 % |
630.40/630.48	c |     38727 |   23133    54634   167561 |    62870    38727    111 | 20.326 % |
639.30/639.37	c |     58189 |   23111    54634   167561 |    69157    58189    122 | 20.326 % |
654.80/654.89	c |     87381 |   23028    54634   167561 |    76073    29479    138 | 20.612 % |
675.31/675.38	c |    131170 |   23028    54634   167561 |    83680    73268    141 | 20.612 % |
719.00/719.09	c |    196855 |   23028    54634   167561 |    92048    65578    293 | 20.612 % |
771.70/771.70	c |    295381 |   23022    54634   167561 |   101253    74116    124 | 20.633 % |
903.60/903.64	c |    443170 |   23022    54634   167561 |   111378    47526    323 | 20.633 % |
1112.51/1112.56	c |    664853 |   23022    54634   167561 |   122516    67628     85 | 20.633 % |
1173.91/1173.98	c ===============================================================================
1184.62/1184.70	c core #15
1184.62/1184.70	c 
1184.62/1184.70	c 
1184.62/1184.70	c Core size: 3509	Core Weight: 1	Total Weight: 15
1184.62/1184.70	c Current CPU time: 1182.24 s
1184.62/1184.70	c
1184.62/1184.70	c ============================[ Search Statistics ]==============================
1184.62/1184.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1184.62/1184.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1184.62/1184.70	c ===============================================================================
1184.62/1184.70	c |         0 |   25361    56595   178472 |    18865        0   -nan |  0.000 % |
1184.72/1184.75	c |       100 |   25361    56595   178472 |    20751      100     67 | 18.514 % |
1184.72/1184.79	c |       251 |   25361    56595   178472 |    22826      251     50 | 18.514 % |
1184.81/1184.86	c |       476 |   25361    56595   178472 |    25109      476     49 | 18.514 % |
1184.91/1184.96	c |       813 |   25361    56595   178472 |    27620      813     58 | 18.514 % |
1185.11/1185.11	c |      1319 |   25361    56595   178472 |    30382     1319     56 | 18.514 % |
1185.31/1185.33	c |      2078 |   25361    56595   178472 |    33420     2078     63 | 18.514 % |
1185.61/1185.65	c |      3218 |   25361    56595   178472 |    36762     3218     64 | 18.514 % |
1186.31/1186.30	c |      4926 |   25361    56595   178472 |    40438     4926     69 | 18.514 % |
1187.11/1187.19	c |      7488 |   25361    56595   178472 |    44482     7488     94 | 18.514 % |
1188.61/1188.68	c |     11332 |   25361    56595   178472 |    48930    11332     94 | 18.514 % |
1191.01/1191.07	c |     17098 |   25361    56595   178472 |    53824    17098     98 | 18.514 % |
1195.01/1195.07	c |     25749 |   25309    56595   178472 |    59206    25749    124 | 18.681 % |
1200.81/1200.83	c |     38723 |   25309    56595   178472 |    65127    38723    114 | 18.681 % |
1210.71/1210.74	c |     58186 |   25309    56595   178472 |    71639    58186    124 | 18.681 % |
1225.81/1225.80	c |     87379 |   25309    56595   178472 |    78803    19251     70 | 18.681 % |
1248.12/1248.14	c |    131170 |   25186    56595   178472 |    86684    63042    109 | 19.176 % |
1304.82/1304.83	c |    196854 |   25155    56595   178472 |    95352    45910    192 | 19.176 % |
1377.41/1377.46	c |    295380 |   25155    56595   178472 |   104887    55220     59 | 19.176 % |
1472.61/1472.63	c |    443169 |   25155    56595   178472 |   115376   107228    166 | 19.176 % |
1636.22/1636.29	c |    664855 |   25005    56595   178472 |   126914   120652    106 | 19.934 % |

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 /var/tmp/evaluation-result-3446760-1307906211/watcher-3446760-1307906211 -o /var/tmp/evaluation-result-3446760-1307906211/solver-3446760-1307906211 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446760-1307906211.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: 1.99 1.98 1.91 2/177 12572
/proc/meminfo: memFree=1217604/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=3884 CPUtime=0 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 515 0 0 0 0 0 0 0 25 0 1 0 902219770 3977216 466 33554432000 4194304 5714214 140733914333632 18446744073709551615 5013632 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12572/statm: 971 477 178 372 0 371 0

[startup+0.0476989 s]
/proc/loadavg: 1.99 1.98 1.91 2/177 12572
/proc/meminfo: memFree=1217604/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=6404 CPUtime=0.04 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 1278 0 0 0 4 0 0 0 25 0 1 0 902219770 6557696 1229 33554432000 4194304 5714214 140733914333632 18446744073709551615 4228419 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 1601 1229 321 372 0 1001 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6404

[startup+0.100685 s]
/proc/loadavg: 1.99 1.98 1.91 2/177 12572
/proc/meminfo: memFree=1217604/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=7660 CPUtime=0.09 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 1843 0 0 0 9 0 0 0 25 0 1 0 902219770 7843840 1569 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 1915 1569 177 372 0 1540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7660

[startup+0.300655 s]
/proc/loadavg: 1.99 1.98 1.91 2/177 12572
/proc/meminfo: memFree=1217604/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=8716 CPUtime=0.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 2076 0 0 0 29 0 0 0 25 0 1 0 902219770 8925184 1802 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 2179 1802 177 372 0 1804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8716

[startup+0.700583 s]
/proc/loadavg: 1.99 1.98 1.91 2/177 12572
/proc/meminfo: memFree=1217604/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=10448 CPUtime=0.69 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 2510 0 0 0 69 0 0 0 25 0 1 0 902219770 10698752 2236 33554432000 4194304 5714214 140733914333632 18446744073709551615 4329449 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 2612 2236 177 372 0 2237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10448

[startup+1.50045 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12573
/proc/meminfo: memFree=1206584/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=13896 CPUtime=1.49 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 3383 0 0 0 149 0 0 0 25 0 1 0 902219770 14229504 3109 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319455 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 3474 3109 177 372 0 3099 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13896

[startup+3.10005 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12574
/proc/meminfo: memFree=1198772/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=20772 CPUtime=3.09 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 5099 0 0 0 308 1 0 0 25 0 1 0 902219770 21270528 4825 33554432000 4194304 5714214 140733914333632 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 5193 4826 177 372 0 4818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20772

[startup+6.30064 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12574
/proc/meminfo: memFree=1178500/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=32980 CPUtime=6.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 8134 0 0 0 627 2 0 0 25 0 1 0 902219770 33771520 7860 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 8245 7860 177 372 0 7870 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32980

[startup+12.7006 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12574
/proc/meminfo: memFree=1158984/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=37588 CPUtime=12.69 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 9619 0 0 0 1264 5 0 0 25 0 1 0 902219770 38490112 9068 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 9397 9068 178 372 0 9022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37588

[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12574
/proc/meminfo: memFree=1103228/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=49808 CPUtime=25.49 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 12940 0 0 0 2540 9 0 0 25 0 1 0 902219770 51003392 12123 33554432000 4194304 5714214 140733914333632 18446744073709551615 4197728 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 12452 12123 178 372 0 12077 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49808

[startup+51.1011 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12575
/proc/meminfo: memFree=1097348/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=56072 CPUtime=51.09 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 14457 0 0 0 5093 16 0 0 25 0 1 0 902219770 57417728 13640 33554432000 4194304 5714214 140733914333632 18446744073709551615 4197716 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 14018 13640 178 372 0 13643 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56072

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12576
/proc/meminfo: memFree=1082928/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=69952 CPUtime=102.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 18161 0 0 0 10201 28 0 0 25 0 1 0 902219770 71630848 17118 33554432000 4194304 5714214 140733914333632 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 17488 17118 178 372 0 17113 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 69952

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12578
/proc/meminfo: memFree=1080392/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=72612 CPUtime=162.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 18811 0 0 0 16190 39 0 0 25 0 1 0 902219770 74354688 17768 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319868 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 18153 17768 178 372 0 17778 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 72612

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12579
/proc/meminfo: memFree=1041908/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=110548 CPUtime=222.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 28448 0 0 0 22178 51 0 0 25 0 1 0 902219770 113201152 27242 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 27637 27242 178 372 0 27262 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 110548

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 4/178 12581
/proc/meminfo: memFree=977376/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=141812 CPUtime=282.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 36291 0 0 0 28168 61 0 0 25 0 1 0 902219770 145215488 35085 33554432000 4194304 5714214 140733914333632 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 35453 35085 178 372 0 35078 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 141812

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12582
/proc/meminfo: memFree=969764/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=147320 CPUtime=342.3 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 37776 0 0 0 34158 72 0 0 25 0 1 0 902219770 150855680 36395 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 36830 36395 178 372 0 36455 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 147320

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 12584
/proc/meminfo: memFree=970956/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=145400 CPUtime=402.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 37816 0 0 0 40148 81 0 0 25 0 1 0 902219770 148889600 36091 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 36350 36091 178 372 0 35975 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 145400

[startup+462.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 12700
/proc/meminfo: memFree=1173424/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=145400 CPUtime=462.29 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 37816 0 0 0 46139 90 0 0 25 0 1 0 902219770 148889600 36091 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 36350 36091 178 372 0 35975 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 145400

[startup+522.301 s]
/proc/loadavg: 2.11 2.03 1.93 3/178 12853
/proc/meminfo: memFree=1161252/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=138804 CPUtime=522.3 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 37818 0 0 0 52128 102 0 0 25 0 1 0 902219770 142135296 34445 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 34701 34445 178 372 0 34326 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 138804

[startup+582.301 s]
/proc/loadavg: 2.04 2.02 1.93 3/178 12931
/proc/meminfo: memFree=1147600/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=152672 CPUtime=582.3 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 41261 0 0 0 58118 112 0 0 25 0 1 0 902219770 156336128 37888 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 38168 37888 178 372 0 37793 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 152672

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.03 2.02 1.93 3/178 12937
/proc/meminfo: memFree=994040/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=188344 CPUtime=822.3 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 50245 0 0 0 82081 149 0 0 25 0 1 0 902219770 192864256 46685 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 47086 46685 178 372 0 46711 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 188344

[startup+882.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/178 13091
/proc/meminfo: memFree=1031728/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=265688 CPUtime=882.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 69546 0 0 0 88071 160 0 0 25 0 1 0 902219770 272064512 65986 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 66422 65986 178 372 0 66047 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 265688

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/178 13092
/proc/meminfo: memFree=1007888/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=271956 CPUtime=942.3 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 71105 0 0 0 94066 164 0 0 25 0 1 0 902219770 278482944 67545 33554432000 4194304 5714214 140733914333632 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 67989 67545 178 372 0 67614 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 271956

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 13094
/proc/meminfo: memFree=940024/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=321932 CPUtime=1002.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 83602 0 0 0 100057 174 0 0 25 0 1 0 902219770 329658368 80042 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 80483 80042 178 372 0 80108 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 321932

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 13096
/proc/meminfo: memFree=896208/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=333304 CPUtime=1062.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 86466 0 0 0 106051 180 0 0 25 0 1 0 902219770 341303296 82906 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 83326 82906 178 372 0 82951 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 333304

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 13097
/proc/meminfo: memFree=860700/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=344824 CPUtime=1122.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 89260 0 0 0 112042 189 0 0 25 0 1 0 902219770 353099776 85700 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 86206 85700 178 372 0 85831 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 344824

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 13099
/proc/meminfo: memFree=839708/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=344824 CPUtime=1182.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 89282 0 0 0 118034 197 0 0 25 0 1 0 902219770 353099776 85722 33554432000 4194304 5714214 140733914333632 18446744073709551615 4324928 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 86206 85722 178 372 0 85831 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 344824

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 13100
/proc/meminfo: memFree=812136/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1242.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90015 0 0 0 124024 207 0 0 25 0 1 0 902219770 357040128 86455 33554432000 4194304 5714214 140733914333632 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86455 178 372 0 86793 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 348672

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13102
/proc/meminfo: memFree=793384/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1302.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90019 0 0 0 130016 215 0 0 25 0 1 0 902219770 357040128 86459 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86459 178 372 0 86793 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 348672

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13104
/proc/meminfo: memFree=766688/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1362.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90020 0 0 0 136009 222 0 0 25 0 1 0 902219770 357040128 86460 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319145 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86460 178 372 0 86793 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 348672

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13105
/proc/meminfo: memFree=752384/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1422.32 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90020 0 0 0 142002 230 0 0 25 0 1 0 902219770 357040128 86460 33554432000 4194304 5714214 140733914333632 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86460 178 372 0 86793 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 348672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13107
/proc/meminfo: memFree=732376/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1482.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90023 0 0 0 147995 236 0 0 25 0 1 0 902219770 357040128 86463 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86463 178 372 0 86793 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 348672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13108
/proc/meminfo: memFree=708028/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1542.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90024 0 0 0 153988 243 0 0 25 0 1 0 902219770 357040128 86464 33554432000 4194304 5714214 140733914333632 18446744073709551615 4329461 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86464 178 372 0 86793 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 348672

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13110
/proc/meminfo: memFree=692868/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1602.31 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90028 0 0 0 159980 251 0 0 25 0 1 0 902219770 357040128 86468 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86468 178 372 0 86793 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 348672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13112
/proc/meminfo: memFree=676344/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1662.32 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90034 0 0 0 165972 260 0 0 25 0 1 0 902219770 357040128 86474 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86474 178 372 0 86793 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 348672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13113
/proc/meminfo: memFree=658944/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1722.32 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90040 0 0 0 171966 266 0 0 25 0 1 0 902219770 357040128 86480 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86480 178 372 0 86793 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 348672

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13115
/proc/meminfo: memFree=639680/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1782.32 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90054 0 0 0 177957 275 0 0 25 0 1 0 902219770 357040128 86494 33554432000 4194304 5714214 140733914333632 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86494 178 372 0 86793 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 348672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13115
/proc/meminfo: memFree=633964/32950928 swapFree=67050636/67111528
[pid=12572] ppid=12570 vsize=348672 CPUtime=1800.02 cores=0,2,4,6
/proc/12572/stat : 12572 (wbo1.6) R 12570 12572 10203 0 -1 4202496 90058 0 0 0 179725 277 0 0 25 0 1 0 902219770 357040128 86498 33554432000 4194304 5714214 140733914333632 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12572/statm: 87168 86498 178 372 0 86793 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 348672

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.02
CPU time (s): 1800.05
CPU user time (s): 1797.26
CPU system time (s): 2.78957
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 348672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.26
system time used= 2.78958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 3745

runsolver used 2.67959 second user time and 5.82911 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-12 21:16:51
IDJOB=3446760
IDBENCH=79085
IDSOLVER=1943
FILE ID=node126/3446760-1307906211
RUNJOBID= node126-1307904091-12018
PBS_JOBID= 13559580
Free space on /var/tmp= 2888 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-66-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-3446760-1307906211/watcher-3446760-1307906211 -o /var/tmp/evaluation-result-3446760-1307906211/solver-3446760-1307906211 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446760-1307906211.wbo

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

MD5SUM BENCH= 257e79f814ec2395c606dee738edc728
RANDOM SEED=795017383

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1218032 kB
Buffers:         56132 kB
Cached:       30580396 kB
SwapCached:      14604 kB
Active:       15869568 kB
Inactive:     14903512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1218032 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:            5632 kB
Writeback:           0 kB
AnonPages:      133556 kB
Mapped:          10096 kB
Slab:           895736 kB
PageTables:       4844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   321824 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 node126 at 2011-06-12 21:46:53