Trace number 3461731

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12052_2.std.opb
MD5SUM38fb0c3d6aceb5f008836e7f9c186fab
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark200
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256243
Number of constraints which are clauses255043
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 constraint98
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-3461731-1307121117.opb.
0.00/0.00	c Instance file HOME/instance-3461731-1307121117.opb
0.00/0.00	c File size is 8259517 bytes.
0.59/0.64	c Highest Coefficient sum: 557
0.59/0.64	c ============================[ Problem Statistics ]=============================
0.59/0.64	c |                                                                             |
0.59/0.64	c |  Parsing time:          0.62         s                                      |
0.59/0.64	c |  Number Variables:      72842                                               |
0.59/0.64	c |  Number Clauses:        255043                                              |
0.59/0.64	c |  Number Cardinality:    0                                                   |
0.59/0.64	c |  Number PB Constraints: 1200                                                |
0.69/0.76	c ============================[ Search Statistics ]==============================
0.69/0.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.76	c ===============================================================================
0.69/0.76	c |         0 |   50792   256243   518595 |    85414        0   -nan |  0.000 % |
1.39/1.46	c core #1
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 378	Core Weight: 111	Total Weight: 111
1.39/1.46	c Current CPU time: 0.821875 s
1.39/1.46	c
1.39/1.46	c core #2
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 485	Core Weight: 1	Total Weight: 112
1.39/1.46	c Current CPU time: 0.913861 s
1.39/1.46	c
1.39/1.46	c core #3
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 415	Core Weight: 1	Total Weight: 113
1.39/1.46	c Current CPU time: 1.01085 s
1.39/1.46	c
1.39/1.46	c core #4
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 407	Core Weight: 1	Total Weight: 114
1.39/1.46	c Current CPU time: 1.10983 s
1.39/1.46	c
1.39/1.46	c core #5
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 457	Core Weight: 1	Total Weight: 115
1.39/1.46	c Current CPU time: 1.20682 s
1.39/1.46	c
1.39/1.46	c core #6
1.39/1.46	c 
1.39/1.46	c 
1.39/1.46	c Core size: 461	Core Weight: 1	Total Weight: 116
1.39/1.46	c Current CPU time: 1.3128 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 |    7825   189261   377866 |    63087        0   -nan |  0.000 % |
1.39/1.46	c ===============================================================================
1.49/1.57	c core #7
1.49/1.57	c 
1.49/1.57	c 
1.49/1.57	c Core size: 536	Core Weight: 1	Total Weight: 117
1.49/1.57	c Current CPU time: 1.42278 s
1.49/1.57	c
1.49/1.57	c ============================[ Search Statistics ]==============================
1.49/1.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.57	c ===============================================================================
1.49/1.57	c |         0 |    8401   189445   378428 |    63148        0   -nan |  0.000 % |
1.49/1.57	c ===============================================================================
1.59/1.68	c core #8
1.59/1.68	c 
1.59/1.68	c 
1.59/1.68	c Core size: 512	Core Weight: 1	Total Weight: 118
1.59/1.68	c Current CPU time: 1.53277 s
1.59/1.68	c
1.59/1.68	c ============================[ Search Statistics ]==============================
1.59/1.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.68	c ===============================================================================
1.59/1.68	c |         0 |    8828   189628   378991 |    63209        0   -nan |  0.000 % |
1.59/1.69	c ===============================================================================
1.79/1.80	c core #9
1.79/1.80	c 
1.79/1.80	c 
1.79/1.80	c Core size: 551	Core Weight: 1	Total Weight: 119
1.79/1.80	c Current CPU time: 1.64975 s
1.79/1.80	c
1.79/1.80	c ============================[ Search Statistics ]==============================
1.79/1.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.80	c ===============================================================================
1.79/1.80	c |         0 |    9292   189810   379555 |    63270        0   -nan |  0.000 % |
1.79/1.81	c ===============================================================================
1.89/1.92	c core #10
1.89/1.92	c 
1.89/1.92	c 
1.89/1.92	c Core size: 575	Core Weight: 1	Total Weight: 120
1.89/1.92	c Current CPU time: 1.76473 s
1.89/1.92	c
1.89/1.92	c ============================[ Search Statistics ]==============================
1.89/1.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.92	c ===============================================================================
1.89/1.92	c |         0 |    9718   189991   380120 |    63330        0   -nan |  0.000 % |
1.89/1.94	c ===============================================================================
1.99/2.05	c core #11
1.99/2.05	c 
1.99/2.05	c 
1.99/2.05	c Core size: 423	Core Weight: 1	Total Weight: 121
1.99/2.05	c Current CPU time: 1.89371 s
1.99/2.05	c
1.99/2.05	c ============================[ Search Statistics ]==============================
1.99/2.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.05	c ===============================================================================
1.99/2.05	c |         0 |   10163   190172   380688 |    63390        0   -nan |  0.000 % |
1.99/2.06	c ===============================================================================
2.11/2.18	c core #12
2.11/2.18	c 
2.11/2.18	c 
2.11/2.18	c Core size: 526	Core Weight: 1	Total Weight: 122
2.11/2.18	c Current CPU time: 2.01769 s
2.11/2.18	c
2.11/2.18	c ============================[ Search Statistics ]==============================
2.11/2.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.11/2.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.11/2.18	c ===============================================================================
2.11/2.18	c |         0 |   10584   190354   381263 |    63451        0   -nan |  0.000 % |
2.11/2.20	c |       100 |   10584   190354   381263 |    69796      100     18 | 85.899 % |
2.21/2.21	c ===============================================================================
2.29/2.33	c core #13
2.29/2.33	c 
2.29/2.33	c 
2.29/2.33	c Core size: 585	Core Weight: 1	Total Weight: 123
2.29/2.33	c Current CPU time: 2.16567 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 |   11004   190536   381841 |    63512        0   -nan |  0.000 % |
2.29/2.35	c |       100 |   11004   190536   381841 |    69863      100     17 | 85.382 % |
2.29/2.37	c ===============================================================================
2.39/2.49	c core #14
2.39/2.49	c 
2.39/2.49	c 
2.39/2.49	c Core size: 664	Core Weight: 1	Total Weight: 124
2.39/2.49	c Current CPU time: 2.31965 s
2.39/2.49	c
2.39/2.49	c ============================[ Search Statistics ]==============================
2.39/2.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.49	c ===============================================================================
2.39/2.49	c |         0 |   11417   190718   382422 |    63572        0   -nan |  0.000 % |
2.49/2.51	c |       101 |   11417   190718   382422 |    69929      101     15 | 84.860 % |
2.49/2.53	c |       251 |   11411   190718   382422 |    76922      251     19 | 84.956 % |
2.49/2.55	c ===============================================================================
2.59/2.66	c core #15
2.59/2.66	c 
2.59/2.66	c 
2.59/2.66	c Core size: 545	Core Weight: 1	Total Weight: 125
2.59/2.66	c Current CPU time: 2.49862 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 |   11835   190898   383004 |    63632        0   -nan |  0.000 % |
2.59/2.68	c |       101 |   11835   190898   383004 |    69995      101     17 | 84.343 % |
2.69/2.71	c |       252 |   11835   190898   383004 |    76995      252     20 | 84.343 % |
2.69/2.75	c |       479 |   11825   190898   383004 |    84695      479     22 | 84.926 % |
2.69/2.77	c ===============================================================================
2.79/2.89	c core #16
2.79/2.89	c 
2.79/2.89	c 
2.79/2.89	c Core size: 643	Core Weight: 1	Total Weight: 126
2.79/2.89	c Current CPU time: 2.71759 s
2.79/2.89	c
2.79/2.89	c ============================[ Search Statistics ]==============================
2.79/2.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.79/2.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.79/2.89	c ===============================================================================
2.79/2.89	c |         0 |   12252   191078   383588 |    63692        0   -nan |  0.000 % |
2.89/2.91	c |       101 |   12252   191078   383588 |    70061      101     19 | 83.828 % |
2.89/2.94	c |       252 |   12252   191078   383588 |    77068      252     21 | 83.828 % |
2.89/2.98	c |       477 |   12245   191078   383588 |    84774      477     22 | 83.935 % |
2.99/3.04	c |       814 |   12168   191078   383588 |    93252      814     24 | 84.387 % |
2.99/3.08	c ===============================================================================
3.09/3.20	c core #17
3.09/3.20	c 
3.09/3.20	c 
3.09/3.20	c Core size: 589	Core Weight: 1	Total Weight: 127
3.09/3.20	c Current CPU time: 3.02654 s
3.09/3.20	c
3.09/3.20	c ============================[ Search Statistics ]==============================
3.09/3.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.20	c ===============================================================================
3.09/3.20	c |         0 |   12655   191261   384182 |    63753        0   -nan |  0.000 % |
3.20/3.22	c |       100 |   12655   191261   384182 |    70129      100     16 | 83.335 % |
3.20/3.25	c |       250 |   12655   191261   384182 |    77141      250     21 | 83.335 % |
3.20/3.29	c |       476 |   12655   191261   384182 |    84856      476     20 | 83.335 % |
3.31/3.36	c |       813 |   12564   191261   384182 |    93341      813     24 | 83.695 % |
3.39/3.42	c ===============================================================================
3.49/3.55	c core #18
3.49/3.55	c 
3.49/3.55	c 
3.49/3.55	c Core size: 590	Core Weight: 1	Total Weight: 128
3.49/3.55	c Current CPU time: 3.36349 s
3.49/3.55	c
3.49/3.55	c ============================[ Search Statistics ]==============================
3.49/3.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.55	c ===============================================================================
3.49/3.55	c |         0 |   13070   191439   384770 |    63813        0   -nan |  0.000 % |
3.49/3.57	c |       100 |   13070   191439   384770 |    70194      100     18 | 82.827 % |
3.59/3.60	c |       250 |   13070   191439   384770 |    77213      250     21 | 82.843 % |
3.59/3.64	c |       475 |   13070   191439   384770 |    84935      475     23 | 82.843 % |
3.69/3.70	c |       812 |   13050   191439   384770 |    93428      812     24 | 82.995 % |
3.79/3.80	c |      1318 |   12924   191439   384770 |   102771     1318     27 | 83.472 % |
3.79/3.81	c ===============================================================================
3.89/3.93	c core #19
3.89/3.93	c 
3.89/3.93	c 
3.89/3.93	c Core size: 522	Core Weight: 1	Total Weight: 129
3.89/3.93	c Current CPU time: 3.74843 s
3.89/3.93	c
3.89/3.93	c ============================[ Search Statistics ]==============================
3.89/3.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.93	c ===============================================================================
3.89/3.93	c |         0 |   13484   191616   385359 |    63872        0   -nan |  0.000 % |
3.89/3.95	c |       100 |   13484   191616   385359 |    70259      100     15 | 82.323 % |
3.89/3.98	c |       250 |   13484   191616   385359 |    77285      250     20 | 82.323 % |
3.99/4.02	c |       475 |   13484   191616   385359 |    85013      475     22 | 82.323 % |
3.99/4.08	c |       812 |   13483   191616   385359 |    93514      812     23 | 82.325 % |
4.09/4.17	c |      1318 |   13483   191616   385359 |   102866     1318     25 | 82.325 % |
4.31/4.31	c |      2077 |   13435   191616   385359 |   113153     2077     25 | 83.027 % |
4.41/4.42	c ===============================================================================
4.49/4.54	c core #20
4.49/4.54	c 
4.49/4.54	c 
4.49/4.54	c Core size: 611	Core Weight: 1	Total Weight: 130
4.49/4.54	c Current CPU time: 4.34634 s
4.49/4.54	c
4.49/4.54	c ============================[ Search Statistics ]==============================
4.49/4.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.54	c ===============================================================================
4.49/4.54	c |         0 |   13896   191798   385963 |    63932        0   -nan |  0.000 % |
4.49/4.57	c |       100 |   13896   191798   385963 |    70325      100     19 | 81.824 % |
4.49/4.59	c |       250 |   13896   191798   385963 |    77358      250     21 | 81.824 % |
4.59/4.63	c |       476 |   13896   191798   385963 |    85094      476     24 | 81.824 % |
4.59/4.69	c |       813 |   13871   191798   385963 |    93603      813     23 | 81.857 % |
4.69/4.78	c |      1320 |   13737   191798   385963 |   102964     1320     22 | 82.032 % |
4.89/4.90	c |      2081 |   13721   191798   385963 |   113260     2081     24 | 82.053 % |
5.09/5.13	c |      3220 |   13717   191798   385963 |   124586     3220     27 | 82.123 % |
5.40/5.47	c |      4928 |   13345   191798   385963 |   137045     4928     30 | 83.180 % |
5.60/5.60	c ===============================================================================
5.70/5.72	c core #21
5.70/5.72	c 
5.70/5.72	c 
5.70/5.72	c Core size: 680	Core Weight: 1	Total Weight: 131
5.70/5.72	c Current CPU time: 5.52116 s
5.70/5.72	c
5.70/5.72	c ============================[ Search Statistics ]==============================
5.70/5.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.70/5.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.70/5.72	c ===============================================================================
5.70/5.72	c |         0 |   14283   191976   386556 |    63992        0   -nan |  0.000 % |
5.70/5.74	c |       100 |   14283   191976   386556 |    70391      100     22 | 81.359 % |
5.70/5.77	c |       251 |   14283   191976   386556 |    77430      251     23 | 81.359 % |
5.79/5.81	c |       476 |   14283   191976   386556 |    85173      476     26 | 81.359 % |
5.79/5.88	c |       814 |   14283   191976   386556 |    93690      814     26 | 81.359 % |
5.89/5.98	c |      1321 |   14283   191976   386556 |   103059     1321     28 | 81.359 % |
6.09/6.12	c |      2080 |   14283   191976   386556 |   113365     2080     28 | 81.359 % |
6.29/6.34	c |      3219 |   14283   191976   386556 |   124702     3219     28 | 81.359 % |
6.60/6.69	c |      4928 |   13737   191976   386556 |   137172     4928     31 | 82.166 % |
7.09/7.11	c ===============================================================================
7.19/7.24	c core #22
7.19/7.24	c 
7.19/7.24	c 
7.19/7.24	c Core size: 622	Core Weight: 1	Total Weight: 132
7.19/7.24	c Current CPU time: 7.02393 s
7.19/7.24	c
7.19/7.24	c ============================[ Search Statistics ]==============================
7.19/7.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.19/7.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.19/7.24	c ===============================================================================
7.19/7.24	c |         0 |   14681   192161   387174 |    64053        0   -nan |  0.000 % |
7.19/7.27	c |       100 |   14681   192161   387174 |    70459      100     27 | 80.882 % |
7.29/7.30	c |       250 |   14681   192161   387174 |    77504      250     24 | 80.882 % |
7.29/7.34	c |       475 |   14681   192161   387174 |    85255      475     24 | 80.882 % |
7.29/7.39	c |       813 |   14681   192161   387174 |    93780      813     24 | 80.882 % |
7.49/7.50	c |      1319 |   14681   192161   387174 |   103159     1319     28 | 80.882 % |
7.60/7.63	c |      2078 |   14681   192161   387174 |   113474     2078     26 | 80.882 % |
7.79/7.86	c |      3218 |   14681   192161   387174 |   124822     3218     29 | 80.882 % |
8.19/8.20	c |      4926 |   14554   192161   387174 |   137304     4926     28 | 81.056 % |
8.70/8.75	c |      7488 |   13998   192161   387174 |   151035     7488     31 | 81.773 % |
9.19/9.20	c ===============================================================================
9.29/9.33	c core #23
9.29/9.33	c 
9.29/9.33	c 
9.29/9.33	c Core size: 585	Core Weight: 1	Total Weight: 133
9.29/9.33	c Current CPU time: 9.09762 s
9.29/9.33	c
9.29/9.33	c ============================[ Search Statistics ]==============================
9.29/9.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.29/9.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.29/9.33	c ===============================================================================
9.29/9.33	c |         0 |   15089   192339   387778 |    64113        0   -nan |  0.000 % |
9.29/9.35	c |       100 |   15089   192339   387778 |    70524      100     20 | 80.393 % |
9.29/9.39	c |       252 |   15089   192339   387778 |    77576      252     24 | 80.393 % |
9.39/9.43	c |       477 |   15089   192339   387778 |    85334      477     27 | 80.393 % |
9.49/9.50	c |       814 |   15089   192339   387778 |    93867      814     25 | 80.393 % |
9.59/9.60	c |      1321 |   15089   192339   387778 |   103254     1321     25 | 80.393 % |
9.69/9.78	c |      2080 |   15089   192339   387778 |   113580     2080     27 | 80.393 % |
9.99/10.02	c |      3219 |   15089   192339   387778 |   124938     3219     28 | 80.393 % |
10.29/10.38	c |      4927 |   15089   192339   387778 |   137431     4927     29 | 80.393 % |
10.91/10.97	c |      7489 |   15089   192339   387778 |   151175     7489     31 | 80.393 % |
11.79/11.89	c |     11334 |   14951   192339   387778 |   166292    11334     33 | 80.573 % |
12.89/12.93	c ===============================================================================
12.99/13.06	c core #24
12.99/13.06	c 
12.99/13.06	c 
12.99/13.06	c Core size: 660	Core Weight: 1	Total Weight: 134
12.99/13.06	c Current CPU time: 12.7951 s
12.99/13.06	c
12.99/13.06	c ============================[ Search Statistics ]==============================
12.99/13.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.99/13.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.99/13.06	c ===============================================================================
12.99/13.06	c |         0 |   15506   192522   388403 |    64174        0   -nan |  0.000 % |
12.99/13.09	c |       100 |   15506   192522   388403 |    70591      100     16 | 79.895 % |
13.11/13.12	c |       251 |   15506   192522   388403 |    77650      251     24 | 79.895 % |
13.11/13.16	c |       476 |   15506   192522   388403 |    85415      476     23 | 79.895 % |
13.21/13.23	c |       813 |   15506   192522   388403 |    93957      813     25 | 79.895 % |
13.29/13.34	c |      1319 |   15506   192522   388403 |   103352     1319     25 | 79.895 % |
13.49/13.50	c |      2079 |   15506   192522   388403 |   113688     2079     28 | 79.895 % |
13.69/13.70	c |      3219 |   15506   192522   388403 |   125056     3219     27 | 79.895 % |
13.99/14.09	c |      4928 |   15506   192522   388403 |   137562     4928     31 | 79.895 % |
14.59/14.64	c |      7491 |   15506   192522   388403 |   151318     7491     32 | 79.895 % |
15.49/15.51	c |     11335 |   15506   192522   388403 |   166450    11335     32 | 79.895 % |
17.09/17.10	c |     17104 |   15506   192522   388403 |   183095    17104     35 | 79.895 % |
19.59/19.63	c |     25753 |   14336   192522   388403 |   201405    25753     37 | 81.412 % |
19.80/19.89	c ===============================================================================
19.99/20.02	c core #25
19.99/20.02	c 
19.99/20.02	c 
19.99/20.02	c Core size: 620	Core Weight: 1	Total Weight: 135
19.99/20.02	c Current CPU time: 19.693 s
19.99/20.02	c
19.99/20.02	c ============================[ Search Statistics ]==============================
19.99/20.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.99/20.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.99/20.02	c ===============================================================================
19.99/20.02	c |         0 |   15914   192711   389049 |    64237        0   -nan |  0.000 % |
19.99/20.04	c |       103 |   15914   192711   389049 |    70660      103     15 | 79.411 % |
19.99/20.07	c |       253 |   15914   192711   389049 |    77726      253     23 | 79.411 % |
20.09/20.12	c |       478 |   15914   192711   389049 |    85499      478     25 | 79.411 % |
20.09/20.18	c |       815 |   15914   192711   389049 |    94049      815     23 | 79.411 % |
20.19/20.28	c |      1321 |   15914   192711   389049 |   103454     1321     26 | 79.411 % |
20.39/20.43	c |      2080 |   15914   192711   389049 |   113799     2080     28 | 79.411 % |
20.59/20.65	c |      3221 |   15914   192711   389049 |   125179     3221     28 | 79.411 % |
20.99/21.05	c |      4929 |   15910   192711   389049 |   137697     4929     30 | 79.416 % |
21.59/21.65	c |      7492 |   15910   192711   389049 |   151467     7492     33 | 79.416 % |
22.49/22.54	c |     11337 |   15760   192711   389049 |   166614    11337     33 | 79.610 % |
23.99/24.09	c |     17103 |   15755   192711   389049 |   183275    17103     36 | 79.616 % |
26.69/26.73	c |     25752 |   15755   192711   389049 |   201603    25752     39 | 79.616 % |
30.80/30.87	c |     38726 |   15755   192711   389049 |   221763    38726     40 | 79.616 % |
38.59/38.62	c |     58187 |   15391   192711   389049 |   243939    58187     43 | 80.087 % |
40.09/40.18	c ===============================================================================
40.29/40.34	c core #26
40.29/40.34	c 
40.29/40.34	c 
40.29/40.34	c Core size: 629	Core Weight: 1	Total Weight: 136
40.29/40.34	c Current CPU time: 39.8679 s
40.29/40.34	c
40.29/40.34	c ============================[ Search Statistics ]==============================
40.29/40.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.29/40.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.29/40.34	c ===============================================================================
40.29/40.34	c |         0 |   16312   192909   389718 |    64303        0   -nan |  0.000 % |
40.29/40.36	c |       100 |   16312   192909   389718 |    70733      100     18 | 78.941 % |
40.29/40.39	c |       250 |   16312   192909   389718 |    77806      250     22 | 78.941 % |
40.39/40.44	c |       476 |   16312   192909   389718 |    85587      476     24 | 78.941 % |
40.49/40.52	c |       813 |   16312   192909   389718 |    94146      813     29 | 78.941 % |
40.60/40.61	c |      1320 |   16312   192909   389718 |   103560     1320     27 | 78.941 % |
40.71/40.79	c |      2079 |   16312   192909   389718 |   113916     2079     29 | 78.941 % |
40.99/41.03	c |      3218 |   16312   192909   389718 |   125308     3218     30 | 78.941 % |
41.29/41.36	c |      4927 |   16312   192909   389718 |   137839     4927     29 | 78.941 % |
41.89/41.97	c |      7489 |   16312   192909   389718 |   151623     7489     32 | 78.941 % |
42.69/42.79	c |     11334 |   16312   192909   389718 |   166785    11334     32 | 78.941 % |
44.19/44.21	c |     17100 |   16312   192909   389718 |   183463    17100     35 | 78.941 % |
46.49/46.51	c |     25753 |   16312   192909   389718 |   201810    25753     37 | 78.941 % |
50.61/50.62	c |     38727 |   16194   192909   389718 |   221991    38727     39 | 79.093 % |
57.69/57.78	c |     58188 |   15494   192909   389718 |   244190    58188     41 | 79.997 % |
70.30/70.33	c |     87380 |   13927   192909   389718 |   268609    87380     43 | 82.794 % |
70.49/70.59	c ===============================================================================
70.69/70.74	c core #27
70.69/70.74	c 
70.69/70.74	c 
70.69/70.74	c Core size: 689	Core Weight: 1	Total Weight: 137
70.69/70.74	c Current CPU time: 70.1143 s
70.69/70.74	c
70.69/70.74	c ============================[ Search Statistics ]==============================
70.69/70.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
70.69/70.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
70.69/70.74	c ===============================================================================
70.69/70.74	c |         0 |   16718   193111   390411 |    64370        0   -nan |  0.000 % |
70.69/70.76	c |       101 |   16718   193111   390411 |    70807      101     18 | 78.462 % |
70.69/70.79	c |       252 |   16718   193111   390411 |    77888      252     20 | 78.462 % |
70.79/70.85	c |       477 |   16718   193111   390411 |    85676      477     25 | 78.462 % |
70.89/70.91	c |       814 |   16718   193111   390411 |    94244      814     23 | 78.462 % |
70.99/71.01	c |      1321 |   16718   193111   390411 |   103669     1321     25 | 78.462 % |
71.09/71.16	c |      2080 |   16718   193111   390411 |   114035     2080     28 | 78.462 % |
71.29/71.38	c |      3219 |   16718   193111   390411 |   125439     3219     25 | 78.462 % |
71.69/71.74	c |      4927 |   16718   193111   390411 |   137983     4927     29 | 78.462 % |
72.29/72.30	c |      7491 |   16718   193111   390411 |   151781     7491     29 | 78.462 % |
73.09/73.19	c |     11335 |   16718   193111   390411 |   166960    11335     33 | 78.462 % |
74.59/74.67	c |     17104 |   16718   193111   390411 |   183656    17104     35 | 78.462 % |
77.09/77.11	c |     25754 |   16540   193111   390411 |   202021    25754     33 | 78.691 % |
81.30/81.38	c |     38729 |   16540   193111   390411 |   222223    38729     37 | 78.691 % |
88.59/88.61	c |     58190 |   16540   193111   390411 |   244446    58190     39 | 78.691 % |
102.09/102.20	c |     87383 |   16535   193111   390411 |   268890    87383     41 | 78.698 % |
127.40/127.44	c |    131172 |   14764   193111   390411 |   295779   131172     44 | 80.979 % |
127.80/127.89	c ===============================================================================
127.99/128.06	c core #28
127.99/128.06	c 
127.99/128.06	c 
127.99/128.06	c Core size: 868	Core Weight: 1	Total Weight: 138
127.99/128.06	c Current CPU time: 127.17 s
127.99/128.06	c
127.99/128.06	c ============================[ Search Statistics ]==============================
127.99/128.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
127.99/128.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
127.99/128.06	c ===============================================================================
127.99/128.06	c |         0 |   17118   193317   391115 |    64439        0   -nan |  0.000 % |
128.09/128.10	c |       101 |   17118   193317   391115 |    70882      101     22 | 77.993 % |
128.09/128.13	c |       252 |   17118   193317   391115 |    77971      252     23 | 77.993 % |
128.09/128.17	c |       477 |   17118   193317   391115 |    85768      477     27 | 77.993 % |
128.19/128.23	c |       814 |   17118   193317   391115 |    94345      814     24 | 77.993 % |
128.29/128.34	c |      1320 |   17118   193317   391115 |   103779     1320     27 | 77.993 % |
128.49/128.52	c |      2080 |   17118   193317   391115 |   114157     2080     29 | 77.993 % |
128.71/128.78	c |      3219 |   17118   193317   391115 |   125573     3219     30 | 77.993 % |
129.09/129.10	c |      4928 |   17090   193317   391115 |   138130     4928     28 | 78.029 % |
129.70/129.76	c |      7490 |   17090   193317   391115 |   151943     7490     32 | 78.029 % |
130.59/130.66	c |     11334 |   17090   193317   391115 |   167138    11334     34 | 78.029 % |
132.19/132.20	c |     17100 |   17090   193317   391115 |   183851    17100     38 | 78.029 % |
134.39/134.44	c |     25749 |   17090   193317   391115 |   202237    25749     36 | 78.029 % |
138.29/138.37	c |     38724 |   17090   193317   391115 |   222460    38724     37 | 78.029 % |
145.00/145.11	c |     58185 |   17090   193317   391115 |   244706    58185     41 | 78.029 % |
157.80/157.83	c |     87378 |   17090   193317   391115 |   269177    87378     44 | 78.029 % |
183.09/183.18	c |    131167 |   17090   193317   391115 |   296095   131167     46 | 78.029 % |
233.10/233.15	c |    196852 |   16861   193317   391115 |   325705   196852     50 | 78.323 % |
321.29/321.35	c ===============================================================================
321.49/321.59	c core #29
321.49/321.59	c 
321.49/321.59	c 
321.49/321.59	c Core size: 842	Core Weight: 1	Total Weight: 139
321.49/321.59	c Current CPU time: 320.07 s
321.49/321.59	c
321.49/321.59	c ============================[ Search Statistics ]==============================
321.49/321.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
321.49/321.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
321.49/321.59	c ===============================================================================
321.49/321.59	c |         0 |   17480   193552   391904 |    64517        0   -nan |  0.000 % |
321.59/321.63	c |       101 |   17480   193552   391904 |    70969      101     25 | 77.574 % |
321.59/321.66	c |       252 |   17480   193552   391904 |    78065      252     24 | 77.574 % |
321.70/321.71	c |       477 |   17480   193552   391904 |    85872      477     24 | 77.574 % |
321.70/321.78	c |       814 |   17480   193552   391904 |    94459      814     26 | 77.574 % |
321.80/321.87	c |      1321 |   17480   193552   391904 |   103905     1321     25 | 77.574 % |
322.00/322.06	c |      2081 |   17480   193552   391904 |   114296     2081     32 | 77.574 % |
322.21/322.30	c |      3220 |   17480   193552   391904 |   125726     3220     34 | 77.574 % |
322.59/322.66	c |      4929 |   17480   193552   391904 |   138298     4929     37 | 77.574 % |
323.20/323.29	c |      7492 |   17480   193552   391904 |   152128     7492     37 | 77.574 % |
324.10/324.14	c |     11336 |   17480   193552   391904 |   167341    11336     36 | 77.574 % |
325.51/325.57	c |     17102 |   17480   193552   391904 |   184075    17102     40 | 77.574 % |
327.81/327.81	c |     25751 |   17409   193552   391904 |   202483    25751     38 | 77.665 % |
331.59/331.67	c |     38726 |   17409   193552   391904 |   222731    38726     41 | 77.665 % |
338.60/338.63	c |     58187 |   17409   193552   391904 |   245004    58187     41 | 77.665 % |
350.81/350.83	c |     87379 |   17409   193552   391904 |   269504    87379     46 | 77.665 % |
373.40/373.41	c |    131168 |   17409   193552   391904 |   296455   131168     46 | 77.665 % |
427.40/427.44	c |    196852 |   17306   193552   391904 |   326100   196852     49 | 77.797 % |
535.80/535.87	c |    295382 |   16535   193552   391904 |   358711   295382     51 | 78.787 % |
719.60/719.67	c ===============================================================================
719.91/719.96	c core #30
719.91/719.96	c 
719.91/719.96	c 
719.91/719.96	c Core size: 864	Core Weight: 1	Total Weight: 140
719.91/719.96	c Current CPU time: 717.49 s
719.91/719.96	c
719.91/719.96	c ============================[ Search Statistics ]==============================
719.91/719.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
719.91/719.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
719.91/719.96	c ===============================================================================
719.91/719.96	c |         0 |   17883   193795   392729 |    64598        0   -nan |  0.000 % |
720.01/720.00	c |       100 |   17883   193795   392729 |    71058      100     30 | 77.104 % |
720.01/720.03	c |       250 |   17883   193795   392729 |    78163      250     23 | 77.104 % |
720.01/720.06	c |       476 |   17883   193795   392729 |    85980      476     21 | 77.104 % |
720.10/720.12	c |       813 |   17883   193795   392729 |    94578      813     24 | 77.104 % |
720.20/720.22	c |      1319 |   17882   193795   392729 |   104036     1319     25 | 77.106 % |
720.31/720.38	c |      2078 |   17882   193795   392729 |   114439     2078     28 | 77.106 % |
720.61/720.64	c |      3217 |   17882   193795   392729 |   125883     3217     30 | 77.106 % |
721.01/721.04	c |      4925 |   17882   193795   392729 |   138472     4925     32 | 77.106 % |
721.62/721.69	c |      7487 |   17882   193795   392729 |   152319     7487     35 | 77.106 % |
722.51/722.53	c |     11333 |   17882   193795   392729 |   167551    11333     35 | 77.106 % |
723.90/723.96	c |     17099 |   17882   193795   392729 |   184306    17099     38 | 77.106 % |
726.51/726.53	c |     25748 |   17882   193795   392729 |   202737    25748     43 | 77.106 % |
730.43/730.41	c |     38722 |   17881   193795   392729 |   223010    38722     43 | 77.107 % |
737.71/737.78	c |     58183 |   17881   193795   392729 |   245312    58183     43 | 77.107 % |
749.51/749.58	c |     87375 |   17881   193795   392729 |   269843    87375     45 | 77.107 % |
774.61/774.60	c |    131164 |   17881   193795   392729 |   296827   131164     50 | 77.107 % |
828.72/828.75	c |    196849 |   17743   193795   392729 |   326510   196849     52 | 77.284 % |
934.62/934.62	c |    295375 |   17743   193795   392729 |   359161   295375     52 | 77.284 % |
1128.72/1128.73	c |    443164 |   17697   193795   392729 |   395077    43964     53 | 77.343 % |
1205.22/1205.24	c ===============================================================================
1205.64/1205.62	c core #31
1205.64/1205.62	c 
1205.64/1205.62	c 
1205.64/1205.62	c Core size: 951	Core Weight: 1	Total Weight: 141
1205.64/1205.62	c Current CPU time: 1201.91 s
1205.64/1205.62	c
1205.64/1205.62	c ============================[ Search Statistics ]==============================
1205.64/1205.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1205.64/1205.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1205.64/1205.62	c ===============================================================================
1205.64/1205.62	c |         0 |   18283   194050   393583 |    64683        0   -nan |  0.000 % |
1205.64/1205.65	c |       100 |   18283   194050   393583 |    71151      100     22 | 76.640 % |
1205.64/1205.68	c |       250 |   18283   194050   393583 |    78266      250     30 | 76.640 % |
1205.72/1205.74	c |       475 |   18283   194050   393583 |    86093      475     30 | 76.640 % |
1205.82/1205.82	c |       813 |   18283   194050   393583 |    94702      813     28 | 76.640 % |
1205.92/1205.95	c |      1320 |   18283   194050   393583 |   104173     1320     32 | 76.640 % |
1206.12/1206.11	c |      2079 |   18283   194050   393583 |   114590     2079     31 | 76.640 % |
1206.32/1206.39	c |      3218 |   18283   194050   393583 |   126049     3218     34 | 76.640 % |
1206.74/1206.79	c |      4929 |   18283   194050   393583 |   138654     4929     33 | 76.640 % |
1207.52/1207.50	c |      7493 |   18283   194050   393583 |   152519     7493     34 | 76.640 % |
1208.53/1208.53	c |     11337 |   18283   194050   393583 |   167771    11337     37 | 76.640 % |
1210.13/1210.17	c |     17103 |   18283   194050   393583 |   184549    17103     41 | 76.640 % |
1212.62/1212.64	c |     25754 |   18283   194050   393583 |   203004    25754     40 | 76.640 % |
1217.03/1217.01	c |     38728 |   18282   194050   393583 |   223304    38728     42 | 76.641 % |
1224.52/1224.57	c |     58189 |   18282   194050   393583 |   245634    58189     44 | 76.642 % |
1239.82/1239.82	c |     87381 |   18282   194050   393583 |   270198    87381     46 | 76.641 % |
1264.02/1264.06	c |    131170 |   18282   194050   393583 |   297218   131170     43 | 76.642 % |
1313.82/1313.85	c |    196855 |   18135   194050   393583 |   326939   196855     46 | 76.829 % |
1421.64/1421.60	c |    295381 |   18113   194050   393583 |   359633   295381     49 | 76.857 % |
1594.74/1594.71	c |    443170 |   18113   194050   393583 |   395597    45838     53 | 76.857 % |
1785.64/1785.69	c |    664853 |   18113   194050   393583 |   435157   267521     61 | 76.857 % |

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-3461731-1307121117/watcher-3461731-1307121117 -o /tmp/evaluation-result-3461731-1307121117/solver-3461731-1307121117 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461731-1307121117.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.93 2.02 1.99 2/436 24420
/proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=12520 CPUtime=0 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 906 0 0 0 0 0 0 0 21 0 1 0 823709550 12820480 859 33554432000 4194304 5714214 140737281682320 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 3130 860 203 372 0 738 0

[startup+0.075958 s]
/proc/loadavg: 1.93 2.02 1.99 2/436 24420
/proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=23924 CPUtime=0.06 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 3854 0 0 0 6 0 0 0 21 0 1 0 823709550 24498176 3660 33554432000 4194304 5714214 140737281682320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 5981 3660 410 372 0 3589 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23924

[startup+0.100937 s]
/proc/loadavg: 1.93 2.02 1.99 2/436 24420
/proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=24876 CPUtime=0.09 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 4180 0 0 0 9 0 0 0 21 0 1 0 823709550 25473024 3986 33554432000 4194304 5714214 140737281682320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 6219 3987 500 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24876

[startup+0.300914 s]
/proc/loadavg: 1.93 2.02 1.99 2/436 24420
/proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=33164 CPUtime=0.29 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 6939 0 0 0 28 1 0 0 22 0 1 0 823709550 33959936 6616 33554432000 4194304 5714214 140737281682320 18446744073709551615 4990168 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 8291 6616 1169 372 0 5899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33164

[startup+0.700844 s]
/proc/loadavg: 1.93 2.02 1.99 2/436 24420
/proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=82312 CPUtime=0.69 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 21893 0 0 0 67 2 0 0 23 0 1 0 823709550 84287488 19287 33554432000 4194304 5714214 140737281682320 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 20578 19287 172 372 0 20203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82312

[startup+1.50069 s]
/proc/loadavg: 1.93 2.02 1.99 3/437 24421
/proc/meminfo: memFree=20287724/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=108868 CPUtime=1.49 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 35231 0 0 0 145 4 0 0 25 0 1 0 823709550 111480832 26376 33554432000 4194304 5714214 140737281682320 18446744073709551615 4976658 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 27217 26376 179 372 0 26842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108868

[startup+3.1004 s]
/proc/loadavg: 1.93 2.02 1.99 3/437 24421
/proc/meminfo: memFree=20266892/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=119672 CPUtime=3.09 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 41556 0 0 0 304 5 0 0 25 0 1 0 823709550 122544128 28884 33554432000 4194304 5714214 140737281682320 18446744073709551615 4355585 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 29918 28884 180 372 0 29543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119672

[startup+6.3008 s]
/proc/loadavg: 1.93 2.02 1.99 3/437 24421
/proc/meminfo: memFree=20260940/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=119672 CPUtime=6.29 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 41992 0 0 0 621 8 0 0 25 0 1 0 823709550 122544128 29320 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 29918 29320 180 372 0 29543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119672

[startup+12.7006 s]
/proc/loadavg: 1.94 2.02 1.99 3/437 24421
/proc/meminfo: memFree=20253952/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=121832 CPUtime=12.69 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 42539 0 0 0 1256 13 0 0 25 0 1 0 823709550 124755968 29867 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 30458 29867 180 372 0 30083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121832

[startup+25.5002 s]
/proc/loadavg: 1.95 2.01 1.99 3/437 24421
/proc/meminfo: memFree=20245108/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=122204 CPUtime=25.49 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 42625 0 0 0 2526 23 0 0 25 0 1 0 823709550 125136896 29953 33554432000 4194304 5714214 140737281682320 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 30551 29953 180 372 0 30176 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122204

[startup+51.1005 s]
/proc/loadavg: 1.97 2.01 1.99 3/437 24422
/proc/meminfo: memFree=20224892/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=135796 CPUtime=51.09 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 45943 0 0 0 5070 39 0 0 18 0 1 0 823709550 139055104 33271 33554432000 4194304 5714214 140737281682320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 33949 33271 180 372 0 33574 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 135796

[startup+102.317 s]
/proc/loadavg: 1.98 2.01 1.99 3/437 24423
/proc/meminfo: memFree=20207112/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=144796 CPUtime=102.31 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 47787 0 0 0 10167 64 0 0 25 0 1 0 823709550 148271104 35115 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 36199 35115 180 372 0 35824 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 144796

[startup+162.301 s]
/proc/loadavg: 2.13 2.03 2.00 3/437 24425
/proc/meminfo: memFree=20179296/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=160908 CPUtime=162.29 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 51633 0 0 0 16139 90 0 0 25 0 1 0 823709550 164769792 38961 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 40227 38961 180 372 0 39852 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 160908

[startup+222.301 s]
/proc/loadavg: 2.11 2.04 2.00 3/437 24481
/proc/meminfo: memFree=20531956/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=160908 CPUtime=222.3 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 51633 0 0 0 22124 106 0 0 25 0 1 0 823709550 164769792 38961 33554432000 4194304 5714214 140737281682320 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 40227 38961 180 372 0 39852 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 160908

[startup+282.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/437 24483
/proc/meminfo: memFree=20465852/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=179672 CPUtime=282.29 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 56567 0 0 0 28110 119 0 0 25 0 1 0 823709550 183984128 43895 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 44918 43895 180 372 0 44543 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 179672

[startup+342.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/437 24485
/proc/meminfo: memFree=20384480/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=222196 CPUtime=342.3 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 66719 0 0 0 34088 142 0 0 25 0 1 0 823709550 227528704 54047 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 55549 54047 180 372 0 55174 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 222196

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/437 24486
/proc/meminfo: memFree=20384312/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=222196 CPUtime=402.29 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 66719 0 0 0 40067 162 0 0 25 0 1 0 823709550 227528704 54047 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 55549 54047 180 372 0 55174 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 222196

[startup+462.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/437 24488
/proc/meminfo: memFree=20370892/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=222196 CPUtime=462.3 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 66732 0 0 0 46057 173 0 0 25 0 1 0 823709550 227528704 54060 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 55549 54060 180 372 0 55174 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 222196

[startup+522.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 24489
/proc/meminfo: memFree=20344816/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=222196 CPUtime=522.3 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 67186 0 0 0 52045 185 0 0 25 0 1 0 823709550 227528704 54514 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 55549 54514 180 372 0 55174 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 222196

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 24491
/proc/meminfo: memFree=20324448/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=222196 CPUtime=582.3 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 67319 0 0 0 58035 195 0 0 25 0 1 0 823709550 227528704 54647 33554432000 4194304 5714214 140737281682320 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 55549 54647 180 372 0 55174 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 222196

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.13 2.08 2.02 3/437 24497
/proc/meminfo: memFree=20235988/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=822.31 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 79982 0 0 0 81976 255 0 0 25 0 1 0 823709550 281436160 67310 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67310 180 372 0 68335 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 274840

[startup+882.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/437 24499
/proc/meminfo: memFree=20235196/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=882.32 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 79982 0 0 0 87965 267 0 0 25 0 1 0 823709550 281436160 67310 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67310 180 372 0 68335 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 274840

[startup+942.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/437 24501
/proc/meminfo: memFree=20222276/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=942.32 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80064 0 0 0 93954 278 0 0 25 0 1 0 823709550 281436160 67392 33554432000 4194304 5714214 140737281682320 18446744073709551615 4322960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67392 180 372 0 68335 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 274840

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/437 24502
/proc/meminfo: memFree=20196940/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1002.32 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80121 0 0 0 99944 288 0 0 25 0 1 0 823709550 281436160 67449 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67449 180 372 0 68335 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 274840

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 24504
/proc/meminfo: memFree=20170504/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1062.32 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80496 0 0 0 105935 297 0 0 25 0 1 0 823709550 281436160 67824 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67824 180 372 0 68335 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 274840

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 24505
/proc/meminfo: memFree=20151600/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1122.32 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80522 0 0 0 111925 307 0 0 25 0 1 0 823709550 281436160 67850 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67850 180 372 0 68335 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 274840

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 24507
/proc/meminfo: memFree=20134076/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1182.33 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80522 0 0 0 117902 331 0 0 25 0 1 0 823709550 281436160 67850 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67850 180 372 0 68335 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 274840

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/437 24509
/proc/meminfo: memFree=20127704/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1242.32 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 123880 352 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67878 180 372 0 68335 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 274840

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/437 24510
/proc/meminfo: memFree=20126308/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1302.34 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 129866 368 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67878 180 372 0 68335 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 274840

[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 24512
/proc/meminfo: memFree=20125292/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1362.33 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 135852 381 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67878 180 372 0 68335 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 274840

[startup+1422.32 s]
/proc/loadavg: 2.12 2.07 2.01 3/437 24513
/proc/meminfo: memFree=20125864/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1422.35 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 141844 391 0 0 18 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67878 180 372 0 68335 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 274840

[startup+1482.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/437 24515
/proc/meminfo: memFree=20123460/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1482.33 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 147831 402 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67878 180 372 0 68335 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 274840

[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/437 24517
/proc/meminfo: memFree=20122444/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1542.33 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 153821 412 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319501 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67887 180 372 0 68335 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 274840

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/437 24518
/proc/meminfo: memFree=20118704/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1602.34 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 159807 427 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67887 180 372 0 68335 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 274840

[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/437 24520
/proc/meminfo: memFree=20102440/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1662.34 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 165790 444 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67887 180 372 0 68335 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 274840

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 24521
/proc/meminfo: memFree=20084288/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1722.34 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 171778 456 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67887 180 372 0 68335 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 274840

[startup+1782.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/437 24523
/proc/meminfo: memFree=20065532/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1782.34 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 177767 467 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67887 180 372 0 68335 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 274840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 24524
/proc/meminfo: memFree=20059820/32951124 swapFree=60787360/67111528
[pid=24420] ppid=24418 vsize=274840 CPUtime=1800.06 cores=1,3,5,7
/proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 179536 470 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24420/statm: 68710 67887 180 372 0 68335 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 274840

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.08
CPU user time (s): 1795.37
CPU system time (s): 4.71628
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 274840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.37
system time used= 4.71628
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80559
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= 20
involuntary context switches= 3502

runsolver used 7.48386 second user time and 18.7292 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-03 19:11:57
IDJOB=3461731
IDBENCH=77362
IDSOLVER=1953
FILE ID=node135/3461731-1307121117
RUNJOBID= node135-1307116712-23527
PBS_JOBID= 13497982
Free space on /tmp= 73944 MiB

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

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

MD5SUM BENCH= 38fb0c3d6aceb5f008836e7f9c186fab
RANDOM SEED=255560069

node135.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.851
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.70
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.851
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20383196 kB
Buffers:        240132 kB
Cached:         530360 kB
SwapCached:       6168 kB
Active:       11864356 kB
Inactive:       445260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20383196 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           12332 kB
Writeback:          36 kB
AnonPages:    11538300 kB
Mapped:          26728 kB
Slab:           125716 kB
PageTables:      66760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124837112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73936 MiB
End job on node135 at 2011-06-03 19:41:59