Trace number 3461772

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.06 1800.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9025_7.std.opb
MD5SUM898f9481d81532bb854887af2399230f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184232
Number of constraints which are clauses183032
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 constraint72
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-3461772-1307122101.opb.
0.00/0.00	c Instance file HOME/instance-3461772-1307122101.opb
0.00/0.00	c File size is 5956862 bytes.
0.39/0.46	c Highest Coefficient sum: 406
0.39/0.46	c ============================[ Problem Statistics ]=============================
0.39/0.46	c |                                                                             |
0.39/0.46	c |  Parsing time:          0.44         s                                      |
0.39/0.46	c |  Number Variables:      54782                                               |
0.39/0.46	c |  Number Clauses:        183032                                              |
0.39/0.46	c |  Number Cardinality:    0                                                   |
0.39/0.46	c |  Number PB Constraints: 1200                                                |
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |   43343   184232   403625 |    61410        0   -nan |  0.000 % |
1.00/1.02	c core #1
1.00/1.02	c 
1.00/1.02	c 
1.00/1.02	c Core size: 446	Core Weight: 77	Total Weight: 77
1.00/1.02	c Current CPU time: 0.594909 s
1.00/1.02	c
1.00/1.02	c core #2
1.00/1.02	c 
1.00/1.02	c 
1.00/1.02	c Core size: 500	Core Weight: 1	Total Weight: 78
1.00/1.02	c Current CPU time: 0.668898 s
1.00/1.02	c
1.00/1.02	c core #3
1.00/1.02	c 
1.00/1.02	c 
1.00/1.02	c Core size: 514	Core Weight: 1	Total Weight: 79
1.00/1.02	c Current CPU time: 0.743886 s
1.00/1.02	c
1.00/1.02	c core #4
1.00/1.02	c 
1.00/1.02	c 
1.00/1.02	c Core size: 498	Core Weight: 1	Total Weight: 80
1.00/1.02	c Current CPU time: 0.823874 s
1.00/1.02	c
1.00/1.02	c core #5
1.00/1.02	c 
1.00/1.02	c 
1.00/1.02	c Core size: 556	Core Weight: 1	Total Weight: 81
1.00/1.02	c Current CPU time: 0.904862 s
1.00/1.02	c
1.00/1.02	c ============================[ Search Statistics ]==============================
1.00/1.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.02	c ===============================================================================
1.00/1.02	c |         0 |    5137   151688   308662 |    50562        0   -nan |  0.000 % |
1.00/1.03	c ===============================================================================
1.00/1.11	c core #6
1.00/1.11	c 
1.00/1.11	c 
1.00/1.11	c Core size: 495	Core Weight: 1	Total Weight: 82
1.00/1.11	c Current CPU time: 0.992849 s
1.00/1.11	c
1.00/1.11	c ============================[ Search Statistics ]==============================
1.00/1.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.11	c ===============================================================================
1.00/1.11	c |         0 |    5539   151907   309168 |    50635        0   -nan |  0.000 % |
1.10/1.12	c ===============================================================================
1.19/1.20	c core #7
1.19/1.20	c 
1.19/1.20	c 
1.19/1.20	c Core size: 509	Core Weight: 1	Total Weight: 83
1.19/1.20	c Current CPU time: 1.08184 s
1.19/1.20	c
1.19/1.20	c ============================[ Search Statistics ]==============================
1.19/1.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.20	c ===============================================================================
1.19/1.20	c |         0 |    5939   152125   309675 |    50708        0   -nan |  0.000 % |
1.19/1.21	c ===============================================================================
1.19/1.29	c core #8
1.19/1.29	c 
1.19/1.29	c 
1.19/1.29	c Core size: 550	Core Weight: 1	Total Weight: 84
1.19/1.29	c Current CPU time: 1.16982 s
1.19/1.29	c
1.19/1.29	c ============================[ Search Statistics ]==============================
1.19/1.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.29	c ===============================================================================
1.19/1.29	c |         0 |    6338   152343   310185 |    50781        0   -nan |  0.000 % |
1.29/1.30	c ===============================================================================
1.29/1.39	c core #9
1.29/1.39	c 
1.29/1.39	c 
1.29/1.39	c Core size: 558	Core Weight: 1	Total Weight: 85
1.29/1.39	c Current CPU time: 1.26581 s
1.29/1.39	c
1.29/1.39	c ============================[ Search Statistics ]==============================
1.29/1.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.39	c ===============================================================================
1.29/1.39	c |         0 |    6730   152562   310700 |    50854        0   -nan |  0.000 % |
1.39/1.40	c ===============================================================================
1.39/1.49	c core #10
1.39/1.49	c 
1.39/1.49	c 
1.39/1.49	c Core size: 664	Core Weight: 1	Total Weight: 86
1.39/1.49	c Current CPU time: 1.36279 s
1.39/1.49	c
1.39/1.49	c ============================[ Search Statistics ]==============================
1.39/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.49	c ===============================================================================
1.39/1.49	c |         0 |    7127   152777   311210 |    50925        0   -nan |  0.000 % |
1.49/1.51	c ===============================================================================
1.59/1.60	c core #11
1.59/1.60	c 
1.59/1.60	c 
1.59/1.60	c Core size: 635	Core Weight: 1	Total Weight: 87
1.59/1.60	c Current CPU time: 1.46778 s
1.59/1.60	c
1.59/1.60	c ============================[ Search Statistics ]==============================
1.59/1.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.60	c ===============================================================================
1.59/1.60	c |         0 |    7523   152993   311726 |    50997        0   -nan |  0.000 % |
1.59/1.61	c |       100 |    7523   152993   311726 |    56097      100     19 | 86.856 % |
1.59/1.62	c ===============================================================================
1.69/1.71	c core #12
1.69/1.71	c 
1.69/1.71	c 
1.69/1.71	c Core size: 641	Core Weight: 1	Total Weight: 88
1.69/1.71	c Current CPU time: 1.57876 s
1.69/1.71	c
1.69/1.71	c ============================[ Search Statistics ]==============================
1.69/1.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.71	c ===============================================================================
1.69/1.71	c |         0 |    7912   153211   312249 |    51070        0   -nan |  0.000 % |
1.69/1.73	c |       100 |    7912   153211   312249 |    56177      100     16 | 86.217 % |
1.69/1.75	c |       250 |    7912   153211   312249 |    61795      250     17 | 86.902 % |
1.69/1.76	c ===============================================================================
1.79/1.85	c core #13
1.79/1.85	c 
1.79/1.85	c 
1.79/1.85	c Core size: 655	Core Weight: 1	Total Weight: 89
1.79/1.85	c Current CPU time: 1.71374 s
1.79/1.85	c
1.79/1.85	c ============================[ Search Statistics ]==============================
1.79/1.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.85	c ===============================================================================
1.79/1.85	c |         0 |    8306   153425   312767 |    51141        0   -nan |  0.000 % |
1.79/1.86	c |       100 |    8306   153425   312767 |    56255      100     16 | 85.584 % |
1.79/1.88	c ===============================================================================
1.89/1.98	c core #14
1.89/1.98	c 
1.89/1.98	c 
1.89/1.98	c Core size: 691	Core Weight: 1	Total Weight: 90
1.89/1.98	c Current CPU time: 1.83872 s
1.89/1.98	c
1.89/1.98	c ============================[ Search Statistics ]==============================
1.89/1.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.98	c ===============================================================================
1.89/1.98	c |         0 |    8699   153642   313298 |    51214        0   -nan |  0.000 % |
1.99/2.00	c |       101 |    8699   153642   313298 |    56335      101     18 | 84.957 % |
1.99/2.02	c |       252 |    8699   153642   313298 |    61968      252     18 | 84.957 % |
1.99/2.03	c ===============================================================================
2.11/2.13	c core #15
2.11/2.13	c 
2.11/2.13	c 
2.11/2.13	c Core size: 647	Core Weight: 1	Total Weight: 91
2.11/2.13	c Current CPU time: 1.9877 s
2.11/2.13	c
2.11/2.13	c ============================[ Search Statistics ]==============================
2.11/2.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.11/2.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.11/2.13	c ===============================================================================
2.11/2.13	c |         0 |    9091   153853   313816 |    51284        0   -nan |  0.000 % |
2.11/2.14	c |       100 |    9091   153853   313816 |    56412      100     16 | 84.336 % |
2.11/2.17	c |       250 |    9091   153853   313816 |    62054      250     20 | 84.336 % |
2.11/2.20	c |       476 |    9091   153853   313816 |    68259      476     21 | 84.336 % |
2.21/2.23	c ===============================================================================
2.29/2.33	c core #16
2.29/2.33	c 
2.29/2.33	c 
2.29/2.33	c Core size: 615	Core Weight: 1	Total Weight: 92
2.29/2.33	c Current CPU time: 2.18167 s
2.29/2.33	c
2.29/2.33	c ============================[ Search Statistics ]==============================
2.29/2.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.33	c ===============================================================================
2.29/2.33	c |         0 |    9482   154070   314354 |    51356        0   -nan |  0.000 % |
2.29/2.35	c |       100 |    9482   154070   314354 |    56492      100     19 | 83.753 % |
2.29/2.37	c |       251 |    9481   154070   314354 |    62141      251     19 | 83.753 % |
2.39/2.40	c |       476 |    9481   154070   314354 |    68355      476     19 | 83.753 % |
2.39/2.44	c |       813 |    9463   154070   314354 |    75191      813     22 | 83.753 % |
2.39/2.49	c ===============================================================================
2.49/2.58	c core #17
2.49/2.58	c 
2.49/2.58	c 
2.49/2.58	c Core size: 617	Core Weight: 1	Total Weight: 93
2.49/2.58	c Current CPU time: 2.43563 s
2.49/2.58	c
2.49/2.58	c ============================[ Search Statistics ]==============================
2.49/2.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.58	c ===============================================================================
2.49/2.58	c |         0 |    9851   154285   314884 |    51428        0   -nan |  0.000 % |
2.59/2.60	c |       102 |    9851   154285   314884 |    56571      102     21 | 83.147 % |
2.59/2.62	c |       254 |    9851   154285   314884 |    62228      254     22 | 83.147 % |
2.59/2.65	c |       479 |    9851   154285   314884 |    68451      479     23 | 83.147 % |
2.69/2.71	c |       816 |    9845   154285   314884 |    75296      816     25 | 83.291 % |
2.69/2.79	c |      1324 |    9843   154285   314884 |    82825     1324     26 | 83.291 % |
2.79/2.85	c ===============================================================================
2.89/2.95	c core #18
2.89/2.95	c 
2.89/2.95	c 
2.89/2.95	c Core size: 633	Core Weight: 1	Total Weight: 94
2.89/2.95	c Current CPU time: 2.80057 s
2.89/2.95	c
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 |   10234   154502   315428 |    51500        0   -nan |  0.000 % |
2.89/2.97	c |       100 |   10234   154502   315428 |    56650      100     20 | 82.554 % |
2.99/3.00	c |       250 |   10234   154502   315428 |    62315      250     22 | 82.554 % |
2.99/3.03	c |       477 |   10234   154502   315428 |    68547      477     24 | 82.554 % |
2.99/3.09	c |       814 |   10234   154502   315428 |    75402      814     26 | 82.554 % |
3.09/3.17	c |      1320 |   10187   154502   315428 |    82942     1320     28 | 82.815 % |
3.21/3.30	c |      2079 |    9963   154502   315428 |    91236     2079     31 | 83.016 % |
3.31/3.36	c ===============================================================================
3.39/3.46	c core #19
3.39/3.46	c 
3.39/3.46	c 
3.39/3.46	c Core size: 645	Core Weight: 1	Total Weight: 95
3.39/3.46	c Current CPU time: 3.3035 s
3.39/3.46	c
3.39/3.46	c ============================[ Search Statistics ]==============================
3.39/3.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.46	c ===============================================================================
3.39/3.46	c |         0 |   10622   154712   315958 |    51570        0   -nan |  0.000 % |
3.39/3.48	c |       100 |   10622   154712   315958 |    56727      100     21 | 81.956 % |
3.49/3.50	c |       251 |   10622   154712   315958 |    62400      251     24 | 81.956 % |
3.49/3.54	c |       476 |   10622   154712   315958 |    68640      476     25 | 81.956 % |
3.49/3.59	c |       814 |   10622   154712   315958 |    75504      814     24 | 81.956 % |
3.59/3.67	c |      1321 |   10622   154712   315958 |    83055     1321     23 | 81.956 % |
3.79/3.81	c |      2080 |   10622   154712   315958 |    91360     2080     25 | 81.956 % |
3.99/4.01	c |      3223 |   10622   154712   315958 |   100496     3223     27 | 81.956 % |
4.20/4.23	c ===============================================================================
4.31/4.33	c core #20
4.31/4.33	c 
4.31/4.33	c 
4.31/4.33	c Core size: 658	Core Weight: 1	Total Weight: 96
4.31/4.33	c Current CPU time: 4.16037 s
4.31/4.33	c
4.31/4.33	c ============================[ Search Statistics ]==============================
4.31/4.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.31/4.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.31/4.33	c ===============================================================================
4.31/4.33	c |         0 |   11009   154932   316522 |    51644        0   -nan |  0.000 % |
4.31/4.35	c |       100 |   11009   154932   316522 |    56808      100     22 | 81.363 % |
4.31/4.38	c |       250 |   11009   154932   316522 |    62489      250     24 | 81.363 % |
4.31/4.41	c |       475 |   11009   154932   316522 |    68738      475     24 | 81.363 % |
4.41/4.47	c |       812 |   11009   154932   316522 |    75611      812     24 | 81.363 % |
4.49/4.55	c |      1318 |   11009   154932   316522 |    83173     1318     25 | 81.363 % |
4.59/4.68	c |      2077 |   10997   154932   316522 |    91490     2077     29 | 81.384 % |
4.79/4.89	c |      3217 |   10997   154932   316522 |   100639     3217     30 | 81.384 % |
5.10/5.18	c |      4925 |   10997   154932   316522 |   110703     4925     32 | 81.384 % |
5.51/5.55	c ===============================================================================
5.59/5.65	c core #21
5.59/5.65	c 
5.59/5.65	c 
5.59/5.65	c Core size: 717	Core Weight: 1	Total Weight: 97
5.59/5.65	c Current CPU time: 5.46917 s
5.59/5.65	c
5.59/5.65	c ============================[ Search Statistics ]==============================
5.59/5.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.59/5.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.59/5.65	c ===============================================================================
5.59/5.65	c |         0 |   11395   155146   317070 |    51715        0   -nan |  0.000 % |
5.59/5.66	c |       100 |   11395   155146   317070 |    56886      100     16 | 80.776 % |
5.59/5.69	c |       250 |   11395   155146   317070 |    62575      250     21 | 80.776 % |
5.69/5.72	c |       475 |   11395   155146   317070 |    68833      475     21 | 80.776 % |
5.69/5.78	c |       812 |   11395   155146   317070 |    75716      812     25 | 80.776 % |
5.79/5.86	c |      1318 |   11395   155146   317070 |    83288     1318     26 | 80.776 % |
5.89/5.99	c |      2079 |   11395   155146   317070 |    91616     2079     25 | 80.776 % |
6.20/6.20	c |      3218 |   11395   155146   317070 |   100778     3218     27 | 80.776 % |
6.51/6.54	c |      4926 |   11395   155146   317070 |   110856     4926     30 | 80.776 % |
6.99/7.04	c |      7490 |   11395   155146   317070 |   121942     7490     32 | 80.776 % |
7.79/7.86	c |     11335 |   10823   155146   317070 |   134136    11335     36 | 81.741 % |
7.99/8.07	c ===============================================================================
8.09/8.17	c core #22
8.09/8.17	c 
8.09/8.17	c 
8.09/8.17	c Core size: 783	Core Weight: 1	Total Weight: 98
8.09/8.17	c Current CPU time: 7.97179 s
8.09/8.17	c
8.09/8.17	c ============================[ Search Statistics ]==============================
8.09/8.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.09/8.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.09/8.17	c ===============================================================================
8.09/8.17	c |         0 |   11780   155360   317625 |    51786        0   -nan |  0.000 % |
8.09/8.19	c |       100 |   11780   155360   317625 |    56965      100     24 | 80.195 % |
8.19/8.22	c |       250 |   11780   155360   317625 |    62661      250     27 | 80.195 % |
8.19/8.26	c |       475 |   11780   155360   317625 |    68928      475     28 | 80.195 % |
8.29/8.32	c |       813 |   11780   155360   317625 |    75820      813     26 | 80.195 % |
8.39/8.41	c |      1319 |   11780   155360   317625 |    83402     1319     27 | 80.195 % |
8.49/8.54	c |      2079 |   11776   155360   317625 |    91743     2079     29 | 80.250 % |
8.70/8.73	c |      3218 |   11747   155360   317625 |   100917     3218     29 | 80.250 % |
8.99/9.05	c |      4926 |   11747   155360   317625 |   111009     4926     30 | 80.250 % |
9.49/9.57	c |      7489 |   11747   155360   317625 |   122110     7489     32 | 80.250 % |
10.29/10.35	c |     11335 |   11747   155360   317625 |   134321    11335     33 | 80.250 % |
11.59/11.62	c |     17101 |   11747   155360   317625 |   147753    17101     36 | 80.250 % |
13.21/13.26	c ===============================================================================
13.29/13.36	c core #23
13.29/13.36	c 
13.29/13.36	c 
13.29/13.36	c Core size: 773	Core Weight: 1	Total Weight: 99
13.29/13.36	c Current CPU time: 13.108 s
13.29/13.36	c
13.29/13.36	c ============================[ Search Statistics ]==============================
13.29/13.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.29/13.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.29/13.36	c ===============================================================================
13.29/13.36	c |         0 |   12161   155585   318211 |    51861        0   -nan |  0.000 % |
13.29/13.38	c |       102 |   12161   155585   318211 |    57047      102     20 | 79.623 % |
13.39/13.40	c |       253 |   12161   155585   318211 |    62752      253     20 | 79.623 % |
13.39/13.44	c |       480 |   12161   155585   318211 |    69027      480     23 | 79.623 % |
13.49/13.50	c |       817 |   12161   155585   318211 |    75930      817     26 | 79.623 % |
13.59/13.60	c |      1324 |   12161   155585   318211 |    83523     1324     26 | 79.623 % |
13.69/13.73	c |      2083 |   12161   155585   318211 |    91876     2083     26 | 79.623 % |
13.89/13.93	c |      3223 |   12161   155585   318211 |   101063     3223     29 | 79.623 % |
14.09/14.19	c |      4931 |   12161   155585   318211 |   111170     4931     27 | 79.623 % |
14.69/14.71	c |      7493 |   12161   155585   318211 |   122287     7493     30 | 79.623 % |
15.49/15.50	c |     11338 |   12161   155585   318211 |   134515    11338     31 | 79.623 % |
16.69/16.78	c |     17104 |   12161   155585   318211 |   147967    17104     32 | 79.623 % |
18.89/18.96	c |     25755 |   12149   155585   318211 |   162764    25755     35 | 79.643 % |
20.99/21.09	c ===============================================================================
21.09/21.19	c core #24
21.09/21.19	c 
21.09/21.19	c 
21.09/21.19	c Core size: 730	Core Weight: 1	Total Weight: 100
21.09/21.19	c Current CPU time: 20.8798 s
21.09/21.19	c
21.09/21.19	c ============================[ Search Statistics ]==============================
21.09/21.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.09/21.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.09/21.19	c ===============================================================================
21.09/21.19	c |         0 |   12544   155817   318824 |    51939        0   -nan |  0.000 % |
21.19/21.21	c |       101 |   12544   155817   318824 |    57132      101     23 | 79.052 % |
21.19/21.23	c |       252 |   12544   155817   318824 |    62846      252     25 | 79.052 % |
21.19/21.27	c |       477 |   12544   155817   318824 |    69130      477     27 | 79.052 % |
21.29/21.33	c |       814 |   12544   155817   318824 |    76043      814     28 | 79.052 % |
21.39/21.42	c |      1320 |   12544   155817   318824 |    83648     1320     28 | 79.052 % |
21.49/21.55	c |      2081 |   12539   155817   318824 |    92013     2081     28 | 79.060 % |
21.69/21.75	c |      3223 |   12539   155817   318824 |   101214     3223     29 | 79.060 % |
22.01/22.03	c |      4931 |   12539   155817   318824 |   111335     4931     29 | 79.060 % |
22.49/22.52	c |      7493 |   12539   155817   318824 |   122469     7493     30 | 79.060 % |
23.19/23.27	c |     11337 |   12539   155817   318824 |   134716    11337     32 | 79.060 % |
24.40/24.44	c |     17103 |   12539   155817   318824 |   148188    17103     32 | 79.060 % |
26.59/26.61	c |     25753 |   12527   155817   318824 |   163006    25753     34 | 79.081 % |
30.19/30.22	c |     38727 |   12519   155817   318824 |   179307    38727     37 | 79.094 % |
37.30/37.33	c |     58188 |   12519   155817   318824 |   197238    58188     43 | 79.094 % |
38.79/38.86	c ===============================================================================
38.90/38.98	c core #25
38.90/38.98	c 
38.90/38.98	c 
38.90/38.98	c Core size: 671	Core Weight: 1	Total Weight: 101
38.90/38.98	c Current CPU time: 38.5291 s
38.90/38.98	c
38.90/38.98	c ============================[ Search Statistics ]==============================
38.90/38.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.90/38.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
38.90/38.98	c ===============================================================================
38.90/38.98	c |         0 |   12921   156057   319461 |    52019        0   -nan |  0.000 % |
38.99/39.00	c |       100 |   12921   156057   319461 |    57220      100     21 | 78.494 % |
38.99/39.02	c |       250 |   12921   156057   319461 |    62942      250     21 | 78.494 % |
38.99/39.06	c |       475 |   12921   156057   319461 |    69237      475     22 | 78.494 % |
39.10/39.11	c |       813 |   12921   156057   319461 |    76161      813     22 | 78.494 % |
39.10/39.19	c |      1322 |   12921   156057   319461 |    83777     1322     26 | 78.494 % |
39.29/39.33	c |      2081 |   12921   156057   319461 |    92154     2081     28 | 78.494 % |
39.50/39.55	c |      3223 |   12921   156057   319461 |   101370     3223     31 | 78.494 % |
39.89/39.90	c |      4932 |   12921   156057   319461 |   111507     4932     32 | 78.494 % |
40.29/40.36	c |      7494 |   12921   156057   319461 |   122658     7494     31 | 78.494 % |
41.09/41.10	c |     11338 |   12921   156057   319461 |   134923    11338     31 | 78.494 % |
42.29/42.39	c |     17104 |   12921   156057   319461 |   148416    17104     33 | 78.494 % |
44.49/44.55	c |     25753 |   12921   156057   319461 |   163257    25753     35 | 78.494 % |
48.19/48.21	c |     38727 |   12834   156057   319461 |   179583    38727     36 | 78.639 % |
54.59/54.60	c |     58188 |   12749   156057   319461 |   197542    58188     39 | 78.781 % |
66.50/66.50	c |     87382 |   12148   156057   319461 |   217296    87382     41 | 79.781 % |
68.70/68.76	c ===============================================================================
68.89/68.90	c core #26
68.89/68.90	c 
68.89/68.90	c 
68.89/68.90	c Core size: 834	Core Weight: 1	Total Weight: 102
68.89/68.90	c Current CPU time: 68.2366 s
68.89/68.90	c
68.89/68.90	c ============================[ Search Statistics ]==============================
68.89/68.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
68.89/68.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
68.89/68.90	c ===============================================================================
68.89/68.90	c |         0 |   13302   156295   320103 |    52098        0   -nan |  0.000 % |
68.89/68.92	c |       101 |   13302   156295   320103 |    57308      101     26 | 77.933 % |
68.89/68.94	c |       252 |   13302   156295   320103 |    63038      252     24 | 77.933 % |
68.89/68.98	c |       477 |   13302   156295   320103 |    69342      477     23 | 77.933 % |
68.99/69.03	c |       814 |   13302   156295   320103 |    76277      814     24 | 77.933 % |
69.09/69.12	c |      1321 |   13302   156295   320103 |    83904     1321     27 | 77.933 % |
69.21/69.26	c |      2080 |   13302   156295   320103 |    92295     2080     28 | 77.933 % |
69.39/69.48	c |      3219 |   13302   156295   320103 |   101524     3219     29 | 77.933 % |
69.69/69.76	c |      4927 |   13302   156295   320103 |   111677     4927     30 | 77.933 % |
70.19/70.27	c |      7489 |   13302   156295   320103 |   122845     7489     32 | 77.933 % |
70.99/71.00	c |     11333 |   13302   156295   320103 |   135129    11333     32 | 77.933 % |
72.29/72.36	c |     17100 |   13302   156295   320103 |   148642    17100     34 | 77.933 % |
74.39/74.41	c |     25749 |   13302   156295   320103 |   163506    25749     34 | 77.933 % |
78.19/78.20	c |     38724 |   13302   156295   320103 |   179857    38724     37 | 77.933 % |
84.89/84.93	c |     58185 |   13302   156295   320103 |   197843    58185     40 | 77.933 % |
97.29/97.30	c |     87377 |   13302   156295   320103 |   217627    87377     41 | 77.933 % |
122.29/122.39	c |    131166 |   12917   156295   320103 |   239390   131166     44 | 78.585 % |
127.61/127.64	c ===============================================================================
127.80/127.80	c core #27
127.80/127.80	c 
127.80/127.80	c 
127.80/127.80	c Core size: 655	Core Weight: 1	Total Weight: 103
127.80/127.80	c Current CPU time: 126.836 s
127.80/127.80	c
127.80/127.80	c ============================[ Search Statistics ]==============================
127.80/127.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
127.80/127.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
127.80/127.80	c ===============================================================================
127.80/127.80	c |         0 |   13682   156545   320780 |    52181        0   -nan |  0.000 % |
127.80/127.83	c |       100 |   13682   156545   320780 |    57399      100     25 | 77.377 % |
127.80/127.84	c |       250 |   13682   156545   320780 |    63139      250     24 | 77.377 % |
127.80/127.89	c |       475 |   13682   156545   320780 |    69453      475     27 | 77.377 % |
127.89/127.97	c |       812 |   13682   156545   320780 |    76399      812     29 | 77.377 % |
127.99/128.05	c |      1318 |   13682   156545   320780 |    84039     1318     32 | 77.377 % |
128.09/128.18	c |      2078 |   13682   156545   320780 |    92443     2078     32 | 77.377 % |
128.30/128.35	c |      3217 |   13681   156545   320780 |   101687     3217     31 | 77.379 % |
128.61/128.65	c |      4926 |   13681   156545   320780 |   111856     4926     30 | 77.379 % |
129.09/129.14	c |      7490 |   13681   156545   320780 |   123041     7490     32 | 77.379 % |
129.89/129.95	c |     11335 |   13681   156545   320780 |   135345    11335     33 | 77.379 % |
131.20/131.25	c |     17101 |   13681   156545   320780 |   148880    17101     34 | 77.379 % |
133.20/133.25	c |     25751 |   13681   156545   320780 |   163768    25751     37 | 77.379 % |
136.69/136.78	c |     38725 |   13681   156545   320780 |   180145    38725     37 | 77.379 % |
143.20/143.23	c |     58187 |   13674   156545   320780 |   198159    58187     37 | 77.390 % |
155.59/155.60	c |     87380 |   13674   156545   320780 |   217975    87380     41 | 77.390 % |
180.19/180.24	c |    131171 |   13550   156545   320780 |   239773   131171     42 | 77.596 % |
224.31/224.40	c |    196855 |   13165   156545   320780 |   263750   196855     44 | 78.232 % |
233.90/233.99	c ===============================================================================
234.10/234.18	c core #28
234.10/234.18	c 
234.10/234.18	c 
234.10/234.18	c Core size: 692	Core Weight: 1	Total Weight: 104
234.10/234.18	c Current CPU time: 232.744 s
234.10/234.18	c
234.10/234.18	c ============================[ Search Statistics ]==============================
234.10/234.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.10/234.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.10/234.18	c ===============================================================================
234.10/234.18	c |         0 |   14053   156811   321502 |    52270        0   -nan |  0.000 % |
234.10/234.20	c |       101 |   14053   156811   321502 |    57497      101     22 | 76.839 % |
234.21/234.23	c |       251 |   14053   156811   321502 |    63247      251     26 | 76.839 % |
234.21/234.27	c |       476 |   14053   156811   321502 |    69571      476     25 | 76.839 % |
234.31/234.33	c |       813 |   14053   156811   321502 |    76528      813     25 | 76.839 % |
234.39/234.44	c |      1321 |   14053   156811   321502 |    84181     1321     28 | 76.839 % |
234.59/234.60	c |      2080 |   14053   156811   321502 |    92600     2080     32 | 76.839 % |
234.79/234.83	c |      3219 |   14053   156811   321502 |   101860     3219     33 | 76.839 % |
235.10/235.13	c |      4927 |   14053   156811   321502 |   112046     4927     32 | 76.839 % |
235.59/235.68	c |      7489 |   14053   156811   321502 |   123250     7489     35 | 76.839 % |
236.41/236.41	c |     11333 |   14053   156811   321502 |   135575    11333     35 | 76.839 % |
237.70/237.74	c |     17099 |   14053   156811   321502 |   149133    17099     36 | 76.839 % |
239.89/239.98	c |     25748 |   13957   156811   321502 |   164046    25748     38 | 76.997 % |
243.60/243.66	c |     38722 |   13957   156811   321502 |   180451    38722     41 | 76.997 % |
249.80/249.89	c |     58185 |   13957   156811   321502 |   198496    58185     42 | 76.997 % |
262.39/262.44	c |     87378 |   13957   156811   321502 |   218346    87378     46 | 76.997 % |
288.50/288.53	c |    131167 |   13945   156811   321502 |   240180   131167     50 | 77.017 % |
345.20/345.26	c |    196851 |   13945   156811   321502 |   264198   196851     53 | 77.017 % |
453.00/453.06	c |    295377 |   13919   156811   321502 |   290618   295377     55 | 77.060 % |
563.90/563.94	c |    443168 |   13783   156811   321502 |   319680   127602     61 | 77.284 % |
663.80/663.85	c ===============================================================================
664.20/664.20	c core #29
664.20/664.20	c 
664.20/664.20	c 
664.20/664.20	c Core size: 636	Core Weight: 1	Total Weight: 105
664.20/664.20	c Current CPU time: 661.274 s
664.20/664.20	c
664.20/664.20	c ============================[ Search Statistics ]==============================
664.20/664.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
664.20/664.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
664.20/664.20	c ===============================================================================
664.20/664.20	c |         0 |   14431   157128   322387 |    52376        0   -nan |  0.000 % |
664.20/664.22	c |       100 |   14430   157128   322387 |    57613      100     21 | 76.318 % |
664.20/664.25	c |       250 |   14430   157128   322387 |    63374      250     24 | 76.318 % |
664.20/664.28	c |       476 |   14416   157128   322387 |    69712      476     25 | 76.318 % |
664.31/664.35	c |       813 |   14416   157128   322387 |    76683      813     27 | 76.318 % |
664.42/664.44	c |      1319 |   14416   157128   322387 |    84352     1319     28 | 76.318 % |
664.50/664.57	c |      2078 |   14416   157128   322387 |    92787     2078     29 | 76.318 % |
664.70/664.76	c |      3218 |   14416   157128   322387 |   102066     3218     28 | 76.318 % |
665.10/665.15	c |      4928 |   14416   157128   322387 |   112272     4928     35 | 76.318 % |
665.60/665.64	c |      7491 |   14416   157128   322387 |   123499     7491     37 | 76.318 % |
666.40/666.42	c |     11335 |   14416   157128   322387 |   135849    11335     36 | 76.318 % |
667.61/667.65	c |     17101 |   14416   157128   322387 |   149434    17101     37 | 76.318 % |
669.70/669.70	c |     25750 |   14416   157128   322387 |   164378    25750     39 | 76.318 % |
673.22/673.28	c |     38724 |   14416   157128   322387 |   180816    38724     41 | 76.318 % |
679.60/679.68	c |     58190 |   14416   157128   322387 |   198897    58190     42 | 76.318 % |
689.72/689.74	c |     87385 |   14416   157128   322387 |   218787    87385     44 | 76.318 % |
712.30/712.34	c |    131175 |   14416   157128   322387 |   240666   131175     44 | 76.318 % |
752.80/752.88	c |    196860 |   14416   157128   322387 |   264732   196860     46 | 76.318 % |
847.90/847.92	c |    295389 |   14396   157128   322387 |   291206   295389     48 | 76.350 % |
950.91/950.93	c |    443179 |   14384   157128   322387 |   320326   131002     52 | 76.370 % |
1137.01/1137.09	c ===============================================================================
1137.43/1137.48	c core #30
1137.43/1137.48	c 
1137.43/1137.48	c 
1137.43/1137.48	c Core size: 835	Core Weight: 1	Total Weight: 106
1137.43/1137.48	c Current CPU time: 1132.81 s
1137.43/1137.48	c
1137.43/1137.48	c ============================[ Search Statistics ]==============================
1137.43/1137.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1137.43/1137.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1137.43/1137.48	c ===============================================================================
1137.43/1137.48	c |         0 |   14793   157459   323315 |    52486        0   -nan |  0.000 % |
1137.51/1137.50	c |       101 |   14793   157459   323315 |    57734      101     18 | 75.776 % |
1137.51/1137.53	c |       251 |   14793   157459   323315 |    63508      251     24 | 75.776 % |
1137.51/1137.57	c |       476 |   14793   157459   323315 |    69859      476     27 | 75.776 % |
1137.61/1137.63	c |       813 |   14793   157459   323315 |    76845      813     31 | 75.776 % |
1137.71/1137.74	c |      1319 |   14793   157459   323315 |    84529     1319     31 | 75.776 % |
1137.81/1137.86	c |      2078 |   14793   157459   323315 |    92982     2078     30 | 75.776 % |
1138.11/1138.10	c |      3220 |   14793   157459   323315 |   102281     3220     36 | 75.776 % |
1138.42/1138.47	c |      4928 |   14793   157459   323315 |   112509     4928     37 | 75.776 % |
1139.01/1139.02	c |      7492 |   14793   157459   323315 |   123760     7492     38 | 75.776 % |
1139.91/1139.92	c |     11341 |   14793   157459   323315 |   136136    11341     40 | 75.776 % |
1141.31/1141.30	c |     17109 |   14773   157459   323315 |   149749    17109     43 | 75.809 % |
1143.31/1143.31	c |     25759 |   14773   157459   323315 |   164724    25759     44 | 75.809 % |
1147.22/1147.26	c |     38733 |   14773   157459   323315 |   181197    38733     45 | 75.809 % |
1153.41/1153.48	c |     58194 |   14773   157459   323315 |   199316    58194     47 | 75.809 % |
1164.61/1164.61	c |     87387 |   14773   157459   323315 |   219248    87387     48 | 75.809 % |
1185.01/1185.08	c |    131176 |   14773   157459   323315 |   241173   131176     48 | 75.809 % |
1225.51/1225.55	c |    196861 |   14773   157459   323315 |   265290   196861     49 | 75.809 % |
1312.41/1312.42	c |    295387 |   14773   157459   323315 |   291819   295387     48 | 75.809 % |
1412.21/1412.26	c |    443179 |   14769   157459   323315 |   321001   126436     50 | 75.815 % |
1603.83/1603.82	c |    664864 |   14621   157459   323315 |   353101   348121     54 | 76.057 % |

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-3461772-1307122101/watcher-3461772-1307122101 -o /tmp/evaluation-result-3461772-1307122101/solver-3461772-1307122101 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461772-1307122101.opb 

running on 4 cores: 1,3,5,7

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: 1.26 1.73 1.90 5/488 22864
/proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=10272 CPUtime=0.01 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 866 0 0 0 1 0 0 0 20 0 1 0 823808665 10518528 819 33554432000 4194304 5714214 140734434146032 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 2568 820 200 372 0 738 0

[startup+0.087833 s]
/proc/loadavg: 1.26 1.73 1.90 5/488 22864
/proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=19608 CPUtime=0.08 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 3394 0 0 0 8 0 0 0 20 0 1 0 823808665 20078592 3265 33554432000 4194304 5714214 140734434146032 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 4902 3265 457 372 0 3072 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19608

[startup+0.100829 s]
/proc/loadavg: 1.26 1.73 1.90 5/488 22864
/proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=20004 CPUtime=0.09 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 3555 0 0 0 9 0 0 0 20 0 1 0 823808665 20484096 3426 33554432000 4194304 5714214 140734434146032 18446744073709551615 4972989 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 5001 3427 500 372 0 3171 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20004

[startup+0.300797 s]
/proc/loadavg: 1.26 1.73 1.90 5/488 22864
/proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=31980 CPUtime=0.29 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 7302 0 0 0 28 1 0 0 21 0 1 0 823808665 32747520 6874 33554432000 4194304 5714214 140734434146032 18446744073709551615 4235277 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 7995 6876 1195 372 0 6165 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31980

[startup+0.700746 s]
/proc/loadavg: 1.26 1.73 1.90 5/488 22864
/proc/meminfo: memFree=27230100/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=83836 CPUtime=0.69 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 23515 0 0 0 66 3 0 0 18 0 1 0 823808665 85848064 19998 33554432000 4194304 5714214 140734434146032 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 20959 19998 176 372 0 20584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83836

[startup+1.50061 s]
/proc/loadavg: 1.26 1.73 1.90 3/487 22869
/proc/meminfo: memFree=27147028/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=86484 CPUtime=1.49 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 26893 0 0 0 145 4 0 0 19 0 1 0 823808665 88559616 21041 33554432000 4194304 5714214 140734434146032 18446744073709551615 4968261 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 21621 21041 179 372 0 21246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86484

[startup+3.10034 s]
/proc/loadavg: 1.26 1.73 1.90 3/487 22875
/proc/meminfo: memFree=27138596/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=90084 CPUtime=3.09 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 29505 0 0 0 304 5 0 0 18 0 1 0 823808665 92246016 21880 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 22521 21880 180 372 0 22146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90084

[startup+6.3008 s]
/proc/loadavg: 1.32 1.74 1.90 3/490 22920
/proc/meminfo: memFree=27073948/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=92244 CPUtime=6.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 30098 0 0 0 621 9 0 0 25 0 1 0 823808665 94457856 22473 33554432000 4194304 5714214 140734434146032 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 23061 22473 180 372 0 22686 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 92244

[startup+12.7007 s]
/proc/loadavg: 1.37 1.74 1.90 3/487 22977
/proc/meminfo: memFree=27132608/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=92244 CPUtime=12.69 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 30101 0 0 0 1254 15 0 0 25 0 1 0 823808665 94457856 22476 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 23061 22476 180 372 0 22686 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92244

[startup+25.5006 s]
/proc/loadavg: 1.51 1.75 1.90 3/487 23113
/proc/meminfo: memFree=27121720/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=99808 CPUtime=25.49 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 31781 0 0 0 2524 25 0 0 25 0 1 0 823808665 102203392 24156 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319450 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 24952 24156 180 372 0 24577 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99808

[startup+51.1003 s]
/proc/loadavg: 1.68 1.77 1.90 3/490 23245
/proc/meminfo: memFree=27012296/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=110844 CPUtime=51.09 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 34624 0 0 0 5065 44 0 0 25 0 1 0 823808665 113504256 26999 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 27711 26999 180 372 0 27336 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110844

[startup+102.319 s]
/proc/loadavg: 1.86 1.80 1.91 3/490 23247
/proc/meminfo: memFree=26988736/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=121000 CPUtime=102.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 37187 0 0 0 10157 74 0 0 25 0 1 0 823808665 123904000 29562 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 30250 29562 180 372 0 29875 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 121000

[startup+162.301 s]
/proc/loadavg: 1.95 1.84 1.91 3/490 23248
/proc/meminfo: memFree=26935248/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=139308 CPUtime=162.29 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 41699 0 0 0 16126 103 0 0 25 0 1 0 823808665 142651392 34074 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 34827 34074 180 372 0 34452 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 139308

[startup+222.301 s]
/proc/loadavg: 1.98 1.86 1.91 3/490 23250
/proc/meminfo: memFree=26934692/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=139308 CPUtime=222.29 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 41801 0 0 0 22108 121 0 0 25 0 1 0 823808665 142651392 34176 33554432000 4194304 5714214 140734434146032 18446744073709551615 4322624 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 34827 34176 180 372 0 34452 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 139308

[startup+282.3 s]
/proc/loadavg: 2.03 1.90 1.91 3/490 23251
/proc/meminfo: memFree=26887764/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=161860 CPUtime=282.29 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 47675 0 0 0 28082 147 0 0 25 0 1 0 823808665 165744640 39642 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 40465 39642 180 372 0 40090 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 161860

[startup+342.3 s]
/proc/loadavg: 2.12 1.95 1.93 3/490 23253
/proc/meminfo: memFree=26862652/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=161860 CPUtime=342.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 47675 0 0 0 34068 162 0 0 25 0 1 0 823808665 165744640 39642 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 40465 39642 180 372 0 40090 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 161860

[startup+402.3 s]
/proc/loadavg: 2.12 1.97 1.93 3/490 23255
/proc/meminfo: memFree=26835676/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=168316 CPUtime=402.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 49482 0 0 0 40056 174 0 0 25 0 1 0 823808665 172355584 41449 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 42079 41449 180 372 0 41704 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 168316

[startup+462.3 s]
/proc/loadavg: 2.04 1.97 1.93 3/490 23256
/proc/meminfo: memFree=26791940/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=188524 CPUtime=462.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 54438 0 0 0 46043 187 0 0 25 0 1 0 823808665 193048576 46405 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 47131 46405 180 372 0 46756 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 188524

[startup+522.3 s]
/proc/loadavg: 1.45 1.82 1.88 2/484 23275
/proc/meminfo: memFree=27024992/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=204464 CPUtime=522.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 58131 0 0 0 52026 204 0 0 25 0 1 0 823808665 209371136 50098 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 51116 50098 180 372 0 50741 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 204464

[startup+582.301 s]
/proc/loadavg: 1.16 1.67 1.82 2/484 23276
/proc/meminfo: memFree=27024056/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=205556 CPUtime=582.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 58370 0 0 0 57998 232 0 0 25 0 1 0 823808665 210489344 50337 33554432000 4194304 5714214 140734434146032 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 51389 50337 180 372 0 51014 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 205556

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.29 1.62 2/484 23283
/proc/meminfo: memFree=26998864/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=230056 CPUtime=822.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65344 0 0 0 81905 325 0 0 25 0 1 0 823808665 235577344 56648 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 57514 56648 180 372 0 57139 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 230056

[startup+882.301 s]
/proc/loadavg: 1.00 1.23 1.58 2/484 23284
/proc/meminfo: memFree=26998592/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=230056 CPUtime=882.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65418 0 0 0 87890 340 0 0 25 0 1 0 823808665 235577344 56722 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 57514 56722 180 372 0 57139 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 230056

[startup+942.301 s]
/proc/loadavg: 1.08 1.22 1.55 2/484 23286
/proc/meminfo: memFree=26998676/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=230056 CPUtime=942.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65421 0 0 0 93863 368 0 0 25 0 1 0 823808665 235577344 56725 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 57514 56725 180 372 0 57139 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 230056

[startup+1002.3 s]
/proc/loadavg: 1.07 1.19 1.52 2/484 23288
/proc/meminfo: memFree=26998756/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=230056 CPUtime=1002.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65421 0 0 0 99838 393 0 0 25 0 1 0 823808665 235577344 56725 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 57514 56725 180 372 0 57139 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 230056

[startup+1062.3 s]
/proc/loadavg: 1.02 1.15 1.49 2/484 23289
/proc/meminfo: memFree=26998844/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=230056 CPUtime=1062.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 65477 0 0 0 105820 410 0 0 25 0 1 0 823808665 235577344 56781 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 57514 56781 180 372 0 57139 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 230056

[startup+1122.3 s]
/proc/loadavg: 1.01 1.12 1.45 2/484 23291
/proc/meminfo: memFree=26993324/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=235016 CPUtime=1122.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 66818 0 0 0 111804 427 0 0 25 0 1 0 823808665 240656384 58122 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 58754 58122 180 372 0 58379 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 235016

[startup+1182.3 s]
/proc/loadavg: 1.00 1.10 1.42 2/484 23292
/proc/meminfo: memFree=26967984/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1182.3 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73130 0 0 0 117769 461 0 0 25 0 1 0 823808665 267366400 64434 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64434 180 372 0 64900 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 261100

[startup+1242.3 s]
/proc/loadavg: 1.00 1.08 1.39 2/484 23294
/proc/meminfo: memFree=26967448/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1242.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73203 0 0 0 123745 486 0 0 25 0 1 0 823808665 267366400 64507 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64507 180 372 0 64900 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 261100

[startup+1302.3 s]
/proc/loadavg: 1.00 1.06 1.36 2/484 23296
/proc/meminfo: memFree=26967408/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1302.32 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73203 0 0 0 129726 506 0 0 25 0 1 0 823808665 267366400 64507 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64507 180 372 0 64900 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 261100

[startup+1362.3 s]
/proc/loadavg: 1.00 1.05 1.34 2/484 23297
/proc/meminfo: memFree=26967476/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1362.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 135709 522 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64512 180 372 0 64900 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 261100

[startup+1422.32 s]
/proc/loadavg: 1.00 1.04 1.32 2/484 23299
/proc/meminfo: memFree=26967548/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1422.33 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 141674 559 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64512 180 372 0 64900 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 261100

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.29 2/484 23300
/proc/meminfo: memFree=26967520/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1482.32 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 147651 581 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64512 180 372 0 64900 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 261100

[startup+1542.3 s]
/proc/loadavg: 1.05 1.04 1.27 2/484 23302
/proc/meminfo: memFree=26967608/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1542.32 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73208 0 0 0 153631 601 0 0 25 0 1 0 823808665 267366400 64512 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64512 180 372 0 64900 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 261100

[startup+1602.3 s]
/proc/loadavg: 1.07 1.04 1.26 2/484 23304
/proc/meminfo: memFree=26967572/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1602.32 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73225 0 0 0 159616 616 0 0 25 0 1 0 823808665 267366400 64529 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64529 180 372 0 64900 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 261100

[startup+1662.3 s]
/proc/loadavg: 1.02 1.03 1.24 2/484 23305
/proc/meminfo: memFree=26967400/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=261100 CPUtime=1662.31 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73288 0 0 0 165603 628 0 0 25 0 1 0 823808665 267366400 64592 33554432000 4194304 5714214 140734434146032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65275 64592 180 372 0 64900 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 261100

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.23 2/484 23307
/proc/meminfo: memFree=26964992/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=263092 CPUtime=1722.32 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 73879 0 0 0 171574 658 0 0 25 0 1 0 823808665 269406208 65183 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 65773 65183 180 372 0 65398 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 263092

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/484 23308
/proc/meminfo: memFree=26963948/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=264208 CPUtime=1782.32 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 74073 0 0 0 177553 679 0 0 25 0 1 0 823808665 270548992 65377 33554432000 4194304 5714214 140734434146032 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 66052 65377 180 372 0 65677 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 264208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.02 1.20 2/484 23309
/proc/meminfo: memFree=26963928/32951124 swapFree=63649284/67111528
[pid=22864] ppid=22862 vsize=264208 CPUtime=1800.03 cores=1,3,5,7
/proc/22864/stat : 22864 (wbo1.6) R 22862 22864 19900 0 -1 4202496 74074 0 0 0 179318 685 0 0 25 0 1 0 823808665 270548992 65378 33554432000 4194304 5714214 140734434146032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22864/statm: 66052 65378 180 372 0 65677 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 264208

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.03
CPU time (s): 1800.06
CPU user time (s): 1793.19
CPU system time (s): 6.86896
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 264208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.19
system time used= 6.86895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74074
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= 24
involuntary context switches= 2745

runsolver used 8.10477 second user time and 21.3688 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-03 19:28:22
IDJOB=3461772
IDBENCH=77818
IDSOLVER=1953
FILE ID=node130/3461772-1307122101
RUNJOBID= node130-1307122101-22846
PBS_JOBID= 13497970
Free space on /tmp= 73836 MiB

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

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

MD5SUM BENCH= 898f9481d81532bb854887af2399230f
RANDOM SEED=1100951204

node130.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.838
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.67
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.838
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	: 5332.83
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.838
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.75
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.838
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.81
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.838
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.75
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.838
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.83
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.838
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.75
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27230512 kB
Buffers:        254360 kB
Cached:         403488 kB
SwapCached:       9700 kB
Active:        5101884 kB
Inactive:       336708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27230512 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:           20144 kB
Writeback:           0 kB
AnonPages:     4779036 kB
Mapped:          31324 kB
Slab:           158448 kB
PageTables:      53760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145078132 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= 73840 MiB
End job on node130 at 2011-06-03 19:58:24