Trace number 2702438

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? (TO) 1800.2 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
MD5SUMcdb29f44159b0b72729019e0c0db0b8a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark87.1807
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)3090
Sum of products size (including duplicates)6180
Number of different products3090
Sum of products size6180

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.01	c wbo 1.4 beta - 20100517
0.00/0.01	c Parsing opb file format. File HOME/instance-2702438-1278566919.opb.
0.00/0.01	c Instance file HOME/instance-2702438-1278566919.opb
0.00/0.01	c File size is 220844 bytes.
0.03/0.03	c Highest Coefficient sum: 47
0.03/0.03	c ============================[ Problem Statistics ]=============================
0.03/0.03	c |                                                                             |
0.03/0.03	c |  Parsing time:          0.04         s                                      |
0.03/0.03	c |  Number Variables:      3190                                                |
0.03/0.03	c |  Number Clauses:        3190                                                |
0.03/0.03	c |  Number Cardinality:    0                                                   |
0.03/0.03	c |  Number PB Constraints: 3090                                                |
0.03/0.04	c ============================[ Search Statistics ]==============================
0.03/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.04	c ===============================================================================
0.03/0.04	c |         0 |    3190     6280    21730 |     5000        0    nan |  0.000 % |
0.03/0.04	c ===============================================================================
0.03/0.04	c New solution: 99
0.03/0.04	o 99
0.03/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 179.957 s
0.03/0.04	c ===============================================================================
0.03/0.04	c |         0 |    3190     6281    21830 |     5000        0    nan |  0.000 % |
0.03/0.04	c ===============================================================================
0.03/0.04	c New solution: 98
0.03/0.04	o 98
0.03/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 179.955 s
0.03/0.04	c ===============================================================================
0.03/0.04	c |         0 |    3190     6282    21930 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 97
0.03/0.05	o 97
0.03/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 179.953 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |    3190     6283    22030 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 96
0.03/0.05	o 96
0.03/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 179.952 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |    3190     6284    22130 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 95
0.03/0.05	o 95
0.03/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 179.95 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |    3190     6285    22230 |     5000        0    nan |  0.000 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 94
0.03/0.05	o 94
0.03/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 179.948 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |    3190     6286    22330 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 93
0.03/0.06	o 93
0.03/0.06	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 179.946 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |    3190     6287    22430 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 30
0.03/0.06	o 30
0.03/0.06	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 179.944 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |    3190     6288    22530 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 29
0.03/0.06	o 29
0.03/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 179.942 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |    3190     6289    22630 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 28
0.03/0.06	o 28
0.03/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |    3190     6290    22730 |     5000        0    nan |  0.000 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c New solution: 27
0.03/0.06	o 27
0.03/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 179.938 s
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |    3190     6291    22830 |     5000        0    nan |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 24
0.03/0.07	o 24
0.03/0.07	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 179.935 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         0 |    3190     6292    22930 |     5000        0    nan |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 23
0.03/0.07	o 23
0.03/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         0 |    3190     6293    23030 |     5000        0    nan |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 22
0.03/0.07	o 22
0.03/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 179.93 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         0 |    3190     6294    23130 |     5000        0    nan |  0.000 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 20
0.03/0.07	o 20
0.03/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 179.927 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |         2 |    3190     6295    23230 |     5000        2     22 |  0.000 % |
0.03/0.08	c ===============================================================================
0.03/0.08	c New solution: 9
0.03/0.08	o 9
0.03/0.08	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.03/0.08	c ===============================================================================
0.03/0.08	c |         2 |    3190     6296    23330 |     5000        2     22 |  0.000 % |
0.09/0.10	c |       105 |    3190     6296    23330 |     5500      105     90 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 7
0.09/0.10	o 7
0.09/0.10	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       105 |    3190     6297    23430 |     5000      105     90 |  0.000 % |
0.09/0.12	c |       207 |    3190     6297    23430 |     5500      207    100 |  0.000 % |
0.09/0.14	c |       358 |    3190     6297    23430 |     6050      358     98 |  0.000 % |
0.09/0.19	c |       583 |    3190     6297    23430 |     6655      583    100 |  0.000 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: 6
0.19/0.23	o 6
0.19/0.23	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 179.779 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |       752 |    3190     6298    23530 |     5000      752     98 |  0.000 % |
0.19/0.25	c |       853 |    3190     6298    23530 |     5500      853     97 |  0.000 % |
0.19/0.28	c |      1003 |    3190     6298    23530 |     6050     1003     96 |  0.000 % |
0.28/0.33	c |      1230 |    3190     6298    23530 |     6655     1230     93 |  0.000 % |
0.39/0.41	c |      1570 |    3190     6298    23530 |     7320     1570     91 |  0.000 % |
0.49/0.52	c |      2076 |    3190     6298    23530 |     8052     2076     90 |  0.000 % |
0.69/0.70	c |      2835 |    3190     6298    23530 |     8857     2835     97 |  0.000 % |
0.89/0.95	c |      3974 |    3190     6298    23530 |     9743     3974     97 |  0.000 % |
1.28/1.35	c |      5682 |    3190     6298    23530 |    10717     5682     99 |  0.000 % |
1.99/2.00	c |      8245 |    3190     6298    23530 |    11789     8245    101 |  0.000 % |
2.99/3.03	c |     12089 |    3190     6298    23530 |    12968    12089    107 |  0.000 % |
4.99/5.02	c |     17857 |    3190     6298    23530 |    14265    10335    176 |  0.000 % |
8.09/8.19	c |     26508 |    3190     6298    23530 |    15692    10911    125 |  0.000 % |
12.89/12.96	c |     39483 |    3190     6298    23530 |    17261    14990    118 |  0.000 % |
20.68/20.73	c |     58948 |    3190     6298    23530 |    18987    15363    125 |  0.000 % |
32.28/32.38	c |     88140 |    3190     6298    23530 |    20886    14052    150 |  0.000 % |
51.68/51.72	c |    131930 |    3190     6298    23530 |    22974    22444    125 |  0.000 % |
81.47/81.50	c |    197616 |    3190     6298    23530 |    25272    19186    103 |  0.000 % |
130.16/130.25	c |    296143 |    3190     6298    23530 |    27799    23485    111 |  0.000 % |
181.64/181.72	c There are 0 assigned variables. 0 in cost function.
182.14/182.20	c core #1
182.14/182.20	c ============================[ Search Statistics ]==============================
182.14/182.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.20	c ===============================================================================
182.14/182.20	c |         0 |     861     6401    15765 |     5000        0    nan |  0.000 % |
182.14/182.20	c ===============================================================================
182.14/182.23	c core #2
182.14/182.23	c ============================[ Search Statistics ]==============================
182.14/182.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.23	c ===============================================================================
182.14/182.23	c |         0 |    2961     6402    22261 |     5000        0    nan |  0.000 % |
182.14/182.29	c |       102 |    2961     6402    22261 |     5500      102    125 | 10.191 % |
182.24/182.38	c ===============================================================================
182.34/182.40	c core #3
182.34/182.40	c ============================[ Search Statistics ]==============================
182.34/182.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.40	c ===============================================================================
182.34/182.40	c |         0 |    3397     6403    24147 |     5000        0    nan |  0.000 % |
182.34/182.47	c |       100 |    3397     6403    24147 |     5500      100    170 |  0.000 % |
182.45/182.55	c |       252 |    3397     6403    24147 |     6050      252    161 |  0.000 % |
182.55/182.67	c |       479 |    3397     6403    24147 |     6655      479    145 |  0.000 % |
182.74/182.87	c |       816 |    3397     6403    24147 |     7320      816    197 |  0.000 % |
183.24/183.30	c |      1323 |    3397     6403    24147 |     8052     1323    255 |  0.000 % |
183.84/183.92	c |      2083 |    3397     6403    24147 |     8857     2083    273 |  0.000 % |
184.75/184.84	c |      3225 |    3397     6403    24147 |     9743     3225    245 |  0.000 % |
185.44/185.59	c |      4935 |    3397     6403    24147 |    10717     4935    199 |  0.000 % |
186.64/186.80	c |      7500 |    3397     6403    24147 |    11789     7500    169 |  0.000 % |
189.15/189.24	c |     11348 |    3397     6403    24147 |    12968    11348    167 |  0.000 % |
192.13/192.28	c |     17114 |    3397     6403    24147 |    14265     9660    139 |  0.000 % |
197.73/197.88	c |     25766 |    3397     6403    24147 |    15692    10176    176 |  0.000 % |
213.63/213.70	c |     38740 |    3397     6403    24147 |    17261    14861    226 |  0.000 % |
236.11/236.23	c |     58202 |    3397     6403    24147 |    18987    16218    232 |  0.000 % |
262.21/262.36	c |     87394 |    3397     6403    24147 |    20886    14885     81 |  0.000 % |
298.60/298.77	c |    131185 |    3397     6403    24147 |    22974    12527    152 |  0.000 % |
354.68/354.85	c |    196873 |    3397     6403    24147 |    25272    11610    246 |  0.000 % |
439.15/439.33	c |    295399 |    3397     6403    24147 |    27799    16420    145 |  0.000 % |
582.60/582.81	c |    443189 |    3397     6403    24147 |    30579    22630    333 |  0.000 % |
616.09/616.37	c ===============================================================================
617.59/617.84	c core #4
617.59/617.84	c ============================[ Search Statistics ]==============================
617.59/617.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
617.59/617.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
617.59/617.84	c ===============================================================================
617.59/617.84	c |         0 |    3497     6404    24347 |     5000        0    nan |  0.000 % |
617.69/617.96	c |       102 |    3497     6404    24347 |     5500      102    184 |  0.000 % |
617.79/618.01	c |       252 |    3497     6404    24347 |     6050      252    175 |  0.000 % |
617.79/618.06	c |       477 |    3497     6404    24347 |     6655      477    138 |  0.000 % |
617.90/618.16	c |       814 |    3497     6404    24347 |     7320      814    113 |  0.000 % |
618.00/618.29	c |      1320 |    3497     6404    24347 |     8052     1320    103 |  0.000 % |
618.19/618.49	c |      2079 |    3497     6404    24347 |     8857     2079     94 |  0.000 % |
618.59/618.82	c |      3218 |    3497     6404    24347 |     9743     3218     93 |  0.000 % |
619.20/619.40	c |      4935 |    3497     6404    24347 |    10717     4935     92 |  0.000 % |
619.99/620.27	c |      7498 |    3497     6404    24347 |    11789     7498     86 |  0.000 % |
621.59/621.89	c |     11342 |    3497     6404    24347 |    12968    11342     89 |  0.000 % |
623.99/624.28	c |     17108 |    3497     6404    24347 |    14265     9502     92 |  0.000 % |
627.80/628.07	c |     25760 |    3497     6404    24347 |    15692     9950     92 |  0.000 % |
633.99/634.27	c |     38735 |    3497     6404    24347 |    17261    14112     89 |  0.000 % |
642.78/643.09	c |     58197 |    3497     6404    24347 |    18987    14292     89 |  0.000 % |
655.99/656.25	c |     87389 |    3497     6404    24347 |    20886    11858     95 |  0.000 % |
677.87/678.11	c |    131178 |    3497     6404    24347 |    22974    20200    105 |  0.000 % |
711.37/711.70	c |    196864 |    3497     6404    24347 |    25272    18601     86 |  0.000 % |
765.85/766.13	c |    295390 |    3497     6404    24347 |    27799    22811     86 |  0.000 % |
849.32/849.63	c |    443179 |    3497     6404    24347 |    30579    24707     88 |  0.000 % |
977.68/978.02	c |    664862 |    3497     6404    24347 |    33637    17453     88 |  0.000 % |
1188.01/1188.41	c |    997388 |    3497     6404    24347 |    37001    16726     89 |  0.000 % |
1509.63/1510.19	c |   1496176 |    3497     6404    24347 |    40701    30032     84 |  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-2702438-1278566919/watcher-2702438-1278566919 -o /tmp/evaluation-result-2702438-1278566919/solver-2702438-1278566919 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702438-1278566919.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 27962
/proc/meminfo: memFree=1710552/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=3256 CPUtime=0
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 405 0 0 0 0 0 0 0 19 0 1 0 24898400 3334144 324 1992294400 134512640 135751879 4291928992 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 814 324 144 303 0 455 0

[startup+0.0352249 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 27962
/proc/meminfo: memFree=1710552/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=3792 CPUtime=0.03
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 552 0 0 0 3 0 0 0 19 0 1 0 24898400 3883008 471 1992294400 134512640 135751879 4291928992 18446744073709551615 134574077 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 948 471 183 303 0 589 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3792

[startup+0.10123 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 27962
/proc/meminfo: memFree=1710552/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=3860 CPUtime=0.09
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 723 0 0 0 9 0 0 0 20 0 1 0 24898400 3952640 513 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 965 513 146 303 0 660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3860

[startup+0.301249 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 27962
/proc/meminfo: memFree=1710552/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=4388 CPUtime=0.28
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 851 0 0 0 28 0 0 0 20 0 1 0 24898400 4493312 641 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 1097 641 147 303 0 792 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4388

[startup+0.701288 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 27962
/proc/meminfo: memFree=1710552/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=5312 CPUtime=0.69
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 1082 0 0 0 68 1 0 0 21 0 1 0 24898400 5439488 872 1992294400 134512640 135751879 4291928992 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 1328 872 147 303 0 1023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5312

[startup+1.50137 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27963
/proc/meminfo: memFree=1707196/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=7160 CPUtime=1.48
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 1545 0 0 0 147 1 0 0 22 0 1 0 24898400 7331840 1335 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 1790 1335 147 303 0 1485 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7160

[startup+3.10152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27963
/proc/meminfo: memFree=1704468/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=10728 CPUtime=3.09
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 2439 0 0 0 306 3 0 0 25 0 1 0 24898400 10985472 2229 1992294400 134512640 135751879 4291928992 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 2682 2229 147 303 0 2377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10728

[startup+6.30083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27963
/proc/meminfo: memFree=1695540/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=18812 CPUtime=6.28
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 4457 0 0 0 622 6 0 0 25 0 1 0 24898400 19263488 4247 1992294400 134512640 135751879 4291928992 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 4703 4247 148 303 0 4398 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18812

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27965
/proc/meminfo: memFree=1684380/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=29248 CPUtime=12.68
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 7073 0 0 0 1256 12 0 0 25 0 1 0 24898400 29949952 6863 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 7312 6863 148 303 0 7007 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29248

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27965
/proc/meminfo: memFree=1661812/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=51452 CPUtime=25.49
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 12621 0 0 0 2524 25 0 0 25 0 1 0 24898400 52686848 12411 1992294400 134512640 135751879 4291928992 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 12863 12411 148 303 0 12558 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51452

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27965
/proc/meminfo: memFree=1622876/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=90552 CPUtime=51.08
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 22401 0 0 0 5060 48 0 0 25 0 1 0 24898400 92725248 22191 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 22638 22191 148 303 0 22333 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90552

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27967
/proc/meminfo: memFree=1547980/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=164308 CPUtime=102.27
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 40859 0 0 0 10132 95 0 0 25 0 1 0 24898400 168251392 40649 1992294400 134512640 135751879 4291928992 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 41077 40649 148 303 0 40772 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 164308

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27969
/proc/meminfo: memFree=1475068/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=237932 CPUtime=162.25
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 59236 0 0 0 16076 149 0 0 25 0 1 0 24898400 243642368 59026 1992294400 134512640 135751879 4291928992 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 59483 59026 148 303 0 59178 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 237932

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27969
/proc/meminfo: memFree=1428692/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=283408 CPUtime=222.22
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 70677 0 0 0 22030 192 0 0 25 0 1 0 24898400 290209792 70438 1992294400 134512640 135751879 4291928992 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 70852 70438 151 303 0 70547 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 283408

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27971
/proc/meminfo: memFree=1392484/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=319972 CPUtime=282.21
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 79796 0 0 0 27992 229 0 0 25 0 1 0 24898400 327651328 79557 1992294400 134512640 135751879 4291928992 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 79993 79557 151 303 0 79688 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 319972

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27973
/proc/meminfo: memFree=1317092/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=394968 CPUtime=342.18
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 98559 0 0 0 33946 272 0 0 25 0 1 0 24898400 404447232 98320 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 98742 98320 151 303 0 98437 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 394968

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27975
/proc/meminfo: memFree=1249512/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=462660 CPUtime=402.16
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 115470 0 0 0 39899 317 0 0 25 0 1 0 24898400 473763840 115231 1992294400 134512640 135751879 4291928992 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 115665 115231 151 303 0 115360 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 462660

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27977
/proc/meminfo: memFree=1197060/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=514796 CPUtime=462.14
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 128491 0 0 0 45853 361 0 0 25 0 1 0 24898400 527151104 128252 1992294400 134512640 135751879 4291928992 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 128699 128252 151 303 0 128394 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 514796

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27977
/proc/meminfo: memFree=1139896/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=573684 CPUtime=522.12
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 143198 0 0 0 51810 402 0 0 25 0 1 0 24898400 587452416 142959 1992294400 134512640 135751879 4291928992 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 143421 142959 151 303 0 143116 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 573684

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27979
/proc/meminfo: memFree=1054584/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=656944 CPUtime=582.1
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 164032 0 0 0 57764 446 0 0 25 0 1 0 24898400 672710656 163793 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 164236 163793 151 303 0 163931 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 656944

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27981
/proc/meminfo: memFree=1023584/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=687364 CPUtime=642.09
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 171653 0 0 0 63724 485 0 0 25 0 1 0 24898400 703860736 171414 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 171841 171414 151 303 0 171536 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 687364

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27987
/proc/meminfo: memFree=853828/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=856692 CPUtime=882.01
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 213951 0 0 0 87538 663 0 0 25 0 1 0 24898400 877252608 213712 1992294400 134512640 135751879 4291928992 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 214173 213712 151 303 0 213868 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 856692

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27989
/proc/meminfo: memFree=814148/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=896972 CPUtime=941.99
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 224030 0 0 0 93494 705 0 0 25 0 1 0 24898400 918499328 223791 1992294400 134512640 135751879 4291928992 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 224243 223791 151 303 0 223938 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 896972

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27991
/proc/meminfo: memFree=769756/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=940668 CPUtime=1001.97
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 234931 0 0 0 99449 748 0 0 25 0 1 0 24898400 963244032 234692 1992294400 134512640 135751879 4291928992 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 235167 234692 151 303 0 234862 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 940668

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27993
/proc/meminfo: memFree=726852/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=983892 CPUtime=1061.96
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 245731 0 0 0 105403 793 0 0 25 0 1 0 24898400 1007505408 245492 1992294400 134512640 135751879 4291928992 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 245973 245492 151 303 0 245668 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 983892

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27993
/proc/meminfo: memFree=684940/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1025352 CPUtime=1121.95
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 256116 0 0 0 111357 838 0 0 25 0 1 0 24898400 1049960448 255877 1992294400 134512640 135751879 4291928992 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 256338 255877 151 303 0 256033 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1025352

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27995
/proc/meminfo: memFree=647864/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1062868 CPUtime=1181.92
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 265483 0 0 0 117314 878 0 0 25 0 1 0 24898400 1088376832 265244 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 265717 265244 151 303 0 265412 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1062868

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27997
/proc/meminfo: memFree=580036/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1130216 CPUtime=1241.9
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 282312 0 0 0 123267 923 0 0 25 0 1 0 24898400 1157341184 282073 1992294400 134512640 135751879 4291928992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 282554 282073 151 303 0 282249 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1130216

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27999
/proc/meminfo: memFree=537628/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1172208 CPUtime=1301.89
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 292825 0 0 0 129230 959 0 0 25 0 1 0 24898400 1200340992 292586 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 293052 292586 151 303 0 292747 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1172208

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28001
/proc/meminfo: memFree=497328/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1212916 CPUtime=1361.86
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 302994 0 0 0 135185 1001 0 0 25 0 1 0 24898400 1242025984 302755 1992294400 134512640 135751879 4291928992 18446744073709551615 134610374 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 303229 302755 151 303 0 302924 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1212916

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28001
/proc/meminfo: memFree=457772/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1251868 CPUtime=1421.86
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 312744 0 0 0 141143 1043 0 0 25 0 1 0 24898400 1281912832 312505 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 312967 312505 151 303 0 312662 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1251868

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28003
/proc/meminfo: memFree=420200/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1289784 CPUtime=1481.84
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 322226 0 0 0 147101 1083 0 0 25 0 1 0 24898400 1320738816 321987 1992294400 134512640 135751879 4291928992 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 322446 321987 151 303 0 322141 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1289784

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28005
/proc/meminfo: memFree=371096/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1338748 CPUtime=1541.81
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 334426 0 0 0 153055 1126 0 0 25 0 1 0 24898400 1370877952 334187 1992294400 134512640 135751879 4291928992 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 334687 334187 151 303 0 334382 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1338748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28007
/proc/meminfo: memFree=311452/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1399252 CPUtime=1601.8
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 349555 0 0 0 159013 1167 0 0 25 0 1 0 24898400 1432834048 349316 1992294400 134512640 135751879 4291928992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 349813 349316 151 303 0 349508 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1399252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28009
/proc/meminfo: memFree=258380/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1450928 CPUtime=1661.79
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 362483 0 0 0 164968 1211 0 0 25 0 1 0 24898400 1485750272 362244 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 362732 362244 151 303 0 362427 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1450928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28009
/proc/meminfo: memFree=222544/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1487132 CPUtime=1721.76
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 371524 0 0 0 170924 1252 0 0 25 0 1 0 24898400 1522823168 371285 1992294400 134512640 135751879 4291928992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 371783 371285 151 303 0 371478 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1487132

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28011
/proc/meminfo: memFree=185716/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1523588 CPUtime=1781.75
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 380625 0 0 0 176881 1294 0 0 25 0 1 0 24898400 1560154112 380386 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 380897 380386 151 303 0 380592 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1523588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28011
/proc/meminfo: memFree=174556/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=1534676 CPUtime=1800.04
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4202496 383409 0 0 0 178699 1305 0 0 25 0 1 0 24898400 1571508224 383170 1992294400 134512640 135751879 4291928992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27962/statm: 383669 383170 151 303 0 383364 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1534676

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28011
/proc/meminfo: memFree=174556/2059040 swapFree=4139856/4192956
[pid=27962] ppid=27960 vsize=0 CPUtime=1800.14
/proc/27962/stat : 27962 (wbo1.4b) R 27960 27962 27641 0 -1 4203524 383409 0 0 0 178699 1315 0 0 25 0 1 0 24898400 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27962/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.76
CPU time (s): 1800.2
CPU user time (s): 1787
CPU system time (s): 13.199
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1534676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787
system time used= 13.199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383409
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= 3
involuntary context switches= 3311

runsolver used 3.2735 second user time and 8.21275 second system time

The end

Launcher Data 

Begin job on node056 at 2010-07-08 07:28:39
IDJOB=2702438
IDBENCH=48154
IDSOLVER=1161
FILE ID=node056/2702438-1278566919
PBS_JOBID= 11239568
Free space on /tmp= 98480 MiB

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

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

MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a
RANDOM SEED=1850134345

node056.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.197
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.39
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.197
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1711700 kB
Buffers:         72220 kB
Cached:         174156 kB
SwapCached:       8568 kB
Active:         123336 kB
Inactive:       138384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1711700 kB
SwapTotal:     4192956 kB
SwapFree:      4139856 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       12028 kB
Mapped:          11992 kB
Slab:            63680 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181268 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-2702438-1278566919.opb

Free space on /tmp at the end= 98480 MiB
End job on node056 at 2010-07-08 07:58:42