Trace number 2680867

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)? (MO) 1032.59 1032.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM4e682317a6045f4869b1783c80734344
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark813
Best CPU time to get the best result obtained on this benchmark0.71789
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 813
Optimality of the best value was proved YES
Number of variables2289
Total number of constraints764
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)404
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 1798
Biggest coefficient in the objective function 349
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 104116
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 349
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 104116
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680867-1277455109.opb.
0.00/0.00	c Instance file HOME/instance-2680867-1277455109.opb
0.00/0.00	c File size is 87501 bytes.
0.00/0.01	c Highest Coefficient sum: 231
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      2289                                                |
0.00/0.01	c |  Number Clauses:        738                                                 |
0.00/0.01	c |  Number Cardinality:    403                                                 |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2280     1142     9876 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 12917
0.00/0.07	o 12917
0.00/0.07	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |        32 |    2280     1143    11674 |     5000       32     11 |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 12603
0.00/0.08	o 12603
0.00/0.08	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 179.929 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |        37 |    2280     1144    13472 |     5000       37     17 |  0.000 % |
0.09/0.11	c |       138 |    2280     1144    13472 |     5500      138    580 |  0.393 % |
0.09/0.15	c |       288 |    2280     1144    13472 |     6050      288    696 |  0.393 % |
0.19/0.22	c |       514 |    2280     1144    13472 |     6655      514    755 |  0.393 % |
0.29/0.31	c |       852 |    2280     1144    13472 |     7320      852    786 |  0.393 % |
0.39/0.46	c |      1358 |    2280     1144    13472 |     8052     1358    803 |  0.393 % |
0.69/0.74	c |      2122 |    2280     1144    13472 |     8857     2122    813 |  0.393 % |
0.99/1.09	c |      3261 |    2280     1144    13472 |     9743     3261    826 |  0.393 % |
1.59/1.60	c |      4970 |    2280     1144    13472 |    10717     4970    828 |  0.393 % |
2.39/2.45	c |      7533 |    2280     1144    13472 |    11789     7533    836 |  0.393 % |
3.69/3.77	c |     11377 |    2280     1144    13472 |    12968    11377    840 |  0.393 % |
5.69/5.73	c |     17144 |    2280     1144    13472 |    14265     9978    852 |  0.393 % |
8.69/8.72	c |     25793 |    2280     1144    13472 |    15692    10769    584 |  0.393 % |
13.58/13.65	c |     38770 |    2280     1144    13472 |    17261    15224    857 |  0.393 % |
21.38/21.44	c |     58232 |    2280     1144    13472 |    18987    15891    868 |  0.393 % |
33.18/33.25	c |     87425 |    2280     1144    13472 |    20886    14702    870 |  0.393 % |
53.97/54.00	c |    131214 |    2280     1144    13472 |    22974    12213    869 |  0.393 % |
85.77/85.87	c |    196898 |    2280     1144    13472 |    25272    23944    845 |  0.393 % |
128.25/128.38	c |    295424 |    2280     1144    13472 |    27799    12281    872 |  0.393 % |
182.74/182.82	c There are 9 assigned variables. 1 in cost function.
183.44/183.55	c core #1
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 90	Core Weight: 1	Total Weight: -417
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #2
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 57	Core Weight: 1	Total Weight: -416
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #3
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 96	Core Weight: 1	Total Weight: -415
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #4
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 60	Core Weight: 1	Total Weight: -414
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #5
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 56	Core Weight: 1	Total Weight: -413
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #6
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 61	Core Weight: 1	Total Weight: -412
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #7
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 91	Core Weight: 1	Total Weight: -411
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #8
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 48	Core Weight: 1	Total Weight: -410
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #9
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 48	Core Weight: 1	Total Weight: -409
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #10
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 56	Core Weight: 1	Total Weight: -408
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #11
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 89	Core Weight: 1	Total Weight: -407
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #12
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 5	Core Weight: 100	Total Weight: -307
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #13
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 5	Core Weight: 100	Total Weight: -207
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #14
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 9	Core Weight: 100	Total Weight: -107
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #15
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 5	Core Weight: 100	Total Weight: -7
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #16
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 9	Core Weight: 100	Total Weight: 93
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #17
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 9	Core Weight: 100	Total Weight: 193
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #18
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 9	Core Weight: 100	Total Weight: 293
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #19
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 9	Core Weight: 100	Total Weight: 393
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #20
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 34	Core Weight: 1	Total Weight: 394
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #21
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 31	Core Weight: 1	Total Weight: 395
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #22
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 7	Core Weight: 1	Total Weight: 396
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c core #23
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 7	Core Weight: 1	Total Weight: 397
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c ============================[ Search Statistics ]==============================
183.44/183.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.55	c ===============================================================================
183.44/183.55	c |         0 |    2081     2972    11480 |     5000        0    nan |  0.000 % |
183.44/183.55	c ===============================================================================
183.44/183.56	c core #24
183.44/183.56	c 
183.44/183.56	c 
183.44/183.56	c Core size: 60	Core Weight: 1	Total Weight: 398
183.44/183.56	c
183.44/183.56	c
183.44/183.56	c ============================[ Search Statistics ]==============================
183.44/183.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.56	c ===============================================================================
183.44/183.56	c |         0 |    2136     2973    11590 |     5000        0    nan |  0.000 % |
183.44/183.58	c ===============================================================================
183.44/183.60	c core #25
183.44/183.60	c 
183.44/183.60	c 
183.44/183.60	c Core size: 89	Core Weight: 1	Total Weight: 399
183.44/183.60	c
183.44/183.60	c
183.44/183.60	c ============================[ Search Statistics ]==============================
183.44/183.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.60	c ===============================================================================
183.44/183.60	c |         0 |    2220     2984    11753 |     5000        0    nan |  0.000 % |
183.44/183.60	c ===============================================================================
183.55/183.61	c core #26
183.55/183.61	c 
183.55/183.61	c 
183.55/183.61	c Core size: 182	Core Weight: 1	Total Weight: 400
183.55/183.61	c
183.55/183.61	c
183.55/183.61	c ============================[ Search Statistics ]==============================
183.55/183.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.62	c ===============================================================================
183.55/183.62	c |         0 |    2376     3054    11996 |     5000        0    nan |  0.000 % |
183.55/183.62	c ===============================================================================
183.55/183.63	c core #27
183.55/183.63	c 
183.55/183.63	c 
183.55/183.63	c Core size: 113	Core Weight: 1	Total Weight: 401
183.55/183.63	c
183.55/183.63	c
183.55/183.63	c ============================[ Search Statistics ]==============================
183.55/183.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.63	c ===============================================================================
183.55/183.63	c |         0 |    2450     3055    12144 |     5000        0    nan |  0.000 % |
183.55/183.64	c ===============================================================================
183.55/183.65	c core #28
183.55/183.65	c 
183.55/183.65	c 
183.55/183.65	c Core size: 108	Core Weight: 1	Total Weight: 402
183.55/183.65	c
183.55/183.65	c
183.55/183.65	c ============================[ Search Statistics ]==============================
183.55/183.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.65	c ===============================================================================
183.55/183.65	c |         0 |    2551     3078    12324 |     5000        0    nan |  0.000 % |
183.55/183.66	c ===============================================================================
183.55/183.67	c core #29
183.55/183.67	c 
183.55/183.67	c 
183.55/183.67	c Core size: 131	Core Weight: 1	Total Weight: 403
183.55/183.67	c
183.55/183.67	c
183.55/183.67	c ============================[ Search Statistics ]==============================
183.55/183.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.67	c ===============================================================================
183.55/183.67	c |         0 |    2656     3146    12470 |     5000        0    nan |  0.000 % |
183.55/183.68	c ===============================================================================
183.55/183.69	c core #30
183.55/183.69	c 
183.55/183.69	c 
183.55/183.69	c Core size: 110	Core Weight: 1	Total Weight: 404
183.55/183.69	c
183.55/183.69	c
183.55/183.69	c ============================[ Search Statistics ]==============================
183.55/183.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.69	c ===============================================================================
183.55/183.69	c |         0 |    2758     3182    12639 |     5000        0    nan |  0.000 % |
183.55/183.70	c ===============================================================================
183.65/183.71	c core #31
183.65/183.71	c 
183.65/183.71	c 
183.65/183.71	c Core size: 98	Core Weight: 1	Total Weight: 405
183.65/183.71	c
183.65/183.71	c
183.65/183.71	c ============================[ Search Statistics ]==============================
183.65/183.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.71	c ===============================================================================
183.65/183.71	c |         0 |    2852     3190    12820 |     5000        0    nan |  0.000 % |
183.65/183.72	c ===============================================================================
183.65/183.73	c core #32
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 13	Core Weight: 1	Total Weight: 406
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c ============================[ Search Statistics ]==============================
183.65/183.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.73	c ===============================================================================
183.65/183.73	c |         0 |    2862     3191    12840 |     5000        0    nan |  0.000 % |
183.65/183.74	c ===============================================================================
183.65/183.76	c core #33
183.65/183.76	c 
183.65/183.76	c 
183.65/183.76	c Core size: 172	Core Weight: 1	Total Weight: 407
183.65/183.76	c
183.65/183.76	c
183.65/183.76	c ============================[ Search Statistics ]==============================
183.65/183.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.65/183.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.65/183.76	c ===============================================================================
183.65/183.76	c |         0 |    3023     3241    13113 |     5000        0    nan |  0.000 % |
183.65/183.76	c ===============================================================================
183.65/183.78	c core #34
183.65/183.78	c 
183.65/183.78	c 
183.65/183.78	c Core size: 128	Core Weight: 1	Total Weight: 408
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 |    3137     3319    13264 |     5000        0    nan |  0.000 % |
183.65/183.79	c ===============================================================================
183.74/183.80	c core #35
183.74/183.80	c 
183.74/183.80	c 
183.74/183.80	c Core size: 14	Core Weight: 1	Total Weight: 409
183.74/183.80	c
183.74/183.80	c
183.74/183.80	c ============================[ Search Statistics ]==============================
183.74/183.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.80	c ===============================================================================
183.74/183.80	c |         0 |    3145     3320    13280 |     5000        0    nan |  0.000 % |
183.74/183.81	c ===============================================================================
183.74/183.82	c core #36
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 15	Core Weight: 1	Total Weight: 410
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c ============================[ Search Statistics ]==============================
183.74/183.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.82	c ===============================================================================
183.74/183.82	c |         0 |    3155     3321    13300 |     5000        0    nan |  0.000 % |
183.74/183.83	c ===============================================================================
183.74/183.85	c core #37
183.74/183.85	c 
183.74/183.85	c 
183.74/183.85	c Core size: 199	Core Weight: 1	Total Weight: 411
183.74/183.85	c
183.74/183.85	c
183.74/183.85	c ============================[ Search Statistics ]==============================
183.74/183.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.85	c ===============================================================================
183.74/183.85	c |         0 |    3338     3406    13582 |     5000        0    nan |  0.000 % |
183.74/183.86	c ===============================================================================
183.74/183.88	c core #38
183.74/183.88	c 
183.74/183.88	c 
183.74/183.88	c Core size: 16	Core Weight: 1	Total Weight: 412
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 |    3352     3407    13610 |     5000        0    nan |  0.000 % |
183.74/183.89	c ===============================================================================
183.84/183.91	c core #39
183.84/183.91	c 
183.84/183.91	c 
183.84/183.91	c Core size: 124	Core Weight: 1	Total Weight: 413
183.84/183.91	c
183.84/183.91	c
183.84/183.91	c ============================[ Search Statistics ]==============================
183.84/183.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.84/183.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.84/183.91	c ===============================================================================
183.84/183.91	c |         0 |    3460     3478    13756 |     5000        0    nan |  0.000 % |
183.84/183.91	c |       103 |    3460     3478    13756 |     5500      103     17 | 23.372 % |
183.84/183.92	c |       255 |    3458     3478    13756 |     6050      252     17 | 23.394 % |
183.84/183.93	c ===============================================================================
183.84/183.95	c core #40
183.84/183.95	c 
183.84/183.95	c 
183.84/183.95	c Core size: 20	Core Weight: 1	Total Weight: 414
183.84/183.95	c
183.84/183.95	c
183.84/183.95	c ============================[ Search Statistics ]==============================
183.84/183.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.84/183.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.84/183.95	c ===============================================================================
183.84/183.95	c |         0 |    3478     3479    13792 |     5000        0    nan |  0.000 % |
183.84/183.97	c |       101 |    3478     3479    13792 |     5500      101     18 | 23.257 % |
183.84/183.98	c ===============================================================================
183.94/184.00	c core #41
183.94/184.00	c 
183.94/184.00	c 
183.94/184.00	c Core size: 131	Core Weight: 1	Total Weight: 415
183.94/184.00	c
183.94/184.00	c
183.94/184.00	c ============================[ Search Statistics ]==============================
183.94/184.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.00	c ===============================================================================
183.94/184.00	c |         0 |    3592     3557    13943 |     5000        0    nan |  0.000 % |
183.94/184.01	c ===============================================================================
183.94/184.03	c core #42
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 122	Core Weight: 1	Total Weight: 416
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c ============================[ Search Statistics ]==============================
183.94/184.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.03	c ===============================================================================
183.94/184.03	c |         0 |    3702     3593    14128 |     5000        0    nan |  0.000 % |
183.94/184.04	c |       103 |    3702     3593    14128 |     5500      103     19 | 22.161 % |
183.94/184.04	c |       262 |    3702     3593    14128 |     6050      262     19 | 22.161 % |
183.94/184.06	c |       487 |    3700     3593    14128 |     6655      483     20 | 22.246 % |
183.94/184.08	c |       829 |    3700     3593    14128 |     7320      825     20 | 22.246 % |
184.05/184.10	c ===============================================================================
184.05/184.13	c core #43
184.05/184.13	c 
184.05/184.13	c 
184.05/184.13	c Core size: 26	Core Weight: 1	Total Weight: 417
184.05/184.13	c
184.05/184.13	c
184.05/184.13	c ============================[ Search Statistics ]==============================
184.05/184.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.05/184.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.05/184.13	c ===============================================================================
184.05/184.13	c |         0 |    3722     3595    14172 |     5000        0    nan |  0.000 % |
184.05/184.14	c ===============================================================================
184.05/184.16	c core #44
184.05/184.16	c 
184.05/184.16	c 
184.05/184.16	c Core size: 60	Core Weight: 1	Total Weight: 418
184.05/184.16	c
184.05/184.16	c
184.05/184.16	c ============================[ Search Statistics ]==============================
184.05/184.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.05/184.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.05/184.16	c ===============================================================================
184.05/184.16	c |         0 |    3776     3611    14265 |     5000        0    nan |  0.000 % |
184.05/184.17	c |       106 |    3776     3611    14265 |     5500      106     33 | 21.854 % |
184.05/184.19	c |       256 |    3776     3611    14265 |     6050      256     26 | 21.854 % |
184.05/184.20	c ===============================================================================
184.14/184.22	c core #45
184.14/184.22	c 
184.14/184.22	c 
184.14/184.22	c Core size: 141	Core Weight: 1	Total Weight: 419
184.14/184.22	c
184.14/184.22	c
184.14/184.22	c ============================[ Search Statistics ]==============================
184.14/184.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.14/184.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.14/184.22	c ===============================================================================
184.14/184.22	c |         0 |    3901     3689    14438 |     5000        0    nan |  0.000 % |
184.14/184.23	c ===============================================================================
184.14/184.24	c core #46
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 14	Core Weight: 1	Total Weight: 420
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c ============================[ Search Statistics ]==============================
184.14/184.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.14/184.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.14/184.24	c ===============================================================================
184.14/184.24	c |         0 |    3910     3696    14450 |     5000        0    nan |  0.000 % |
184.14/184.25	c ===============================================================================
184.14/184.27	c core #47
184.14/184.27	c 
184.14/184.27	c 
184.14/184.27	c Core size: 18	Core Weight: 1	Total Weight: 421
184.14/184.27	c
184.14/184.27	c
184.14/184.27	c ============================[ Search Statistics ]==============================
184.14/184.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.14/184.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.14/184.27	c ===============================================================================
184.14/184.27	c |         0 |    3919     3707    14466 |     5000        0    nan |  0.000 % |
184.14/184.29	c ===============================================================================
184.24/184.31	c core #48
184.24/184.31	c 
184.24/184.31	c 
184.24/184.31	c Core size: 64	Core Weight: 1	Total Weight: 422
184.24/184.31	c
184.24/184.31	c
184.24/184.31	c ============================[ Search Statistics ]==============================
184.24/184.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.24/184.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.24/184.31	c ===============================================================================
184.24/184.31	c |         0 |    3977     3723    14567 |     5000        0    nan |  0.000 % |
184.24/184.32	c ===============================================================================
184.24/184.34	c core #49
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 19	Core Weight: 1	Total Weight: 423
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c ============================[ Search Statistics ]==============================
184.24/184.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.24/184.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.24/184.34	c ===============================================================================
184.24/184.34	c |         0 |    3990     3726    14591 |     5000        0    nan |  0.000 % |
184.24/184.35	c ===============================================================================
184.24/184.36	c core #50
184.24/184.36	c 
184.24/184.36	c 
184.24/184.36	c Core size: 84	Core Weight: 1	Total Weight: 424
184.24/184.36	c
184.24/184.36	c
184.24/184.36	c ============================[ Search Statistics ]==============================
184.24/184.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.24/184.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.24/184.36	c ===============================================================================
184.24/184.36	c |         0 |    4066     3740    14740 |     5000        0    nan |  0.000 % |
184.24/184.37	c |       100 |    4066     3740    14740 |     5500      100     27 | 20.725 % |
184.24/184.38	c |       250 |    4066     3740    14740 |     6050      250     27 | 20.725 % |
184.34/184.40	c |       477 |    4066     3740    14740 |     6655      477     27 | 20.725 % |
184.34/184.43	c |       814 |    4066     3740    14740 |     7320      814     27 | 20.725 % |
184.34/184.47	c |      1324 |    4066     3740    14740 |     8052     1324     27 | 20.725 % |
184.44/184.56	c |      2085 |    4066     3740    14740 |     8857     2085     26 | 20.725 % |
184.44/184.57	c ===============================================================================
184.54/184.60	c core #51
184.54/184.60	c 
184.54/184.60	c 
184.54/184.60	c Core size: 29	Core Weight: 1	Total Weight: 425
184.54/184.60	c
184.54/184.60	c
184.54/184.60	c ============================[ Search Statistics ]==============================
184.54/184.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.60	c ===============================================================================
184.54/184.60	c |         0 |    4091     3743    14788 |     5000        0    nan |  0.000 % |
184.54/184.62	c |       100 |    4091     3743    14788 |     5500      100     37 | 20.625 % |
184.54/184.64	c |       252 |    4091     3743    14788 |     6050      252     32 | 20.625 % |
184.54/184.67	c |       477 |    4091     3743    14788 |     6655      477     30 | 20.625 % |
184.65/184.70	c |       814 |    4037     3743    14788 |     7320      361     40 | 21.672 % |
184.65/184.73	c ===============================================================================
184.65/184.75	c core #52
184.65/184.75	c 
184.65/184.75	c 
184.65/184.75	c Core size: 95	Core Weight: 1	Total Weight: 426
184.65/184.75	c
184.65/184.75	c
184.65/184.75	c ============================[ Search Statistics ]==============================
184.65/184.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.65/184.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.65/184.76	c ===============================================================================
184.65/184.76	c |         0 |    4175     3767    14933 |     5000        0    nan |  0.000 % |
184.65/184.78	c |       100 |    4175     3767    14933 |     5500      100     44 | 20.313 % |
184.65/184.79	c |       250 |    4174     3767    14933 |     6050      249     23 | 20.313 % |
184.75/184.82	c |       475 |    4174     3767    14933 |     6655      474     29 | 20.313 % |
184.75/184.88	c |       812 |    4174     3767    14933 |     7320      811     26 | 20.313 % |
184.84/184.97	c |      1319 |    4174     3767    14933 |     8052     1318     25 | 20.313 % |
184.94/185.09	c ===============================================================================
185.04/185.13	c core #53
185.04/185.13	c 
185.04/185.13	c 
185.04/185.13	c Core size: 132	Core Weight: 1	Total Weight: 427
185.04/185.13	c
185.04/185.13	c
185.04/185.13	c ============================[ Search Statistics ]==============================
185.04/185.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.04/185.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.04/185.13	c ===============================================================================
185.04/185.13	c |         0 |    4297     3775    15170 |     5000        0    nan |  0.000 % |
185.04/185.15	c |       100 |    4297     3775    15170 |     5500      100     29 | 19.832 % |
185.04/185.17	c |       251 |    4297     3775    15170 |     6050      251     26 | 19.832 % |
185.14/185.20	c |       476 |    4297     3775    15170 |     6655      476     29 | 19.832 % |
185.14/185.25	c |       813 |    4297     3775    15170 |     7320      813     30 | 19.832 % |
185.24/185.33	c |      1319 |    4294     3775    15170 |     8052     1318     27 | 19.907 % |
185.34/185.49	c |      2080 |    4293     3775    15170 |     8857     2078     28 | 19.907 % |
185.54/185.69	c |      3219 |    4289     3775    15170 |     9743     2438     28 | 19.981 % |
185.94/186.02	c |      4927 |    4275     3775    15170 |    10717     2310     29 | 20.261 % |
186.14/186.25	c ===============================================================================
186.24/186.35	c core #54
186.24/186.35	c 
186.24/186.35	c 
186.24/186.35	c Core size: 158	Core Weight: 1	Total Weight: 428
186.24/186.35	c
186.24/186.35	c
186.24/186.35	c ============================[ Search Statistics ]==============================
186.24/186.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.24/186.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.24/186.35	c ===============================================================================
186.24/186.35	c |         0 |    4431     3885    15329 |     5000        0    nan |  0.000 % |
186.24/186.37	c |       101 |    4431     3885    15329 |     5500      101     39 | 19.348 % |
186.24/186.39	c |       254 |    4431     3885    15329 |     6050      254     38 | 19.348 % |
186.34/186.42	c |       479 |    4428     3885    15329 |     6655      478     41 | 19.421 % |
186.34/186.46	c |       818 |    4427     3885    15329 |     7320      816     34 | 19.421 % |
186.44/186.53	c |      1325 |    4427     3885    15329 |     8052     1323     32 | 19.421 % |
186.54/186.62	c |      2086 |    4427     3885    15329 |     8857     2084     33 | 19.421 % |
186.64/186.77	c ===============================================================================
186.74/186.83	c core #55
186.74/186.83	c 
186.74/186.83	c 
186.74/186.83	c Core size: 163	Core Weight: 1	Total Weight: 429
186.74/186.83	c
186.74/186.83	c
186.74/186.83	c ============================[ Search Statistics ]==============================
186.74/186.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.74/186.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.74/186.83	c ===============================================================================
186.74/186.83	c |         0 |    4574     3995    15506 |     5000        0    nan |  0.000 % |
186.74/186.85	c |       100 |    4574     3995    15506 |     5500      100     41 | 18.858 % |
186.74/186.87	c |       250 |    4571     3995    15506 |     6050      249     35 | 18.929 % |
186.74/186.89	c |       475 |    4570     3995    15506 |     6655      473     36 | 18.929 % |
186.85/186.94	c |       814 |    4570     3995    15506 |     7320      812     42 | 18.929 % |
186.95/187.02	c |      1320 |    4570     3995    15506 |     8052     1318     45 | 18.929 % |
187.04/187.14	c |      2081 |    4570     3995    15506 |     8857     2079     46 | 18.929 % |
187.24/187.33	c |      3222 |    4570     3995    15506 |     9743     3220     48 | 18.929 % |
187.54/187.65	c |      4930 |    4570     3995    15506 |    10717     4928     47 | 18.929 % |
188.24/188.39	c |      7492 |    4570     3995    15506 |    11789     7490     50 | 18.929 % |
189.43/189.55	c |     11336 |    4570     3995    15506 |    12968    11334     54 | 18.929 % |
191.74/191.84	c |     17106 |    4570     3995    15506 |    14265     9989     59 | 18.929 % |
194.84/194.96	c |     25755 |    4570     3995    15506 |    15692    10819     61 | 18.929 % |
198.63/198.79	c ===============================================================================
199.33/199.44	c core #56
199.33/199.44	c 
199.33/199.44	c 
199.33/199.44	c Core size: 209	Core Weight: 1	Total Weight: 430
199.33/199.44	c
199.33/199.44	c
199.33/199.44	c ============================[ Search Statistics ]==============================
199.33/199.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.33/199.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.33/199.44	c ===============================================================================
199.33/199.44	c |         0 |    4760     4116    15758 |     5000        0    nan |  0.000 % |
199.33/199.46	c ===============================================================================
199.33/199.48	c core #57
199.33/199.48	c 
199.33/199.48	c 
199.33/199.48	c Core size: 21	Core Weight: 1	Total Weight: 431
199.33/199.48	c
199.33/199.48	c
199.33/199.48	c ============================[ Search Statistics ]==============================
199.33/199.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.33/199.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.33/199.48	c ===============================================================================
199.33/199.48	c |         0 |    4776     4117    15790 |     5000        0    nan |  0.000 % |
199.44/199.50	c |       101 |    4776     4117    15790 |     5500      101     28 | 18.205 % |
199.44/199.51	c ===============================================================================
199.44/199.53	c core #58
199.44/199.53	c 
199.44/199.53	c 
199.44/199.53	c Core size: 296	Core Weight: 1	Total Weight: 432
199.44/199.53	c
199.44/199.53	c
199.44/199.53	c ============================[ Search Statistics ]==============================
199.44/199.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.44/199.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.44/199.53	c ===============================================================================
199.44/199.53	c |         0 |    5025     4246    16160 |     5000        0    nan |  0.000 % |
199.44/199.57	c |       100 |    5013     4246    16160 |     5500       80     25 | 17.756 % |
199.54/199.61	c |       250 |    5010     4246    16160 |     6050      230     35 | 17.855 % |
199.54/199.61	c ===============================================================================
199.54/199.64	c core #59
199.54/199.64	c 
199.54/199.64	c 
199.54/199.64	c Core size: 71	Core Weight: 1	Total Weight: 433
199.54/199.64	c
199.54/199.64	c
199.54/199.64	c ============================[ Search Statistics ]==============================
199.54/199.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.54/199.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.54/199.64	c ===============================================================================
199.54/199.64	c |         0 |    5091     4249    16290 |     5000        0    nan |  0.000 % |
199.54/199.66	c |       100 |    5091     4249    16290 |     5500      100     52 | 17.273 % |
199.54/199.68	c |       250 |    5090     4249    16290 |     6050      249     50 | 17.290 % |
199.64/199.71	c |       475 |    5090     4249    16290 |     6655      474     50 | 17.290 % |
199.64/199.74	c |       814 |    5090     4249    16290 |     7320      813     35 | 17.290 % |
199.74/199.80	c |      1320 |    5090     4249    16290 |     8052     1319     37 | 17.290 % |
199.74/199.89	c |      2079 |    5090     4249    16290 |     8857     2078     37 | 17.290 % |
199.93/200.03	c |      3220 |    5084     4249    16290 |     9743     1288     35 | 17.387 % |
200.15/200.26	c |      4933 |    5076     4249    16290 |    10717     2985     38 | 17.533 % |
200.15/200.28	c ===============================================================================
200.24/200.36	c core #60
200.24/200.36	c 
200.24/200.36	c 
200.24/200.36	c Core size: 102	Core Weight: 1	Total Weight: 434
200.24/200.36	c
200.24/200.36	c
200.24/200.36	c ============================[ Search Statistics ]==============================
200.24/200.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.24/200.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.24/200.36	c ===============================================================================
200.24/200.36	c |         0 |    5185     4279    16449 |     5000        0    nan |  0.000 % |
200.24/200.39	c |       103 |    5183     4279    16449 |     5500      103     93 | 17.045 % |
200.34/200.41	c |       255 |    5182     4279    16449 |     6050      254     57 | 17.077 % |
200.34/200.43	c |       480 |    5181     4279    16449 |     6655      478     40 | 17.077 % |
200.34/200.48	c |       818 |    5181     4279    16449 |     7320      816     41 | 17.077 % |
200.43/200.56	c |      1331 |    5181     4279    16449 |     8052     1329     43 | 17.077 % |
200.53/200.68	c |      2090 |    5181     4279    16449 |     8857     2088     45 | 17.077 % |
200.73/200.88	c |      3229 |    5181     4279    16449 |     9743     3227     45 | 17.077 % |
201.14/201.24	c |      4939 |    5181     4279    16449 |    10717     4937     45 | 17.077 % |
201.84/201.90	c |      7501 |    5181     4279    16449 |    11789     7499     45 | 17.077 % |
203.03/203.15	c |     11345 |    5181     4279    16449 |    12968    11343     50 | 17.077 % |
205.13/205.23	c |     17111 |    5181     4279    16449 |    14265    10065     53 | 17.077 % |
207.94/208.02	c |     25760 |    5181     4279    16449 |    15692    10961     51 | 17.077 % |
213.34/213.48	c |     38735 |    5181     4279    16449 |    17261    15456     58 | 17.077 % |
221.04/221.11	c |     58196 |    5179     4279    16449 |    18987    16429     62 | 17.109 % |
233.43/233.59	c |     87389 |    5179     4279    16449 |    20886    15208     65 | 17.109 % |
254.32/254.45	c |    131179 |    5179     4279    16449 |    22974    14542     82 | 17.109 % |
283.41/283.52	c |    196866 |    5177     4279    16449 |    25272    18748     65 | 17.141 % |
340.39/340.57	c |    295392 |    5177     4279    16449 |    27799    23454     75 | 17.141 % |
432.97/433.11	c |    443181 |    5177     4279    16449 |    30579    13672     75 | 17.141 % |
580.83/581.01	c |    664864 |    5174     4279    16449 |    33637    19906     72 | 17.190 % |
801.67/801.90	c |    997389 |    5169     4279    16449 |    37001    25857     65 | 17.270 % |
1022.30/1022.64	c ===============================================================================

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-2680867-1277455109/watcher-2680867-1277455109 -o /tmp/evaluation-result-2680867-1277455109/solver-2680867-1277455109 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680867-1277455109.opb 

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


[startup+0 s]
/proc/loadavg: 1.13 1.05 0.94 3/106 19766
/proc/meminfo: memFree=1827088/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=3024 CPUtime=0
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 121114881 3096576 287 1992294400 134512640 135752675 4292602800 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 756 287 141 303 0 429 0

[startup+0.0967491 s]
/proc/loadavg: 1.13 1.05 0.94 3/106 19766
/proc/meminfo: memFree=1827088/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=3616 CPUtime=0.09
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 580 0 0 0 8 1 0 0 20 0 1 0 121114881 3702784 476 1992294400 134512640 135752675 4292602800 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 904 476 144 303 0 599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.100749 s]
/proc/loadavg: 1.13 1.05 0.94 3/106 19766
/proc/meminfo: memFree=1827088/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=3616 CPUtime=0.09
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 580 0 0 0 8 1 0 0 20 0 1 0 121114881 3702784 476 1992294400 134512640 135752675 4292602800 18446744073709551615 134638313 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 904 476 144 303 0 599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.300766 s]
/proc/loadavg: 1.13 1.05 0.94 3/106 19766
/proc/meminfo: memFree=1827088/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=5924 CPUtime=0.29
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 1145 0 0 0 27 2 0 0 20 0 1 0 121114881 6066176 1041 1992294400 134512640 135752675 4292602800 18446744073709551615 134638295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 1481 1041 145 303 0 1176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5924

[startup+0.700799 s]
/proc/loadavg: 1.13 1.05 0.94 3/106 19766
/proc/meminfo: memFree=1827088/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=9900 CPUtime=0.69
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 2151 0 0 0 66 3 0 0 21 0 1 0 121114881 10137600 2047 1992294400 134512640 135752675 4292602800 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 2475 2047 145 303 0 2170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9900

[startup+1.50086 s]
/proc/loadavg: 1.13 1.05 0.94 2/107 19767
/proc/meminfo: memFree=1816168/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=18840 CPUtime=1.49
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 4385 0 0 0 145 4 0 0 23 0 1 0 121114881 19292160 4281 1992294400 134512640 135752675 4292602800 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 4710 4281 145 303 0 4405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18840

[startup+3.10099 s]
/proc/loadavg: 1.13 1.05 0.94 2/107 19767
/proc/meminfo: memFree=1803892/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=35348 CPUtime=3.09
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 8505 0 0 0 301 8 0 0 25 0 1 0 121114881 36196352 8401 1992294400 134512640 135752675 4292602800 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 8837 8401 145 303 0 8532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35348

[startup+6.30125 s]
/proc/loadavg: 1.12 1.04 0.94 2/107 19767
/proc/meminfo: memFree=1770040/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=63768 CPUtime=6.29
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 15621 0 0 0 616 13 0 0 25 0 1 0 121114881 65298432 15517 1992294400 134512640 135752675 4292602800 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 15942 15517 145 303 0 15637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63768

[startup+12.7008 s]
/proc/loadavg: 1.11 1.04 0.94 2/107 19767
/proc/meminfo: memFree=1716100/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=118164 CPUtime=12.69
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 29216 0 0 0 1245 24 0 0 25 0 1 0 121114881 120999936 29112 1992294400 134512640 135752675 4292602800 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 29541 29112 145 303 0 29236 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118164

[startup+25.5008 s]
/proc/loadavg: 1.08 1.04 0.94 2/107 19767
/proc/meminfo: memFree=1595820/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=235208 CPUtime=25.48
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 58449 0 0 0 2502 46 0 0 25 0 1 0 121114881 240852992 58345 1992294400 134512640 135752675 4292602800 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 58802 58345 145 303 0 58497 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 235208

[startup+51.1009 s]
/proc/loadavg: 1.12 1.05 0.95 2/107 19769
/proc/meminfo: memFree=1400272/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=431776 CPUtime=51.08
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 107593 0 0 0 5022 86 0 0 25 0 1 0 121114881 442138624 107489 1992294400 134512640 135752675 4292602800 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 107944 107489 145 303 0 107639 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 431776

[startup+102.308 s]
/proc/loadavg: 1.05 1.04 0.95 2/107 19769
/proc/meminfo: memFree=1016616/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=811664 CPUtime=102.27
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 202558 0 0 0 10068 159 0 0 25 0 1 0 121114881 831143936 202454 1992294400 134512640 135752675 4292602800 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 202916 202454 145 303 0 202611 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 811664

[startup+162.301 s]
/proc/loadavg: 1.02 1.03 0.95 2/107 19771
/proc/meminfo: memFree=574680/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1255624 CPUtime=162.24
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 313521 0 0 0 15975 249 0 0 25 0 1 0 121114881 1285758976 313417 1992294400 134512640 135752675 4292602800 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 313906 313417 145 303 0 313601 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1255624

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 19773
/proc/meminfo: memFree=439396/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1386456 CPUtime=222.23
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 346326 0 0 0 21911 312 0 0 25 0 1 0 121114881 1419730944 346193 1992294400 134512640 135752675 4292602800 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 346614 346193 146 303 0 346309 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1386456

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 19775
/proc/meminfo: memFree=439272/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1386456 CPUtime=282.21
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 346326 0 0 0 27870 351 0 0 25 0 1 0 121114881 1419730944 346193 1992294400 134512640 135752675 4292602800 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 346614 346193 146 303 0 346309 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1386456

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 19777
/proc/meminfo: memFree=415588/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1410388 CPUtime=342.2
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 352281 0 0 0 33831 389 0 0 25 0 1 0 121114881 1444237312 352148 1992294400 134512640 135752675 4292602800 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 352597 352148 146 303 0 352292 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1410388

[startup+402.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 19777
/proc/meminfo: memFree=378760/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1447500 CPUtime=402.17
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 361522 0 0 0 39784 433 0 0 25 0 1 0 121114881 1482240000 361389 1992294400 134512640 135752675 4292602800 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 361875 361389 146 303 0 361570 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1447500

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19779
/proc/meminfo: memFree=338708/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1487312 CPUtime=462.16
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 371478 0 0 0 45741 475 0 0 25 0 1 0 121114881 1523007488 371345 1992294400 134512640 135752675 4292602800 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 371828 371345 146 303 0 371523 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1487312

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19781
/proc/meminfo: memFree=299524/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1526740 CPUtime=522.14
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 381261 0 0 0 51702 512 0 0 25 0 1 0 121114881 1563381760 381128 1992294400 134512640 135752675 4292602800 18446744073709551615 134612086 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 381685 381128 146 303 0 381380 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1526740

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19783
/proc/meminfo: memFree=265052/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1561156 CPUtime=582.12
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 389837 0 0 0 57666 546 0 0 25 0 1 0 121114881 1598623744 389704 1992294400 134512640 135752675 4292602800 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 390289 389704 146 303 0 389984 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1561156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19785
/proc/meminfo: memFree=226736/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1599004 CPUtime=642.11
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 399305 0 0 0 63630 581 0 0 25 0 1 0 121114881 1637380096 399172 1992294400 134512640 135752675 4292602800 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 399751 399172 146 303 0 399446 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1599004

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19785
/proc/meminfo: memFree=191644/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1634152 CPUtime=702.09
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 408097 0 0 0 69594 615 0 0 25 0 1 0 121114881 1673371648 407964 1992294400 134512640 135752675 4292602800 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 408538 407964 146 303 0 408233 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1634152

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19787
/proc/meminfo: memFree=157792/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1667832 CPUtime=762.07
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 416488 0 0 0 75558 649 0 0 25 0 1 0 121114881 1707859968 416355 1992294400 134512640 135752675 4292602800 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 416958 416355 146 303 0 416653 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1667832

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19789
/proc/meminfo: memFree=121212/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1704644 CPUtime=822.05
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 425674 0 0 0 81519 686 0 0 25 0 1 0 121114881 1745555456 425541 1992294400 134512640 135752675 4292602800 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 426161 425541 146 303 0 425856 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 1704644

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19791
/proc/meminfo: memFree=87980/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1737748 CPUtime=882.03
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 433926 0 0 0 87484 719 0 0 25 0 1 0 121114881 1779453952 433793 1992294400 134512640 135752675 4292602800 18446744073709551615 134638047 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 434437 433793 146 303 0 434132 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1737748

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19793
/proc/meminfo: memFree=57104/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1768772 CPUtime=942.02
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 441685 0 0 0 93451 751 0 0 25 0 1 0 121114881 1811222528 441552 1992294400 134512640 135752675 4292602800 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 442193 441552 146 303 0 441888 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1768772

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19793
/proc/meminfo: memFree=27220/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1798084 CPUtime=1002.01
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 449025 0 0 0 99417 784 0 0 25 0 1 0 121114881 1841238016 448892 1992294400 134512640 135752675 4292602800 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 449521 448892 146 303 0 449216 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1798084



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1032.7 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 19795
/proc/meminfo: memFree=9980/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=1843364 CPUtime=1032.4
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4202496 460338 0 0 0 102438 802 0 0 25 0 1 0 121114881 1887604736 460205 1992294400 134512640 135752675 4292602800 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/19766/statm: 460841 460205 146 303 0 460536 0
Current children cumulated CPU time (s) 1032.4
Current children cumulated vsize (KiB) 1843364

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

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

[startup+1032.81 s]
/proc/loadavg: 1.00 1.00 0.95 2/108 19796
/proc/meminfo: memFree=1046240/2059040 swapFree=4135660/4192956
[pid=19766] ppid=19764 vsize=0 CPUtime=1032.51
/proc/19766/stat : 19766 (wbo1.4b) R 19764 19766 19583 0 -1 4203524 460338 0 0 0 102438 813 0 0 25 0 1 0 121114881 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/19766/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1032.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1032.88
CPU time (s): 1032.59
CPU user time (s): 1024.39
CPU system time (s): 8.20275
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1843364

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

runsolver used 1.77873 second user time and 4.82427 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-25 10:38:29
IDJOB=2680867
IDBENCH=2234
IDSOLVER=1190
FILE ID=node003/2680867-1277455109
PBS_JOBID= 11188154
Free space on /tmp= 62396 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-ss97-4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680867-1277455109/watcher-2680867-1277455109 -o /tmp/evaluation-result-2680867-1277455109/solver-2680867-1277455109 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680867-1277455109.opb

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

MD5SUM BENCH= 4e682317a6045f4869b1783c80734344
RANDOM SEED=816603123

node003.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.251
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.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1827492 kB
Buffers:         32948 kB
Cached:          96736 kB
SwapCached:       9884 kB
Active:          57792 kB
Inactive:        85064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1827492 kB
SwapTotal:     4192956 kB
SwapFree:      4135660 kB
Dirty:            2756 kB
Writeback:           0 kB
AnonPages:       11636 kB
Mapped:           8396 kB
Slab:            66608 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183440 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= 62392 MiB
End job on node003 at 2010-06-25 10:55:44