Trace number 3727304

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1799.98 1800

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1352.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727304-1338651730.opb.
0.00/0.00	c Instance file HOME/instance-3727304-1338651730.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 47097
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:      163                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    3                                                   |
0.00/0.00	c |  Number PB Constraints: 70                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    PB Constraint                                       |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
0.00/0.00	c | 0.01      | 0  | 1024         lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 1025         lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 1026         lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 1027         lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 1028         lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 1029         lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 1032         lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 1033         lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 1041         lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 2048         lb |  0                0                0.00  |
0.05/0.06	c | 0.06      | 0  | 2049         lb |  0                0                0.00  |
0.05/0.09	c | 0.09      | 0  | 2050         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2051         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 2052         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2053         lb |  0                0                0.00  |
0.19/0.22	c | 0.23      | 0  | 2054         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 2055         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 2056         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 2063         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 2064         lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | 2065         lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | 2066         lb |  0                0                0.00  |
0.39/0.44	c | 0.45      | 0  | 2067         lb |  0                0                0.00  |
0.39/0.48	c | 0.49      | 0  | 2068         lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | 2069         lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | 2095         lb |  0                0                0.00  |
0.49/0.59	c | 0.60      | 0  | 2096         lb |  0                0                0.00  |
0.59/0.63	c | 0.63      | 0  | 2099         lb |  0                0                0.00  |
0.59/0.67	c | 0.68      | 0  | 2100         lb |  0                0                0.00  |
0.69/0.70	c | 0.71      | 0  | 2101         lb |  0                0                0.00  |
0.69/0.74	c | 0.75      | 0  | 2102         lb |  0                0                0.00  |
0.69/0.79	c | 0.79      | 0  | 2116         lb |  0                0                0.00  |
0.79/0.83	c | 0.83      | 0  | 2117         lb |  0                0                0.00  |
0.79/0.87	c | 0.88      | 0  | 2118         lb |  0                0                0.00  |
0.89/0.91	c | 0.92      | 0  | 2119         lb |  0                0                0.00  |
0.89/0.95	c | 0.96      | 0  | 2149         lb |  0                0                0.00  |
0.89/0.99	c | 1.00      | 0  | 2150         lb |  0                0                0.00  |
1.00/1.04	c | 1.04      | 0  | 2151         lb |  0                0                0.00  |
1.00/1.06	c | 1.07      | 0  | 2159         lb |  0                0                0.00  |
1.10/1.10	c | 1.11      | 0  | 2160         lb |  0                0                0.00  |
1.10/1.14	c | 1.14      | 0  | 2161         lb |  0                0                0.00  |
1.10/1.18	c | 1.19      | 0  | 2162         lb |  0                0                0.00  |
1.19/1.23	c | 1.23      | 0  | 2164         lb |  0                0                0.00  |
1.19/1.26	c | 1.26      | 0  | 2165         lb |  0                0                0.00  |
1.29/1.30	c | 1.30      | 0  | 2166         lb |  0                0                0.00  |
1.29/1.33	c | 1.33      | 0  | 2288         lb |  0                0                0.00  |
1.29/1.38	c | 1.38      | 0  | 2290         lb |  0                0                0.00  |
1.39/1.42	c | 1.43      | 0  | 2291         lb |  0                0                0.00  |
1.39/1.47	c | 1.47      | 0  | 2304         lb |  0                0                0.00  |
1.49/1.51	c | 1.51      | 0  | 2307         lb |  0                0                0.00  |
1.49/1.56	c | 1.56      | 0  | 2312         lb |  0                0                0.00  |
1.59/1.60	c | 1.60      | 0  | 2328         lb |  0                0                0.00  |
1.59/1.65	c | 1.65      | 0  | 2333         lb |  0                0                0.00  |
1.59/1.69	c | 1.69      | 0  | 2343         lb |  0                0                0.00  |
1.69/1.73	c | 1.73      | 0  | 2344         lb |  0                0                0.00  |
1.69/1.77	c | 1.77      | 0  | 2360         lb |  0                0                0.00  |
1.79/1.82	c | 1.82      | 0  | 2361         lb |  0                0                0.00  |
1.79/1.87	c | 1.87      | 0  | 2368         lb |  0                0                0.00  |
1.89/1.91	c | 1.92      | 0  | 2391         lb |  0                0                0.00  |
1.89/1.96	c | 1.96      | 0  | 2477         lb |  0                0                0.00  |
1.99/2.02	c | 2.03      | 0  | 2478         lb |  0                0                0.00  |
1.99/2.07	c | 2.07      | 0  | 2543         lb |  0                0                0.00  |
2.09/2.12	c | 2.13      | 0  | 2544         lb |  0                0                0.00  |
2.09/2.17	c | 2.17      | 0  | 2559         lb |  0                0                0.00  |
2.19/2.22	c | 2.22      | 0  | 2592         lb |  0                0                0.00  |
2.29/2.32	c | 2.32      | 0  | 2593         lb |  0                0                0.00  |
2.29/2.36	c | 2.36      | 0  | 2594         lb |  0                0                0.00  |
2.39/2.41	c | 2.42      | 0  | 2628         lb |  0                0                0.00  |
2.39/2.46	c | 2.46      | 0  | 2798         lb |  0                0                0.00  |
2.49/2.51	c | 2.52      | 0  | 3055         lb |  0                0                0.00  |
2.99/3.08	c | 3.08      | 0  | 3056         lb |  0                0                0.00  |
3.69/3.78	c | 3.78      | 0  | 3057         lb |  0                0                0.00  |
4.19/4.24	c | 4.24      | 0  | 3058         lb |  0                0                0.00  |
4.89/4.91	c | 4.92      | 0  | 3059         lb |  0                0                0.00  |
5.29/5.33	c | 5.33      | 0  | 3060         lb |  0                0                0.00  |
6.29/6.31	c | 6.32      | 0  | 3061         lb |  0                0                0.00  |
7.38/7.44	c | 7.45      | 0  | 3062         lb |  0                0                0.00  |
8.58/8.62	c | 8.62      | 0  | 3063         lb |  0                0                0.00  |
9.18/9.28	c | 9.28      | 0  | 3064         lb |  0                0                0.00  |
10.08/10.10	c | 10.11     | 0  | 3065         lb |  0                0                0.00  |
11.19/11.26	c | 11.27     | 0  | 3066         lb |  0                0                0.00  |
12.39/12.47	c | 12.47     | 0  | 3067         lb |  0                0                0.00  |
13.49/13.52	c | 13.52     | 0  | 3068         lb |  0                0                0.00  |
14.59/14.66	c | 14.66     | 0  | 3069         lb |  0                0                0.00  |
15.59/15.65	c | 15.65     | 0  | 3070         lb |  0                0                0.00  |
16.89/16.98	c | 16.98     | 0  | 3071         lb |  0                0                0.00  |
18.39/18.45	c | 18.45     | 0  | 3072         lb |  0                0                0.00  |
21.19/21.28	c | 21.28     | 0  | 3073         lb |  0                0                0.00  |
30.08/30.12	c | 30.12     | 0  | 3074         lb |  0                0                0.00  |
57.98/58.08	c | 58.09     | 0  | 3075         lb |  0                0                0.00  |
67.78/67.83	c | 67.83     | 0  | 3076         lb |  0                0                0.00  |
71.58/71.64	c | 71.65     | 0  | 3077         lb |  0                0                0.00  |
96.27/96.38	c | 96.39     | 0  | 3078         lb |  0                0                0.00  |
119.36/119.48	c | 119.48    | 0  | 3079         lb |  0                0                0.00  |
142.15/142.25	c | 142.25    | 0  | 3080         lb |  0                0                0.00  |
158.85/158.90	c | 158.91    | 0  | 3081         lb |  0                0                0.00  |
160.95/161.02	c | 161.03    | 0  | 3082         lb |  0                0                0.00  |
170.45/170.52	c | 170.53    | 0  | 3083         lb |  0                0                0.00  |
183.04/183.12	c | 183.12    | 0  | 3084         lb |  0                0                0.00  |
201.64/201.76	c | 201.76    | 0  | 3085         lb |  0                0                0.00  |
226.04/226.12	c | 226.12    | 0  | 3086         lb |  0                0                0.00  |
237.73/237.87	c | 237.88    | 0  | 3087         lb |  0                0                0.00  |
240.23/240.32	c | 240.32    | 0  | 3088         lb |  0                0                0.00  |
259.33/259.40	c | 259.41    | 0  | 3089         lb |  0                0                0.00  |
272.13/272.22	c | 272.23    | 0  | 3090         lb |  0                0                0.00  |
281.23/281.33	c | 281.33    | 0  | 3091         lb |  0                0                0.00  |
298.92/299.01	c | 299.02    | 0  | 3092         lb |  0                0                0.00  |
300.42/300.56	c | 300.56    | 0  | 3093         lb |  0                0                0.00  |
324.23/324.40	c | 324.40    | 0  | 3094         lb |  0                0                0.00  |
353.82/353.92	c | 353.92    | 0  | 3095         lb |  0                0                0.00  |
376.02/376.11	c | 376.12    | 0  | 3096         lb |  0                0                0.00  |
390.51/390.63	c | 390.63    | 0  | 3097         lb |  0                0                0.00  |
411.41/411.56	c | 411.57    | 0  | 3098         lb |  0                0                0.00  |
434.31/434.42	c | 434.43    | 0  | 3099         lb |  0                0                0.00  |
451.60/451.77	c | 451.77    | 0  | 3100         lb |  0                0                0.00  |
465.30/465.42	c | 465.42    | 0  | 3101         lb |  0                0                0.00  |
488.49/488.61	c | 488.61    | 0  | 3102         lb |  0                0                0.00  |
496.19/496.39	c | 496.39    | 0  | 3103         lb |  0                0                0.00  |
507.39/507.58	c | 507.58    | 0  | 3104         lb |  0                0                0.00  |
526.59/526.74	c | 526.75    | 0  | 3105         lb |  0                0                0.00  |
528.39/528.51	c | 528.51    | 0  | 3106         lb |  0                0                0.00  |
544.39/544.53	c | 544.53    | 0  | 3107         lb |  0                0                0.00  |
560.08/560.22	c | 560.23    | 0  | 3108         lb |  0                0                0.00  |
570.38/570.56	c | 570.57    | 0  | 3109         lb |  0                0                0.00  |
575.38/575.53	c | 575.53    | 0  | 3110         lb |  0                0                0.00  |
577.78/577.93	c | 577.94    | 0  | 3111         lb |  0                0                0.00  |
579.77/579.95	c | 579.96    | 0  | 3112         lb |  0                0                0.00  |
582.27/582.46	c | 582.47    | 0  | 3113         lb |  0                0                0.00  |
584.67/584.82	c | 584.82    | 0  | 3114         lb |  0                0                0.00  |
606.07/606.27	c | 606.27    | 0  | 3118         lb |  0                0                0.00  |
618.07/618.22	c | 618.22    | 0  | 3120         lb |  0                0                0.00  |
633.27/633.50	c | 633.50    | 0  | 3121         lb |  0                0                0.00  |
635.77/635.98	c | 635.98    | 0  | 3122         lb |  0                0                0.00  |
638.67/638.85	c | 638.85    | 0  | 3123         lb |  0                0                0.00  |
641.08/641.21	c | 641.21    | 0  | 3124         lb |  0                0                0.00  |
664.97/665.10	c | 665.10    | 0  | 3125         lb |  0                0                0.00  |
676.57/676.79	c | 676.79    | 0  | 3127         lb |  0                0                0.00  |
678.27/678.48	c | 678.48    | 0  | 3128         lb |  0                0                0.00  |
680.56/680.77	c | 680.77    | 0  | 3129         lb |  0                0                0.00  |
682.36/682.51	c | 682.51    | 0  | 3130         lb |  0                0                0.00  |
697.27/697.47	c | 697.48    | 0  | 3131         lb |  0                0                0.00  |
712.26/712.43	c | 712.43    | 0  | 3132         lb |  0                0                0.00  |
737.05/737.22	c | 737.23    | 0  | 3133         lb |  0                0                0.00  |
753.15/753.32	c | 753.32    | 0  | 3134         lb |  0                0                0.00  |
786.65/786.87	c | 786.87    | 0  | 3135         lb |  0                0                0.00  |
788.75/788.93	c | 788.94    | 0  | 3136         lb |  0                0                0.00  |
791.04/791.25	c | 791.26    | 0  | 3137         lb |  0                0                0.00  |
809.54/809.76	c | 809.76    | 0  | 3138         lb |  0                0                0.00  |
831.04/831.28	c | 831.28    | 0  | 3139         lb |  0                0                0.00  |
833.34/833.51	c | 833.51    | 0  | 3140         lb |  0                0                0.00  |
858.94/859.17	c | 859.17    | 0  | 3142         lb |  0                0                0.00  |
861.15/861.33	c | 861.33    | 0  | 3143         lb |  0                0                0.00  |
884.94/885.12	c | 885.13    | 0  | 3144         lb |  0                0                0.00  |
902.84/903.07	c | 903.07    | 0  | 3145         lb |  0                0                0.00  |
916.53/916.77	c | 916.78    | 0  | 3146         lb |  0                0                0.00  |
918.93/919.18	c | 919.19    | 0  | 3147         lb |  0                0                0.00  |
939.83/940.00	c | 940.00    | 0  | 3148         lb |  0                0                0.00  |
943.42/943.66	c | 943.67    | 0  | 3149         lb |  0                0                0.00  |
961.02/961.25	c | 961.26    | 0  | 3150         lb |  0                0                0.00  |
984.72/984.96	c | 984.97    | 0  | 3151         lb |  0                0                0.00  |
1005.61/1005.86	c | 1005.87   | 0  | 3152         lb |  0                0                0.00  |
1035.00/1035.29	c | 1035.29   | 0  | 3153         lb |  0                0                0.00  |
1057.60/1057.85	c | 1057.86   | 0  | 3154         lb |  0                0                0.00  |
1077.10/1077.35	c | 1077.35   | 0  | 3155         lb |  0                0                0.00  |
1092.10/1092.38	c | 1092.38   | 0  | 3156         lb |  0                0                0.00  |
1110.80/1111.05	c | 1111.06   | 0  | 3160         lb |  0                0                0.00  |
1113.39/1113.60	c | 1113.61   | 0  | 3161         lb |  0                0                0.00  |
1115.89/1116.14	c | 1116.15   | 0  | 3162         lb |  0                0                0.00  |
1134.39/1134.69	c | 1134.69   | 0  | 3163         lb |  0                0                0.00  |
1137.89/1138.11	c | 1138.11   | 0  | 3166         lb |  0                0                0.00  |
1141.08/1141.30	c | 1141.30   | 0  | 3167         lb |  0                0                0.00  |
1161.88/1162.19	c | 1162.19   | 0  | 3169         lb |  0                0                0.00  |
1164.49/1164.80	c | 1164.80   | 0  | 3170         lb |  0                0                0.00  |
1182.49/1182.73	c | 1182.73   | 0  | 3171         lb |  0                0                0.00  |
1206.98/1207.23	c | 1207.23   | 0  | 3172         lb |  0                0                0.00  |
1209.28/1209.59	c | 1209.59   | 0  | 3173         lb |  0                0                0.00  |
1211.89/1212.18	c | 1212.18   | 0  | 3174         lb |  0                0                0.00  |
1224.98/1225.25	c | 1225.25   | 0  | 3175         lb |  0                0                0.00  |
1250.17/1250.41	c | 1250.42   | 0  | 3176         lb |  0                0                0.00  |
1252.58/1252.82	c | 1252.82   | 0  | 3177         lb |  0                0                0.00  |
1255.17/1255.46	c | 1255.47   | 0  | 3178         lb |  0                0                0.00  |
1277.17/1277.46	c | 1277.46   | 0  | 3179         lb |  0                0                0.00  |
1292.17/1292.43	c | 1292.43   | 0  | 3180         lb |  0                0                0.00  |
1323.66/1323.93	c | 1323.94   | 0  | 3181         lb |  0                0                0.00  |
1325.46/1325.79	c | 1325.79   | 0  | 3182         lb |  0                0                0.00  |
1329.05/1329.32	c | 1329.32   | 0  | 3183         lb |  0                0                0.00  |
1332.05/1332.37	c | 1332.38   | 0  | 3184         lb |  0                0                0.00  |
1335.96/1336.22	c | 1336.23   | 0  | 3185         lb |  0                0                0.00  |
1349.86/1350.17	c | 1350.17   | 0  | 3186         lb |  0                0                0.00  |
1353.06/1353.34	c | 1353.35   | 0  | 3187         lb |  0                0                0.00  |
1363.26/1363.58	c | 1363.59   | 0  | 3188         lb |  0                0                0.00  |
1381.16/1381.46	c | 1381.46   | 0  | 3189         lb |  0                0                0.00  |
1424.95/1425.28	c | 1425.29   | 0  | 3190         lb |  0                0                0.00  |
1427.35/1427.69	c | 1427.70   | 0  | 3191         lb |  0                0                0.00  |
1429.75/1430.06	c | 1430.06   | 0  | 3192         lb |  0                0                0.00  |
1447.04/1447.30	c | 1447.30   | 0  | 3193         lb |  0                0                0.00  |
1449.54/1449.85	c | 1449.85   | 0  | 3194         lb |  0                0                0.00  |
1452.53/1452.81	c | 1452.81   | 0  | 3195         lb |  0                0                0.00  |
1455.04/1455.36	c | 1455.36   | 0  | 3196         lb |  0                0                0.00  |
1457.04/1457.37	c | 1457.38   | 0  | 3197         lb |  0                0                0.00  |
1460.84/1461.12	c | 1461.13   | 0  | 3198         lb |  0                0                0.00  |
1464.44/1464.79	c | 1464.79   | 0  | 3199         lb |  0                0                0.00  |
1495.64/1495.98	c | 1495.99   | 0  | 3200         lb |  0                0                0.00  |
1514.63/1514.93	c | 1514.93   | 0  | 3201         lb |  0                0                0.00  |
1539.43/1539.73	c | 1539.73   | 0  | 3202         lb |  0                0                0.00  |
1567.42/1567.70	c | 1567.70   | 0  | 3204         lb |  0                0                0.00  |
1573.42/1573.74	c | 1573.74   | 0  | 3205         lb |  0                0                0.00  |
1577.92/1578.25	c | 1578.26   | 0  | 3206         lb |  0                0                0.00  |
1597.02/1597.33	c | 1597.34   | 0  | 3285         lb |  0                0                0.00  |
1627.41/1627.71	c | 1627.71   | 0  | 3286         lb |  0                0                0.00  |
1645.41/1645.70	c | 1645.70   | 0  | 3287         lb |  0                0                0.00  |
1664.71/1665.09	c | 1665.09   | 0  | 3288         lb |  0                0                0.00  |
1705.40/1705.70	c | 1705.70   | 0  | 3289         lb |  0                0                0.00  |
1709.30/1709.69	c | 1709.69   | 0  | 3290         lb |  0                0                0.00  |
1713.80/1714.16	c | 1714.17   | 0  | 3291         lb |  0                0                0.00  |
1719.90/1720.25	c | 1720.25   | 0  | 3292         lb |  0                0                0.00  |
1722.20/1722.54	c | 1722.55   | 0  | 3293         lb |  0                0                0.00  |
1724.80/1725.11	c | 1725.11   | 0  | 3294         lb |  0                0                0.00  |
1727.60/1727.91	c | 1727.92   | 0  | 3295         lb |  0                0                0.00  |
1730.10/1730.45	c | 1730.45   | 0  | 3296         lb |  0                0                0.00  |
1767.99/1768.34	c | 1768.35   | 0  | 3297         lb |  0                0                0.00  |
1770.99/1771.31	c | 1771.31   | 0  | 3298         lb |  0                0                0.00  |
1796.48/1796.85	c | 1796.86   | 0  | 3299         lb |  0                0                0.00  |
1799.68/1800.00	c ===============================================================================
1799.68/1800.00	c Wall Clock Time: 1800.00 s
1799.68/1800.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727304-1338651730/watcher-3727304-1338651730 -o /tmp/evaluation-result-3727304-1338651730/solver-3727304-1338651730 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727304-1338651730.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.74 1.62 3/177 6542
/proc/meminfo: memFree=27415812/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=0 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 2 0 331297096 85868544 767 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 768 182 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=0 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 331297096 85868544 768 33554432000 4194304 5964350 140733997962576 140733337120392 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.0574891 s]
/proc/loadavg: 1.99 1.74 1.62 3/177 6542
/proc/meminfo: memFree=27415812/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=0.05 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 1120 0 0 0 5 0 0 0 20 0 2 0 331297096 85868544 1059 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 1059 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=0.04 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 339 0 0 0 4 0 0 0 20 0 2 0 331297096 85868544 1059 33554432000 4194304 5964350 140733997962576 140733337120392 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83856

[startup+0.100286 s]
/proc/loadavg: 1.99 1.74 1.62 3/177 6542
/proc/meminfo: memFree=27415812/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=0.09 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 1187 0 0 0 9 0 0 0 20 0 2 0 331297096 85868544 1126 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 1126 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=0.08 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 406 0 0 0 8 0 0 0 20 0 2 0 331297096 85868544 1126 33554432000 4194304 5964350 140733997962576 140733337120392 4403624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83856

[startup+0.300252 s]
/proc/loadavg: 1.99 1.74 1.62 3/177 6542
/proc/meminfo: memFree=27415812/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=0.29 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 1336 0 0 0 29 0 0 0 20 0 2 0 331297096 85868544 1275 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 1275 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=0.28 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 555 0 0 0 28 0 0 0 20 0 2 0 331297096 85868544 1275 33554432000 4194304 5964350 140733997962576 140733337120392 4403637 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83856

[startup+0.700251 s]
/proc/loadavg: 1.99 1.74 1.62 3/177 6542
/proc/meminfo: memFree=27415812/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=0.69 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 1680 0 0 0 69 0 0 0 20 0 2 0 331297096 85868544 1619 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 1619 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=0.68 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 899 0 0 0 68 0 0 0 20 0 2 0 331297096 85868544 1619 33554432000 4194304 5964350 140733997962576 140733337120392 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83856

[startup+1.50025 s]
/proc/loadavg: 1.99 1.74 1.62 3/179 6544
/proc/meminfo: memFree=27409696/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=1.49 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 2505 0 0 0 149 0 0 0 20 0 2 0 331297096 85868544 2065 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 2065 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=1.48 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 1724 0 0 0 148 0 0 0 20 0 2 0 331297096 85868544 2065 33554432000 4194304 5964350 140733997962576 140191855778136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83856

[startup+3.10025 s]
/proc/loadavg: 1.99 1.75 1.62 3/179 6544
/proc/meminfo: memFree=27406472/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=3.09 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 3994 0 0 0 309 0 0 0 20 0 2 0 331297096 85868544 2891 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 2891 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=3.08 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 3213 0 0 0 308 0 0 0 20 0 2 0 331297096 85868544 2891 33554432000 4194304 5964350 140733997962576 140191855778632 4403637 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83856

[startup+6.30026 s]
/proc/loadavg: 1.99 1.75 1.62 3/179 6544
/proc/meminfo: memFree=27401676/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=6.29 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 4858 0 0 0 629 0 0 0 20 0 2 0 331297096 85868544 3531 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 3531 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=6.28 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 4077 0 0 0 628 0 0 0 20 0 2 0 331297096 85868544 3531 33554432000 4194304 5964350 140733997962576 140191855778744 4373324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83856

[startup+12.7003 s]
/proc/loadavg: 1.99 1.75 1.63 3/179 6544
/proc/meminfo: memFree=27395344/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=12.69 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 6656 0 0 0 1268 1 0 0 20 0 2 0 331297096 85868544 4717 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 4717 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=12.68 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 5875 0 0 0 1268 0 0 0 20 0 2 0 331297096 85868544 4717 33554432000 4194304 5964350 140733997962576 140191855778744 4373375 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83856

[startup+25.5003 s]
/proc/loadavg: 1.99 1.76 1.63 3/179 6544
/proc/meminfo: memFree=27380648/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=25.49 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 7347 0 0 0 2548 1 0 0 20 0 2 0 331297096 85868544 5193 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 5193 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=25.49 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 6566 0 0 0 2547 2 0 0 20 0 2 0 331297096 85868544 5193 33554432000 4194304 5964350 140733997962576 140191855778136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83856

[startup+51.1003 s]
/proc/loadavg: 1.99 1.78 1.64 3/179 6544
/proc/meminfo: memFree=27362636/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=51.08 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 11786 0 0 0 5106 2 0 0 20 0 2 0 331297096 85868544 9631 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 9631 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=51.08 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 11005 0 0 0 5105 3 0 0 20 0 2 0 331297096 85868544 9631 33554432000 4194304 5964350 140733997962576 140191855777832 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83856

[startup+102.307 s]
/proc/loadavg: 1.99 1.81 1.66 3/179 6544
/proc/meminfo: memFree=27336216/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=102.28 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 15877 0 0 0 10225 3 0 0 20 0 2 0 331297096 85868544 13721 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 13721 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=102.29 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 15096 0 0 0 10224 5 0 0 20 0 2 0 331297096 85868544 13721 33554432000 4194304 5964350 140733997962576 140191855778328 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83856

[startup+162.3 s]
/proc/loadavg: 1.99 1.85 1.67 3/179 6544
/proc/meminfo: memFree=27324516/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=162.25 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 15909 0 0 0 16222 3 0 0 20 0 2 0 331297096 85868544 13961 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 13961 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=162.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 15128 0 0 0 16220 6 0 0 20 0 2 0 331297096 85868544 13961 33554432000 4194304 5964350 140733997962576 140191855778328 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 83856

[startup+222.3 s]
/proc/loadavg: 1.99 1.87 1.69 3/179 6545
/proc/meminfo: memFree=27305664/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=222.24 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 15909 0 0 0 22221 3 0 0 20 0 2 0 331297096 85868544 13961 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 13961 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=222.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 15128 0 0 0 22219 7 0 0 20 0 2 0 331297096 85868544 13961 33554432000 4194304 5964350 140733997962576 140191855778328 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 83856

[startup+282.3 s]
/proc/loadavg: 1.99 1.89 1.71 3/179 6545
/proc/meminfo: memFree=27289832/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=282.23 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 18044 0 0 0 28220 3 0 0 20 0 2 0 331297096 85868544 15059 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 15059 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=282.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 17263 0 0 0 28218 8 0 0 20 0 2 0 331297096 85868544 15059 33554432000 4194304 5964350 140733997962576 140191855778632 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 83856

[startup+342.3 s]
/proc/loadavg: 1.99 1.91 1.73 3/179 6545
/proc/meminfo: memFree=27275500/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=83856 CPUtime=342.22 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 18273 0 0 0 34218 4 0 0 20 0 2 0 331297096 85868544 15299 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 20964 15299 195 433 0 20528 0
[pid=6542/tid=6543] ppid=6540 vsize=83856 CPUtime=342.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 17492 0 0 0 34217 9 0 0 20 0 2 0 331297096 85868544 15299 33554432000 4194304 5964350 140733997962576 140191855778216 4399850 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 83856

[startup+402.3 s]
/proc/loadavg: 2.04 1.94 1.74 3/179 6545
/proc/meminfo: memFree=27264868/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=402.21 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 20997 0 0 0 40217 4 0 0 20 0 2 0 331297096 152977408 18022 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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

/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 35785 0 0 0 130199 27 0 0 20 0 2 0 331297096 152977408 22835 33554432000 4194304 5964350 140733997962576 140191855778328 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 149392

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 1.92 3/179 6577
/proc/meminfo: memFree=27088712/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1362.06 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 38118 0 0 0 136198 8 0 0 20 0 2 0 331297096 152977408 23568 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 23568 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1362.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 37337 0 0 0 136198 28 0 0 20 0 2 0 331297096 152977408 23568 33554432000 4194304 5964350 140733997962576 140191855778328 4399846 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 149392

[startup+1422.31 s]
/proc/loadavg: 2.12 2.08 1.93 3/179 6617
/proc/meminfo: memFree=27411352/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1422.05 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 38505 0 0 0 142197 8 0 0 20 0 2 0 331297096 152977408 23575 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 23575 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1422.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 37724 0 0 0 142197 29 0 0 20 0 2 0 331297096 152977408 23575 33554432000 4194304 5964350 140733997962576 140191855778328 4399887 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 149392

[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 1.93 3/179 6617
/proc/meminfo: memFree=26815000/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1482.04 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 42332 0 0 0 148195 9 0 0 20 0 2 0 331297096 152977408 25920 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 25920 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1482.25 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 41551 0 0 0 148194 31 0 0 20 0 2 0 331297096 152977408 25920 33554432000 4194304 5964350 140733997962576 140191855778632 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 149392

[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 1.93 3/179 6617
/proc/meminfo: memFree=26405424/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1542.03 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 42732 0 0 0 154194 9 0 0 20 0 2 0 331297096 152977408 25920 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 25920 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1542.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 41951 0 0 0 154194 32 0 0 20 0 2 0 331297096 152977408 25920 33554432000 4194304 5964350 140733997962576 140191855778328 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 149392

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 1.93 3/179 6617
/proc/meminfo: memFree=26055068/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1602.02 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 42732 0 0 0 160193 9 0 0 20 0 2 0 331297096 152977408 25920 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 25920 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1602.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 41951 0 0 0 160193 33 0 0 20 0 2 0 331297096 152977408 25920 33554432000 4194304 5964350 140733997962576 140191855778328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 149392

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 1.93 3/179 6617
/proc/meminfo: memFree=25717424/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1662.01 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 43149 0 0 0 166192 9 0 0 20 0 2 0 331297096 152977408 25922 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 25922 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1662.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 42368 0 0 0 166191 35 0 0 20 0 2 0 331297096 152977408 25922 33554432000 4194304 5964350 140733997962576 140191855778632 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 149392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.93 3/180 6621
/proc/meminfo: memFree=25402832/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1722 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 44472 0 0 0 172191 9 0 0 20 0 2 0 331297096 152977408 26479 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 26479 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1722.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 43691 0 0 0 172190 36 0 0 20 0 2 0 331297096 152977408 26479 33554432000 4194304 5964350 140733997962576 140191855778632 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 149392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25098360/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1781.99 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 45928 0 0 0 178190 9 0 0 20 0 2 0 331297096 152977408 27051 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27051 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1782.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45147 0 0 0 178189 37 0 0 20 0 2 0 331297096 152977408 27051 33554432000 4194304 5964350 140733997962576 140191855778328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 149392

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25051076/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1791.59 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 45928 0 0 0 179150 9 0 0 20 0 2 0 331297096 152977408 27051 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27051 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1791.86 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45147 0 0 0 179149 37 0 0 20 0 2 0 331297096 152977408 27051 33554432000 4194304 5964350 140733997962576 140191855778328 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 149392

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25022960/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1794.79 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 45928 0 0 0 179470 9 0 0 20 0 2 0 331297096 152977408 27051 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27051 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1795.06 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45147 0 0 0 179469 37 0 0 20 0 2 0 331297096 152977408 27051 33554432000 4194304 5964350 140733997962576 140191855778328 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 149392

[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25028352/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1797.98 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 46732 0 0 0 179789 9 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27855 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1798.26 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45951 0 0 0 179789 37 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140191855778136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 149392

[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25007580/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1798.78 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 46732 0 0 0 179869 9 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27855 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1799.06 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45951 0 0 0 179869 37 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140191855778136 4403626 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 149392

[startup+1799.5 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25008324/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1799.19 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 46732 0 0 0 179910 9 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27855 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1799.46 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45951 0 0 0 179909 37 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140191855778136 4403296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 149392

[startup+1799.9 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25008324/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1799.58 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 46732 0 0 0 179949 9 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27855 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1799.86 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45951 0 0 0 179949 37 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140191855778136 4399944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 149392

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 6621
/proc/meminfo: memFree=25008324/32873648 swapFree=7368/7368
[pid=6542] ppid=6540 vsize=149392 CPUtime=1799.68 cores=1,3,5,7
/proc/6542/stat : 6542 (wbo1.72) S 6540 6542 3777 0 -1 4202496 46732 0 0 0 179959 9 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140733997962096 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6542/statm: 37348 27855 195 433 0 36912 0
[pid=6542/tid=6543] ppid=6540 vsize=149392 CPUtime=1799.96 cores=1,3,5,7
/proc/6542/task/6543/stat : 6543 (wbo1.72) R 6540 6542 3777 0 -1 4202560 45951 0 0 0 179959 37 0 0 20 0 2 0 331297096 152977408 27855 33554432000 4194304 5964350 140733997962576 140191855778136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (KiB) 149392

Child status: 255
Real time (s): 1800
CPU time (s): 1799.98
CPU user time (s): 1799.6
CPU system time (s): 0.383941
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 155884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.383941
maximum resident set size= 111428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46734
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= 49
involuntary context switches= 1848

runsolver used 2.6066 second user time and 7.2159 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-02 17:42:10
IDJOB=3727304
IDBENCH=1848
IDSOLVER=2313
FILE ID=node149/3727304-1338651730
RUNJOBID= node149-1338651349-6081
PBS_JOBID= 14636431
Free space on /tmp= 71324 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727304-1338651730/watcher-3727304-1338651730 -o /tmp/evaluation-result-3727304-1338651730/solver-3727304-1338651730 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727304-1338651730.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=61360247

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27416556 kB
Buffers:          689732 kB
Cached:          3699876 kB
SwapCached:         2468 kB
Active:          1762444 kB
Inactive:        2824192 kB
Active(anon):     179912 kB
Inactive(anon):     9368 kB
Active(file):    1582532 kB
Inactive(file):  2814824 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:        192704 kB
Mapped:            14968 kB
Shmem:                96 kB
Slab:             731384 kB
SReclaimable:     175384 kB
SUnreclaim:       556000 kB
KernelStack:        1488 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     156880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71316 MiB
End job on node149 at 2012-06-02 18:12:10