Trace number 2702627

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.1 1800.59

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_2.opb
MD5SUM1eb933a10fcc575d2df25e98511c4b07
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark576.181
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2960
Sum of products size (including duplicates)5920
Number of different products1480
Sum of products size2960

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-2702627-1278572908.opb.
0.00/0.00	c Instance file HOME/instance-2702627-1278572908.opb
0.00/0.00	c File size is 118923 bytes.
0.01/0.02	c Highest Coefficient sum: 100
0.01/0.02	c ============================[ Problem Statistics ]=============================
0.01/0.02	c |                                                                             |
0.01/0.02	c |  Parsing time:          0.02         s                                      |
0.01/0.02	c |  Number Variables:      1580                                                |
0.01/0.02	c |  Number Clauses:        1530                                                |
0.01/0.02	c |  Number Cardinality:    102                                                 |
0.01/0.02	c |  Number PB Constraints: 1480                                                |
0.01/0.04	c ============================[ Search Statistics ]==============================
0.01/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    1580     3112    12140 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 0
0.01/0.04	o 0
0.01/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    1580     3113    12190 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -1
0.01/0.04	o -1
0.01/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 179.954 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         1 |    1580     3114    12240 |     5000        1     51 |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -2
0.01/0.04	o -2
0.01/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         2 |    1580     3115    12290 |     5000        2     27 |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c New solution: -3
0.01/0.05	o -3
0.01/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.01/0.05	c ===============================================================================
0.01/0.05	c |        47 |    1580     3116    12340 |     5000       47     55 |  0.000 % |
0.01/0.05	c |       147 |    1580     3116    12340 |     5500      147     71 |  0.001 % |
0.01/0.07	c |       303 |    1580     3116    12340 |     6050      303     81 |  0.001 % |
0.01/0.09	c |       531 |    1580     3116    12340 |     6655      531     86 |  0.001 % |
0.09/0.12	c |       869 |    1580     3116    12340 |     7320      869     86 |  0.001 % |
0.09/0.19	c |      1382 |    1580     3116    12340 |     8052     1382     88 |  0.001 % |
0.29/0.32	c |      2149 |    1580     3116    12340 |     8857     2149     89 |  0.001 % |
0.49/0.59	c |      3291 |    1580     3116    12340 |     9743     3291     88 |  0.001 % |
1.00/1.05	c |      5003 |    1580     3116    12340 |    10717     5003     88 |  0.001 % |
1.89/1.99	c |      7571 |    1580     3116    12340 |    11789     7571     87 |  0.001 % |
4.39/4.48	c |     11441 |    1580     3116    12340 |    12968    11441     85 |  0.001 % |
8.09/8.19	c ===============================================================================
8.09/8.19	c New solution: -4
8.09/8.19	o -4
8.09/8.19	c Elapsed CPU time: 8.14376 s	Remaining CPU time: 171.856 s
8.09/8.19	c ===============================================================================
8.09/8.19	c |     16368 |    1580     3117    12390 |     5000     9136     81 |  0.001 % |
8.19/8.23	c |     16468 |    1580     3117    12390 |     5500     4668     78 |  0.001 % |
8.19/8.26	c |     16618 |    1580     3117    12390 |     6050     4818     78 |  0.001 % |
8.28/8.32	c |     16843 |    1580     3117    12390 |     6655     5043     79 |  0.001 % |
8.28/8.39	c |     17181 |    1580     3117    12390 |     7320     5381     79 |  0.001 % |
8.48/8.51	c |     17689 |    1580     3117    12390 |     8052     5889     79 |  0.001 % |
8.70/8.72	c |     18451 |    1580     3117    12390 |     8857     6651     79 |  0.001 % |
8.99/9.06	c |     19592 |    1580     3117    12390 |     9743     7792     78 |  0.001 % |
9.39/9.45	c |     21304 |    1580     3117    12390 |    10717     9504     79 |  0.001 % |
9.99/10.08	c |     23866 |    1580     3117    12390 |    11789    12066     81 |  0.001 % |
11.18/11.23	c |     27712 |    1580     3117    12390 |    12968     9879     82 |  0.001 % |
13.19/13.20	c |     33484 |    1580     3117    12390 |    14265     8401     85 |  0.001 % |
17.19/17.27	c |     42138 |    1580     3117    12390 |    15692     9149     87 |  0.001 % |
24.78/24.87	c |     55112 |    1580     3117    12390 |    17261    13515     84 |  0.001 % |
36.88/36.92	c |     74573 |    1580     3117    12390 |    18987    14196     80 |  0.001 % |
38.58/38.61	c ===============================================================================
38.58/38.61	c New solution: -5
38.58/38.61	o -5
38.58/38.61	c Elapsed CPU time: 38.2962 s	Remaining CPU time: 141.704 s
38.58/38.61	c ===============================================================================
38.58/38.61	c |     78591 |    1580     3118    12440 |     5000    18214     80 |  0.001 % |
38.68/38.74	c |     78692 |    1580     3118    12440 |     5500     4655     79 |  0.001 % |
38.68/38.76	c |     78842 |    1580     3118    12440 |     6050     4805     79 |  0.001 % |
38.78/38.80	c |     79067 |    1580     3118    12440 |     6655     5030     79 |  0.001 % |
38.78/38.86	c |     79405 |    1580     3118    12440 |     7320     5368     79 |  0.001 % |
38.88/38.97	c |     79919 |    1580     3118    12440 |     8052     5882     78 |  0.001 % |
39.08/39.15	c |     80679 |    1580     3118    12440 |     8857     6642     78 |  0.001 % |
39.38/39.43	c |     81819 |    1580     3118    12440 |     9743     7782     77 |  0.001 % |
39.78/39.84	c |     83527 |    1580     3118    12440 |    10717     9490     77 |  0.001 % |
40.48/40.59	c |     86091 |    1580     3118    12440 |    11789    12054     77 |  0.002 % |
41.48/41.53	c |     89935 |    1580     3118    12440 |    12968     9871     74 |  0.001 % |
43.07/43.17	c |     95701 |    1580     3118    12440 |    14265     8378     75 |  0.001 % |
45.58/45.60	c |    104351 |    1580     3118    12440 |    15692     9236     76 |  0.001 % |
49.49/49.55	c |    117329 |    1580     3118    12440 |    17261    13632     78 |  0.001 % |
50.28/50.39	c ===============================================================================
50.28/50.39	c New solution: -6
50.28/50.39	o -6
50.28/50.39	c Elapsed CPU time: 49.9094 s	Remaining CPU time: 130.091 s
50.28/50.39	c ===============================================================================
50.28/50.39	c |    118856 |    1580     3119    12490 |     5000    15159     74 |  0.001 % |
50.38/50.48	c |    118958 |    1580     3119    12490 |     5500     3892     55 |  0.001 % |
50.38/50.49	c |    119108 |    1580     3119    12490 |     6050     4042     56 |  0.001 % |
50.48/50.51	c |    119333 |    1580     3119    12490 |     6655     4267     58 |  0.001 % |
50.48/50.55	c |    119671 |    1580     3119    12490 |     7320     4605     59 |  0.001 % |
50.58/50.62	c |    120180 |    1580     3119    12490 |     8052     5114     62 |  0.001 % |
50.68/50.72	c |    120941 |    1580     3119    12490 |     8857     5875     65 |  0.001 % |
50.78/50.88	c |    122082 |    1580     3119    12490 |     9743     7016     69 |  0.001 % |
51.07/51.18	c |    123790 |    1580     3119    12490 |    10717     8724     73 |  0.001 % |
51.58/51.69	c |    126352 |    1580     3119    12490 |    11789    11286     76 |  0.001 % |
52.58/52.61	c |    130197 |    1580     3119    12490 |    12968     8479     86 |  0.000 % |
54.68/54.76	c |    135965 |    1580     3119    12490 |    14265    14247     85 |  0.002 % |
57.67/57.75	c |    144617 |    1580     3119    12490 |    15692    15010     83 |  0.001 % |
62.68/62.78	c |    157591 |    1580     3119    12490 |    17261    10789     78 |  0.001 % |
70.17/70.20	c |    177056 |    1580     3119    12490 |    18987    11475     75 |  0.001 % |
80.46/80.58	c |    206249 |    1580     3119    12490 |    20886    20245     77 |  0.000 % |
96.97/97.01	c |    250041 |    1580     3119    12490 |    22974    19186     77 |  0.000 % |
122.86/122.94	c |    315728 |    1580     3119    12490 |    25272    20671     77 |  0.001 % |
164.34/164.49	c |    414255 |    1580     3119    12490 |    27799    13938     76 |  0.001 % |
181.84/181.90	c There are 0 assigned variables. 0 in cost function.
182.34/182.42	c core #1
182.34/182.42	c 
182.34/182.42	c 
182.34/182.42	c Core size: 101	Core Weight: 1	Total Weight: -49
182.34/182.42	c
182.34/182.42	c
182.34/182.42	c ============================[ Search Statistics ]==============================
182.34/182.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.42	c ===============================================================================
182.34/182.42	c |         0 |    1630     4180    15631 |     5000        0    nan |  0.000 % |
182.34/182.43	c ===============================================================================
182.34/182.44	c core #2
182.34/182.44	c 
182.34/182.44	c 
182.34/182.44	c Core size: 51	Core Weight: 1	Total Weight: -48
182.34/182.44	c
182.34/182.44	c
182.34/182.44	c ============================[ Search Statistics ]==============================
182.34/182.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.44	c ===============================================================================
182.34/182.44	c |         0 |    1673     4184    15726 |     5000        0    nan |  0.000 % |
182.34/182.46	c |       100 |    1672     4184    15726 |     5500      100     31 |  2.212 % |
182.34/182.49	c |       263 |    1672     4184    15726 |     6050      263     32 |  2.212 % |
182.45/182.54	c |       489 |    1630     4184    15726 |     6655      443     29 | 10.581 % |
182.45/182.56	c ===============================================================================
182.45/182.58	c core #3
182.45/182.58	c 
182.45/182.58	c 
182.45/182.58	c Core size: 58	Core Weight: 1	Total Weight: -47
182.45/182.58	c
182.45/182.58	c
182.45/182.58	c ============================[ Search Statistics ]==============================
182.45/182.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.45/182.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.45/182.58	c ===============================================================================
182.45/182.58	c |         0 |    1723     4209    15896 |     5000        0    nan |  0.000 % |
182.55/182.60	c |       100 |    1723     4209    15896 |     5500      100     54 |  0.001 % |
182.55/182.63	c |       252 |    1723     4209    15896 |     6050      252     35 |  0.001 % |
182.55/182.66	c |       477 |    1723     4209    15896 |     6655      477     32 |  0.002 % |
182.64/182.73	c |       814 |    1723     4209    15896 |     7320      814     33 |  0.002 % |
182.74/182.82	c |      1320 |    1723     4209    15896 |     8052     1320     32 |  0.002 % |
182.84/182.96	c |      2080 |    1723     4209    15896 |     8857     2080     31 |  0.002 % |
183.04/183.18	c |      3219 |    1723     4209    15896 |     9743     3219     31 |  0.015 % |
183.44/183.52	c ===============================================================================
183.44/183.58	c core #4
183.44/183.58	c 
183.44/183.58	c 
183.44/183.58	c Core size: 68	Core Weight: 1	Total Weight: -46
183.44/183.58	c
183.44/183.58	c
183.44/183.58	c ============================[ Search Statistics ]==============================
183.44/183.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.58	c ===============================================================================
183.44/183.58	c |         0 |    1773     4503    16872 |     5000        0    nan |  0.000 % |
183.55/183.61	c |       100 |    1773     4503    16872 |     5500      100     50 |  0.001 % |
183.55/183.63	c |       250 |    1773     4503    16872 |     6050      250     44 |  0.001 % |
183.55/183.68	c |       475 |    1773     4503    16872 |     6655      475     41 |  0.001 % |
183.65/183.74	c |       813 |    1773     4503    16872 |     7320      813     39 |  0.001 % |
183.74/183.84	c |      1323 |    1773     4503    16872 |     8052     1323     39 |  0.001 % |
183.94/184.00	c |      2086 |    1773     4503    16872 |     8857     2086     42 |  0.001 % |
184.14/184.23	c |      3225 |    1773     4503    16872 |     9743     3225     41 |  0.001 % |
184.65/184.70	c |      4933 |    1773     4503    16872 |    10717     4933     38 |  0.001 % |
185.14/185.28	c |      7495 |    1773     4503    16872 |    11789     7495     38 |  0.002 % |
186.34/186.40	c |     11339 |    1742     4503    16872 |    12968     6502     36 |  1.760 % |
186.44/186.58	c ===============================================================================
186.53/186.67	c core #5
186.53/186.67	c 
186.53/186.67	c 
186.53/186.67	c Core size: 57	Core Weight: 1	Total Weight: -45
186.53/186.67	c
186.53/186.67	c
186.53/186.67	c ============================[ Search Statistics ]==============================
186.53/186.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.53/186.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.53/186.67	c ===============================================================================
186.53/186.67	c |         0 |    1823     5226    19134 |     5000        0    nan |  0.000 % |
186.63/186.72	c |       115 |    1823     5226    19134 |     5500      115    100 |  0.001 % |
186.63/186.75	c |       265 |    1823     5226    19134 |     6050      265     75 |  0.000 % |
186.74/186.80	c |       490 |    1823     5226    19134 |     6655      490     54 |  0.001 % |
186.74/186.83	c |       829 |    1823     5226    19134 |     7320      829     65 |  0.001 % |
186.74/186.88	c |      1337 |    1823     5226    19134 |     8052     1337     70 |  0.001 % |
186.85/186.99	c |      2099 |    1823     5226    19134 |     8857     2099     73 |  0.001 % |
187.04/187.17	c |      3238 |    1823     5226    19134 |     9743     3238     75 |  0.001 % |
187.44/187.52	c |      4949 |    1823     5226    19134 |    10717     4949     76 |  0.001 % |
188.34/188.41	c |      7514 |    1823     5226    19134 |    11789     7514     76 |  0.001 % |
190.64/190.76	c |     11359 |    1823     5226    19134 |    12968    11359     74 |  0.001 % |
193.44/193.55	c |     17125 |    1823     5226    19134 |    14265     9923     68 |  0.001 % |
198.14/198.26	c |     25774 |    1823     5226    19134 |    15692    10667     61 |  0.001 % |
203.45/203.56	c |     38748 |    1823     5226    19134 |    17261    15083     56 |  0.001 % |
214.13/214.20	c |     58211 |    1823     5226    19134 |    18987    16055     39 |  0.001 % |
227.23/227.34	c |     87404 |    1823     5226    19134 |    20886    14940     37 |  0.001 % |
248.02/248.19	c |    131193 |    1823     5226    19134 |    22974    14512     41 |  0.001 % |
281.53/281.62	c |    196877 |    1823     5226    19134 |    25272    16472     58 |  0.001 % |
341.20/341.36	c |    295403 |    1823     5226    19134 |    27799    15752     47 |  0.001 % |
417.78/417.93	c |    443192 |    1823     5226    19134 |    30579    26142     57 |  0.001 % |
550.34/550.58	c |    664875 |    1823     5226    19134 |    33637    30315     46 |  0.001 % |
755.49/755.79	c |    997401 |    1823     5226    19134 |    37001    33366     44 |  0.002 % |
1064.90/1065.26	c |   1496189 |    1823     5226    19134 |    40701    19551     39 |  0.002 % |
1093.60/1093.94	c ===============================================================================
1095.10/1095.43	c core #6
1095.10/1095.43	c 
1095.10/1095.43	c 
1095.10/1095.43	c Core size: 90	Core Weight: 1	Total Weight: -44
1095.10/1095.43	c
1095.10/1095.43	c
1095.10/1095.43	c ============================[ Search Statistics ]==============================
1095.10/1095.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1095.10/1095.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1095.10/1095.43	c ===============================================================================
1095.10/1095.43	c |         0 |    1873     6960    24356 |     5000        0    nan |  0.000 % |
1095.39/1095.70	c |       100 |    1873     6960    24356 |     5500      100    161 |  0.001 % |
1095.39/1095.74	c |       251 |    1873     6960    24356 |     6050      251     81 |  0.001 % |
1095.39/1095.75	c |       477 |    1873     6960    24356 |     6655      477     84 |  0.001 % |
1095.39/1095.78	c |       814 |    1873     6960    24356 |     7320      814     85 |  0.001 % |
1095.49/1095.83	c |      1321 |    1873     6960    24356 |     8052     1321     84 |  0.001 % |
1095.60/1095.93	c |      2081 |    1873     6960    24356 |     8857     2081     83 |  0.001 % |
1095.70/1096.10	c |      3220 |    1873     6960    24356 |     9743     3220     82 |  0.001 % |
1096.10/1096.41	c |      4929 |    1873     6960    24356 |    10717     4929     82 |  0.001 % |
1097.00/1097.34	c |      7491 |    1873     6960    24356 |    11789     7491     81 |  0.001 % |
1098.60/1098.99	c |     11337 |    1873     6960    24356 |    12968    11337     80 |  0.001 % |
1100.59/1100.96	c |     17105 |    1873     6960    24356 |    14265     9868     79 |  0.001 % |
1105.49/1105.89	c |     25758 |    1873     6960    24356 |    15692    10660     72 |  0.001 % |
1110.60/1110.99	c |     38740 |    1873     6960    24356 |    17261    15042     62 |  0.001 % |
1117.09/1117.41	c |     58202 |    1873     6960    24356 |    18987    15846     58 |  0.001 % |
1126.59/1126.98	c |     87394 |    1873     6960    24356 |    20886    14342     57 |  0.001 % |
1141.18/1141.59	c |    131184 |    1873     6960    24356 |    22974    13258     55 |  0.001 % |
1167.48/1167.82	c |    196871 |    1873     6960    24356 |    25272    13781     64 |  0.001 % |
1215.76/1216.19	c |    295397 |    1873     6960    24356 |    27799    12909     48 |  0.001 % |
1286.44/1286.86	c |    443186 |    1873     6960    24356 |    30579    22361     50 |  0.001 % |
1396.82/1397.21	c |    664869 |    1873     6960    24356 |    33637    25810     59 |  0.001 % |
1597.37/1597.83	c |    997396 |    1873     6960    24356 |    37001    19196     36 |  0.001 % |

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-2702627-1278572908/watcher-2702627-1278572908 -o /tmp/evaluation-result-2702627-1278572908/solver-2702627-1278572908 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702627-1278572908.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: 0.00 0.01 0.26 3/106 3762
/proc/meminfo: memFree=1764420/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=2968 CPUtime=0
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 841952 3039232 256 1992294400 134512640 135752675 4289731008 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 742 256 139 303 0 407 0

[startup+0.021532 s]
/proc/loadavg: 0.00 0.01 0.26 3/106 3762
/proc/meminfo: memFree=1764420/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=3100 CPUtime=0.01
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 414 0 0 0 1 0 0 0 20 0 1 0 841952 3174400 332 1992294400 134512640 135752675 4289731008 18446744073709551615 135228428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 775 333 157 303 0 440 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3100

[startup+0.100541 s]
/proc/loadavg: 0.00 0.01 0.26 3/106 3762
/proc/meminfo: memFree=1764420/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=3520 CPUtime=0.09
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 559 0 0 0 9 0 0 0 20 0 1 0 841952 3604480 447 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 880 447 145 303 0 575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520

[startup+0.300564 s]
/proc/loadavg: 0.00 0.01 0.26 3/106 3762
/proc/meminfo: memFree=1764420/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=4172 CPUtime=0.29
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 709 0 0 0 29 0 0 0 20 0 1 0 841952 4272128 597 1992294400 134512640 135752675 4289731008 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 1043 597 145 303 0 738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4172

[startup+0.700611 s]
/proc/loadavg: 0.00 0.01 0.26 3/106 3762
/proc/meminfo: memFree=1764420/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=4948 CPUtime=0.69
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 917 0 0 0 68 1 0 0 21 0 1 0 841952 5066752 805 1992294400 134512640 135752675 4289731008 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 1237 805 145 303 0 932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4948

[startup+1.5007 s]
/proc/loadavg: 0.08 0.03 0.26 2/107 3763
/proc/meminfo: memFree=1761560/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=6276 CPUtime=1.49
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 1260 0 0 0 148 1 0 0 23 0 1 0 841952 6426624 1148 1992294400 134512640 135752675 4289731008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 1569 1148 145 303 0 1264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6276

[startup+3.10089 s]
/proc/loadavg: 0.08 0.03 0.26 2/107 3764
/proc/meminfo: memFree=1759700/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=7988 CPUtime=3.09
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 1672 0 0 0 307 2 0 0 25 0 1 0 841952 8179712 1560 1992294400 134512640 135752675 4289731008 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 1997 1560 145 303 0 1692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7988

[startup+6.30127 s]
/proc/loadavg: 0.08 0.03 0.26 2/107 3764
/proc/meminfo: memFree=1757096/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=10144 CPUtime=6.29
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 2200 0 0 0 626 3 0 0 25 0 1 0 841952 10387456 2088 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 2536 2088 145 303 0 2231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10144

[startup+12.701 s]
/proc/loadavg: 0.22 0.06 0.27 2/107 3764
/proc/meminfo: memFree=1749284/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=18260 CPUtime=12.68
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 4202 0 0 0 1258 10 0 0 25 0 1 0 841952 18698240 4090 1992294400 134512640 135752675 4289731008 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 4565 4090 145 303 0 4260 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18260

[startup+25.5005 s]
/proc/loadavg: 0.34 0.09 0.28 2/107 3764
/proc/meminfo: memFree=1738000/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=29108 CPUtime=25.48
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 6898 0 0 0 2528 20 0 0 25 0 1 0 841952 29806592 6786 1992294400 134512640 135752675 4289731008 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 7277 6786 145 303 0 6972 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29108

[startup+51.1005 s]
/proc/loadavg: 0.60 0.18 0.30 2/107 3765
/proc/meminfo: memFree=1712332/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=56412 CPUtime=51.07
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 13694 0 0 0 5059 48 0 0 25 0 1 0 841952 57765888 13582 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 14103 13582 145 303 0 13798 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56412

[startup+102.308 s]
/proc/loadavg: 0.82 0.30 0.33 2/107 3766
/proc/meminfo: memFree=1654548/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=112232 CPUtime=102.27
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 27639 0 0 0 10120 107 0 0 25 0 1 0 841952 114925568 27527 1992294400 134512640 135752675 4289731008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 28058 27527 145 303 0 27753 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112232

[startup+162.3 s]
/proc/loadavg: 0.93 0.43 0.37 2/107 3768
/proc/meminfo: memFree=1596516/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=170476 CPUtime=162.24
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 42195 0 0 0 16057 167 0 0 25 0 1 0 841952 174567424 42084 1992294400 134512640 135752675 4289731008 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 42619 42084 145 303 0 42314 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 170476

[startup+222.3 s]
/proc/loadavg: 0.97 0.53 0.41 2/107 3769
/proc/meminfo: memFree=1567996/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=198224 CPUtime=222.23
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 49224 0 0 0 22003 220 0 0 25 0 1 0 841952 202981376 49083 1992294400 134512640 135752675 4289731008 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 49556 49083 146 303 0 49251 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 198224

[startup+282.3 s]
/proc/loadavg: 0.99 0.61 0.44 2/107 3771
/proc/meminfo: memFree=1538856/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=228100 CPUtime=282.21
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 56617 0 0 0 27951 270 0 0 25 0 1 0 841952 233574400 56476 1992294400 134512640 135752675 4289731008 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 57025 56476 146 303 0 56720 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 228100

[startup+342.3 s]
/proc/loadavg: 0.99 0.68 0.47 2/107 3773
/proc/meminfo: memFree=1512816/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=253784 CPUtime=342.2
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 62990 0 0 0 33913 307 0 0 25 0 1 0 841952 259874816 62849 1992294400 134512640 135752675 4289731008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 63446 62849 146 303 0 63141 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 253784

[startup+402.3 s]
/proc/loadavg: 0.99 0.74 0.50 2/107 3774
/proc/meminfo: memFree=1482436/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=284388 CPUtime=402.18
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 70623 0 0 0 39860 358 0 0 25 0 1 0 841952 291213312 70482 1992294400 134512640 135752675 4289731008 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 71097 70482 146 303 0 70792 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 284388

[startup+462.3 s]
/proc/loadavg: 0.99 0.78 0.53 2/107 3776
/proc/meminfo: memFree=1455652/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=310984 CPUtime=462.16
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 77229 0 0 0 45817 399 0 0 25 0 1 0 841952 318447616 77088 1992294400 134512640 135752675 4289731008 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 77746 77088 146 303 0 77441 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 310984

[startup+522.301 s]
/proc/loadavg: 0.99 0.82 0.56 2/107 3777
/proc/meminfo: memFree=1427628/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=339232 CPUtime=522.15
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 84289 0 0 0 51771 444 0 0 25 0 1 0 841952 347373568 84148 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 84808 84148 146 303 0 84503 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 339232

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.58 2/107 3779
/proc/meminfo: memFree=1407168/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=359516 CPUtime=582.13
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 89328 0 0 0 57734 479 0 0 25 0 1 0 841952 368144384 89187 1992294400 134512640 135752675 4289731008 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 89879 89187 146 303 0 89574 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 359516

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.60 2/107 3781
/proc/meminfo: memFree=1382616/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=383668 CPUtime=642.12
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 95386 0 0 0 63692 520 0 0 25 0 1 0 841952 392876032 95245 1992294400 134512640 135752675 4289731008 18446744073709551615 134604972 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 95917 95245 146 303 0 95612 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 383668

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 0.99 0.93 0.68 2/107 3787
/proc/meminfo: memFree=1273372/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=492680 CPUtime=882.05
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 122631 0 0 0 87508 697 0 0 25 0 1 0 841952 504504320 122490 1992294400 134512640 135752675 4289731008 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 123170 122490 146 303 0 122865 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 492680

[startup+942.301 s]
/proc/loadavg: 0.99 0.94 0.70 2/107 3789
/proc/meminfo: memFree=1255144/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=511220 CPUtime=942.03
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 127198 0 0 0 93471 732 0 0 25 0 1 0 841952 523489280 127057 1992294400 134512640 135752675 4289731008 18446744073709551615 134604972 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 127805 127057 146 303 0 127500 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 511220

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.72 2/107 3790
/proc/meminfo: memFree=1226004/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=540016 CPUtime=1002.03
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 134417 0 0 0 99427 776 0 0 25 0 1 0 841952 552976384 134276 1992294400 134512640 135752675 4289731008 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 135004 134276 146 303 0 134699 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 540016

[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.73 2/107 3792
/proc/meminfo: memFree=1201824/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=564172 CPUtime=1062
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 140440 0 0 0 105387 813 0 0 25 0 1 0 841952 577712128 140299 1992294400 134512640 135752675 4289731008 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 141043 140299 146 303 0 140738 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 564172

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.75 2/107 3793
/proc/meminfo: memFree=1175164/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=589808 CPUtime=1121.99
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 147175 0 0 0 111332 867 0 0 25 0 1 0 841952 603963392 146992 1992294400 134512640 135752675 4289731008 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 147452 146992 146 303 0 147147 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 589808

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/107 3795
/proc/meminfo: memFree=1135732/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=629180 CPUtime=1181.98
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 157006 0 0 0 117274 924 0 0 25 0 1 0 841952 644280320 156823 1992294400 134512640 135752675 4289731008 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 157295 156823 146 303 0 156990 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 629180

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/107 3797
/proc/meminfo: memFree=1108576/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=656412 CPUtime=1241.96
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 163744 0 0 0 123229 967 0 0 25 0 1 0 841952 672165888 163561 1992294400 134512640 135752675 4289731008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 164103 163561 146 303 0 163798 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 656412

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/107 3798
/proc/meminfo: memFree=1076088/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=688584 CPUtime=1301.95
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 171753 0 0 0 129173 1022 0 0 25 0 1 0 841952 705110016 171570 1992294400 134512640 135752675 4289731008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 172146 171570 146 303 0 171841 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 688584

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/107 3800
/proc/meminfo: memFree=1042484/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=722636 CPUtime=1361.93
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 180245 0 0 0 135116 1077 0 0 25 0 1 0 841952 739979264 180062 1992294400 134512640 135752675 4289731008 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 180659 180062 146 303 0 180354 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 722636

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.80 2/107 3801
/proc/meminfo: memFree=1012476/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=752100 CPUtime=1421.92
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 187633 0 0 0 141066 1126 0 0 25 0 1 0 841952 770150400 187450 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 188025 187450 146 303 0 187720 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 752100

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 3803
/proc/meminfo: memFree=987552/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=777300 CPUtime=1481.89
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 193881 0 0 0 147014 1175 0 0 25 0 1 0 841952 795955200 193698 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 194325 193698 146 303 0 194020 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 777300

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 3805
/proc/meminfo: memFree=961760/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=803044 CPUtime=1541.88
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 200305 0 0 0 152966 1222 0 0 25 0 1 0 841952 822317056 200122 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 200761 200122 146 303 0 200456 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 803044

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 3806
/proc/meminfo: memFree=949484/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=815428 CPUtime=1601.86
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 203397 0 0 0 158935 1251 0 0 25 0 1 0 841952 834998272 203214 1992294400 134512640 135752675 4289731008 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 203857 203214 146 303 0 203552 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 815428

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 3808
/proc/meminfo: memFree=928528/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=836164 CPUtime=1661.84
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 208574 0 0 0 164895 1289 0 0 25 0 1 0 841952 856231936 208391 1992294400 134512640 135752675 4289731008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 209041 208391 146 303 0 208736 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 836164

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 3809
/proc/meminfo: memFree=902736/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=862108 CPUtime=1721.83
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 215034 0 0 0 170849 1334 0 0 25 0 1 0 841952 882798592 214851 1992294400 134512640 135752675 4289731008 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 215527 214851 146 303 0 215222 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 862108

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 3811
/proc/meminfo: memFree=879424/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=885072 CPUtime=1781.81
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 220762 0 0 0 176804 1377 0 0 25 0 1 0 841952 906313728 220579 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 221268 220579 146 303 0 220963 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 885072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 3811
/proc/meminfo: memFree=871984/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=892280 CPUtime=1800.01
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 222584 0 0 0 178612 1389 0 0 25 0 1 0 841952 913694720 222401 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 223070 222401 146 303 0 222765 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 892280

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 3811
/proc/meminfo: memFree=871984/2059040 swapFree=4192956/4192956
[pid=3762] ppid=3760 vsize=892280 CPUtime=1800.01
/proc/3762/stat : 3762 (wbo1.4b) R 3760 3762 3727 0 -1 4202496 222584 0 0 0 178612 1389 0 0 25 0 1 0 841952 913694720 222401 1992294400 134512640 135752675 4289731008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3762/statm: 223070 222401 146 303 0 222765 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 892280

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.1
CPU user time (s): 1786.13
CPU system time (s): 13.9759
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 892280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.13
system time used= 13.9759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222584
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= 10
involuntary context switches= 3204

runsolver used 3.2765 second user time and 8.21175 second system time

The end

Launcher Data 

Begin job on node033 at 2010-07-08 09:08:28
IDJOB=2702627
IDBENCH=48248
IDSOLVER=1190
FILE ID=node033/2702627-1278572908
PBS_JOBID= 11240091
Free space on /tmp= 62512 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.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-2702627-1278572908/watcher-2702627-1278572908 -o /tmp/evaluation-result-2702627-1278572908/solver-2702627-1278572908 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702627-1278572908.opb

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

MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07
RANDOM SEED=1710813928

node033.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.224
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.44
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.224
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1765320 kB
Buffers:         46336 kB
Cached:         140520 kB
SwapCached:          0 kB
Active:         106788 kB
Inactive:       139064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1765320 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2616 kB
Writeback:          32 kB
AnonPages:       58988 kB
Mapped:          14328 kB
Slab:            25772 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178572 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-2702627-1278572908.opb

Free space on /tmp at the end= 62508 MiB
End job on node033 at 2010-07-08 09:38:31