Trace number 3705003

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.7? 1799.94 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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705003-1338085471.opb.
0.00/0.00	c Instance file HOME/instance-3705003-1338085471.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.03/0.06	c | 0.06      | 0  | 2049         lb |  0                0                0.00  |
0.03/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.23	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.35      | 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.88	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/1.00	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.07	c | 1.07      | 0  | 2159         lb |  0                0                0.00  |
1.10/1.11	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.31      | 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.55	c | 1.56      | 0  | 2312         lb |  0                0                0.00  |
1.49/1.60	c | 1.60      | 0  | 2328         lb |  0                0                0.00  |
1.59/1.64	c | 1.64      | 0  | 2333         lb |  0                0                0.00  |
1.59/1.68	c | 1.68      | 0  | 2343         lb |  0                0                0.00  |
1.69/1.71	c | 1.72      | 0  | 2344         lb |  0                0                0.00  |
1.69/1.76	c | 1.76      | 0  | 2360         lb |  0                0                0.00  |
1.79/1.80	c | 1.80      | 0  | 2361         lb |  0                0                0.00  |
1.79/1.85	c | 1.85      | 0  | 2368         lb |  0                0                0.00  |
1.79/1.89	c | 1.89      | 0  | 2391         lb |  0                0                0.00  |
1.89/1.93	c | 1.94      | 0  | 2477         lb |  0                0                0.00  |
1.89/1.99	c | 1.99      | 0  | 2478         lb |  0                0                0.00  |
1.99/2.04	c | 2.04      | 0  | 2543         lb |  0                0                0.00  |
1.99/2.08	c | 2.09      | 0  | 2544         lb |  0                0                0.00  |
2.09/2.13	c | 2.13      | 0  | 2559         lb |  0                0                0.00  |
2.09/2.17	c | 2.18      | 0  | 2592         lb |  0                0                0.00  |
2.19/2.27	c | 2.27      | 0  | 2593         lb |  0                0                0.00  |
2.29/2.31	c | 2.31      | 0  | 2594         lb |  0                0                0.00  |
2.29/2.36	c | 2.36      | 0  | 2628         lb |  0                0                0.00  |
2.39/2.40	c | 2.40      | 0  | 2798         lb |  0                0                0.00  |
2.39/2.45	c | 2.46      | 0  | 3055         lb |  0                0                0.00  |
2.99/3.00	c | 3.00      | 0  | 3056         lb |  0                0                0.00  |
3.59/3.66	c | 3.67      | 0  | 3057         lb |  0                0                0.00  |
4.09/4.11	c | 4.11      | 0  | 3058         lb |  0                0                0.00  |
4.69/4.75	c | 4.76      | 0  | 3059         lb |  0                0                0.00  |
5.08/5.15	c | 5.16      | 0  | 3060         lb |  0                0                0.00  |
6.08/6.10	c | 6.10      | 0  | 3061         lb |  0                0                0.00  |
7.08/7.18	c | 7.19      | 0  | 3062         lb |  0                0                0.00  |
8.28/8.32	c | 8.32      | 0  | 3063         lb |  0                0                0.00  |
8.88/8.96	c | 8.96      | 0  | 3064         lb |  0                0                0.00  |
9.68/9.75	c | 9.75      | 0  | 3065         lb |  0                0                0.00  |
10.78/10.87	c | 10.87     | 0  | 3066         lb |  0                0                0.00  |
11.99/12.03	c | 12.04     | 0  | 3067         lb |  0                0                0.00  |
12.98/13.04	c | 13.04     | 0  | 3068         lb |  0                0                0.00  |
14.08/14.14	c | 14.15     | 0  | 3069         lb |  0                0                0.00  |
14.98/15.09	c | 15.09     | 0  | 3070         lb |  0                0                0.00  |
16.28/16.38	c | 16.39     | 0  | 3071         lb |  0                0                0.00  |
17.69/17.79	c | 17.80     | 0  | 3072         lb |  0                0                0.00  |
20.49/20.57	c | 20.57     | 0  | 3073         lb |  0                0                0.00  |
29.18/29.20	c | 29.21     | 0  | 3074         lb |  0                0                0.00  |
56.88/56.91	c | 56.92     | 0  | 3075         lb |  0                0                0.00  |
66.38/66.48	c | 66.49     | 0  | 3076         lb |  0                0                0.00  |
70.18/70.21	c | 70.21     | 0  | 3077         lb |  0                0                0.00  |
94.58/94.62	c | 94.62     | 0  | 3078         lb |  0                0                0.00  |
117.47/117.58	c | 117.58    | 0  | 3079         lb |  0                0                0.00  |
142.66/142.78	c | 142.79    | 0  | 3080         lb |  0                0                0.00  |
161.95/162.06	c | 162.06    | 0  | 3081         lb |  0                0                0.00  |
164.15/164.22	c | 164.23    | 0  | 3082         lb |  0                0                0.00  |
173.84/173.93	c | 173.94    | 0  | 3083         lb |  0                0                0.00  |
186.23/186.33	c | 186.34    | 0  | 3084         lb |  0                0                0.00  |
204.33/204.47	c | 204.48    | 0  | 3085         lb |  0                0                0.00  |
227.83/227.91	c | 227.92    | 0  | 3086         lb |  0                0                0.00  |
239.23/239.39	c | 239.40    | 0  | 3087         lb |  0                0                0.00  |
241.73/241.80	c | 241.80    | 0  | 3088         lb |  0                0                0.00  |
260.12/260.25	c | 260.26    | 0  | 3089         lb |  0                0                0.00  |
272.52/272.64	c | 272.64    | 0  | 3090         lb |  0                0                0.00  |
281.43/281.55	c | 281.56    | 0  | 3091         lb |  0                0                0.00  |
298.62/298.70	c | 298.71    | 0  | 3092         lb |  0                0                0.00  |
300.12/300.21	c | 300.22    | 0  | 3093         lb |  0                0                0.00  |
323.41/323.51	c | 323.52    | 0  | 3094         lb |  0                0                0.00  |
352.21/352.39	c | 352.40    | 0  | 3095         lb |  0                0                0.00  |
374.40/374.59	c | 374.59    | 0  | 3096         lb |  0                0                0.00  |
388.90/389.08	c | 389.08    | 0  | 3097         lb |  0                0                0.00  |
409.81/409.93	c | 409.94    | 0  | 3098         lb |  0                0                0.00  |
432.60/432.72	c | 432.72    | 0  | 3099         lb |  0                0                0.00  |
450.00/450.10	c | 450.10    | 0  | 3100         lb |  0                0                0.00  |
463.60/463.74	c | 463.75    | 0  | 3101         lb |  0                0                0.00  |
486.69/486.88	c | 486.88    | 0  | 3102         lb |  0                0                0.00  |
494.59/494.75	c | 494.75    | 0  | 3103         lb |  0                0                0.00  |
505.80/505.95	c | 505.96    | 0  | 3104         lb |  0                0                0.00  |
524.79/524.95	c | 524.95    | 0  | 3105         lb |  0                0                0.00  |
526.49/526.69	c | 526.69    | 0  | 3106         lb |  0                0                0.00  |
542.48/542.67	c | 542.67    | 0  | 3107         lb |  0                0                0.00  |
558.18/558.30	c | 558.31    | 0  | 3108         lb |  0                0                0.00  |
568.48/568.68	c | 568.68    | 0  | 3109         lb |  0                0                0.00  |
573.48/573.65	c | 573.66    | 0  | 3110         lb |  0                0                0.00  |
575.88/576.02	c | 576.02    | 0  | 3111         lb |  0                0                0.00  |
577.87/578.04	c | 578.04    | 0  | 3112         lb |  0                0                0.00  |
580.37/580.54	c | 580.55    | 0  | 3113         lb |  0                0                0.00  |
582.78/582.90	c | 582.91    | 0  | 3114         lb |  0                0                0.00  |
604.16/604.30	c | 604.31    | 0  | 3118         lb |  0                0                0.00  |
615.96/616.16	c | 616.17    | 0  | 3120         lb |  0                0                0.00  |
631.17/631.31	c | 631.31    | 0  | 3121         lb |  0                0                0.00  |
633.56/633.75	c | 633.76    | 0  | 3122         lb |  0                0                0.00  |
636.46/636.61	c | 636.61    | 0  | 3123         lb |  0                0                0.00  |
638.76/638.95	c | 638.96    | 0  | 3124         lb |  0                0                0.00  |
662.35/662.51	c | 662.52    | 0  | 3125         lb |  0                0                0.00  |
673.95/674.11	c | 674.12    | 0  | 3127         lb |  0                0                0.00  |
675.55/675.78	c | 675.78    | 0  | 3128         lb |  0                0                0.00  |
677.85/678.06	c | 678.06    | 0  | 3129         lb |  0                0                0.00  |
679.55/679.79	c | 679.80    | 0  | 3130         lb |  0                0                0.00  |
694.45/694.64	c | 694.64    | 0  | 3131         lb |  0                0                0.00  |
709.25/709.46	c | 709.47    | 0  | 3132         lb |  0                0                0.00  |
733.34/733.57	c | 733.57    | 0  | 3133         lb |  0                0                0.00  |
749.34/749.50	c | 749.50    | 0  | 3134         lb |  0                0                0.00  |
781.44/781.60	c | 781.61    | 0  | 3135         lb |  0                0                0.00  |
783.44/783.65	c | 783.65    | 0  | 3136         lb |  0                0                0.00  |
785.74/785.96	c | 785.97    | 0  | 3137         lb |  0                0                0.00  |
804.14/804.32	c | 804.33    | 0  | 3138         lb |  0                0                0.00  |
825.03/825.28	c | 825.28    | 0  | 3139         lb |  0                0                0.00  |
827.23/827.48	c | 827.49    | 0  | 3140         lb |  0                0                0.00  |
852.23/852.50	c | 852.50    | 0  | 3142         lb |  0                0                0.00  |
854.43/854.62	c | 854.62    | 0  | 3143         lb |  0                0                0.00  |
877.42/877.70	c | 877.70    | 0  | 3144         lb |  0                0                0.00  |
894.82/895.08	c | 895.09    | 0  | 3145         lb |  0                0                0.00  |
908.32/908.52	c | 908.52    | 0  | 3146         lb |  0                0                0.00  |
910.72/910.90	c | 910.91    | 0  | 3147         lb |  0                0                0.00  |
930.91/931.17	c | 931.17    | 0  | 3148         lb |  0                0                0.00  |
934.51/934.79	c | 934.80    | 0  | 3149         lb |  0                0                0.00  |
951.61/951.85	c | 951.86    | 0  | 3150         lb |  0                0                0.00  |
974.70/974.93	c | 974.94    | 0  | 3151         lb |  0                0                0.00  |
995.10/995.39	c | 995.39    | 0  | 3152         lb |  0                0                0.00  |
1023.50/1023.76	c | 1023.76   | 0  | 3153         lb |  0                0                0.00  |
1045.39/1045.63	c | 1045.64   | 0  | 3154         lb |  0                0                0.00  |
1064.39/1064.65	c | 1064.66   | 0  | 3155         lb |  0                0                0.00  |
1078.99/1079.25	c | 1079.25   | 0  | 3156         lb |  0                0                0.00  |
1097.19/1097.49	c | 1097.50   | 0  | 3160         lb |  0                0                0.00  |
1099.70/1099.95	c | 1099.96   | 0  | 3161         lb |  0                0                0.00  |
1102.19/1102.45	c | 1102.46   | 0  | 3162         lb |  0                0                0.00  |
1120.29/1120.57	c | 1120.57   | 0  | 3163         lb |  0                0                0.00  |
1123.69/1123.94	c | 1123.94   | 0  | 3166         lb |  0                0                0.00  |
1126.78/1127.09	c | 1127.09   | 0  | 3167         lb |  0                0                0.00  |
1147.28/1147.52	c | 1147.53   | 0  | 3169         lb |  0                0                0.00  |
1149.78/1150.08	c | 1150.09   | 0  | 3170         lb |  0                0                0.00  |
1167.28/1167.54	c | 1167.54   | 0  | 3171         lb |  0                0                0.00  |
1190.47/1190.78	c | 1190.79   | 0  | 3172         lb |  0                0                0.00  |
1192.87/1193.11	c | 1193.12   | 0  | 3173         lb |  0                0                0.00  |
1195.38/1195.64	c | 1195.64   | 0  | 3174         lb |  0                0                0.00  |
1208.07/1208.30	c | 1208.30   | 0  | 3175         lb |  0                0                0.00  |
1231.77/1232.06	c | 1232.07   | 0  | 3176         lb |  0                0                0.00  |
1234.17/1234.42	c | 1234.42   | 0  | 3177         lb |  0                0                0.00  |
1236.77/1237.03	c | 1237.03   | 0  | 3178         lb |  0                0                0.00  |
1257.67/1257.94	c | 1257.94   | 0  | 3179         lb |  0                0                0.00  |
1272.27/1272.55	c | 1272.55   | 0  | 3180         lb |  0                0                0.00  |
1301.86/1302.18	c | 1302.18   | 0  | 3181         lb |  0                0                0.00  |
1303.76/1304.01	c | 1304.01   | 0  | 3182         lb |  0                0                0.00  |
1307.16/1307.45	c | 1307.46   | 0  | 3183         lb |  0                0                0.00  |
1310.16/1310.41	c | 1310.42   | 0  | 3184         lb |  0                0                0.00  |
1313.86/1314.15	c | 1314.15   | 0  | 3185         lb |  0                0                0.00  |
1327.36/1327.68	c | 1327.69   | 0  | 3186         lb |  0                0                0.00  |
1330.45/1330.77	c | 1330.77   | 0  | 3187         lb |  0                0                0.00  |
1340.35/1340.64	c | 1340.64   | 0  | 3188         lb |  0                0                0.00  |
1357.45/1357.78	c | 1357.79   | 0  | 3189         lb |  0                0                0.00  |
1398.44/1398.70	c | 1398.70   | 0  | 3190         lb |  0                0                0.00  |
1400.74/1401.06	c | 1401.07   | 0  | 3191         lb |  0                0                0.00  |
1403.13/1403.41	c | 1403.42   | 0  | 3192         lb |  0                0                0.00  |
1420.03/1420.33	c | 1420.33   | 0  | 3193         lb |  0                0                0.00  |
1422.53/1422.85	c | 1422.85   | 0  | 3194         lb |  0                0                0.00  |
1425.53/1425.80	c | 1425.80   | 0  | 3195         lb |  0                0                0.00  |
1428.02/1428.33	c | 1428.34   | 0  | 3196         lb |  0                0                0.00  |
1430.03/1430.32	c | 1430.32   | 0  | 3197         lb |  0                0                0.00  |
1433.72/1434.02	c | 1434.03   | 0  | 3198         lb |  0                0                0.00  |
1437.33/1437.66	c | 1437.66   | 0  | 3199         lb |  0                0                0.00  |
1466.92/1467.27	c | 1467.27   | 0  | 3200         lb |  0                0                0.00  |
1485.32/1485.63	c | 1485.63   | 0  | 3201         lb |  0                0                0.00  |
1508.93/1509.22	c | 1509.23   | 0  | 3202         lb |  0                0                0.00  |
1535.42/1535.71	c | 1535.72   | 0  | 3204         lb |  0                0                0.00  |
1540.92/1541.25	c | 1541.25   | 0  | 3205         lb |  0                0                0.00  |
1545.42/1545.74	c | 1545.74   | 0  | 3206         lb |  0                0                0.00  |
1564.11/1564.47	c | 1564.48   | 0  | 3285         lb |  0                0                0.00  |
1592.71/1593.04	c | 1593.04   | 0  | 3286         lb |  0                0                0.00  |
1610.31/1610.62	c | 1610.62   | 0  | 3287         lb |  0                0                0.00  |
1629.10/1629.43	c | 1629.43   | 0  | 3288         lb |  0                0                0.00  |
1666.99/1667.39	c | 1667.39   | 0  | 3289         lb |  0                0                0.00  |
1670.89/1671.24	c | 1671.24   | 0  | 3290         lb |  0                0                0.00  |
1675.09/1675.50	c | 1675.50   | 0  | 3291         lb |  0                0                0.00  |
1680.99/1681.32	c | 1681.33   | 0  | 3292         lb |  0                0                0.00  |
1683.29/1683.60	c | 1683.60   | 0  | 3293         lb |  0                0                0.00  |
1685.79/1686.15	c | 1686.15   | 0  | 3294         lb |  0                0                0.00  |
1688.59/1688.91	c | 1688.92   | 0  | 3295         lb |  0                0                0.00  |
1691.09/1691.43	c | 1691.43   | 0  | 3296         lb |  0                0                0.00  |
1726.28/1726.60	c | 1726.61   | 0  | 3297         lb |  0                0                0.00  |
1729.18/1729.51	c | 1729.51   | 0  | 3298         lb |  0                0                0.00  |
1753.68/1754.01	c | 1754.01   | 0  | 3299         lb |  0                0                0.00  |
1757.68/1758.04	c | 1758.04   | 0  | 3300         lb |  0                0                0.00  |
1760.07/1760.46	c | 1760.47   | 0  | 3301         lb |  0                0                0.00  |
1780.18/1780.55	c | 1780.55   | 0  | 3302         lb |  0                0                0.00  |
1782.88/1783.21	c | 1783.21   | 0  | 3303         lb |  0                0                0.00  |
1796.27/1796.64	c | 1796.64   | 0  | 3304         lb |  0                0                0.00  |
1798.47/1798.83	c | 1798.83   | 0  | 3305         lb |  0                0                0.00  |
1799.67/1800.00	c ===============================================================================
1799.67/1800.00	c Wall Clock Time: 1800.00 s
1799.67/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-3705003-1338085471/watcher-3705003-1338085471 -o /tmp/evaluation-result-3705003-1338085471/solver-3705003-1338085471 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705003-1338085471.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.91 3/173 16028
/proc/meminfo: memFree=29146684/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=0 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 888 0 0 0 0 0 0 0 20 0 2 0 274671656 85864448 827 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 828 191 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=0 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 109 0 0 0 0 0 0 0 20 0 2 0 274671657 85864448 832 33554432000 4194304 5963574 140736868508384 140736868507800 5243463 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0

[startup+0.033634 s]
/proc/loadavg: 2.01 2.01 1.91 3/173 16028
/proc/meminfo: memFree=29146684/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=0.03 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 1119 0 0 0 3 0 0 0 20 0 2 0 274671656 85864448 1058 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 1058 193 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=0.01 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 2 0 274671657 85864448 1058 33554432000 4194304 5963574 140736868508384 140736868507800 4403213 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83852

[startup+0.100326 s]
/proc/loadavg: 2.01 2.01 1.91 3/173 16028
/proc/meminfo: memFree=29146684/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=0.09 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 1188 0 0 0 9 0 0 0 20 0 2 0 274671656 85864448 1127 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 1127 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=0.08 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 404 0 0 0 8 0 0 0 20 0 2 0 274671657 85864448 1127 33554432000 4194304 5963574 140736868508384 140736868507800 4403253 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83852

[startup+0.300251 s]
/proc/loadavg: 2.01 2.01 1.91 3/173 16028
/proc/meminfo: memFree=29146684/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=0.29 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 1337 0 0 0 29 0 0 0 20 0 2 0 274671656 85864448 1276 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 1276 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=0.28 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 553 0 0 0 28 0 0 0 20 0 2 0 274671657 85864448 1276 33554432000 4194304 5963574 140736868508384 140545562249576 4408768 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83852

[startup+0.700248 s]
/proc/loadavg: 2.01 2.01 1.91 3/173 16028
/proc/meminfo: memFree=29146684/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=0.69 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 1681 0 0 0 69 0 0 0 20 0 2 0 274671656 85864448 1620 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 1620 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=0.68 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 897 0 0 0 68 0 0 0 20 0 2 0 274671657 85864448 1620 33554432000 4194304 5963574 140736868508384 140545562249576 4403253 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83852

[startup+1.50026 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 16041
/proc/meminfo: memFree=29066128/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=1.49 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 2508 0 0 0 149 0 0 0 20 0 2 0 274671656 85864448 2361 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 2361 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=1.48 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 1724 0 0 0 148 0 0 0 20 0 2 0 274671657 85864448 2361 33554432000 4194304 5963574 140736868508384 140545562249560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83852

[startup+3.10026 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 16041
/proc/meminfo: memFree=29022248/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=3.09 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 3997 0 0 0 309 0 0 0 20 0 2 0 274671656 85864448 3187 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 3187 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=3.08 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 3213 0 0 0 308 0 0 0 20 0 2 0 274671657 85864448 3187 33554432000 4194304 5963574 140736868508384 140545562249624 4399398 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83852

[startup+6.30029 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 16041
/proc/meminfo: memFree=28995960/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=6.28 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 5198 0 0 0 628 0 0 0 20 0 2 0 274671656 85864448 4164 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 4164 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=6.28 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 4414 0 0 0 628 0 0 0 20 0 2 0 274671657 85864448 4164 33554432000 4194304 5963574 140736868508384 140545562249544 4400026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83852

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 16041
/proc/meminfo: memFree=28967148/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=12.68 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 6659 0 0 0 1268 0 0 0 20 0 2 0 274671656 85864448 5013 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 5013 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=12.68 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 5875 0 0 0 1268 0 0 0 20 0 2 0 274671657 85864448 5013 33554432000 4194304 5963574 140736868508384 140545562250168 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83852

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 16041
/proc/meminfo: memFree=28923400/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=25.49 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 7522 0 0 0 2548 1 0 0 20 0 2 0 274671656 85864448 5661 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 5661 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=25.48 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 6738 0 0 0 2546 2 0 0 20 0 2 0 274671657 85864448 5661 33554432000 4194304 5963574 140736868508384 140545562249560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83852

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16041
/proc/meminfo: memFree=28830864/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=51.07 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 11789 0 0 0 5106 1 0 0 20 0 2 0 274671656 85864448 9927 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 9927 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=51.08 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 11005 0 0 0 5106 2 0 0 20 0 2 0 274671657 85864448 9927 33554432000 4194304 5963574 140736868508384 140545562249256 4372553 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83852

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16042
/proc/meminfo: memFree=28687672/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=102.28 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 15880 0 0 0 10226 2 0 0 20 0 2 0 274671656 85864448 14017 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 14017 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=102.28 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 15096 0 0 0 10224 4 0 0 20 0 2 0 274671657 85864448 14017 33554432000 4194304 5963574 140736868508384 140545562249752 4402879 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83852

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16042
/proc/meminfo: memFree=28566564/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=162.25 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 15903 0 0 0 16223 2 0 0 20 0 2 0 274671656 85864448 14040 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 14040 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=162.26 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 15119 0 0 0 16221 5 0 0 20 0 2 0 274671657 85864448 14040 33554432000 4194304 5963574 140736868508384 140545562249752 4399448 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 83852

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 16042
/proc/meminfo: memFree=28447472/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=222.22 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 15914 0 0 0 22220 2 0 0 20 0 2 0 274671656 85864448 14067 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 14067 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=222.25 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 15130 0 0 0 22219 6 0 0 20 0 2 0 274671657 85864448 14067 33554432000 4194304 5963574 140736868508384 140545562249752 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 83852

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 16042
/proc/meminfo: memFree=28320292/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=282.22 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 18046 0 0 0 28219 3 0 0 20 0 2 0 274671656 85864448 15162 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 15162 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=282.25 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 17262 0 0 0 28217 8 0 0 20 0 2 0 274671657 85864448 15162 33554432000 4194304 5963574 140736868508384 140545562250056 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 83852

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/180 16045
/proc/meminfo: memFree=28231992/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=83852 CPUtime=342.21 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 18268 0 0 0 34218 3 0 0 20 0 2 0 274671656 85864448 15383 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 20963 15383 195 432 0 20528 0
[pid=16028/tid=16029] ppid=16026 vsize=83852 CPUtime=342.25 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 17484 0 0 0 34216 9 0 0 20 0 2 0 274671657 85864448 15383 33554432000 4194304 5963574 140736868508384 140545562249640 4400068 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 83852

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 16046
/proc/meminfo: memFree=28129636/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=402.21 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 20999 0 0 0 40217 4 0 0 20 0 2 0 274671656 152973312 18113 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0

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

/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 36808 0 0 0 130197 27 0 0 20 0 2 0 274671657 152973312 23627 33554432000 4194304 5963574 140736868508384 140545562249752 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 149388

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 16053
/proc/meminfo: memFree=27146568/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1362.05 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 39135 0 0 0 136198 7 0 0 20 0 2 0 274671656 152973312 23683 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 23683 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1362.23 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 38351 0 0 0 136195 28 0 0 20 0 2 0 274671657 152973312 23683 33554432000 4194304 5963574 140736868508384 140545562249752 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 149388

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 16053
/proc/meminfo: memFree=27133524/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1422.03 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 42082 0 0 0 142196 7 0 0 20 0 2 0 274671656 152973312 26761 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 26761 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1422.23 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 41298 0 0 0 142194 29 0 0 20 0 2 0 274671657 152973312 26761 33554432000 4194304 5963574 140736868508384 140545562249560 4402906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 149388

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16053
/proc/meminfo: memFree=27134136/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1482.02 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 43338 0 0 0 148195 7 0 0 20 0 2 0 274671656 152973312 26416 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 26416 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1482.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 42554 0 0 0 148192 30 0 0 20 0 2 0 274671657 152973312 26416 33554432000 4194304 5963574 140736868508384 140545562249752 4399958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 149388

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16056
/proc/meminfo: memFree=27134136/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1542.02 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 43338 0 0 0 154194 8 0 0 20 0 2 0 274671656 152973312 26016 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 26016 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1542.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 42554 0 0 0 154190 32 0 0 20 0 2 0 274671657 152973312 26016 33554432000 4194304 5963574 140736868508384 140545562249752 4388696 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 149388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16056
/proc/meminfo: memFree=27132964/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1602.01 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 43759 0 0 0 160193 8 0 0 20 0 2 0 274671656 152973312 26437 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 26437 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1602.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 42975 0 0 0 160189 33 0 0 20 0 2 0 274671657 152973312 26437 33554432000 4194304 5963574 140736868508384 140545562249752 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 149388

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16057
/proc/meminfo: memFree=27133304/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1662 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 44179 0 0 0 166192 8 0 0 20 0 2 0 274671656 152973312 26442 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 26442 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1662.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 43395 0 0 0 166188 34 0 0 20 0 2 0 274671657 152973312 26442 33554432000 4194304 5963574 140736868508384 140545562249752 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 149388

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16057
/proc/meminfo: memFree=27132220/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1721.98 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 45973 0 0 0 172190 8 0 0 20 0 2 0 274671656 152973312 26587 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 26587 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1722.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 45189 0 0 0 172187 35 0 0 20 0 2 0 274671657 152973312 26587 33554432000 4194304 5963574 140736868508384 140545562250056 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 149388

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16057
/proc/meminfo: memFree=27129396/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1781.98 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 48675 0 0 0 178189 9 0 0 20 0 2 0 274671656 152973312 27186 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 27186 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1782.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 47891 0 0 0 178185 37 0 0 20 0 2 0 274671657 152973312 27186 33554432000 4194304 5963574 140736868508384 140545562250056 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 149388

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 16057
/proc/meminfo: memFree=27124916/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1791.58 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 50005 0 0 0 179149 9 0 0 20 0 2 0 274671656 152973312 28515 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 28515 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1791.83 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 49221 0 0 0 179146 37 0 0 20 0 2 0 274671657 152973312 28515 33554432000 4194304 5963574 140736868508384 140545562249624 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 149388

[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 1.95 3/179 16057
/proc/meminfo: memFree=27124900/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1794.78 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 50005 0 0 0 179469 9 0 0 20 0 2 0 274671656 152973312 28515 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 28515 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1795.03 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 49221 0 0 0 179466 37 0 0 20 0 2 0 274671657 152973312 28515 33554432000 4194304 5963574 140736868508384 140545562249624 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 149388

[startup+1798.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/179 16057
/proc/meminfo: memFree=27128372/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1797.97 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 50005 0 0 0 179788 9 0 0 20 0 2 0 274671656 152973312 27505 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 27505 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1798.22 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 49221 0 0 0 179785 37 0 0 20 0 2 0 274671657 152973312 27505 33554432000 4194304 5963574 140736868508384 140545562250056 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 149388

[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 16057
/proc/meminfo: memFree=27128372/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1798.77 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 51320 0 0 0 179868 9 0 0 20 0 2 0 274671656 152973312 28819 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 28819 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1799.02 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 50536 0 0 0 179865 37 0 0 20 0 2 0 274671657 152973312 28819 33554432000 4194304 5963574 140736868508384 140545562250056 4388676 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 149388

[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 16057
/proc/meminfo: memFree=27123660/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1799.18 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 51320 0 0 0 179909 9 0 0 20 0 2 0 274671656 152973312 28819 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 28819 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1799.43 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 50536 0 0 0 179906 37 0 0 20 0 2 0 274671657 152973312 28819 33554432000 4194304 5963574 140736868508384 140545562249560 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 149388

[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 16057
/proc/meminfo: memFree=27123660/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1799.57 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 51320 0 0 0 179948 9 0 0 20 0 2 0 274671656 152973312 28819 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 28819 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1799.82 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 50536 0 0 0 179945 37 0 0 20 0 2 0 274671657 152973312 28819 33554432000 4194304 5963574 140736868508384 140545562249560 4400320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 149388

[startup+1800 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 16057
/proc/meminfo: memFree=27123660/32873844 swapFree=7900/7900
[pid=16028] ppid=16026 vsize=149388 CPUtime=1799.67 cores=0,2,4,6
/proc/16028/stat : 16028 (wbo1.7) S 16026 16028 15878 0 -1 4202496 51320 0 0 0 179958 9 0 0 20 0 2 0 274671656 152973312 28819 33554432000 4194304 5963574 140736868508384 140736868507904 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16028/statm: 37347 28819 195 432 0 36912 0
[pid=16028/tid=16029] ppid=16026 vsize=149388 CPUtime=1799.92 cores=0,2,4,6
/proc/16028/task/16029/stat : 16029 (wbo1.7) R 16026 16028 15878 0 -1 4202560 50536 0 0 0 179955 37 0 0 20 0 2 0 274671657 152973312 28819 33554432000 4194304 5963574 140736868508384 140545562249560 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 149388

Child status: 255
Real time (s): 1800
CPU time (s): 1799.94
CPU user time (s): 1799.56
CPU system time (s): 0.382941
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 153716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.382941
maximum resident set size= 115276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51320
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= 47
involuntary context switches= 2075

runsolver used 4.66629 second user time and 11.5882 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-27 04:24:31
IDJOB=3705003
IDBENCH=1848
IDSOLVER=2283
FILE ID=node137/3705003-1338085471
RUNJOBID= node137-1338083671-15894
PBS_JOBID= 14624423
Free space on /tmp= 71496 MiB

SOLVER NAME= wbo 1.7
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.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705003-1338085471/watcher-3705003-1338085471 -o /tmp/evaluation-result-3705003-1338085471/solver-3705003-1338085471 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705003-1338085471.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=1723144801

node137.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.600
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	: 5333.20
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.600
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.600
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	: 5331.92
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.600
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.600
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.600
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	: 5331.90
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.600
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.600
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:       32873844 kB
MemFree:        29146684 kB
Buffers:          304684 kB
Cached:          2590388 kB
SwapCached:        22060 kB
Active:           769336 kB
Inactive:        2150092 kB
Active(anon):       3764 kB
Inactive(anon):    22684 kB
Active(file):     765572 kB
Inactive(file):  2127408 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081508 kB
Dirty:              5464 kB
Writeback:             0 kB
AnonPages:         74664 kB
Mapped:             8724 kB
Shmem:                 0 kB
Slab:             665848 kB
SReclaimable:     107468 kB
SUnreclaim:       558380 kB
KernelStack:        1488 kB
PageTables:         3884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71480 MiB
End job on node137 at 2012-05-27 04:54:31