Trace number 1875683

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.27 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark590.273
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875683-1245135760.opb.
0.00/0.00	c Instance file HOME/instance-1875683-1245135760.opb
0.00/0.00	c File size is 1509680 bytes.
0.19/0.26	c Highest Coefficient sum: 7117
0.19/0.26	c ============================[ Problem Statistics ]=============================
0.19/0.26	c |                                                                             |
0.19/0.26	c |  Parsing time:          0.26         s                                      |
0.19/0.26	c |  Number Variables:      12596                                               |
0.19/0.26	c |  Number Clauses:        2875                                                |
0.19/0.26	c |  Number Cardinality:    12361                                               |
0.19/0.26	c |  Number PB Constraints: 667                                                 |
0.19/0.26	c core #1
0.19/0.26	c Core size: 112	Core Weight: 25	Total Weight: -11114
0.19/0.26	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 1799.74 s
0.29/0.32	c core #2
0.29/0.32	c Core size: 100	Core Weight: 25	Total Weight: -11089
0.29/0.32	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.39	c core #3
0.29/0.39	c Core size: 50	Core Weight: 10	Total Weight: -11079
0.29/0.39	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.39/0.46	c core #4
0.39/0.46	c Core size: 93	Core Weight: 4	Total Weight: -11075
0.39/0.46	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.49/0.54	c core #5
0.49/0.54	c Core size: 157	Core Weight: 25	Total Weight: -11050
0.49/0.54	c Elapsed CPU time: 0.51992 s	Remaining CPU time: 1799.48 s
0.59/0.63	c core #6
0.59/0.63	c Core size: 617	Core Weight: 5	Total Weight: -11045
0.59/0.63	c Elapsed CPU time: 0.607907 s	Remaining CPU time: 1799.39 s
0.69/0.70	c core #7
0.69/0.70	c Core size: 184	Core Weight: 20	Total Weight: -11025
0.69/0.70	c Elapsed CPU time: 0.681896 s	Remaining CPU time: 1799.32 s
0.69/0.79	c core #8
0.69/0.79	c Core size: 43	Core Weight: 25	Total Weight: -11000
0.69/0.79	c Elapsed CPU time: 0.768883 s	Remaining CPU time: 1799.23 s
0.79/0.89	c core #9
0.79/0.89	c Core size: 45	Core Weight: 25	Total Weight: -10975
0.79/0.89	c Elapsed CPU time: 0.859869 s	Remaining CPU time: 1799.14 s
0.89/0.98	c ============================[ Search Statistics ]==============================
0.89/0.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.98	c ===============================================================================
0.89/0.98	c |         0 |    5486    16135   168224 |     5378        0    nan |  0.000 % |
0.89/0.98	c ===============================================================================
0.89/0.99	c core #10
0.89/0.99	c Core size: 48	Core Weight: 25	Total Weight: -10950
0.89/0.99	c Elapsed CPU time: 0.954854 s	Remaining CPU time: 1799.05 s
1.00/1.08	c Learning 4 hard constraints
1.00/1.08	c ============================[ Search Statistics ]==============================
1.00/1.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.08	c ===============================================================================
1.00/1.08	c |         0 |    5517    16149   168339 |     5383        0    nan |  0.000 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c core #11
1.00/1.08	c Core size: 55	Core Weight: 25	Total Weight: -10925
1.00/1.08	c Elapsed CPU time: 1.05184 s	Remaining CPU time: 1798.95 s
1.09/1.17	c Learning 15 hard constraints
1.09/1.17	c ============================[ Search Statistics ]==============================
1.09/1.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.17	c ===============================================================================
1.09/1.17	c |         0 |    5538    16174   168555 |     5391        0    nan |  0.000 % |
1.09/1.18	c ===============================================================================
1.09/1.18	c core #12
1.09/1.18	c Core size: 118	Core Weight: 20	Total Weight: -10905
1.09/1.18	c Elapsed CPU time: 1.15182 s	Remaining CPU time: 1798.85 s
1.19/1.27	c Learning 8 hard constraints
1.19/1.27	c ============================[ Search Statistics ]==============================
1.19/1.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.27	c ===============================================================================
1.19/1.27	c |         0 |    5693    16213   169162 |     5404        0    nan |  0.000 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c core #13
1.19/1.28	c Core size: 144	Core Weight: 10	Total Weight: -10895
1.19/1.28	c Elapsed CPU time: 1.24981 s	Remaining CPU time: 1798.75 s
1.29/1.37	c Learning 4 hard constraints
1.29/1.37	c ============================[ Search Statistics ]==============================
1.29/1.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.37	c ===============================================================================
1.29/1.37	c |         0 |    5871    16249   169307 |     5416        0    nan |  0.000 % |
1.29/1.39	c ===============================================================================
1.29/1.39	c core #14
1.29/1.39	c Core size: 280	Core Weight: 10	Total Weight: -10885
1.29/1.39	c Elapsed CPU time: 1.35279 s	Remaining CPU time: 1798.65 s
1.39/1.48	c Learning 1 hard constraints
1.39/1.48	c ============================[ Search Statistics ]==============================
1.39/1.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.48	c ===============================================================================
1.39/1.48	c |         0 |    5946    16322   169470 |     5440        0    nan |  0.000 % |
1.49/1.50	c ===============================================================================
1.49/1.50	c core #15
1.49/1.50	c Core size: 262	Core Weight: 5	Total Weight: -10880
1.49/1.50	c Elapsed CPU time: 1.46478 s	Remaining CPU time: 1798.54 s
1.49/1.59	c ============================[ Search Statistics ]==============================
1.49/1.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.59	c ===============================================================================
1.49/1.59	c |         0 |    6022    16393   169616 |     5464        0    nan |  0.000 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c core #16
1.59/1.61	c Core size: 166	Core Weight: 5	Total Weight: -10875
1.59/1.61	c Elapsed CPU time: 1.57076 s	Remaining CPU time: 1798.43 s
1.68/1.70	c Learning 9 hard constraints
1.68/1.70	c ============================[ Search Statistics ]==============================
1.68/1.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.68/1.70	c ===============================================================================
1.68/1.70	c |         0 |    6063    16440   169862 |     5480        0    nan |  0.000 % |
1.68/1.73	c ===============================================================================
1.68/1.73	c core #17
1.68/1.73	c Core size: 294	Core Weight: 5	Total Weight: -10870
1.68/1.73	c Elapsed CPU time: 1.67874 s	Remaining CPU time: 1798.32 s
1.79/1.82	c Learning 40 hard constraints
1.79/1.82	c ============================[ Search Statistics ]==============================
1.79/1.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.82	c ===============================================================================
1.79/1.82	c |         0 |    6188    16539   170572 |     5513        0    nan |  0.000 % |
1.79/1.84	c ===============================================================================
1.79/1.84	c core #18
1.79/1.84	c Core size: 282	Core Weight: 5	Total Weight: -10865
1.79/1.84	c Elapsed CPU time: 1.79273 s	Remaining CPU time: 1798.21 s
1.89/1.94	c Learning 40 hard constraints
1.89/1.94	c ============================[ Search Statistics ]==============================
1.89/1.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.94	c ===============================================================================
1.89/1.94	c |         0 |    6222    16650   171993 |     5550        0    nan |  0.000 % |
1.89/1.95	c ===============================================================================
1.89/1.95	c core #19
1.89/1.95	c Core size: 214	Core Weight: 5	Total Weight: -10860
1.89/1.95	c Elapsed CPU time: 1.89871 s	Remaining CPU time: 1798.1 s
1.99/2.05	c Learning 6 hard constraints
1.99/2.05	c ============================[ Search Statistics ]==============================
1.99/2.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.05	c ===============================================================================
1.99/2.05	c |         0 |    6311    16713   172425 |     5571        0    nan |  0.000 % |
1.99/2.08	c |       101 |    6311    16713   172425 |     6128      101     84 | 52.899 % |
1.99/2.09	c ===============================================================================
1.99/2.09	c core #20
1.99/2.09	c Core size: 392	Core Weight: 5	Total Weight: -10855
1.99/2.09	c Elapsed CPU time: 2.02969 s	Remaining CPU time: 1797.97 s
2.10/2.18	c Learning 18 hard constraints
2.10/2.18	c ============================[ Search Statistics ]==============================
2.10/2.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.10/2.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.10/2.18	c ===============================================================================
2.10/2.18	c |         0 |    6446    16794   173410 |     5598        0    nan |  0.000 % |
2.20/2.21	c |       101 |    6446    16794   173410 |     6157      101    105 | 52.372 % |
2.20/2.25	c |       251 |    6446    16794   173410 |     6773      251    109 | 52.372 % |
2.20/2.28	c ===============================================================================
2.20/2.28	c core #21
2.20/2.28	c Core size: 349	Core Weight: 5	Total Weight: -10850
2.20/2.28	c Elapsed CPU time: 2.22166 s	Remaining CPU time: 1797.78 s
2.29/2.38	c Learning 21 hard constraints
2.29/2.38	c ============================[ Search Statistics ]==============================
2.29/2.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.38	c ===============================================================================
2.29/2.38	c |         0 |    6524    16862   173971 |     5620        0    nan |  0.000 % |
2.39/2.41	c |       101 |    6524    16862   173971 |     6182      101    120 | 52.121 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c core #22
2.39/2.43	c Core size: 302	Core Weight: 5	Total Weight: -10845
2.39/2.43	c Elapsed CPU time: 2.36464 s	Remaining CPU time: 1797.64 s
2.49/2.52	c Learning 57 hard constraints
2.49/2.52	c ============================[ Search Statistics ]==============================
2.49/2.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.52	c ===============================================================================
2.49/2.52	c |         0 |    6714    16977   175792 |     5659        0    nan |  0.000 % |
2.49/2.55	c |       101 |    6714    16977   175792 |     6224      101    105 | 50.943 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c core #23
2.49/2.59	c Core size: 511	Core Weight: 5	Total Weight: -10840
2.49/2.59	c Elapsed CPU time: 2.51962 s	Remaining CPU time: 1797.48 s
2.59/2.69	c Learning 28 hard constraints
2.59/2.69	c ============================[ Search Statistics ]==============================
2.59/2.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.69	c ===============================================================================
2.59/2.69	c |         0 |    6927    17079   177459 |     5693        0    nan |  0.000 % |
2.69/2.72	c |       100 |    6927    17079   177459 |     6262      100    119 | 49.975 % |
2.69/2.76	c |       250 |    6926    17079   177459 |     6888      250     71 | 50.061 % |
2.79/2.84	c ===============================================================================
2.79/2.85	c core #24
2.79/2.85	c Core size: 1202	Core Weight: 5	Total Weight: -10835
2.79/2.85	c Elapsed CPU time: 2.76758 s	Remaining CPU time: 1797.23 s
2.89/2.95	c Learning 151 hard constraints
2.89/2.95	c ============================[ Search Statistics ]==============================
2.89/2.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.95	c ===============================================================================
2.89/2.95	c |         0 |    7142    17321   181261 |     5773        0    nan |  0.000 % |
2.98/3.04	c |       100 |    7142    17321   181261 |     6351      100    193 | 49.109 % |
3.08/3.14	c ===============================================================================
3.08/3.14	c core #25
3.08/3.14	c Core size: 1152	Core Weight: 5	Total Weight: -10830
3.08/3.14	c Elapsed CPU time: 3.05754 s	Remaining CPU time: 1796.94 s
3.20/3.24	c Learning 47 hard constraints
3.20/3.24	c ============================[ Search Statistics ]==============================
3.20/3.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.20/3.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.20/3.24	c ===============================================================================
3.20/3.24	c |         0 |    7396    17459   183591 |     5819        0    nan |  0.000 % |
3.30/3.35	c |       104 |    7396    17459   183591 |     6401      104    237 | 48.218 % |
3.39/3.42	c |       256 |    7362    17459   183591 |     7041      256    134 | 49.093 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c core #26
3.39/3.44	c Core size: 500	Core Weight: 5	Total Weight: -10825
3.39/3.44	c Elapsed CPU time: 3.35349 s	Remaining CPU time: 1796.65 s
3.49/3.54	c Learning 126 hard constraints
3.49/3.54	c ============================[ Search Statistics ]==============================
3.49/3.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.54	c ===============================================================================
3.49/3.54	c |         0 |    7461    17646   187235 |     5882        0    nan |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c core #27
3.59/3.61	c Core size: 957	Core Weight: 5	Total Weight: -10820
3.59/3.61	c Elapsed CPU time: 3.51946 s	Remaining CPU time: 1796.48 s
3.69/3.71	c Learning 19 hard constraints
3.69/3.71	c ============================[ Search Statistics ]==============================
3.69/3.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.71	c ===============================================================================
3.69/3.71	c |         0 |    8027    17746   189835 |     5915        0    nan |  0.000 % |
3.69/3.76	c |       100 |    8019    17746   189835 |     6506      100     44 | 44.620 % |
3.69/3.79	c ===============================================================================
3.79/3.80	c core #28
3.79/3.80	c Core size: 1160	Core Weight: 5	Total Weight: -10815
3.79/3.80	c Elapsed CPU time: 3.69644 s	Remaining CPU time: 1796.3 s
3.79/3.90	c Learning 43 hard constraints
3.79/3.90	c ============================[ Search Statistics ]==============================
3.79/3.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.90	c ===============================================================================
3.79/3.90	c |         0 |    8227    17890   191439 |     5963        0    nan |  0.000 % |
3.89/3.94	c |       102 |    8225    17890   191439 |     6559      102     47 | 44.142 % |
3.89/3.99	c |       252 |    8199    17890   191439 |     7215      252     63 | 45.073 % |
4.09/4.10	c ===============================================================================
4.09/4.10	c core #29
4.09/4.10	c Core size: 1316	Core Weight: 5	Total Weight: -10810
4.09/4.10	c Elapsed CPU time: 3.99839 s	Remaining CPU time: 1796 s
4.19/4.20	c Learning 157 hard constraints
4.19/4.20	c ============================[ Search Statistics ]==============================
4.19/4.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.20	c ===============================================================================
4.19/4.20	c |         0 |    8340    18118   196770 |     6039        0    nan |  0.000 % |
4.19/4.25	c |       100 |    8338    18118   196770 |     6643      100     50 | 43.919 % |
4.29/4.31	c ===============================================================================
4.29/4.32	c core #30
4.29/4.32	c Core size: 1299	Core Weight: 5	Total Weight: -10805
4.29/4.32	c Elapsed CPU time: 4.20936 s	Remaining CPU time: 1795.79 s
4.39/4.42	c Learning 93 hard constraints
4.39/4.42	c ============================[ Search Statistics ]==============================
4.39/4.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.39/4.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.39/4.42	c ===============================================================================
4.39/4.42	c |         0 |    8587    18299   202369 |     6099        0    nan |  0.000 % |
4.39/4.47	c |       101 |    8586    18299   202369 |     6709      101     63 | 42.860 % |
4.49/4.53	c |       251 |    8579    18299   202369 |     7380      251     85 | 43.052 % |
4.59/4.60	c ===============================================================================
4.59/4.61	c core #31
4.59/4.61	c Core size: 1578	Core Weight: 5	Total Weight: -10800
4.59/4.61	c Elapsed CPU time: 4.49232 s	Remaining CPU time: 1795.51 s
4.69/4.71	c Learning 106 hard constraints
4.69/4.71	c ============================[ Search Statistics ]==============================
4.69/4.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.71	c ===============================================================================
4.69/4.71	c |         0 |   10394    18485   213047 |     6161        0    nan |  0.000 % |
4.79/4.86	c |       100 |   10381    18485   213047 |     6777      100     80 | 34.766 % |
4.99/5.03	c |       250 |   10270    18485   213047 |     7455      250    101 | 34.766 % |
5.18/5.22	c |       475 |    9951    18485   213047 |     8201      474    127 | 35.289 % |
5.39/5.49	c |       814 |    9871    18485   213047 |     9021      788    122 | 35.524 % |
5.50/5.58	c ===============================================================================
5.50/5.59	c core #32
5.50/5.59	c Core size: 1946	Core Weight: 5	Total Weight: -10795
5.50/5.59	c Elapsed CPU time: 5.46917 s	Remaining CPU time: 1794.53 s
5.59/5.69	c Learning 289 hard constraints
5.59/5.69	c ============================[ Search Statistics ]==============================
5.59/5.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.59/5.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.59/5.69	c ===============================================================================
5.59/5.69	c |         0 |   10646    18866   229123 |     6288        0    nan |  0.000 % |
5.69/5.74	c |       102 |   10645    18866   229123 |     6917      102     91 | 31.614 % |
5.89/5.98	c |       252 |   10645    18866   229123 |     7609      252     85 | 31.614 % |
6.09/6.18	c |       479 |   10191    18866   229123 |     8370      476     91 | 34.717 % |
6.19/6.26	c |       818 |    9976    18866   229123 |     9207      815    111 | 36.175 % |
6.29/6.36	c ===============================================================================
6.29/6.38	c core #33
6.29/6.38	c Core size: 2002	Core Weight: 5	Total Weight: -10790
6.29/6.38	c Elapsed CPU time: 6.24905 s	Remaining CPU time: 1793.75 s
6.38/6.48	c Learning 165 hard constraints
6.38/6.48	c ============================[ Search Statistics ]==============================
6.38/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.38/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.38/6.48	c ===============================================================================
6.38/6.48	c |         0 |   10924    19115   245651 |     6371        0    nan |  0.000 % |
6.50/6.60	c |       100 |   10923    19115   245651 |     7008      100    156 | 30.837 % |
6.69/6.71	c |       253 |   10923    19115   245651 |     7709      253    126 | 30.836 % |
6.79/6.83	c |       478 |   10859    19115   245651 |     8480      463    100 | 31.242 % |
6.79/6.86	c ===============================================================================
6.79/6.87	c core #34
6.79/6.87	c Core size: 1311	Core Weight: 5	Total Weight: -10785
6.79/6.87	c Elapsed CPU time: 6.73597 s	Remaining CPU time: 1793.26 s
6.89/6.98	c Learning 227 hard constraints
6.89/6.98	c ============================[ Search Statistics ]==============================
6.89/6.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.89/6.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.89/6.98	c ===============================================================================
6.89/6.98	c |         0 |   11162    19421   267206 |     6473        0    nan |  0.000 % |
6.99/7.05	c |       100 |   11162    19421   267206 |     7121      100    123 | 30.098 % |
7.09/7.16	c |       254 |   11162    19421   267206 |     7833      254     92 | 30.098 % |
7.19/7.30	c |       479 |   11162    19421   267206 |     8616      479     86 | 30.098 % |
7.48/7.57	c |       816 |   11140    19421   267206 |     9478      809    101 | 30.235 % |
7.89/7.91	c ===============================================================================
7.89/7.93	c core #35
7.89/7.93	c Core size: 2168	Core Weight: 5	Total Weight: -10780
7.89/7.93	c Elapsed CPU time: 7.78382 s	Remaining CPU time: 1792.22 s
7.99/8.04	c Learning 439 hard constraints
7.99/8.04	c ============================[ Search Statistics ]==============================
7.99/8.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.99/8.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.99/8.04	c ===============================================================================
7.99/8.04	c |         0 |   11493    19943   291054 |     6647        0    nan |  0.000 % |
7.99/8.06	c ===============================================================================
7.99/8.06	c core #36
7.99/8.06	c Core size: 111	Core Weight: 25	Total Weight: -10755
7.99/8.06	c Elapsed CPU time: 7.9088 s	Remaining CPU time: 1792.09 s
8.08/8.17	c Learning 9 hard constraints
8.08/8.17	c ============================[ Search Statistics ]==============================
8.08/8.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.08/8.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.08/8.17	c ===============================================================================
8.08/8.17	c |         0 |   11419    19986   291213 |     6662        0    nan |  0.000 % |
8.18/8.27	c |       100 |   11419    19986   291213 |     7328      100    183 | 30.142 % |
8.39/8.42	c |       250 |   11419    19986   291213 |     8061      250    171 | 30.142 % |
8.49/8.51	c |       476 |   11419    19986   291213 |     8867      476    126 | 30.142 % |
8.59/8.63	c |       813 |   11419    19986   291213 |     9753      813     91 | 30.142 % |
8.79/8.86	c |      1319 |   11418    19986   291213 |    10729     1318     86 | 30.148 % |
8.98/9.09	c |      2078 |   11406    19986   291213 |    11802     2077     73 | 30.301 % |
9.59/9.61	c |      3218 |   11349    19986   291213 |    12982     3209     78 | 30.705 % |
10.79/10.88	c |      4930 |   11291    19986   291213 |    14280     4900     99 | 30.925 % |
11.69/11.75	c ===============================================================================
11.79/11.81	c core #37
11.79/11.81	c Core size: 2998	Core Weight: 5	Total Weight: -10750
11.79/11.81	c Elapsed CPU time: 11.6332 s	Remaining CPU time: 1788.37 s
11.88/11.94	c Learning 1006 hard constraints
11.88/11.94	c ============================[ Search Statistics ]==============================
11.88/11.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.88/11.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.88/11.94	c ===============================================================================
11.88/11.94	c |         0 |   11869    21083   368164 |     7027        0    nan |  0.000 % |
11.99/12.03	c |       100 |   11868    21083   368164 |     7730      100    518 | 29.349 % |
11.99/12.09	c |       250 |   11842    21083   368164 |     8503      250    255 | 29.617 % |
12.09/12.14	c |       475 |   11833    21083   368164 |     9353      475    147 | 29.700 % |
12.28/12.31	c |       813 |   11797    21083   368164 |    10289      813    123 | 30.081 % |
12.39/12.48	c |      1319 |   11742    21083   368164 |    11318     1313    113 | 30.105 % |
12.59/12.67	c |      2078 |   11737    21083   368164 |    12449     2072     92 | 30.135 % |
13.09/13.11	c |      3218 |   11736    21083   368164 |    13694     3197     99 | 30.135 % |
13.28/13.37	c ===============================================================================
13.28/13.37	c core #38
13.28/13.37	c Core size: 49	Core Weight: 20	Total Weight: -10730
13.28/13.37	c Elapsed CPU time: 13.166 s	Remaining CPU time: 1786.83 s
13.48/13.50	c Learning 426 hard constraints
13.48/13.50	c ============================[ Search Statistics ]==============================
13.48/13.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.48/13.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.48/13.50	c ===============================================================================
13.48/13.50	c |         0 |   11898    21525   410131 |     7175        0    nan |  0.000 % |
13.48/13.51	c ===============================================================================
13.48/13.51	c core #39
13.48/13.51	c Core size: 51	Core Weight: 10	Total Weight: -10720
13.48/13.51	c Elapsed CPU time: 13.301 s	Remaining CPU time: 1786.7 s
13.58/13.64	c ============================[ Search Statistics ]==============================
13.58/13.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.58/13.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.58/13.64	c ===============================================================================
13.58/13.64	c |         0 |   12020    21535   410185 |     7178        0    nan |  0.000 % |
13.69/13.70	c |       100 |   12015    21535   410185 |     7896      100     43 | 28.737 % |
13.69/13.75	c |       252 |   12012    21535   410185 |     8685      252     53 | 28.820 % |
13.79/13.82	c |       477 |   12002    21535   410185 |     9554      477     46 | 28.820 % |
13.89/13.93	c |       815 |   12002    21535   410185 |    10509      815     53 | 28.820 % |
14.08/14.20	c |      1322 |   11966    21535   410185 |    11560     1316     62 | 28.951 % |
14.38/14.50	c |      2082 |   11929    21535   410185 |    12716     2068     64 | 29.212 % |
14.79/14.89	c |      3221 |   11914    21535   410185 |    13988     3198     63 | 29.218 % |
15.39/15.45	c |      4929 |   11914    21535   410185 |    15387     4905     78 | 29.218 % |
15.69/15.77	c ===============================================================================
15.69/15.79	c core #40
15.69/15.79	c Core size: 1838	Core Weight: 5	Total Weight: -10715
15.69/15.79	c Elapsed CPU time: 15.5696 s	Remaining CPU time: 1784.43 s
15.89/15.94	c Learning 455 hard constraints
15.89/15.94	c ============================[ Search Statistics ]==============================
15.89/15.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.89/15.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.89/15.94	c ===============================================================================
15.89/15.94	c |         0 |   12304    22066   451411 |     7355        0    nan |  0.000 % |
15.89/15.95	c ===============================================================================
15.89/15.95	c core #41
15.89/15.95	c Core size: 51	Core Weight: 5	Total Weight: -10710
15.89/15.95	c Elapsed CPU time: 15.7176 s	Remaining CPU time: 1784.28 s
15.99/16.08	c Learning 1 hard constraints
15.99/16.08	c ============================[ Search Statistics ]==============================
15.99/16.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.99/16.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.99/16.08	c ===============================================================================
15.99/16.08	c |         0 |   12325    22081   451488 |     7360        0    nan |  0.000 % |
16.09/16.16	c |       100 |   12325    22081   451488 |     8096      100    133 | 28.063 % |
16.19/16.22	c |       253 |   12324    22081   451488 |     8906      253     85 | 28.069 % |
16.19/16.28	c |       479 |   12324    22081   451488 |     9796      479     56 | 28.069 % |
16.39/16.42	c |       816 |   12324    22081   451488 |    10776      816     54 | 28.069 % |
16.49/16.58	c |      1323 |   12322    22081   451488 |    11853     1322     54 | 28.080 % |
16.68/16.78	c |      2082 |   12321    22081   451488 |    13039     2081     49 | 28.109 % |
17.09/17.11	c |      3223 |   12274    22081   451488 |    14343     3218     48 | 28.454 % |
17.58/17.64	c |      4931 |   12258    22081   451488 |    15777     4915     42 | 28.454 % |
18.49/18.50	c |      7493 |   12218    22081   451488 |    17355     7472     44 | 28.757 % |
20.89/20.99	c |     11338 |   12178    22081   451488 |    19090    10797     66 | 28.927 % |
23.38/23.41	c |     17110 |   12177    22081   451488 |    20999    16569     60 | 28.932 % |
28.28/28.35	c |     25759 |   12107    22081   451488 |    23099    25204     72 | 29.335 % |
37.68/37.77	c |     38734 |   12102    22081   451488 |    25409    20635    148 | 29.364 % |
56.77/56.80	c |     58195 |   12091    22081   451488 |    27950    21142     89 | 29.429 % |
78.46/78.50	c ===============================================================================
79.36/79.49	c core #42
79.36/79.49	c Core size: 2212	Core Weight: 5	Total Weight: -10705
79.36/79.49	c Elapsed CPU time: 78.958 s	Remaining CPU time: 1721.04 s
79.66/79.71	c Learning 92 hard constraints
79.66/79.71	c ============================[ Search Statistics ]==============================
79.66/79.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.66/79.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.66/79.71	c ===============================================================================
79.66/79.71	c |         0 |   12687    22248   457150 |     7416        0    nan |  0.000 % |
79.66/79.79	c |       100 |   12687    22248   457150 |     8157      100    100 | 27.482 % |
79.76/79.84	c |       253 |   12672    22248   457150 |     8973      253     83 | 27.631 % |
79.85/79.91	c |       479 |   12646    22248   457150 |     9870      479     74 | 27.774 % |
79.95/80.01	c |       818 |   12636    22248   457150 |    10857      818     67 | 27.854 % |
80.05/80.11	c |      1325 |   12622    22248   457150 |    11943     1317     52 | 27.854 % |
80.16/80.29	c |      2085 |   12573    22248   457150 |    13137     2065     50 | 28.191 % |
80.66/80.70	c |      3226 |   12568    22248   457150 |    14451     3206     56 | 28.191 % |
81.26/81.35	c |      4936 |   12562    22248   457150 |    15896     4912     85 | 28.197 % |
82.06/82.10	c |      7498 |   12557    22248   457150 |    17486     7473     70 | 28.225 % |
83.36/83.46	c |     11344 |   12556    22248   457150 |    19235    11305     63 | 28.231 % |
86.65/86.80	c |     17110 |   12554    22248   457150 |    21158    17068     65 | 28.242 % |
92.55/92.61	c |     25759 |   12525    22248   457150 |    23274    25275    102 | 28.442 % |
100.95/101.07	c |     38735 |   12519    22248   457150 |    25602    21328    142 | 28.442 % |
128.74/128.89	c |     58196 |   12511    22248   457150 |    28162    21114    183 | 28.488 % |
155.43/155.58	c |     87388 |   12510    22248   457150 |    30978    26666    122 | 28.494 % |
208.41/208.55	c |    131179 |   12262    22248   457150 |    34076    19738    147 | 29.911 % |
299.88/300.03	c |    196865 |   12243    22248   457150 |    37483    24567    168 | 30.020 % |
411.85/412.03	c ===============================================================================
415.34/415.60	c core #43
415.34/415.60	c Core size: 2886	Core Weight: 5	Total Weight: -10700
415.34/415.60	c Elapsed CPU time: 413.797 s	Remaining CPU time: 1386.2 s
415.84/416.00	c Learning 88 hard constraints
415.84/416.00	c ============================[ Search Statistics ]==============================
415.84/416.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
415.84/416.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
415.84/416.00	c ===============================================================================
415.84/416.00	c |         0 |   13214    22417   468071 |     7472        0    nan |  0.000 % |
415.95/416.12	c |       101 |   13214    22417   468071 |     8219      101    122 | 26.650 % |
415.95/416.16	c |       254 |   13194    22417   468071 |     9041      254     69 | 26.855 % |
415.95/416.16	c ===============================================================================
415.95/416.16	c core #44
415.95/416.16	c Core size: 62	Core Weight: 5	Total Weight: -10695
415.95/416.16	c Elapsed CPU time: 414.342 s	Remaining CPU time: 1385.66 s
416.14/416.32	c Learning 46 hard constraints
416.14/416.32	c ============================[ Search Statistics ]==============================
416.14/416.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
416.14/416.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
416.14/416.32	c ===============================================================================
416.14/416.32	c |         0 |   13215    22484   470367 |     7494        0    nan |  0.000 % |
416.14/416.39	c |       102 |   13215    22484   470367 |     8244      102    183 | 26.742 % |
416.24/416.45	c |       254 |   13215    22484   470367 |     9068      254    115 | 26.742 % |
416.34/416.50	c ===============================================================================
416.34/416.50	c core #45
416.34/416.50	c Core size: 51	Core Weight: 10	Total Weight: -10685
416.34/416.50	c Elapsed CPU time: 414.675 s	Remaining CPU time: 1385.33 s
416.44/416.67	c Learning 54 hard constraints
416.44/416.67	c ============================[ Search Statistics ]==============================
416.44/416.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
416.44/416.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
416.44/416.67	c ===============================================================================
416.44/416.67	c |         0 |   13226    22555   477638 |     7518        0    nan |  0.000 % |
416.44/416.68	c ===============================================================================
416.44/416.68	c core #46
416.44/416.68	c Core size: 62	Core Weight: 5	Total Weight: -10680
416.44/416.68	c Elapsed CPU time: 414.857 s	Remaining CPU time: 1385.14 s
416.64/416.84	c Learning 7 hard constraints
416.64/416.84	c ============================[ Search Statistics ]==============================
416.64/416.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
416.64/416.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
416.64/416.84	c ===============================================================================
416.64/416.84	c |         0 |   13250    22578   477770 |     7526        0    nan |  0.000 % |
416.75/416.97	c |       102 |   13250    22578   477770 |     8278      102    186 | 26.859 % |
416.84/417.03	c |       253 |   13240    22578   477770 |     9106      253    150 | 26.860 % |
416.94/417.12	c |       479 |   13240    22578   477770 |    10017      479     93 | 26.860 % |
417.04/417.28	c |       816 |   13226    22578   477770 |    11018      815    108 | 26.859 % |
417.24/417.43	c |      1322 |   13221    22578   477770 |    12120     1321     93 | 26.931 % |
417.44/417.66	c |      2082 |   13213    22578   477770 |    13332     2078     70 | 26.931 % |
417.84/418.06	c |      3221 |   13213    22578   477770 |    14666     3217     70 | 26.931 % |
418.43/418.67	c |      4929 |   13150    22578   477770 |    16132     4914     72 | 27.280 % |
419.34/419.56	c |      7494 |   13148    22578   477770 |    17745     7474     70 | 27.291 % |
421.04/421.20	c |     11341 |   13144    22578   477770 |    19520    11318     79 | 27.313 % |
424.34/424.58	c |     17107 |   13144    22578   477770 |    21472    17081     75 | 27.313 % |
429.23/429.48	c |     25757 |   13138    22578   477770 |    23619    25729     78 | 27.357 % |
436.83/437.07	c |     38731 |   13114    22578   477770 |    25981    19301     59 | 30.504 % |
455.53/455.79	c |     58195 |   12567    22578   477770 |    28579    16575    129 | 30.504 % |
487.12/487.32	c |     87390 |   12561    22578   477770 |    31437    21400     93 | 30.537 % |
519.31/519.52	c |    131180 |   12540    22578   477770 |    34581    37032     97 | 30.692 % |
580.89/581.15	c |    196865 |   12533    22578   477770 |    38039    42341     64 | 30.692 % |
711.54/711.82	c |    295393 |   12530    22578   477770 |    41843    42332     94 | 30.708 % |
818.30/818.63	c |    443183 |   12493    22578   477770 |    46028    44991     71 | 30.913 % |
1049.43/1049.85	c |    664868 |   12471    22578   477770 |    50631    23258     68 | 31.035 % |
1573.85/1574.47	c |    997395 |   12394    22578   477770 |    55694    37472    315 | 31.461 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875683-1245135760/watcher-1875683-1245135760 -o /tmp/evaluation-result-1875683-1245135760/solver-1875683-1245135760 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875683-1245135760.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.00 1.00 3/64 3126
/proc/meminfo: memFree=1683624/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=4156 CPUtime=0
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 181172730 4255744 233 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 1039 233 127 292 0 375 0

[startup+0.0158431 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3126
/proc/meminfo: memFree=1683624/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=4648 CPUtime=0.01
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 383 0 0 0 1 0 0 0 18 0 1 0 181172730 4759552 367 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 1162 367 143 292 0 498 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4648

[startup+0.101897 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3126
/proc/meminfo: memFree=1683624/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=7956 CPUtime=0.09
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 1299 0 0 0 9 0 0 0 18 0 1 0 181172730 8146944 1283 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 1989 1283 245 292 0 1325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7956

[startup+0.301933 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3126
/proc/meminfo: memFree=1683624/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=12744 CPUtime=0.29
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 3081 0 0 0 28 1 0 0 19 0 1 0 181172730 13049856 2680 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 3186 2681 134 292 0 2891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12744

[startup+0.702007 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3126
/proc/meminfo: memFree=1683624/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=26844 CPUtime=0.69
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 7014 0 0 0 67 2 0 0 22 0 1 0 181172730 27488256 6265 1992294400 134512640 135709839 4294956240 18446744073709551615 135164441 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 6711 6265 134 292 0 6416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26844

[startup+1.50111 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1648544/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=53440 CPUtime=1.49
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 13658 0 0 0 145 4 0 0 25 0 1 0 181172730 54722560 12909 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 13360 12909 135 292 0 13065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53440

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1615136/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=86996 CPUtime=3.08
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 22451 0 0 0 300 8 0 0 25 0 1 0 181172730 89083904 21248 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 21749 21248 136 292 0 21454 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 86996

[startup+6.30199 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1573672/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=116452 CPUtime=6.29
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 29753 0 0 0 617 12 0 0 25 0 1 0 181172730 119246848 28550 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 29113 28550 136 292 0 28818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116452

[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 3127
/proc/meminfo: memFree=1546216/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=139544 CPUtime=12.69
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 35540 0 0 0 1249 20 0 0 25 0 1 0 181172730 142893056 34337 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 34886 34337 136 292 0 34591 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 139544

[startup+25.5015 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 3127
/proc/meminfo: memFree=1529256/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=156468 CPUtime=25.48
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 39853 0 0 0 2519 29 0 0 25 0 1 0 181172730 160223232 38650 1992294400 134512640 135709839 4294956240 18446744073709551615 134573799 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 39117 38650 136 292 0 38822 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 156468

[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 3127
/proc/meminfo: memFree=1504040/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=181604 CPUtime=51.07
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 46130 0 0 0 5067 40 0 0 25 0 1 0 181172730 185962496 44927 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 45401 44927 136 292 0 45106 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181604

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3127
/proc/meminfo: memFree=1472680/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=212712 CPUtime=102.26
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 53898 0 0 0 10165 61 0 0 25 0 1 0 181172730 217817088 52695 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 53178 52695 136 292 0 52883 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 212712

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1429480/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=256356 CPUtime=162.23
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 64803 0 0 0 16142 81 0 0 25 0 1 0 181172730 262508544 63600 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 64089 63600 136 292 0 63794 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 256356

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1379880/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=305628 CPUtime=222.21
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 77086 0 0 0 22118 103 0 0 25 0 1 0 181172730 312963072 75883 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 76407 75883 136 292 0 76112 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 305628

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1336872/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=349324 CPUtime=282.18
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 87996 0 0 0 28097 121 0 0 25 0 1 0 181172730 357707776 86793 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 87331 86793 136 292 0 87036 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 349324

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1292592/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=393136 CPUtime=342.17
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 98900 0 0 0 34073 144 0 0 25 0 1 0 181172730 402571264 97697 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 98284 97697 136 292 0 97989 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 393136

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1248240/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=437364 CPUtime=402.15
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 109969 0 0 0 40054 161 0 0 25 0 1 0 181172730 447860736 108766 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 109341 108766 136 292 0 109046 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 437364

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1226544/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=458428 CPUtime=462.13
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 115255 0 0 0 46029 184 0 0 25 0 1 0 181172730 469430272 114052 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 114607 114052 136 292 0 114312 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 458428

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1223088/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=461996 CPUtime=522.1
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 116259 0 0 0 52009 201 0 0 25 0 1 0 181172730 473083904 115056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 115499 115056 136 292 0 115204 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 461996

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1193136/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=491712 CPUtime=582.08
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 123625 0 0 0 57986 222 0 0 25 0 1 0 181172730 503513088 122422 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 122928 122422 136 292 0 122633 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 491712

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1159536/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=525084 CPUtime=642.07
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 131961 0 0 0 63964 243 0 0 25 0 1 0 181172730 537686016 130758 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 131271 130758 136 292 0 130976 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 525084

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1039792/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=645296 CPUtime=881.98
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 161903 0 0 0 87871 327 0 0 25 0 1 0 181172730 660783104 160700 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 161324 160700 136 292 0 161029 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 645296

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=1006064/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=679316 CPUtime=941.96
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 170387 0 0 0 93843 353 0 0 25 0 1 0 181172730 695619584 169184 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 169829 169184 136 292 0 169534 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 679316

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=974448/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=710624 CPUtime=1001.94
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 178185 0 0 0 99820 374 0 0 25 0 1 0 181172730 727678976 176982 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 177656 176982 136 292 0 177361 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 710624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=950640/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=734520 CPUtime=1061.92
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 184153 0 0 0 105801 391 0 0 25 0 1 0 181172730 752148480 182950 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 183630 182950 136 292 0 183335 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 734520

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=930928/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=754064 CPUtime=1121.9
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 189018 0 0 0 111784 406 0 0 25 0 1 0 181172730 772161536 187815 1992294400 134512640 135709839 4294956240 18446744073709551615 134573748 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 188516 187815 136 292 0 188221 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 754064

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=914864/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=771120 CPUtime=1181.88
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 193261 0 0 0 117768 420 0 0 25 0 1 0 181172730 789626880 192058 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 192780 192058 136 292 0 192485 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 771120

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=870320/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=815248 CPUtime=1241.86
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 204285 0 0 0 123737 449 0 0 25 0 1 0 181172730 834813952 203082 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 203812 203082 136 292 0 203517 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 815248

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=828592/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=856164 CPUtime=1301.84
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 214509 0 0 0 129718 466 0 0 25 0 1 0 181172730 876711936 213306 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 214041 213306 136 292 0 213746 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 856164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=798448/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=886468 CPUtime=1361.82
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 222093 0 0 0 135702 480 0 0 25 0 1 0 181172730 907743232 220890 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 221617 220890 136 292 0 221322 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 886468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=774576/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=910352 CPUtime=1421.8
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 228001 0 0 0 141690 490 0 0 25 0 1 0 181172730 932200448 226798 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 227588 226798 136 292 0 227293 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 910352

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=737200/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=947676 CPUtime=1481.78
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 237345 0 0 0 147672 506 0 0 25 0 1 0 181172730 970420224 236142 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 236919 236142 136 292 0 236624 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 947676

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=702256/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=982532 CPUtime=1541.76
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 246047 0 0 0 153656 520 0 0 25 0 1 0 181172730 1006112768 244844 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 245633 244844 136 292 0 245338 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 982532

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=670384/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=1014464 CPUtime=1601.74
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 254005 0 0 0 159638 536 0 0 25 0 1 0 181172730 1038811136 252802 1992294400 134512640 135709839 4294956240 18446744073709551615 134572837 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 253616 252802 136 292 0 253321 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1014464

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=650224/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=1034520 CPUtime=1661.73
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 258990 0 0 0 165622 551 0 0 25 0 1 0 181172730 1059348480 257787 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 258630 257787 136 292 0 258335 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1034520

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=629616/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=1055320 CPUtime=1721.7
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 264192 0 0 0 171607 563 0 0 25 0 1 0 181172730 1080647680 262989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 263830 262989 136 292 0 263535 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1055320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=607344/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=1077540 CPUtime=1781.68
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 269712 0 0 0 177593 575 0 0 25 0 1 0 181172730 1103400960 268509 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 269385 268509 136 292 0 269090 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1077540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=601136/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=1083568 CPUtime=1800.08
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4194304 271219 0 0 0 179430 578 0 0 25 0 1 0 181172730 1109573632 270016 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 270892 270016 136 292 0 270597 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1083568

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3127
/proc/meminfo: memFree=601136/2055920 swapFree=4191900/4192956
[pid=3126] ppid=3124 vsize=0 CPUtime=1800.18
/proc/3126/stat : 3126 (wbo) R 3124 3126 2823 0 -1 4195332 271219 0 0 0 179430 588 0 0 25 0 1 0 181172730 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.88
CPU time (s): 1800.27
CPU user time (s): 1794.31
CPU system time (s): 5.95909
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 1083568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 5.95909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271219
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= 5
involuntary context switches= 3789

runsolver used 1.12283 second user time and 3.9274 second system time

The end

Launcher Data 

Begin job on node44 at 2009-06-16 09:02:40
IDJOB=1875683
IDBENCH=1878
IDSOLVER=698
FILE ID=node44/1875683-1245135760
PBS_JOBID= 9363718
Free space on /tmp= 65920 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875683-1245135760/watcher-1875683-1245135760 -o /tmp/evaluation-result-1875683-1245135760/solver-1875683-1245135760 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875683-1245135760.opb

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=1978328356

node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1684104 kB
Buffers:         46928 kB
Cached:         242900 kB
SwapCached:        260 kB
Active:          45384 kB
Inactive:       257768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1684104 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3848 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            54644 kB
Committed_AS:   158860 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875683-1245135760.opb

Free space on /tmp at the end= 65920 MiB
End job on node44 at 2009-06-16 09:32:43