Trace number 3479398

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.19 1800.11

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_8_shg.opb
MD5SUM3cb4e48d7e295175417c2e8c2155aba3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark655
Best CPU time to get the best result obtained on this benchmark1800.57
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables136253
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint170
Maximum length of a constraint1517
Number of terms in the objective function 136253
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 136253
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 136253
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c wbo 1.6 beta - 20110321
0.00/0.01	c Parsing opb file format. File HOME/instance-3479398-1307448647.opb.
0.00/0.01	c Instance file HOME/instance-3479398-1307448647.opb
0.00/0.01	c File size is 602898033 bytes.
57.69/57.76	c Highest Coefficient sum: 1518
57.69/57.76	c ============================[ Problem Statistics ]=============================
57.69/57.76	c |                                                                             |
57.69/57.76	c |  Parsing time:          57.48        s                                      |
57.69/57.76	c |  Number Variables:      136253                                              |
57.69/57.76	c |  Number Clauses:        65280                                               |
57.69/57.76	c |  Number Cardinality:    0                                                   |
57.69/57.76	c |  Number PB Constraints: 0                                                   |
58.20/58.26	c ============================[ Search Statistics ]==============================
58.20/58.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
58.20/58.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
58.20/58.26	c ===============================================================================
58.20/58.27	c |         0 |  136253    65280 59122688 |    21760        0   -nan |  0.000 % |
153.90/153.91	c core #1
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 927	Core Weight: 1	Total Weight: 1
153.90/153.91	c Current CPU time: 60.9647 s
153.90/153.91	c
153.90/153.91	c core #2
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 403	Core Weight: 1	Total Weight: 2
153.90/153.91	c Current CPU time: 63.6413 s
153.90/153.91	c
153.90/153.91	c core #3
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 462	Core Weight: 1	Total Weight: 3
153.90/153.91	c Current CPU time: 66.2839 s
153.90/153.91	c
153.90/153.91	c core #4
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 519	Core Weight: 1	Total Weight: 4
153.90/153.91	c Current CPU time: 68.9525 s
153.90/153.91	c
153.90/153.91	c core #5
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 571	Core Weight: 1	Total Weight: 5
153.90/153.91	c Current CPU time: 71.6081 s
153.90/153.91	c
153.90/153.91	c core #6
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 878	Core Weight: 1	Total Weight: 6
153.90/153.91	c Current CPU time: 74.2377 s
153.90/153.91	c
153.90/153.91	c core #7
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 436	Core Weight: 1	Total Weight: 7
153.90/153.91	c Current CPU time: 76.8953 s
153.90/153.91	c
153.90/153.91	c core #8
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 907	Core Weight: 1	Total Weight: 8
153.90/153.91	c Current CPU time: 79.5579 s
153.90/153.91	c
153.90/153.91	c core #9
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 408	Core Weight: 1	Total Weight: 9
153.90/153.91	c Current CPU time: 82.2455 s
153.90/153.91	c
153.90/153.91	c core #10
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 567	Core Weight: 1	Total Weight: 10
153.90/153.91	c Current CPU time: 84.9661 s
153.90/153.91	c
153.90/153.91	c core #11
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 486	Core Weight: 1	Total Weight: 11
153.90/153.91	c Current CPU time: 87.6577 s
153.90/153.91	c
153.90/153.91	c core #12
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 855	Core Weight: 1	Total Weight: 12
153.90/153.91	c Current CPU time: 90.4353 s
153.90/153.91	c
153.90/153.91	c core #13
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 367	Core Weight: 1	Total Weight: 13
153.90/153.91	c Current CPU time: 93.1818 s
153.90/153.91	c
153.90/153.91	c core #14
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 523	Core Weight: 1	Total Weight: 14
153.90/153.91	c Current CPU time: 96.0044 s
153.90/153.91	c
153.90/153.91	c core #15
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 938	Core Weight: 1	Total Weight: 15
153.90/153.91	c Current CPU time: 98.825 s
153.90/153.91	c
153.90/153.91	c core #16
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 344	Core Weight: 1	Total Weight: 16
153.90/153.91	c Current CPU time: 101.706 s
153.90/153.91	c
153.90/153.91	c core #17
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 509	Core Weight: 1	Total Weight: 17
153.90/153.91	c Current CPU time: 104.625 s
153.90/153.91	c
153.90/153.91	c core #18
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 609	Core Weight: 1	Total Weight: 18
153.90/153.91	c Current CPU time: 107.553 s
153.90/153.91	c
153.90/153.91	c core #19
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 428	Core Weight: 1	Total Weight: 19
153.90/153.91	c Current CPU time: 110.535 s
153.90/153.91	c
153.90/153.91	c core #20
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 630	Core Weight: 1	Total Weight: 20
153.90/153.91	c Current CPU time: 113.523 s
153.90/153.91	c
153.90/153.91	c core #21
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 313	Core Weight: 1	Total Weight: 21
153.90/153.91	c Current CPU time: 116.555 s
153.90/153.91	c
153.90/153.91	c core #22
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 521	Core Weight: 1	Total Weight: 22
153.90/153.91	c Current CPU time: 119.572 s
153.90/153.91	c
153.90/153.91	c core #23
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 414	Core Weight: 1	Total Weight: 23
153.90/153.91	c Current CPU time: 122.637 s
153.90/153.91	c
153.90/153.91	c core #24
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 824	Core Weight: 1	Total Weight: 24
153.90/153.91	c Current CPU time: 125.679 s
153.90/153.91	c
153.90/153.91	c core #25
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 366	Core Weight: 1	Total Weight: 25
153.90/153.91	c Current CPU time: 128.746 s
153.90/153.91	c
153.90/153.91	c core #26
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 481	Core Weight: 1	Total Weight: 26
153.90/153.91	c Current CPU time: 131.817 s
153.90/153.91	c
153.90/153.91	c core #27
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 326	Core Weight: 1	Total Weight: 27
153.90/153.91	c Current CPU time: 134.896 s
153.90/153.91	c
153.90/153.91	c core #28
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 374	Core Weight: 1	Total Weight: 28
153.90/153.91	c Current CPU time: 137.994 s
153.90/153.91	c
153.90/153.91	c core #29
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 423	Core Weight: 1	Total Weight: 29
153.90/153.91	c Current CPU time: 141.076 s
153.90/153.91	c
153.90/153.91	c core #30
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 415	Core Weight: 1	Total Weight: 30
153.90/153.91	c Current CPU time: 144.199 s
153.90/153.91	c
153.90/153.91	c core #31
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 375	Core Weight: 1	Total Weight: 31
153.90/153.91	c Current CPU time: 147.283 s
153.90/153.91	c
153.90/153.91	c core #32
153.90/153.91	c 
153.90/153.91	c 
153.90/153.91	c Core size: 381	Core Weight: 1	Total Weight: 32
153.90/153.91	c Current CPU time: 150.423 s
153.90/153.91	c
153.90/153.91	c ============================[ Search Statistics ]==============================
153.90/153.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
153.90/153.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
153.90/153.91	c ===============================================================================
153.90/153.91	c |         0 |   33063   201565 59052861 |    67188        0   -nan |  0.000 % |
153.90/153.94	c ===============================================================================
157.10/157.10	c core #33
157.10/157.10	c 
157.10/157.10	c 
157.10/157.10	c Core size: 1412	Core Weight: 1	Total Weight: 33
157.10/157.10	c Current CPU time: 153.548 s
157.10/157.10	c
157.10/157.10	c ============================[ Search Statistics ]==============================
157.10/157.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
157.10/157.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
157.10/157.10	c ===============================================================================
157.10/157.10	c |         0 |   36467   201566 59177510 |    67188        0   -nan |  0.000 % |
157.10/157.18	c |       100 |   36467   201566 59177510 |    73907      100     97 | 76.413 % |
157.20/157.27	c |       253 |   36467   201566 59177510 |    81298      253    323 | 76.413 % |
157.31/157.36	c |       478 |   36467   201566 59177510 |    89428      478    627 | 76.415 % |
157.31/157.38	c ===============================================================================
160.50/160.51	c core #34
160.50/160.51	c 
160.50/160.51	c 
160.50/160.51	c Core size: 1089	Core Weight: 1	Total Weight: 34
160.50/160.51	c Current CPU time: 156.986 s
160.50/160.51	c
160.50/160.51	c ============================[ Search Statistics ]==============================
160.50/160.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
160.50/160.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
160.50/160.51	c ===============================================================================
160.50/160.51	c |         0 |   38585   201567 59180716 |    67189        0   -nan |  0.000 % |
160.50/160.58	c |       100 |   38585   201567 59180716 |    73907      100    187 | 75.218 % |
160.61/160.64	c |       250 |   38585   201567 59180716 |    81298      250    183 | 75.218 % |
160.70/160.70	c |       476 |   38585   201567 59180716 |    89428      476    303 | 75.218 % |
160.80/160.82	c |       815 |   38585   201567 59180716 |    98371      815    521 | 75.218 % |
161.10/161.17	c |      1321 |   38585   201567 59180716 |   108208     1321    570 | 75.219 % |
161.50/161.53	c ===============================================================================
164.70/164.74	c core #35
164.70/164.74	c 
164.70/164.74	c 
164.70/164.74	c Core size: 6479	Core Weight: 1	Total Weight: 35
164.70/164.74	c Current CPU time: 161.137 s
164.70/164.74	c
164.70/164.74	c ============================[ Search Statistics ]==============================
164.70/164.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
164.70/164.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
164.70/164.74	c ===============================================================================
164.70/164.74	c |         0 |   49060   201568 59197666 |    67189        0   -nan |  0.000 % |
164.80/164.82	c |       100 |   49060   201568 59197666 |    73908      100    815 | 69.748 % |
165.79/165.86	c |       250 |   49060   201568 59197666 |    81299      250   1046 | 69.748 % |
165.89/165.98	c |       476 |   49060   201568 59197666 |    89429      476    847 | 69.748 % |
166.20/166.23	c |       819 |   49060   201568 59197666 |    98371      819    732 | 69.748 % |
166.70/166.72	c |      1332 |   49060   201568 59197666 |   108209     1332    929 | 69.748 % |
167.39/167.40	c |      2091 |   49058   201568 59197666 |   119030     2091   1280 | 69.750 % |
167.39/167.48	c ===============================================================================
170.70/170.72	c core #36
170.70/170.72	c 
170.70/170.72	c 
170.70/170.72	c Core size: 3176	Core Weight: 1	Total Weight: 36
170.70/170.72	c Current CPU time: 167.066 s
170.70/170.72	c
170.70/170.72	c ============================[ Search Statistics ]==============================
170.70/170.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
170.70/170.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
170.70/170.72	c ===============================================================================
170.70/170.72	c |         0 |   54420   201569 59206201 |    67189        0   -nan |  0.000 % |
170.70/170.79	c |       100 |   54420   201569 59206201 |    73908      100    829 | 67.087 % |
170.80/170.87	c |       250 |   54420   201569 59206201 |    81299      250    454 | 67.087 % |
172.80/172.86	c |       475 |   54420   201569 59206201 |    89429      475    488 | 67.087 % |
175.00/175.08	c |       812 |   54420   201569 59206201 |    98372      812    618 | 67.087 % |
177.50/177.57	c |      1318 |   54420   201569 59206201 |   108209     1318    717 | 67.087 % |
181.19/181.22	c |      2080 |   54420   201569 59206201 |   119030     2080    866 | 67.087 % |
184.40/184.45	c |      3220 |   54420   201569 59206201 |   130933     3220    887 | 67.087 % |
189.00/189.07	c |      4928 |   54420   201569 59206201 |   144027     4928    966 | 67.087 % |
196.40/196.41	c |      7490 |   54420   201569 59206201 |   158429     7490    991 | 67.087 % |
212.00/212.03	c |     11337 |   54420   201569 59206201 |   174272    11337    906 | 67.087 % |
231.30/231.36	c |     17109 |   54420   201569 59206201 |   191699    17109    875 | 67.087 % |
266.21/266.24	c |     25758 |   54420   201569 59206201 |   210869    25758    739 | 67.087 % |
324.61/324.67	c |     38732 |   54420   201569 59206201 |   231956    38732    654 | 67.087 % |
425.91/425.90	c ===============================================================================
429.21/429.20	c core #37
429.21/429.20	c 
429.21/429.20	c 
429.21/429.20	c Core size: 614	Core Weight: 1	Total Weight: 37
429.21/429.20	c Current CPU time: 425.158 s
429.21/429.20	c
429.21/429.20	c ============================[ Search Statistics ]==============================
429.21/429.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
429.21/429.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
429.21/429.20	c ===============================================================================
429.21/429.20	c |         0 |   55627   201570 59208019 |    67190        0   -nan |  0.000 % |
429.21/429.27	c |       100 |   55627   201570 59208019 |    73909      100    739 | 66.481 % |
430.12/430.13	c |       250 |   55627   201570 59208019 |    81299      250    854 | 66.481 % |
430.71/430.77	c |       477 |   55627   201570 59208019 |    89429      477    946 | 66.481 % |
431.41/431.42	c |       818 |   55627   201570 59208019 |    98372      818   1242 | 66.481 % |
432.50/432.56	c |      1329 |   55627   201570 59208019 |   108210     1329   1299 | 66.481 % |
433.81/433.86	c |      2089 |   55627   201570 59208019 |   119031     2089   1436 | 66.481 % |
436.01/436.09	c |      3229 |   55627   201570 59208019 |   130934     3229   1417 | 66.481 % |
445.81/445.88	c |      4941 |   55626   201570 59208019 |   144027     4941   1303 | 66.482 % |
458.31/458.36	c |      7503 |   55626   201570 59208019 |   158430     7503   1320 | 66.482 % |
476.51/476.53	c |     11347 |   55626   201570 59208019 |   174273    11347   1205 | 66.482 % |
499.21/499.22	c ===============================================================================
502.51/502.51	c core #38
502.51/502.51	c 
502.51/502.51	c 
502.51/502.51	c Core size: 8972	Core Weight: 1	Total Weight: 38
502.51/502.51	c Current CPU time: 498.308 s
502.51/502.51	c
502.51/502.51	c ============================[ Search Statistics ]==============================
502.51/502.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
502.51/502.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
502.51/502.51	c ===============================================================================
502.51/502.51	c |         0 |   70337   201571 59231700 |    67190        0   -nan |  0.000 % |
502.51/502.59	c |       100 |   70337   201571 59231700 |    73909      100    819 | 59.791 % |
503.21/503.27	c |       250 |   70337   201571 59231700 |    81300      250    947 | 59.791 % |
505.71/505.78	c |       475 |   70337   201571 59231700 |    89430      475   1106 | 59.791 % |
507.02/507.07	c |       814 |   70337   201571 59231700 |    98373      814   1220 | 59.791 % |
508.23/508.22	c |      1320 |   70337   201571 59231700 |   108210     1320   1040 | 59.791 % |
511.42/511.47	c |      2079 |   70337   201571 59231700 |   119031     2079   1193 | 59.791 % |
514.62/514.69	c |      3219 |   70337   201571 59231700 |   130934     3219   1450 | 59.791 % |
518.71/518.77	c |      4928 |   70337   201571 59231700 |   144028     4928   1577 | 59.791 % |
531.62/531.66	c |      7495 |   70337   201571 59231700 |   158431     7495   1612 | 59.791 % |
544.01/544.00	c |     11339 |   70337   201571 59231700 |   174274    11339   1610 | 59.791 % |
575.52/575.50	c |     17105 |   70337   201571 59231700 |   191701    17105   1794 | 59.791 % |
616.32/616.31	c |     25756 |   70337   201571 59231700 |   210872    25756   1891 | 59.791 % |
705.32/705.34	c |     38731 |   70337   201571 59231700 |   231959    38731   1998 | 59.791 % |
827.33/827.32	c |     58193 |   70337   201571 59231700 |   255155    58193   2026 | 59.791 % |
1027.24/1027.21	c |     87388 |   70337   201571 59231700 |   280670    87388   1970 | 59.791 % |
1407.55/1407.52	c |    131178 |   70337   201571 59231700 |   308737   131178   2145 | 59.791 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479398-1307448647/watcher-3479398-1307448647 -o /tmp/evaluation-result-3479398-1307448647/solver-3479398-1307448647 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479398-1307448647.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.19 2.04 2.01 3/437 1634
/proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=591592 CPUtime=0 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 479 0 0 0 0 0 0 0 24 0 1 0 837282169 605790208 432 33554432000 4194304 5714214 140734537566000 18446744073709551615 4315342 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 147898 432 164 372 0 331 0

[startup+0.077462 s]
/proc/loadavg: 2.19 2.04 2.01 3/437 1634
/proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=612292 CPUtime=0.06 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 5853 0 0 0 6 0 0 0 24 0 1 0 837282169 626987008 5314 33554432000 4194304 5714214 140734537566000 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 153073 5316 364 372 0 5506 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 612292

[startup+0.100462 s]
/proc/loadavg: 2.19 2.04 2.01 3/437 1634
/proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=620788 CPUtime=0.08 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 7578 0 0 0 8 0 0 0 24 0 1 0 837282169 635686912 6846 33554432000 4194304 5714214 140734537566000 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 155197 6849 422 372 0 7630 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 620788

[startup+0.30042 s]
/proc/loadavg: 2.19 2.04 2.01 3/437 1634
/proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=625688 CPUtime=0.29 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 10140 0 0 0 28 1 0 0 25 0 1 0 837282169 640704512 9151 33554432000 4194304 5714214 140734537566000 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 156422 9151 938 372 0 8855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 625688

[startup+0.700356 s]
/proc/loadavg: 2.19 2.04 2.01 3/437 1634
/proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=627548 CPUtime=0.69 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 11636 0 0 0 68 1 0 0 25 0 1 0 837282169 642609152 10647 33554432000 4194304 5714214 140734537566000 18446744073709551615 5209042 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 156887 10647 1988 372 0 9320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 627548

[startup+1.50022 s]
/proc/loadavg: 2.33 2.08 2.02 3/438 1635
/proc/meminfo: memFree=23008584/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=631164 CPUtime=1.48 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 14613 0 0 0 147 1 0 0 25 0 1 0 837282169 646311936 13624 33554432000 4194304 5714214 140734537566000 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 157791 13624 4071 372 0 10224 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 631164

[startup+3.1009 s]
/proc/loadavg: 2.33 2.08 2.02 3/438 1635
/proc/meminfo: memFree=23004988/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=637972 CPUtime=3.09 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 20406 0 0 0 307 2 0 0 25 0 1 0 837282169 653283328 19417 33554432000 4194304 5714214 140734537566000 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 159493 19417 8133 372 0 11926 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 637972

[startup+6.30027 s]
/proc/loadavg: 2.33 2.08 2.02 3/438 1635
/proc/meminfo: memFree=22984284/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=651964 CPUtime=6.28 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 31973 0 0 0 625 3 0 0 25 0 1 0 837282169 667611136 30984 33554432000 4194304 5714214 140734537566000 18446744073709551615 4222980 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 162991 30984 16231 372 0 15424 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 651964

[startup+12.701 s]
/proc/loadavg: 2.28 2.07 2.02 3/438 1635
/proc/meminfo: memFree=22955188/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=679816 CPUtime=12.69 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 55247 0 0 0 1262 7 0 0 25 0 1 0 837282169 696131584 54258 33554432000 4194304 5714214 140734537566000 18446744073709551615 4223157 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 169954 54258 32553 372 0 22387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 679816

[startup+25.5004 s]
/proc/loadavg: 2.24 2.07 2.02 3/438 1635
/proc/meminfo: memFree=22891080/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=735388 CPUtime=25.49 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 101750 0 0 0 2536 13 0 0 25 0 1 0 837282169 753037312 100761 33554432000 4194304 5714214 140734537566000 18446744073709551615 4228548 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 183847 100761 65158 372 0 36280 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 735388

[startup+51.1004 s]
/proc/loadavg: 2.16 2.06 2.02 3/438 1636
/proc/meminfo: memFree=22763532/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=846064 CPUtime=51.09 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 194705 0 0 0 5084 25 0 0 25 0 1 0 837282169 866369536 193716 33554432000 4194304 5714214 140734537566000 18446744073709551615 5201120 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 211516 193716 130456 372 0 63949 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 846064

[startup+102.316 s]
/proc/loadavg: 2.06 2.05 2.01 3/438 1637
/proc/meminfo: memFree=22387392/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=609468 CPUtime=102.31 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 314322 0 0 0 10192 39 0 0 25 0 1 0 837282169 624095232 150906 33554432000 4194304 5714214 140734537566000 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 152367 150906 175 372 0 151992 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 609468

[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/438 1639
/proc/meminfo: memFree=22229668/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=628088 CPUtime=162.3 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 320422 0 0 0 16188 42 0 0 25 0 1 0 837282169 643162112 154675 33554432000 4194304 5714214 140734537566000 18446744073709551615 4345924 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 157022 154675 180 372 0 156647 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 628088

[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/438 1641
/proc/meminfo: memFree=22238704/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=615900 CPUtime=222.3 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 321792 0 0 0 22178 52 0 0 25 0 1 0 837282169 630681600 152344 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 153975 152344 180 372 0 153600 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 615900

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/438 1642
/proc/meminfo: memFree=22237536/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=615900 CPUtime=282.3 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 321792 0 0 0 28173 57 0 0 25 0 1 0 837282169 630681600 152344 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 153975 152344 180 372 0 153600 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 615900

[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 1644
/proc/meminfo: memFree=22237736/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=615900 CPUtime=342.3 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 321792 0 0 0 34164 66 0 0 25 0 1 0 837282169 630681600 152344 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 153975 152344 180 372 0 153600 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 615900

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 1645
/proc/meminfo: memFree=22235980/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=620760 CPUtime=402.3 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 323014 0 0 0 40158 72 0 0 25 0 1 0 837282169 635658240 153566 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 155190 153566 180 372 0 154815 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 620760

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1647
/proc/meminfo: memFree=21949140/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=905596 CPUtime=462.31 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393704 0 0 0 46140 91 0 0 25 0 1 0 837282169 927330304 224256 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 226399 224256 180 372 0 226024 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 905596

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1649
/proc/meminfo: memFree=21948248/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=905596 CPUtime=522.31 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393783 0 0 0 52125 106 0 0 25 0 1 0 837282169 927330304 224335 33554432000 4194304 5714214 140734537566000 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 226399 224335 180 372 0 226024 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 905596

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1650
/proc/meminfo: memFree=21947708/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=905596 CPUtime=582.31 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393783 0 0 0 58116 115 0 0 25 0 1 0 837282169 927330304 224335 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 226399 224335 180 372 0 226024 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 905596

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/438 1685
/proc/meminfo: memFree=22621752/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=905596 CPUtime=822.33 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393783 0 0 0 82093 140 0 0 25 0 1 0 837282169 927330304 224335 33554432000 4194304 5714214 140734537566000 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 226399 224335 180 372 0 226024 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 905596

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1689
/proc/meminfo: memFree=22486628/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=905596 CPUtime=882.33 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 394838 0 0 0 88087 146 0 0 25 0 1 0 837282169 927330304 225390 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 226399 225390 180 372 0 226024 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 905596

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1691
/proc/meminfo: memFree=22334680/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=956936 CPUtime=942.33 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 407632 0 0 0 94080 153 0 0 25 0 1 0 837282169 979902464 238184 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 239234 238184 180 372 0 238859 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 956936

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1692
/proc/meminfo: memFree=22100892/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1023832 CPUtime=1002.33 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 424365 0 0 0 100071 162 0 0 25 0 1 0 837282169 1048403968 254917 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 255958 254917 180 372 0 255583 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1023832

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1694
/proc/meminfo: memFree=21958368/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1091660 CPUtime=1062.34 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 441188 0 0 0 106066 168 0 0 25 0 1 0 837282169 1117859840 271740 33554432000 4194304 5714214 140734537566000 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 272915 271740 180 372 0 272540 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1091660

[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/438 1696
/proc/meminfo: memFree=21887120/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1162312 CPUtime=1122.34 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 458814 0 0 0 112059 175 0 0 25 0 1 0 837282169 1190207488 289366 33554432000 4194304 5714214 140734537566000 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 290578 289366 180 372 0 290203 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1162312

[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/438 1697
/proc/meminfo: memFree=21880760/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1225472 CPUtime=1182.34 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 474574 0 0 0 118052 182 0 0 25 0 1 0 837282169 1254883328 305126 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 306368 305126 180 372 0 305993 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1225472

[startup+1242.3 s]
/proc/loadavg: 2.20 2.06 2.01 3/438 1699
/proc/meminfo: memFree=21808160/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1297192 CPUtime=1242.35 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 492312 0 0 0 124047 188 0 0 25 0 1 0 837282169 1328324608 322864 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 324298 322864 180 372 0 323923 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 1297192

[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/438 1700
/proc/meminfo: memFree=21726676/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1377172 CPUtime=1302.36 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 512291 0 0 0 130040 196 0 0 25 0 1 0 837282169 1410224128 342843 33554432000 4194304 5714214 140734537566000 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 344293 342843 180 372 0 343918 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 1377172

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 1702
/proc/meminfo: memFree=21653488/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1450996 CPUtime=1362.35 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 530703 0 0 0 136035 200 0 0 25 0 1 0 837282169 1485819904 361255 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 362749 361255 180 372 0 362374 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1450996

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 1704
/proc/meminfo: memFree=21580184/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1522412 CPUtime=1422.38 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 548479 0 0 0 142032 206 0 0 25 0 1 0 837282169 1558949888 379031 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 380603 379031 180 372 0 380228 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 1522412

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1705
/proc/meminfo: memFree=21477732/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1627244 CPUtime=1482.35 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 574528 0 0 0 148021 214 0 0 25 0 1 0 837282169 1666297856 405080 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 406811 405080 180 372 0 406436 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1627244

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1707
/proc/meminfo: memFree=21396728/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1707608 CPUtime=1542.36 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 594498 0 0 0 154017 219 0 0 25 0 1 0 837282169 1748590592 425050 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 426902 425050 180 372 0 426527 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1707608

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1708
/proc/meminfo: memFree=21323420/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1781512 CPUtime=1602.36 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 612804 0 0 0 160013 223 0 0 25 0 1 0 837282169 1824268288 443356 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 445378 443356 180 372 0 445003 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1781512

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1710
/proc/meminfo: memFree=21254572/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1851188 CPUtime=1662.36 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 630003 0 0 0 166007 229 0 0 25 0 1 0 837282169 1895616512 460555 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 462797 460555 180 372 0 462422 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 1851188

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/438 1712
/proc/meminfo: memFree=21192044/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1914540 CPUtime=1722.37 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 645746 0 0 0 172004 233 0 0 25 0 1 0 837282169 1960488960 476298 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 478635 476298 180 372 0 478260 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1914540

[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/438 1713
/proc/meminfo: memFree=21127160/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1978180 CPUtime=1782.37 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 661547 0 0 0 177998 239 0 0 25 0 1 0 837282169 2025656320 492099 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 494545 492099 180 372 0 494170 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 1978180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 1714
/proc/meminfo: memFree=21106080/32951124 swapFree=50923800/67111528
[pid=1634] ppid=1632 vsize=1999524 CPUtime=1800.08 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 666921 0 0 0 179767 241 0 0 25 0 1 0 837282169 2047512576 497473 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1634/statm: 499881 497473 180 372 0 499506 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1999524

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.19
CPU user time (s): 1797.69
CPU system time (s): 2.49962
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1999524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.69
system time used= 2.49962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666921
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= 8
involuntary context switches= 3892

runsolver used 7.83181 second user time and 16.7814 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-07 14:11:06
IDJOB=3479398
IDBENCH=89906
IDSOLVER=1953
FILE ID=node143/3479398-1307448647
RUNJOBID= node143-1307436782-674
PBS_JOBID= 13519945
Free space on /tmp= 73436 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-sbox_8_shg.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479398-1307448647/watcher-3479398-1307448647 -o /tmp/evaluation-result-3479398-1307448647/solver-3479398-1307448647 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479398-1307448647.opb

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

MD5SUM BENCH= 3cb4e48d7e295175417c2e8c2155aba3
RANDOM SEED=1347564467

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23045596 kB
Buffers:        356360 kB
Cached:        1420708 kB
SwapCached:       9164 kB
Active:        8850476 kB
Inactive:       755832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23045596 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:          592972 kB
Writeback:           0 kB
AnonPages:     7826460 kB
Mapped:          22448 kB
Slab:           150216 kB
PageTables:      81144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 116302720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73412 MiB
End job on node143 at 2011-06-07 14:41:08