Trace number 2702375

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.4b (fixed)? (TO) 1800.14 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1789.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702375-1278564968.opb.
0.00/0.00	c Instance file HOME/instance-2702375-1278564968.opb
0.00/0.00	c File size is 188288 bytes.
0.01/0.03	c Highest Coefficient sum: 24
0.01/0.03	c ============================[ Problem Statistics ]=============================
0.01/0.03	c |                                                                             |
0.01/0.03	c |  Parsing time:          0.03         s                                      |
0.01/0.03	c |  Number Variables:      2728                                                |
0.01/0.03	c |  Number Clauses:        2728                                                |
0.01/0.03	c |  Number Cardinality:    0                                                   |
0.01/0.03	c |  Number PB Constraints: 2528                                                |
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |    2728     5256    17896 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 199
0.01/0.04	o 199
0.01/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 179.96 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    2728     5257    18096 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 162
0.01/0.04	o 162
0.01/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    2728     5258    18296 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 161
0.01/0.04	o 161
0.01/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 179.957 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    2728     5259    18496 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 160
0.01/0.04	o 160
0.01/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 179.955 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    2728     5260    18696 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 151
0.01/0.05	o 151
0.01/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    2728     5261    18896 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 136
0.01/0.05	o 136
0.01/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 179.952 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    2728     5262    19096 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 135
0.01/0.05	o 135
0.01/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    2728     5263    19296 |     5000        0    nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: 134
0.01/0.05	o 134
0.01/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 179.948 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    2728     5264    19496 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 133
0.01/0.06	o 133
0.01/0.06	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    2728     5265    19696 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 132
0.01/0.06	o 132
0.01/0.06	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    2728     5266    19896 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 131
0.01/0.06	o 131
0.01/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 179.941 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    2728     5267    20096 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c New solution: 130
0.01/0.06	o 130
0.01/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    2728     5268    20296 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 111
0.01/0.07	o 111
0.01/0.07	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |    2728     5269    20496 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 110
0.01/0.07	o 110
0.01/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         2 |    2728     5270    20696 |     5000        2    111 |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 32
0.01/0.07	o 32
0.01/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 179.931 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |         2 |    2728     5271    20896 |     5000        2    111 |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c New solution: 31
0.01/0.08	o 31
0.01/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 179.922 s
0.01/0.08	c ===============================================================================
0.01/0.08	c |        63 |    2728     5272    21096 |     5000       63     58 |  0.000 % |
0.01/0.09	c |       164 |    2728     5272    21096 |     5500      164     63 |  0.000 % |
0.09/0.11	c |       314 |    2728     5272    21096 |     6050      314     65 |  0.000 % |
0.09/0.14	c |       539 |    2728     5272    21096 |     6655      539     69 |  0.000 % |
0.09/0.19	c |       876 |    2728     5272    21096 |     7320      876     70 |  0.000 % |
0.09/0.20	c ===============================================================================
0.09/0.20	c New solution: 30
0.09/0.20	o 30
0.09/0.20	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 179.812 s
0.09/0.20	c ===============================================================================
0.09/0.20	c |       876 |    2728     5273    21296 |     5000      876     70 |  0.000 % |
0.19/0.21	c |       976 |    2728     5273    21296 |     5500      976     70 |  0.000 % |
0.19/0.24	c |      1126 |    2728     5273    21296 |     6050     1126     70 |  0.000 % |
0.19/0.27	c |      1352 |    2728     5273    21296 |     6655     1352     68 |  0.000 % |
0.29/0.32	c |      1689 |    2728     5273    21296 |     7320     1689     67 |  0.000 % |
0.39/0.40	c |      2196 |    2728     5273    21296 |     8052     2196     68 |  0.000 % |
0.49/0.51	c |      2955 |    2728     5273    21296 |     8857     2955     69 |  0.000 % |
0.59/0.69	c |      4095 |    2728     5273    21296 |     9743     4095     70 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 29
0.59/0.69	o 29
0.59/0.69	c Elapsed CPU time: 0.677896 s	Remaining CPU time: 179.322 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |      4095 |    2728     5274    21496 |     5000     4095     70 |  0.000 % |
0.69/0.71	c |      4195 |    2728     5274    21496 |     5500     4195     69 |  0.000 % |
0.69/0.74	c |      4347 |    2728     5274    21496 |     6050     4347     70 |  0.000 % |
0.69/0.77	c |      4572 |    2728     5274    21496 |     6655     4572     70 |  0.000 % |
0.79/0.83	c |      4909 |    2728     5274    21496 |     7320     4909     70 |  0.000 % |
0.89/0.92	c |      5417 |    2728     5274    21496 |     8052     5417     70 |  0.000 % |
1.00/1.04	c |      6176 |    2728     5274    21496 |     8857     6176     69 |  0.000 % |
1.19/1.23	c |      7316 |    2728     5274    21496 |     9743     7316     70 |  0.000 % |
1.49/1.52	c |      9025 |    2728     5274    21496 |    10717     9025     70 |  0.000 % |
1.99/2.03	c |     11588 |    2728     5274    21496 |    11789    11588     71 |  0.000 % |
2.79/2.84	c |     15433 |    2728     5274    21496 |    12968     8458     73 |  0.000 % |
4.09/4.12	c |     21200 |    2728     5274    21496 |    14265    14225     73 |  0.000 % |
5.99/6.01	c |     29849 |    2728     5274    21496 |    15692    14657     70 |  0.000 % |
8.39/8.48	c ===============================================================================
8.39/8.48	c New solution: 28
8.39/8.48	o 28
8.39/8.48	c Elapsed CPU time: 8.36073 s	Remaining CPU time: 171.639 s
8.39/8.48	c ===============================================================================
8.39/8.48	c |     40709 |    2728     5275    21696 |     5000    16559     71 |  0.000 % |
8.49/8.57	c |     40809 |    2728     5275    21696 |     5500     4240     79 |  0.000 % |
8.49/8.59	c |     40960 |    2728     5275    21696 |     6050     4391     79 |  0.000 % |
8.59/8.63	c |     41185 |    2728     5275    21696 |     6655     4616     79 |  0.000 % |
8.59/8.69	c |     41523 |    2728     5275    21696 |     7320     4954     79 |  0.000 % |
8.69/8.78	c |     42029 |    2728     5275    21696 |     8052     5460     79 |  0.000 % |
8.89/8.91	c |     42788 |    2728     5275    21696 |     8857     6219     77 |  0.000 % |
9.09/9.11	c |     43929 |    2728     5275    21696 |     9743     7360     77 |  0.000 % |
9.39/9.43	c |     45637 |    2728     5275    21696 |    10717     9068     76 |  0.000 % |
9.80/9.89	c |     48200 |    2728     5275    21696 |    11789    11631     72 |  0.000 % |
10.69/10.71	c |     52044 |    2728     5275    21696 |    12968     8505     66 |  0.000 % |
11.99/12.01	c |     57812 |    2728     5275    21696 |    14265    14273     69 |  0.000 % |
13.98/14.09	c |     66461 |    2728     5275    21696 |    15692    15786     76 |  0.000 % |
17.50/17.57	c |     79435 |    2728     5275    21696 |    17261    11959     75 |  0.000 % |
22.59/22.68	c |     98896 |    2728     5275    21696 |    18987    11968     93 |  0.000 % |
30.38/30.42	c |    128088 |    2728     5275    21696 |    20886    20035     59 |  0.000 % |
44.08/44.19	c |    171878 |    2728     5275    21696 |    22974    17147     70 |  0.000 % |
65.58/65.62	c |    237563 |    2728     5275    21696 |    25272    14239     67 |  0.000 % |
100.77/100.85	c |    336090 |    2728     5275    21696 |    27799    18119     78 |  0.000 % |
155.85/155.97	c |    483881 |    2728     5275    21696 |    30579    21932     80 |  0.000 % |
181.84/181.99	c There are 0 assigned variables. 0 in cost function.
182.64/182.74	c core #1
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 22	Core Weight: 1	Total Weight: 1
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c core #2
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 22	Core Weight: 1	Total Weight: 2
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c core #3
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 22	Core Weight: 1	Total Weight: 3
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c core #4
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 22	Core Weight: 1	Total Weight: 4
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c core #5
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 24	Core Weight: 1	Total Weight: 5
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c core #6
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 26	Core Weight: 1	Total Weight: 6
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c core #7
182.64/182.74	c 
182.64/182.74	c 
182.64/182.74	c Core size: 91	Core Weight: 1	Total Weight: 7
182.64/182.74	c
182.64/182.74	c
182.64/182.74	c ============================[ Search Statistics ]==============================
182.64/182.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.74	c ===============================================================================
182.64/182.74	c |         0 |    1563     5482    15684 |     5000        0    nan |  0.000 % |
182.64/182.75	c ===============================================================================
182.64/182.77	c core #8
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 255	Core Weight: 1	Total Weight: 8
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c ============================[ Search Statistics ]==============================
182.64/182.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.77	c ===============================================================================
182.64/182.77	c |         0 |    2615     5483    21179 |     5000        0    nan |  0.000 % |
182.74/182.82	c |       101 |    2615     5483    21179 |     5500      101    103 | 11.656 % |
182.74/182.89	c |       252 |    2615     5483    21179 |     6050      252    108 | 11.655 % |
182.94/183.02	c |       483 |    2615     5483    21179 |     6655      483    118 | 11.655 % |
183.04/183.10	c ===============================================================================
183.04/183.13	c core #9
183.04/183.13	c 
183.04/183.13	c 
183.04/183.13	c Core size: 399	Core Weight: 1	Total Weight: 9
183.04/183.13	c
183.04/183.13	c
183.04/183.13	c ============================[ Search Statistics ]==============================
183.04/183.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.13	c ===============================================================================
183.04/183.13	c |         0 |    3144     5484    22719 |     5000        0    nan |  0.000 % |
183.04/183.17	c |       102 |    3144     5484    22719 |     5500      102    139 |  0.349 % |
183.14/183.26	c |       254 |    3144     5484    22719 |     6050      254    135 |  0.349 % |
183.25/183.38	c |       483 |    3144     5484    22719 |     6655      483    137 |  0.349 % |
183.44/183.57	c |       820 |    3144     5484    22719 |     7320      820    139 |  0.349 % |
183.74/183.84	c |      1327 |    3144     5484    22719 |     8052     1327    132 |  0.349 % |
184.25/184.37	c |      2089 |    3144     5484    22719 |     8857     2089    129 |  0.349 % |
185.24/185.38	c |      3228 |    3144     5484    22719 |     9743     3228    130 |  0.349 % |
186.74/186.81	c |      4936 |    3144     5484    22719 |    10717     4936    136 |  0.349 % |
189.15/189.27	c |      7503 |    3144     5484    22719 |    11789     7503    129 |  0.349 % |
193.34/193.45	c |     11351 |    3144     5484    22719 |    12968    11351    127 |  0.349 % |
199.43/199.51	c |     17122 |    3144     5484    22719 |    14265    10430    124 |  0.349 % |
209.54/209.66	c |     25777 |    3144     5484    22719 |    15692    11756    158 |  0.349 % |
216.64/216.78	c ===============================================================================
217.14/217.25	c core #10
217.14/217.25	c 
217.14/217.25	c 
217.14/217.25	c Core size: 359	Core Weight: 1	Total Weight: 10
217.14/217.25	c
217.14/217.25	c
217.14/217.25	c ============================[ Search Statistics ]==============================
217.14/217.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.14/217.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.14/217.25	c ===============================================================================
217.14/217.25	c |         0 |    3355     5485    23150 |     5000        0    nan |  0.000 % |
217.24/217.30	c |       102 |    3355     5485    23150 |     5500      102    210 |  0.000 % |
217.24/217.36	c |       252 |    3355     5485    23150 |     6050      252    135 |  0.000 % |
217.34/217.45	c |       481 |    3355     5485    23150 |     6655      481     89 |  0.000 % |
217.54/217.60	c |       819 |    3355     5485    23150 |     7320      819     98 |  0.000 % |
217.74/217.81	c |      1331 |    3355     5485    23150 |     8052     1331    123 |  0.000 % |
217.94/218.05	c |      2090 |    3355     5485    23150 |     8857     2090    120 |  0.000 % |
218.33/218.48	c |      3230 |    3355     5485    23150 |     9743     3230    124 |  0.000 % |
219.03/219.13	c |      4938 |    3355     5485    23150 |    10717     4938    125 |  0.000 % |
220.13/220.28	c |      7502 |    3355     5485    23150 |    11789     7502    118 |  0.000 % |
222.43/222.55	c |     11346 |    3355     5485    23150 |    12968    11346    122 |  0.000 % |
226.73/226.89	c |     17112 |    3355     5485    23150 |    14265    10527    124 |  0.000 % |
233.73/233.81	c |     25761 |    3355     5485    23150 |    15692    11892    108 |  0.000 % |
245.14/245.22	c |     38738 |    3355     5485    23150 |    17261     8823    171 |  0.000 % |
265.62/265.78	c |     58200 |    3355     5485    23150 |    18987    10448    189 |  0.000 % |
302.10/302.27	c |     87392 |    3355     5485    23150 |    20886    10609    205 |  0.000 % |
356.88/357.00	c |    131186 |    3355     5485    23150 |    22974    11595    211 |  0.000 % |
448.46/448.66	c |    196877 |    3355     5485    23150 |    25272    18924    183 |  0.000 % |
584.52/584.71	c |    295406 |    3355     5485    23150 |    27799    14565    227 |  0.000 % |
823.27/823.55	c |    443195 |    3355     5485    23150 |    30579    26285    208 |  0.000 % |
1215.17/1215.53	c |    664878 |    3355     5485    23150 |    33637    15430    239 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702375-1278564968/watcher-2702375-1278564968 -o /tmp/evaluation-result-2702375-1278564968/solver-2702375-1278564968 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702375-1278564968.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26904
/proc/meminfo: memFree=1638264/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=3328 CPUtime=0
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 395 0 0 0 0 0 0 0 18 0 1 0 24710342 3407872 314 1992294400 134512640 135752675 4293837600 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 832 314 139 303 0 481 0

[startup+0.0153611 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26904
/proc/meminfo: memFree=1638264/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=3328 CPUtime=0.01
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 406 0 0 0 1 0 0 0 20 0 1 0 24710342 3407872 325 1992294400 134512640 135752675 4293837600 18446744073709551615 134574328 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 832 325 150 303 0 481 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3328

[startup+0.101371 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26904
/proc/meminfo: memFree=1638264/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=3712 CPUtime=0.09
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 664 0 0 0 9 0 0 0 20 0 1 0 24710342 3801088 479 1992294400 134512640 135752675 4293837600 18446744073709551615 134518864 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 928 479 145 303 0 623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3712

[startup+0.301392 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26904
/proc/meminfo: memFree=1638264/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=4232 CPUtime=0.29
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 801 0 0 0 28 1 0 0 20 0 1 0 24710342 4333568 616 1992294400 134512640 135752675 4293837600 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 1058 616 145 303 0 753 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4232

[startup+0.701435 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26904
/proc/meminfo: memFree=1638264/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=5284 CPUtime=0.69
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 1063 0 0 0 68 1 0 0 21 0 1 0 24710342 5410816 878 1992294400 134512640 135752675 4293837600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 1321 878 145 303 0 1016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5284

[startup+1.50152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26905
/proc/meminfo: memFree=1634784/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=7264 CPUtime=1.49
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 1543 0 0 0 146 3 0 0 23 0 1 0 24710342 7438336 1358 1992294400 134512640 135752675 4293837600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 1816 1358 145 303 0 1511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7264

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26905
/proc/meminfo: memFree=1632056/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=10416 CPUtime=3.09
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 2333 0 0 0 304 5 0 0 25 0 1 0 24710342 10665984 2148 1992294400 134512640 135752675 4293837600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 2604 2148 145 303 0 2299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10416

[startup+6.30102 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 26905
/proc/meminfo: memFree=1625856/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=16168 CPUtime=6.29
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 3771 0 0 0 620 9 0 0 25 0 1 0 24710342 16556032 3586 1992294400 134512640 135752675 4293837600 18446744073709551615 134638327 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 4042 3587 145 303 0 3737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16168

[startup+12.7007 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 26905
/proc/meminfo: memFree=1613704/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=27928 CPUtime=12.69
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 6701 0 0 0 1251 18 0 0 25 0 1 0 24710342 28598272 6516 1992294400 134512640 135752675 4293837600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 6982 6516 145 303 0 6677 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27928

[startup+25.501 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 26905
/proc/meminfo: memFree=1591880/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=48716 CPUtime=25.48
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 11896 0 0 0 2514 34 0 0 25 0 1 0 24710342 49885184 11711 1992294400 134512640 135752675 4293837600 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 12179 11711 145 303 0 11874 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48716

[startup+51.1007 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 26905
/proc/meminfo: memFree=1557904/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=83040 CPUtime=51.08
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 20466 0 0 0 5046 62 0 0 25 0 1 0 24710342 85032960 20281 1992294400 134512640 135752675 4293837600 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 20760 20281 145 303 0 20455 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83040

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 26907
/proc/meminfo: memFree=1497888/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=142452 CPUtime=102.28
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 35277 0 0 0 10112 116 0 0 25 0 1 0 24710342 145870848 35092 1992294400 134512640 135752675 4293837600 18446744073709551615 134605284 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 35613 35092 145 303 0 35308 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 142452

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26909
/proc/meminfo: memFree=1436756/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=204308 CPUtime=162.25
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 50743 0 0 0 16052 173 0 0 25 0 1 0 24710342 209211392 50558 1992294400 134512640 135752675 4293837600 18446744073709551615 134639344 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 51077 50558 145 303 0 50772 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 204308

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26911
/proc/meminfo: memFree=1402160/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=237580 CPUtime=222.23
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 59159 0 0 0 22009 214 0 0 25 0 1 0 24710342 243281920 58942 1992294400 134512640 135752675 4293837600 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 59395 58942 146 303 0 59090 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 237580

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26913
/proc/meminfo: memFree=1355908/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=284548 CPUtime=282.22
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 70907 0 0 0 27972 250 0 0 25 0 1 0 24710342 291377152 70690 1992294400 134512640 135752675 4293837600 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 71137 70690 146 303 0 70832 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 284548

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26922
/proc/meminfo: memFree=1307548/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=331984 CPUtime=342.19
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 82751 0 0 0 33938 281 0 0 25 0 1 0 24710342 339951616 82534 1992294400 134512640 135752675 4293837600 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 82996 82534 146 303 0 82691 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 331984

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26924
/proc/meminfo: memFree=1265388/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=374636 CPUtime=402.18
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 93352 0 0 0 39909 309 0 0 25 0 1 0 24710342 383627264 93135 1992294400 134512640 135752675 4293837600 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 93659 93135 146 303 0 93354 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 374636

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26926
/proc/meminfo: memFree=1223476/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=416196 CPUtime=462.16
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 103733 0 0 0 45875 341 0 0 25 0 1 0 24710342 426184704 103516 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 104049 103516 146 303 0 103744 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 416196

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26928
/proc/meminfo: memFree=1183796/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=456200 CPUtime=522.14
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 113703 0 0 0 51845 369 0 0 25 0 1 0 24710342 467148800 113486 1992294400 134512640 135752675 4293837600 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 114050 113486 146 303 0 113745 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 456200

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26930
/proc/meminfo: memFree=1142132/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=497292 CPUtime=582.12
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 123967 0 0 0 57814 398 0 0 25 0 1 0 24710342 509227008 123750 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 124323 123750 146 303 0 124018 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 497292

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26930
/proc/meminfo: memFree=1113488/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=525856 CPUtime=642.12
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 131082 0 0 0 63790 422 0 0 25 0 1 0 24710342 538476544 130865 1992294400 134512640 135752675 4293837600 18446744073709551615 134612112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 131464 130865 146 303 0 131159 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 525856

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26938
/proc/meminfo: memFree=975476/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=663992 CPUtime=882.05
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 165520 0 0 0 87677 528 0 0 25 0 1 0 24710342 679927808 165303 1992294400 134512640 135752675 4293837600 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 165998 165303 146 303 0 165693 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 663992

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26938
/proc/meminfo: memFree=935052/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=704584 CPUtime=942.04
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 175672 0 0 0 93650 554 0 0 25 0 1 0 24710342 721494016 175455 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 176146 175455 146 303 0 175841 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 704584

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26940
/proc/meminfo: memFree=898100/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=741140 CPUtime=1002.02
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 184788 0 0 0 99619 583 0 0 25 0 1 0 24710342 758927360 184571 1992294400 134512640 135752675 4293837600 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 185285 184571 146 303 0 184980 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 741140

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26942
/proc/meminfo: memFree=860776/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=778860 CPUtime=1062
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 194208 0 0 0 105592 608 0 0 25 0 1 0 24710342 797552640 193991 1992294400 134512640 135752675 4293837600 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 194715 193991 146 303 0 194410 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 778860

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26944
/proc/meminfo: memFree=827172/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=812356 CPUtime=1121.99
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 202535 0 0 0 111570 629 0 0 25 0 1 0 24710342 831852544 202318 1992294400 134512640 135752675 4293837600 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 203089 202318 146 303 0 202784 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 812356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26946
/proc/meminfo: memFree=788484/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=851380 CPUtime=1181.97
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 212282 0 0 0 117542 655 0 0 25 0 1 0 24710342 871813120 212065 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 212845 212065 146 303 0 212540 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 851380

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26946
/proc/meminfo: memFree=753268/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=886040 CPUtime=1241.96
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 220949 0 0 0 123519 677 0 0 25 0 1 0 24710342 907304960 220732 1992294400 134512640 135752675 4293837600 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 221510 220732 146 303 0 221205 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 886040

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26948
/proc/meminfo: memFree=721276/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=917756 CPUtime=1301.95
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 228845 0 0 0 129497 698 0 0 25 0 1 0 24710342 939782144 228628 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 229439 228628 146 303 0 229134 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 917756

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 26953
/proc/meminfo: memFree=681720/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=957016 CPUtime=1361.93
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 238654 0 0 0 135467 726 0 0 25 0 1 0 24710342 979984384 238437 1992294400 134512640 135752675 4293837600 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 239254 238437 146 303 0 238949 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 957016

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 26955
/proc/meminfo: memFree=644148/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=994516 CPUtime=1421.92
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 248019 0 0 0 141441 751 0 0 25 0 1 0 24710342 1018384384 247802 1992294400 134512640 135752675 4293837600 18446744073709551615 134616153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 248629 247802 146 303 0 248324 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 994516

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 26957
/proc/meminfo: memFree=606824/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1032020 CPUtime=1481.9
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 257381 0 0 0 147414 776 0 0 25 0 1 0 24710342 1056788480 257164 1992294400 134512640 135752675 4293837600 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 258005 257164 146 303 0 257700 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1032020

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26957
/proc/meminfo: memFree=568136/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1070820 CPUtime=1541.88
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 267091 0 0 0 153384 804 0 0 25 0 1 0 24710342 1096519680 266874 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 267705 266874 146 303 0 267400 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1070820

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26959
/proc/meminfo: memFree=523992/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1115220 CPUtime=1601.86
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 278203 0 0 0 159354 832 0 0 25 0 1 0 24710342 1141985280 277986 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 278805 277986 146 303 0 278500 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1115220

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26961
/proc/meminfo: memFree=490388/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1148464 CPUtime=1661.85
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 286494 0 0 0 165329 856 0 0 25 0 1 0 24710342 1176027136 286277 1992294400 134512640 135752675 4293837600 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 287116 286277 146 303 0 286811 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1148464

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26963
/proc/meminfo: memFree=458272/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1180684 CPUtime=1721.83
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 294534 0 0 0 171306 877 0 0 25 0 1 0 24710342 1209020416 294317 1992294400 134512640 135752675 4293837600 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 295171 294317 146 303 0 294866 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1180684

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26965
/proc/meminfo: memFree=420576/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1218108 CPUtime=1781.81
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 303868 0 0 0 177275 906 0 0 25 0 1 0 24710342 1247342592 303651 1992294400 134512640 135752675 4293837600 18446744073709551615 134605221 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 304527 303651 146 303 0 304222 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1218108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26965
/proc/meminfo: memFree=412640/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=1225948 CPUtime=1800.02
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4202496 305813 0 0 0 179089 913 0 0 25 0 1 0 24710342 1255370752 305596 1992294400 134512640 135752675 4293837600 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26904/statm: 306487 305596 146 303 0 306182 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1225948

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26966
/proc/meminfo: memFree=1492052/2059040 swapFree=4161224/4192956
[pid=26904] ppid=26902 vsize=0 CPUtime=1800.12
/proc/26904/stat : 26904 (wbo1.4b) R 26902 26904 26709 0 -1 4203524 305813 0 0 0 179089 923 0 0 25 0 1 0 24710342 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26904/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.14
CPU user time (s): 1790.9
CPU system time (s): 9.24359
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1225948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.9
system time used= 9.24359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4785

runsolver used 2.95155 second user time and 8.5337 second system time

The end

Launcher Data 

Begin job on node007 at 2010-07-08 06:56:08
IDJOB=2702375
IDBENCH=48122
IDSOLVER=1190
FILE ID=node007/2702375-1278564968
PBS_JOBID= 11239562
Free space on /tmp= 62532 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702375-1278564968/watcher-2702375-1278564968 -o /tmp/evaluation-result-2702375-1278564968/solver-2702375-1278564968 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702375-1278564968.opb

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

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=131246268

node007.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1639288 kB
Buffers:         81976 kB
Cached:         220280 kB
SwapCached:       1860 kB
Active:         146028 kB
Inactive:       186216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1639288 kB
SwapTotal:     4192956 kB
SwapFree:      4161224 kB
Dirty:            2660 kB
Writeback:           4 kB
AnonPages:       28100 kB
Mapped:          13136 kB
Slab:            65704 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702375-1278564968.opb

Free space on /tmp at the end= 62528 MiB
End job on node007 at 2010-07-08 07:26:11