Trace number 3460864

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.07 1800.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUM642c38c9f16ba47e1145e44f5259b53a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark263
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262
Optimality of the best value was proved NO
Number of variables7089
Total number of constraints13888
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 constraints13888
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2621
Number of bits of the biggest sum of numbers12
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-3460864-1307100807.opb.
0.00/0.00	c Instance file HOME/instance-3460864-1307100807.opb
0.00/0.00	c File size is 3969913 bytes.
0.19/0.29	c Highest Coefficient sum: 2621
0.19/0.29	c ============================[ Problem Statistics ]=============================
0.19/0.29	c |                                                                             |
0.19/0.29	c |  Parsing time:          0.28         s                                      |
0.19/0.29	c |  Number Variables:      7089                                                |
0.19/0.29	c |  Number Clauses:        0                                                   |
0.19/0.29	c |  Number Cardinality:    0                                                   |
0.19/0.29	c |  Number PB Constraints: 13888                                               |
0.19/0.29	c ============================[ Search Statistics ]==============================
0.19/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |    7089    13888   471936 |     5000        0   -nan |  0.000 % |
0.59/0.68	c core #1
0.59/0.68	c 
0.59/0.68	c 
0.59/0.68	c Core size: 10	Core Weight: 1	Total Weight: 1
0.59/0.68	c Current CPU time: 0.409937 s
0.59/0.68	c
0.59/0.68	c core #2
0.59/0.68	c 
0.59/0.68	c 
0.59/0.68	c Core size: 12	Core Weight: 1	Total Weight: 2
0.59/0.68	c Current CPU time: 0.531919 s
0.59/0.68	c
0.59/0.68	c ============================[ Search Statistics ]==============================
0.59/0.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.68	c ===============================================================================
0.59/0.68	c |         0 |    6987    13914   471959 |     5000        0   -nan |  0.000 % |
0.59/0.69	c ===============================================================================
0.79/0.83	c core #3
0.79/0.83	c 
0.79/0.83	c 
0.79/0.83	c Core size: 16	Core Weight: 1	Total Weight: 3
0.79/0.83	c Current CPU time: 0.678896 s
0.79/0.83	c
0.79/0.83	c ============================[ Search Statistics ]==============================
0.79/0.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.83	c ===============================================================================
0.79/0.83	c |         0 |    6996    13922   471970 |     5000        0   -nan |  0.000 % |
0.79/0.84	c ===============================================================================
0.89/0.99	c core #4
0.89/0.99	c 
0.89/0.99	c 
0.89/0.99	c Core size: 15	Core Weight: 1	Total Weight: 4
0.89/0.99	c Current CPU time: 0.828873 s
0.89/0.99	c
0.89/0.99	c ============================[ Search Statistics ]==============================
0.89/0.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.99	c ===============================================================================
0.89/0.99	c |         0 |    7020    13929   471985 |     5000        0   -nan |  0.000 % |
0.99/1.00	c ===============================================================================
1.11/1.15	c core #5
1.11/1.15	c 
1.11/1.15	c 
1.11/1.15	c Core size: 17	Core Weight: 1	Total Weight: 5
1.11/1.15	c Current CPU time: 0.989849 s
1.11/1.15	c
1.11/1.15	c ============================[ Search Statistics ]==============================
1.11/1.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.11/1.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.11/1.15	c ===============================================================================
1.11/1.15	c |         0 |    7031    13936   472001 |     5000        0   -nan |  0.000 % |
1.11/1.19	c ===============================================================================
1.29/1.34	c core #6
1.29/1.34	c 
1.29/1.34	c 
1.29/1.34	c Core size: 16	Core Weight: 3	Total Weight: 8
1.29/1.34	c Current CPU time: 1.17582 s
1.29/1.34	c
1.29/1.34	c ============================[ Search Statistics ]==============================
1.29/1.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.34	c ===============================================================================
1.29/1.34	c |         0 |    7054    13942   472019 |     5000        0   -nan |  0.000 % |
1.39/1.40	c ===============================================================================
1.49/1.55	c core #7
1.49/1.55	c 
1.49/1.55	c 
1.49/1.55	c Core size: 20	Core Weight: 1	Total Weight: 9
1.49/1.55	c Current CPU time: 1.38579 s
1.49/1.55	c
1.49/1.55	c ============================[ Search Statistics ]==============================
1.49/1.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.55	c ===============================================================================
1.49/1.55	c |         0 |    7066    13948   472038 |     5000        0   -nan |  0.000 % |
1.59/1.67	c ===============================================================================
2.39/2.46	c core #8
2.39/2.46	c 
2.39/2.46	c 
2.39/2.46	c Core size: 21	Core Weight: 1	Total Weight: 10
2.39/2.46	c Current CPU time: 1.65975 s
2.39/2.46	c
2.39/2.46	c ============================[ Search Statistics ]==============================
2.39/2.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.46	c ===============================================================================
2.39/2.46	c |         0 |    7079    13954   472059 |     5000        0   -nan |  0.000 % |
2.39/2.46	c |       100 |    7079    13954   472059 |     5500      100     25 |  1.187 % |
2.39/2.46	c |       251 |    7074    13954   472059 |     6050      251     26 |  1.410 % |
2.39/2.46	c ===============================================================================
2.49/2.56	c core #9
2.49/2.56	c 
2.49/2.56	c 
2.49/2.56	c Core size: 26	Core Weight: 6	Total Weight: 16
2.49/2.56	c Current CPU time: 2.39364 s
2.49/2.56	c
2.49/2.56	c ============================[ Search Statistics ]==============================
2.49/2.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.56	c ===============================================================================
2.49/2.56	c |         0 |    7101    13959   472082 |     5000        0   -nan |  0.000 % |
2.79/2.87	c |       100 |    7101    13959   472082 |     5500      100     26 |  0.949 % |
3.19/3.24	c |       250 |    7091    13959   472082 |     6050      250     28 |  1.465 % |
3.19/3.26	c ===============================================================================
3.19/3.41	c core #10
3.19/3.41	c 
3.19/3.41	c 
3.19/3.41	c Core size: 35	Core Weight: 1	Total Weight: 17
3.19/3.41	c Current CPU time: 3.24651 s
3.19/3.41	c
3.19/3.41	c ============================[ Search Statistics ]==============================
3.19/3.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.41	c ===============================================================================
3.19/3.41	c |         0 |    7115    13966   472110 |     5000        0   -nan |  0.000 % |
3.69/3.74	c |       100 |    7115    13966   472110 |     5500      100     26 |  0.947 % |
4.09/4.11	c |       250 |    7114    13966   472110 |     6050      250     27 |  0.961 % |
4.61/4.65	c |       478 |    7107    13966   472110 |     6655      478     30 |  1.169 % |
5.10/5.17	c ===============================================================================
5.30/5.32	c core #11
5.30/5.32	c 
5.30/5.32	c 
5.30/5.32	c Core size: 46	Core Weight: 1	Total Weight: 18
5.30/5.32	c Current CPU time: 5.15022 s
5.30/5.32	c
5.30/5.32	c ============================[ Search Statistics ]==============================
5.30/5.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.30/5.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.30/5.32	c ===============================================================================
5.30/5.32	c |         0 |    7128    13973   472136 |     5000        0   -nan |  0.000 % |
5.61/5.62	c |       101 |    7128    13973   472136 |     5500      101     27 |  0.945 % |
5.89/5.91	c |       251 |    7128    13973   472136 |     6050      251     29 |  0.945 % |
6.19/6.29	c |       477 |    7123    13973   472136 |     6655      477     30 |  1.320 % |
6.49/6.56	c ===============================================================================
6.71/6.72	c core #12
6.71/6.72	c 
6.71/6.72	c 
6.71/6.72	c Core size: 38	Core Weight: 1	Total Weight: 19
6.71/6.72	c Current CPU time: 6.547 s
6.71/6.72	c
6.71/6.72	c ============================[ Search Statistics ]==============================
6.71/6.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.71/6.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.71/6.72	c ===============================================================================
6.71/6.72	c |         0 |    7134    13978   472144 |     5000        0   -nan |  0.000 % |
6.99/7.05	c |       101 |    7134    13978   472144 |     5500      101     26 |  0.944 % |
7.29/7.34	c |       251 |    7134    13978   472144 |     6050      251     29 |  0.944 % |
7.81/7.85	c |       476 |    7134    13978   472144 |     6655      476     32 |  0.944 % |
8.49/8.51	c |       813 |    7134    13978   472144 |     7320      813     35 |  0.944 % |
9.39/9.40	c |      1319 |    7133    13978   472144 |     8052     1319     37 |  0.958 % |
10.11/10.14	c ===============================================================================
10.19/10.29	c core #13
10.19/10.29	c 
10.19/10.29	c 
10.19/10.29	c Core size: 59	Core Weight: 1	Total Weight: 20
10.19/10.29	c Current CPU time: 10.1165 s
10.19/10.29	c
10.19/10.29	c ============================[ Search Statistics ]==============================
10.19/10.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.19/10.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.19/10.29	c ===============================================================================
10.19/10.29	c |         0 |    7150    13983   472172 |     5000        0   -nan |  0.000 % |
10.59/10.60	c |       100 |    7150    13983   472172 |     5500      100     25 |  0.942 % |
10.89/10.99	c |       250 |    7150    13983   472172 |     6050      250     26 |  0.942 % |
11.49/11.57	c |       476 |    7150    13983   472172 |     6655      476     30 |  0.942 % |
12.10/12.14	c |       814 |    7150    13983   472172 |     7320      814     31 |  0.942 % |
13.10/13.11	c |      1322 |    7150    13983   472172 |     8052     1322     31 |  0.942 % |
14.41/14.42	c |      2081 |    7150    13983   472172 |     8857     2081     31 |  0.942 % |
16.99/17.03	c |      3220 |    7150    13983   472172 |     9743     3220     32 |  0.942 % |
21.49/21.54	c |      4929 |    7150    13983   472172 |    10717     4929     33 |  0.942 % |
27.49/27.56	c |      7492 |    7109    13983   472172 |    11789     7492     34 |  1.510 % |
28.09/28.13	c ===============================================================================
28.19/28.28	c core #14
28.19/28.28	c 
28.19/28.28	c 
28.19/28.28	c Core size: 39	Core Weight: 12	Total Weight: 32
28.19/28.28	c Current CPU time: 28.0917 s
28.19/28.28	c
28.19/28.28	c ============================[ Search Statistics ]==============================
28.19/28.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.19/28.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.19/28.28	c ===============================================================================
28.19/28.28	c |         0 |    7171    13987   472204 |     5000        0   -nan |  0.000 % |
28.49/28.59	c |       101 |    7171    13987   472204 |     5500      101     26 |  0.706 % |
28.99/29.01	c |       251 |    7164    13987   472204 |     6050      251     24 |  0.928 % |
29.39/29.44	c |       476 |    7162    13987   472204 |     6655      476     27 |  0.928 % |
30.09/30.18	c |       813 |    7161    13987   472204 |     7320      813     28 |  0.928 % |
31.29/31.37	c |      1320 |    7161    13987   472204 |     8052     1320     30 |  0.928 % |
32.88/32.98	c |      2079 |    7155    13987   472204 |     8857     2079     31 |  0.928 % |
34.79/34.85	c ===============================================================================
34.99/35.01	c core #15
34.99/35.01	c 
34.99/35.01	c 
34.99/35.01	c Core size: 49	Core Weight: 1	Total Weight: 33
34.99/35.01	c Current CPU time: 34.8017 s
34.99/35.01	c
34.99/35.01	c ============================[ Search Statistics ]==============================
34.99/35.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.99/35.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
34.99/35.01	c ===============================================================================
34.99/35.01	c |         0 |    7189    13992   472239 |     5000        0   -nan |  0.000 % |
35.19/35.31	c |       102 |    7189    13992   472239 |     5500      102     25 |  0.704 % |
35.59/35.69	c |       252 |    7189    13992   472239 |     6050      252     24 |  0.704 % |
36.41/36.45	c |       478 |    7189    13992   472239 |     6655      478     27 |  0.704 % |
37.39/37.43	c |       817 |    7189    13992   472239 |     7320      817     29 |  0.704 % |
38.49/38.56	c |      1324 |    7189    13992   472239 |     8052     1324     29 |  0.704 % |
40.29/40.30	c |      2084 |    7174    13992   472239 |     8857     2084     32 |  0.912 % |
42.38/42.46	c |      3225 |    7174    13992   472239 |     9743     3225     32 |  0.912 % |
46.49/46.59	c |      4933 |    7174    13992   472239 |    10717     4933     35 |  0.912 % |
50.28/50.31	c ===============================================================================
50.38/50.47	c core #16
50.38/50.47	c 
50.38/50.47	c 
50.38/50.47	c Core size: 53	Core Weight: 1	Total Weight: 34
50.38/50.47	c Current CPU time: 50.2424 s
50.38/50.47	c
50.38/50.47	c ============================[ Search Statistics ]==============================
50.38/50.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.38/50.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
50.38/50.47	c ===============================================================================
50.38/50.47	c |         0 |    7216    13999   472296 |     5000        0   -nan |  0.000 % |
50.80/50.88	c |       101 |    7216    13999   472296 |     5500      101     37 |  0.702 % |
51.28/51.30	c |       251 |    7216    13999   472296 |     6050      251     30 |  0.702 % |
51.68/51.81	c |       477 |    7216    13999   472296 |     6655      477     33 |  0.702 % |
52.48/52.57	c |       816 |    7216    13999   472296 |     7320      816     33 |  0.702 % |
53.68/53.74	c |      1322 |    7216    13999   472296 |     8052     1322     33 |  0.702 % |
55.28/55.39	c |      2083 |    7216    13999   472296 |     8857     2083     31 |  0.702 % |
58.09/58.12	c |      3223 |    7216    13999   472296 |     9743     3223     33 |  0.702 % |
61.18/61.29	c |      4931 |    7216    13999   472296 |    10717     4931     34 |  0.702 % |
65.89/65.96	c |      7494 |    7216    13999   472296 |    11789     7494     35 |  0.702 % |
73.98/74.03	c |     11338 |    7216    13999   472296 |    12968    11338     37 |  0.702 % |
85.68/85.72	c |     17104 |    7216    13999   472296 |    14265    10414     37 |  0.702 % |
104.38/104.41	c |     25754 |    7216    13999   472296 |    15692    11874     39 |  0.702 % |
117.28/117.38	c ===============================================================================
117.48/117.55	c core #17
117.48/117.55	c 
117.48/117.55	c 
117.48/117.55	c Core size: 37	Core Weight: 5	Total Weight: 39
117.48/117.55	c Current CPU time: 117.256 s
117.48/117.55	c
117.48/117.55	c ============================[ Search Statistics ]==============================
117.48/117.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
117.48/117.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
117.48/117.55	c ===============================================================================
117.48/117.55	c |         0 |    7221    14003   472303 |     5000        0   -nan |  0.000 % |
117.79/117.85	c |       102 |    7221    14003   472303 |     5500      102     25 |  0.701 % |
118.18/118.21	c |       252 |    7221    14003   472303 |     6050      252     24 |  0.701 % |
118.67/118.79	c |       477 |    7221    14003   472303 |     6655      477     26 |  0.701 % |
119.47/119.58	c |       814 |    7221    14003   472303 |     7320      814     31 |  0.701 % |
120.38/120.42	c |      1321 |    7221    14003   472303 |     8052     1321     32 |  0.701 % |
121.28/121.31	c |      2080 |    7221    14003   472303 |     8857     2080     32 |  0.701 % |
122.78/122.82	c |      3219 |    7221    14003   472303 |     9743     3219     33 |  0.701 % |
125.18/125.29	c |      4927 |    7221    14003   472303 |    10717     4927     35 |  0.701 % |
129.48/129.52	c |      7489 |    7221    14003   472303 |    11789     7489     37 |  0.701 % |
137.38/137.49	c |     11333 |    7221    14003   472303 |    12968    11333     39 |  0.701 % |
145.88/145.94	c |     17099 |    7221    14003   472303 |    14265    10558     40 |  0.701 % |
168.88/169.00	c |     25748 |    7221    14003   472303 |    15692    11821     47 |  0.701 % |
190.17/190.28	c |     38722 |    7221    14003   472303 |    17261    16571     51 |  0.702 % |
222.68/222.75	c |     58185 |    6908    14003   472303 |    18987     9487     47 |  5.006 % |
289.66/289.75	c |     87377 |    6907    14003   472303 |    20886    19178     50 |  5.019 % |
298.07/298.16	c ===============================================================================
298.37/298.40	c core #18
298.37/298.40	c 
298.37/298.40	c 
298.37/298.40	c Core size: 50	Core Weight: 1	Total Weight: 40
298.37/298.40	c Current CPU time: 297.864 s
298.37/298.40	c
298.37/298.40	c ============================[ Search Statistics ]==============================
298.37/298.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
298.37/298.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
298.37/298.40	c ===============================================================================
298.37/298.40	c |         0 |    7228    14007   472314 |     5000        0   -nan |  0.000 % |
298.57/298.69	c |       102 |    7228    14007   472314 |     5500      102     25 |  0.701 % |
298.97/299.05	c |       252 |    7228    14007   472314 |     6050      252     25 |  0.701 % |
299.57/299.63	c |       477 |    7228    14007   472314 |     6655      477     26 |  0.701 % |
300.17/300.20	c |       814 |    7228    14007   472314 |     7320      814     25 |  0.701 % |
301.17/301.22	c |      1320 |    7228    14007   472314 |     8052     1320     29 |  0.701 % |
302.87/302.95	c |      2080 |    7228    14007   472314 |     8857     2080     33 |  0.701 % |
305.36/305.47	c |      3220 |    7228    14007   472314 |     9743     3220     35 |  0.701 % |
309.07/309.19	c |      4929 |    7228    14007   472314 |    10717     4929     36 |  0.701 % |
314.36/314.43	c |      7492 |    7228    14007   472314 |    11789     7492     37 |  0.701 % |
322.06/322.13	c |     11339 |    7228    14007   472314 |    12968    11339     39 |  0.701 % |
329.26/329.39	c |     17105 |    7228    14007   472314 |    14265    10549     38 |  0.701 % |
344.38/344.50	c |     25754 |    7228    14007   472314 |    15692    12012     38 |  0.701 % |
364.07/364.16	c |     38729 |    7228    14007   472314 |    17261     8623     36 |  0.701 % |
402.78/402.84	c |     58190 |    7228    14007   472314 |    18987    10426     43 |  0.701 % |
470.06/470.15	c |     87382 |    7228    14007   472314 |    20886    10820     42 |  0.701 % |
503.66/503.71	c ===============================================================================
503.76/503.91	c core #19
503.76/503.91	c 
503.76/503.91	c 
503.76/503.91	c Core size: 48	Core Weight: 1	Total Weight: 41
503.76/503.91	c Current CPU time: 503.136 s
503.76/503.91	c
503.76/503.91	c ============================[ Search Statistics ]==============================
503.76/503.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
503.76/503.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
503.76/503.91	c ===============================================================================
503.76/503.91	c |         0 |    7237    14011   472329 |     5000        0   -nan |  0.000 % |
504.26/504.34	c |       102 |    7237    14011   472329 |     5500      102     44 |  0.700 % |
504.86/504.91	c |       253 |    7237    14011   472329 |     6050      253     42 |  0.700 % |
505.36/505.43	c |       479 |    7237    14011   472329 |     6655      479     41 |  0.700 % |
505.96/506.03	c |       816 |    7237    14011   472329 |     7320      816     39 |  0.700 % |
506.66/506.78	c |      1322 |    7237    14011   472329 |     8052     1322     36 |  0.700 % |
509.05/509.16	c |      2081 |    7237    14011   472329 |     8857     2081     37 |  0.700 % |
511.35/511.43	c |      3220 |    7237    14011   472329 |     9743     3220     37 |  0.700 % |
514.16/514.27	c |      4928 |    7237    14011   472329 |    10717     4928     36 |  0.700 % |
519.66/519.78	c |      7490 |    7237    14011   472329 |    11789     7490     38 |  0.700 % |
526.15/526.29	c |     11335 |    7085    14011   472329 |    12968    11335     37 |  2.785 % |
533.36/533.45	c |     17102 |    7085    14011   472329 |    14265    10264     35 |  2.785 % |
552.27/552.33	c |     25752 |    7085    14011   472329 |    15692    11389     39 |  2.785 % |
574.15/574.21	c |     38727 |    7085    14011   472329 |    17261    16276     37 |  2.785 % |
620.47/620.53	c |     58188 |    7085    14011   472329 |    18987    17822     40 |  2.785 % |
676.35/676.43	c |     87380 |    7085    14011   472329 |    20886    17583     37 |  2.786 % |
724.05/724.19	c ===============================================================================
724.25/724.39	c core #20
724.25/724.39	c 
724.25/724.39	c 
724.25/724.39	c Core size: 39	Core Weight: 23	Total Weight: 64
724.25/724.39	c Current CPU time: 723.354 s
724.25/724.39	c
724.25/724.39	c ============================[ Search Statistics ]==============================
724.25/724.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
724.25/724.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
724.25/724.39	c ===============================================================================
724.25/724.39	c |         0 |    7257    14014   472372 |     5000        0   -nan |  0.000 % |
724.55/724.67	c |       101 |    7257    14014   472372 |     5500      101     24 |  0.466 % |
724.96/725.11	c |       252 |    7250    14014   472372 |     6050      252     25 |  0.686 % |
725.65/725.75	c |       477 |    7246    14014   472372 |     6655      477     30 |  0.686 % |
726.65/726.75	c |       815 |    7245    14014   472372 |     7320      815     32 |  0.686 % |
727.85/727.90	c |      1321 |    7241    14014   472372 |     8052     1321     34 |  0.686 % |
729.25/729.32	c |      2080 |    7241    14014   472372 |     8857     2080     37 |  0.686 % |
732.05/732.16	c |      3220 |    7241    14014   472372 |     9743     3220     40 |  0.686 % |
734.65/734.78	c |      4928 |    7241    14014   472372 |    10717     4928     40 |  0.686 % |
739.95/740.03	c |      7490 |    7241    14014   472372 |    11789     7490     44 |  0.686 % |
747.07/747.12	c |     11334 |    7241    14014   472372 |    12968    11334     44 |  0.686 % |
755.55/755.66	c |     17100 |    7241    14014   472372 |    14265    10058     42 |  0.686 % |
771.05/771.19	c |     25749 |    7241    14014   472372 |    15692    11485     45 |  0.686 % |
795.55/795.65	c |     38724 |    7241    14014   472372 |    17261     8509     47 |  0.686 % |
829.75/829.81	c |     58185 |    7241    14014   472372 |    18987     9899     42 |  0.686 % |
886.34/886.46	c |     87377 |    7241    14014   472372 |    20886    19562     48 |  0.686 % |
952.83/952.93	c |    131167 |    7240    14014   472372 |    22974    20844     48 |  0.700 % |
1066.94/1067.01	c |    196852 |    7240    14014   472372 |    25272    15199     51 |  0.700 % |
1228.94/1229.09	c |    295378 |    7237    14014   472372 |    27799    14455     49 |  0.754 % |
1426.94/1427.07	c ===============================================================================
1427.85/1427.92	c core #21
1427.85/1427.92	c 
1427.85/1427.92	c 
1427.85/1427.92	c Core size: 69	Core Weight: 1	Total Weight: 65
1427.85/1427.92	c Current CPU time: 1425.91 s
1427.85/1427.92	c
1427.85/1427.92	c ============================[ Search Statistics ]==============================
1427.85/1427.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1427.85/1427.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1427.85/1427.92	c ===============================================================================
1427.85/1427.92	c |         0 |    7294    14019   472448 |     5000        0   -nan |  0.000 % |
1428.14/1428.20	c |       101 |    7294    14019   472448 |     5500      101     31 |  0.464 % |
1428.54/1428.64	c |       252 |    7294    14019   472448 |     6050      252     32 |  0.464 % |
1429.14/1429.29	c |       477 |    7294    14019   472448 |     6655      477     36 |  0.464 % |
1430.05/1430.14	c |       814 |    7294    14019   472448 |     7320      814     36 |  0.464 % |
1431.04/1431.15	c |      1320 |    7294    14019   472448 |     8052     1320     38 |  0.464 % |
1432.74/1432.84	c |      2079 |    7294    14019   472448 |     8857     2079     37 |  0.464 % |
1434.04/1434.19	c |      3220 |    7282    14019   472448 |     9743     3220     36 |  0.628 % |
1435.93/1436.05	c |      4929 |    7282    14019   472448 |    10717     4929     36 |  0.628 % |
1438.23/1438.39	c |      7491 |    7282    14019   472448 |    11789     7491     36 |  0.628 % |
1444.46/1444.53	c |     11336 |    7282    14019   472448 |    12968    11336     37 |  0.628 % |
1452.05/1452.15	c |     17102 |    7282    14019   472448 |    14265    10426     41 |  0.628 % |
1461.23/1461.33	c |     25752 |    7282    14019   472448 |    15692    11888     37 |  0.628 % |
1479.13/1479.28	c |     38726 |    7282    14019   472448 |    17261     9034     42 |  0.628 % |
1512.65/1512.77	c |     58188 |    7282    14019   472448 |    18987    10950     42 |  0.628 % |
1570.03/1570.11	c |     87380 |    7282    14019   472448 |    20886    10596     52 |  0.628 % |
1630.14/1630.24	c |    131169 |    7282    14019   472448 |    22974    11873     37 |  0.628 % |
1737.84/1737.91	c |    196854 |    7282    14019   472448 |    25272    17088     46 |  0.628 % |

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-3460864-1307100807/watcher-3460864-1307100807 -o /tmp/evaluation-result-3460864-1307100807/solver-3460864-1307100807 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460864-1307100807.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.23 2.09 2.02 2/530 29328
/proc/meminfo: memFree=15228668/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=7304 CPUtime=0.01 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 688 0 0 0 1 0 0 0 25 0 1 0 821679356 7479296 641 33554432000 4194304 5714214 140735193088080 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 1826 641 219 372 0 481 0

[startup+0.117941 s]
/proc/loadavg: 2.23 2.09 2.02 2/530 29328
/proc/meminfo: memFree=15228668/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=16696 CPUtime=0.11 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 3342 0 0 0 11 0 0 0 25 0 1 0 821679356 17096704 3295 33554432000 4194304 5714214 140735193088080 18446744073709551615 5201044 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 4174 3295 561 372 0 2829 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16696

[startup+0.200926 s]
/proc/loadavg: 2.23 2.09 2.02 2/530 29328
/proc/meminfo: memFree=15228668/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=23832 CPUtime=0.19 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 5408 0 0 0 19 0 0 0 25 0 1 0 821679356 24403968 5361 33554432000 4194304 5714214 140735193088080 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 5958 5361 828 372 0 4613 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23832

[startup+0.300907 s]
/proc/loadavg: 2.23 2.09 2.02 2/530 29328
/proc/meminfo: memFree=15228668/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=31820 CPUtime=0.29 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 8684 0 0 0 29 0 0 0 25 0 1 0 821679356 32583680 7639 33554432000 4194304 5714214 140735193088080 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 7988 7645 174 372 0 7613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31820

[startup+0.700844 s]
/proc/loadavg: 2.23 2.09 2.02 2/530 29328
/proc/meminfo: memFree=15228668/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=58248 CPUtime=0.69 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 15639 0 0 0 68 1 0 0 25 0 1 0 821679356 59645952 14314 33554432000 4194304 5714214 140735193088080 18446744073709551615 4967646 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 14562 14314 179 372 0 14187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58248

[startup+1.50069 s]
/proc/loadavg: 2.21 2.08 2.02 3/531 29329
/proc/meminfo: memFree=15162208/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=68964 CPUtime=1.49 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 18302 0 0 0 148 1 0 0 25 0 1 0 821679356 70619136 16977 33554432000 4194304 5714214 140735193088080 18446744073709551615 4976445 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 17241 16977 179 372 0 16866 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68964

[startup+3.10043 s]
/proc/loadavg: 2.21 2.08 2.02 4/531 29329
/proc/meminfo: memFree=15152788/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=73212 CPUtime=3.09 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 19378 0 0 0 308 1 0 0 25 0 1 0 821679356 74969088 18053 33554432000 4194304 5714214 140735193088080 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 18303 18053 180 372 0 17928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73212

[startup+6.30088 s]
/proc/loadavg: 2.21 2.08 2.02 4/531 29329
/proc/meminfo: memFree=15145040/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=77612 CPUtime=6.29 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 20469 0 0 0 627 2 0 0 18 0 1 0 821679356 79474688 19144 33554432000 4194304 5714214 140735193088080 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 19403 19144 180 372 0 19028 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77612

[startup+12.7008 s]
/proc/loadavg: 2.40 2.13 2.03 3/531 29329
/proc/meminfo: memFree=15138788/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=82124 CPUtime=12.7 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 21596 0 0 0 1267 3 0 0 25 0 1 0 821679356 84094976 20271 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 20531 20271 180 372 0 20156 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 82124

[startup+25.5206 s]
/proc/loadavg: 2.41 2.14 2.04 3/531 29329
/proc/meminfo: memFree=15135856/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=82124 CPUtime=25.51 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 21596 0 0 0 2548 3 0 0 25 0 1 0 821679356 84094976 20271 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 20531 20271 180 372 0 20156 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 82124

[startup+51.1002 s]
/proc/loadavg: 2.49 2.18 2.05 3/531 29331
/proc/meminfo: memFree=15128224/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=89924 CPUtime=51.08 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 23560 0 0 0 5102 6 0 0 25 0 1 0 821679356 92082176 22235 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 22481 22235 180 372 0 22106 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89924

[startup+102.3 s]
/proc/loadavg: 2.27 2.16 2.05 3/531 29331
/proc/meminfo: memFree=15119896/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=89924 CPUtime=102.28 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 23560 0 0 0 10218 10 0 0 25 0 1 0 821679356 92082176 22235 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 22481 22235 180 372 0 22106 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 89924

[startup+162.301 s]
/proc/loadavg: 2.10 2.13 2.05 3/531 29333
/proc/meminfo: memFree=15112064/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=96172 CPUtime=162.28 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 25123 0 0 0 16211 17 0 0 25 0 1 0 821679356 98480128 23798 33554432000 4194304 5714214 140735193088080 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 24043 23798 180 372 0 23668 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 96172

[startup+222.301 s]
/proc/loadavg: 2.03 2.10 2.04 3/531 29335
/proc/meminfo: memFree=15106224/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=96172 CPUtime=222.28 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 25128 0 0 0 22204 24 0 0 25 0 1 0 821679356 98480128 23803 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 24043 23803 180 372 0 23668 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 96172

[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.03 3/531 29337
/proc/meminfo: memFree=15106468/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=96172 CPUtime=282.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 25128 0 0 0 28197 29 0 0 25 0 1 0 821679356 98480128 23803 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 24043 23803 180 372 0 23668 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 96172

[startup+342.32 s]
/proc/loadavg: 2.00 2.06 2.03 3/531 29339
/proc/meminfo: memFree=15095404/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=106552 CPUtime=342.28 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 27716 0 0 0 34191 37 0 0 25 0 1 0 821679356 109109248 26391 33554432000 4194304 5714214 140735193088080 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 26638 26391 180 372 0 26263 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 106552

[startup+402.301 s]
/proc/loadavg: 2.07 2.07 2.03 3/531 29339
/proc/meminfo: memFree=15095876/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=106552 CPUtime=402.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 27723 0 0 0 40183 43 0 0 25 0 1 0 821679356 109109248 26398 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 26638 26398 180 372 0 26263 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 106552

[startup+462.3 s]
/proc/loadavg: 2.09 2.07 2.03 3/531 29341
/proc/meminfo: memFree=15089032/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=106552 CPUtime=462.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 27723 0 0 0 46177 49 0 0 25 0 1 0 821679356 109109248 26398 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 26638 26398 180 372 0 26263 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 106552

[startup+522.301 s]
/proc/loadavg: 2.03 2.05 2.02 3/531 29343
/proc/meminfo: memFree=15069808/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=110300 CPUtime=522.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 28654 0 0 0 52170 56 0 0 25 0 1 0 821679356 112947200 27329 33554432000 4194304 5714214 140735193088080 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 27575 27329 180 372 0 27200 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 110300

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.02 3/531 29345
/proc/meminfo: memFree=15069792/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=110300 CPUtime=582.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 28661 0 0 0 58163 63 0 0 25 0 1 0 821679356 112947200 27336 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 27575 27336 180 372 0 27200 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 110300

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29353
/proc/meminfo: memFree=15049148/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=882.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 88128 98 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 113504

[startup+942.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/531 29355
/proc/meminfo: memFree=15050364/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=942.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 94118 105 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 113504

[startup+1002.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/531 29355
/proc/meminfo: memFree=15050228/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=1002.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 100115 111 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 113504

[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/531 29357
/proc/meminfo: memFree=15050592/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=1062.24 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 106106 118 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 113504

[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/531 29359
/proc/meminfo: memFree=15050340/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=1122.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 112099 124 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 113504

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 29361
/proc/meminfo: memFree=15049840/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=1182.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 118090 133 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 113504

[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/531 29363
/proc/meminfo: memFree=15048716/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=113504 CPUtime=1242.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 29452 0 0 0 124084 139 0 0 25 0 1 0 821679356 116228096 28127 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 28376 28127 180 372 0 28001 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 113504

[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/531 29363
/proc/meminfo: memFree=15044608/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=117032 CPUtime=1302.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 30287 0 0 0 130078 145 0 0 25 0 1 0 821679356 119840768 28962 33554432000 4194304 5714214 140735193088080 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 29258 28962 180 372 0 28883 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 117032

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/531 29365
/proc/meminfo: memFree=15043488/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=120336 CPUtime=1362.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 31127 0 0 0 136069 154 0 0 25 0 1 0 821679356 123224064 29802 33554432000 4194304 5714214 140735193088080 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 30084 29802 180 372 0 29709 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 120336

[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 29367
/proc/meminfo: memFree=15034928/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=124752 CPUtime=1422.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 32217 0 0 0 142062 161 0 0 25 0 1 0 821679356 127746048 30892 33554432000 4194304 5714214 140735193088080 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 31188 30892 180 372 0 30813 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 124752

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 29369
/proc/meminfo: memFree=14999700/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1482.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 148051 172 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 154652

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29371
/proc/meminfo: memFree=14993484/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1542.25 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 154046 179 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 154652

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/531 29371
/proc/meminfo: memFree=14986280/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1602.23 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 160037 186 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 154652

[startup+1662.32 s]
/proc/loadavg: 2.14 2.05 2.01 3/531 29382
/proc/meminfo: memFree=14981484/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1662.26 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 166031 195 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 154652

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/531 29384
/proc/meminfo: memFree=14975768/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1722.24 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 172022 202 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 154652

[startup+1782.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/531 29386
/proc/meminfo: memFree=14967580/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1782.24 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 178013 211 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 154652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.13 2.06 2.01 2/529 29387
/proc/meminfo: memFree=15106840/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1800.05 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 179792 213 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 154652

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

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

[startup+1800.1 s]
/proc/loadavg: 2.13 2.06 2.01 2/529 29387
/proc/meminfo: memFree=15106840/32951132 swapFree=46579808/67111528
[pid=29328] ppid=29326 vsize=154652 CPUtime=1800.05 cores=1,3,5,7
/proc/29328/stat : 29328 (wbo1.6) R 29326 29328 28716 0 -1 4202496 39729 0 0 0 179792 213 0 0 25 0 1 0 821679356 158363648 38347 33554432000 4194304 5714214 140735193088080 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/29328/statm: 38663 38347 180 372 0 38288 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 154652

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.07
CPU user time (s): 1797.93
CPU system time (s): 2.14267
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 154976

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

runsolver used 8.67368 second user time and 22.5536 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-03 13:33:27
IDJOB=3460864
IDBENCH=2635
IDSOLVER=1953
FILE ID=node128/3460864-1307100807
RUNJOBID= node128-1307091794-28735
PBS_JOBID= 13497962
Free space on /tmp= 73904 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460864-1307100807/watcher-3460864-1307100807 -o /tmp/evaluation-result-3460864-1307100807/solver-3460864-1307100807 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460864-1307100807.opb

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

MD5SUM BENCH= 642c38c9f16ba47e1145e44f5259b53a
RANDOM SEED=1931427265

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15228948 kB
Buffers:        320500 kB
Cached:        3461988 kB
SwapCached:      35620 kB
Active:        9029560 kB
Inactive:      8378524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15228948 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:           14500 kB
Writeback:           0 kB
AnonPages:    13599600 kB
Mapped:          18472 kB
Slab:           132964 kB
PageTables:     111992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174835936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node128 at 2011-06-03 14:03:29