Trace number 2655991

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.4b? (TO) 1800.26 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUMa65a3b6248e07fcc15fb8d2bec9ac9bd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark187
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 182
Optimality of the best value was proved NO
Number of variables470
Total number of constraints470
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655991-1276363153.opb.
0.00/0.00	c Instance file HOME/instance-2655991-1276363153.opb
0.00/0.00	c File size is 43354 bytes.
0.00/0.00	c Highest Coefficient sum: 306
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      470                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 470                                                 |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     470      470     4286 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 223
0.00/0.01	o 223
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     470      471     4756 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 222
0.00/0.01	o 222
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        35 |     470      472     5226 |     5000       35    230 |  0.000 % |
0.00/0.02	c |       136 |     470      472     5226 |     5500      136    229 |  0.000 % |
0.03/0.04	c |       287 |     470      472     5226 |     6050      287    229 |  0.002 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 221
0.03/0.06	o 221
0.03/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 179.942 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |       386 |     470      473     5696 |     5000      386    229 |  0.002 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 220
0.03/0.06	o 220
0.03/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 179.935 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |       434 |     470      474     6166 |     5000      434    229 |  0.002 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 216
0.03/0.07	o 216
0.03/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |       434 |     470      475     6636 |     5000      434    229 |  0.002 % |
0.03/0.08	c |       534 |     470      475     6636 |     5500      534    229 |  0.000 % |
0.09/0.10	c |       685 |     470      475     6636 |     6050      685    229 |  0.000 % |
0.09/0.13	c |       911 |     470      475     6636 |     6655      911    228 |  0.000 % |
0.09/0.18	c |      1249 |     470      475     6636 |     7320     1249    228 |  0.001 % |
0.19/0.26	c |      1756 |     470      475     6636 |     8052     1756    228 |  0.001 % |
0.29/0.37	c |      2515 |     470      475     6636 |     8857     2515    228 |  0.000 % |
0.49/0.59	c |      3654 |     470      475     6636 |     9743     3654    229 |  0.000 % |
0.89/0.92	c |      5363 |     470      475     6636 |    10717     5363    229 |  0.000 % |
1.49/1.51	c |      7926 |     470      475     6636 |    11789     7926    229 |  0.000 % |
2.39/2.43	c |     11771 |     470      475     6636 |    12968    11771    229 |  0.000 % |
3.79/3.84	c |     17539 |     470      475     6636 |    14265    10837    229 |  0.000 % |
5.88/5.94	c |     26188 |     470      475     6636 |    15692    12141    226 |  0.000 % |
8.29/8.34	c ===============================================================================
8.29/8.34	c New solution: 215
8.29/8.34	o 215
8.29/8.34	c Elapsed CPU time: 8.21675 s	Remaining CPU time: 171.783 s
8.29/8.34	c ===============================================================================
8.29/8.34	c |     35268 |     470      476     7106 |     5000    13159    227 |  0.000 % |
8.38/8.41	c |     35368 |     470      476     7106 |     5500     3390    226 |  0.000 % |
8.38/8.44	c |     35519 |     470      476     7106 |     6050     3541    226 |  0.001 % |
8.38/8.48	c |     35744 |     470      476     7106 |     6655     3766    227 |  0.000 % |
8.49/8.53	c |     36081 |     470      476     7106 |     7320     4103    226 |  0.001 % |
8.59/8.62	c |     36587 |     470      476     7106 |     8052     4609    226 |  0.001 % |
8.69/8.75	c |     37347 |     470      476     7106 |     8857     5369    227 |  0.000 % |
8.88/8.94	c |     38487 |     470      476     7106 |     9743     6509    228 |  0.000 % |
9.19/9.26	c |     40196 |     470      476     7106 |    10717     8218    228 |  0.000 % |
9.79/9.80	c |     42759 |     470      476     7106 |    11789    10781    228 |  0.000 % |
10.59/10.63	c |     46604 |     470      476     7106 |    12968     8522    226 |  0.000 % |
11.88/11.92	c |     52372 |     470      476     7106 |    14265     7595    225 |  0.000 % |
11.88/11.96	c ===============================================================================
11.88/11.96	c New solution: 214
11.88/11.96	o 214
11.88/11.96	c Elapsed CPU time: 11.7782 s	Remaining CPU time: 168.222 s
11.88/11.96	c ===============================================================================
11.88/11.96	c |     52571 |     470      477     7576 |     5000     7794    225 |  0.000 % |
12.00/12.00	c |     52671 |     470      477     7576 |     5500     3997    226 |  0.000 % |
12.00/12.02	c |     52822 |     470      477     7576 |     6050     4148    226 |  0.001 % |
12.00/12.03	c ===============================================================================
12.00/12.03	c New solution: 213
12.00/12.03	o 213
12.00/12.03	c Elapsed CPU time: 11.8482 s	Remaining CPU time: 168.152 s
12.00/12.03	c ===============================================================================
12.00/12.03	c |     52894 |     470      478     8046 |     5000     4220    226 |  0.001 % |
12.00/12.05	c |     52994 |     470      478     8046 |     5500     4320    226 |  0.001 % |
12.00/12.05	c ===============================================================================
12.00/12.05	c New solution: 212
12.00/12.05	o 212
12.00/12.05	c Elapsed CPU time: 11.8682 s	Remaining CPU time: 168.132 s
12.00/12.05	c ===============================================================================
12.00/12.05	c |     53005 |     470      479     8516 |     5000     4331    226 |  0.001 % |
12.00/12.07	c |     53105 |     470      479     8516 |     5500     4431    226 |  0.001 % |
12.00/12.09	c |     53256 |     470      479     8516 |     6050     4582    226 |  0.001 % |
12.10/12.13	c |     53482 |     470      479     8516 |     6655     4808    225 |  0.001 % |
12.10/12.19	c |     53819 |     470      479     8516 |     7320     5145    225 |  0.001 % |
12.19/12.28	c |     54325 |     470      479     8516 |     8052     5651    225 |  0.000 % |
12.38/12.44	c |     55085 |     470      479     8516 |     8857     6411    225 |  0.001 % |
12.59/12.67	c |     56225 |     470      479     8516 |     9743     7551    225 |  0.000 % |
12.89/12.99	c |     57933 |     470      479     8516 |    10717     9259    225 |  0.000 % |
13.49/13.54	c |     60495 |     470      479     8516 |    11789     6247    226 |  0.000 % |
14.29/14.36	c |     64340 |     470      479     8516 |    12968    10092    225 |  0.000 % |
15.69/15.71	c |     70107 |     470      479     8516 |    14265     9158    226 |  0.000 % |
18.38/18.41	c |     78757 |     470      479     8516 |    15692    10471    229 |  0.000 % |
22.18/22.22	c |     91732 |     470      479     8516 |    17261    15387    224 |  0.000 % |
30.08/30.12	c |    111193 |     470      479     8516 |    18987    17163    235 |  0.000 % |
40.88/40.98	c |    140385 |     470      479     8516 |    20886    17237    225 |  0.000 % |
61.76/61.87	c |    184174 |     470      479     8516 |    22974    18418    234 |  0.000 % |
91.56/91.64	c |    249859 |     470      479     8516 |    25272    22959    226 |  0.000 % |
145.44/145.54	c |    348385 |     470      479     8516 |    27799    21119    238 |  0.000 % |
181.63/181.75	c There are 0 assigned variables. 0 in cost function.
182.62/182.74	c core #1
182.62/182.74	c core #2
182.62/182.74	c core #3
182.62/182.74	c core #4
182.62/182.74	c core #5
182.62/182.74	c core #6
182.62/182.74	c core #7
182.62/182.74	c core #8
182.62/182.74	c core #9
182.62/182.74	c core #10
182.62/182.74	c core #11
182.62/182.74	c core #12
182.62/182.74	c core #13
182.62/182.74	c core #14
182.62/182.74	c core #15
182.62/182.74	c core #16
182.62/182.74	c core #17
182.62/182.74	c core #18
182.62/182.74	c core #19
182.62/182.74	c core #20
182.62/182.74	c core #21
182.62/182.74	c core #22
182.62/182.74	c core #23
182.62/182.74	c core #24
182.62/182.74	c core #25
182.62/182.74	c core #26
182.62/182.74	c core #27
182.62/182.74	c core #28
182.62/182.74	c core #29
182.62/182.74	c core #30
182.62/182.74	c core #31
182.62/182.74	c core #32
182.62/182.74	c core #33
182.62/182.74	c core #34
182.62/182.74	c core #35
182.62/182.74	c core #36
182.62/182.74	c core #37
182.62/182.74	c core #38
182.62/182.74	c core #39
182.62/182.74	c core #40
182.62/182.74	c core #41
182.62/182.74	c core #42
182.62/182.74	c core #43
182.62/182.74	c core #44
182.62/182.74	c core #45
182.62/182.74	c core #46
182.62/182.74	c core #47
182.62/182.74	c core #48
182.62/182.74	c core #49
182.62/182.74	c core #50
182.62/182.74	c core #51
182.62/182.74	c core #52
182.62/182.74	c core #53
182.62/182.74	c core #54
182.62/182.74	c core #55
182.62/182.74	c core #56
182.62/182.74	c core #57
182.62/182.74	c core #58
182.62/182.74	c core #59
182.62/182.74	c core #60
182.62/182.74	c core #61
182.62/182.74	c core #62
182.62/182.74	c core #63
182.62/182.74	c core #64
182.62/182.74	c core #65
182.62/182.74	c core #66
182.62/182.74	c core #67
182.62/182.74	c core #68
182.62/182.74	c core #69
182.62/182.74	c core #70
182.62/182.74	c core #71
182.62/182.74	c core #72
182.62/182.74	c core #73
182.62/182.74	c core #74
182.62/182.74	c core #75
182.62/182.74	c core #76
182.62/182.74	c core #77
182.62/182.74	c core #78
182.62/182.74	c core #79
182.62/182.74	c core #80
182.62/182.74	c core #81
182.62/182.74	c core #82
182.62/182.74	c core #83
182.62/182.74	c core #84
182.62/182.74	c core #85
182.62/182.74	c core #86
182.62/182.74	c ============================[ Search Statistics ]==============================
182.62/182.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.62/182.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.62/182.74	c ===============================================================================
182.62/182.74	c |         0 |     961     1036    10481 |     5000        0    nan |  0.000 % |
182.62/182.75	c ===============================================================================
182.62/182.76	c core #87
182.62/182.76	c ============================[ Search Statistics ]==============================
182.62/182.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.62/182.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.62/182.76	c ===============================================================================
182.62/182.76	c |         0 |     978     1037    10515 |     5000        0    nan |  0.000 % |
182.62/182.76	c ===============================================================================
182.62/182.77	c core #88
182.62/182.77	c ============================[ Search Statistics ]==============================
182.62/182.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.62/182.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.62/182.77	c ===============================================================================
182.62/182.77	c |         0 |     989     1038    10537 |     5000        0    nan |  0.000 % |
182.62/182.78	c ===============================================================================
182.62/182.79	c core #89
182.62/182.79	c ============================[ Search Statistics ]==============================
182.62/182.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.62/182.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.62/182.79	c ===============================================================================
182.62/182.79	c |         0 |    1008     1039    10574 |     5000        0    nan |  0.000 % |
182.72/182.80	c ===============================================================================
182.72/182.81	c core #90
182.72/182.81	c ============================[ Search Statistics ]==============================
182.72/182.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.81	c ===============================================================================
182.72/182.81	c |         0 |    1016     1040    10590 |     5000        0    nan |  0.000 % |
182.72/182.81	c ===============================================================================
182.72/182.82	c core #91
182.72/182.82	c ============================[ Search Statistics ]==============================
182.72/182.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.82	c ===============================================================================
182.72/182.82	c |         0 |    1027     1041    10611 |     5000        0    nan |  0.000 % |
182.72/182.83	c ===============================================================================
182.72/182.84	c core #92
182.72/182.84	c ============================[ Search Statistics ]==============================
182.72/182.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.84	c ===============================================================================
182.72/182.84	c |         0 |    1044     1042    10643 |     5000        0    nan |  0.000 % |
182.72/182.85	c ===============================================================================
182.72/182.86	c core #93
182.72/182.86	c ============================[ Search Statistics ]==============================
182.72/182.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.86	c ===============================================================================
182.72/182.86	c |         0 |    1106     1043    10762 |     5000        0    nan |  0.000 % |
182.72/182.87	c ===============================================================================
182.72/182.88	c core #94
182.72/182.88	c ============================[ Search Statistics ]==============================
182.72/182.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.88	c ===============================================================================
182.72/182.88	c |         0 |    1122     1044    10793 |     5000        0    nan |  0.000 % |
182.72/182.88	c ===============================================================================
182.72/182.89	c core #95
182.72/182.89	c ============================[ Search Statistics ]==============================
182.72/182.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.89	c ===============================================================================
182.72/182.89	c |         0 |    1134     1045    10816 |     5000        0    nan |  0.000 % |
182.82/182.90	c ===============================================================================
182.82/182.91	c core #96
182.82/182.91	c ============================[ Search Statistics ]==============================
182.82/182.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.82/182.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.82/182.91	c ===============================================================================
182.82/182.91	c |         0 |    1144     1046    10835 |     5000        0    nan |  0.000 % |
182.82/182.92	c ===============================================================================
182.82/182.93	c core #97
182.82/182.93	c ============================[ Search Statistics ]==============================
182.82/182.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.82/182.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.82/182.93	c ===============================================================================
182.82/182.93	c |         0 |    1159     1047    10864 |     5000        0    nan |  0.000 % |
182.82/182.93	c ===============================================================================
182.82/182.94	c core #98
182.82/182.94	c ============================[ Search Statistics ]==============================
182.82/182.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.82/182.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.82/182.94	c ===============================================================================
182.82/182.94	c |         0 |    1181     1048    10907 |     5000        0    nan |  0.000 % |
182.82/182.95	c ===============================================================================
182.82/182.96	c core #99
182.82/182.96	c ============================[ Search Statistics ]==============================
182.82/182.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.82/182.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.82/182.96	c ===============================================================================
182.82/182.96	c |         0 |    1194     1049    10933 |     5000        0    nan |  0.000 % |
182.82/182.97	c ===============================================================================
182.82/182.98	c core #100
182.82/182.98	c ============================[ Search Statistics ]==============================
182.82/182.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.82/182.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.82/182.98	c ===============================================================================
182.82/182.98	c |         0 |    1264     1050    11068 |     5000        0    nan |  0.000 % |
182.82/182.99	c ===============================================================================
182.92/183.00	c core #101
182.92/183.00	c ============================[ Search Statistics ]==============================
182.92/183.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.00	c ===============================================================================
182.92/183.00	c |         0 |    1298     1051    11136 |     5000        0    nan |  0.000 % |
182.92/183.01	c |       103 |    1298     1051    11136 |     5500      103     11 |  1.742 % |
182.92/183.03	c |       253 |    1291     1051    11136 |     6050      243     12 |  2.271 % |
182.92/183.03	c ===============================================================================
182.92/183.04	c core #102
182.92/183.04	c ============================[ Search Statistics ]==============================
182.92/183.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.04	c ===============================================================================
182.92/183.04	c |         0 |    1354     1052    11247 |     5000        0    nan |  0.000 % |
182.92/183.06	c |       101 |    1350     1052    11247 |     5500      101      6 |  2.762 % |
182.92/183.06	c ===============================================================================
182.92/183.07	c core #103
182.92/183.07	c ============================[ Search Statistics ]==============================
182.92/183.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.07	c ===============================================================================
182.92/183.07	c |         0 |    1412     1053    11357 |     5000        0    nan |  0.000 % |
182.92/183.08	c |       102 |    1411     1053    11357 |     5500      102     10 |  1.401 % |
182.92/183.09	c |       252 |    1409     1053    11357 |     6050      252     10 |  1.401 % |
182.92/183.10	c ===============================================================================
183.03/183.11	c core #104
183.03/183.11	c ============================[ Search Statistics ]==============================
183.03/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.11	c ===============================================================================
183.03/183.11	c |         0 |    1435     1054    11401 |     5000        0    nan |  0.000 % |
183.03/183.13	c |       100 |    1435     1054    11401 |     5500      100     12 |  0.966 % |
183.03/183.14	c |       251 |    1419     1054    11401 |     6050      233     11 |  2.139 % |
183.03/183.14	c ===============================================================================
183.03/183.15	c core #105
183.03/183.15	c ============================[ Search Statistics ]==============================
183.03/183.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.15	c ===============================================================================
183.03/183.15	c |         0 |    1532     1055    11593 |     5000        0    nan |  0.000 % |
183.03/183.17	c |       100 |    1531     1055    11593 |     5500      100      7 |  0.842 % |
183.03/183.17	c ===============================================================================
183.03/183.18	c core #106
183.03/183.18	c ============================[ Search Statistics ]==============================
183.03/183.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.03/183.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.03/183.18	c ===============================================================================
183.03/183.18	c |         0 |    1561     1056    11651 |     5000        0    nan |  0.000 % |
183.13/183.20	c |       104 |    1561     1056    11651 |     5500      104      8 |  0.890 % |
183.13/183.21	c |       255 |    1554     1056    11651 |     6050      253      9 |  1.399 % |
183.13/183.22	c ===============================================================================
183.13/183.23	c core #107
183.13/183.23	c ============================[ Search Statistics ]==============================
183.13/183.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.13/183.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.13/183.23	c ===============================================================================
183.13/183.23	c |         0 |    1651     1057    11827 |     5000        0    nan |  0.000 % |
183.13/183.25	c |       103 |    1651     1057    11827 |     5500      103     15 |  0.542 % |
183.13/183.26	c |       260 |    1651     1057    11827 |     6050      260     20 |  0.542 % |
183.13/183.28	c |       485 |    1649     1057    11827 |     6655      481     21 |  0.663 % |
183.22/183.31	c |       825 |    1649     1057    11827 |     7320      821     20 |  0.663 % |
183.22/183.37	c |      1334 |    1649     1057    11827 |     8052     1330     21 |  0.663 % |
183.33/183.45	c |      2096 |    1647     1057    11827 |     8857     1271     18 |  0.783 % |
183.33/183.50	c ===============================================================================
183.43/183.53	c core #108
183.43/183.53	c ============================[ Search Statistics ]==============================
183.43/183.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.53	c ===============================================================================
183.43/183.53	c |         0 |    1763     1058    12050 |     5000        0    nan |  0.000 % |
183.43/183.55	c |       100 |    1763     1058    12050 |     5500      100     17 |  0.452 % |
183.43/183.57	c |       250 |    1763     1058    12050 |     6050      250     18 |  0.452 % |
183.43/183.59	c |       479 |    1763     1058    12050 |     6655      479     21 |  0.452 % |
183.53/183.63	c |       816 |    1763     1058    12050 |     7320      816     22 |  0.452 % |
183.53/183.69	c |      1322 |    1763     1058    12050 |     8052     1322     25 |  0.452 % |
183.63/183.78	c |      2086 |    1763     1058    12050 |     8857     2086     27 |  0.452 % |
183.82/183.94	c |      3225 |    1759     1058    12050 |     9743     3224     30 |  0.678 % |
184.13/184.26	c |      4935 |    1758     1058    12050 |    10717     4806     33 |  0.734 % |
184.42/184.52	c ===============================================================================
184.52/184.62	c core #109
184.52/184.62	c ============================[ Search Statistics ]==============================
184.52/184.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.52/184.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.52/184.62	c ===============================================================================
184.52/184.62	c |         0 |    1866     1059    12255 |     5000        0    nan |  0.000 % |
184.52/184.65	c |       101 |    1866     1059    12255 |     5500      101     39 |  0.374 % |
184.52/184.67	c |       252 |    1866     1059    12255 |     6050      252     28 |  0.374 % |
184.52/184.69	c |       477 |    1866     1059    12255 |     6655      477     34 |  0.374 % |
184.64/184.72	c |       814 |    1866     1059    12255 |     7320      814     42 |  0.374 % |
184.64/184.78	c |      1321 |    1866     1059    12255 |     8052     1321     42 |  0.374 % |
184.74/184.86	c |      2084 |    1866     1059    12255 |     8857     2084     46 |  0.374 % |
184.93/185.03	c |      3223 |    1866     1059    12255 |     9743     3223     46 |  0.374 % |
185.12/185.27	c |      4931 |    1863     1059    12255 |    10717     4928     45 |  0.641 % |
185.62/185.73	c |      7495 |    1862     1059    12255 |    11789     7492     45 |  0.641 % |
186.53/186.67	c |     11340 |    1861     1059    12255 |    12968    11329     48 |  0.641 % |
188.32/188.41	c |     17106 |    1861     1059    12255 |    14265    10540     62 |  0.641 % |
191.43/191.58	c |     25759 |    1861     1059    12255 |    15692    11958     82 |  0.641 % |
197.83/197.92	c |     38736 |    1861     1059    12255 |    17261     9084     86 |  0.641 % |
207.62/207.76	c |     58200 |    1861     1059    12255 |    18987    11160     84 |  0.641 % |
218.31/218.45	c ===============================================================================
220.11/220.27	c core #110
220.11/220.27	c ============================[ Search Statistics ]==============================
220.11/220.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.11/220.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.11/220.27	c ===============================================================================
220.11/220.27	c |         0 |    2019     1060    12560 |     5000        0    nan |  0.000 % |
220.21/220.32	c |       105 |    2019     1060    12560 |     5500      105     79 |  0.296 % |
220.21/220.33	c |       258 |    2019     1060    12560 |     6050      258     57 |  0.296 % |
220.21/220.36	c |       484 |    2019     1060    12560 |     6655      484     47 |  0.296 % |
220.21/220.40	c |       822 |    2019     1060    12560 |     7320      822     45 |  0.296 % |
220.32/220.46	c |      1332 |    2017     1060    12560 |     8052     1331     46 |  0.395 % |
220.41/220.55	c |      2093 |    2017     1060    12560 |     8857     2092     44 |  0.395 % |
220.51/220.69	c |      3232 |    2017     1060    12560 |     9743     3231     48 |  0.395 % |
220.71/220.89	c |      4943 |    2017     1060    12560 |    10717     4942     43 |  0.395 % |
221.21/221.34	c |      7506 |    2017     1060    12560 |    11789     7505     49 |  0.395 % |
222.03/222.15	c |     11352 |    2017     1060    12560 |    12968    11351     55 |  0.395 % |
222.91/223.09	c |     17118 |    2017     1060    12560 |    14265    10592     56 |  0.395 % |
225.32/225.43	c |     25768 |    2017     1060    12560 |    15692    12034     64 |  0.395 % |
229.21/229.30	c |     38742 |    2017     1060    12560 |    17261     9174     57 |  0.395 % |
234.01/234.16	c |     58204 |    2016     1060    12560 |    18987     9652     43 |  0.444 % |
239.01/239.13	c ===============================================================================
240.41/240.52	c core #111
240.41/240.52	c ============================[ Search Statistics ]==============================
240.41/240.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
240.41/240.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
240.41/240.52	c ===============================================================================
240.41/240.52	c |         0 |    2135     1061    12792 |     5000        0    nan |  0.000 % |
240.41/240.56	c |       100 |    2134     1061    12792 |     5500      100     22 |  0.374 % |
240.41/240.58	c |       250 |    2134     1061    12792 |     6050      250     21 |  0.374 % |
240.51/240.60	c |       476 |    2133     1061    12792 |     6655      475     16 |  0.374 % |
240.51/240.62	c |       814 |    2132     1061    12792 |     7320      601     14 |  0.420 % |
240.51/240.63	c ===============================================================================
240.51/240.65	c core #112
240.51/240.65	c ============================[ Search Statistics ]==============================
240.51/240.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
240.51/240.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
240.51/240.65	c ===============================================================================
240.51/240.65	c |         0 |    2196     1062    12914 |     5000        0    nan |  0.000 % |
240.51/240.67	c |       100 |    2196     1062    12914 |     5500      100     34 |  0.273 % |
240.51/240.68	c |       250 |    2196     1062    12914 |     6050      250     34 |  0.273 % |
240.61/240.70	c |       481 |    2196     1062    12914 |     6655      481     41 |  0.273 % |
240.61/240.75	c |       819 |    2196     1062    12914 |     7320      819     44 |  0.273 % |
240.71/240.80	c |      1325 |    2196     1062    12914 |     8052     1325     41 |  0.273 % |
240.71/240.89	c |      2085 |    2196     1062    12914 |     8857     2085     46 |  0.273 % |
240.91/241.04	c |      3226 |    2196     1062    12914 |     9743     3226     47 |  0.273 % |
241.20/241.31	c |      4937 |    2196     1062    12914 |    10717     4937     55 |  0.273 % |
241.70/241.85	c |      7499 |    2196     1062    12914 |    11789     7499     59 |  0.273 % |
242.51/242.68	c |     11343 |    2196     1062    12914 |    12968    11343     62 |  0.273 % |
243.91/244.05	c |     17109 |    2196     1062    12914 |    14265    10516     63 |  0.273 % |
246.91/247.04	c |     25762 |    2196     1062    12914 |    15692    11955     79 |  0.273 % |
250.72/250.87	c |     38736 |    2194     1062    12914 |    17261     9145     80 |  0.363 % |
257.10/257.23	c |     58200 |    2194     1062    12914 |    18987    11153     84 |  0.363 % |
267.60/267.76	c |     87395 |    2194     1062    12914 |    20886    11544     93 |  0.363 % |
289.39/289.54	c |    131185 |    2194     1062    12914 |    22974    13115     95 |  0.363 % |
328.98/329.10	c |    196870 |    2194     1062    12914 |    25272    20907    109 |  0.363 % |
381.66/381.86	c |    295397 |    2194     1062    12914 |    27799    16931     97 |  0.363 % |
484.83/485.09	c |    443187 |    2194     1062    12914 |    30579    16616    117 |  0.363 % |
649.97/650.27	c |    664873 |    2193     1062    12914 |    33637    18919     98 |  0.409 % |
690.26/690.59	c ===============================================================================
699.55/699.89	c core #113
699.55/699.89	c ============================[ Search Statistics ]==============================
699.55/699.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
699.55/699.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
699.55/699.89	c ===============================================================================
699.55/699.89	c |         0 |    2434     1063    13388 |     5000        0    nan |  0.000 % |
699.74/700.00	c |       100 |    2434     1063    13388 |     5500      100     41 |  0.164 % |
699.74/700.03	c |       250 |    2434     1063    13388 |     6050      250     38 |  0.164 % |
699.74/700.06	c |       475 |    2434     1063    13388 |     6655      475     40 |  0.164 % |
699.85/700.11	c |       814 |    2434     1063    13388 |     7320      814     36 |  0.164 % |
699.95/700.21	c |      1320 |    2434     1063    13388 |     8052     1320     54 |  0.164 % |
700.05/700.31	c |      2081 |    2434     1063    13388 |     8857     2081     57 |  0.164 % |
700.15/700.48	c |      3222 |    2434     1063    13388 |     9743     3222     65 |  0.164 % |
700.46/700.78	c |      4930 |    2434     1063    13388 |    10717     4930     73 |  0.164 % |
701.15/701.42	c |      7492 |    2434     1063    13388 |    11789     7492     87 |  0.164 % |
701.95/702.29	c |     11336 |    2434     1063    13388 |    12968    11336     87 |  0.164 % |
703.35/703.66	c |     17102 |    2434     1063    13388 |    14265    10453    102 |  0.164 % |
705.74/706.00	c |     25752 |    2434     1063    13388 |    15692    11895    104 |  0.164 % |
709.05/709.32	c |     38729 |    2434     1063    13388 |    17261     8874     76 |  0.164 % |
716.74/717.07	c |     58192 |    2434     1063    13388 |    18987    10787    101 |  0.164 % |
729.74/730.08	c |     87386 |    2434     1063    13388 |    20886    11039    127 |  0.164 % |
751.83/752.19	c |    131177 |    2434     1063    13388 |    22974    12434     98 |  0.164 % |
793.52/793.89	c |    196864 |    2434     1063    13388 |    25272    19878    142 |  0.164 % |
849.30/849.67	c |    295390 |    2434     1063    13388 |    27799    14672    127 |  0.164 % |
919.57/919.97	c |    443180 |    2434     1063    13388 |    30579    26067    129 |  0.164 % |
1088.32/1088.76	c |    664865 |    2434     1063    13388 |    33637    26385    168 |  0.164 % |
1384.11/1384.61	c |    997393 |    2434     1063    13388 |    37001    15982    168 |  0.164 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655991-1276363153/watcher-2655991-1276363153 -o /tmp/evaluation-result-2655991-1276363153/solver-2655991-1276363153 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655991-1276363153.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 15890
/proc/meminfo: memFree=1851076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=2752 CPUtime=0
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 308 0 0 0 0 0 0 0 23 0 1 0 11916884 2818048 226 1992294400 134512640 135751879 4289280320 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 688 226 144 303 0 372 0

[startup+0.040855 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 15890
/proc/meminfo: memFree=1851076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=2964 CPUtime=0.03
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 395 0 0 0 3 0 0 0 23 0 1 0 11916884 3035136 302 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 741 302 147 303 0 436 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2964

[startup+0.100866 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 15890
/proc/meminfo: memFree=1851076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=3352 CPUtime=0.09
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 513 0 0 0 9 0 0 0 23 0 1 0 11916884 3432448 421 1992294400 134512640 135751879 4289280320 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 838 421 147 303 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3352

[startup+0.300905 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 15890
/proc/meminfo: memFree=1851076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=4764 CPUtime=0.29
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 865 0 0 0 29 0 0 0 23 0 1 0 11916884 4878336 772 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 1191 772 147 303 0 886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4764

[startup+0.700985 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 15890
/proc/meminfo: memFree=1851076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=7072 CPUtime=0.69
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 1439 0 0 0 68 1 0 0 25 0 1 0 11916884 7241728 1346 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 1768 1346 147 303 0 1463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7072

[startup+1.50114 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 15891
/proc/meminfo: memFree=1844496/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=10792 CPUtime=1.49
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 2351 0 0 0 147 2 0 0 25 0 1 0 11916884 11051008 2258 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 2698 2258 147 303 0 2393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10792

[startup+3.10045 s]
/proc/loadavg: 1.07 1.02 1.00 3/107 15891
/proc/meminfo: memFree=1839288/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=17584 CPUtime=3.09
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 4069 0 0 0 304 5 0 0 25 0 1 0 11916884 18006016 3976 1992294400 134512640 135751879 4289280320 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 4396 3976 148 303 0 4091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17584

[startup+6.30108 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 15891
/proc/meminfo: memFree=1825400/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=31192 CPUtime=6.29
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 7465 0 0 0 620 9 0 0 25 0 1 0 11916884 31940608 7372 1992294400 134512640 135751879 4289280320 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 7798 7373 148 303 0 7493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31192

[startup+12.7003 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 15891
/proc/meminfo: memFree=1797128/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=59408 CPUtime=12.68
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 14500 0 0 0 1249 19 0 0 25 0 1 0 11916884 60833792 14407 1992294400 134512640 135751879 4289280320 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 14852 14407 148 303 0 14547 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59408

[startup+25.5008 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 15891
/proc/meminfo: memFree=1748644/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=104948 CPUtime=25.48
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 25879 0 0 0 2511 37 0 0 25 0 1 0 11916884 107466752 25786 1992294400 134512640 135751879 4289280320 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 26237 25786 148 303 0 25932 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104948

[startup+51.1008 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 15891
/proc/meminfo: memFree=1688008/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=165780 CPUtime=51.07
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 41089 0 0 0 5048 59 0 0 25 0 1 0 11916884 169758720 40996 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 41445 40996 148 303 0 41140 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 165780

[startup+102.309 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 15893
/proc/meminfo: memFree=1574300/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=278372 CPUtime=102.26
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 69193 0 0 0 10119 107 0 0 25 0 1 0 11916884 285052928 69100 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 69593 69100 148 303 0 69288 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 278372

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15895
/proc/meminfo: memFree=1472248/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=380408 CPUtime=162.24
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 94676 0 0 0 16071 153 0 0 25 0 1 0 11916884 389537792 94583 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 95102 94583 148 303 0 94797 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 380408

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15897
/proc/meminfo: memFree=1428228/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=423740 CPUtime=222.21
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 105578 0 0 0 22013 208 0 0 25 0 1 0 11916884 433909760 105457 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 105935 105457 151 303 0 105630 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 423740

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15897
/proc/meminfo: memFree=1367964/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=484624 CPUtime=282.19
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 120819 0 0 0 27938 281 0 0 25 0 1 0 11916884 496254976 120698 1992294400 134512640 135751879 4289280320 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 121156 120698 151 303 0 120851 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 484624

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15899
/proc/meminfo: memFree=1317868/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=534036 CPUtime=342.18
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 133129 0 0 0 33893 325 0 0 25 0 1 0 11916884 546852864 133008 1992294400 134512640 135751879 4289280320 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 133509 133008 151 303 0 133204 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 534036

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15901
/proc/meminfo: memFree=1264176/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=588444 CPUtime=402.16
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 146675 0 0 0 39844 372 0 0 25 0 1 0 11916884 602566656 146554 1992294400 134512640 135751879 4289280320 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 147111 146554 151 303 0 146806 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 588444

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15903
/proc/meminfo: memFree=1203292/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=648680 CPUtime=462.13
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 161701 0 0 0 45796 417 0 0 25 0 1 0 11916884 664248320 161580 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 162170 161580 151 303 0 161865 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 648680

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15903
/proc/meminfo: memFree=1153816/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=698480 CPUtime=522.11
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 174139 0 0 0 51755 456 0 0 25 0 1 0 11916884 715243520 174018 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 174620 174018 151 303 0 174315 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 698480

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15905
/proc/meminfo: memFree=1104588/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=747196 CPUtime=582.09
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 186315 0 0 0 57714 495 0 0 25 0 1 0 11916884 765128704 186194 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 186799 186194 151 303 0 186494 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 747196

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15907
/proc/meminfo: memFree=1054616/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=796856 CPUtime=642.08
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 198703 0 0 0 63673 535 0 0 25 0 1 0 11916884 815980544 198582 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 199214 198582 151 303 0 198909 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 796856

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15913
/proc/meminfo: memFree=851380/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=999032 CPUtime=881.99
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 249381 0 0 0 87456 743 0 0 25 0 1 0 11916884 1023008768 249260 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 249758 249260 151 303 0 249453 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 999032

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 15915
/proc/meminfo: memFree=790000/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1061152 CPUtime=941.96
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 264867 0 0 0 93402 794 0 0 25 0 1 0 11916884 1086619648 264746 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 265288 264746 151 303 0 264983 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 1061152

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15917
/proc/meminfo: memFree=731596/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1119112 CPUtime=1001.94
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 279318 0 0 0 99357 837 0 0 25 0 1 0 11916884 1145970688 279197 1992294400 134512640 135751879 4289280320 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 279778 279197 151 303 0 279473 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1119112

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15919
/proc/meminfo: memFree=661288/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1189460 CPUtime=1061.92
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 296863 0 0 0 105304 888 0 0 25 0 1 0 11916884 1218007040 296742 1992294400 134512640 135751879 4289280320 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 297365 296742 151 303 0 297060 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1189460

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15921
/proc/meminfo: memFree=589616/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1261216 CPUtime=1121.9
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 314751 0 0 0 111255 935 0 0 25 0 1 0 11916884 1291485184 314630 1992294400 134512640 135751879 4289280320 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 315304 314630 151 303 0 314999 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1261216

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15921
/proc/meminfo: memFree=534064/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1317144 CPUtime=1181.88
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 328728 0 0 0 117216 972 0 0 25 0 1 0 11916884 1348755456 328607 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 329286 328607 151 303 0 328981 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1317144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15923
/proc/meminfo: memFree=480744/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1369652 CPUtime=1241.86
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 341849 0 0 0 123176 1010 0 0 25 0 1 0 11916884 1402523648 341728 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 342413 341728 151 303 0 342108 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1369652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15925
/proc/meminfo: memFree=424200/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1425824 CPUtime=1301.84
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 355839 0 0 0 129133 1051 0 0 25 0 1 0 11916884 1460043776 355718 1992294400 134512640 135751879 4289280320 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 356456 355718 151 303 0 356151 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1425824

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15927
/proc/meminfo: memFree=384892/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1465372 CPUtime=1361.82
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 365713 0 0 0 135098 1084 0 0 25 0 1 0 11916884 1500540928 365592 1992294400 134512640 135751879 4289280320 18446744073709551615 134607710 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 366343 365592 151 303 0 366038 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1465372

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15929
/proc/meminfo: memFree=343104/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1506904 CPUtime=1421.8
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 376085 0 0 0 141064 1116 0 0 25 0 1 0 11916884 1543069696 375964 1992294400 134512640 135751879 4289280320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 376726 375964 151 303 0 376421 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1506904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15929
/proc/meminfo: memFree=295240/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1554820 CPUtime=1481.78
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 388056 0 0 0 147021 1157 0 0 25 0 1 0 11916884 1592135680 387935 1992294400 134512640 135751879 4289280320 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 388705 387935 151 303 0 388400 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1554820

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15931
/proc/meminfo: memFree=243904/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1606140 CPUtime=1541.76
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 400851 0 0 0 152984 1192 0 0 25 0 1 0 11916884 1644687360 400730 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 401535 400730 151 303 0 401230 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1606140

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15933
/proc/meminfo: memFree=190832/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1659984 CPUtime=1601.74
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 414277 0 0 0 158943 1231 0 0 25 0 1 0 11916884 1699823616 414156 1992294400 134512640 135751879 4289280320 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 414996 414156 151 303 0 414691 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1659984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15935
/proc/meminfo: memFree=138256/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1711796 CPUtime=1661.71
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 427208 0 0 0 164903 1268 0 0 25 0 1 0 11916884 1752879104 427087 1992294400 134512640 135751879 4289280320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 427949 427087 151 303 0 427644 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1711796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15935
/proc/meminfo: memFree=84564/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1765860 CPUtime=1721.69
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 440715 0 0 0 170864 1305 0 0 25 0 1 0 11916884 1808240640 440594 1992294400 134512640 135751879 4289280320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 441465 440594 151 303 0 441160 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1765860

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15937
/proc/meminfo: memFree=34964/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1814788 CPUtime=1781.68
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 452918 0 0 0 176826 1342 0 0 25 0 1 0 11916884 1858342912 452797 1992294400 134512640 135751879 4289280320 18446744073709551615 134616825 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 453697 452797 151 303 0 453392 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1814788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15939
/proc/meminfo: memFree=21076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=1828460 CPUtime=1800.08
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4202496 456320 0 0 0 178656 1352 0 0 25 0 1 0 11916884 1872343040 456199 1992294400 134512640 135751879 4289280320 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15890/statm: 457115 456199 151 303 0 456810 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1828460

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15939
/proc/meminfo: memFree=21076/2059040 swapFree=4136164/4192956
[pid=15890] ppid=15888 vsize=0 CPUtime=1800.17
/proc/15890/stat : 15890 (wbo1.4b) R 15888 15890 15674 0 -1 4203524 456320 0 0 0 178656 1361 0 0 25 0 1 0 11916884 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/15890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.88
CPU time (s): 1800.26
CPU user time (s): 1786.56
CPU system time (s): 13.6919
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 1828460

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

runsolver used 3.21951 second user time and 8.26874 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 19:19:13
IDJOB=2655991
IDBENCH=1948
IDSOLVER=1161
FILE ID=node011/2655991-1276363153
PBS_JOBID= 11173213
Free space on /tmp= 62264 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655991-1276363153/watcher-2655991-1276363153 -o /tmp/evaluation-result-2655991-1276363153/solver-2655991-1276363153 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655991-1276363153.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a65a3b6248e07fcc15fb8d2bec9ac9bd
RANDOM SEED=1135516250

node011.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851604 kB
Buffers:         37312 kB
Cached:         108556 kB
SwapCached:      11036 kB
Active:          92400 kB
Inactive:        67212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851604 kB
SwapTotal:     4192956 kB
SwapFree:      4136164 kB
Dirty:            2764 kB
Writeback:           0 kB
AnonPages:       10992 kB
Mapped:           9120 kB
Slab:            26036 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-12 19:49:16