Trace number 2680865

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 (fixed)? (TO) 1800.19 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUMed36462db2ffa04ea65b986069441496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2642
Best CPU time to get the best result obtained on this benchmark0.110982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2642
Optimality of the best value was proved YES
Number of variables907
Total number of constraints403
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680865-1277455081.opb.
0.00/0.00	c Instance file HOME/instance-2680865-1277455081.opb
0.00/0.00	c File size is 32858 bytes.
0.00/0.00	c Highest Coefficient sum: 182
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:      907                                                 |
0.00/0.00	c |  Number Clauses:        387                                                 |
0.00/0.00	c |  Number Cardinality:    276                                                 |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     899      663     3883 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       101 |     899      663     3883 |     5500      101     77 |  0.882 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 6598
0.00/0.02	o 6598
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       101 |     899      664     4631 |     5000      101     77 |  0.882 % |
0.00/0.03	c |       201 |     899      664     4631 |     5500      201    190 |  0.882 % |
0.03/0.05	c |       352 |     899      664     4631 |     6050      352    251 |  0.882 % |
0.03/0.08	c |       578 |     899      664     4631 |     6655      578    283 |  0.882 % |
0.09/0.12	c |       916 |     899      664     4631 |     7320      916    301 |  0.882 % |
0.09/0.19	c |      1423 |     899      664     4631 |     8052     1423    313 |  0.882 % |
0.19/0.29	c |      2182 |     899      664     4631 |     8857     2182    320 |  0.882 % |
0.39/0.44	c |      3322 |     899      664     4631 |     9743     3322    325 |  0.882 % |
0.59/0.68	c |      5031 |     899      664     4631 |    10717     5031    328 |  0.882 % |
1.00/1.07	c |      7593 |     899      664     4631 |    11789     7593    330 |  0.882 % |
1.69/1.72	c |     11438 |     899      664     4631 |    12968    11438    333 |  0.882 % |
2.69/2.75	c |     17204 |     899      664     4631 |    14265    10499    336 |  0.882 % |
4.49/4.55	c |     25853 |     899      664     4631 |    15692    11793    336 |  0.882 % |
7.19/7.24	c |     38827 |     899      664     4631 |    17261     8639    337 |  0.882 % |
11.59/11.68	c |     58289 |     899      664     4631 |    18987    10403    338 |  0.882 % |
17.98/18.02	c |     87482 |     899      664     4631 |    20886    10458    338 |  0.882 % |
29.08/29.16	c |    131272 |     899      664     4631 |    22974    11565    340 |  0.882 % |
43.67/43.75	c |    196957 |     899      664     4631 |    25272    13884    340 |  0.882 % |
67.26/67.30	c |    295483 |     899      664     4631 |    27799    23233    337 |  0.882 % |
110.86/110.99	c |    443272 |     899      664     4631 |    30579    15322    336 |  0.882 % |
172.94/173.01	c ===============================================================================
172.94/173.01	c New solution: 6522
172.94/173.01	o 6522
172.94/173.01	c Elapsed CPU time: 170.688 s	Remaining CPU time: 9.31195 s
172.94/173.01	c ===============================================================================
172.94/173.01	c |    553283 |     899      665     5379 |     5000    25045    341 |  0.882 % |
173.04/173.19	c |    553383 |     899      665     5379 |     5500     2790    341 |  0.882 % |
173.14/173.21	c |    553533 |     899      665     5379 |     6050     2940    341 |  0.882 % |
173.14/173.25	c |    553758 |     899      665     5379 |     6655     3165    341 |  0.882 % |
173.14/173.29	c |    554096 |     899      665     5379 |     7320     3503    341 |  0.882 % |
173.25/173.37	c |    554602 |     899      665     5379 |     8052     4009    341 |  0.882 % |
173.34/173.49	c |    555361 |     899      665     5379 |     8857     4768    342 |  0.882 % |
173.54/173.66	c |    556501 |     899      665     5379 |     9743     5908    343 |  0.882 % |
173.84/173.96	c |    558209 |     899      665     5379 |    10717     7616    343 |  0.882 % |
174.24/174.39	c |    560772 |     899      665     5379 |    11789    10179    342 |  0.882 % |
174.94/175.05	c |    564616 |     899      665     5379 |    12968     7910    340 |  0.882 % |
176.04/176.17	c |    570383 |     899      665     5379 |    14265     6975    340 |  0.882 % |
177.94/178.07	c |    579033 |     899      665     5379 |    15692     8273    342 |  0.882 % |
180.64/180.73	c |    592007 |     899      665     5379 |    17261    13180    342 |  0.882 % |
182.45/182.51	c There are 8 assigned variables. 1 in cost function.
183.34/183.41	c core #1
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 107	Core Weight: 1	Total Weight: -174
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #2
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 71	Core Weight: 1	Total Weight: -173
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #3
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 40	Core Weight: 1	Total Weight: -172
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #4
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 113	Core Weight: 1	Total Weight: -171
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #5
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -170
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #6
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -169
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #7
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -168
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #8
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 4	Core Weight: 100	Total Weight: -68
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #9
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -67
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #10
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -66
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #11
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -65
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #12
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -64
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #13
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: -63
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #14
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 145	Core Weight: 100	Total Weight: 37
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #15
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 38
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #16
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 39
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #17
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 40
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #18
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 41
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #19
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 42
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #20
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 43
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #21
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 44
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #22
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 45
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #23
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 46
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #24
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 47
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #25
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 48
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #26
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 49
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #27
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 50
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #28
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 51
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #29
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 3	Core Weight: 1	Total Weight: 52
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #30
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 154	Core Weight: 1	Total Weight: 53
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #31
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 7	Core Weight: 1	Total Weight: 54
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c core #32
183.34/183.41	c 
183.34/183.41	c 
183.34/183.41	c Core size: 52	Core Weight: 1	Total Weight: 55
183.34/183.41	c
183.34/183.41	c
183.34/183.41	c ============================[ Search Statistics ]==============================
183.34/183.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.41	c ===============================================================================
183.34/183.41	c |         0 |    1199     1480     6752 |     5000        0    nan |  0.000 % |
183.34/183.42	c ===============================================================================
183.34/183.43	c core #33
183.34/183.43	c 
183.34/183.43	c 
183.34/183.43	c Core size: 192	Core Weight: 1	Total Weight: 56
183.34/183.43	c
183.34/183.43	c
183.34/183.43	c ============================[ Search Statistics ]==============================
183.34/183.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.43	c ===============================================================================
183.34/183.43	c |         0 |    1362     1535     7024 |     5000        0    nan |  0.000 % |
183.34/183.43	c ===============================================================================
183.34/183.44	c core #34
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 264	Core Weight: 1	Total Weight: 57
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c ============================[ Search Statistics ]==============================
183.34/183.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.44	c ===============================================================================
183.34/183.44	c |         0 |    1576     1609     7379 |     5000        0    nan |  0.000 % |
183.34/183.45	c ===============================================================================
183.34/183.45	c core #35
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 159	Core Weight: 1	Total Weight: 58
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c ============================[ Search Statistics ]==============================
183.34/183.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.45	c ===============================================================================
183.34/183.45	c |         0 |    1684     1662     7543 |     5000        0    nan |  0.000 % |
183.34/183.46	c ===============================================================================
183.34/183.47	c core #36
183.34/183.47	c 
183.34/183.47	c 
183.34/183.47	c Core size: 100	Core Weight: 1	Total Weight: 59
183.34/183.47	c
183.34/183.47	c
183.34/183.47	c ============================[ Search Statistics ]==============================
183.34/183.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.47	c ===============================================================================
183.34/183.47	c |         0 |    1756     1698     7652 |     5000        0    nan |  0.000 % |
183.34/183.47	c ===============================================================================
183.34/183.48	c core #37
183.34/183.48	c 
183.34/183.48	c 
183.34/183.48	c Core size: 26	Core Weight: 1	Total Weight: 60
183.34/183.48	c
183.34/183.48	c
183.34/183.48	c ============================[ Search Statistics ]==============================
183.34/183.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.48	c ===============================================================================
183.34/183.48	c |         0 |    1772     1711     7672 |     5000        0    nan |  0.000 % |
183.34/183.48	c ===============================================================================
183.34/183.49	c core #38
183.34/183.49	c 
183.34/183.49	c 
183.34/183.49	c Core size: 53	Core Weight: 1	Total Weight: 61
183.34/183.49	c
183.34/183.49	c
183.34/183.49	c ============================[ Search Statistics ]==============================
183.34/183.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.49	c ===============================================================================
183.34/183.49	c |         0 |    1806     1720     7732 |     5000        0    nan |  0.000 % |
183.44/183.50	c ===============================================================================
183.44/183.50	c core #39
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 103	Core Weight: 1	Total Weight: 62
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c ============================[ Search Statistics ]==============================
183.44/183.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.50	c ===============================================================================
183.44/183.50	c |         0 |    1882     1756     7849 |     5000        0    nan |  0.000 % |
183.44/183.52	c |       102 |    1882     1756     7849 |     5500      102     37 | 14.338 % |
183.44/183.53	c ===============================================================================
183.44/183.54	c core #40
183.44/183.54	c 
183.44/183.54	c 
183.44/183.54	c Core size: 106	Core Weight: 1	Total Weight: 63
183.44/183.54	c
183.44/183.54	c
183.44/183.54	c ============================[ Search Statistics ]==============================
183.44/183.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.54	c ===============================================================================
183.44/183.54	c |         0 |    1961     1792     7972 |     5000        0    nan |  0.000 % |
183.44/183.56	c |       100 |    1961     1792     7972 |     5500      100     44 | 13.840 % |
183.44/183.58	c ===============================================================================
183.44/183.59	c core #41
183.44/183.59	c 
183.44/183.59	c 
183.44/183.59	c Core size: 119	Core Weight: 1	Total Weight: 64
183.44/183.59	c
183.44/183.59	c
183.44/183.59	c ============================[ Search Statistics ]==============================
183.44/183.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.59	c ===============================================================================
183.44/183.59	c |         0 |    2048     1828     8111 |     5000        0    nan |  0.000 % |
183.54/183.60	c |       100 |    2046     1828     8111 |     5500       97     41 | 13.415 % |
183.54/183.61	c ===============================================================================
183.54/183.62	c core #42
183.54/183.62	c 
183.54/183.62	c 
183.54/183.62	c Core size: 145	Core Weight: 1	Total Weight: 65
183.54/183.62	c
183.54/183.62	c
183.54/183.62	c ============================[ Search Statistics ]==============================
183.54/183.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.62	c ===============================================================================
183.54/183.62	c |         0 |    2154     1871     8281 |     5000        0    nan |  0.000 % |
183.54/183.63	c ===============================================================================
183.54/183.64	c core #43
183.54/183.64	c 
183.54/183.64	c 
183.54/183.64	c Core size: 44	Core Weight: 1	Total Weight: 66
183.54/183.64	c
183.54/183.64	c
183.54/183.64	c ============================[ Search Statistics ]==============================
183.54/183.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.64	c ===============================================================================
183.54/183.64	c |         0 |    2184     1884     8329 |     5000        0    nan |  0.000 % |
183.54/183.65	c |       102 |    2183     1884     8329 |     5500       98     15 | 14.046 % |
183.54/183.65	c ===============================================================================
183.54/183.66	c core #44
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 71	Core Weight: 1	Total Weight: 67
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c ============================[ Search Statistics ]==============================
183.54/183.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.66	c ===============================================================================
183.54/183.66	c |         0 |    2235     1903     8413 |     5000        0    nan |  0.000 % |
183.54/183.67	c |       100 |    2235     1903     8413 |     5500      100     19 | 12.353 % |
183.54/183.68	c ===============================================================================
183.54/183.69	c core #45
183.54/183.69	c 
183.54/183.69	c 
183.54/183.69	c Core size: 134	Core Weight: 1	Total Weight: 68
183.54/183.69	c
183.54/183.69	c
183.54/183.69	c ============================[ Search Statistics ]==============================
183.54/183.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.69	c ===============================================================================
183.54/183.69	c |         0 |    2340     1936     8591 |     5000        0    nan |  0.000 % |
183.54/183.70	c |       100 |    2340     1936     8591 |     5500      100     28 | 12.467 % |
183.65/183.71	c |       250 |    2324     1936     8591 |     6050      247     26 | 12.467 % |
183.65/183.74	c |       475 |    2324     1936     8591 |     6655      472     26 | 12.467 % |
183.65/183.76	c ===============================================================================
183.65/183.78	c core #46
183.65/183.78	c 
183.65/183.78	c 
183.65/183.78	c Core size: 249	Core Weight: 1	Total Weight: 69
183.65/183.78	c
183.65/183.78	c
183.65/183.78	c ============================[ Search Statistics ]==============================
183.65/183.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.78	c ===============================================================================
183.65/183.78	c |         0 |    2540     2058     9032 |     5000        0    nan |  0.000 % |
183.65/183.79	c |       100 |    2540     2058     9032 |     5500      100     12 | 11.033 % |
183.65/183.79	c ===============================================================================
183.74/183.81	c core #47
183.74/183.81	c 
183.74/183.81	c 
183.74/183.81	c Core size: 58	Core Weight: 1	Total Weight: 70
183.74/183.81	c
183.74/183.81	c
183.74/183.81	c ============================[ Search Statistics ]==============================
183.74/183.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.81	c ===============================================================================
183.74/183.81	c |         0 |    2582     2069     9106 |     5000        0    nan |  0.000 % |
183.74/183.82	c |       102 |    2582     2069     9106 |     5500      102     17 | 10.873 % |
183.74/183.82	c ===============================================================================
183.74/183.83	c core #48
183.74/183.83	c 
183.74/183.83	c 
183.74/183.83	c Core size: 59	Core Weight: 1	Total Weight: 71
183.74/183.83	c
183.74/183.83	c
183.74/183.83	c ============================[ Search Statistics ]==============================
183.74/183.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.83	c ===============================================================================
183.74/183.83	c |         0 |    2622     2086     9170 |     5000        0    nan |  0.000 % |
183.74/183.84	c |       101 |    2622     2086     9170 |     5500      101     21 | 10.725 % |
183.74/183.86	c |       251 |    2622     2086     9170 |     6050      251     18 | 10.725 % |
183.74/183.87	c ===============================================================================
183.74/183.88	c core #49
183.74/183.88	c 
183.74/183.88	c 
183.74/183.88	c Core size: 98	Core Weight: 1	Total Weight: 72
183.74/183.88	c
183.74/183.88	c
183.74/183.88	c ============================[ Search Statistics ]==============================
183.74/183.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.88	c ===============================================================================
183.74/183.88	c |         0 |    2690     2115     9278 |     5000        0    nan |  0.000 % |
183.74/183.89	c |       101 |    2690     2115     9278 |     5500      101     27 | 10.483 % |
183.84/183.90	c |       251 |    2690     2115     9278 |     6050      251     28 | 10.483 % |
183.84/183.92	c |       476 |    2690     2115     9278 |     6655      476     28 | 10.483 % |
183.84/183.96	c |       813 |    2690     2115     9278 |     7320      813     31 | 10.483 % |
183.84/183.99	c ===============================================================================
183.94/184.01	c core #50
183.94/184.01	c 
183.94/184.01	c 
183.94/184.01	c Core size: 118	Core Weight: 1	Total Weight: 73
183.94/184.01	c
183.94/184.01	c
183.94/184.01	c ============================[ Search Statistics ]==============================
183.94/184.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.01	c ===============================================================================
183.94/184.01	c |         0 |    2768     2152     9398 |     5000        0    nan |  0.000 % |
183.94/184.03	c |       100 |    2768     2152     9398 |     5500      100    143 | 10.217 % |
183.94/184.05	c |       250 |    2768     2152     9398 |     6050      250     90 | 10.217 % |
183.94/184.08	c |       475 |    2768     2152     9398 |     6655      475     68 | 10.217 % |
184.04/184.12	c |       812 |    2768     2152     9398 |     7320      812     54 | 10.217 % |
184.04/184.18	c |      1322 |    2768     2152     9398 |     8052     1322     49 | 10.217 % |
184.24/184.31	c |      2082 |    2764     2152     9398 |     8857     2081     50 | 10.347 % |
184.44/184.55	c |      3229 |    2764     2152     9398 |     9743     3228     50 | 10.347 % |
184.84/184.96	c |      4937 |    2764     2152     9398 |    10717     4936     49 | 10.347 % |
184.94/185.09	c ===============================================================================
185.04/185.11	c core #51
185.04/185.11	c 
185.04/185.11	c 
185.04/185.11	c Core size: 15	Core Weight: 1	Total Weight: 74
185.04/185.11	c
185.04/185.11	c
185.04/185.11	c ============================[ Search Statistics ]==============================
185.04/185.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.04/185.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.04/185.11	c ===============================================================================
185.04/185.11	c |         0 |    2778     2153     9418 |     5000        0    nan |  0.000 % |
185.04/185.13	c |       100 |    2778     2153     9418 |     5500      100     34 | 10.184 % |
185.04/185.14	c |       251 |    2778     2153     9418 |     6050      251     27 | 10.184 % |
185.04/185.16	c |       478 |    2778     2153     9418 |     6655      478     28 | 10.184 % |
185.14/185.20	c |       815 |    2778     2153     9418 |     7320      815     31 | 10.184 % |
185.14/185.25	c |      1323 |    2778     2153     9418 |     8052     1323     31 | 10.184 % |
185.24/185.37	c |      2084 |    2778     2153     9418 |     8857     2084     31 | 10.184 % |
185.34/185.40	c ===============================================================================
185.34/185.44	c core #52
185.34/185.44	c 
185.34/185.44	c 
185.34/185.44	c Core size: 95	Core Weight: 1	Total Weight: 75
185.34/185.44	c
185.34/185.44	c
185.34/185.44	c ============================[ Search Statistics ]==============================
185.34/185.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.34/185.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.34/185.44	c ===============================================================================
185.34/185.44	c |         0 |    2840     2184     9512 |     5000        0    nan |  0.000 % |
185.34/185.45	c |       100 |    2840     2184     9512 |     5500      100     42 |  9.984 % |
185.34/185.46	c |       250 |    2837     2184     9512 |     6050      249     37 | 10.079 % |
185.34/185.48	c |       477 |    2837     2184     9512 |     6655      476     36 | 10.079 % |
185.44/185.51	c |       815 |    2837     2184     9512 |     7320      814     34 | 10.079 % |
185.44/185.56	c |      1324 |    2837     2184     9512 |     8052     1323     33 | 10.079 % |
185.54/185.67	c |      2084 |    2834     2184     9512 |     8857     2082     34 | 10.174 % |
185.75/185.84	c |      3227 |    2834     2184     9512 |     9743     3225     33 | 10.174 % |
186.24/186.32	c |      4935 |    2834     2184     9512 |    10717     4933     33 | 10.174 % |
186.54/186.61	c ===============================================================================
186.54/186.69	c core #53
186.54/186.69	c 
186.54/186.69	c 
186.54/186.69	c Core size: 44	Core Weight: 1	Total Weight: 76
186.54/186.69	c
186.54/186.69	c
186.54/186.69	c ============================[ Search Statistics ]==============================
186.54/186.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.54/186.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.54/186.69	c ===============================================================================
186.54/186.69	c |         0 |    2873     2193     9570 |     5000        0    nan |  0.000 % |
186.64/186.70	c |       101 |    2873     2193     9570 |     5500      101     29 |  9.881 % |
186.64/186.71	c |       251 |    2873     2193     9570 |     6050      251     28 |  9.881 % |
186.64/186.73	c |       478 |    2873     2193     9570 |     6655      478     32 |  9.881 % |
186.64/186.76	c |       817 |    2873     2193     9570 |     7320      817     35 |  9.881 % |
186.74/186.81	c |      1323 |    2873     2193     9570 |     8052     1323     36 |  9.881 % |
186.84/186.92	c |      2083 |    2873     2193     9570 |     8857     2083     38 |  9.881 % |
187.04/187.18	c |      3224 |    2873     2193     9570 |     9743     3224     39 |  9.881 % |
187.54/187.61	c |      4932 |    2870     2193     9570 |    10717     4931     40 |  9.975 % |
188.34/188.47	c |      7496 |    2870     2193     9570 |    11789     7495     42 |  9.975 % |
190.34/190.48	c |     11341 |    2870     2193     9570 |    12968    11340     44 |  9.975 % |
193.14/193.26	c |     17107 |    2870     2193     9570 |    14265    10366     45 |  9.975 % |
194.55/194.63	c ===============================================================================
194.84/194.94	c core #54
194.84/194.94	c 
194.84/194.94	c 
194.84/194.94	c Core size: 107	Core Weight: 1	Total Weight: 77
194.84/194.94	c
194.84/194.94	c
194.84/194.94	c ============================[ Search Statistics ]==============================
194.84/194.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.84/194.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.84/194.94	c ===============================================================================
194.84/194.94	c |         0 |    2943     2226     9678 |     5000        0    nan |  0.000 % |
194.84/194.96	c |       100 |    2943     2226     9678 |     5500      100     42 |  9.669 % |
194.84/194.97	c |       250 |    2943     2226     9678 |     6050      250     39 |  9.669 % |
194.84/194.99	c |       475 |    2943     2226     9678 |     6655      475     44 |  9.669 % |
194.93/195.03	c |       812 |    2943     2226     9678 |     7320      812     49 |  9.669 % |
194.93/195.09	c |      1319 |    2943     2226     9678 |     8052     1319     51 |  9.669 % |
195.14/195.22	c |      2081 |    2943     2226     9678 |     8857     2081     54 |  9.669 % |
195.34/195.44	c |      3221 |    2943     2226     9678 |     9743     3221     56 |  9.669 % |
195.74/195.85	c |      4929 |    2941     2226     9678 |    10717     4901     58 |  9.730 % |
196.24/196.32	c |      7493 |    2941     2226     9678 |    11789     7450     57 |  9.730 % |
197.54/197.63	c |     11339 |    2941     2226     9678 |    12968    11296     58 |  9.730 % |
199.54/199.64	c |     17107 |    2941     2226     9678 |    14265    10319     56 |  9.730 % |
203.14/203.27	c |     25756 |    2941     2226     9678 |    15692    11515     60 |  9.730 % |
211.74/211.84	c |     38731 |    2937     2226     9678 |    17261     8232     58 |  9.853 % |
224.73/224.83	c |     58192 |    2936     2226     9678 |    18987     9898     60 |  9.883 % |
228.33/228.45	c ===============================================================================
228.43/228.54	c core #55
228.43/228.54	c 
228.43/228.54	c 
228.43/228.54	c Core size: 37	Core Weight: 1	Total Weight: 78
228.43/228.54	c
228.43/228.54	c
228.43/228.54	c ============================[ Search Statistics ]==============================
228.43/228.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
228.43/228.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
228.43/228.54	c ===============================================================================
228.43/228.54	c |         0 |    2967     2239     9714 |     5000        0    nan |  0.000 % |
228.43/228.57	c |       100 |    2967     2239     9714 |     5500      100     33 |  9.598 % |
228.43/228.58	c |       250 |    2967     2239     9714 |     6050      250     39 |  9.598 % |
228.53/228.60	c |       475 |    2967     2239     9714 |     6655      475     41 |  9.598 % |
228.53/228.64	c |       812 |    2967     2239     9714 |     7320      812     51 |  9.598 % |
228.53/228.69	c |      1318 |    2967     2239     9714 |     8052     1318     60 |  9.598 % |
228.64/228.79	c |      2079 |    2967     2239     9714 |     8857     2079     67 |  9.598 % |
228.82/228.99	c |      3222 |    2967     2239     9714 |     9743     3222     69 |  9.598 % |
229.23/229.31	c |      4931 |    2967     2239     9714 |    10717     4931     69 |  9.598 % |
230.13/230.20	c |      7493 |    2967     2239     9714 |    11789     7493     71 |  9.598 % |
231.43/231.57	c |     11339 |    2967     2239     9714 |    12968    11339     71 |  9.598 % |
233.23/233.35	c |     17108 |    2967     2239     9714 |    14265    10355     68 |  9.598 % |
236.23/236.32	c |     25757 |    2967     2239     9714 |    15692    11572     66 |  9.598 % |
241.94/242.02	c |     38741 |    2964     2239     9714 |    17261     8352     74 |  9.811 % |
251.43/251.51	c |     58203 |    2959     2239     9714 |    18987    10029     57 |  9.842 % |
264.62/264.77	c |     87398 |    2959     2239     9714 |    20886    10019     42 |  9.842 % |
271.32/271.45	c ===============================================================================
272.12/272.29	c core #56
272.12/272.29	c 
272.12/272.29	c 
272.12/272.29	c Core size: 203	Core Weight: 1	Total Weight: 79
272.12/272.29	c
272.12/272.29	c
272.12/272.29	c ============================[ Search Statistics ]==============================
272.12/272.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
272.12/272.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
272.12/272.29	c ===============================================================================
272.12/272.29	c |         0 |    3127     2338    10086 |     5000        0    nan |  0.000 % |
272.22/272.33	c |       100 |    3127     2338    10086 |     5500      100     34 |  9.152 % |
272.22/272.36	c |       251 |    3126     2338    10086 |     6050      250     28 |  9.181 % |
272.22/272.37	c ===============================================================================
272.22/272.39	c core #57
272.22/272.39	c 
272.22/272.39	c 
272.22/272.39	c Core size: 113	Core Weight: 1	Total Weight: 80
272.22/272.39	c
272.22/272.39	c
272.22/272.39	c ============================[ Search Statistics ]==============================
272.22/272.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
272.22/272.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
272.22/272.39	c ===============================================================================
272.22/272.39	c |         0 |    3211     2387    10206 |     5000        0    nan |  0.000 % |
272.32/272.40	c |       101 |    3211     2387    10206 |     5500      101     40 |  8.934 % |
272.32/272.42	c |       251 |    3211     2387    10206 |     6050      251     36 |  8.934 % |
272.32/272.44	c |       476 |    3211     2387    10206 |     6655      476     33 |  8.934 % |
272.32/272.47	c |       814 |    3211     2387    10206 |     7320      814     36 |  8.934 % |
272.41/272.53	c |      1320 |    3211     2387    10206 |     8052     1320     36 |  8.934 % |
272.52/272.65	c |      2079 |    3211     2387    10206 |     8857     2079     35 |  8.934 % |
272.73/272.89	c |      3218 |    3211     2387    10206 |     9743     3218     34 |  8.934 % |
273.12/273.28	c |      4932 |    3211     2387    10206 |    10717     4932     38 |  8.934 % |
273.83/273.98	c |      7495 |    3211     2387    10206 |    11789     7495     37 |  8.934 % |
275.52/275.60	c |     11346 |    3211     2387    10206 |    12968    11346     37 |  8.934 % |
277.72/277.87	c |     17113 |    3211     2387    10206 |    14265    10343     35 |  8.934 % |
281.52/281.69	c |     25762 |    3211     2387    10206 |    15692    11632     32 |  8.934 % |
284.12/284.23	c ===============================================================================
284.61/284.76	c core #58
284.61/284.76	c 
284.61/284.76	c 
284.61/284.76	c Core size: 35	Core Weight: 1	Total Weight: 81
284.61/284.76	c
284.61/284.76	c
284.61/284.76	c ============================[ Search Statistics ]==============================
284.61/284.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
284.61/284.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
284.61/284.76	c ===============================================================================
284.61/284.76	c |         0 |    3239     2388    10262 |     5000        0    nan |  0.000 % |
284.61/284.79	c |       102 |    3239     2388    10262 |     5500      102    128 |  8.863 % |
284.72/284.81	c |       252 |    3239     2388    10262 |     6050      252     95 |  8.863 % |
284.72/284.83	c |       479 |    3239     2388    10262 |     6655      479     69 |  8.863 % |
284.72/284.87	c |       816 |    3239     2388    10262 |     7320      816     61 |  8.863 % |
284.83/284.92	c |      1324 |    3239     2388    10262 |     8052     1324     59 |  8.863 % |
284.92/285.04	c |      2084 |    3239     2388    10262 |     8857     2084     59 |  8.863 % |
285.11/285.24	c |      3223 |    3239     2388    10262 |     9743     3223     58 |  8.863 % |
285.52/285.60	c |      4932 |    3239     2388    10262 |    10717     4932     57 |  8.863 % |
286.31/286.48	c |      7495 |    3239     2388    10262 |    11789     7495     57 |  8.863 % |
288.03/288.15	c |     11340 |    3239     2388    10262 |    12968    11340     58 |  8.863 % |
290.32/290.45	c |     17106 |    3239     2388    10262 |    14265    10407     55 |  8.863 % |
293.82/293.97	c |     25758 |    3239     2388    10262 |    15692    11698     56 |  8.863 % |
298.81/298.92	c |     38732 |    3239     2388    10262 |    17261     8437     48 |  8.863 % |
308.31/308.40	c |     58194 |    3239     2388    10262 |    18987    10039     46 |  8.863 % |
326.01/326.17	c |     87390 |    3223     2388    10262 |    20886     9989     45 |  9.398 % |
327.90/328.04	c ===============================================================================
329.81/329.98	c core #59
329.81/329.98	c 
329.81/329.98	c 
329.81/329.98	c Core size: 190	Core Weight: 1	Total Weight: 82
329.81/329.98	c
329.81/329.98	c
329.81/329.98	c ============================[ Search Statistics ]==============================
329.81/329.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
329.81/329.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
329.81/329.99	c ===============================================================================
329.81/329.99	c |         0 |    3396     2491    10636 |     5000        0    nan |  0.000 % |
329.92/330.04	c ===============================================================================
329.92/330.06	c core #60
329.92/330.06	c 
329.92/330.06	c 
329.92/330.06	c Core size: 216	Core Weight: 80	Total Weight: 162
329.92/330.06	c
329.92/330.06	c
329.92/330.06	c ============================[ Search Statistics ]==============================
329.92/330.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
329.92/330.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
329.92/330.06	c ===============================================================================
329.92/330.06	c |         0 |    3545     2634    11160 |     5000        0    nan |  0.000 % |
329.92/330.07	c |       100 |    3545     2634    11160 |     5500      100     33 |  8.042 % |
329.92/330.08	c |       250 |    3545     2634    11160 |     6050      250     41 |  8.042 % |
330.01/330.11	c |       475 |    3545     2634    11160 |     6655      475     49 |  8.042 % |
330.01/330.14	c |       813 |    3545     2634    11160 |     7320      813     52 |  8.042 % |
330.01/330.17	c ===============================================================================
330.01/330.19	c core #61
330.01/330.19	c 
330.01/330.19	c 
330.01/330.19	c Core size: 112	Core Weight: 1	Total Weight: 163
330.01/330.19	c
330.01/330.19	c
330.01/330.19	c ============================[ Search Statistics ]==============================
330.01/330.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
330.01/330.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
330.01/330.19	c ===============================================================================
330.01/330.19	c |         0 |    3634     2679    11374 |     5000        0    nan |  0.000 % |
330.10/330.21	c |       100 |    3634     2679    11374 |     5500      100     21 |  7.743 % |
330.10/330.22	c ===============================================================================
330.10/330.24	c core #62
330.10/330.24	c 
330.10/330.24	c 
330.10/330.24	c Core size: 199	Core Weight: 1	Total Weight: 164
330.10/330.24	c
330.10/330.24	c
330.10/330.24	c ============================[ Search Statistics ]==============================
330.10/330.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
330.10/330.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
330.10/330.24	c ===============================================================================
330.10/330.24	c |         0 |    3797     2812    12176 |     5000        0    nan |  0.000 % |
330.10/330.25	c |       100 |    3797     2812    12176 |     5500      100     56 |  6.982 % |
330.10/330.27	c |       252 |    3797     2812    12176 |     6050      252     48 |  6.982 % |
330.10/330.29	c |       479 |    3797     2812    12176 |     6655      479     42 |  6.982 % |
330.21/330.33	c |       816 |    3797     2812    12176 |     7320      816     46 |  6.982 % |
330.21/330.39	c |      1322 |    3797     2812    12176 |     8052     1322     49 |  6.982 % |
330.31/330.49	c |      2081 |    3797     2812    12176 |     8857     2081     52 |  6.982 % |
330.50/330.68	c |      3221 |    3797     2812    12176 |     9743     3221     54 |  6.982 % |
330.91/331.07	c |      4929 |    3797     2812    12176 |    10717     4929     54 |  6.982 % |
331.91/332.01	c |      7491 |    3797     2812    12176 |    11789     7491     57 |  6.982 % |
332.90/333.03	c |     11335 |    3797     2812    12176 |    12968    11335     56 |  6.982 % |
334.60/334.79	c |     17104 |    3797     2812    12176 |    14265    10320     54 |  6.982 % |
338.11/338.28	c |     25755 |    3797     2812    12176 |    15692    11562     59 |  6.982 % |
345.40/345.54	c |     38729 |    3797     2812    12176 |    17261     8331     58 |  6.982 % |
355.40/355.55	c |     58193 |    3797     2812    12176 |    18987    10037     59 |  6.982 % |
373.09/373.27	c |     87385 |    3797     2812    12176 |    20886     9918     51 |  6.982 % |
400.89/401.08	c |    131177 |    3797     2812    12176 |    22974    10778     57 |  6.982 % |
441.18/441.35	c ===============================================================================
445.58/445.78	c core #63
445.58/445.78	c 
445.58/445.78	c 
445.58/445.78	c Core size: 103	Core Weight: 1	Total Weight: 165
445.58/445.78	c
445.58/445.78	c
445.58/445.78	c ============================[ Search Statistics ]==============================
445.58/445.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
445.58/445.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
445.58/445.78	c ===============================================================================
445.58/445.78	c |         0 |    3876     2829    12318 |     5000        0    nan |  0.000 % |
445.68/445.88	c |       100 |    3876     2829    12318 |     5500      100     20 |  6.849 % |
445.68/445.89	c ===============================================================================
445.78/445.92	c core #64
445.78/445.92	c 
445.78/445.92	c 
445.78/445.92	c Core size: 188	Core Weight: 1	Total Weight: 166
445.78/445.92	c
445.78/445.92	c
445.78/445.92	c ============================[ Search Statistics ]==============================
445.78/445.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
445.78/445.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
445.78/445.92	c ===============================================================================
445.78/445.92	c |         0 |    4020     2958    12926 |     5000        0    nan |  0.000 % |
445.78/445.93	c ===============================================================================
445.78/445.94	c core #65
445.78/445.94	c 
445.78/445.94	c 
445.78/445.94	c Core size: 36	Core Weight: 1	Total Weight: 167
445.78/445.94	c
445.78/445.94	c
445.78/445.94	c ============================[ Search Statistics ]==============================
445.78/445.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
445.78/445.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
445.78/445.94	c ===============================================================================
445.78/445.94	c |         0 |    4048     2965    12976 |     5000        0    nan |  0.000 % |
445.78/445.96	c |       100 |    4048     2965    12976 |     5500      100     33 |  6.361 % |
445.78/445.97	c |       250 |    4048     2965    12976 |     6050      250     42 |  6.361 % |
445.87/446.00	c |       475 |    4048     2965    12976 |     6655      475     46 |  6.361 % |
445.87/446.03	c |       812 |    4048     2965    12976 |     7320      812     48 |  6.361 % |
445.87/446.09	c |      1319 |    4048     2965    12976 |     8052     1319     52 |  6.361 % |
445.97/446.19	c |      2080 |    4048     2965    12976 |     8857     2080     58 |  6.361 % |
446.17/446.39	c |      3219 |    4048     2965    12976 |     9743     3219     67 |  6.361 % |
446.48/446.68	c |      4934 |    4048     2965    12976 |    10717     4934     72 |  6.361 % |
447.48/447.66	c |      7498 |    4048     2965    12976 |    11789     7498     77 |  6.361 % |
450.07/450.27	c |     11344 |    4048     2965    12976 |    12968    11344     79 |  6.361 % |
451.67/451.85	c |     17110 |    4048     2965    12976 |    14265    10397     80 |  6.361 % |
453.87/454.08	c |     25760 |    4048     2965    12976 |    15692    11672     80 |  6.361 % |
460.37/460.59	c |     38736 |    4048     2965    12976 |    17261     8419     79 |  6.361 % |
473.27/473.46	c |     58199 |    4048     2965    12976 |    18987     9967     81 |  6.361 % |
487.77/487.91	c |     87393 |    4048     2965    12976 |    20886     9865     72 |  6.361 % |
513.36/513.52	c |    131183 |    4047     2965    12976 |    22974    21410     86 |  6.384 % |
563.06/563.25	c |    196869 |    4047     2965    12976 |    25272    16391     84 |  6.384 % |
651.73/651.96	c |    295402 |    4047     2965    12976 |    27799    23815     92 |  6.384 % |
670.02/670.28	c ===============================================================================
670.42/670.66	c core #66
670.42/670.66	c 
670.42/670.66	c 
670.42/670.66	c Core size: 143	Core Weight: 1	Total Weight: 168
670.42/670.66	c
670.42/670.66	c
670.42/670.66	c ============================[ Search Statistics ]==============================
670.42/670.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
670.42/670.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
670.42/670.66	c ===============================================================================
670.42/670.66	c |         0 |    4169     2998    13186 |     5000        0    nan |  0.000 % |
670.52/670.71	c |       102 |    4169     2998    13186 |     5500      102     14 |  6.188 % |
670.52/670.72	c ===============================================================================
670.62/670.80	c core #67
670.62/670.80	c 
670.62/670.80	c 
670.62/670.80	c Core size: 45	Core Weight: 1	Total Weight: 169
670.62/670.80	c
670.62/670.80	c
670.62/670.80	c ============================[ Search Statistics ]==============================
670.62/670.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
670.62/670.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
670.62/670.80	c ===============================================================================
670.62/670.80	c |         0 |    4205     3011    13246 |     5000        0    nan |  0.000 % |
670.62/670.82	c |       100 |    4205     3011    13246 |     5500      100     35 |  6.138 % |
670.62/670.83	c |       252 |    4205     3011    13246 |     6050      252     39 |  6.138 % |
670.62/670.85	c |       478 |    4205     3011    13246 |     6655      478     41 |  6.138 % |
670.73/670.90	c |       815 |    4205     3011    13246 |     7320      815     37 |  6.138 % |
670.73/670.97	c |      1321 |    4205     3011    13246 |     8052     1321     37 |  6.138 % |
670.83/671.07	c |      2080 |    4205     3011    13246 |     8857     2080     39 |  6.138 % |
671.12/671.31	c |      3220 |    4205     3011    13246 |     9743     3220     39 |  6.138 % |
671.62/671.82	c |      4928 |    4205     3011    13246 |    10717     4928     39 |  6.138 % |
672.52/672.72	c |      7492 |    4205     3011    13246 |    11789     7492     40 |  6.138 % |
674.22/674.45	c |     11338 |    4205     3011    13246 |    12968    11338     40 |  6.138 % |
676.22/676.46	c |     17105 |    4205     3011    13246 |    14265    10345     39 |  6.138 % |
679.52/679.75	c |     25755 |    4205     3011    13246 |    15692    11537     46 |  6.138 % |
688.01/688.20	c |     38732 |    4205     3011    13246 |    17261    16390     47 |  6.138 % |
700.42/700.62	c |     58195 |    4204     3011    13246 |    18987    17546     42 |  6.161 % |
717.91/718.13	c |     87387 |    4204     3011    13246 |    20886    17334     43 |  6.161 % |
746.11/746.30	c |    131177 |    4203     3011    13246 |    22974    18105     50 |  6.183 % |
757.71/757.99	c ===============================================================================
761.80/762.09	c core #68
761.80/762.09	c 
761.80/762.09	c 
761.80/762.09	c Core size: 56	Core Weight: 1	Total Weight: 170
761.80/762.09	c
761.80/762.09	c
761.80/762.09	c ============================[ Search Statistics ]==============================
761.80/762.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
761.80/762.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
761.80/762.09	c ===============================================================================
761.80/762.09	c |         0 |    4254     3012    13344 |     5000        0    nan |  0.000 % |
761.90/762.14	c |       100 |    4254     3012    13344 |     5500      100     17 |  6.072 % |
761.90/762.16	c |       250 |    4254     3012    13344 |     6050      250     17 |  6.072 % |
761.90/762.19	c |       475 |    4254     3012    13344 |     6655      475     17 |  6.072 % |
762.00/762.22	c ===============================================================================
762.00/762.25	c core #69
762.00/762.25	c 
762.00/762.25	c 
762.00/762.25	c Core size: 16	Core Weight: 1	Total Weight: 171
762.00/762.25	c
762.00/762.25	c
762.00/762.25	c ============================[ Search Statistics ]==============================
762.00/762.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
762.00/762.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
762.00/762.25	c ===============================================================================
762.00/762.25	c |         0 |    4268     3013    13372 |     5000        0    nan |  0.000 % |
762.00/762.27	c |       100 |    4268     3013    13372 |     5500      100     23 |  6.053 % |
762.00/762.27	c |       251 |    4268     3013    13372 |     6050      251     20 |  6.053 % |
762.00/762.28	c |       476 |    4268     3013    13372 |     6655      476     18 |  6.053 % |
762.00/762.29	c ===============================================================================
762.11/762.31	c core #70
762.11/762.31	c 
762.11/762.31	c 
762.11/762.31	c Core size: 35	Core Weight: 1	Total Weight: 172
762.11/762.31	c
762.11/762.31	c
762.11/762.31	c ============================[ Search Statistics ]==============================
762.11/762.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
762.11/762.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
762.11/762.31	c ===============================================================================
762.11/762.31	c |         0 |    4292     3026    13408 |     5000        0    nan |  0.000 % |
762.11/762.33	c |       101 |    4292     3026    13408 |     5500      101     24 |  6.021 % |
762.11/762.34	c |       253 |    4291     3026    13408 |     6050      252     22 |  6.043 % |
762.11/762.35	c |       480 |    4291     3026    13408 |     6655      479     24 |  6.043 % |
762.11/762.37	c |       817 |    4291     3026    13408 |     7320      816     26 |  6.043 % |
762.20/762.42	c |      1323 |    4291     3026    13408 |     8052     1322     27 |  6.043 % |
762.29/762.50	c |      2082 |    4291     3026    13408 |     8857     2081     28 |  6.043 % |
762.40/762.69	c |      3221 |    4291     3026    13408 |     9743     3220     28 |  6.043 % |
762.80/763.05	c |      4930 |    4291     3026    13408 |    10717     4929     28 |  6.043 % |
763.00/763.26	c ===============================================================================
763.10/763.35	c core #71
763.10/763.35	c 
763.10/763.35	c 
763.10/763.35	c Core size: 37	Core Weight: 1	Total Weight: 173
763.10/763.35	c
763.10/763.35	c
763.10/763.35	c ============================[ Search Statistics ]==============================
763.10/763.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
763.10/763.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
763.10/763.35	c ===============================================================================
763.10/763.35	c |         0 |    4316     3039    13444 |     5000        0    nan |  0.000 % |
763.10/763.37	c |       101 |    4316     3039    13444 |     5500      101     24 |  5.990 % |
763.10/763.39	c |       251 |    4316     3039    13444 |     6050      251     23 |  5.990 % |
763.21/763.41	c ===============================================================================
763.21/763.43	c core #72
763.21/763.43	c 
763.21/763.43	c 
763.21/763.43	c Core size: 187	Core Weight: 1	Total Weight: 174
763.21/763.43	c
763.21/763.43	c
763.21/763.43	c ============================[ Search Statistics ]==============================
763.21/763.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
763.21/763.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
763.21/763.43	c ===============================================================================
763.21/763.43	c |         0 |    4448     3166    13952 |     5000        0    nan |  0.000 % |
763.21/763.45	c |       101 |    4448     3166    13952 |     5500      101     34 |  5.743 % |
763.21/763.46	c |       251 |    4448     3166    13952 |     6050      251     34 |  5.743 % |
763.21/763.48	c |       476 |    4448     3166    13952 |     6655      476     48 |  5.743 % |
763.30/763.53	c |       815 |    4448     3166    13952 |     7320      815     72 |  5.743 % |
763.40/763.61	c |      1321 |    4448     3166    13952 |     8052     1321     88 |  5.743 % |
763.50/763.74	c |      2080 |    4448     3166    13952 |     8857     2080     90 |  5.743 % |
763.90/764.10	c |      3219 |    4448     3166    13952 |     9743     3219     96 |  5.743 % |
764.21/764.50	c |      4927 |    4448     3166    13952 |    10717     4927     95 |  5.743 % |
765.00/765.20	c |      7494 |    4448     3166    13952 |    11789     7494     96 |  5.743 % |
767.51/767.78	c |     11341 |    4448     3166    13952 |    12968    11341     98 |  5.743 % |
770.19/770.41	c |     17109 |    4448     3166    13952 |    14265    10362     90 |  5.743 % |
772.69/772.99	c |     25758 |    4448     3166    13952 |    15692    11664     80 |  5.743 % |
776.89/777.19	c |     38735 |    4448     3166    13952 |    17261    16483     90 |  5.743 % |
786.99/787.27	c |     58199 |    4448     3166    13952 |    18987     9128     86 |  5.743 % |
804.79/805.03	c |     87397 |    4448     3166    13952 |    20886    18739     88 |  5.743 % |
838.28/838.55	c |    131186 |    4448     3166    13952 |    22974    19648     90 |  5.743 % |
893.76/894.02	c |    196873 |    4448     3166    13952 |    25272    14682     89 |  5.743 % |
969.05/969.31	c |    295399 |    4448     3166    13952 |    27799    20656     61 |  5.743 % |
1086.92/1087.25	c |    443190 |    4446     3166    13952 |    30579    16808     74 |  5.785 % |
1269.58/1269.94	c |    664873 |    4446     3166    13952 |    33637    21817     71 |  5.785 % |
1574.48/1574.94	c |    997399 |    4446     3166    13952 |    37001    23587     72 |  5.785 % |

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-2680865-1277455081/watcher-2680865-1277455081 -o /tmp/evaluation-result-2680865-1277455081/solver-2680865-1277455081 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680865-1277455081.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: 0.92 1.00 0.95 3/106 20354
/proc/meminfo: memFree=1821064/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=2848 CPUtime=0
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 373 0 0 0 0 0 0 0 18 0 1 0 121111949 2916352 282 1992294400 134512640 135752675 4288894448 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 712 282 142 303 0 407 0

[startup+0.040894 s]
/proc/loadavg: 0.92 1.00 0.95 3/106 20354
/proc/meminfo: memFree=1821064/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=2980 CPUtime=0.03
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 412 0 0 0 3 0 0 0 20 0 1 0 121111949 3051520 321 1992294400 134512640 135752675 4288894448 18446744073709551615 135205031 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 745 321 145 303 0 440 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2980

[startup+0.101901 s]
/proc/loadavg: 0.92 1.00 0.95 3/106 20354
/proc/meminfo: memFree=1821064/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=3748 CPUtime=0.09
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 578 0 0 0 9 0 0 0 20 0 1 0 121111949 3837952 487 1992294400 134512640 135752675 4288894448 18446744073709551615 134638325 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 937 488 145 303 0 632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3748

[startup+0.300918 s]
/proc/loadavg: 0.92 1.00 0.95 3/106 20354
/proc/meminfo: memFree=1821064/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=5924 CPUtime=0.29
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 1121 0 0 0 28 1 0 0 20 0 1 0 121111949 6066176 1030 1992294400 134512640 135752675 4288894448 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 1481 1030 145 303 0 1176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5924

[startup+0.700957 s]
/proc/loadavg: 0.92 1.00 0.95 3/106 20354
/proc/meminfo: memFree=1821064/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=9924 CPUtime=0.69
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 2151 0 0 0 67 2 0 0 20 0 1 0 121111949 10162176 2060 1992294400 134512640 135752675 4288894448 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 2481 2060 145 303 0 2176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9924

[startup+1.50103 s]
/proc/loadavg: 0.92 1.00 0.95 2/107 20355
/proc/meminfo: memFree=1810516/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=17240 CPUtime=1.49
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 3971 0 0 0 146 3 0 0 23 0 1 0 121111949 17653760 3880 1992294400 134512640 135752675 4288894448 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 4310 3880 145 303 0 4005 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17240

[startup+3.10019 s]
/proc/loadavg: 0.92 1.00 0.95 2/107 20355
/proc/meminfo: memFree=1801092/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=29856 CPUtime=3.09
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 7123 0 0 0 302 7 0 0 25 0 1 0 121111949 30572544 7032 1992294400 134512640 135752675 4288894448 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 7464 7033 145 303 0 7159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29856

[startup+6.30149 s]
/proc/loadavg: 0.93 1.00 0.95 2/107 20355
/proc/meminfo: memFree=1777160/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=52156 CPUtime=6.29
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 12695 0 0 0 615 14 0 0 25 0 1 0 121111949 53407744 12604 1992294400 134512640 135752675 4288894448 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 13039 12604 145 303 0 12734 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52156

[startup+12.7011 s]
/proc/loadavg: 0.93 1.00 0.95 2/107 20357
/proc/meminfo: memFree=1734256/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=93436 CPUtime=12.69
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 23007 0 0 0 1246 23 0 0 25 0 1 0 121111949 95678464 22916 1992294400 134512640 135752675 4288894448 18446744073709551615 134611942 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 23359 22916 145 303 0 23054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93436

[startup+25.5013 s]
/proc/loadavg: 0.95 1.00 0.95 2/107 20357
/proc/meminfo: memFree=1653160/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=170908 CPUtime=25.48
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 42364 0 0 0 2503 45 0 0 25 0 1 0 121111949 175009792 42273 1992294400 134512640 135752675 4288894448 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 42727 42273 145 303 0 42422 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 170908

[startup+51.1017 s]
/proc/loadavg: 0.96 1.00 0.95 2/107 20357
/proc/meminfo: memFree=1492828/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=332980 CPUtime=51.08
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 82873 0 0 0 5015 93 0 0 25 0 1 0 121111949 340971520 82782 1992294400 134512640 135752675 4288894448 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 83245 82782 145 303 0 82940 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 332980

[startup+102.309 s]
/proc/loadavg: 0.98 1.00 0.95 2/107 20359
/proc/meminfo: memFree=1227840/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=594252 CPUtime=102.27
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 148133 0 0 0 10058 169 0 0 25 0 1 0 121111949 608514048 148042 1992294400 134512640 135752675 4288894448 18446744073709551615 134638327 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 148563 148042 145 303 0 148258 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 594252

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20361
/proc/meminfo: memFree=1047296/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=775980 CPUtime=162.24
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 193539 0 0 0 16005 219 0 0 25 0 1 0 121111949 794603520 193448 1992294400 134512640 135752675 4288894448 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 193995 193448 145 303 0 193690 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 775980

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20361
/proc/meminfo: memFree=950328/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=870468 CPUtime=222.23
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 217301 0 0 0 21948 275 0 0 25 0 1 0 121111949 891359232 217179 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 217617 217179 146 303 0 217312 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 870468

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20363
/proc/meminfo: memFree=937928/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=883196 CPUtime=282.22
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 220472 0 0 0 27906 316 0 0 25 0 1 0 121111949 904392704 220350 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 220799 220350 146 303 0 220494 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 883196

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20365
/proc/meminfo: memFree=910896/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=909828 CPUtime=342.2
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 227156 0 0 0 33868 352 0 0 25 0 1 0 121111949 931663872 227034 1992294400 134512640 135752675 4288894448 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 227457 227034 146 303 0 227152 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 909828

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20367
/proc/meminfo: memFree=882376/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=938704 CPUtime=402.18
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 234321 0 0 0 39831 387 0 0 25 0 1 0 121111949 961232896 234199 1992294400 134512640 135752675 4288894448 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 234676 234199 146 303 0 234371 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 938704

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20369
/proc/meminfo: memFree=854848/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=965844 CPUtime=462.17
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 241168 0 0 0 45794 423 0 0 25 0 1 0 121111949 989024256 241025 1992294400 134512640 135752675 4288894448 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 241461 241025 146 303 0 241156 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 965844

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20369
/proc/meminfo: memFree=817772/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1003128 CPUtime=522.16
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 250444 0 0 0 51756 460 0 0 25 0 1 0 121111949 1027203072 250301 1992294400 134512640 135752675 4288894448 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 250782 250301 146 303 0 250477 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1003128

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20371
/proc/meminfo: memFree=786772/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1033828 CPUtime=582.14
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 258107 0 0 0 57723 491 0 0 25 0 1 0 121111949 1058639872 257964 1992294400 134512640 135752675 4288894448 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 258457 257964 146 303 0 258152 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1033828

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20373
/proc/meminfo: memFree=758500/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1061704 CPUtime=642.14
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 265081 0 0 0 63692 522 0 0 25 0 1 0 121111949 1087184896 264938 1992294400 134512640 135752675 4288894448 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 265426 264938 146 303 0 265121 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1061704

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20379
/proc/meminfo: memFree=651116/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1168884 CPUtime=882.06
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 291901 0 0 0 87550 656 0 0 25 0 1 0 121111949 1196937216 291707 1992294400 134512640 135752675 4288894448 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 292221 291707 146 303 0 291916 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1168884

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20381
/proc/meminfo: memFree=622224/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1198028 CPUtime=942.06
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 299169 0 0 0 93521 685 0 0 25 0 1 0 121111949 1226780672 298975 1992294400 134512640 135752675 4288894448 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 299507 298975 146 303 0 299202 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1198028

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/107 20383
/proc/meminfo: memFree=591596/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1228460 CPUtime=1002.03
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 306732 0 0 0 99484 719 0 0 25 0 1 0 121111949 1257943040 306538 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 307115 306538 146 303 0 306810 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1228460

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 0.95 2/107 20385
/proc/meminfo: memFree=564440/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1255728 CPUtime=1062.02
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 313530 0 0 0 105454 748 0 0 25 0 1 0 121111949 1285865472 313336 1992294400 134512640 135752675 4288894448 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 313932 313336 146 303 0 313627 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1255728

[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 0.96 2/107 20385
/proc/meminfo: memFree=538152/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1281856 CPUtime=1122.01
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 320058 0 0 0 111426 775 0 0 25 0 1 0 121111949 1312620544 319864 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 320464 319864 146 303 0 320159 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1281856

[startup+1182.3 s]
/proc/loadavg: 1.08 1.03 0.96 2/107 20387
/proc/meminfo: memFree=511740/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1308484 CPUtime=1182
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 326696 0 0 0 117398 802 0 0 25 0 1 0 121111949 1339887616 326502 1992294400 134512640 135752675 4288894448 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 327121 326502 146 303 0 326816 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1308484

[startup+1242.3 s]
/proc/loadavg: 1.08 1.04 0.97 2/107 20389
/proc/meminfo: memFree=480120/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1339828 CPUtime=1241.98
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 334511 0 0 0 123365 833 0 0 25 0 1 0 121111949 1371983872 334317 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 334957 334317 146 303 0 334652 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1339828

[startup+1302.3 s]
/proc/loadavg: 1.14 1.06 0.98 2/107 20391
/proc/meminfo: memFree=452716/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1366972 CPUtime=1301.98
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 341276 0 0 0 129337 861 0 0 25 0 1 0 121111949 1399779328 341082 1992294400 134512640 135752675 4288894448 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 341743 341082 146 303 0 341438 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1366972

[startup+1362.3 s]
/proc/loadavg: 1.09 1.06 0.98 2/107 20393
/proc/meminfo: memFree=425684/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1394200 CPUtime=1361.95
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 348074 0 0 0 135306 889 0 0 25 0 1 0 121111949 1427660800 347880 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 348550 347880 146 303 0 348245 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1394200

[startup+1422.31 s]
/proc/loadavg: 1.03 1.05 0.98 2/107 20402
/proc/meminfo: memFree=392204/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1427600 CPUtime=1421.92
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 356390 0 0 0 141267 925 0 0 25 0 1 0 121111949 1461862400 356196 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 356900 356196 146 303 0 356595 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1427600

[startup+1482.3 s]
/proc/loadavg: 1.01 1.04 0.98 2/107 20404
/proc/meminfo: memFree=368148/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1451952 CPUtime=1481.9
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 362427 0 0 0 147241 949 0 0 25 0 1 0 121111949 1486798848 362233 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 362988 362233 146 303 0 362683 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1451952

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 0.98 2/107 20406
/proc/meminfo: memFree=341736/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1478172 CPUtime=1541.88
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 368986 0 0 0 153211 977 0 0 25 0 1 0 121111949 1513648128 368792 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 369543 368792 146 303 0 369238 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1478172

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 20408
/proc/meminfo: memFree=323756/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1496124 CPUtime=1601.87
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 373468 0 0 0 159187 1000 0 0 25 0 1 0 121111949 1532030976 373274 1992294400 134512640 135752675 4288894448 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 374031 373274 146 303 0 373726 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1496124

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 20410
/proc/meminfo: memFree=302428/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1517508 CPUtime=1661.86
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 378799 0 0 0 165162 1024 0 0 25 0 1 0 121111949 1553928192 378605 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 379377 378605 146 303 0 379072 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1517508

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 20410
/proc/meminfo: memFree=277628/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1542492 CPUtime=1721.84
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 385045 0 0 0 171135 1049 0 0 25 0 1 0 121111949 1579511808 384851 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 385623 384851 146 303 0 385318 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1542492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 20412
/proc/meminfo: memFree=250100/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1569624 CPUtime=1781.83
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 391801 0 0 0 177107 1076 0 0 25 0 1 0 121111949 1607294976 391607 1992294400 134512640 135752675 4288894448 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 392406 391607 146 303 0 392101 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1569624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 20412
/proc/meminfo: memFree=243032/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=1576572 CPUtime=1800.03
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4202496 393542 0 0 0 178920 1083 0 0 25 0 1 0 121111949 1614409728 393348 1992294400 134512640 135752675 4288894448 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20354/statm: 394143 393348 146 303 0 393838 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1576572

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 20413
/proc/meminfo: memFree=1242264/2059040 swapFree=4140248/4192956
[pid=20354] ppid=20352 vsize=0 CPUtime=1800.14
/proc/20354/stat : 20354 (wbo1.4b) R 20352 20354 20171 0 -1 4203524 393542 0 0 0 178920 1094 0 0 25 0 1 0 121111949 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/20354/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.66
CPU time (s): 1800.19
CPU user time (s): 1789.21
CPU system time (s): 10.9853
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1576572

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

runsolver used 3.07853 second user time and 8.42072 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-25 10:38:01
IDJOB=2680865
IDBENCH=2231
IDSOLVER=1190
FILE ID=node004/2680865-1277455081
PBS_JOBID= 11188153
Free space on /tmp= 62336 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680865-1277455081/watcher-2680865-1277455081 -o /tmp/evaluation-result-2680865-1277455081/solver-2680865-1277455081 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680865-1277455081.opb

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

MD5SUM BENCH= ed36462db2ffa04ea65b986069441496
RANDOM SEED=816603123

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821468 kB
Buffers:         35148 kB
Cached:         104468 kB
SwapCached:       5576 kB
Active:          31684 kB
Inactive:       121296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821468 kB
SwapTotal:     4192956 kB
SwapFree:      4140248 kB
Dirty:            2636 kB
Writeback:           0 kB
AnonPages:       12124 kB
Mapped:          12040 kB
Slab:            62636 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182836 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= 62336 MiB
End job on node004 at 2010-06-25 11:08:03