Trace number 2655766

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.4bOPT5148 18.1292 18.1332

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
MD5SUMd99cfd7c624f6e153a873fe4512e21db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5148
Best CPU time to get the best result obtained on this benchmark0.006998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5148
Optimality of the best value was proved YES
Number of variables105
Total number of constraints112
Number of constraints which are clauses98
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint7
Number of terms in the objective function 105
Biggest coefficient in the objective function 2032
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 49347
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2032
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 49347
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2655766-1276629911.opb.
0.00/0.00	c Instance file HOME/instance-2655766-1276629911.opb
0.00/0.00	c File size is 4042 bytes.
0.00/0.00	c Highest Coefficient sum: 8
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      105                                                 |
0.00/0.00	c |  Number Clauses:        112                                                 |
0.00/0.00	c |  Number Cardinality:    14                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     105      126      392 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7813
0.00/0.00	o 7813
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     105      127      497 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7759
0.00/0.00	o 7759
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         6 |     105      128      602 |     5000        6     27 |  0.000 % |
0.00/0.00	c |       108 |     105      128      602 |     5500      108     24 |  0.009 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7611
0.00/0.00	o 7611
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       108 |     105      129      707 |     5000      108     24 |  0.009 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7451
0.00/0.00	o 7451
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       108 |     105      130      812 |     5000      108     24 |  0.009 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7240
0.00/0.00	o 7240
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       109 |     105      131      917 |     5000      109     24 |  0.009 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 7188
0.00/0.00	o 7188
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |       173 |     105      132     1022 |     5000      173     25 |  0.009 % |
0.00/0.01	c |       274 |     105      132     1022 |     5500      274     24 |  0.009 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 7146
0.00/0.01	o 7146
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       282 |     105      133     1127 |     5000      282     24 |  0.009 % |
0.00/0.01	c |       382 |     105      133     1127 |     5500      382     24 |  0.009 % |
0.00/0.02	c |       532 |     105      133     1127 |     6050      532     23 |  0.009 % |
0.00/0.03	c |       760 |     105      133     1127 |     6655      760     23 |  0.009 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 7087
0.02/0.03	o 7087
0.02/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |       883 |     105      134     1232 |     5000      883     23 |  0.009 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 7063
0.02/0.03	o 7063
0.02/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |       883 |     105      135     1337 |     5000      883     23 |  0.009 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: 7023
0.02/0.03	o 7023
0.02/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 179.967 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |       913 |     105      136     1442 |     5000      913     23 |  0.009 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c New solution: 6953
0.02/0.04	o 6953
0.02/0.04	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 179.964 s
0.02/0.04	c ===============================================================================
0.02/0.04	c |       962 |     105      137     1547 |     5000      962     23 |  0.009 % |
0.02/0.04	c |      1063 |     105      137     1547 |     5500     1063     22 |  0.010 % |
0.02/0.05	c |      1213 |     105      137     1547 |     6050     1213     22 |  0.009 % |
0.02/0.06	c |      1439 |     105      137     1547 |     6655     1439     22 |  0.009 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: 6821
0.02/0.07	o 6821
0.02/0.07	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 179.935 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |      1666 |     105      138     1652 |     5000     1666     22 |  0.009 % |
0.02/0.07	c |      1766 |     105      138     1652 |     5500     1766     22 |  0.009 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c New solution: 6807
0.02/0.08	o 6807
0.02/0.08	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.02/0.08	c ===============================================================================
0.02/0.08	c |      1853 |     105      139     1757 |     5000     1853     23 |  0.009 % |
0.02/0.08	c |      1955 |     105      139     1757 |     5500     1955     23 |  0.009 % |
0.02/0.09	c |      2105 |     105      139     1757 |     6050     2105     22 |  0.010 % |
0.09/0.10	c |      2332 |     105      139     1757 |     6655     2332     22 |  0.009 % |
0.09/0.12	c |      2670 |     105      139     1757 |     7320     2670     23 |  0.009 % |
0.09/0.14	c |      3176 |     105      139     1757 |     8052     3176     23 |  0.010 % |
0.09/0.18	c |      3935 |     105      139     1757 |     8857     3935     23 |  0.009 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 6805
0.09/0.19	o 6805
0.09/0.19	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 179.814 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |      4203 |     105      140     1862 |     5000     4203     23 |  0.009 % |
0.19/0.20	c |      4306 |     105      140     1862 |     5500     4306     23 |  0.009 % |
0.19/0.21	c |      4457 |     105      140     1862 |     6050     4457     23 |  0.009 % |
0.19/0.22	c |      4683 |     105      140     1862 |     6655     4683     23 |  0.009 % |
0.19/0.24	c |      5021 |     105      140     1862 |     7320     5021     23 |  0.137 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 6787
0.19/0.26	o 6787
0.19/0.26	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 179.748 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |      5313 |     105      141     1967 |     5000     5313     24 |  0.137 % |
0.19/0.27	c |      5413 |     105      141     1967 |     5500     2757     24 |  0.137 % |
0.19/0.28	c |      5564 |     105      141     1967 |     6050     2908     24 |  0.009 % |
0.19/0.29	c |      5789 |     105      141     1967 |     6655     3133     24 |  0.137 % |
0.29/0.31	c |      6127 |     105      141     1967 |     7320     3471     24 |  0.009 % |
0.29/0.34	c |      6633 |     105      141     1967 |     8052     3977     24 |  0.009 % |
0.29/0.38	c |      7392 |     105      141     1967 |     8857     4736     24 |  0.010 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 6774
0.39/0.40	o 6774
0.39/0.40	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 179.609 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |      7729 |     105      142     2072 |     5000     5073     25 |  0.010 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 6313
0.39/0.41	o 6313
0.39/0.41	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 179.601 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |      7764 |     105      143     2177 |     5000     2572     25 |  0.010 % |
0.39/0.42	c |      7865 |     105      143     2177 |     5500     2673     25 |  0.009 % |
0.39/0.43	c |      8017 |     105      143     2177 |     6050     2825     25 |  0.136 % |
0.39/0.44	c |      8242 |     105      143     2177 |     6655     3050     25 |  0.010 % |
0.39/0.45	c |      8580 |     105      143     2177 |     7320     3388     25 |  0.136 % |
0.39/0.48	c |      9086 |     105      143     2177 |     8052     3894     24 |  0.009 % |
0.49/0.52	c |      9846 |     105      143     2177 |     8857     4654     24 |  0.137 % |
0.49/0.58	c |     10987 |     105      143     2177 |     9743     5795     24 |  0.137 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: 6278
0.49/0.59	o 6278
0.49/0.59	c Elapsed CPU time: 0.575912 s	Remaining CPU time: 179.424 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |     11152 |     105      144     2282 |     5000     5960     24 |  0.137 % |
0.59/0.61	c |     11252 |     105      144     2282 |     5500     3080     23 |  0.009 % |
0.59/0.62	c |     11402 |     105      144     2282 |     6050     3230     23 |  0.009 % |
0.59/0.63	c |     11627 |     105      144     2282 |     6655     3455     23 |  0.009 % |
0.59/0.65	c |     11965 |     105      144     2282 |     7320     3793     23 |  0.136 % |
0.59/0.67	c |     12473 |     105      144     2282 |     8052     4301     23 |  0.137 % |
0.69/0.72	c |     13233 |     105      144     2282 |     8857     5061     23 |  0.010 % |
0.69/0.79	c |     14372 |     105      144     2282 |     9743     6200     23 |  0.009 % |
0.80/0.89	c |     16080 |     105      144     2282 |    10717     7908     23 |  0.137 % |
0.99/1.07	c |     18643 |     105      144     2282 |    11789    10471     23 |  0.010 % |
1.29/1.34	c |     22487 |     105      144     2282 |    12968     8386     24 |  0.010 % |
1.29/1.35	c ===============================================================================
1.29/1.35	c New solution: 6252
1.29/1.35	o 6252
1.29/1.35	c Elapsed CPU time: 1.3048 s	Remaining CPU time: 178.695 s
1.29/1.35	c ===============================================================================
1.29/1.35	c |     22676 |     105      145     2387 |     5000     8575     24 |  0.010 % |
1.29/1.37	c |     22778 |     105      145     2387 |     5500     4390     23 |  0.136 % |
1.29/1.38	c |     22931 |     105      145     2387 |     6050     4543     23 |  0.010 % |
1.39/1.40	c |     23157 |     105      145     2387 |     6655     4769     23 |  0.137 % |
1.39/1.42	c |     23494 |     105      145     2387 |     7320     5106     23 |  0.137 % |
1.39/1.45	c |     24000 |     105      145     2387 |     8052     5612     23 |  0.010 % |
1.39/1.49	c |     24759 |     105      145     2387 |     8857     6371     23 |  0.009 % |
1.39/1.50	c ===============================================================================
1.39/1.50	c New solution: 6148
1.39/1.50	o 6148
1.39/1.50	c Elapsed CPU time: 1.44678 s	Remaining CPU time: 178.553 s
1.39/1.50	c ===============================================================================
1.39/1.50	c |     24764 |     105      146     2492 |     5000     6376     23 |  0.009 % |
1.49/1.51	c |     24866 |     105      146     2492 |     5500     3290     23 |  0.009 % |
1.49/1.52	c |     25016 |     105      146     2492 |     6050     3440     23 |  0.009 % |
1.49/1.54	c |     25241 |     105      146     2492 |     6655     3665     23 |  0.136 % |
1.49/1.56	c |     25578 |     105      146     2492 |     7320     4002     23 |  0.009 % |
1.49/1.59	c |     26084 |     105      146     2492 |     8052     4508     23 |  0.010 % |
1.59/1.64	c |     26843 |     105      146     2492 |     8857     5267     23 |  0.009 % |
1.59/1.69	c ===============================================================================
1.59/1.69	c New solution: 5983
1.59/1.69	o 5983
1.59/1.69	c Elapsed CPU time: 1.62975 s	Remaining CPU time: 178.37 s
1.59/1.69	c ===============================================================================
1.59/1.69	c |     27664 |     105      147     2597 |     5000     6088     24 |  0.009 % |
1.69/1.70	c |     27764 |     105      147     2597 |     5500     3144     25 |  0.137 % |
1.69/1.71	c |     27914 |     105      147     2597 |     6050     3294     25 |  0.137 % |
1.69/1.73	c |     28139 |     105      147     2597 |     6655     3519     25 |  0.009 % |
1.69/1.75	c |     28476 |     105      147     2597 |     7320     3856     25 |  0.136 % |
1.69/1.78	c |     28982 |     105      147     2597 |     8052     4362     25 |  0.009 % |
1.79/1.83	c |     29741 |     105      147     2597 |     8857     5121     25 |  0.010 % |
1.89/1.90	c |     30880 |     105      147     2597 |     9743     6260     24 |  0.137 % |
2.00/2.00	c ===============================================================================
2.00/2.00	c New solution: 5957
2.00/2.00	o 5957
2.00/2.00	c Elapsed CPU time: 1.93571 s	Remaining CPU time: 178.064 s
2.00/2.00	c ===============================================================================
2.00/2.00	c |     32493 |     105      148     2702 |     5000     7873     24 |  0.137 % |
2.00/2.02	c |     32593 |     105      148     2702 |     5500     4037     23 |  0.137 % |
2.00/2.03	c |     32743 |     105      148     2702 |     6050     4187     23 |  0.009 % |
2.00/2.04	c |     32968 |     105      148     2702 |     6655     4412     23 |  0.137 % |
2.00/2.07	c |     33305 |     105      148     2702 |     7320     4749     24 |  0.009 % |
2.10/2.10	c |     33812 |     105      148     2702 |     8052     5256     24 |  0.010 % |
2.10/2.15	c |     34572 |     105      148     2702 |     8857     6016     24 |  0.137 % |
2.20/2.22	c |     35711 |     105      148     2702 |     9743     7155     24 |  0.137 % |
2.29/2.35	c |     37420 |     105      148     2702 |    10717     8864     24 |  0.136 % |
2.49/2.54	c |     39982 |     105      148     2702 |    11789     6028     24 |  0.137 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c New solution: 5938
2.69/2.71	o 5938
2.69/2.71	c Elapsed CPU time: 2.6246 s	Remaining CPU time: 177.375 s
2.69/2.71	c ===============================================================================
2.69/2.71	c |     42591 |     105      149     2807 |     5000     8637     23 |  0.137 % |
2.69/2.73	c |     42691 |     105      149     2807 |     5500     4419     23 |  0.010 % |
2.69/2.74	c |     42841 |     105      149     2807 |     6050     4569     23 |  0.137 % |
2.69/2.75	c |     43066 |     105      149     2807 |     6655     4794     23 |  0.009 % |
2.69/2.77	c |     43403 |     105      149     2807 |     7320     5131     23 |  0.137 % |
2.79/2.81	c |     43910 |     105      149     2807 |     8052     5638     23 |  0.010 % |
2.79/2.86	c |     44669 |     105      149     2807 |     8857     6397     23 |  0.137 % |
2.89/2.94	c |     45808 |     105      149     2807 |     9743     7536     24 |  0.137 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 5834
2.99/3.07	o 5834
2.99/3.07	c Elapsed CPU time: 2.97555 s	Remaining CPU time: 177.024 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |     47296 |     105      150     2912 |     5000     9024     24 |  0.137 % |
2.99/3.09	c |     47398 |     105      150     2912 |     5500     4614     25 |  0.136 % |
3.09/3.10	c |     47549 |     105      150     2912 |     6050     4765     25 |  0.136 % |
3.09/3.11	c |     47775 |     105      150     2912 |     6655     4991     25 |  0.137 % |
3.09/3.14	c |     48112 |     105      150     2912 |     7320     5328     25 |  0.010 % |
3.09/3.17	c |     48618 |     105      150     2912 |     8052     5834     25 |  0.137 % |
3.19/3.23	c |     49377 |     105      150     2912 |     8857     6593     25 |  0.010 % |
3.19/3.30	c |     50516 |     105      150     2912 |     9743     7732     24 |  0.137 % |
3.39/3.43	c |     52224 |     105      150     2912 |    10717     9440     25 |  0.136 % |
3.59/3.64	c |     54787 |     105      150     2912 |    11789     6606     24 |  0.156 % |
3.69/3.72	c ===============================================================================
3.69/3.72	c New solution: 5692
3.69/3.72	o 5692
3.69/3.72	c Elapsed CPU time: 3.61245 s	Remaining CPU time: 176.388 s
3.69/3.72	c ===============================================================================
3.69/3.72	c |     55795 |     105      151     3017 |     5000     7614     25 |  0.156 % |
3.69/3.74	c |     55895 |     105      151     3017 |     5500     3907     25 |  0.154 % |
3.69/3.75	c |     56045 |     105      151     3017 |     6050     4057     25 |  0.145 % |
3.69/3.76	c |     56271 |     105      151     3017 |     6655     4283     25 |  0.154 % |
3.69/3.79	c |     56608 |     105      151     3017 |     7320     4620     25 |  0.147 % |
3.79/3.82	c |     57114 |     105      151     3017 |     8052     5126     24 |  0.154 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c New solution: 5662
3.79/3.83	o 5662
3.79/3.83	c Elapsed CPU time: 3.72443 s	Remaining CPU time: 176.276 s
3.79/3.83	c ===============================================================================
3.79/3.83	c |     57300 |     105      152     3122 |     5000     5312     24 |  0.154 % |
3.79/3.85	c |     57400 |     105      152     3122 |     5500     2756     25 |  0.145 % |
3.79/3.86	c |     57551 |     105      152     3122 |     6050     2907     25 |  0.154 % |
3.79/3.87	c |     57778 |     105      152     3122 |     6655     3134     26 |  0.146 % |
3.79/3.89	c |     58115 |     105      152     3122 |     7320     3471     25 |  0.156 % |
3.89/3.93	c |     58621 |     105      152     3122 |     8052     3977     25 |  0.010 % |
3.89/3.98	c |     59381 |     105      152     3122 |     8857     4737     25 |  0.154 % |
3.99/4.06	c |     60520 |     105      152     3122 |     9743     5876     25 |  0.146 % |
4.09/4.19	c |     62229 |     105      152     3122 |    10717     7585     26 |  0.010 % |
4.40/4.41	c |     64791 |     105      152     3122 |    11789    10147     26 |  0.155 % |
4.69/4.76	c |     68635 |     105      152     3122 |    12968     8058     26 |  0.154 % |
4.99/5.07	c ===============================================================================
4.99/5.07	c New solution: 5582
4.99/5.07	o 5582
4.99/5.07	c Elapsed CPU time: 4.91525 s	Remaining CPU time: 175.085 s
4.99/5.07	c ===============================================================================
4.99/5.07	c |     72426 |     105      153     3227 |     5000    11849     25 |  0.154 % |
5.09/5.10	c |     72527 |     105      153     3227 |     5500     3064     23 |  0.009 % |
5.09/5.11	c |     72677 |     105      153     3227 |     6050     3214     23 |  0.154 % |
5.09/5.13	c |     72903 |     105      153     3227 |     6655     3440     23 |  0.146 % |
5.09/5.15	c |     73240 |     105      153     3227 |     7320     3777     23 |  0.155 % |
5.09/5.18	c |     73746 |     105      153     3227 |     8052     4283     23 |  0.146 % |
5.19/5.23	c |     74506 |     105      153     3227 |     8857     5043     23 |  0.156 % |
5.29/5.32	c |     75645 |     105      153     3227 |     9743     6182     23 |  0.147 % |
5.40/5.43	c |     77353 |     105      153     3227 |    10717     7890     23 |  0.138 % |
5.59/5.64	c |     79915 |     105      153     3227 |    11789    10452     23 |  0.154 % |
5.99/6.01	c |     83759 |     105      153     3227 |    12968     8370     22 |  0.145 % |
6.09/6.19	c ===============================================================================
6.09/6.19	c New solution: 5542
6.09/6.19	o 5542
6.09/6.19	c Elapsed CPU time: 5.99709 s	Remaining CPU time: 174.003 s
6.09/6.19	c ===============================================================================
6.09/6.19	c |     85932 |     105      154     3332 |     5000    10543     22 |  0.145 % |
6.19/6.22	c |     86032 |     105      154     3332 |     5500     2736     22 |  0.145 % |
6.19/6.23	c |     86183 |     105      154     3332 |     6050     2887     22 |  0.154 % |
6.19/6.25	c |     86409 |     105      154     3332 |     6655     3113     22 |  0.146 % |
6.19/6.27	c |     86746 |     105      154     3332 |     7320     3450     22 |  0.156 % |
6.29/6.31	c |     87252 |     105      154     3332 |     8052     3956     22 |  0.147 % |
6.29/6.36	c |     88011 |     105      154     3332 |     8857     4715     23 |  0.156 % |
6.39/6.45	c |     89151 |     105      154     3332 |     9743     5855     23 |  0.155 % |
6.50/6.57	c |     90860 |     105      154     3332 |    10717     7564     23 |  0.155 % |
6.69/6.74	c ===============================================================================
6.69/6.74	c New solution: 5515
6.69/6.74	o 5515
6.69/6.74	c Elapsed CPU time: 6.539 s	Remaining CPU time: 173.461 s
6.69/6.74	c ===============================================================================
6.69/6.74	c |     92849 |     105      155     3437 |     5000     9553     22 |  0.155 % |
6.69/6.77	c |     92951 |     105      155     3437 |     5500     4879     22 |  0.145 % |
6.69/6.78	c |     93101 |     105      155     3437 |     6050     5029     22 |  0.155 % |
6.79/6.80	c |     93326 |     105      155     3437 |     6655     5254     22 |  0.154 % |
6.79/6.82	c |     93664 |     105      155     3437 |     7320     5592     22 |  0.146 % |
6.79/6.86	c |     94171 |     105      155     3437 |     8052     6099     23 |  0.154 % |
6.89/6.93	c |     94932 |     105      155     3437 |     8857     6860     23 |  0.154 % |
6.99/7.02	c |     96072 |     105      155     3437 |     9743     8000     23 |  0.146 % |
7.09/7.17	c |     97780 |     105      155     3437 |    10717     9708     23 |  0.154 % |
7.39/7.41	c |    100342 |     105      155     3437 |    11789     6881     23 |  0.154 % |
7.70/7.75	c |    104187 |     105      155     3437 |    12968    10726     23 |  0.155 % |
8.09/8.14	c ===============================================================================
8.09/8.14	c New solution: 5499
8.09/8.14	o 5499
8.09/8.14	c Elapsed CPU time: 7.8988 s	Remaining CPU time: 172.101 s
8.09/8.14	c ===============================================================================
8.09/8.14	c |    108082 |     105      156     3542 |     5000     8101     23 |  0.155 % |
8.09/8.16	c |    108182 |     105      156     3542 |     5500     4151     24 |  0.009 % |
8.09/8.17	c |    108332 |     105      156     3542 |     6050     4301     24 |  0.155 % |
8.09/8.20	c |    108558 |     105      156     3542 |     6655     4527     24 |  0.146 % |
8.18/8.22	c |    108895 |     105      156     3542 |     7320     4864     24 |  0.155 % |
8.18/8.26	c |    109401 |     105      156     3542 |     8052     5370     24 |  0.010 % |
8.29/8.32	c |    110161 |     105      156     3542 |     8857     6130     23 |  0.156 % |
8.39/8.41	c |    111302 |     105      156     3542 |     9743     7271     24 |  0.145 % |
8.49/8.55	c |    113010 |     105      156     3542 |    10717     8979     24 |  0.154 % |
8.49/8.57	c ===============================================================================
8.49/8.57	c New solution: 5492
8.49/8.57	o 5492
8.49/8.57	c Elapsed CPU time: 8.31574 s	Remaining CPU time: 171.684 s
8.49/8.57	c ===============================================================================
8.49/8.57	c |    113230 |     105      157     3647 |     5000     9199     24 |  0.154 % |
8.59/8.60	c |    113331 |     105      157     3647 |     5500     4701     24 |  0.154 % |
8.59/8.62	c |    113482 |     105      157     3647 |     6050     4852     24 |  0.155 % |
8.59/8.64	c |    113707 |     105      157     3647 |     6655     5077     24 |  0.154 % |
8.59/8.66	c |    114046 |     105      157     3647 |     7320     5416     24 |  0.154 % |
8.70/8.71	c |    114552 |     105      157     3647 |     8052     5922     24 |  0.154 % |
8.70/8.77	c |    115312 |     105      157     3647 |     8857     6682     24 |  0.154 % |
8.80/8.88	c |    116451 |     105      157     3647 |     9743     7821     24 |  0.154 % |
8.99/9.03	c |    118159 |     105      157     3647 |    10717     9529     24 |  0.154 % |
9.29/9.32	c |    120721 |     105      157     3647 |    11789     6706     24 |  0.156 % |
9.59/9.67	c ===============================================================================
9.59/9.67	c New solution: 5318
9.59/9.67	o 5318
9.59/9.67	c Elapsed CPU time: 9.38257 s	Remaining CPU time: 170.617 s
9.59/9.67	c ===============================================================================
9.59/9.67	c |    124406 |     105      158     3752 |     5000    10391     24 |  0.156 % |
9.69/9.70	c |    124506 |     105      158     3752 |     5500     2698     23 |  0.010 % |
9.69/9.71	c |    124657 |     105      158     3752 |     6050     2849     23 |  0.155 % |
9.69/9.73	c |    124883 |     105      158     3752 |     6655     3075     23 |  0.146 % |
9.69/9.75	c |    125220 |     105      158     3752 |     7320     3412     23 |  0.156 % |
9.69/9.79	c |    125729 |     105      158     3752 |     8052     3921     23 |  0.146 % |
9.79/9.84	c |    126488 |     105      158     3752 |     8857     4680     22 |  0.156 % |
9.79/9.89	c ===============================================================================
9.79/9.89	c New solution: 5295
9.79/9.89	o 5295
9.79/9.89	c Elapsed CPU time: 9.60454 s	Remaining CPU time: 170.395 s
9.79/9.89	c ===============================================================================
9.79/9.89	c |    127110 |     105      159     3857 |     5000     5302     23 |  0.156 % |
9.90/9.91	c |    127210 |     105      159     3857 |     5500     2751     22 |  0.155 % |
9.90/9.92	c |    127360 |     105      159     3857 |     6050     2901     22 |  0.147 % |
9.90/9.93	c |    127585 |     105      159     3857 |     6655     3126     22 |  0.156 % |
9.90/9.96	c |    127922 |     105      159     3857 |     7320     3463     22 |  0.154 % |
9.99/10.00	c |    128428 |     105      159     3857 |     8052     3969     22 |  0.154 % |
9.99/10.05	c |    129187 |     105      159     3857 |     8857     4728     22 |  0.155 % |
10.09/10.16	c |    130327 |     105      159     3857 |     9743     5868     23 |  0.154 % |
10.28/10.32	c |    132036 |     105      159     3857 |    10717     7577     23 |  0.154 % |
10.49/10.59	c |    134598 |     105      159     3857 |    11789    10139     23 |  0.156 % |
10.90/10.95	c |    138443 |     105      159     3857 |    12968     8050     24 |  0.155 % |
11.29/11.36	c ===============================================================================
11.29/11.36	c New solution: 5278
11.29/11.36	o 5278
11.29/11.36	c Elapsed CPU time: 11.0323 s	Remaining CPU time: 168.968 s
11.29/11.36	c ===============================================================================
11.29/11.36	c |    142590 |     105      160     3962 |     5000    12197     23 |  0.155 % |
11.39/11.40	c |    142690 |     105      160     3962 |     5500     3150     21 |  0.145 % |
11.39/11.41	c |    142841 |     105      160     3962 |     6050     3301     21 |  0.156 % |
11.39/11.42	c |    143066 |     105      160     3962 |     6655     3526     21 |  0.146 % |
11.39/11.45	c |    143404 |     105      160     3962 |     7320     3864     21 |  0.156 % |
11.39/11.49	c |    143912 |     105      160     3962 |     8052     4372     22 |  0.010 % |
11.49/11.55	c |    144671 |     105      160     3962 |     8857     5131     22 |  0.156 % |
11.59/11.65	c |    145811 |     105      160     3962 |     9743     6271     22 |  0.155 % |
11.69/11.78	c |    147520 |     105      160     3962 |    10717     7980     22 |  0.156 % |
12.00/12.02	c |    150082 |     105      160     3962 |    11789    10542     23 |  0.154 % |
12.00/12.03	c ===============================================================================
12.00/12.03	c New solution: 5266
12.00/12.03	o 5266
12.00/12.03	c Elapsed CPU time: 11.6872 s	Remaining CPU time: 168.313 s
12.00/12.03	c ===============================================================================
12.00/12.03	c |    150174 |     105      161     4067 |     5000    10634     23 |  0.154 % |
12.00/12.06	c |    150274 |     105      161     4067 |     5500     2759     24 |  0.154 % |
12.00/12.07	c |    150424 |     105      161     4067 |     6050     2909     24 |  0.155 % |
12.00/12.09	c |    150649 |     105      161     4067 |     6655     3134     24 |  0.154 % |
12.09/12.11	c |    150987 |     105      161     4067 |     7320     3472     23 |  0.155 % |
12.09/12.16	c |    151494 |     105      161     4067 |     8052     3979     23 |  0.154 % |
12.18/12.22	c |    152253 |     105      161     4067 |     8857     4738     23 |  0.336 % |
12.29/12.31	c |    153392 |     105      161     4067 |     9743     5877     23 |  0.156 % |
12.39/12.46	c |    155100 |     104      161     4067 |    10717     7556     23 |  1.098 % |
12.49/12.52	c ===============================================================================
12.49/12.52	c New solution: 5215
12.49/12.52	o 5215
12.49/12.52	c Elapsed CPU time: 12.1682 s	Remaining CPU time: 167.832 s
12.49/12.52	c ===============================================================================
12.49/12.52	c |    155629 |     104      162     4172 |     5000     8085     23 |  1.098 % |
12.49/12.54	c |    155729 |     104      162     4172 |     5500     4143     24 |  0.962 % |
12.49/12.56	c |    155879 |     104      162     4172 |     6050     4293     24 |  1.099 % |
12.49/12.58	c |    156104 |     104      162     4172 |     6655     4518     24 |  1.099 % |
12.59/12.61	c |    156441 |     104      162     4172 |     7320     4855     24 |  1.099 % |
12.59/12.65	c |    156947 |     104      162     4172 |     8052     5361     24 |  1.098 % |
12.59/12.69	c ===============================================================================
12.59/12.69	c New solution: 5192
12.59/12.69	o 5192
12.59/12.69	c Elapsed CPU time: 12.3341 s	Remaining CPU time: 167.666 s
12.59/12.70	c ===============================================================================
12.59/12.70	c |    157406 |     104      163     4277 |     5000     5820     24 |  1.098 % |
12.69/12.71	c |    157506 |     104      163     4277 |     5500     3010     25 |  1.098 % |
12.69/12.73	c |    157657 |     104      163     4277 |     6050     3161     25 |  0.963 % |
12.69/12.74	c |    157882 |     104      163     4277 |     6655     3386     25 |  1.099 % |
12.69/12.78	c |    158219 |     104      163     4277 |     7320     3723     25 |  1.099 % |
12.79/12.82	c |    158725 |     104      163     4277 |     8052     4229     25 |  1.099 % |
12.88/12.90	c |    159484 |     104      163     4277 |     8857     4988     25 |  1.099 % |
12.98/13.00	c |    160624 |     104      163     4277 |     9743     6128     25 |  1.098 % |
13.10/13.17	c |    162334 |     104      163     4277 |    10717     7838     25 |  1.110 % |
13.39/13.40	c |    164896 |     104      163     4277 |    11789    10400     24 |  1.099 % |
13.69/13.79	c |    168741 |     103      163     4277 |    12968     7610     20 |  1.915 % |
14.39/14.43	c |    174507 |     102      163     4277 |    14265     6860     23 |  2.993 % |
15.40/15.46	c |    183157 |     102      163     4277 |    15692     8355     20 |  2.930 % |
16.79/16.88	c ===============================================================================
16.79/16.88	c New solution: 5182
16.79/16.88	o 5182
16.79/16.88	c Elapsed CPU time: 16.4205 s	Remaining CPU time: 163.579 s
16.79/16.88	c ===============================================================================
16.79/16.88	c |    195999 |      95      164     4382 |     5000    13321     20 |  2.930 % |
16.89/16.93	c |    196100 |      95      164     4382 |     5500     4102     20 |  9.533 % |
16.89/16.95	c |    196250 |      95      164     4382 |     6050     4252     20 |  9.533 % |
16.89/16.96	c |    196476 |      95      164     4382 |     6655     4478     20 |  9.533 % |
16.89/16.99	c |    196813 |      95      164     4382 |     7320     4815     20 |  9.533 % |
16.99/17.04	c |    197319 |      95      164     4382 |     8052     5321     21 |  9.651 % |
17.08/17.11	c |    198078 |      95      164     4382 |     8857     6080     21 |  9.533 % |
17.19/17.22	c |    199217 |      95      164     4382 |     9743     7219     21 |  9.533 % |
17.39/17.40	c |    200927 |      95      164     4382 |    10717     8929     21 |  9.533 % |
17.69/17.71	c |    203490 |      95      164     4382 |    11789     6105     21 |  9.687 % |
17.89/17.97	c ===============================================================================
17.89/17.97	c New solution: 5148
17.89/17.98	o 5148
17.89/17.98	c Elapsed CPU time: 17.4893 s	Remaining CPU time: 162.511 s
17.89/17.98	c ===============================================================================
17.89/17.98	c |    206227 |      95      165     4487 |     5000     8842     21 |  9.687 % |
17.99/18.00	c |    206327 |      95      165     4487 |     5500     4521     21 |  9.689 % |
17.99/18.01	c |    206479 |      95      165     4487 |     6050     4673     21 |  9.624 % |
17.99/18.04	c |    206706 |      95      165     4487 |     6655     4900     21 |  9.924 % |
17.99/18.06	c |    207044 |      88      165     4487 |     7320     5238     21 | 16.227 % |
18.08/18.11	c |    207550 |      71      165     4487 |     8052     5744     21 | 36.365 % |
18.08/18.12	c ===============================================================================
18.08/18.12	c Best Solution: 5148
18.08/18.12	s OPTIMUM FOUND
18.08/18.12	c Total CPU time: 17.6333 s
18.08/18.12	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

Verifier Data 

OK	5148

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655766-1276629911/watcher-2655766-1276629911 -o /tmp/evaluation-result-2655766-1276629911/solver-2655766-1276629911 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655766-1276629911.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.87 1.95 1.62 3/106 6059
/proc/meminfo: memFree=1833116/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=2576 CPUtime=0
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 36647428 2637824 199 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 644 199 147 303 0 339 0

[startup+0.033135 s]
/proc/loadavg: 1.87 1.95 1.62 3/106 6059
/proc/meminfo: memFree=1833116/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=2708 CPUtime=0.02
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 318 0 0 0 2 0 0 0 20 0 1 0 36647428 2772992 235 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 677 235 147 303 0 372 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2708

[startup+0.10114 s]
/proc/loadavg: 1.87 1.95 1.62 3/106 6059
/proc/meminfo: memFree=1833116/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=2972 CPUtime=0.09
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 401 0 0 0 9 0 0 0 20 0 1 0 36647428 3043328 318 1992294400 134512640 135751879 4291488992 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 743 318 147 303 0 438 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2972

[startup+0.301159 s]
/proc/loadavg: 1.87 1.95 1.62 3/106 6059
/proc/meminfo: memFree=1833116/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=3776 CPUtime=0.29
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 601 0 0 0 28 1 0 0 20 0 1 0 36647428 3866624 518 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 944 518 148 303 0 639 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3776

[startup+0.701197 s]
/proc/loadavg: 1.87 1.95 1.62 3/106 6059
/proc/meminfo: memFree=1833116/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=5228 CPUtime=0.69
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 967 0 0 0 67 2 0 0 21 0 1 0 36647428 5353472 884 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 1307 884 148 303 0 1002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5228

[startup+1.50127 s]
/proc/loadavg: 1.87 1.95 1.62 2/107 6060
/proc/meminfo: memFree=1829016/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=7724 CPUtime=1.49
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 1595 0 0 0 144 5 0 0 23 0 1 0 36647428 7909376 1512 1992294400 134512640 135751879 4291488992 18446744073709551615 134649597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 1931 1512 148 303 0 1626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7724

[startup+3.10143 s]
/proc/loadavg: 1.87 1.95 1.62 2/107 6060
/proc/meminfo: memFree=1825420/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=12476 CPUtime=3.09
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 2767 0 0 0 300 9 0 0 25 0 1 0 36647428 12775424 2684 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 3119 2684 148 303 0 2814 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12476

[startup+6.30073 s]
/proc/loadavg: 1.80 1.94 1.62 2/107 6060
/proc/meminfo: memFree=1816368/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=20648 CPUtime=6.29
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 4807 0 0 0 610 19 0 0 25 0 1 0 36647428 21143552 4724 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 5162 4724 148 303 0 4857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20648

[startup+12.7003 s]
/proc/loadavg: 1.73 1.92 1.61 2/107 6060
/proc/meminfo: memFree=1801488/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=34940 CPUtime=12.69
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 8382 0 0 0 1233 36 0 0 25 0 1 0 36647428 35778560 8299 1992294400 134512640 135751879 4291488992 18446744073709551615 134649829 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 8735 8299 148 303 0 8430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34940

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

[startup+15.9007 s]
/proc/loadavg: 1.67 1.90 1.61 2/107 6060
/proc/meminfo: memFree=1795040/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=40880 CPUtime=15.88
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 9877 0 0 0 1544 44 0 0 25 0 1 0 36647428 41861120 9794 1992294400 134512640 135751879 4291488992 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 10220 9794 148 303 0 9915 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 40880

[startup+17.5008 s]
/proc/loadavg: 1.67 1.90 1.61 2/107 6060
/proc/meminfo: memFree=1791196/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=43792 CPUtime=17.49
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 10594 0 0 0 1702 47 0 0 25 0 1 0 36647428 44843008 10511 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 10948 10511 148 303 0 10643 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 43792

[startup+17.9008 s]
/proc/loadavg: 1.67 1.90 1.61 2/107 6060
/proc/meminfo: memFree=1791196/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=44448 CPUtime=17.89
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 10775 0 0 0 1741 48 0 0 25 0 1 0 36647428 45514752 10692 1992294400 134512640 135751879 4291488992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 11112 10692 148 303 0 10807 0
Current children cumulated CPU time (s) 17.89
Current children cumulated vsize (KiB) 44448

[startup+18.1009 s]
/proc/loadavg: 1.67 1.90 1.61 2/107 6060
/proc/meminfo: memFree=1791196/2059040 swapFree=4140256/4192956
[pid=6059] ppid=6057 vsize=44840 CPUtime=18.08
/proc/6059/stat : 6059 (wbo1.4b) R 6057 6059 6034 0 -1 4202496 10869 0 0 0 1760 48 0 0 25 0 1 0 36647428 45916160 10786 1992294400 134512640 135751879 4291488992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6059/statm: 11210 10786 148 303 0 10905 0
Current children cumulated CPU time (s) 18.08
Current children cumulated vsize (KiB) 44840

Child status: 0
Real time (s): 18.1332
CPU time (s): 18.1292
CPU user time (s): 17.6333
CPU system time (s): 0.495924
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 44840

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

runsolver used 0.028995 second user time and 0.102984 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-15 21:25:11
IDJOB=2655766
IDBENCH=24971
IDSOLVER=1161
FILE ID=node018/2655766-1276629911
PBS_JOBID= 11172368
Free space on /tmp= 62488 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-7_14.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655766-1276629911/watcher-2655766-1276629911 -o /tmp/evaluation-result-2655766-1276629911/solver-2655766-1276629911 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655766-1276629911.opb

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

MD5SUM BENCH= d99cfd7c624f6e153a873fe4512e21db
RANDOM SEED=854174126

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833520 kB
Buffers:         44184 kB
Cached:          94664 kB
SwapCached:       6172 kB
Active:          73624 kB
Inactive:        78492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833520 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:            2684 kB
Writeback:           0 kB
AnonPages:       11368 kB
Mapped:          12972 kB
Slab:            51616 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181032 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= 62484 MiB
End job on node018 at 2010-06-15 21:25:29