Trace number 3461733

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.6? (TO) 1800.05 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12057_1.std.opb
MD5SUMc5fc99dbb0a3becca43a9267891fcd33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark204
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256080
Number of constraints which are clauses254880
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461733-1307121377.opb.
0.00/0.00	c Instance file HOME/instance-3461733-1307121377.opb
0.00/0.00	c File size is 8619569 bytes.
0.59/0.68	c Highest Coefficient sum: 733
0.59/0.68	c ============================[ Problem Statistics ]=============================
0.59/0.68	c |                                                                             |
0.59/0.68	c |  Parsing time:          0.67         s                                      |
0.59/0.68	c |  Number Variables:      72842                                               |
0.59/0.68	c |  Number Clauses:        254880                                              |
0.59/0.68	c |  Number Cardinality:    0                                                   |
0.59/0.68	c |  Number PB Constraints: 1200                                                |
0.79/0.81	c ============================[ Search Statistics ]==============================
0.79/0.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.81	c ===============================================================================
0.79/0.81	c |         0 |   50140   256080   551759 |    85360        0   -nan |  0.000 % |
1.39/1.41	c core #1
1.39/1.41	c 
1.39/1.41	c 
1.39/1.41	c Core size: 372	Core Weight: 114	Total Weight: 114
1.39/1.41	c Current CPU time: 0.877866 s
1.39/1.41	c
1.39/1.41	c core #2
1.39/1.41	c 
1.39/1.41	c 
1.39/1.41	c Core size: 407	Core Weight: 1	Total Weight: 115
1.39/1.41	c Current CPU time: 0.972852 s
1.39/1.41	c
1.39/1.41	c core #3
1.39/1.41	c 
1.39/1.41	c 
1.39/1.41	c Core size: 405	Core Weight: 1	Total Weight: 116
1.39/1.41	c Current CPU time: 1.06884 s
1.39/1.41	c
1.39/1.41	c core #4
1.39/1.41	c 
1.39/1.41	c 
1.39/1.41	c Core size: 452	Core Weight: 1	Total Weight: 117
1.39/1.41	c Current CPU time: 1.16782 s
1.39/1.41	c
1.39/1.41	c core #5
1.39/1.41	c 
1.39/1.41	c 
1.39/1.41	c Core size: 560	Core Weight: 1	Total Weight: 118
1.39/1.41	c Current CPU time: 1.26881 s
1.39/1.41	c
1.39/1.41	c ============================[ Search Statistics ]==============================
1.39/1.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.41	c ===============================================================================
1.39/1.41	c |         0 |    7727   186690   382277 |    62230        0   -nan |  0.000 % |
1.39/1.41	c ===============================================================================
1.49/1.52	c core #6
1.49/1.52	c 
1.49/1.52	c 
1.49/1.52	c Core size: 530	Core Weight: 1	Total Weight: 119
1.49/1.52	c Current CPU time: 1.37479 s
1.49/1.52	c
1.49/1.52	c ============================[ Search Statistics ]==============================
1.49/1.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.52	c ===============================================================================
1.49/1.52	c |         0 |    8151   186872   382955 |    62290        0   -nan |  0.000 % |
1.49/1.53	c ===============================================================================
1.59/1.64	c core #7
1.59/1.64	c 
1.59/1.64	c 
1.59/1.64	c Core size: 487	Core Weight: 1	Total Weight: 120
1.59/1.64	c Current CPU time: 1.48977 s
1.59/1.64	c
1.59/1.64	c ============================[ Search Statistics ]==============================
1.59/1.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.64	c ===============================================================================
1.59/1.64	c |         0 |    8574   187053   383634 |    62351        0   -nan |  0.000 % |
1.59/1.64	c ===============================================================================
1.69/1.75	c core #8
1.69/1.75	c 
1.69/1.75	c 
1.69/1.75	c Core size: 506	Core Weight: 1	Total Weight: 121
1.69/1.75	c Current CPU time: 1.60176 s
1.69/1.75	c
1.69/1.75	c ============================[ Search Statistics ]==============================
1.69/1.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.75	c ===============================================================================
1.69/1.75	c |         0 |    8981   187234   384314 |    62411        0   -nan |  0.000 % |
1.69/1.76	c ===============================================================================
1.79/1.88	c core #9
1.79/1.88	c 
1.79/1.88	c 
1.79/1.88	c Core size: 573	Core Weight: 1	Total Weight: 122
1.79/1.88	c Current CPU time: 1.72274 s
1.79/1.88	c
1.79/1.88	c ============================[ Search Statistics ]==============================
1.79/1.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.88	c ===============================================================================
1.79/1.88	c |         0 |    9400   187414   384995 |    62471        0   -nan |  0.000 % |
1.79/1.89	c ===============================================================================
1.99/2.00	c core #10
1.99/2.00	c 
1.99/2.00	c 
1.99/2.00	c Core size: 556	Core Weight: 1	Total Weight: 123
1.99/2.00	c Current CPU time: 1.84772 s
1.99/2.00	c
1.99/2.00	c ============================[ Search Statistics ]==============================
1.99/2.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.00	c ===============================================================================
1.99/2.00	c |         0 |    9834   187592   385680 |    62530        0   -nan |  0.000 % |
1.99/2.02	c ===============================================================================
2.09/2.14	c core #11
2.09/2.14	c 
2.09/2.14	c 
2.09/2.14	c Core size: 715	Core Weight: 1	Total Weight: 124
2.09/2.14	c Current CPU time: 1.9837 s
2.09/2.14	c
2.09/2.14	c ============================[ Search Statistics ]==============================
2.09/2.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.09/2.14	c ===============================================================================
2.09/2.14	c |         0 |   10256   187770   386368 |    62590        0   -nan |  0.000 % |
2.09/2.16	c |       101 |   10256   187770   386368 |    68849      101     18 | 89.079 % |
2.09/2.18	c ===============================================================================
2.29/2.30	c core #12
2.29/2.30	c 
2.29/2.30	c 
2.29/2.30	c Core size: 796	Core Weight: 1	Total Weight: 125
2.29/2.30	c Current CPU time: 2.13767 s
2.29/2.30	c
2.29/2.30	c ============================[ Search Statistics ]==============================
2.29/2.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.30	c ===============================================================================
2.29/2.30	c |         0 |   10674   187947   387055 |    62649        0   -nan |  0.000 % |
2.29/2.33	c |       101 |   10674   187947   387055 |    68913      101     20 | 85.792 % |
2.29/2.35	c |       251 |   10673   187947   387055 |    75805      251     21 | 85.945 % |
2.29/2.37	c ===============================================================================
2.39/2.49	c core #13
2.39/2.49	c 
2.39/2.49	c 
2.39/2.49	c Core size: 623	Core Weight: 1	Total Weight: 126
2.39/2.49	c Current CPU time: 2.32665 s
2.39/2.49	c
2.39/2.49	c ============================[ Search Statistics ]==============================
2.39/2.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.49	c ===============================================================================
2.39/2.49	c |         0 |   11076   188129   387758 |    62709        0   -nan |  0.000 % |
2.49/2.51	c |       100 |   11076   188129   387758 |    68980      100     23 | 85.270 % |
2.49/2.54	c |       250 |   11074   188129   387758 |    75878      250     30 | 85.296 % |
2.49/2.58	c |       477 |   11073   188129   387758 |    83466      477     35 | 85.296 % |
2.59/2.64	c |       814 |   11042   188129   387758 |    91813      814     34 | 85.370 % |
2.59/2.69	c ===============================================================================
2.79/2.82	c core #14
2.79/2.82	c 
2.79/2.82	c 
2.79/2.82	c Core size: 777	Core Weight: 1	Total Weight: 127
2.79/2.82	c Current CPU time: 2.6396 s
2.79/2.82	c
2.79/2.82	c ============================[ Search Statistics ]==============================
2.79/2.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.79/2.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.79/2.82	c ===============================================================================
2.79/2.82	c |         0 |   11474   188312   388464 |    62770        0   -nan |  0.000 % |
2.79/2.84	c |       100 |   11474   188312   388464 |    69047      100     17 | 84.776 % |
2.79/2.87	c |       251 |   11474   188312   388464 |    75952      251     22 | 84.776 % |
2.89/2.91	c |       476 |   11474   188312   388464 |    83547      476     23 | 84.776 % |
2.89/2.97	c |       813 |   11403   188312   388464 |    91902      813     26 | 85.184 % |
2.99/3.04	c ===============================================================================
3.10/3.16	c core #15
3.10/3.16	c 
3.10/3.16	c 
3.10/3.16	c Core size: 636	Core Weight: 1	Total Weight: 128
3.10/3.16	c Current CPU time: 2.98255 s
3.10/3.16	c
3.10/3.16	c ============================[ Search Statistics ]==============================
3.10/3.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.10/3.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.10/3.16	c ===============================================================================
3.10/3.16	c |         0 |   11907   188493   389177 |    62831        0   -nan |  0.000 % |
3.10/3.18	c |       101 |   11907   188493   389177 |    69114      101     18 | 84.238 % |
3.10/3.21	c |       253 |   11907   188493   389177 |    76025      253     25 | 84.238 % |
3.20/3.26	c |       478 |   11906   188493   389177 |    83628      478     25 | 84.288 % |
3.31/3.33	c |       816 |   11864   188493   389177 |    91990      816     26 | 84.415 % |
3.40/3.43	c |      1322 |   11661   188493   389177 |   101189     1322     29 | 84.871 % |
3.49/3.50	c ===============================================================================
3.59/3.63	c core #16
3.59/3.63	c 
3.59/3.63	c 
3.59/3.63	c Core size: 709	Core Weight: 1	Total Weight: 129
3.59/3.63	c Current CPU time: 3.44548 s
3.59/3.63	c
3.59/3.63	c ============================[ Search Statistics ]==============================
3.59/3.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.63	c ===============================================================================
3.59/3.63	c |         0 |   12321   188669   389877 |    62889        0   -nan |  0.000 % |
3.59/3.65	c |       102 |   12321   188669   389877 |    69178      102     33 | 83.727 % |
3.59/3.68	c |       253 |   12321   188669   389877 |    76096      253     27 | 83.727 % |
3.69/3.72	c |       478 |   12321   188669   389877 |    83706      478     29 | 83.727 % |
3.69/3.78	c |       815 |   12321   188669   389877 |    92076      815     30 | 83.727 % |
3.79/3.89	c |      1324 |   12321   188669   389877 |   101284     1324     31 | 83.727 % |
3.99/4.03	c |      2083 |   12321   188669   389877 |   111412     2083     31 | 83.727 % |
4.19/4.26	c |      3222 |   11735   188669   389877 |   122554     3222     33 | 84.636 % |
4.30/4.35	c ===============================================================================
4.41/4.47	c core #17
4.41/4.47	c 
4.41/4.47	c 
4.41/4.47	c Core size: 777	Core Weight: 1	Total Weight: 130
4.41/4.47	c Current CPU time: 4.28135 s
4.41/4.47	c
4.41/4.47	c ============================[ Search Statistics ]==============================
4.41/4.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.41/4.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.41/4.47	c ===============================================================================
4.41/4.47	c |         0 |   12734   188842   390572 |    62947        0   -nan |  0.000 % |
4.41/4.50	c |       100 |   12734   188842   390572 |    69242      100     24 | 83.219 % |
4.49/4.53	c |       250 |   12734   188842   390572 |    76166      250     21 | 83.219 % |
4.49/4.57	c |       475 |   12734   188842   390572 |    83782      475     24 | 83.219 % |
4.59/4.65	c |       814 |   12659   188842   390572 |    92161      814     25 | 83.318 % |
4.69/4.75	c |      1320 |   12659   188842   390572 |   101377     1320     27 | 83.318 % |
4.89/4.92	c |      2079 |   12659   188842   390572 |   111515     2079     32 | 83.318 % |
5.09/5.17	c |      3218 |   12623   188842   390572 |   122666     3218     34 | 83.366 % |
5.51/5.59	c |      4928 |   12552   188842   390572 |   134933     4928     38 | 83.852 % |
5.89/5.99	c ===============================================================================
6.09/6.12	c core #18
6.09/6.12	c 
6.09/6.12	c 
6.09/6.12	c Core size: 787	Core Weight: 1	Total Weight: 131
6.09/6.12	c Current CPU time: 5.9091 s
6.09/6.12	c
6.09/6.12	c ============================[ Search Statistics ]==============================
6.09/6.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.12	c ===============================================================================
6.09/6.12	c |         0 |   13146   189027   391305 |    63009        0   -nan |  0.000 % |
6.09/6.15	c |       103 |   13146   189027   391305 |    69309      103     21 | 82.715 % |
6.09/6.18	c |       255 |   13146   189027   391305 |    76240      255     26 | 82.715 % |
6.19/6.23	c |       481 |   13146   189027   391305 |    83864      481     27 | 82.715 % |
6.19/6.29	c |       818 |   13146   189027   391305 |    92251      818     27 | 82.715 % |
6.28/6.39	c |      1324 |   13146   189027   391305 |   101476     1324     29 | 82.715 % |
6.50/6.54	c |      2084 |   13146   189027   391305 |   111624     2084     33 | 82.715 % |
6.69/6.78	c |      3225 |   13146   189027   391305 |   122786     3225     34 | 82.715 % |
7.09/7.15	c |      4933 |   13146   189027   391305 |   135065     4933     35 | 82.715 % |
7.60/7.71	c |      7495 |   13146   189027   391305 |   148571     7495     37 | 82.715 % |
8.69/8.72	c |     11340 |   12689   189027   391305 |   163429    11340     40 | 83.316 % |
9.59/9.66	c ===============================================================================
9.69/9.79	c core #19
9.69/9.79	c 
9.69/9.79	c 
9.69/9.79	c Core size: 801	Core Weight: 1	Total Weight: 132
9.69/9.79	c Current CPU time: 9.55155 s
9.69/9.79	c
9.69/9.79	c ============================[ Search Statistics ]==============================
9.69/9.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.69/9.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.69/9.79	c ===============================================================================
9.69/9.79	c |         0 |   13557   189217   392052 |    63072        0   -nan |  0.000 % |
9.69/9.81	c |       101 |   13556   189217   392052 |    69379      101     21 | 82.237 % |
9.80/9.85	c |       251 |   13556   189217   392052 |    76317      251     26 | 82.237 % |
9.80/9.89	c |       476 |   13556   189217   392052 |    83949      476     25 | 82.237 % |
9.91/9.97	c |       814 |   13540   189217   392052 |    92344      814     25 | 82.237 % |
9.99/10.08	c |      1320 |   13540   189217   392052 |   101578     1320     28 | 82.237 % |
10.19/10.25	c |      2080 |   13540   189217   392052 |   111736     2080     31 | 82.237 % |
10.48/10.51	c |      3220 |   13437   189217   392052 |   122910     3220     33 | 82.372 % |
10.79/10.90	c |      4929 |   13422   189217   392052 |   135201     4929     35 | 82.391 % |
11.48/11.51	c |      7492 |   13422   189217   392052 |   148721     7492     38 | 82.391 % |
12.39/12.46	c |     11337 |   13372   189217   392052 |   163593    11337     40 | 82.684 % |
13.99/14.06	c |     17103 |   13199   189217   392052 |   179952    17103     45 | 82.684 % |
16.68/16.78	c |     25755 |   12534   189217   392052 |   197948    25755     49 | 83.786 % |
17.79/17.82	c ===============================================================================
17.89/17.96	c core #20
17.89/17.96	c 
17.89/17.96	c 
17.89/17.96	c Core size: 755	Core Weight: 1	Total Weight: 133
17.89/17.96	c Current CPU time: 17.6603 s
17.89/17.96	c
17.89/17.96	c ============================[ Search Statistics ]==============================
17.89/17.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.89/17.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.89/17.96	c ===============================================================================
17.89/17.96	c |         0 |   13950   189400   392783 |    63133        0   -nan |  0.000 % |
17.89/17.98	c |       100 |   13950   189400   392783 |    69446      100     18 | 81.739 % |
17.99/18.02	c |       250 |   13950   189400   392783 |    76391      250     31 | 81.739 % |
17.99/18.07	c |       475 |   13950   189400   392783 |    84030      475     32 | 81.739 % |
18.09/18.15	c |       812 |   13950   189400   392783 |    92433      812     38 | 81.739 % |
18.19/18.25	c |      1318 |   13950   189400   392783 |   101676     1318     33 | 81.739 % |
18.39/18.44	c |      2077 |   13950   189400   392783 |   111844     2077     37 | 81.739 % |
18.60/18.69	c |      3217 |   13851   189400   392783 |   123029     3217     36 | 81.869 % |
18.99/19.08	c |      4925 |   13821   189400   392783 |   135331     4925     38 | 81.908 % |
19.59/19.65	c |      7489 |   13821   189400   392783 |   148865     7489     38 | 81.908 % |
20.59/20.66	c |     11334 |   13821   189400   392783 |   163751    11334     43 | 81.908 % |
22.19/22.23	c |     17101 |   13821   189400   392783 |   180126    17101     44 | 81.908 % |
24.89/24.92	c |     25751 |   13762   189400   392783 |   198139    25751     48 | 81.985 % |
29.59/29.71	c |     38725 |   13743   189400   392783 |   217953    38725     51 | 82.010 % |
36.19/36.26	c ===============================================================================
36.38/36.40	c core #21
36.38/36.40	c 
36.38/36.40	c 
36.38/36.40	c Core size: 726	Core Weight: 1	Total Weight: 134
36.38/36.40	c Current CPU time: 35.9875 s
36.38/36.40	c
36.38/36.40	c ============================[ Search Statistics ]==============================
36.38/36.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.38/36.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.38/36.40	c ===============================================================================
36.38/36.40	c |         0 |   14359   189596   393559 |    63198        0   -nan |  0.000 % |
36.38/36.43	c |       101 |   14359   189596   393559 |    69518      101     21 | 81.245 % |
36.38/36.45	c |       251 |   14359   189596   393559 |    76470      251     20 | 81.245 % |
36.49/36.50	c |       476 |   14359   189596   393559 |    84117      476     24 | 81.245 % |
36.49/36.56	c |       813 |   14359   189596   393559 |    92529      813     28 | 81.245 % |
36.59/36.69	c |      1319 |   14359   189596   393559 |   101782     1319     35 | 81.245 % |
36.79/36.85	c |      2079 |   14359   189596   393559 |   111960     2079     34 | 81.245 % |
37.09/37.12	c |      3222 |   14359   189596   393559 |   123156     3222     37 | 81.245 % |
37.49/37.52	c |      4930 |   14359   189596   393559 |   135471     4930     38 | 81.245 % |
38.09/38.12	c |      7493 |   14359   189596   393559 |   149019     7493     41 | 81.245 % |
39.09/39.12	c |     11337 |   14348   189596   393559 |   163921    11337     46 | 81.259 % |
40.71/40.77	c |     17103 |   14348   189596   393559 |   180313    17103     49 | 81.259 % |
43.49/43.53	c |     25752 |   14217   189596   393559 |   198344    25752     51 | 81.430 % |
47.69/47.77	c |     38727 |   14217   189596   393559 |   218178    38727     54 | 81.430 % |
56.28/56.37	c |     58188 |   14202   189596   393559 |   239996    58188     56 | 81.450 % |
71.99/72.07	c |     87380 |   13221   189596   393559 |   263996    87380     58 | 82.731 % |
72.78/72.89	c ===============================================================================
72.98/73.05	c core #22
72.98/73.05	c 
72.98/73.05	c 
72.98/73.05	c Core size: 950	Core Weight: 1	Total Weight: 135
72.98/73.05	c Current CPU time: 72.439 s
72.98/73.05	c
72.98/73.05	c ============================[ Search Statistics ]==============================
72.98/73.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.98/73.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.98/73.05	c ===============================================================================
72.98/73.05	c |         0 |   14756   189805   394377 |    63268        0   -nan |  0.000 % |
72.98/73.07	c |       100 |   14756   189805   394377 |    69595      100     17 | 80.768 % |
73.09/73.11	c |       250 |   14756   189805   394377 |    76554      250     26 | 80.768 % |
73.09/73.15	c |       475 |   14756   189805   394377 |    84210      475     28 | 80.768 % |
73.19/73.22	c |       812 |   14756   189805   394377 |    92631      812     34 | 80.768 % |
73.29/73.32	c |      1318 |   14756   189805   394377 |   101894     1318     31 | 80.768 % |
73.39/73.49	c |      2077 |   14756   189805   394377 |   112083     2077     32 | 80.768 % |
73.70/73.78	c |      3216 |   14756   189805   394377 |   123292     3216     34 | 80.768 % |
74.09/74.17	c |      4924 |   14756   189805   394377 |   135621     4924     36 | 80.768 % |
74.81/74.83	c |      7487 |   14756   189805   394377 |   149183     7487     42 | 80.768 % |
75.68/75.79	c |     11331 |   14756   189805   394377 |   164101    11331     46 | 80.768 % |
77.39/77.44	c |     17097 |   14611   189805   394377 |   180511    17097     46 | 80.957 % |
80.09/80.10	c |     25747 |   14611   189805   394377 |   198563    25747     44 | 80.957 % |
84.39/84.48	c |     38723 |   14611   189805   394377 |   218419    38723     49 | 80.957 % |
92.86/92.92	c |     58184 |   14611   189805   394377 |   240261    58184     51 | 80.957 % |
107.68/107.78	c |     87378 |   14536   189805   394377 |   264287    87378     55 | 81.054 % |
137.27/137.39	c |    131168 |   14506   189805   394377 |   290716   131168     56 | 81.094 % |
190.87/190.99	c ===============================================================================
191.07/191.20	c core #23
191.07/191.20	c 
191.07/191.20	c 
191.07/191.20	c Core size: 901	Core Weight: 1	Total Weight: 136
191.07/191.20	c Current CPU time: 190.133 s
191.07/191.20	c
191.07/191.20	c ============================[ Search Statistics ]==============================
191.07/191.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.07/191.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.07/191.20	c ===============================================================================
191.07/191.20	c |         0 |   15163   190006   395177 |    63335        0   -nan |  0.000 % |
191.17/191.22	c |       100 |   15163   190006   395177 |    69668      100     33 | 80.280 % |
191.17/191.25	c |       252 |   15163   190006   395177 |    76635      252     27 | 80.280 % |
191.17/191.30	c |       478 |   15163   190006   395177 |    84299      478     29 | 80.280 % |
191.27/191.37	c |       815 |   15163   190006   395177 |    92729      815     31 | 80.280 % |
191.39/191.47	c |      1322 |   15163   190006   395177 |   102002     1322     32 | 80.280 % |
191.57/191.63	c |      2081 |   15163   190006   395177 |   112202     2081     32 | 80.280 % |
191.77/191.87	c |      3220 |   15163   190006   395177 |   123422     3220     34 | 80.280 % |
192.17/192.28	c |      4928 |   15163   190006   395177 |   135764     4928     37 | 80.280 % |
192.77/192.86	c |      7490 |   15163   190006   395177 |   149341     7490     40 | 80.280 % |
193.77/193.85	c |     11336 |   15163   190006   395177 |   164275    11336     45 | 80.280 % |
195.37/195.49	c |     17102 |   15163   190006   395177 |   180703    17102     45 | 80.280 % |
197.77/197.91	c |     25751 |   15163   190006   395177 |   198773    25751     53 | 80.280 % |
202.17/202.28	c |     38725 |   15163   190006   395177 |   218650    38725     52 | 80.280 % |
210.17/210.22	c |     58188 |   14968   190006   395177 |   240515    58188     53 | 80.533 % |
225.67/225.73	c |     87380 |   14968   190006   395177 |   264567    87380     51 | 80.533 % |
251.07/251.13	c |    131170 |   14968   190006   395177 |   291024   131170     56 | 80.533 % |
303.97/304.07	c |    196854 |   14968   190006   395177 |   320126   196854     57 | 80.533 % |
422.67/422.75	c |    295381 |   14949   190006   395177 |   352139   295381     58 | 80.558 % |
586.30/586.39	c ===============================================================================
586.58/586.68	c core #24
586.58/586.68	c 
586.58/586.68	c 
586.58/586.68	c Core size: 834	Core Weight: 1	Total Weight: 137
586.58/586.68	c Current CPU time: 584.64 s
586.58/586.68	c
586.58/586.68	c ============================[ Search Statistics ]==============================
586.58/586.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
586.58/586.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
586.58/586.68	c ===============================================================================
586.58/586.68	c |         0 |   15569   190239   396075 |    63413        0   -nan |  0.000 % |
586.68/586.71	c |       101 |   15569   190239   396075 |    69754      101     27 | 79.795 % |
586.68/586.76	c |       251 |   15569   190239   396075 |    76729      251     29 | 79.795 % |
586.78/586.80	c |       476 |   15569   190239   396075 |    84402      476     33 | 79.795 % |
586.78/586.88	c |       814 |   15569   190239   396075 |    92842      814     33 | 79.795 % |
586.88/586.98	c |      1320 |   15569   190239   396075 |   102127     1320     41 | 79.795 % |
587.08/587.12	c |      2081 |   15569   190239   396075 |   112339     2081     36 | 79.795 % |
587.40/587.41	c |      3221 |   15569   190239   396075 |   123573     3221     41 | 79.795 % |
587.78/587.80	c |      4930 |   15569   190239   396075 |   135931     4930     38 | 79.795 % |
588.39/588.46	c |      7492 |   15569   190239   396075 |   149524     7492     45 | 79.795 % |
589.28/589.40	c |     11338 |   15569   190239   396075 |   164476    11338     43 | 79.795 % |
590.98/591.04	c |     17110 |   15569   190239   396075 |   180924    17110     51 | 79.795 % |
593.57/593.64	c |     25760 |   15569   190239   396075 |   199017    25760     52 | 79.795 % |
597.98/598.03	c |     38735 |   15569   190239   396075 |   218918    38735     52 | 79.795 % |
605.98/606.06	c |     58197 |   15569   190239   396075 |   240810    58197     57 | 79.795 % |
620.29/620.32	c |     87389 |   15569   190239   396075 |   264891    87389     59 | 79.795 % |
648.88/648.98	c |    131179 |   15569   190239   396075 |   291381   131179     60 | 79.795 % |
702.28/702.39	c |    196864 |   15569   190239   396075 |   320519   196864     63 | 79.795 % |
819.50/819.57	c |    295390 |   15569   190239   396075 |   352571   295390     65 | 79.795 % |
1039.79/1039.87	c |    443179 |   15312   190239   396075 |   387828    56142     60 | 80.128 % |
1270.09/1270.12	c |    664864 |   15312   190239   396075 |   426610   277827     68 | 80.128 % |
1539.40/1539.46	c ===============================================================================
1539.91/1539.95	c core #25
1539.91/1539.95	c 
1539.91/1539.95	c 
1539.91/1539.95	c Core size: 609	Core Weight: 1	Total Weight: 138
1539.91/1539.95	c Current CPU time: 1535.73 s
1539.91/1539.95	c
1539.91/1539.95	c ============================[ Search Statistics ]==============================
1539.91/1539.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1539.91/1539.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1539.91/1539.95	c ===============================================================================
1539.91/1539.95	c |         0 |   15974   190504   397075 |    63501        0   -nan |  0.000 % |
1539.91/1539.99	c |       100 |   15974   190504   397075 |    69851      100     40 | 79.313 % |
1540.02/1540.02	c |       250 |   15974   190504   397075 |    76836      250     37 | 79.313 % |
1540.02/1540.07	c |       475 |   15974   190504   397075 |    84520      475     36 | 79.313 % |
1540.10/1540.14	c |       812 |   15974   190504   397075 |    92972      812     37 | 79.313 % |
1540.20/1540.25	c |      1320 |   15974   190504   397075 |   102269     1320     40 | 79.313 % |
1540.40/1540.40	c |      2079 |   15974   190504   397075 |   112496     2079     36 | 79.313 % |
1540.60/1540.66	c |      3218 |   15974   190504   397075 |   123746     3218     38 | 79.313 % |
1541.01/1541.03	c |      4926 |   15974   190504   397075 |   136120     4926     41 | 79.313 % |
1541.60/1541.66	c |      7488 |   15974   190504   397075 |   149732     7488     45 | 79.313 % |
1542.50/1542.52	c |     11333 |   15974   190504   397075 |   164706    11333     40 | 79.313 % |
1543.80/1543.84	c |     17101 |   15974   190504   397075 |   181176    17101     48 | 79.313 % |
1546.40/1546.49	c |     25750 |   15974   190504   397075 |   199294    25750     50 | 79.313 % |
1550.30/1550.35	c |     38724 |   15974   190504   397075 |   219223    38724     56 | 79.313 % |
1558.50/1558.59	c |     58185 |   15974   190504   397075 |   241146    58185     53 | 79.313 % |
1571.30/1571.32	c |     87378 |   15959   190504   397075 |   265260    87378     55 | 79.539 % |
1598.90/1598.90	c |    131167 |   15782   190504   397075 |   291786   131167     57 | 79.561 % |
1655.91/1655.98	c |    196851 |   15770   190504   397075 |   320965   196851     58 | 79.577 % |
1778.01/1778.07	c |    295377 |   15770   190504   397075 |   353062   295377     58 | 79.577 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3461733-1307121377/watcher-3461733-1307121377 -o /tmp/evaluation-result-3461733-1307121377/solver-3461733-1307121377 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461733-1307121377.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: 2.07 2.06 2.01 2/514 8393
/proc/meminfo: memFree=18967624/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=11516 CPUtime=0 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 564 0 0 0 0 0 0 0 25 0 1 0 902368525 11792384 517 33554432000 4194304 5714214 140733920475120 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 2879 518 181 372 0 399 0

[startup+0.0563099 s]
/proc/loadavg: 2.07 2.06 2.01 2/514 8393
/proc/meminfo: memFree=18967624/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=21128 CPUtime=0.05 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 3009 0 0 0 5 0 0 0 25 0 1 0 902368525 21635072 2913 33554432000 4194304 5714214 140733920475120 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 5282 2914 343 372 0 2802 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21128

[startup+0.100302 s]
/proc/loadavg: 2.07 2.06 2.01 2/514 8393
/proc/meminfo: memFree=18967624/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=25228 CPUtime=0.09 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 4165 0 0 0 9 0 0 0 25 0 1 0 902368525 25833472 3971 33554432000 4194304 5714214 140733920475120 18446744073709551615 4973112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 6307 3972 494 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25228

[startup+0.300267 s]
/proc/loadavg: 2.07 2.06 2.01 2/514 8393
/proc/meminfo: memFree=18967624/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=33288 CPUtime=0.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 6880 0 0 0 28 1 0 0 25 0 1 0 902368525 34086912 6557 33554432000 4194304 5714214 140733920475120 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 8322 6558 1160 372 0 5842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33288

[startup+0.700198 s]
/proc/loadavg: 2.07 2.06 2.01 2/514 8393
/proc/meminfo: memFree=18967624/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=63520 CPUtime=0.69 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 16847 0 0 0 67 2 0 0 25 0 1 0 902368525 65044480 14153 33554432000 4194304 5714214 140733920475120 18446744073709551615 4206748 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 15913 14172 172 372 0 15538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63520

[startup+1.50106 s]
/proc/loadavg: 2.07 2.06 2.01 3/515 8394
/proc/meminfo: memFree=18864448/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=106816 CPUtime=1.49 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 33242 0 0 0 145 4 0 0 25 0 1 0 902368525 109379584 26094 33554432000 4194304 5714214 140733920475120 18446744073709551615 4964688 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 26704 26094 179 372 0 26329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106816

[startup+3.10078 s]
/proc/loadavg: 2.07 2.06 2.01 3/515 8394
/proc/meminfo: memFree=18853784/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=118724 CPUtime=3.1 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 39102 0 0 0 304 6 0 0 25 0 1 0 902368525 121573376 28861 33554432000 4194304 5714214 140733920475120 18446744073709551615 4964904 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 29681 28861 180 372 0 29306 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 118724

[startup+6.30027 s]
/proc/loadavg: 2.06 2.06 2.01 3/515 8394
/proc/meminfo: memFree=18848320/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=124124 CPUtime=6.28 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 41933 0 0 0 620 8 0 0 25 0 1 0 902368525 127102976 30002 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 31031 30002 180 372 0 30656 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 124124

[startup+12.7001 s]
/proc/loadavg: 2.06 2.06 2.01 3/515 8394
/proc/meminfo: memFree=18844248/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=124124 CPUtime=12.69 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 42149 0 0 0 1256 13 0 0 25 0 1 0 902368525 127102976 30218 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 31031 30218 180 372 0 30656 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124124

[startup+25.5009 s]
/proc/loadavg: 2.04 2.05 2.01 3/515 8394
/proc/meminfo: memFree=18841756/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=124784 CPUtime=25.49 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 42773 0 0 0 2527 22 0 0 25 0 1 0 902368525 127778816 30842 33554432000 4194304 5714214 140733920475120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 31196 30842 180 372 0 30821 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 124784

[startup+51.1004 s]
/proc/loadavg: 2.03 2.05 2.01 3/515 8395
/proc/meminfo: memFree=18831692/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=135588 CPUtime=51.09 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 45228 0 0 0 5072 37 0 0 25 0 1 0 902368525 138842112 33297 33554432000 4194304 5714214 140733920475120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/8393/statm: 33897 33297 180 372 0 33522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 135588

[startup+102.319 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 8396
/proc/meminfo: memFree=18813324/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=150860 CPUtime=102.28 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 48594 0 0 0 10168 60 0 0 25 0 1 0 902368525 154480640 36663 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 37715 36663 180 372 0 37340 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150860

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 8398
/proc/meminfo: memFree=18805872/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=152876 CPUtime=162.27 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 49318 0 0 0 16150 77 0 0 25 0 1 0 902368525 156545024 37387 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 38219 37387 180 372 0 37844 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 152876

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8400
/proc/meminfo: memFree=18764944/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=192444 CPUtime=222.27 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 58896 0 0 0 22126 101 0 0 25 0 1 0 902368525 197062656 46965 33554432000 4194304 5714214 140733920475120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 48111 46965 180 372 0 47736 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 192444

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8401
/proc/meminfo: memFree=18756720/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=192444 CPUtime=282.27 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 58926 0 0 0 28107 120 0 0 25 0 1 0 902368525 197062656 46995 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 48111 46995 180 372 0 47736 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 192444

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8403
/proc/meminfo: memFree=18732888/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=192444 CPUtime=342.27 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 59179 0 0 0 34096 131 0 0 25 0 1 0 902368525 197062656 47248 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 48111 47248 180 372 0 47736 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 192444

[startup+402.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/515 8404
/proc/meminfo: memFree=18705572/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=202076 CPUtime=402.27 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 61775 0 0 0 40085 142 0 0 25 0 1 0 902368525 206925824 49844 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 50519 49844 180 372 0 50144 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 202076

[startup+462.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 8406
/proc/meminfo: memFree=18669208/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=220872 CPUtime=462.27 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 66124 0 0 0 46075 152 0 0 25 0 1 0 902368525 226172928 54193 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 55218 54193 180 372 0 54843 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 220872

[startup+522.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/515 8408
/proc/meminfo: memFree=18642524/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=236104 CPUtime=522.28 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 69896 0 0 0 52066 162 0 0 25 0 1 0 902368525 241770496 57965 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 59026 57965 180 372 0 58651 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 236104

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 8409
/proc/meminfo: memFree=18626860/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=249556 CPUtime=582.28 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 73251 0 0 0 58055 173 0 0 25 0 1 0 902368525 255545344 61320 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 62389 61320 180 372 0 62014 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 249556

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8416
/proc/meminfo: memFree=18596600/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=275540 CPUtime=822.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80324 0 0 0 81991 238 0 0 25 0 1 0 902368525 282152960 67627 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 68885 67627 180 372 0 68510 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 275540

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 8417
/proc/meminfo: memFree=18582796/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=275540 CPUtime=882.28 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80481 0 0 0 87981 247 0 0 25 0 1 0 902368525 282152960 67784 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 68885 67784 180 372 0 68510 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 275540

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 8419
/proc/meminfo: memFree=18567628/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=275540 CPUtime=942.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80485 0 0 0 93973 256 0 0 25 0 1 0 902368525 282152960 67788 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 68885 67788 180 372 0 68510 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 275540

[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 8420
/proc/meminfo: memFree=18551604/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=275540 CPUtime=1002.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80688 0 0 0 99963 266 0 0 25 0 1 0 902368525 282152960 67991 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 68885 67991 180 372 0 68510 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 275540

[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/515 8422
/proc/meminfo: memFree=18536448/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=275540 CPUtime=1062.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80723 0 0 0 105947 282 0 0 25 0 1 0 902368525 282152960 68026 33554432000 4194304 5714214 140733920475120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 68885 68026 180 372 0 68510 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 275540

[startup+1122.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/515 8424
/proc/meminfo: memFree=18521916/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=275740 CPUtime=1122.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80758 0 0 0 111934 295 0 0 25 0 1 0 902368525 282357760 68061 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 68935 68061 180 372 0 68560 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 275740

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/515 8425
/proc/meminfo: memFree=18507252/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=276212 CPUtime=1182.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 80879 0 0 0 117924 305 0 0 25 0 1 0 902368525 282841088 68182 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 69053 68182 180 372 0 68678 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 276212

[startup+1242.3 s]
/proc/loadavg: 1.67 1.96 1.98 2/509 8445
/proc/meminfo: memFree=18964140/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=277200 CPUtime=1242.29 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 81048 0 0 0 123913 316 0 0 25 0 1 0 902368525 283852800 68351 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 69300 68351 180 372 0 68925 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 277200

[startup+1302.3 s]
/proc/loadavg: 1.25 1.78 1.91 2/509 8446
/proc/meminfo: memFree=18961608/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=279200 CPUtime=1302.3 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 81500 0 0 0 129904 326 0 0 25 0 1 0 902368525 285900800 68803 33554432000 4194304 5714214 140733920475120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 69800 68803 180 372 0 69425 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 279200

[startup+1362.3 s]
/proc/loadavg: 1.09 1.64 1.85 2/509 8451
/proc/meminfo: memFree=18955912/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=285640 CPUtime=1362.3 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 83105 0 0 0 135893 337 0 0 25 0 1 0 902368525 292495360 70408 33554432000 4194304 5714214 140733920475120 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 71410 70408 180 372 0 71035 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 285640

[startup+1422.32 s]
/proc/loadavg: 1.03 1.52 1.80 2/509 8453
/proc/meminfo: memFree=18942208/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=300064 CPUtime=1422.32 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 86613 0 0 0 141881 351 0 0 25 0 1 0 902368525 307265536 73916 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 75016 73916 180 372 0 74641 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 300064

[startup+1482.3 s]
/proc/loadavg: 1.01 1.42 1.75 2/509 8454
/proc/meminfo: memFree=18930148/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=312452 CPUtime=1482.3 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 89715 0 0 0 147868 362 0 0 25 0 1 0 902368525 319950848 77018 33554432000 4194304 5714214 140733920475120 18446744073709551615 4309121 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 78113 77018 180 372 0 77738 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 312452

[startup+1542.3 s]
/proc/loadavg: 1.11 1.37 1.71 2/509 8456
/proc/meminfo: memFree=18892284/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=352632 CPUtime=1542.3 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 99269 0 0 0 153852 378 0 0 25 0 1 0 902368525 361095168 86572 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 88158 86572 180 372 0 87783 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 352632

[startup+1602.3 s]
/proc/loadavg: 1.09 1.32 1.67 3/509 8457
/proc/meminfo: memFree=18892120/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=352632 CPUtime=1602.3 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 99286 0 0 0 159821 409 0 0 25 0 1 0 902368525 361095168 86589 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 88158 86589 180 372 0 87783 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 352632

[startup+1662.3 s]
/proc/loadavg: 1.03 1.26 1.62 2/509 8459
/proc/meminfo: memFree=18891840/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=352632 CPUtime=1662.3 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 99287 0 0 0 165802 428 0 0 25 0 1 0 902368525 361095168 86590 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 88158 86590 180 372 0 87783 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 352632

[startup+1722.3 s]
/proc/loadavg: 1.01 1.21 1.58 2/509 8461
/proc/meminfo: memFree=18892056/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=352632 CPUtime=1722.31 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 99287 0 0 0 171789 442 0 0 25 0 1 0 902368525 361095168 86590 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 88158 86590 180 372 0 87783 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 352632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.17 1.54 2/509 8462
/proc/meminfo: memFree=18890780/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=352632 CPUtime=1782.31 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 99287 0 0 0 177776 455 0 0 25 0 1 0 902368525 361095168 86590 33554432000 4194304 5714214 140733920475120 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 88158 86590 180 372 0 87783 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 352632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.16 1.53 2/509 8463
/proc/meminfo: memFree=18890652/32950940 swapFree=67111364/67111528
[pid=8393] ppid=8391 vsize=352632 CPUtime=1800.01 cores=1,3,5,7
/proc/8393/stat : 8393 (wbo1.6) R 8391 8393 4622 0 -1 4202496 99289 0 0 0 179543 458 0 0 25 0 1 0 902368525 361095168 86592 33554432000 4194304 5714214 140733920475120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8393/statm: 88158 86592 180 372 0 87783 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 352632

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.05
CPU user time (s): 1795.45
CPU system time (s): 4.6033
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 352632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.45
system time used= 4.6033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99289
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= 14
involuntary context switches= 5152

runsolver used 8.50671 second user time and 22.6006 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-03 19:16:18
IDJOB=3461733
IDBENCH=77513
IDSOLVER=1953
FILE ID=node117/3461733-1307121377
RUNJOBID= node117-1307118988-8107
PBS_JOBID= 13497973
Free space on /tmp= 73604 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12057_1.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461733-1307121377/watcher-3461733-1307121377 -o /tmp/evaluation-result-3461733-1307121377/solver-3461733-1307121377 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461733-1307121377.opb

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

MD5SUM BENCH= c5fc99dbb0a3becca43a9267891fcd33
RANDOM SEED=293892128

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18967904 kB
Buffers:        367876 kB
Cached:        3173220 kB
SwapCached:          0 kB
Active:       10502136 kB
Inactive:      3084780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18967904 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           13052 kB
Writeback:           0 kB
AnonPages:    10045660 kB
Mapped:          42808 kB
Slab:           269092 kB
PageTables:      58476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149753584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73612 MiB
End job on node117 at 2011-06-03 19:46:20