Trace number 3461704

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.6? (TO) 1800.09 1800.04

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_10.std.opb
MD5SUM16624ad16b07842a63cd0d52e04da495
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark239
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234117
Number of constraints which are clauses232917
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461704-1307121250.opb.
0.00/0.00	c Instance file HOME/instance-3461704-1307121250.opb
0.00/0.00	c File size is 8030834 bytes.
0.59/0.64	c Highest Coefficient sum: 686
0.59/0.64	c ============================[ Problem Statistics ]=============================
0.59/0.64	c |                                                                             |
0.59/0.64	c |  Parsing time:          0.62         s                                      |
0.59/0.64	c |  Number Variables:      72842                                               |
0.59/0.64	c |  Number Clauses:        232917                                              |
0.59/0.64	c |  Number Cardinality:    0                                                   |
0.59/0.64	c |  Number PB Constraints: 1200                                                |
0.69/0.77	c ============================[ Search Statistics ]==============================
0.69/0.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.77	c ===============================================================================
0.69/0.77	c |         0 |   55787   234117   542209 |    78039        0   -nan |  0.000 % |
1.49/1.50	c core #1
1.49/1.50	c 
1.49/1.50	c 
1.49/1.50	c Core size: 404	Core Weight: 98	Total Weight: 98
1.49/1.50	c Current CPU time: 0.830873 s
1.49/1.50	c
1.49/1.50	c core #2
1.49/1.50	c 
1.49/1.50	c 
1.49/1.50	c Core size: 562	Core Weight: 1	Total Weight: 99
1.49/1.50	c Current CPU time: 0.927858 s
1.49/1.50	c
1.49/1.50	c core #3
1.49/1.50	c 
1.49/1.50	c 
1.49/1.50	c Core size: 552	Core Weight: 1	Total Weight: 100
1.49/1.50	c Current CPU time: 1.02484 s
1.49/1.50	c
1.49/1.50	c core #4
1.49/1.50	c 
1.49/1.50	c 
1.49/1.50	c Core size: 499	Core Weight: 1	Total Weight: 101
1.49/1.50	c Current CPU time: 1.12983 s
1.49/1.50	c
1.49/1.50	c core #5
1.49/1.50	c 
1.49/1.50	c 
1.49/1.50	c Core size: 484	Core Weight: 1	Total Weight: 102
1.49/1.50	c Current CPU time: 1.23381 s
1.49/1.50	c
1.49/1.50	c core #6
1.49/1.50	c 
1.49/1.50	c 
1.49/1.50	c Core size: 557	Core Weight: 1	Total Weight: 103
1.49/1.50	c Current CPU time: 1.34679 s
1.49/1.50	c
1.49/1.50	c ============================[ Search Statistics ]==============================
1.49/1.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.50	c ===============================================================================
1.49/1.50	c |         0 |    9887   186688   392863 |    62229        0   -nan |  0.000 % |
1.49/1.50	c ===============================================================================
1.59/1.63	c core #7
1.59/1.63	c 
1.59/1.63	c 
1.59/1.63	c Core size: 437	Core Weight: 1	Total Weight: 104
1.59/1.63	c Current CPU time: 1.46078 s
1.59/1.63	c
1.59/1.63	c ============================[ Search Statistics ]==============================
1.59/1.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.63	c ===============================================================================
1.59/1.63	c |         0 |   10385   186885   393558 |    62295        0   -nan |  0.000 % |
1.59/1.63	c ===============================================================================
1.69/1.74	c core #8
1.69/1.74	c 
1.69/1.74	c 
1.69/1.74	c Core size: 473	Core Weight: 1	Total Weight: 105
1.69/1.74	c Current CPU time: 1.58076 s
1.69/1.74	c
1.69/1.74	c ============================[ Search Statistics ]==============================
1.69/1.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.74	c ===============================================================================
1.69/1.74	c |         0 |   10892   187081   394254 |    62360        0   -nan |  0.000 % |
1.69/1.75	c ===============================================================================
1.79/1.87	c core #9
1.79/1.87	c 
1.79/1.87	c 
1.79/1.87	c Core size: 431	Core Weight: 1	Total Weight: 106
1.79/1.87	c Current CPU time: 1.70174 s
1.79/1.87	c
1.79/1.87	c ============================[ Search Statistics ]==============================
1.79/1.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.87	c ===============================================================================
1.79/1.87	c |         0 |   11329   187276   394951 |    62425        0   -nan |  0.000 % |
1.79/1.88	c ===============================================================================
1.99/2.00	c core #10
1.99/2.00	c 
1.99/2.00	c 
1.99/2.00	c Core size: 507	Core Weight: 1	Total Weight: 107
1.99/2.00	c Current CPU time: 1.82772 s
1.99/2.00	c
1.99/2.00	c ============================[ Search Statistics ]==============================
1.99/2.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.00	c ===============================================================================
1.99/2.00	c |         0 |   11765   187470   395649 |    62490        0   -nan |  0.000 % |
1.99/2.01	c ===============================================================================
2.11/2.14	c core #11
2.11/2.14	c 
2.11/2.14	c 
2.11/2.14	c Core size: 484	Core Weight: 1	Total Weight: 108
2.11/2.14	c Current CPU time: 1.9637 s
2.11/2.14	c
2.11/2.14	c ============================[ Search Statistics ]==============================
2.11/2.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.11/2.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.11/2.14	c ===============================================================================
2.11/2.14	c |         0 |   12200   187663   396348 |    62554        0   -nan |  0.000 % |
2.11/2.15	c ===============================================================================
2.21/2.27	c core #12
2.21/2.27	c 
2.21/2.27	c 
2.21/2.27	c Core size: 602	Core Weight: 1	Total Weight: 109
2.21/2.27	c Current CPU time: 2.10168 s
2.21/2.27	c
2.21/2.27	c ============================[ Search Statistics ]==============================
2.21/2.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.21/2.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.21/2.27	c ===============================================================================
2.21/2.27	c |         0 |   12575   187857   397048 |    62619        0   -nan |  0.000 % |
2.21/2.29	c ===============================================================================
2.39/2.42	c core #13
2.39/2.42	c 
2.39/2.42	c 
2.39/2.42	c Core size: 648	Core Weight: 1	Total Weight: 110
2.39/2.42	c Current CPU time: 2.24166 s
2.39/2.42	c
2.39/2.42	c ============================[ Search Statistics ]==============================
2.39/2.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.42	c ===============================================================================
2.39/2.42	c |         0 |   13003   188050   397752 |    62683        0   -nan |  0.000 % |
2.39/2.44	c |       101 |   13003   188050   397752 |    68951      101     18 | 86.172 % |
2.39/2.46	c ===============================================================================
2.49/2.59	c core #14
2.49/2.59	c 
2.49/2.59	c 
2.49/2.59	c Core size: 622	Core Weight: 1	Total Weight: 111
2.49/2.59	c Current CPU time: 2.41163 s
2.49/2.59	c
2.49/2.59	c ============================[ Search Statistics ]==============================
2.49/2.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.59	c ===============================================================================
2.49/2.59	c |         0 |   13431   188242   398457 |    62747        0   -nan |  0.000 % |
2.59/2.62	c |       100 |   13431   188242   398457 |    69022      100     18 | 82.232 % |
2.59/2.65	c ===============================================================================
2.69/2.78	c core #15
2.69/2.78	c 
2.69/2.78	c 
2.69/2.78	c Core size: 601	Core Weight: 1	Total Weight: 112
2.69/2.78	c Current CPU time: 2.6016 s
2.69/2.78	c
2.69/2.78	c ============================[ Search Statistics ]==============================
2.69/2.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.69/2.78	c ===============================================================================
2.69/2.78	c |         0 |   13864   188434   399167 |    62811        0   -nan |  0.000 % |
2.79/2.81	c |       101 |   13864   188434   399167 |    69092      101     16 | 81.705 % |
2.79/2.85	c |       251 |   13864   188434   399167 |    76001      251     19 | 81.705 % |
2.79/2.89	c ===============================================================================
2.99/3.01	c core #16
2.99/3.01	c 
2.99/3.01	c 
2.99/3.01	c Core size: 606	Core Weight: 1	Total Weight: 113
2.99/3.01	c Current CPU time: 2.83157 s
2.99/3.01	c
2.99/3.01	c ============================[ Search Statistics ]==============================
2.99/3.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.01	c ===============================================================================
2.99/3.01	c |         0 |   14282   188632   399896 |    62877        0   -nan |  0.000 % |
2.99/3.05	c |       100 |   14282   188632   399896 |    69165      100     24 | 81.215 % |
2.99/3.08	c |       250 |   14281   188632   399896 |    76081      250     23 | 81.233 % |
3.09/3.15	c |       475 |   14108   188632   399896 |    83689      475     24 | 81.736 % |
3.09/3.17	c ===============================================================================
3.20/3.29	c core #17
3.20/3.29	c 
3.20/3.29	c 
3.20/3.29	c Core size: 723	Core Weight: 1	Total Weight: 114
3.20/3.29	c Current CPU time: 3.11053 s
3.20/3.29	c
3.20/3.29	c ============================[ Search Statistics ]==============================
3.20/3.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.20/3.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.20/3.29	c ===============================================================================
3.20/3.29	c |         0 |   14693   188827   400619 |    62942        0   -nan |  0.000 % |
3.31/3.32	c |       101 |   14693   188827   400619 |    69236      101     22 | 80.707 % |
3.31/3.35	c |       251 |   14693   188827   400619 |    76160      251     26 | 80.707 % |
3.39/3.41	c |       476 |   14637   188827   400619 |    83776      476     26 | 80.780 % |
3.39/3.47	c ===============================================================================
3.59/3.60	c core #18
3.59/3.60	c 
3.59/3.60	c 
3.59/3.60	c Core size: 720	Core Weight: 1	Total Weight: 115
3.59/3.60	c Current CPU time: 3.41848 s
3.59/3.60	c
3.59/3.60	c ============================[ Search Statistics ]==============================
3.59/3.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.60	c ===============================================================================
3.59/3.60	c |         0 |   15121   189017   401337 |    63005        0   -nan |  0.000 % |
3.59/3.63	c |       101 |   15121   189017   401337 |    69306      101     17 | 80.193 % |
3.59/3.68	c |       251 |   15121   189017   401337 |    76236      251     19 | 80.193 % |
3.70/3.74	c |       479 |   15121   189017   401337 |    83860      479     22 | 80.193 % |
3.80/3.81	c |       816 |   14810   189017   401337 |    92246      816     24 | 81.050 % |
3.80/3.84	c ===============================================================================
3.90/3.97	c core #19
3.90/3.97	c 
3.90/3.97	c 
3.90/3.97	c Core size: 610	Core Weight: 1	Total Weight: 116
3.90/3.97	c Current CPU time: 3.78542 s
3.90/3.97	c
3.90/3.97	c ============================[ Search Statistics ]==============================
3.90/3.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.90/3.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.90/3.97	c ===============================================================================
3.90/3.97	c |         0 |   15548   189203   402049 |    63067        0   -nan |  0.000 % |
4.00/4.00	c |       100 |   15548   189203   402049 |    69374      100     26 | 79.683 % |
4.00/4.04	c |       250 |   15546   189203   402049 |    76311      250     23 | 79.857 % |
4.00/4.08	c |       477 |   15363   189203   402049 |    83943      477     23 | 79.925 % |
4.10/4.17	c |       815 |   15350   189203   402049 |    92337      815     24 | 80.252 % |
4.20/4.26	c ===============================================================================
4.31/4.39	c core #20
4.31/4.39	c 
4.31/4.39	c 
4.31/4.39	c Core size: 729	Core Weight: 1	Total Weight: 117
4.31/4.39	c Current CPU time: 4.20636 s
4.31/4.39	c
4.31/4.39	c ============================[ Search Statistics ]==============================
4.31/4.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.31/4.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.31/4.39	c ===============================================================================
4.31/4.39	c |         0 |   15974   189398   402786 |    63132        0   -nan |  0.000 % |
4.41/4.43	c |       101 |   15974   189398   402786 |    69445      101     21 | 79.177 % |
4.41/4.46	c |       251 |   15974   189398   402786 |    76390      251     21 | 79.177 % |
4.49/4.52	c |       476 |   15974   189398   402786 |    84029      476     27 | 79.177 % |
4.49/4.59	c |       813 |   15974   189398   402786 |    92432      813     26 | 79.177 % |
4.69/4.72	c |      1319 |   15974   189398   402786 |   101675     1319     29 | 79.177 % |
4.79/4.89	c |      2078 |   15667   189398   402786 |   111843     2078     30 | 79.645 % |
4.99/5.07	c ===============================================================================
5.19/5.20	c core #21
5.19/5.20	c 
5.19/5.20	c 
5.19/5.20	c Core size: 646	Core Weight: 1	Total Weight: 118
5.19/5.20	c Current CPU time: 5.01524 s
5.19/5.20	c
5.19/5.20	c ============================[ Search Statistics ]==============================
5.19/5.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.20	c ===============================================================================
5.19/5.20	c |         0 |   16399   189587   403513 |    63195        0   -nan |  0.000 % |
5.19/5.23	c |       102 |   16399   189587   403513 |    69515      102     17 | 78.674 % |
5.19/5.26	c |       252 |   16399   189587   403513 |    76466      252     21 | 78.674 % |
5.29/5.34	c |       478 |   16399   189587   403513 |    84113      478     27 | 78.674 % |
5.41/5.43	c |       816 |   16399   189587   403513 |    92524      816     28 | 78.674 % |
5.51/5.59	c |      1325 |   16399   189587   403513 |   101777     1325     30 | 78.674 % |
5.79/5.82	c |      2085 |   16399   189587   403513 |   111954     2085     31 | 78.674 % |
6.09/6.16	c |      3225 |   16399   189587   403513 |   123150     3225     32 | 78.674 % |
6.50/6.59	c |      4934 |   16319   189587   403513 |   135465     4934     32 | 78.778 % |
6.99/7.09	c ===============================================================================
7.19/7.22	c core #22
7.19/7.22	c 
7.19/7.22	c 
7.19/7.22	c Core size: 501	Core Weight: 1	Total Weight: 119
7.19/7.22	c Current CPU time: 7.02593 s
7.19/7.22	c
7.19/7.22	c ============================[ Search Statistics ]==============================
7.19/7.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.19/7.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.19/7.22	c ===============================================================================
7.19/7.22	c |         0 |   16823   189783   404264 |    63261        0   -nan |  0.000 % |
7.19/7.25	c |       103 |   16823   189783   404264 |    69587      103     19 | 78.174 % |
7.29/7.30	c |       253 |   16823   189783   404264 |    76545      253     22 | 78.174 % |
7.29/7.36	c |       478 |   16823   189783   404264 |    84200      478     24 | 78.174 % |
7.39/7.44	c |       816 |   16823   189783   404264 |    92620      816     24 | 78.174 % |
7.49/7.55	c |      1323 |   16823   189783   404264 |   101882     1323     27 | 78.174 % |
7.61/7.70	c |      2082 |   16823   189783   404264 |   112070     2082     28 | 78.174 % |
7.89/7.98	c |      3221 |   16823   189783   404264 |   123277     3221     29 | 78.174 % |
8.29/8.39	c |      4929 |   16804   189783   404264 |   135605     4929     32 | 78.198 % |
8.89/8.98	c ===============================================================================
9.09/9.11	c core #23
9.09/9.11	c 
9.09/9.11	c 
9.09/9.11	c Core size: 613	Core Weight: 1	Total Weight: 120
9.09/9.11	c Current CPU time: 8.91065 s
9.09/9.11	c
9.09/9.11	c ============================[ Search Statistics ]==============================
9.09/9.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.09/9.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.09/9.11	c ===============================================================================
9.09/9.11	c |         0 |   17227   189984   405027 |    63328        0   -nan |  0.000 % |
9.09/9.13	c |       102 |   17227   189984   405027 |    69660      102     19 | 77.702 % |
9.09/9.18	c |       252 |   17227   189984   405027 |    76626      252     21 | 77.702 % |
9.19/9.24	c |       477 |   17227   189984   405027 |    84289      477     24 | 77.702 % |
9.29/9.30	c |       814 |   17227   189984   405027 |    92718      814     23 | 77.702 % |
9.39/9.45	c |      1321 |   17227   189984   405027 |   101990     1321     26 | 77.702 % |
9.59/9.61	c |      2080 |   17227   189984   405027 |   112189     2080     31 | 77.702 % |
9.91/9.95	c |      3219 |   17227   189984   405027 |   123408     3219     30 | 77.702 % |
10.39/10.42	c |      4927 |   17166   189984   405027 |   135749     4927     30 | 77.847 % |
11.09/11.15	c |      7490 |   17166   189984   405027 |   149324     7490     34 | 77.847 % |
12.19/12.22	c |     11335 |   16798   189984   405027 |   164256    11335     37 | 78.454 % |
12.29/12.32	c ===============================================================================
12.39/12.45	c core #24
12.39/12.45	c 
12.39/12.45	c 
12.39/12.45	c Core size: 483	Core Weight: 1	Total Weight: 121
12.39/12.45	c Current CPU time: 12.2401 s
12.39/12.45	c
12.39/12.45	c ============================[ Search Statistics ]==============================
12.39/12.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.39/12.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.39/12.45	c ===============================================================================
12.39/12.45	c |         0 |   17649   190175   405770 |    63391        0   -nan |  0.000 % |
12.39/12.48	c |       100 |   17649   190175   405770 |    69730      100     21 | 77.209 % |
12.49/12.51	c |       251 |   17649   190175   405770 |    76703      251     19 | 77.209 % |
12.49/12.57	c |       479 |   17649   190175   405770 |    84374      479     22 | 77.209 % |
12.59/12.64	c |       816 |   17649   190175   405770 |    92811      816     22 | 77.209 % |
12.69/12.77	c |      1322 |   17649   190175   405770 |   102092     1322     26 | 77.209 % |
12.89/12.91	c |      2081 |   17649   190175   405770 |   112302     2081     26 | 77.209 % |
13.11/13.15	c |      3221 |   17649   190175   405770 |   123532     3221     28 | 77.209 % |
13.49/13.56	c |      4929 |   17649   190175   405770 |   135885     4929     35 | 77.209 % |
14.31/14.32	c |      7491 |   17649   190175   405770 |   149474     7491     35 | 77.209 % |
15.19/15.28	c |     11335 |   17561   190175   405770 |   164421    11335     37 | 77.323 % |
16.89/16.95	c |     17101 |   17199   190175   405770 |   180863    17101     39 | 77.790 % |
17.29/17.35	c ===============================================================================
17.39/17.48	c core #25
17.39/17.48	c 
17.39/17.48	c 
17.39/17.48	c Core size: 587	Core Weight: 1	Total Weight: 122
17.39/17.48	c Current CPU time: 17.2514 s
17.39/17.48	c
17.39/17.48	c ============================[ Search Statistics ]==============================
17.39/17.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.39/17.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.39/17.48	c ===============================================================================
17.39/17.48	c |         0 |   18070   190393   406597 |    63464        0   -nan |  0.000 % |
17.39/17.51	c |       100 |   18070   190393   406597 |    69810      100     25 | 76.719 % |
17.51/17.54	c |       252 |   18070   190393   406597 |    76791      252     23 | 76.719 % |
17.51/17.59	c |       479 |   18070   190393   406597 |    84471      479     25 | 76.719 % |
17.61/17.65	c |       816 |   18065   190393   406597 |    92918      816     22 | 76.725 % |
17.69/17.75	c |      1322 |   18065   190393   406597 |   102209     1322     23 | 76.725 % |
17.89/17.97	c |      2083 |   18050   190393   406597 |   112430     2083     25 | 76.745 % |
18.09/18.19	c |      3222 |   18050   190393   406597 |   123674     3222     26 | 76.745 % |
18.49/18.52	c |      4930 |   18050   190393   406597 |   136041     4930     29 | 76.745 % |
19.09/19.18	c |      7492 |   18050   190393   406597 |   149645     7492     33 | 76.745 % |
20.19/20.22	c |     11336 |   17801   190393   406597 |   164610    11336     34 | 77.066 % |
21.59/21.60	c ===============================================================================
21.69/21.73	c core #26
21.69/21.73	c 
21.69/21.73	c 
21.69/21.73	c Core size: 630	Core Weight: 1	Total Weight: 123
21.69/21.73	c Current CPU time: 21.4907 s
21.69/21.73	c
21.69/21.73	c ============================[ Search Statistics ]==============================
21.69/21.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.69/21.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.69/21.73	c ===============================================================================
21.69/21.73	c |         0 |   18470   190596   407374 |    63532        0   -nan |  0.000 % |
21.69/21.77	c |       101 |   18470   190596   407374 |    69885      101     21 | 76.258 % |
21.79/21.82	c |       251 |   18470   190596   407374 |    76873      251     31 | 76.258 % |
21.79/21.87	c |       477 |   18470   190596   407374 |    84561      477     27 | 76.258 % |
21.90/21.95	c |       814 |   18470   190596   407374 |    93017      814     28 | 76.258 % |
22.01/22.06	c |      1321 |   18470   190596   407374 |   102318     1321     26 | 76.258 % |
22.19/22.23	c |      2080 |   18470   190596   407374 |   112550     2080     29 | 76.258 % |
22.49/22.57	c |      3219 |   18470   190596   407374 |   123805     3219     31 | 76.258 % |
22.80/22.89	c |      4927 |   18470   190596   407374 |   136186     4927     29 | 76.258 % |
23.69/23.70	c |      7489 |   18470   190596   407374 |   149805     7489     31 | 76.258 % |
24.69/24.72	c |     11333 |   18470   190596   407374 |   164785    11333     35 | 76.258 % |
26.31/26.39	c |     17100 |   18470   190596   407374 |   181264    17100     35 | 76.258 % |
29.39/29.42	c |     25749 |   18470   190596   407374 |   199390    25749     35 | 76.258 % |
33.89/33.95	c |     38724 |   18085   190596   407374 |   219329    38724     37 | 76.753 % |
38.09/38.16	c ===============================================================================
38.30/38.30	c core #27
38.30/38.30	c 
38.30/38.30	c 
38.30/38.30	c Core size: 682	Core Weight: 1	Total Weight: 124
38.30/38.30	c Current CPU time: 38.0222 s
38.30/38.30	c
38.30/38.30	c ============================[ Search Statistics ]==============================
38.30/38.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.30/38.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.30/38.30	c ===============================================================================
38.30/38.30	c |         0 |   18889   190795   408151 |    63598        0   -nan |  0.000 % |
38.30/38.34	c |       101 |   18889   190795   408151 |    69958      101     27 | 75.775 % |
38.30/38.38	c |       252 |   18889   190795   408151 |    76953      252     33 | 75.775 % |
38.41/38.43	c |       477 |   18889   190795   408151 |    84649      477     27 | 75.775 % |
38.51/38.54	c |       814 |   18889   190795   408151 |    93114      814     27 | 75.775 % |
38.60/38.62	c |      1320 |   18889   190795   408151 |   102425     1320     25 | 75.775 % |
38.80/38.83	c |      2080 |   18889   190795   408151 |   112668     2080     28 | 75.775 % |
38.99/39.02	c |      3219 |   18889   190795   408151 |   123935     3219     27 | 75.775 % |
39.29/39.39	c |      4928 |   18889   190795   408151 |   136328     4928     28 | 75.775 % |
39.89/39.94	c |      7493 |   18889   190795   408151 |   149961     7493     29 | 75.775 % |
40.89/40.92	c |     11337 |   18889   190795   408151 |   164957    11337     32 | 75.775 % |
42.40/42.47	c |     17103 |   18877   190795   408151 |   181453    17103     35 | 75.790 % |
44.69/44.75	c |     25754 |   18877   190795   408151 |   199598    25754     37 | 75.790 % |
48.99/49.06	c |     38730 |   18877   190795   408151 |   219558    38730     40 | 75.790 % |
51.19/51.21	c ===============================================================================
51.29/51.35	c core #28
51.29/51.35	c 
51.29/51.35	c 
51.29/51.35	c Core size: 654	Core Weight: 1	Total Weight: 125
51.29/51.35	c Current CPU time: 51.0402 s
51.29/51.35	c
51.29/51.35	c ============================[ Search Statistics ]==============================
51.29/51.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.29/51.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
51.29/51.35	c ===============================================================================
51.29/51.35	c |         0 |   19295   191000   408944 |    63666        0   -nan |  0.000 % |
51.29/51.38	c |       101 |   19295   191000   408944 |    70033      101     24 | 75.310 % |
51.39/51.43	c |       251 |   19295   191000   408944 |    77036      251     24 | 75.310 % |
51.39/51.49	c |       476 |   19295   191000   408944 |    84740      476     22 | 75.310 % |
51.49/51.59	c |       813 |   19295   191000   408944 |    93214      813     24 | 75.310 % |
51.61/51.71	c |      1319 |   19295   191000   408944 |   102535     1319     27 | 75.310 % |
51.89/51.90	c |      2078 |   19295   191000   408944 |   112789     2078     28 | 75.310 % |
52.09/52.12	c |      3217 |   19295   191000   408944 |   124068     3217     29 | 75.310 % |
52.49/52.51	c |      4926 |   19295   191000   408944 |   136475     4926     29 | 75.310 % |
53.00/53.08	c |      7488 |   19295   191000   408944 |   150122     7488     31 | 75.310 % |
54.00/54.04	c |     11333 |   19287   191000   408944 |   165134    11333     32 | 75.320 % |
55.39/55.47	c |     17099 |   19287   191000   408944 |   181648    17099     34 | 75.320 % |
58.21/58.22	c |     25748 |   19287   191000   408944 |   199813    25748     38 | 75.320 % |
62.61/62.67	c |     38723 |   19287   191000   408944 |   219794    38723     41 | 75.320 % |
69.69/69.74	c |     58184 |   19287   191000   408944 |   241774    58184     43 | 75.320 % |
77.70/77.73	c ===============================================================================
77.80/77.89	c core #29
77.80/77.89	c 
77.80/77.89	c 
77.80/77.89	c Core size: 618	Core Weight: 1	Total Weight: 126
77.80/77.89	c Current CPU time: 77.4912 s
77.80/77.89	c
77.80/77.89	c ============================[ Search Statistics ]==============================
77.80/77.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.80/77.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.80/77.89	c ===============================================================================
77.80/77.89	c |         0 |   19704   191207   409751 |    63735        0   -nan |  0.000 % |
77.89/77.92	c |       101 |   19704   191207   409751 |    70109      101     23 | 74.843 % |
77.89/77.96	c |       253 |   19704   191207   409751 |    77120      253     22 | 74.843 % |
77.89/78.00	c |       479 |   19704   191207   409751 |    84832      479     21 | 74.843 % |
78.01/78.10	c |       816 |   19704   191207   409751 |    93315      816     29 | 74.843 % |
78.19/78.24	c |      1322 |   19704   191207   409751 |   102646     1322     30 | 74.843 % |
78.29/78.39	c |      2082 |   19704   191207   409751 |   112911     2082     28 | 74.843 % |
78.59/78.61	c |      3222 |   19704   191207   409751 |   124202     3222     28 | 74.843 % |
79.21/79.22	c |      4931 |   19704   191207   409751 |   136623     4931     32 | 74.843 % |
80.09/80.15	c |      7493 |   19704   191207   409751 |   150285     7493     38 | 74.843 % |
81.00/81.06	c |     11338 |   19704   191207   409751 |   165313    11338     36 | 74.843 % |
82.51/82.57	c |     17106 |   19704   191207   409751 |   181845    17106     36 | 74.843 % |
84.99/85.09	c |     25755 |   19704   191207   409751 |   200029    25755     37 | 74.843 % |
89.59/89.61	c |     38729 |   19704   191207   409751 |   220032    38729     38 | 74.843 % |
96.40/96.50	c |     58191 |   19548   191207   409751 |   242036    58191     38 | 75.042 % |
109.09/109.10	c |     87383 |   19508   191207   409751 |   266239    87383     40 | 75.093 % |
117.79/117.88	c ===============================================================================
118.00/118.05	c core #30
118.00/118.05	c 
118.00/118.05	c 
118.00/118.05	c Core size: 698	Core Weight: 1	Total Weight: 127
118.00/118.05	c Current CPU time: 117.557 s
118.00/118.05	c
118.00/118.05	c ============================[ Search Statistics ]==============================
118.00/118.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
118.00/118.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
118.00/118.05	c ===============================================================================
118.00/118.05	c |         0 |   20120   191432   410616 |    63810        0   -nan |  0.000 % |
118.00/118.08	c |       103 |   20120   191432   410616 |    70191      103     19 | 74.368 % |
118.10/118.12	c |       253 |   20120   191432   410616 |    77210      253     24 | 74.368 % |
118.10/118.19	c |       478 |   20120   191432   410616 |    84931      478     30 | 74.368 % |
118.20/118.27	c |       817 |   20120   191432   410616 |    93425      817     30 | 74.368 % |
118.40/118.41	c |      1323 |   20120   191432   410616 |   102767     1323     31 | 74.368 % |
118.60/118.61	c |      2083 |   20120   191432   410616 |   113044     2083     31 | 74.368 % |
118.90/118.96	c |      3223 |   20120   191432   410616 |   124348     3223     36 | 74.368 % |
119.39/119.45	c |      4931 |   20120   191432   410616 |   136783     4931     36 | 74.368 % |
119.99/120.06	c |      7494 |   20120   191432   410616 |   150462     7494     35 | 74.368 % |
121.20/121.22	c |     11338 |   20120   191432   410616 |   165508    11338     40 | 74.368 % |
122.39/122.43	c |     17104 |   20120   191432   410616 |   182059    17104     35 | 74.368 % |
125.59/125.60	c |     25753 |   20120   191432   410616 |   200265    25753     37 | 74.368 % |
129.60/129.62	c |     38727 |   20120   191432   410616 |   220291    38727     38 | 74.368 % |
137.90/137.98	c |     58189 |   20120   191432   410616 |   242320    58189     39 | 74.368 % |
150.49/150.61	c |     87382 |   20120   191432   410616 |   266552    87382     41 | 74.368 % |
176.20/176.27	c |    131171 |   20120   191432   410616 |   293208   131171     42 | 74.368 % |
228.20/228.22	c |    196855 |   20120   191432   410616 |   322529   196855     44 | 74.368 % |
318.40/318.45	c ===============================================================================
318.70/318.70	c core #31
318.70/318.70	c 
318.70/318.70	c 
318.70/318.70	c Core size: 576	Core Weight: 1	Total Weight: 128
318.70/318.70	c Current CPU time: 317.806 s
318.70/318.70	c
318.70/318.70	c ============================[ Search Statistics ]==============================
318.70/318.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
318.70/318.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
318.70/318.70	c ===============================================================================
318.70/318.70	c |         0 |   20535   191656   411485 |    63885        0   -nan |  0.000 % |
318.70/318.73	c |       100 |   20535   191656   411485 |    70273      100     29 | 73.897 % |
318.70/318.77	c |       252 |   20535   191656   411485 |    77301      252     30 | 73.897 % |
318.80/318.83	c |       478 |   20535   191656   411485 |    85031      478     31 | 73.897 % |
318.80/318.90	c |       815 |   20531   191656   411485 |    93534      815     26 | 73.902 % |
318.92/318.99	c |      1322 |   20531   191656   411485 |   102887     1322     24 | 73.902 % |
319.10/319.15	c |      2081 |   20531   191656   411485 |   113176     2081     27 | 73.902 % |
319.40/319.48	c |      3220 |   20531   191656   411485 |   124494     3220     30 | 73.902 % |
319.80/319.85	c |      4928 |   20531   191656   411485 |   136943     4928     32 | 73.902 % |
320.51/320.56	c |      7490 |   20531   191656   411485 |   150638     7490     33 | 73.902 % |
321.70/321.77	c |     11334 |   20531   191656   411485 |   165702    11334     36 | 73.902 % |
323.60/323.67	c |     17100 |   20531   191656   411485 |   182272    17100     39 | 73.902 % |
326.61/326.70	c |     25751 |   20531   191656   411485 |   200499    25751     41 | 73.902 % |
330.90/330.94	c |     38725 |   20531   191656   411485 |   220549    38725     42 | 73.902 % |
338.20/338.29	c |     58187 |   20531   191656   411485 |   242604    58187     46 | 73.902 % |
350.82/350.83	c |     87381 |   20531   191656   411485 |   266864    87381     45 | 73.902 % |
375.21/375.27	c |    131170 |   20531   191656   411485 |   293551   131170     48 | 73.902 % |
428.20/428.27	c |    196855 |   20531   191656   411485 |   322906   196855     47 | 73.902 % |
536.10/536.19	c |    295382 |   20531   191656   411485 |   355197   295382     48 | 73.902 % |
570.61/570.61	c ===============================================================================
570.82/570.87	c core #32
570.82/570.87	c 
570.82/570.87	c 
570.82/570.87	c Core size: 549	Core Weight: 1	Total Weight: 129
570.82/570.87	c Current CPU time: 569.629 s
570.82/570.87	c
570.82/570.87	c ============================[ Search Statistics ]==============================
570.82/570.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
570.82/570.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
570.82/570.87	c ===============================================================================
570.82/570.87	c |         0 |   20945   191893   412391 |    63964        0   -nan |  0.000 % |
570.82/570.91	c |       101 |   20945   191893   412391 |    70360      101     32 | 73.434 % |
570.93/570.94	c |       251 |   20945   191893   412391 |    77396      251     28 | 73.434 % |
570.93/570.99	c |       476 |   20945   191893   412391 |    85136      476     25 | 73.434 % |
571.01/571.07	c |       813 |   20945   191893   412391 |    93650      813     25 | 73.434 % |
571.21/571.23	c |      1320 |   20945   191893   412391 |   103015     1320     29 | 73.434 % |
571.31/571.36	c |      2079 |   20945   191893   412391 |   113316     2079     26 | 73.434 % |
571.71/571.72	c |      3218 |   20945   191893   412391 |   124648     3218     31 | 73.434 % |
572.03/572.04	c |      4927 |   20945   191893   412391 |   137113     4927     31 | 73.434 % |
572.61/572.65	c |      7491 |   20945   191893   412391 |   150824     7491     34 | 73.434 % |
573.60/573.67	c |     11336 |   20945   191893   412391 |   165907    11336     37 | 73.434 % |
575.11/575.20	c |     17103 |   20945   191893   412391 |   182497    17103     39 | 73.434 % |
578.40/578.45	c |     25752 |   20945   191893   412391 |   200747    25752     42 | 73.434 % |
582.21/582.24	c |     38729 |   20945   191893   412391 |   220822    38729     43 | 73.434 % |
587.91/587.91	c |     58190 |   20945   191893   412391 |   242904    58190     43 | 73.434 % |
598.91/598.94	c |     87382 |   20945   191893   412391 |   267194    87382     44 | 73.434 % |
623.62/623.69	c |    131173 |   20945   191893   412391 |   293914   131173     47 | 73.434 % |
676.21/676.28	c |    196857 |   20945   191893   412391 |   323305   196857     49 | 73.434 % |
775.12/775.13	c |    295385 |   20945   191893   412391 |   355636   295385     50 | 73.434 % |
964.42/964.44	c |    443174 |   20488   191893   412391 |   391200    56776     40 | 74.014 % |
977.94/977.93	c ===============================================================================
978.22/978.27	c core #33
978.22/978.27	c 
978.22/978.27	c 
978.22/978.27	c Core size: 647	Core Weight: 1	Total Weight: 130
978.22/978.27	c Current CPU time: 976.425 s
978.22/978.27	c
978.22/978.27	c ============================[ Search Statistics ]==============================
978.22/978.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
978.22/978.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
978.22/978.27	c ===============================================================================
978.22/978.27	c |         0 |   21358   192142   413336 |    64047        0   -nan |  0.000 % |
978.32/978.30	c |       100 |   21358   192142   413336 |    70452      100     19 | 72.969 % |
978.32/978.35	c |       251 |   21358   192142   413336 |    77497      251     24 | 72.969 % |
978.42/978.41	c |       479 |   21358   192142   413336 |    85247      479     24 | 72.969 % |
978.42/978.48	c |       816 |   21358   192142   413336 |    93771      816     25 | 72.969 % |
978.62/978.67	c |      1322 |   21358   192142   413336 |   103148     1322     31 | 72.969 % |
978.82/978.81	c |      2081 |   21358   192142   413336 |   113463     2081     28 | 72.969 % |
979.12/979.18	c |      3220 |   21358   192142   413336 |   124810     3220     30 | 72.969 % |
979.72/979.74	c |      4928 |   21358   192142   413336 |   137291     4928     33 | 72.969 % |
980.52/980.58	c |      7491 |   21358   192142   413336 |   151020     7491     40 | 72.969 % |
981.52/981.50	c |     11335 |   21358   192142   413336 |   166122    11335     38 | 72.969 % |
983.45/983.44	c |     17101 |   21358   192142   413336 |   182734    17101     39 | 72.969 % |
986.42/986.43	c |     25750 |   21358   192142   413336 |   201007    25750     45 | 72.969 % |
991.42/991.49	c |     38724 |   21358   192142   413336 |   221108    38724     50 | 72.969 % |
998.92/998.92	c |     58185 |   21358   192142   413336 |   243219    58185     49 | 72.969 % |
1011.52/1011.59	c |     87378 |   21358   192142   413336 |   267541    87378     49 | 72.969 % |
1035.53/1035.51	c |    131169 |   21358   192142   413336 |   294295   131169     50 | 72.969 % |
1089.23/1089.27	c |    196854 |   21358   192142   413336 |   323725   196854     53 | 72.969 % |
1186.33/1186.34	c |    295380 |   21358   192142   413336 |   356097   295380     50 | 72.969 % |
1378.04/1378.04	c |    443171 |   21358   192142   413336 |   391707    52262     39 | 72.969 % |
1557.74/1557.70	c |    664854 |   21142   192142   413336 |   430878   273945     44 | 73.242 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461704-1307121250/watcher-3461704-1307121250 -o /tmp/evaluation-result-3461704-1307121250/solver-3461704-1307121250 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461704-1307121250.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 2/518 25255
/proc/meminfo: memFree=21610944/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=12560 CPUtime=0.01 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 976 0 0 0 1 0 0 0 25 0 1 0 804540462 12861440 929 33554432000 4194304 5714214 140734255920320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 3140 930 208 372 0 804 0

[startup+0.0737511 s]
/proc/loadavg: 2.04 2.03 2.00 2/518 25255
/proc/meminfo: memFree=21610944/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=23568 CPUtime=0.06 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 3828 0 0 0 6 0 0 0 25 0 1 0 804540462 24133632 3634 33554432000 4194304 5714214 140734255920320 18446744073709551615 4236043 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 5892 3634 403 372 0 3556 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23568

[startup+0.100742 s]
/proc/loadavg: 2.04 2.03 2.00 2/518 25255
/proc/meminfo: memFree=21610944/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=24656 CPUtime=0.09 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 4175 0 0 0 9 0 0 0 25 0 1 0 804540462 25247744 3981 33554432000 4194304 5714214 140734255920320 18446744073709551615 5208484 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 6164 3981 498 372 0 3828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24656

[startup+0.30071 s]
/proc/loadavg: 2.04 2.03 2.00 2/518 25255
/proc/meminfo: memFree=21610944/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=35664 CPUtime=0.29 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 7302 0 0 0 28 1 0 0 25 0 1 0 804540462 36519936 6939 33554432000 4194304 5714214 140734255920320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 8916 6939 1176 372 0 6580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35664

[startup+0.700639 s]
/proc/loadavg: 2.04 2.03 2.00 2/518 25255
/proc/meminfo: memFree=21610944/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=82700 CPUtime=0.69 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 21868 0 0 0 66 3 0 0 25 0 1 0 804540462 84684800 19318 33554432000 4194304 5714214 140734255920320 18446744073709551615 4964778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 20675 19318 172 372 0 20300 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82700

[startup+1.50049 s]
/proc/loadavg: 2.04 2.03 2.00 3/519 25256
/proc/meminfo: memFree=21510164/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=112968 CPUtime=1.49 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 33500 0 0 0 145 4 0 0 25 0 1 0 804540462 115679232 27134 33554432000 4194304 5714214 140734255920320 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 28242 27134 176 372 0 27867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112968

[startup+3.10024 s]
/proc/loadavg: 2.12 2.05 2.01 3/522 25280
/proc/meminfo: memFree=21479640/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=119076 CPUtime=3.09 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 41808 0 0 0 304 5 0 0 19 0 1 0 804540462 121933824 28930 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 29769 28930 180 372 0 29394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119076

[startup+6.3006 s]
/proc/loadavg: 2.12 2.05 2.01 3/522 25307
/proc/meminfo: memFree=21462788/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=116916 CPUtime=6.29 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 43083 0 0 0 623 6 0 0 19 0 1 0 804540462 119721984 28858 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 29229 28858 180 372 0 28854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116916

[startup+12.7005 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 25335
/proc/meminfo: memFree=21363232/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=123396 CPUtime=12.69 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 44000 0 0 0 1261 8 0 0 25 0 1 0 804540462 126357504 29775 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 30849 29775 180 372 0 30474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123396

[startup+25.5011 s]
/proc/loadavg: 2.08 2.04 2.01 3/522 25335
/proc/meminfo: memFree=21348928/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=129532 CPUtime=25.49 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 45421 0 0 0 2537 12 0 0 25 0 1 0 804540462 132640768 31196 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 32383 31196 180 372 0 32008 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129532

[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/522 25336
/proc/meminfo: memFree=21338964/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=135152 CPUtime=51.09 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 47172 0 0 0 5092 17 0 0 25 0 1 0 804540462 138395648 32947 33554432000 4194304 5714214 140734255920320 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 33788 32947 180 372 0 33413 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 135152

[startup+102.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 25337
/proc/meminfo: memFree=21321660/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=146740 CPUtime=102.31 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 49841 0 0 0 10201 30 0 0 25 0 1 0 804540462 150261760 35616 33554432000 4194304 5714214 140734255920320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 36685 35616 180 372 0 36310 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 146740

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 25339
/proc/meminfo: memFree=21303160/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=156204 CPUtime=162.29 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 52453 0 0 0 16187 42 0 0 25 0 1 0 804540462 159952896 38228 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 39051 38228 180 372 0 38676 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 156204

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25340
/proc/meminfo: memFree=21290088/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=160060 CPUtime=222.3 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 53610 0 0 0 22179 51 0 0 25 0 1 0 804540462 163901440 39385 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 40015 39385 180 372 0 39640 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 160060

[startup+282.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/522 25342
/proc/meminfo: memFree=21248124/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=182548 CPUtime=282.3 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 59011 0 0 0 28171 59 0 0 25 0 1 0 804540462 186929152 44786 33554432000 4194304 5714214 140734255920320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 45637 44786 180 372 0 45262 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 182548

[startup+342.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/522 25343
/proc/meminfo: memFree=21208280/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=223768 CPUtime=342.3 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 68843 0 0 0 34159 71 0 0 25 0 1 0 804540462 229138432 54618 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 55942 54618 180 372 0 55567 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 223768

[startup+402.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 25345
/proc/meminfo: memFree=21182936/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=223768 CPUtime=402.3 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 69033 0 0 0 40149 81 0 0 25 0 1 0 804540462 229138432 54808 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 55942 54808 180 372 0 55567 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 223768

[startup+462.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/522 25347
/proc/meminfo: memFree=21183780/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=223768 CPUtime=462.3 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 69057 0 0 0 46143 87 0 0 25 0 1 0 804540462 229138432 54832 33554432000 4194304 5714214 140734255920320 18446744073709551615 4198963 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 55942 54832 180 372 0 55567 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 223768

[startup+522.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/522 25348
/proc/meminfo: memFree=21184128/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=223768 CPUtime=522.3 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 69149 0 0 0 52136 94 0 0 25 0 1 0 804540462 229138432 54924 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 55942 54924 180 372 0 55567 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 223768

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 25350
/proc/meminfo: memFree=21165616/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=241240 CPUtime=582.31 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 73234 0 0 0 58128 103 0 0 25 0 1 0 804540462 247029760 59009 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 60310 59009 180 372 0 59935 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 241240

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 25359
/proc/meminfo: memFree=21132932/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=241240 CPUtime=822.32 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 73282 0 0 0 82096 136 0 0 25 0 1 0 804540462 247029760 59057 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 60310 59057 180 372 0 59935 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 241240

[startup+882.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 25361
/proc/meminfo: memFree=21123712/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=241240 CPUtime=882.32 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 73304 0 0 0 88090 142 0 0 25 0 1 0 804540462 247029760 59079 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 60310 59079 180 372 0 59935 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 241240

[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 25362
/proc/meminfo: memFree=21116992/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=247676 CPUtime=942.32 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 75210 0 0 0 94084 148 0 0 25 0 1 0 804540462 253620224 60985 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 61919 60985 180 372 0 61544 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 247676

[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 25364
/proc/meminfo: memFree=21103296/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1002.33 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78713 0 0 0 100072 161 0 0 25 0 1 0 804540462 269537280 64488 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64488 180 372 0 65430 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 263220

[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/522 25366
/proc/meminfo: memFree=21103140/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1062.33 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78715 0 0 0 106064 169 0 0 25 0 1 0 804540462 269537280 64490 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64490 180 372 0 65430 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 263220

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 25367
/proc/meminfo: memFree=21103352/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1122.32 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78731 0 0 0 112056 176 0 0 25 0 1 0 804540462 269537280 64506 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64506 180 372 0 65430 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 263220

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 25369
/proc/meminfo: memFree=21102336/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1182.33 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78733 0 0 0 118049 184 0 0 25 0 1 0 804540462 269537280 64508 33554432000 4194304 5714214 140734255920320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64508 180 372 0 65430 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 263220

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25370
/proc/meminfo: memFree=21065108/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1242.33 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78738 0 0 0 124044 189 0 0 25 0 1 0 804540462 269537280 64513 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64513 180 372 0 65430 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 263220

[startup+1302.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/522 25372
/proc/meminfo: memFree=21065432/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1302.35 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78764 0 0 0 130040 195 0 0 25 0 1 0 804540462 269537280 64539 33554432000 4194304 5714214 140734255920320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64539 180 372 0 65430 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 263220

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/522 25374
/proc/meminfo: memFree=21065168/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1362.34 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78867 0 0 0 136034 200 0 0 25 0 1 0 804540462 269537280 64642 33554432000 4194304 5714214 140734255920320 18446744073709551615 4320046 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64642 180 372 0 65430 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 263220

[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/522 25375
/proc/meminfo: memFree=21066008/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1422.36 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78867 0 0 0 142027 209 0 0 25 0 1 0 804540462 269537280 64642 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64642 180 372 0 65430 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 263220

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 25377
/proc/meminfo: memFree=21065612/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1482.34 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 78870 0 0 0 148018 216 0 0 25 0 1 0 804540462 269537280 64645 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64645 180 372 0 65430 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 263220

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/522 25378
/proc/meminfo: memFree=21065468/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1542.34 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 79016 0 0 0 154012 222 0 0 25 0 1 0 804540462 269537280 64791 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64791 180 372 0 65430 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 263220

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/522 25380
/proc/meminfo: memFree=21065180/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=263220 CPUtime=1602.34 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 79048 0 0 0 160006 228 0 0 25 0 1 0 804540462 269537280 64823 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 65805 64823 180 372 0 65430 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 263220

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 25382
/proc/meminfo: memFree=21054996/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=272304 CPUtime=1662.35 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 81494 0 0 0 166001 234 0 0 25 0 1 0 804540462 278839296 67269 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319796 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 68076 67269 180 372 0 67701 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 272304

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 25383
/proc/meminfo: memFree=21038720/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=287712 CPUtime=1722.35 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 85269 0 0 0 171994 241 0 0 25 0 1 0 804540462 294617088 71044 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 71928 71044 180 372 0 71553 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 287712

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25385
/proc/meminfo: memFree=21023700/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=300972 CPUtime=1782.35 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 88512 0 0 0 177987 248 0 0 25 0 1 0 804540462 308195328 74287 33554432000 4194304 5714214 140734255920320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 75243 74287 180 372 0 74868 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 300972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 25385
/proc/meminfo: memFree=21021456/32951124 swapFree=58800704/67111528
[pid=25255] ppid=25253 vsize=304456 CPUtime=1800.06 cores=0,2,4,6
/proc/25255/stat : 25255 (wbo1.6) R 25253 25255 22695 0 -1 4202496 89363 0 0 0 179756 250 0 0 25 0 1 0 804540462 311762944 75138 33554432000 4194304 5714214 140734255920320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25255/statm: 76114 75138 180 372 0 75739 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 304456

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1797.57
CPU system time (s): 2.51962
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 304456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 2.51962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89363
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= 11
involuntary context switches= 2309

runsolver used 9.82451 second user time and 21.3058 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-03 19:14:10
IDJOB=3461704
IDBENCH=77448
IDSOLVER=1953
FILE ID=node142/3461704-1307121250
RUNJOBID= node142-1307117638-24457
PBS_JOBID= 13497966
Free space on /tmp= 73904 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461704-1307121250/watcher-3461704-1307121250 -o /tmp/evaluation-result-3461704-1307121250/solver-3461704-1307121250 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461704-1307121250.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 16624ad16b07842a63cd0d52e04da495
RANDOM SEED=66397216

node142.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21611224 kB
Buffers:        243892 kB
Cached:         420368 kB
SwapCached:      11452 kB
Active:        9303612 kB
Inactive:      1774044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21611224 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:           23692 kB
Writeback:           4 kB
AnonPages:    10410060 kB
Mapped:          31724 kB
Slab:           116368 kB
PageTables:      75004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145379268 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73900 MiB
End job on node142 at 2011-06-03 19:44:12