Trace number 2702601

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)? (MO) 1798.63 1799.28

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_2.opb
MD5SUM493eec42e81abed935f584a4e365015a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59
Best CPU time to get the best result obtained on this benchmark1798.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

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-2702601-1278578312.opb.
0.00/0.00	c Instance file HOME/instance-2702601-1278578312.opb
0.00/0.00	c File size is 1383772 bytes.
0.19/0.27	c Highest Coefficient sum: 1000
0.19/0.27	c ============================[ Problem Statistics ]=============================
0.19/0.27	c |                                                                             |
0.19/0.27	c |  Parsing time:          0.26         s                                      |
0.19/0.27	c |  Number Variables:      16670                                               |
0.19/0.27	c |  Number Clauses:        16170                                               |
0.19/0.27	c |  Number Cardinality:    1002                                                |
0.19/0.27	c |  Number PB Constraints: 15670                                               |
0.49/0.53	c ============================[ Search Statistics ]==============================
0.49/0.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.53	c ===============================================================================
0.49/0.53	c |         0 |   16670    32842   128360 |    10947        0    nan |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: 0
0.49/0.58	o 0
0.49/0.58	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 179.44 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         0 |   16670    32843   128860 |    10947        0    nan |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: -1
0.59/0.63	o -1
0.59/0.63	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 179.39 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |         1 |   16670    32844   129360 |    10948        1    503 |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: -2
0.59/0.65	o -2
0.59/0.65	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 179.365 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |         1 |   16670    32845   129860 |    10948        1    503 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -3
0.59/0.68	o -3
0.59/0.68	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 179.341 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |         1 |   16670    32846   130360 |    10948        1    503 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -4
0.69/0.70	o -4
0.69/0.70	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 179.317 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |         1 |   16670    32847   130860 |    10949        1    503 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -5
0.69/0.73	o -5
0.69/0.73	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 179.291 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |         1 |   16670    32848   131360 |    10949        1    503 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: -6
0.69/0.75	o -6
0.69/0.75	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 179.267 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |         1 |   16670    32849   131860 |    10949        1    503 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -7
0.69/0.78	o -7
0.69/0.78	c Elapsed CPU time: 0.757884 s	Remaining CPU time: 179.242 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         1 |   16670    32850   132360 |    10950        1    503 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -8
0.79/0.82	o -8
0.79/0.82	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 179.199 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |        61 |   16670    32851   132860 |    10950       61    980 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -9
0.79/0.85	o -9
0.79/0.85	c Elapsed CPU time: 0.825874 s	Remaining CPU time: 179.174 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |        61 |   16670    32852   133360 |    10950       61    980 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -10
0.79/0.88	o -10
0.79/0.88	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 179.147 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |        62 |   16670    32853   133860 |    10951       62    964 |  0.000 % |
0.89/0.90	c ===============================================================================
0.89/0.90	c New solution: -11
0.89/0.90	o -11
0.89/0.90	c Elapsed CPU time: 0.877866 s	Remaining CPU time: 179.122 s
0.89/0.90	c ===============================================================================
0.89/0.90	c |        63 |   16670    32854   134360 |    10951       63    957 |  0.000 % |
0.89/0.96	c |       163 |   16670    32854   134360 |    12046      163    972 |  0.000 % |
0.98/1.03	c |       313 |   16670    32854   134360 |    13251      313    978 |  0.000 % |
1.10/1.10	c ===============================================================================
1.10/1.10	c New solution: -12
1.10/1.10	o -12
1.10/1.10	c Elapsed CPU time: 1.07184 s	Remaining CPU time: 178.928 s
1.10/1.10	c ===============================================================================
1.10/1.10	c |       414 |   16670    32855   134860 |    10951      414    972 |  0.000 % |
1.10/1.16	c |       514 |   16670    32855   134860 |    12046      514    974 |  0.000 % |
1.20/1.23	c |       664 |   16670    32855   134860 |    13251      664    975 |  0.000 % |
1.28/1.33	c |       889 |   16670    32855   134860 |    14576      889    977 |  0.000 % |
1.49/1.50	c |      1226 |   16670    32855   134860 |    16034     1226    979 |  0.000 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -13
1.49/1.53	o -13
1.49/1.53	c Elapsed CPU time: 1.49177 s	Remaining CPU time: 178.508 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |      1228 |   16670    32856   135360 |    10952     1228    977 |  0.000 % |
1.49/1.57	c ===============================================================================
1.49/1.57	c New solution: -14
1.49/1.57	o -14
1.49/1.57	c Elapsed CPU time: 1.53177 s	Remaining CPU time: 178.468 s
1.49/1.57	c ===============================================================================
1.49/1.57	c |      1261 |   16670    32857   135860 |    10952     1261    963 |  0.000 % |
1.59/1.65	c |      1362 |   16670    32857   135860 |    12047     1362    964 |  0.000 % |
1.69/1.72	c |      1512 |   16670    32857   135860 |    13252     1512    965 |  0.000 % |
1.78/1.83	c |      1737 |   16670    32857   135860 |    14577     1737    966 |  0.000 % |
1.99/2.01	c |      2074 |   16670    32857   135860 |    16035     2074    965 |  0.000 % |
2.19/2.26	c |      2580 |   16670    32857   135860 |    17638     2580    967 |  0.000 % |
2.58/2.66	c |      3339 |   16670    32857   135860 |    19402     3339    968 |  0.000 % |
3.19/3.25	c |      4479 |   16670    32857   135860 |    21342     4479    969 |  0.000 % |
4.18/4.23	c |      6187 |   16670    32857   135860 |    23477     6187    972 |  0.000 % |
4.18/4.27	c ===============================================================================
4.18/4.27	c New solution: -15
4.18/4.27	o -15
4.18/4.27	c Elapsed CPU time: 4.18536 s	Remaining CPU time: 175.815 s
4.18/4.27	c ===============================================================================
4.18/4.27	c |      6193 |   16670    32858   136360 |    10952     6193    972 |  0.000 % |
4.29/4.36	c |      6293 |   16670    32858   136360 |    12047     6293    972 |  0.000 % |
4.39/4.45	c |      6443 |   16670    32858   136360 |    13252     6443    971 |  0.000 % |
4.59/4.65	c |      6668 |   16670    32858   136360 |    14577     6668    970 |  0.000 % |
4.89/4.94	c |      7005 |   16670    32858   136360 |    16035     7005    969 |  0.000 % |
5.19/5.22	c |      7512 |   16670    32858   136360 |    17639     7512    969 |  0.000 % |
5.60/5.63	c |      8271 |   16670    32858   136360 |    19403     8271    969 |  0.000 % |
6.29/6.34	c |      9410 |   16670    32858   136360 |    21343     9410    970 |  0.000 % |
6.29/6.39	c ===============================================================================
6.29/6.39	c New solution: -16
6.29/6.39	o -16
6.29/6.39	c Elapsed CPU time: 6.27005 s	Remaining CPU time: 173.73 s
6.29/6.39	c ===============================================================================
6.29/6.39	c |      9419 |   16670    32859   136860 |    10953     9419    969 |  0.000 % |
6.49/6.50	c |      9519 |   16670    32859   136860 |    12048     9519    969 |  0.000 % |
6.59/6.63	c |      9670 |   16670    32859   136860 |    13253     9670    968 |  0.000 % |
6.69/6.77	c |      9895 |   16670    32859   136860 |    14578     9895    968 |  0.000 % |
6.88/6.99	c |     10232 |   16670    32859   136860 |    16036    10232    968 |  0.000 % |
7.39/7.44	c |     10738 |   16670    32859   136860 |    17639    10738    966 |  0.000 % |
7.79/7.81	c |     11497 |   16670    32859   136860 |    19403    11497    962 |  0.000 % |
8.49/8.51	c |     12636 |   16670    32859   136860 |    21344    12636    957 |  0.000 % |
9.39/9.46	c |     14344 |   16670    32859   136860 |    23478    14344    950 |  0.000 % |
10.89/10.93	c |     16906 |   16670    32859   136860 |    25826    16906    941 |  0.000 % |
13.48/13.54	c |     20750 |   16670    32859   136860 |    28409    20750    934 |  0.000 % |
17.79/17.83	c |     26516 |   16670    32859   136860 |    31250    26516    929 |  0.000 % |
24.88/24.94	c |     35165 |   16670    32859   136860 |    34375    35165    925 |  0.000 % |
34.88/34.96	c |     48139 |   16670    32859   136860 |    37812    24138    914 |  0.000 % |
59.37/59.47	c |     67600 |   16670    32859   136860 |    41593    43599    915 |  0.000 % |
93.36/93.46	c |     96792 |   16670    32859   136860 |    45753    40571    904 |  0.000 % |
153.94/154.10	c |    140582 |   16670    32859   136860 |    50328    33714    895 |  0.000 % |
181.33/181.43	c There are 0 assigned variables. 0 in cost function.
181.72/181.82	c core #1
181.72/181.82	c 
181.72/181.82	c 
181.72/181.82	c Core size: 1001	Core Weight: 1	Total Weight: -499
181.72/181.82	c
181.72/181.82	c
181.72/181.82	c ============================[ Search Statistics ]==============================
181.72/181.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.72/181.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.72/181.82	c ===============================================================================
181.72/181.82	c |         0 |   17170    33360   138360 |    11120        0    nan |  0.000 % |
182.02/182.18	c |       100 |   17170    33360   138360 |    12232      100    266 |  0.524 % |
182.63/182.75	c |       250 |   17170    33360   138360 |    13455      250    249 |  0.687 % |
183.52/183.60	c |       475 |   17052    33360   138360 |    14800      472    247 |  0.856 % |
184.53/184.65	c |       812 |   16920    33360   138360 |    16280      804    249 |  2.737 % |
186.22/186.34	c |      1318 |   16573    33360   138360 |    17908     1281    244 |  4.100 % |
186.93/187.10	c ===============================================================================
187.22/187.30	c core #2
187.22/187.30	c 
187.22/187.30	c 
187.22/187.30	c Core size: 534	Core Weight: 1	Total Weight: -498
187.22/187.30	c
187.22/187.30	c
187.22/187.30	c ============================[ Search Statistics ]==============================
187.22/187.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.22/187.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.22/187.30	c ===============================================================================
187.22/187.30	c |         0 |   17653    33434   139543 |    11144        0    nan |  0.000 % |
187.62/187.75	c |       100 |   17653    33434   139543 |    12259      100    448 |  0.000 % |
188.03/188.10	c |       250 |   17653    33434   139543 |    13485      250    449 |  0.000 % |
188.73/188.88	c |       475 |   17653    33434   139543 |    14833      475    394 |  0.000 % |
189.82/189.95	c |       812 |   17653    33434   139543 |    16316      812    376 |  0.000 % |
191.43/191.58	c |      1318 |   17653    33434   139543 |    17948     1318    361 |  0.000 % |
193.82/193.95	c |      2077 |   17653    33434   139543 |    19743     2077    380 |  0.000 % |
197.82/197.98	c |      3216 |   17653    33434   139543 |    21717     3216    385 |  0.000 % |
203.42/203.53	c |      4924 |   17653    33434   139543 |    23889     4924    400 |  0.000 % |
211.42/211.55	c |      7486 |   17617    33434   139543 |    26278     7368    423 |  1.110 % |
224.51/224.61	c |     11330 |   17274    33434   139543 |    28906    10238    449 |  2.306 % |
243.71/243.80	c |     17130 |   16467    33434   139543 |    31797    14995    470 |  6.718 % |
274.10/274.25	c |     25779 |   16402    33434   139543 |    34976    23644    472 | 14.690 % |
319.47/319.68	c |     38753 |   14818    33434   139543 |    38474    34514    480 | 22.982 % |
385.75/385.99	c |     58222 |   13278    33434   139543 |    42321    19131    484 | 30.210 % |
419.65/419.87	c ===============================================================================
422.05/422.26	c core #3
422.05/422.26	c 
422.05/422.26	c 
422.05/422.26	c Core size: 565	Core Weight: 1	Total Weight: -497
422.05/422.26	c
422.05/422.26	c
422.05/422.26	c ============================[ Search Statistics ]==============================
422.05/422.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
422.05/422.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
422.05/422.26	c ===============================================================================
422.05/422.26	c |         0 |   18153    33657   141160 |    11219        0    nan |  0.000 % |
422.44/422.61	c |       100 |   18153    33657   141160 |    12340      100    634 |  0.000 % |
422.54/422.75	c |       250 |   18153    33657   141160 |    13574      250    261 |  0.000 % |
423.45/423.65	c |       475 |   18153    33657   141160 |    14932      475    408 |  0.000 % |
424.64/424.83	c |       812 |   18153    33657   141160 |    16425      812    465 |  0.000 % |
426.15/426.31	c |      1318 |   18153    33657   141160 |    18068     1318    478 |  0.000 % |
429.04/429.24	c |      2077 |   18153    33657   141160 |    19875     2077    497 |  0.000 % |
432.84/433.00	c |      3237 |   18153    33657   141160 |    21862     3237    489 |  0.000 % |
438.84/439.08	c |      4945 |   18153    33657   141160 |    24048     4945    519 |  0.000 % |
446.83/447.07	c |      7544 |   18153    33657   141160 |    26453     7544    529 |  0.000 % |
460.13/460.32	c |     11388 |   18153    33657   141160 |    29099    11388    544 |  0.000 % |
480.72/480.96	c |     17154 |   18153    33657   141160 |    32009    17154    560 |  0.000 % |
511.42/511.63	c |     25803 |   18153    33657   141160 |    35210    25803    576 |  0.000 % |
561.29/561.50	c |     38777 |   18153    33657   141160 |    38731    14916    590 |  0.000 % |
638.56/638.80	c |     58238 |   18153    33657   141160 |    42604    34377    631 |  0.000 % |
752.02/752.31	c |     87430 |   18153    33657   141160 |    46864    32373    642 |  0.000 % |
928.76/929.15	c |    131333 |   18153    33657   141160 |    51551    41067    663 |  0.000 % |
1190.57/1191.08	c |    197017 |   18153    33657   141160 |    56706    23693    724 |  0.000 % |
1589.81/1590.47	c |    295543 |   18153    33657   141160 |    62376    32764    758 |  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-2702601-1278578312/watcher-2702601-1278578312 -o /tmp/evaluation-result-2702601-1278578312/solver-2702601-1278578312 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702601-1278578312.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 0.99 0.91 2/106 28189
/proc/meminfo: memFree=1653520/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=4200 CPUtime=0
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 354 0 0 0 0 0 0 0 19 0 1 0 26044854 4300800 272 1992294400 134512640 135752675 4290080384 18446744073709551615 134569171 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 1050 273 134 303 0 407 0

[startup+0.108195 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 28189
/proc/meminfo: memFree=1653520/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=7980 CPUtime=0.09
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 1348 0 0 0 9 0 0 0 20 0 1 0 26044854 8171520 1266 1992294400 134512640 135752675 4290080384 18446744073709551615 134633593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 1995 1267 254 303 0 1352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7980

[startup+0.201212 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 28189
/proc/meminfo: memFree=1653520/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=9564 CPUtime=0.19
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 1843 0 0 0 18 1 0 0 20 0 1 0 26044854 9793536 1761 1992294400 134512640 135752675 4290080384 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 2391 1761 379 303 0 1748 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9564

[startup+0.301232 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 28189
/proc/meminfo: memFree=1653520/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=12336 CPUtime=0.29
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 2958 0 0 0 28 1 0 0 20 0 1 0 26044854 12632064 2506 1992294400 134512640 135752675 4290080384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 3084 2507 142 303 0 2779 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12336

[startup+0.70131 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 28189
/proc/meminfo: memFree=1653520/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=12864 CPUtime=0.69
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 3428 0 0 0 67 2 0 0 18 0 1 0 26044854 13172736 2678 1992294400 134512640 135752675 4290080384 18446744073709551615 134616024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 3216 2678 144 303 0 2911 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12864

[startup+1.50047 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28190
/proc/meminfo: memFree=1643096/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=15240 CPUtime=1.49
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 4025 0 0 0 145 4 0 0 18 0 1 0 26044854 15605760 3275 1992294400 134512640 135752675 4290080384 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 3810 3275 145 303 0 3505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15240

[startup+3.10108 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28190
/proc/meminfo: memFree=1636524/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=26592 CPUtime=3.09
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 6861 0 0 0 303 6 0 0 21 0 1 0 26044854 27230208 6111 1992294400 134512640 135752675 4290080384 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 6648 6111 145 303 0 6343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26592

[startup+6.30141 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28190
/proc/meminfo: memFree=1614452/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=47052 CPUtime=6.29
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 11959 0 0 0 618 11 0 0 25 0 1 0 26044854 48181248 11209 1992294400 134512640 135752675 4290080384 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 11763 11209 145 303 0 11458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47052

[startup+12.7007 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28190
/proc/meminfo: memFree=1574648/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=84980 CPUtime=12.68
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 21432 0 0 0 1250 18 0 0 25 0 1 0 26044854 87019520 20682 1992294400 134512640 135752675 4290080384 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 21245 20682 145 303 0 20940 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84980

[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28190
/proc/meminfo: memFree=1512524/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=144576 CPUtime=25.48
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 36357 0 0 0 2519 29 0 0 25 0 1 0 26044854 148045824 35607 1992294400 134512640 135752675 4290080384 18446744073709551615 134518721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 36177 35607 145 303 0 35872 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144576

[startup+51.1012 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28190
/proc/meminfo: memFree=1418036/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=239360 CPUtime=51.07
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 60021 0 0 0 5058 49 0 0 25 0 1 0 26044854 245104640 59271 1992294400 134512640 135752675 4290080384 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 59840 59271 145 303 0 59535 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 239360

[startup+102.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28192
/proc/meminfo: memFree=1262416/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=393136 CPUtime=102.26
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 98454 0 0 0 10141 85 0 0 25 0 1 0 26044854 402571264 97704 1992294400 134512640 135752675 4290080384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 98284 97704 145 303 0 97979 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 393136

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28194
/proc/meminfo: memFree=1088568/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=569356 CPUtime=162.23
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 142484 0 0 0 16098 125 0 0 25 0 1 0 26044854 583020544 141734 1992294400 134512640 135752675 4290080384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 142339 141734 145 303 0 142034 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 569356

[startup+222.309 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28196
/proc/meminfo: memFree=1028428/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=625644 CPUtime=222.22
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 157290 0 0 0 22076 146 0 0 25 0 1 0 26044854 640659456 155889 1992294400 134512640 135752675 4290080384 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 156411 155889 146 303 0 156106 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 625644

[startup+282.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28196
/proc/meminfo: memFree=1028304/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=625644 CPUtime=282.19
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 157298 0 0 0 28063 156 0 0 25 0 1 0 26044854 640659456 155897 1992294400 134512640 135752675 4290080384 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 156411 155897 146 303 0 156106 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 625644

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28198
/proc/meminfo: memFree=1028428/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=625644 CPUtime=342.17
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 157298 0 0 0 34052 165 0 0 25 0 1 0 26044854 640659456 155897 1992294400 134512640 135752675 4290080384 18446744073709551615 134605295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 156411 155897 146 303 0 156106 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 625644

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28200
/proc/meminfo: memFree=1028304/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=625644 CPUtime=402.15
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 157315 0 0 0 40041 174 0 0 25 0 1 0 26044854 640659456 155914 1992294400 134512640 135752675 4290080384 18446744073709551615 134639210 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 156411 155914 146 303 0 156106 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 625644

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28202
/proc/meminfo: memFree=1028180/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=625644 CPUtime=462.13
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 157315 0 0 0 46029 184 0 0 25 0 1 0 26044854 640659456 155914 1992294400 134512640 135752675 4290080384 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 156411 155914 146 303 0 156106 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 625644

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28204
/proc/meminfo: memFree=1028180/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=625644 CPUtime=522.1
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 157315 0 0 0 52015 195 0 0 25 0 1 0 26044854 640659456 155914 1992294400 134512640 135752675 4290080384 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 156411 155914 146 303 0 156106 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 625644

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28204
/proc/meminfo: memFree=1016772/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=637928 CPUtime=582.09
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 160396 0 0 0 57998 211 0 0 25 0 1 0 26044854 653238272 158995 1992294400 134512640 135752675 4290080384 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 159482 158995 146 303 0 159177 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 637928

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28206
/proc/meminfo: memFree=958244/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=697132 CPUtime=642.06
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 175192 0 0 0 63974 232 0 0 25 0 1 0 26044854 713863168 173791 1992294400 134512640 135752675 4290080384 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 174283 173791 146 303 0 173978 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 697132

[startup+702.301 s]

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

[startup+882.308 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28212
/proc/meminfo: memFree=725868/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=928016 CPUtime=881.99
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 232901 0 0 0 87882 317 0 0 25 0 1 0 26044854 950288384 231500 1992294400 134512640 135752675 4290080384 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 232004 231500 146 303 0 231699 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 928016

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28214
/proc/meminfo: memFree=668332/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=985860 CPUtime=941.96
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 247354 0 0 0 93861 335 0 0 25 0 1 0 26044854 1009520640 245953 1992294400 134512640 135752675 4290080384 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 246465 245953 146 303 0 246160 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 985860

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28216
/proc/meminfo: memFree=615880/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1037816 CPUtime=1001.94
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 260350 0 0 0 99836 358 0 0 25 0 1 0 26044854 1062723584 258949 1992294400 134512640 135752675 4290080384 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 259454 258949 146 303 0 259149 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1037816

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28218
/proc/meminfo: memFree=549168/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1104708 CPUtime=1061.92
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 277064 0 0 0 105815 377 0 0 25 0 1 0 26044854 1131220992 275663 1992294400 134512640 135752675 4290080384 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 276177 275663 146 303 0 275872 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1104708

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28220
/proc/meminfo: memFree=486052/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1167364 CPUtime=1121.9
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 292729 0 0 0 111794 396 0 0 25 0 1 0 26044854 1195380736 291328 1992294400 134512640 135752675 4290080384 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 291841 291328 146 303 0 291536 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1167364

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28220
/proc/meminfo: memFree=427028/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1226852 CPUtime=1181.87
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 307605 0 0 0 117773 414 0 0 25 0 1 0 26044854 1256296448 306204 1992294400 134512640 135752675 4290080384 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 306713 306204 146 303 0 306408 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1226852

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28222
/proc/meminfo: memFree=380900/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1272172 CPUtime=1241.85
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 318935 0 0 0 123753 432 0 0 25 0 1 0 26044854 1302704128 317534 1992294400 134512640 135752675 4290080384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 318043 317534 146 303 0 317738 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1272172

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28224
/proc/meminfo: memFree=324232/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1329160 CPUtime=1301.84
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 333195 0 0 0 129731 453 0 0 25 0 1 0 26044854 1361059840 331794 1992294400 134512640 135752675 4290080384 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 332290 331794 146 303 0 331985 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1329160

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28235
/proc/meminfo: memFree=265952/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1386844 CPUtime=1361.78
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 347596 0 0 0 135705 473 0 0 25 0 1 0 26044854 1420128256 346195 1992294400 134512640 135752675 4290080384 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 346711 346195 146 303 0 346406 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1386844

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28237
/proc/meminfo: memFree=192668/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1459676 CPUtime=1421.78
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 365812 0 0 0 141684 494 0 0 25 0 1 0 26044854 1494708224 364411 1992294400 134512640 135752675 4290080384 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 364919 364411 146 303 0 364614 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1459676

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28237
/proc/meminfo: memFree=128188/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1524612 CPUtime=1481.75
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 382049 0 0 0 147661 514 0 0 25 0 1 0 26044854 1561202688 380648 1992294400 134512640 135752675 4290080384 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 381153 380648 146 303 0 380848 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1524612

[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28239
/proc/meminfo: memFree=71396/2059040 swapFree=4147384/4192956
[pid=28189] ppid=28187 vsize=1580828 CPUtime=1541.73
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 396080 0 0 0 153642 531 0 0 25 0 1 0 26044854 1618767872 394679 1992294400 134512640 135752675 4290080384 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 395207 394679 146 303 0 394902 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1580828

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28241
/proc/meminfo: memFree=10280/2059040 swapFree=4142256/4192956
[pid=28189] ppid=28187 vsize=1645512 CPUtime=1601.7
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 412265 0 0 0 159617 553 0 0 25 0 1 0 26044854 1685004288 410864 1992294400 134512640 135752675 4290080384 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 411378 410864 146 303 0 411073 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1645512

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28243
/proc/meminfo: memFree=10096/2059040 swapFree=4140056/4192956
[pid=28189] ppid=28187 vsize=1699068 CPUtime=1661.69
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 425650 0 0 0 165595 574 0 0 25 0 1 0 26044854 1739845632 424249 1992294400 134512640 135752675 4290080384 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 424767 424249 146 303 0 424462 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1699068

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28245
/proc/meminfo: memFree=10344/2059040 swapFree=4140056/4192956
[pid=28189] ppid=28187 vsize=1755704 CPUtime=1721.67
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 439773 0 0 0 171572 595 0 0 25 0 1 0 26044854 1797840896 438372 1992294400 134512640 135752675 4290080384 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 438926 438372 146 303 0 438621 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1755704

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28245
/proc/meminfo: memFree=9156/2059040 swapFree=4140056/4192956
[pid=28189] ppid=28187 vsize=1820820 CPUtime=1781.64
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 456034 0 0 0 177548 616 0 0 25 0 1 0 26044854 1864519680 454633 1992294400 134512640 135752675 4290080384 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 455205 454633 146 303 0 454900 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1820820



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1799.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28247
/proc/meminfo: memFree=10580/2059040 swapFree=4140056/4192956
[pid=28189] ppid=28187 vsize=1843284 CPUtime=1798.45
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4202496 461672 0 0 0 179222 623 0 0 25 0 1 0 26044854 1887522816 460271 1992294400 134512640 135752675 4290080384 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28189/statm: 460821 460271 146 303 0 460516 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (KiB) 1843284

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

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

[startup+1799.21 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 28247
/proc/meminfo: memFree=10580/2059040 swapFree=4140056/4192956
[pid=28189] ppid=28187 vsize=0 CPUtime=1798.55
/proc/28189/stat : 28189 (wbo1.4b) R 28187 28189 27889 0 -1 4203524 461672 0 0 0 179222 633 0 0 25 0 1 0 26044854 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28189/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1799.28
CPU time (s): 1798.63
CPU user time (s): 1792.22
CPU system time (s): 6.40503
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 1843284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.22
system time used= 6.40503
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461672
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= 19655

runsolver used 3.09753 second user time and 8.37973 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-08 10:38:32
IDJOB=2702601
IDBENCH=48235
IDSOLVER=1190
FILE ID=node006/2702601-1278578312
PBS_JOBID= 11240109
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= 493eec42e81abed935f584a4e365015a
RANDOM SEED=2697806

node006.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.269
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.53
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.269
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:       1655412 kB
Buffers:         81384 kB
Cached:         228308 kB
SwapCached:       4204 kB
Active:         154072 kB
Inactive:       174612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1655412 kB
SwapTotal:     4192956 kB
SwapFree:      4147384 kB
Dirty:            2988 kB
Writeback:           0 kB
AnonPages:       15912 kB
Mapped:          12156 kB
Slab:            52880 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179624 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-2702601-1278578312.opb

Free space on /tmp at the end= 62564 MiB
End job on node006 at 2010-07-08 11:08:34