Trace number 3461780

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9045_2.std.opb
MD5SUM164e1d7c8e885527f3cc100614dc9c6f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark158
Best CPU time to get the best result obtained on this benchmark1800.3
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 constraints192642
Number of constraints which are clauses191442
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 constraint90
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-3461780-1307122007.opb.
0.00/0.00	c Instance file HOME/instance-3461780-1307122007.opb
0.00/0.00	c File size is 6443623 bytes.
0.49/0.50	c Highest Coefficient sum: 540
0.49/0.50	c ============================[ Problem Statistics ]=============================
0.49/0.50	c |                                                                             |
0.49/0.50	c |  Parsing time:          0.49         s                                      |
0.49/0.50	c |  Number Variables:      54782                                               |
0.49/0.50	c |  Number Clauses:        191442                                              |
0.49/0.50	c |  Number Cardinality:    0                                                   |
0.49/0.50	c |  Number PB Constraints: 1200                                                |
0.49/0.59	c ============================[ Search Statistics ]==============================
0.49/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |   41684   192642   436678 |    64214        0   -nan |  0.000 % |
0.89/0.99	c core #1
0.89/0.99	c 
0.89/0.99	c 
0.89/0.99	c Core size: 422	Core Weight: 89	Total Weight: 89
0.89/0.99	c Current CPU time: 0.644901 s
0.89/0.99	c
0.89/0.99	c core #2
0.89/0.99	c 
0.89/0.99	c 
0.89/0.99	c Core size: 529	Core Weight: 1	Total Weight: 90
0.89/0.99	c Current CPU time: 0.72089 s
0.89/0.99	c
0.89/0.99	c core #3
0.89/0.99	c 
0.89/0.99	c 
0.89/0.99	c Core size: 477	Core Weight: 1	Total Weight: 91
0.89/0.99	c Current CPU time: 0.797878 s
0.89/0.99	c
0.89/0.99	c core #4
0.89/0.99	c 
0.89/0.99	c 
0.89/0.99	c Core size: 499	Core Weight: 1	Total Weight: 92
0.89/0.99	c Current CPU time: 0.879866 s
0.89/0.99	c
0.89/0.99	c ============================[ Search Statistics ]==============================
0.89/0.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.99	c ===============================================================================
0.89/0.99	c |         0 |    5174   152711   314979 |    50903        0   -nan |  0.000 % |
0.89/1.00	c ===============================================================================
0.99/1.08	c core #5
0.99/1.08	c 
0.99/1.08	c 
0.99/1.08	c Core size: 508	Core Weight: 1	Total Weight: 93
0.99/1.08	c Current CPU time: 0.964853 s
0.99/1.08	c
0.99/1.08	c ============================[ Search Statistics ]==============================
0.99/1.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.08	c ===============================================================================
0.99/1.08	c |         0 |    5564   152919   315561 |    50973        0   -nan |  0.000 % |
0.99/1.09	c ===============================================================================
1.11/1.17	c core #6
1.11/1.17	c 
1.11/1.17	c 
1.11/1.17	c Core size: 500	Core Weight: 1	Total Weight: 94
1.11/1.17	c Current CPU time: 1.05184 s
1.11/1.17	c
1.11/1.17	c ============================[ Search Statistics ]==============================
1.11/1.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.11/1.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.11/1.17	c ===============================================================================
1.11/1.17	c |         0 |    5953   153126   316144 |    51042        0   -nan |  0.000 % |
1.11/1.18	c ===============================================================================
1.19/1.27	c core #7
1.19/1.27	c 
1.19/1.27	c 
1.19/1.27	c Core size: 501	Core Weight: 1	Total Weight: 95
1.19/1.27	c Current CPU time: 1.14283 s
1.19/1.27	c
1.19/1.27	c ============================[ Search Statistics ]==============================
1.19/1.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.27	c ===============================================================================
1.19/1.27	c |         0 |    6341   153332   316728 |    51110        0   -nan |  0.000 % |
1.19/1.27	c ===============================================================================
1.29/1.36	c core #8
1.29/1.36	c 
1.29/1.36	c 
1.29/1.36	c Core size: 579	Core Weight: 1	Total Weight: 96
1.29/1.36	c Current CPU time: 1.23481 s
1.29/1.36	c
1.29/1.36	c ============================[ Search Statistics ]==============================
1.29/1.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.36	c ===============================================================================
1.29/1.36	c |         0 |    6728   153538   317316 |    51179        0   -nan |  0.000 % |
1.29/1.37	c ===============================================================================
1.39/1.46	c core #9
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 518	Core Weight: 1	Total Weight: 97
1.39/1.46	c Current CPU time: 1.3348 s
1.39/1.46	c
1.39/1.46	c ============================[ Search Statistics ]==============================
1.39/1.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.46	c ===============================================================================
1.39/1.46	c |         0 |    7114   153743   317905 |    51247        0   -nan |  0.000 % |
1.39/1.47	c ===============================================================================
1.49/1.56	c core #10
1.49/1.56	c 
1.49/1.56	c 
1.49/1.56	c Core size: 581	Core Weight: 1	Total Weight: 98
1.49/1.56	c Current CPU time: 1.43078 s
1.49/1.56	c
1.49/1.56	c ============================[ Search Statistics ]==============================
1.49/1.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.56	c ===============================================================================
1.49/1.56	c |         0 |    7499   153946   318492 |    51315        0   -nan |  0.000 % |
1.49/1.57	c ===============================================================================
1.59/1.66	c core #11
1.59/1.66	c 
1.59/1.66	c 
1.59/1.66	c Core size: 608	Core Weight: 1	Total Weight: 99
1.59/1.66	c Current CPU time: 1.53777 s
1.59/1.66	c
1.59/1.66	c ============================[ Search Statistics ]==============================
1.59/1.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.66	c ===============================================================================
1.59/1.66	c |         0 |    7883   154148   319080 |    51382        0   -nan |  0.000 % |
1.59/1.68	c ===============================================================================
1.68/1.78	c core #12
1.68/1.78	c 
1.68/1.78	c 
1.68/1.78	c Core size: 614	Core Weight: 1	Total Weight: 100
1.68/1.78	c Current CPU time: 1.64575 s
1.68/1.78	c
1.68/1.78	c ============================[ Search Statistics ]==============================
1.68/1.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.68/1.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.68/1.78	c ===============================================================================
1.68/1.78	c |         0 |    8266   154350   319671 |    51450        0   -nan |  0.000 % |
1.78/1.80	c |       101 |    8266   154350   319671 |    56595      101     16 | 85.564 % |
1.78/1.82	c ===============================================================================
1.88/1.91	c core #13
1.88/1.91	c 
1.88/1.91	c 
1.88/1.91	c Core size: 623	Core Weight: 1	Total Weight: 101
1.88/1.91	c Current CPU time: 1.77973 s
1.88/1.91	c
1.88/1.91	c ============================[ Search Statistics ]==============================
1.88/1.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.88/1.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.88/1.91	c ===============================================================================
1.88/1.91	c |         0 |    8648   154551   320263 |    51517        0   -nan |  0.000 % |
1.88/1.93	c |       100 |    8648   154551   320263 |    56668      100     17 | 84.950 % |
1.88/1.95	c |       250 |    8647   154551   320263 |    62335      250     17 | 85.667 % |
1.88/1.96	c ===============================================================================
1.98/2.06	c core #14
1.98/2.06	c 
1.98/2.06	c 
1.98/2.06	c Core size: 610	Core Weight: 1	Total Weight: 102
1.98/2.06	c Current CPU time: 1.92071 s
1.98/2.06	c
1.98/2.06	c ============================[ Search Statistics ]==============================
1.98/2.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.98/2.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.98/2.06	c ===============================================================================
1.98/2.06	c |         0 |    9029   154752   320860 |    51584        0   -nan |  0.000 % |
1.98/2.08	c |       101 |    9029   154752   320860 |    56742      101     16 | 84.341 % |
1.98/2.10	c |       251 |    9022   154752   320860 |    62416      251     18 | 84.556 % |
1.98/2.11	c ===============================================================================
2.09/2.21	c core #15
2.09/2.21	c 
2.09/2.21	c 
2.09/2.21	c Core size: 628	Core Weight: 1	Total Weight: 103
2.09/2.21	c Current CPU time: 2.07568 s
2.09/2.21	c
2.09/2.21	c ============================[ Search Statistics ]==============================
2.09/2.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.09/2.21	c ===============================================================================
2.09/2.21	c |         0 |    9409   154951   321455 |    51650        0   -nan |  0.000 % |
2.20/2.22	c |       100 |    9409   154951   321455 |    56815      100     15 | 83.737 % |
2.20/2.25	c |       251 |    9406   154951   321455 |    62496      251     16 | 84.121 % |
2.20/2.27	c ===============================================================================
2.29/2.37	c core #16
2.29/2.37	c 
2.29/2.37	c 
2.29/2.37	c Core size: 590	Core Weight: 1	Total Weight: 104
2.29/2.37	c Current CPU time: 2.23666 s
2.29/2.37	c
2.29/2.37	c ============================[ Search Statistics ]==============================
2.29/2.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.37	c ===============================================================================
2.29/2.37	c |         0 |    9788   155149   322051 |    51716        0   -nan |  0.000 % |
2.39/2.40	c |       100 |    9788   155149   322051 |    56887      100     16 | 83.140 % |
2.39/2.43	c |       251 |    9788   155149   322051 |    62576      251     19 | 83.140 % |
2.39/2.47	c |       477 |    9788   155149   322051 |    68834      477     20 | 83.140 % |
2.49/2.52	c |       815 |    9603   155149   322051 |    75717      815     21 | 83.459 % |
2.49/2.57	c ===============================================================================
2.59/2.66	c core #17
2.59/2.66	c 
2.59/2.66	c 
2.59/2.66	c Core size: 676	Core Weight: 1	Total Weight: 105
2.59/2.66	c Current CPU time: 2.52761 s
2.59/2.66	c
2.59/2.66	c ============================[ Search Statistics ]==============================
2.59/2.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.66	c ===============================================================================
2.59/2.66	c |         0 |   10166   155348   322653 |    51782        0   -nan |  0.000 % |
2.59/2.68	c |       100 |   10166   155348   322653 |    56960      100     18 | 82.548 % |
2.69/2.70	c |       250 |   10166   155348   322653 |    62657      250     18 | 82.548 % |
2.69/2.74	c |       477 |   10166   155348   322653 |    68922      477     20 | 82.548 % |
2.69/2.79	c |       815 |   10132   155348   322653 |    75815      815     23 | 82.606 % |
2.79/2.88	c |      1322 |   10132   155348   322653 |    83396     1322     27 | 82.606 % |
2.89/2.94	c ===============================================================================
2.99/3.04	c core #18
2.99/3.04	c 
2.99/3.04	c 
2.99/3.04	c Core size: 617	Core Weight: 1	Total Weight: 106
2.99/3.04	c Current CPU time: 2.90156 s
2.99/3.04	c
2.99/3.04	c ============================[ Search Statistics ]==============================
2.99/3.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.04	c ===============================================================================
2.99/3.04	c |         0 |   10543   155544   323250 |    51848        0   -nan |  0.000 % |
2.99/3.07	c |       100 |   10543   155544   323250 |    57032      100     22 | 81.961 % |
2.99/3.09	c |       250 |   10543   155544   323250 |    62736      250     20 | 81.961 % |
3.09/3.13	c |       476 |   10543   155544   323250 |    69009      476     22 | 81.961 % |
3.09/3.19	c |       813 |   10511   155544   323250 |    75910      813     23 | 82.016 % |
3.20/3.27	c |      1319 |   10511   155544   323250 |    83501     1319     24 | 82.016 % |
3.39/3.40	c |      2079 |   10511   155544   323250 |    91851     2079     28 | 82.016 % |
3.49/3.51	c ===============================================================================
3.59/3.61	c core #19
3.59/3.61	c 
3.59/3.61	c 
3.59/3.61	c Core size: 596	Core Weight: 1	Total Weight: 107
3.59/3.61	c Current CPU time: 3.46847 s
3.59/3.61	c
3.59/3.61	c ============================[ Search Statistics ]==============================
3.59/3.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.61	c ===============================================================================
3.59/3.61	c |         0 |   10919   155739   323848 |    51913        0   -nan |  0.000 % |
3.59/3.63	c |       100 |   10919   155739   323848 |    57104      100     22 | 81.379 % |
3.59/3.65	c |       251 |   10919   155739   323848 |    62814      251     24 | 81.379 % |
3.69/3.70	c |       476 |   10919   155739   323848 |    69096      476     24 | 81.379 % |
3.69/3.76	c |       814 |   10919   155739   323848 |    76005      814     26 | 81.379 % |
3.79/3.85	c |      1321 |   10919   155739   323848 |    83606     1321     27 | 81.379 % |
3.89/3.98	c |      2081 |   10559   155739   323848 |    91967     2081     29 | 81.993 % |
4.19/4.20	c |      3221 |   10219   155739   323848 |   101163     3221     32 | 82.573 % |
4.29/4.38	c ===============================================================================
4.40/4.49	c core #20
4.40/4.49	c 
4.40/4.49	c 
4.40/4.49	c Core size: 794	Core Weight: 1	Total Weight: 108
4.40/4.49	c Current CPU time: 4.32734 s
4.40/4.49	c
4.40/4.49	c ============================[ Search Statistics ]==============================
4.40/4.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.49	c ===============================================================================
4.40/4.49	c |         0 |   11294   155935   324454 |    51978        0   -nan |  0.000 % |
4.48/4.52	c |       101 |   11294   155935   324454 |    57176      101     18 | 80.803 % |
4.48/4.54	c |       251 |   11294   155935   324454 |    62893      251     19 | 80.803 % |
4.48/4.58	c |       477 |   11294   155935   324454 |    69183      477     23 | 80.803 % |
4.58/4.65	c |       815 |   11294   155935   324454 |    76101      815     25 | 80.803 % |
4.69/4.73	c |      1322 |   11294   155935   324454 |    83711     1322     26 | 80.803 % |
4.79/4.87	c |      2081 |   11294   155935   324454 |    92082     2081     28 | 80.803 % |
5.09/5.10	c |      3220 |   11294   155935   324454 |   101291     3220     30 | 80.803 % |
5.39/5.45	c |      4928 |   10656   155935   324454 |   111420     4928     33 | 81.887 % |
5.58/5.64	c ===============================================================================
5.68/5.75	c core #21
5.68/5.75	c 
5.68/5.75	c 
5.68/5.75	c Core size: 655	Core Weight: 1	Total Weight: 109
5.68/5.75	c Current CPU time: 5.58615 s
5.68/5.75	c
5.68/5.75	c ============================[ Search Statistics ]==============================
5.68/5.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.75	c ===============================================================================
5.68/5.75	c |         0 |   11668   156133   325070 |    52044        0   -nan |  0.000 % |
5.68/5.78	c |       102 |   11668   156133   325070 |    57248      102     19 | 80.232 % |
5.78/5.81	c |       252 |   11668   156133   325070 |    62973      252     21 | 80.232 % |
5.78/5.86	c |       477 |   11668   156133   325070 |    69271      477     23 | 80.232 % |
5.88/5.92	c |       814 |   11668   156133   325070 |    76198      814     25 | 80.232 % |
5.98/6.02	c |      1321 |   11668   156133   325070 |    83817     1321     25 | 80.232 % |
6.08/6.16	c |      2080 |   11668   156133   325070 |    92199     2080     30 | 80.232 % |
6.38/6.40	c |      3220 |   11668   156133   325070 |   101419     3220     31 | 80.232 % |
6.68/6.75	c |      4928 |   11668   156133   325070 |   111561     4928     33 | 80.232 % |
7.28/7.33	c |      7490 |   11668   156133   325070 |   122717     7490     36 | 80.232 % |
8.08/8.13	c ===============================================================================
8.18/8.25	c core #22
8.18/8.25	c 
8.18/8.25	c 
8.18/8.25	c Core size: 642	Core Weight: 1	Total Weight: 110
8.18/8.25	c Current CPU time: 8.06577 s
8.18/8.25	c
8.18/8.25	c ============================[ Search Statistics ]==============================
8.18/8.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.18/8.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.18/8.25	c ===============================================================================
8.18/8.25	c |         0 |   12041   156337   325708 |    52112        0   -nan |  0.000 % |
8.18/8.27	c |       100 |   12041   156337   325708 |    57323      100     20 | 79.666 % |
8.28/8.30	c |       253 |   12041   156337   325708 |    63055      253     22 | 79.666 % |
8.28/8.34	c |       479 |   12041   156337   325708 |    69361      479     21 | 79.666 % |
8.39/8.41	c |       818 |   12041   156337   325708 |    76297      818     24 | 79.666 % |
8.39/8.49	c |      1324 |   12041   156337   325708 |    83927     1324     24 | 79.666 % |
8.59/8.64	c |      2086 |   12041   156337   325708 |    92320     2086     29 | 79.666 % |
8.80/8.84	c |      3225 |   12041   156337   325708 |   101552     3225     29 | 79.666 % |
9.09/9.18	c |      4933 |   11869   156337   325708 |   111707     4933     31 | 79.956 % |
9.68/9.73	c |      7497 |   11869   156337   325708 |   122878     7497     35 | 79.956 % |
10.48/10.56	c |     11341 |   11562   156337   325708 |   135165    11341     37 | 80.475 % |
11.59/11.61	c ===============================================================================
11.69/11.72	c core #23
11.69/11.72	c 
11.69/11.72	c 
11.69/11.72	c Core size: 655	Core Weight: 1	Total Weight: 111
11.69/11.72	c Current CPU time: 11.5342 s
11.69/11.72	c
11.69/11.72	c ============================[ Search Statistics ]==============================
11.69/11.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.69/11.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.69/11.72	c ===============================================================================
11.69/11.72	c |         0 |   12413   156534   326329 |    52178        0   -nan |  0.000 % |
11.69/11.75	c |       102 |   12413   156534   326329 |    57395      102     20 | 79.104 % |
11.69/11.79	c |       252 |   12413   156534   326329 |    63135      252     25 | 79.104 % |
11.78/11.83	c |       478 |   12413   156534   326329 |    69448      478     30 | 79.104 % |
11.78/11.89	c |       816 |   12413   156534   326329 |    76393      816     26 | 79.104 % |
11.88/11.99	c |      1323 |   12413   156534   326329 |    84033     1323     27 | 79.104 % |
12.10/12.15	c |      2083 |   12413   156534   326329 |    92436     2083     28 | 79.104 % |
12.38/12.42	c |      3224 |   12413   156534   326329 |   101680     3224     30 | 79.104 % |
12.68/12.77	c |      4932 |   12413   156534   326329 |   111848     4932     32 | 79.104 % |
13.28/13.38	c |      7498 |   12413   156534   326329 |   123032     7498     35 | 79.104 % |
14.19/14.29	c |     11342 |   12413   156534   326329 |   135336    11342     36 | 79.104 % |
15.68/15.71	c |     17108 |   12413   156534   326329 |   148869    17108     38 | 79.104 % |
18.08/18.18	c |     25757 |   12326   156534   326329 |   163756    25757     41 | 79.759 % |
21.08/21.11	c ===============================================================================
21.18/21.24	c core #24
21.18/21.24	c 
21.18/21.24	c 
21.18/21.24	c Core size: 689	Core Weight: 1	Total Weight: 112
21.18/21.24	c Current CPU time: 21.0138 s
21.18/21.24	c
21.18/21.24	c ============================[ Search Statistics ]==============================
21.18/21.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.18/21.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.18/21.24	c ===============================================================================
21.18/21.24	c |         0 |   12784   156734   326961 |    52244        0   -nan |  0.000 % |
21.18/21.27	c |       103 |   12784   156734   326961 |    57469      103     25 | 78.548 % |
21.18/21.29	c |       254 |   12784   156734   326961 |    63216      254     25 | 78.548 % |
21.28/21.34	c |       479 |   12784   156734   326961 |    69537      479     28 | 78.548 % |
21.38/21.40	c |       816 |   12784   156734   326961 |    76491      816     28 | 78.548 % |
21.48/21.50	c |      1322 |   12784   156734   326961 |    84140     1322     28 | 78.548 % |
21.58/21.65	c |      2081 |   12784   156734   326961 |    92554     2081     28 | 78.548 % |
21.78/21.87	c |      3220 |   12784   156734   326961 |   101810     3220     29 | 78.548 % |
22.18/22.26	c |      4928 |   12784   156734   326961 |   111991     4928     31 | 78.548 % |
22.79/22.82	c |      7490 |   12784   156734   326961 |   123190     7490     33 | 78.548 % |
23.58/23.66	c |     11335 |   12784   156734   326961 |   135509    11335     35 | 78.548 % |
24.88/24.99	c |     17101 |   12784   156734   326961 |   149060    17101     37 | 78.548 % |
27.28/27.35	c |     25750 |   12703   156734   326961 |   163966    25750     39 | 78.684 % |
31.48/31.58	c |     38725 |   12687   156734   326961 |   180362    38725     40 | 78.711 % |
39.18/39.22	c |     58186 |   11902   156734   326961 |   198399    58186     43 | 81.263 % |
39.18/39.26	c ===============================================================================
39.28/39.39	c core #25
39.28/39.39	c 
39.28/39.39	c 
39.28/39.39	c Core size: 682	Core Weight: 1	Total Weight: 113
39.28/39.39	c Current CPU time: 39.1131 s
39.28/39.39	c
39.28/39.39	c ============================[ Search Statistics ]==============================
39.28/39.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.28/39.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.28/39.39	c ===============================================================================
39.28/39.39	c |         0 |   13154   156947   327636 |    52315        0   -nan |  0.000 % |
39.38/39.42	c |       100 |   13154   156947   327636 |    57547      100     19 | 77.997 % |
39.38/39.45	c |       250 |   13154   156947   327636 |    63301      250     23 | 77.997 % |
39.38/39.49	c |       476 |   13154   156947   327636 |    69632      476     23 | 77.997 % |
39.49/39.57	c |       813 |   13154   156947   327636 |    76595      813     24 | 77.997 % |
39.60/39.66	c |      1319 |   13154   156947   327636 |    84254     1319     26 | 77.997 % |
39.78/39.81	c |      2078 |   13154   156947   327636 |    92680     2078     26 | 77.997 % |
39.98/40.06	c |      3217 |   13154   156947   327636 |   101948     3217     28 | 77.997 % |
40.38/40.41	c |      4925 |   13154   156947   327636 |   112143     4925     32 | 77.997 % |
40.88/40.96	c |      7487 |   13154   156947   327636 |   123357     7487     34 | 77.997 % |
41.80/41.82	c |     11333 |   13154   156947   327636 |   135693    11333     36 | 77.997 % |
43.08/43.19	c |     17100 |   13154   156947   327636 |   149262    17100     40 | 77.997 % |
45.58/45.60	c |     25749 |   13154   156947   327636 |   164188    25749     43 | 77.997 % |
49.78/49.86	c |     38724 |   13154   156947   327636 |   180607    38724     46 | 77.997 % |
57.78/57.89	c |     58185 |   12742   156947   327636 |   198668    58185     48 | 78.686 % |
71.68/71.70	c ===============================================================================
71.78/71.85	c core #26
71.78/71.85	c 
71.78/71.85	c 
71.78/71.85	c Core size: 650	Core Weight: 1	Total Weight: 114
71.78/71.85	c Current CPU time: 71.4831 s
71.78/71.85	c
71.78/71.85	c ============================[ Search Statistics ]==============================
71.78/71.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
71.78/71.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
71.78/71.85	c ===============================================================================
71.78/71.85	c |         0 |   13523   157157   328305 |    52385        0   -nan |  0.000 % |
71.78/71.87	c |       100 |   13523   157157   328305 |    57624      100     26 | 77.450 % |
71.88/71.90	c |       253 |   13523   157157   328305 |    63386      253     25 | 77.450 % |
71.88/71.96	c |       478 |   13523   157157   328305 |    69725      478     27 | 77.450 % |
71.98/72.03	c |       816 |   13523   157157   328305 |    76697      816     29 | 77.450 % |
72.08/72.13	c |      1322 |   13523   157157   328305 |    84367     1322     29 | 77.450 % |
72.18/72.27	c |      2083 |   13523   157157   328305 |    92804     2083     27 | 77.450 % |
72.38/72.49	c |      3222 |   13523   157157   328305 |   102084     3222     30 | 77.450 % |
72.78/72.87	c |      4930 |   13523   157157   328305 |   112293     4930     36 | 77.450 % |
73.28/73.36	c |      7492 |   13523   157157   328305 |   123522     7492     35 | 77.450 % |
74.18/74.28	c |     11336 |   13523   157157   328305 |   135874    11336     36 | 77.450 % |
75.68/75.73	c |     17102 |   13523   157157   328305 |   149462    17102     36 | 77.450 % |
77.99/78.02	c |     25751 |   13523   157157   328305 |   164408    25751     37 | 77.450 % |
82.58/82.61	c |     38725 |   13523   157157   328305 |   180849    38725     39 | 77.450 % |
89.98/90.10	c |     58188 |   13523   157157   328305 |   198934    58188     43 | 77.450 % |
104.39/104.44	c |     87380 |   13453   157157   328305 |   218827    87380     44 | 77.567 % |
133.11/133.15	c |    131171 |   13453   157157   328305 |   240710   131171     47 | 77.567 % |
168.58/168.63	c ===============================================================================
168.79/168.83	c core #27
168.79/168.83	c 
168.79/168.83	c 
168.79/168.83	c Core size: 658	Core Weight: 1	Total Weight: 115
168.79/168.83	c Current CPU time: 168.246 s
168.79/168.83	c
168.79/168.83	c ============================[ Search Statistics ]==============================
168.79/168.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
168.79/168.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
168.79/168.83	c ===============================================================================
168.79/168.83	c |         0 |   13891   157382   329022 |    52460        0   -nan |  0.000 % |
168.79/168.85	c |       101 |   13891   157382   329022 |    57706      101     19 | 76.908 % |
168.79/168.88	c |       252 |   13891   157382   329022 |    63477      252     28 | 76.908 % |
168.88/168.93	c |       477 |   13891   157382   329022 |    69825      477     31 | 76.908 % |
168.88/168.99	c |       815 |   13891   157382   329022 |    76807      815     28 | 76.908 % |
169.08/169.10	c |      1321 |   13891   157382   329022 |    84488     1321     29 | 76.908 % |
169.18/169.25	c |      2083 |   13891   157382   329022 |    92937     2083     35 | 76.908 % |
169.40/169.47	c |      3223 |   13891   157382   329022 |   102230     3223     36 | 76.908 % |
169.78/169.86	c |      4931 |   13891   157382   329022 |   112454     4931     39 | 76.908 % |
170.40/170.48	c |      7493 |   13891   157382   329022 |   123699     7493     39 | 76.908 % |
171.29/171.36	c |     11337 |   13891   157382   329022 |   136069    11337     41 | 76.908 % |
172.78/172.84	c |     17105 |   13891   157382   329022 |   149676    17105     45 | 76.908 % |
175.19/175.24	c |     25755 |   13891   157382   329022 |   164644    25755     44 | 76.908 % |
179.38/179.48	c |     38731 |   13891   157382   329022 |   181108    38731     45 | 76.908 % |
186.78/186.84	c |     58192 |   13891   157382   329022 |   199219    58192     46 | 76.908 % |
200.20/200.25	c |     87386 |   13891   157382   329022 |   219141    87386     49 | 76.908 % |
227.99/228.05	c |    131175 |   13807   157382   329022 |   241055   131175     50 | 77.048 % |
284.58/284.69	c |    196859 |   13807   157382   329022 |   265160   196859     51 | 77.048 % |
383.49/383.59	c ===============================================================================
383.80/383.83	c core #28
383.80/383.83	c 
383.80/383.83	c 
383.80/383.83	c Core size: 663	Core Weight: 1	Total Weight: 116
383.80/383.83	c Current CPU time: 382.934 s
383.80/383.83	c
383.80/383.83	c ============================[ Search Statistics ]==============================
383.80/383.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
383.80/383.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
383.80/383.83	c ===============================================================================
383.80/383.83	c |         0 |   14258   157600   329724 |    52533        0   -nan |  0.000 % |
383.80/383.86	c |       100 |   14258   157600   329724 |    57786      100     23 | 76.371 % |
383.80/383.89	c |       250 |   14258   157600   329724 |    63565      250     23 | 76.371 % |
383.91/383.94	c |       475 |   14258   157600   329724 |    69921      475     26 | 76.371 % |
383.99/384.00	c |       812 |   14258   157600   329724 |    76914      812     28 | 76.371 % |
384.09/384.11	c |      1318 |   14258   157600   329724 |    84605     1318     31 | 76.371 % |
384.19/384.25	c |      2077 |   14258   157600   329724 |    93066     2077     32 | 76.371 % |
384.39/384.48	c |      3216 |   14258   157600   329724 |   102372     3216     32 | 76.371 % |
384.79/384.87	c |      4924 |   14258   157600   329724 |   112609     4924     37 | 76.371 % |
385.29/385.38	c |      7486 |   14258   157600   329724 |   123870     7486     37 | 76.371 % |
386.20/386.27	c |     11330 |   14258   157600   329724 |   136257    11330     38 | 76.371 % |
387.59/387.64	c |     17097 |   14258   157600   329724 |   149883    17097     41 | 76.371 % |
390.09/390.12	c |     25748 |   14258   157600   329724 |   164872    25748     42 | 76.371 % |
394.30/394.37	c |     38724 |   14258   157600   329724 |   181359    38724     44 | 76.371 % |
401.80/401.81	c |     58186 |   14258   157600   329724 |   199495    58186     44 | 76.371 % |
413.99/414.08	c |     87378 |   14258   157600   329724 |   219444    87378     47 | 76.371 % |
440.69/440.72	c |    131168 |   14258   157600   329724 |   241389   131168     49 | 76.371 % |
499.69/499.76	c |    196854 |   14258   157600   329724 |   265528   196854     51 | 76.371 % |
620.10/620.18	c |    295381 |   14250   157600   329724 |   292080   295381     52 | 76.384 % |
732.30/732.35	c ===============================================================================
732.62/732.65	c core #29
732.62/732.65	c 
732.62/732.65	c 
732.62/732.65	c Core size: 565	Core Weight: 1	Total Weight: 117
732.62/732.65	c Current CPU time: 731.238 s
732.62/732.65	c
732.62/732.65	c ============================[ Search Statistics ]==============================
732.62/732.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
732.62/732.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
732.62/732.65	c ===============================================================================
732.62/732.65	c |         0 |   14624   157830   330461 |    52610        0   -nan |  0.000 % |
732.62/732.68	c |       100 |   14624   157830   330461 |    57871      100     24 | 75.838 % |
732.70/732.71	c |       250 |   14624   157830   330461 |    63658      250     24 | 75.838 % |
732.70/732.76	c |       475 |   14624   157830   330461 |    70023      475     27 | 75.838 % |
732.80/732.84	c |       812 |   14624   157830   330461 |    77026      812     27 | 75.838 % |
732.90/732.94	c |      1318 |   14624   157830   330461 |    84728     1318     27 | 75.838 % |
733.10/733.11	c |      2077 |   14624   157830   330461 |    93201     2077     27 | 75.838 % |
733.30/733.40	c |      3217 |   14624   157830   330461 |   102522     3217     30 | 75.838 % |
733.72/733.79	c |      4925 |   14624   157830   330461 |   112774     4925     31 | 75.838 % |
734.51/734.50	c |      7488 |   14624   157830   330461 |   124051     7488     36 | 75.838 % |
735.40/735.49	c |     11332 |   14624   157830   330461 |   136456    11332     38 | 75.838 % |
737.10/737.13	c |     17098 |   14624   157830   330461 |   150102    17098     41 | 75.838 % |
739.90/739.94	c |     25747 |   14624   157830   330461 |   165112    25747     43 | 75.838 % |
744.61/744.62	c |     38721 |   14624   157830   330461 |   181623    38721     44 | 75.838 % |
752.20/752.20	c |     58183 |   14624   157830   330461 |   199786    58183     50 | 75.838 % |
765.51/765.58	c |     87375 |   14624   157830   330461 |   219765    87375     51 | 75.838 % |
796.11/796.16	c |    131164 |   14624   157830   330461 |   241741   131164     51 | 75.838 % |
857.60/857.66	c |    196849 |   14624   157830   330461 |   265915   196849     52 | 75.838 % |
972.01/972.08	c |    295375 |   14624   157830   330461 |   292507   295375     53 | 75.838 % |
1106.01/1106.05	c |    443165 |   14624   157830   330461 |   321757   129508     53 | 75.838 % |
1377.91/1377.93	c |    664848 |   14178   157830   330461 |   353933   351191     58 | 76.575 % |
1499.12/1499.15	c ===============================================================================
1499.62/1499.66	c core #30
1499.62/1499.66	c 
1499.62/1499.66	c 
1499.62/1499.66	c Core size: 888	Core Weight: 1	Total Weight: 118
1499.62/1499.66	c Current CPU time: 1497.12 s
1499.62/1499.66	c
1499.62/1499.66	c ============================[ Search Statistics ]==============================
1499.62/1499.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1499.62/1499.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1499.62/1499.66	c ===============================================================================
1499.62/1499.66	c |         0 |   14989   158059   331202 |    52686        0   -nan |  0.000 % |
1499.62/1499.69	c |       100 |   14989   158059   331202 |    57954      100     26 | 75.309 % |
1499.72/1499.72	c |       250 |   14989   158059   331202 |    63750      250     24 | 75.309 % |
1499.72/1499.78	c |       476 |   14989   158059   331202 |    70125      476     25 | 75.309 % |
1499.82/1499.85	c |       813 |   14989   158059   331202 |    77138      813     29 | 75.309 % |
1499.92/1499.99	c |      1320 |   14989   158059   331202 |    84851     1320     31 | 75.309 % |
1500.12/1500.13	c |      2080 |   14989   158059   331202 |    93337     2080     28 | 75.309 % |
1500.44/1500.44	c |      3219 |   14989   158059   331202 |   102670     3219     32 | 75.309 % |
1500.83/1500.89	c |      4928 |   14989   158059   331202 |   112937     4928     36 | 75.309 % |
1501.63/1501.63	c |      7490 |   14989   158059   331202 |   124231     7490     43 | 75.309 % |
1502.72/1502.78	c |     11334 |   14989   158059   331202 |   136654    11334     41 | 75.309 % |
1504.33/1504.36	c |     17101 |   14989   158059   331202 |   150320    17101     43 | 75.309 % |
1506.93/1506.92	c |     25750 |   14989   158059   331202 |   165352    25750     45 | 75.309 % |
1511.73/1511.74	c |     38724 |   14989   158059   331202 |   181887    38724     46 | 75.309 % |
1519.23/1519.21	c |     58185 |   14989   158059   331202 |   200076    58185     49 | 75.309 % |
1532.63/1532.63	c |     87378 |   14989   158059   331202 |   220083    87378     49 | 75.309 % |
1559.84/1559.83	c |    131169 |   14989   158059   331202 |   242092   131169     51 | 75.309 % |
1614.32/1614.32	c |    196853 |   14989   158059   331202 |   266301   196853     53 | 75.309 % |
1724.33/1724.34	c |    295379 |   14989   158059   331202 |   292931   295379     55 | 75.309 % |

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-3461780-1307122007/watcher-3461780-1307122007 -o /tmp/evaluation-result-3461780-1307122007/solver-3461780-1307122007 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461780-1307122007.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: 1.86 1.99 1.99 3/524 21353
/proc/meminfo: memFree=23909608/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=9552 CPUtime=0 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 591 0 0 0 0 0 0 0 25 0 1 0 823798415 9781248 545 33554432000 4194304 5714214 140736847303280 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 2388 546 181 372 0 439 0

[startup+0.0667029 s]
/proc/loadavg: 1.86 1.99 1.99 3/524 21353
/proc/meminfo: memFree=23909608/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=19264 CPUtime=0.06 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 3119 0 0 0 6 0 0 0 25 0 1 0 823798415 19726336 2991 33554432000 4194304 5714214 140736847303280 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 4816 2991 381 372 0 2867 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19264

[startup+0.100692 s]
/proc/loadavg: 1.86 1.99 1.99 3/524 21353
/proc/meminfo: memFree=23909608/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=20612 CPUtime=0.09 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 3577 0 0 0 9 0 0 0 25 0 1 0 823798415 21106688 3449 33554432000 4194304 5714214 140736847303280 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 5153 3449 501 372 0 3204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20612

[startup+0.300652 s]
/proc/loadavg: 1.86 1.99 1.99 3/524 21353
/proc/meminfo: memFree=23909608/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=32312 CPUtime=0.29 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 7213 0 0 0 28 1 0 0 25 0 1 0 823798415 33087488 6786 33554432000 4194304 5714214 140736847303280 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 8078 6787 1198 372 0 6129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32312

[startup+0.70058 s]
/proc/loadavg: 1.86 1.99 1.99 3/524 21353
/proc/meminfo: memFree=23909608/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=84500 CPUtime=0.69 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 24017 0 0 0 66 3 0 0 18 0 1 0 823798415 86528000 20168 33554432000 4194304 5714214 140736847303280 18446744073709551615 4337051 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 21125 20168 176 372 0 20750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84500

[startup+1.50043 s]
/proc/loadavg: 1.86 1.99 1.99 3/525 21354
/proc/meminfo: memFree=23768860/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=90404 CPUtime=1.49 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 26934 0 0 0 146 3 0 0 19 0 1 0 823798415 92573696 21932 33554432000 4194304 5714214 140736847303280 18446744073709551615 4355585 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 22601 21932 179 372 0 22226 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90404

[startup+3.10114 s]
/proc/loadavg: 1.86 1.99 1.99 3/525 21354
/proc/meminfo: memFree=23760060/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=92564 CPUtime=3.09 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 27441 0 0 0 305 4 0 0 18 0 1 0 823798415 94785536 22439 33554432000 4194304 5714214 140736847303280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21353/statm: 23141 22439 180 372 0 22766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92564

[startup+6.30058 s]
/proc/loadavg: 1.87 1.99 1.99 3/525 21354
/proc/meminfo: memFree=23752504/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=90404 CPUtime=6.28 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 28077 0 0 0 623 5 0 0 23 0 1 0 823798415 92573696 22185 33554432000 4194304 5714214 140736847303280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 22601 22185 180 372 0 22226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 90404

[startup+12.7004 s]
/proc/loadavg: 1.88 1.99 1.99 3/525 21354
/proc/meminfo: memFree=23746616/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=98324 CPUtime=12.68 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 29857 0 0 0 1261 7 0 0 25 0 1 0 823798415 100683776 23965 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 24581 23965 180 372 0 24206 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 98324

[startup+25.5011 s]
/proc/loadavg: 1.91 1.99 1.99 3/525 21354
/proc/meminfo: memFree=23737884/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=103556 CPUtime=25.48 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 31155 0 0 0 2538 10 0 0 25 0 1 0 823798415 106041344 25263 33554432000 4194304 5714214 140736847303280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 25889 25263 180 372 0 25514 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103556

[startup+51.1005 s]
/proc/loadavg: 1.94 1.99 1.99 3/525 21355
/proc/meminfo: memFree=23720292/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=112160 CPUtime=51.09 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 33168 0 0 0 5091 18 0 0 25 0 1 0 823798415 114851840 27276 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 28040 27276 180 372 0 27665 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112160

[startup+102.32 s]
/proc/loadavg: 1.97 1.99 1.99 3/525 21356
/proc/meminfo: memFree=23677608/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=123880 CPUtime=102.3 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 36037 0 0 0 10202 28 0 0 25 0 1 0 823798415 126853120 30145 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 30970 30145 180 372 0 30595 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 123880

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/525 21358
/proc/meminfo: memFree=23667272/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=132744 CPUtime=162.28 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 38397 0 0 0 16191 37 0 0 25 0 1 0 823798415 135929856 32505 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 33186 32505 180 372 0 32811 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 132744

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/525 21360
/proc/meminfo: memFree=23620112/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=157740 CPUtime=222.29 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 44392 0 0 0 22180 49 0 0 25 0 1 0 823798415 161525760 38500 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 39435 38500 180 372 0 39060 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 157740

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/525 21361
/proc/meminfo: memFree=23602352/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=157740 CPUtime=282.29 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 44688 0 0 0 28174 55 0 0 25 0 1 0 823798415 161525760 38796 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 39435 38796 180 372 0 39060 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 157740

[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/525 21363
/proc/meminfo: memFree=23572176/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=167248 CPUtime=342.29 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 47030 0 0 0 34168 61 0 0 25 0 1 0 823798415 171261952 41138 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 41812 41138 180 372 0 41437 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 167248

[startup+402.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/525 21364
/proc/meminfo: memFree=23538904/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=201484 CPUtime=402.29 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 55267 0 0 0 40157 72 0 0 25 0 1 0 823798415 206319616 49375 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 50371 49375 180 372 0 49996 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 201484

[startup+462.301 s]
/proc/loadavg: 2.24 2.05 2.01 3/525 21366
/proc/meminfo: memFree=23538140/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=201484 CPUtime=462.3 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 55424 0 0 0 46147 83 0 0 25 0 1 0 823798415 206319616 49532 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 50371 49532 180 372 0 49996 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 201484

[startup+522.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/525 21368
/proc/meminfo: memFree=23537596/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=201484 CPUtime=522.3 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 55426 0 0 0 52141 89 0 0 25 0 1 0 823798415 206319616 49534 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 50371 49534 180 372 0 49996 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 201484

[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/525 21369
/proc/meminfo: memFree=23536556/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=201484 CPUtime=582.29 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 55530 0 0 0 58133 96 0 0 25 0 1 0 823798415 206319616 49638 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 50371 49638 180 372 0 49996 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 201484

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21376
/proc/meminfo: memFree=23480184/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=822.3 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 58901 0 0 0 82105 125 0 0 25 0 1 0 823798415 220393472 53009 33554432000 4194304 5714214 140736847303280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53009 180 372 0 53432 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 215228

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21377
/proc/meminfo: memFree=23478280/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=882.31 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 58991 0 0 0 88097 134 0 0 25 0 1 0 823798415 220393472 53099 33554432000 4194304 5714214 140736847303280 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53099 180 372 0 53432 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 215228

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21379
/proc/meminfo: memFree=23478720/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=942.31 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 58992 0 0 0 94091 140 0 0 25 0 1 0 823798415 220393472 53100 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53100 180 372 0 53432 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 215228

[startup+1002.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/525 21380
/proc/meminfo: memFree=23478296/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=1002.31 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 58996 0 0 0 100085 146 0 0 25 0 1 0 823798415 220393472 53104 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53104 180 372 0 53432 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 215228

[startup+1062.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/525 21382
/proc/meminfo: memFree=23460652/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=1062.31 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 59062 0 0 0 106079 152 0 0 25 0 1 0 823798415 220393472 53170 33554432000 4194304 5714214 140736847303280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53170 180 372 0 53432 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 215228

[startup+1122.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/525 21384
/proc/meminfo: memFree=23430724/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=1122.31 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 59062 0 0 0 112069 162 0 0 25 0 1 0 823798415 220393472 53170 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53170 180 372 0 53432 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 215228

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 21385
/proc/meminfo: memFree=23429580/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=1182.31 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 59062 0 0 0 118063 168 0 0 25 0 1 0 823798415 220393472 53170 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53170 180 372 0 53432 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 215228

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/525 21387
/proc/meminfo: memFree=23428044/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=215228 CPUtime=1242.32 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 59203 0 0 0 124057 175 0 0 25 0 1 0 823798415 220393472 53311 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 53807 53311 180 372 0 53432 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 215228

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 21388
/proc/meminfo: memFree=23410260/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=232504 CPUtime=1302.32 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 63475 0 0 0 130049 183 0 0 25 0 1 0 823798415 238084096 57583 33554432000 4194304 5714214 140736847303280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 58126 57583 180 372 0 57751 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 232504

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21390
/proc/meminfo: memFree=23396088/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=248024 CPUtime=1362.32 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 67292 0 0 0 136040 192 0 0 25 0 1 0 823798415 253976576 61400 33554432000 4194304 5714214 140736847303280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 62006 61400 180 372 0 61631 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 248024

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21392
/proc/meminfo: memFree=23384396/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=260792 CPUtime=1422.34 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 70484 0 0 0 142036 198 0 0 25 0 1 0 823798415 267051008 64592 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 65198 64592 180 372 0 64823 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 260792

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21393
/proc/meminfo: memFree=23372576/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=272160 CPUtime=1482.33 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 73304 0 0 0 148028 205 0 0 25 0 1 0 823798415 278691840 67412 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 68040 67412 180 372 0 67665 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 272160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21395
/proc/meminfo: memFree=23362120/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=282924 CPUtime=1542.33 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 75848 0 0 0 154018 215 0 0 25 0 1 0 823798415 289714176 69956 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 70731 69956 180 372 0 70356 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 282924

[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/525 21396
/proc/meminfo: memFree=23362196/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=282924 CPUtime=1602.33 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 75849 0 0 0 160011 222 0 0 25 0 1 0 823798415 289714176 69957 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 70731 69957 180 372 0 70356 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 282924

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/525 21398
/proc/meminfo: memFree=23361900/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=282924 CPUtime=1662.33 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 75850 0 0 0 166005 228 0 0 25 0 1 0 823798415 289714176 69958 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 70731 69958 180 372 0 70356 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 282924

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 21400
/proc/meminfo: memFree=23361864/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=282924 CPUtime=1722.33 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 75851 0 0 0 171998 235 0 0 25 0 1 0 823798415 289714176 69959 33554432000 4194304 5714214 140736847303280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 70731 69959 180 372 0 70356 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 282924

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/525 21401
/proc/meminfo: memFree=23359576/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=282924 CPUtime=1782.33 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 75851 0 0 0 177993 240 0 0 25 0 1 0 823798415 289714176 69959 33554432000 4194304 5714214 140736847303280 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 70731 69959 180 372 0 70356 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 282924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 2/523 21403
/proc/meminfo: memFree=23646248/32951124 swapFree=56930356/67111528
[pid=21353] ppid=21351 vsize=282924 CPUtime=1800.03 cores=0,2,4,6
/proc/21353/stat : 21353 (wbo1.6) R 21351 21353 18788 0 -1 4202496 75853 0 0 0 179761 242 0 0 25 0 1 0 823798415 289714176 69961 33554432000 4194304 5714214 140736847303280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21353/statm: 70731 69961 180 372 0 70356 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 282924

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.07
CPU user time (s): 1797.63
CPU system time (s): 2.44363
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 282924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.63
system time used= 2.44363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75853
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= 8
involuntary context switches= 3671

runsolver used 9.76652 second user time and 21.3578 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-03 19:26:47
IDJOB=3461780
IDBENCH=77755
IDSOLVER=1953
FILE ID=node137/3461780-1307122007
RUNJOBID= node137-1307122004-21279
PBS_JOBID= 13497961
Free space on /tmp= 73692 MiB

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

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

MD5SUM BENCH= 164e1d7c8e885527f3cc100614dc9c6f
RANDOM SEED=1825892840

node137.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.844
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.68
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.844
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.75
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.844
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.74
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.844
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.74
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.844
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.82
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23909888 kB
Buffers:        247768 kB
Cached:         501420 kB
SwapCached:      12308 kB
Active:        8340000 kB
Inactive:       439312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23909888 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:           20780 kB
Writeback:           8 kB
AnonPages:     8027140 kB
Mapped:          25896 kB
Slab:           117704 kB
PageTables:      74432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162557928 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= 73700 MiB
End job on node137 at 2011-06-03 19:56:49