Trace number 2656112

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.4bOPT62 184.54 184.703

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUMc2400ec88bd2efb16a03934d0b4c43da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.242962
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656112-1276404968.opb.
0.00/0.00	c Instance file HOME/instance-2656112-1276404968.opb
0.00/0.00	c File size is 70209 bytes.
0.00/0.01	c Highest Coefficient sum: 30
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      648                                                 |
0.00/0.01	c |  Number Clauses:        1930                                                |
0.00/0.01	c |  Number Cardinality:    24                                                  |
0.00/0.01	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 |     540     2062     6012 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       100 |     540     2062     6012 |     5500      100      9 | 16.667 % |
0.00/0.02	c |       251 |     540     2062     6012 |     6050      251      9 | 16.667 % |
0.00/0.03	c |       477 |     540     2062     6012 |     6655      477      9 | 16.667 % |
0.00/0.04	c |       816 |     540     2062     6012 |     7320      816      9 | 16.667 % |
0.00/0.06	c |      1322 |     540     2062     6012 |     8052     1322      9 | 16.667 % |
0.07/0.09	c |      2081 |     540     2062     6012 |     8857     2081     11 | 16.667 % |
0.09/0.15	c |      3221 |     540     2062     6012 |     9743     3221     10 | 16.667 % |
0.19/0.23	c |      4929 |     537     2062     6012 |    10717     3181     14 | 17.130 % |
0.39/0.40	c |      7493 |     537     2062     6012 |    11789     5745     18 | 17.130 % |
0.59/0.61	c |     11337 |     537     2062     6012 |    12968     9589     17 | 17.130 % |
1.00/1.08	c |     17105 |     537     2062     6012 |    14265     8727     22 | 17.130 % |
1.79/1.80	c |     25755 |     537     2062     6012 |    15692    10159     17 | 17.130 % |
3.30/3.34	c |     38729 |     537     2062     6012 |    17261    15210     20 | 17.130 % |
5.09/5.16	c ===============================================================================
5.09/5.16	c New solution: 72
5.09/5.16	o 72
5.09/5.16	c Elapsed CPU time: 5.02524 s	Remaining CPU time: 174.975 s
5.09/5.16	c ===============================================================================
5.09/5.16	c |     52849 |     537     2063     6564 |     5000    11910     22 | 17.130 % |
5.19/5.21	c |     52951 |     537     2063     6564 |     5500     3080     20 | 17.130 % |
5.19/5.22	c |     53102 |     537     2063     6564 |     6050     3231     20 | 17.130 % |
5.19/5.23	c |     53327 |     537     2063     6564 |     6655     3456     19 | 17.130 % |
5.19/5.24	c |     53664 |     537     2063     6564 |     7320     3793     18 | 17.130 % |
5.19/5.26	c |     54170 |     537     2063     6564 |     8052     4299     18 | 17.130 % |
5.19/5.29	c |     54929 |     537     2063     6564 |     8857     5058     18 | 17.130 % |
5.29/5.35	c |     56068 |     537     2063     6564 |     9743     6197     18 | 17.130 % |
5.40/5.44	c |     57776 |     537     2063     6564 |    10717     7905     18 | 17.130 % |
5.59/5.61	c |     60340 |     537     2063     6564 |    11789    10469     19 | 17.130 % |
5.89/5.95	c |     64186 |     537     2063     6564 |    12968     8343     22 | 17.130 % |
6.29/6.32	c ===============================================================================
6.29/6.32	c New solution: 70
6.29/6.32	o 70
6.29/6.32	c Elapsed CPU time: 6.13407 s	Remaining CPU time: 173.866 s
6.29/6.32	c ===============================================================================
6.29/6.32	c |     68100 |     537     2064     7116 |     5000    12257     21 | 17.130 % |
6.29/6.35	c |     68203 |     537     2064     7116 |     5500     3168     20 | 17.130 % |
6.29/6.35	c |     68353 |     537     2064     7116 |     6050     3318     19 | 17.130 % |
6.29/6.36	c |     68578 |     537     2064     7116 |     6655     3543     19 | 17.130 % |
6.29/6.38	c |     68915 |     537     2064     7116 |     7320     3880     18 | 17.130 % |
6.39/6.40	c |     69421 |     537     2064     7116 |     8052     4386     18 | 17.130 % |
6.39/6.44	c |     70181 |     537     2064     7116 |     8857     5146     18 | 17.130 % |
6.50/6.51	c |     71325 |     537     2064     7116 |     9743     6290     18 | 17.130 % |
6.60/6.61	c |     73033 |     537     2064     7116 |    10717     7998     18 | 17.130 % |
6.78/6.81	c |     75595 |     537     2064     7116 |    11789    10560     19 | 17.130 % |
7.08/7.10	c |     79439 |     537     2064     7116 |    12968     8432     19 | 17.130 % |
7.60/7.68	c |     85205 |     537     2064     7116 |    14265     7644     18 | 17.130 % |
8.69/8.74	c |     93854 |     537     2064     7116 |    15692     9076     20 | 17.130 % |
10.18/10.21	c |    106828 |     537     2064     7116 |    17261    14136     18 | 17.130 % |
12.99/13.08	c |    126290 |     537     2064     7116 |    18987    16189     18 | 17.130 % |
17.09/17.19	c |    155482 |     537     2064     7116 |    20886    16677     18 | 17.130 % |
24.28/24.40	c ===============================================================================
24.28/24.40	c New solution: 68
24.28/24.40	o 68
24.28/24.40	c Elapsed CPU time: 23.9004 s	Remaining CPU time: 156.1 s
24.28/24.40	c ===============================================================================
24.28/24.40	c |    192669 |     537     2065     7668 |     5000    11808     17 | 17.130 % |
24.39/24.47	c |    192769 |     537     2065     7668 |     5500     3052     19 | 17.130 % |
24.39/24.48	c |    192919 |     537     2065     7668 |     6050     3202     19 | 17.130 % |
24.39/24.49	c |    193144 |     537     2065     7668 |     6655     3427     18 | 17.130 % |
24.48/24.51	c |    193482 |     537     2065     7668 |     7320     3765     18 | 17.130 % |
24.48/24.54	c |    193990 |     537     2065     7668 |     8052     4273     18 | 17.130 % |
24.48/24.58	c |    194750 |     537     2065     7668 |     8857     5033     18 | 17.130 % |
24.58/24.65	c |    195889 |     537     2065     7668 |     9743     6172     18 | 17.130 % |
24.69/24.77	c |    197597 |     537     2065     7668 |    10717     7880     18 | 17.130 % |
24.99/25.00	c |    200159 |     537     2065     7668 |    11789    10442     17 | 17.130 % |
25.30/25.37	c |    204004 |     537     2065     7668 |    12968     8322     17 | 17.130 % |
26.08/26.14	c |    209770 |     537     2065     7668 |    14265     7506     19 | 17.130 % |
27.40/27.43	c |    218420 |     537     2065     7668 |    15692     8953     18 | 17.130 % |
28.68/28.78	c ===============================================================================
28.68/28.78	c New solution: 66
28.68/28.78	o 66
28.68/28.78	c Elapsed CPU time: 28.1837 s	Remaining CPU time: 151.816 s
28.68/28.78	c ===============================================================================
28.68/28.78	c |    228719 |     537     2066     8220 |     5000    11282     33 | 17.130 % |
28.79/28.81	c |    228819 |     537     2066     8220 |     5500     2921     37 | 17.130 % |
28.79/28.82	c |    228969 |     537     2066     8220 |     6050     3071     36 | 17.130 % |
28.79/28.83	c |    229194 |     537     2066     8220 |     6655     3296     34 | 17.130 % |
28.79/28.84	c |    229531 |     537     2066     8220 |     7320     3633     32 | 17.130 % |
28.79/28.87	c |    230037 |     537     2066     8220 |     8052     4139     29 | 17.130 % |
28.88/28.91	c |    230796 |     537     2066     8220 |     8857     4898     26 | 17.130 % |
28.88/28.99	c |    231935 |     537     2066     8220 |     9743     6037     24 | 17.130 % |
28.98/29.09	c |    233646 |     537     2066     8220 |    10717     7748     21 | 17.130 % |
29.18/29.28	c |    236208 |     537     2066     8220 |    11789    10310     21 | 17.130 % |
29.49/29.58	c |    240052 |     537     2066     8220 |    12968     8156     22 | 17.130 % |
29.99/30.03	c |    245818 |     537     2066     8220 |    14265     7332     24 | 17.130 % |
30.69/30.76	c |    254469 |     537     2066     8220 |    15692     8773     18 | 17.130 % |
32.28/32.37	c |    267443 |     537     2066     8220 |    17261    13828     17 | 17.130 % |
34.78/34.82	c |    286906 |     537     2066     8220 |    18987    15870     17 | 17.130 % |
37.58/37.65	c ===============================================================================
37.58/37.65	c New solution: 64
37.58/37.65	o 64
37.58/37.65	c Elapsed CPU time: 36.8394 s	Remaining CPU time: 143.161 s
37.58/37.65	c ===============================================================================
37.58/37.65	c |    307444 |     537     2067     8772 |     5000    17173     41 | 17.130 % |
37.68/37.72	c |    307544 |     537     2067     8772 |     5500     4394     55 | 17.130 % |
37.68/37.73	c |    307694 |     537     2067     8772 |     6050     4544     54 | 17.130 % |
37.68/37.74	c |    307919 |     537     2067     8772 |     6655     4769     52 | 17.130 % |
37.68/37.75	c |    308256 |     537     2067     8772 |     7320     5106     49 | 17.130 % |
37.68/37.78	c |    308762 |     537     2067     8772 |     8052     5612     46 | 17.130 % |
37.77/37.82	c |    309521 |     537     2067     8772 |     8857     6371     43 | 17.130 % |
37.77/37.88	c |    310660 |     537     2067     8772 |     9743     7510     39 | 17.130 % |
37.88/38.00	c |    312369 |     537     2067     8772 |    10717     9219     36 | 17.130 % |
38.18/38.24	c |    314931 |     537     2067     8772 |    11789     6342     22 | 17.130 % |
38.48/38.55	c |    318776 |     537     2067     8772 |    12968    10187     24 | 17.130 % |
39.18/39.20	c |    324543 |     537     2067     8772 |    14265     9378     26 | 17.130 % |
39.97/40.10	c |    333193 |     537     2067     8772 |    15692    10832     19 | 17.130 % |
41.48/41.52	c |    346167 |     537     2067     8772 |    17261    15887     17 | 17.130 % |
43.98/44.03	c |    365628 |     537     2067     8772 |    18987     9195     23 | 17.130 % |
48.77/48.88	c |    394823 |     537     2067     8772 |    20886     9687     18 | 17.130 % |
56.87/56.90	c |    438613 |     537     2067     8772 |    22974    11390     21 | 17.130 % |
67.27/67.35	c |    504298 |     537     2067     8772 |    25272    19072     26 | 17.130 % |
86.37/86.44	c |    602827 |     537     2067     8772 |    27799    22977     20 | 17.130 % |
93.97/94.05	c ===============================================================================
93.97/94.05	c New solution: 62
93.97/94.05	o 62
93.97/94.05	c Elapsed CPU time: 92.268 s	Remaining CPU time: 87.732 s
93.97/94.05	c ===============================================================================
93.97/94.05	c |    638857 |     537     2068     9324 |     5000    26802     45 | 17.130 % |
94.07/94.19	c |    638957 |     537     2068     9324 |     5500     3301     55 | 17.130 % |
94.17/94.20	c |    639108 |     537     2068     9324 |     6050     3452     53 | 17.130 % |
94.17/94.21	c |    639333 |     537     2068     9324 |     6655     3677     51 | 17.130 % |
94.17/94.23	c |    639671 |     537     2068     9324 |     7320     4015     47 | 17.130 % |
94.17/94.25	c |    640177 |     537     2068     9324 |     8052     4521     44 | 17.130 % |
94.26/94.30	c |    640937 |     537     2068     9324 |     8857     5281     40 | 17.130 % |
94.26/94.36	c |    642076 |     537     2068     9324 |     9743     6420     36 | 17.130 % |
94.36/94.46	c |    643785 |     537     2068     9324 |    10717     8129     32 | 17.130 % |
94.57/94.66	c |    646347 |     537     2068     9324 |    11789    10691     29 | 17.130 % |
94.97/95.04	c |    650191 |     537     2068     9324 |    12968     8567     19 | 17.130 % |
95.67/95.72	c |    655959 |     537     2068     9324 |    14265     7755     20 | 17.130 % |
96.67/96.71	c |    664608 |     537     2068     9324 |    15692     9203     19 | 17.130 % |
98.36/98.46	c |    677583 |     537     2068     9324 |    17261    14244     27 | 17.130 % |
100.86/100.90	c |    697044 |     537     2068     9324 |    18987    16292     19 | 17.130 % |
105.57/105.69	c |    726237 |     537     2068     9324 |    20886    16789     15 | 17.130 % |
114.16/114.26	c |    770028 |     537     2068     9324 |    22974    18498     24 | 17.130 % |
132.56/132.61	c |    835714 |     537     2068     9324 |    25272    14753     22 | 17.130 % |
149.56/149.61	c |    934243 |     537     2068     9324 |    27799    18494     28 | 17.130 % |
176.64/176.72	c |   1082032 |     537     2068     9324 |    30579    27040     55 | 17.130 % |
183.24/183.34	c There are 111 assigned variables. 3 in cost function.
184.54/184.66	c core #1
184.54/184.66	c core #2
184.54/184.66	c core #3
184.54/184.66	c core #4
184.54/184.66	c core #5
184.54/184.66	c core #6
184.54/184.66	c core #7
184.54/184.66	c core #8
184.54/184.66	c core #9
184.54/184.66	c core #10
184.54/184.66	c core #11
184.54/184.66	c core #12
184.54/184.66	c core #13
184.54/184.66	c core #14
184.54/184.66	c core #15
184.54/184.66	c core #16
184.54/184.66	c core #17
184.54/184.66	c core #18
184.54/184.66	c core #19
184.54/184.66	c core #20
184.54/184.66	c core #21
184.54/184.66	c core #22
184.54/184.66	c core #23
184.54/184.66	c core #24
184.54/184.66	c core #25
184.54/184.66	c core #26
184.54/184.66	c core #27
184.54/184.66	c core #28
184.54/184.66	c core #29
184.54/184.66	c core #30
184.54/184.66	c core #31
184.54/184.66	c core #32
184.54/184.66	c core #33
184.54/184.66	c core #34
184.54/184.66	c core #35
184.54/184.66	c core #36
184.54/184.66	c core #37
184.54/184.66	c core #38
184.54/184.66	c core #39
184.54/184.66	c core #40
184.54/184.66	c core #41
184.54/184.66	c core #42
184.54/184.66	c core #43
184.54/184.66	c core #44
184.54/184.66	c core #45
184.54/184.66	c core #46
184.54/184.66	c core #47
184.54/184.66	c core #48
184.54/184.66	c core #49
184.54/184.66	c core #50
184.54/184.66	c core #51
184.54/184.66	c core #52
184.54/184.66	c core #53
184.54/184.66	c core #54
184.54/184.66	c core #55
184.54/184.66	c core #56
184.54/184.66	c core #57
184.54/184.66	c core #58
184.54/184.66	c core #59
184.54/184.66	c ============================[ Search Statistics ]==============================
184.54/184.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.66	c ===============================================================================
184.54/184.66	c |         0 |     273     2596     6938 |     5000        0    nan |  0.000 % |
184.54/184.66	c ===============================================================================
184.54/184.67	c core #60
184.54/184.67	c ============================[ Search Statistics ]==============================
184.54/184.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.54/184.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.54/184.67	c ===============================================================================
184.54/184.67	c |         0 |     284     2601     7024 |     5000        0    nan |  0.000 % |
184.54/184.67	c ===============================================================================
184.54/184.67	c core #61
184.54/184.67	c #cores: 61
184.54/184.67	c Final Weight: 62
184.54/184.67	o 62
184.54/184.67	s OPTIMUM FOUND
184.54/184.67	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
184.54/184.67	c Total CPU time: 181.416 s

Verifier Data 

OK	62

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656112-1276404968/watcher-2656112-1276404968 -o /tmp/evaluation-result-2656112-1276404968/solver-2656112-1276404968 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656112-1276404968.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.00 1.01 1.09 2/107 21204
/proc/meminfo: memFree=1784100/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=2648 CPUtime=0
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 301 0 0 0 0 0 0 0 23 0 1 0 14152575 2711552 220 1992294400 134512640 135751879 4288192288 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 662 221 145 303 0 339 0

[startup+0.0839431 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 21204
/proc/meminfo: memFree=1784100/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=2972 CPUtime=0.07
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 416 0 0 0 7 0 0 0 23 0 1 0 14152575 3043328 317 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 743 317 147 303 0 438 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2972

[startup+0.100944 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 21204
/proc/meminfo: memFree=1784100/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=3104 CPUtime=0.09
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 431 0 0 0 9 0 0 0 23 0 1 0 14152575 3178496 332 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 776 332 147 303 0 471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3104

[startup+0.300962 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 21204
/proc/meminfo: memFree=1784100/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=3764 CPUtime=0.29
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 605 0 0 0 28 1 0 0 23 0 1 0 14152575 3854336 506 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 941 506 147 303 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3764

[startup+0.700999 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 21204
/proc/meminfo: memFree=1784100/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=4980 CPUtime=0.69
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 929 0 0 0 66 3 0 0 25 0 1 0 14152575 5099520 830 1992294400 134512640 135751879 4288192288 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 1245 830 147 303 0 940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4980

[startup+1.50107 s]
/proc/loadavg: 1.00 1.01 1.09 2/108 21205
/proc/meminfo: memFree=1780496/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=7008 CPUtime=1.49
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 1417 0 0 0 144 5 0 0 25 0 1 0 14152575 7176192 1318 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 1752 1318 148 303 0 1447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7008

[startup+3.10121 s]
/proc/loadavg: 1.00 1.01 1.09 2/108 21205
/proc/meminfo: memFree=1777768/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=9912 CPUtime=3.09
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 2144 0 0 0 300 9 0 0 25 0 1 0 14152575 10149888 2045 1992294400 134512640 135751879 4288192288 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 2478 2045 148 303 0 2173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9912

[startup+6.3005 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 21205
/proc/meminfo: memFree=1771940/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=16252 CPUtime=6.29
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 3727 0 0 0 611 18 0 0 25 0 1 0 14152575 16642048 3628 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 4063 3628 148 303 0 3758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16252

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 21205
/proc/meminfo: memFree=1759416/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=27356 CPUtime=12.69
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 6492 0 0 0 1237 32 0 0 25 0 1 0 14152575 28012544 6393 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 6839 6393 148 303 0 6534 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27356

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 21205
/proc/meminfo: memFree=1743792/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=42700 CPUtime=25.48
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 10348 0 0 0 2496 52 0 0 25 0 1 0 14152575 43724800 10249 1992294400 134512640 135751879 4288192288 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 10675 10249 148 303 0 10370 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42700

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 21205
/proc/meminfo: memFree=1701384/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=85264 CPUtime=51.08
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 20957 0 0 0 4999 109 0 0 25 0 1 0 14152575 87310336 20858 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 21316 20858 148 303 0 21011 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85264

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 21207
/proc/meminfo: memFree=1637276/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=148468 CPUtime=102.27
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 36747 0 0 0 10029 198 0 0 25 0 1 0 14152575 152031232 36648 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 37117 36648 148 303 0 36812 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 148468

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1572300/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=214036 CPUtime=162.25
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 53123 0 0 0 15937 288 0 0 25 0 1 0 14152575 219172864 53024 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 53509 53024 148 303 0 53204 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 214036

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (184.54 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (184.54 s) to the 'lost time'.

[startup+184.601 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1537828/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=247528 CPUtime=184.54
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 61522 0 0 0 18134 320 0 0 25 0 1 0 14152575 253468672 61392 1992294400 134512640 135751879 4288192288 18446744073709551615 135206213 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 61882 61392 151 303 0 61577 0
Current children cumulated CPU time (s) 184.54
Current children cumulated vsize (KiB) 247528

[startup+184.701 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1782728/2059040 swapFree=4140108/4192956
[pid=21204] ppid=-1 vsize=0 CPUtime=0
/proc/21204/stat : -- couldn't open stat file --/proc/21204/statm: 61923 61421 150 303 0 61618 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1565232/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=220672 CPUtime=166.24
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 54775 0 0 0 16329 295 0 0 25 0 1 0 14152575 225968128 54676 1992294400 134512640 135751879 4288192288 18446744073709551615 134607951 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 55168 54676 148 303 0 54863 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 220672

[startup+172.708 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1555188/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=230440 CPUtime=172.65
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 57228 0 0 0 16961 304 0 0 25 0 1 0 14152575 235970560 57129 1992294400 134512640 135751879 4288192288 18446744073709551615 134606836 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 57610 57129 148 303 0 57305 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 230440

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1546756/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=240516 CPUtime=179.04
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 59754 0 0 0 17591 313 0 0 25 0 1 0 14152575 246288384 59655 1992294400 134512640 135751879 4288192288 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 60129 59655 148 303 0 59824 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 240516

[startup+182.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1541300/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=245612 CPUtime=182.24
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 61013 0 0 0 17905 319 0 0 25 0 1 0 14152575 251506688 60914 1992294400 134512640 135751879 4288192288 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 61403 60914 148 303 0 61098 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 245612

[startup+183.901 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1537828/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=247528 CPUtime=183.84
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 61520 0 0 0 18064 320 0 0 25 0 1 0 14152575 253468672 61390 1992294400 134512640 135751879 4288192288 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 61882 61390 150 303 0 61577 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 247528

[startup+184.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1537828/2059040 swapFree=4140108/4192956
[pid=21204] ppid=21202 vsize=247528 CPUtime=184.24
/proc/21204/stat : 21204 (wbo1.4b) R 21202 21204 14183 0 -1 4202496 61520 0 0 0 18104 320 0 0 25 0 1 0 14152575 253468672 61390 1992294400 134512640 135751879 4288192288 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/21204/statm: 61882 61390 150 303 0 61577 0
Current children cumulated CPU time (s) 184.24
Current children cumulated vsize (KiB) 247528

[startup+184.701 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 21209
/proc/meminfo: memFree=1782728/2059040 swapFree=4140108/4192956
[pid=21204] ppid=-1 vsize=0 CPUtime=0
/proc/21204/stat : -- couldn't open stat file --/proc/21204/statm: 61923 61421 150 303 0 61618 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21204 and gives
#  childrusage.ru_utime.tv_sec=181
#  childrusage.ru_utime.tv_usec=416420
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=233508
# CPU time returned by wait4() is 184.65
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 184.54
#  lost CPU user time (s): 181.34
#  lost CPU system time (s): 3.2

Real time (s): 184.703
CPU time (s): 184.54
CPU user time (s): 181.34
CPU system time (s): 3.2
CPU usage (%): 99.912
Max. virtual memory (cumulated for all children) (KiB): 247692

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

runsolver used 0.32695 second user time and 0.867868 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-13 06:56:08
IDJOB=2656112
IDBENCH=2025
IDSOLVER=1161
FILE ID=node025/2656112-1276404968
PBS_JOBID= 11173260
Free space on /tmp= 62540 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656112-1276404968/watcher-2656112-1276404968 -o /tmp/evaluation-result-2656112-1276404968/solver-2656112-1276404968 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656112-1276404968.opb

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

MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da
RANDOM SEED=1089084840

node025.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1784628 kB
Buffers:         43868 kB
Cached:         140664 kB
SwapCached:       6536 kB
Active:         131672 kB
Inactive:        65980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1784628 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            2868 kB
Writeback:           0 kB
AnonPages:       11052 kB
Mapped:          12780 kB
Slab:            54984 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181776 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= 62536 MiB
End job on node025 at 2010-06-13 06:59:13