Trace number 1821070

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
minisat_cumr p-2009-03-18? (TO) 1200.03 1199.94

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.22/0.23	c ==============================================================================
0.22/0.23	c |           |     ORIGINAL     |              LEARNT              |          |
0.22/0.23	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.22/0.23	c ==============================================================================
0.22/0.23	c |         0 |  226367   586604 |   67910       0        0     nan |  0.000 % |
1.12/1.12	c |         0 |  163489   553284 |      --       0       --      -- |     --   | -62878/-33320
1.12/1.12	c ==============================================================================
1.12/1.12	c Result  :   #vars: 28527   #clauses: 163489   #literals: 553284
1.12/1.12	c CPU time:   1.08 s
1.12/1.12	c ==============================================================================
1.32/1.32	c This is MiniSat 2.0 beta
1.32/1.32	c WARNING: for repeatability, setting FPU to use double precision
1.32/1.32	c ============================[ Problem Statistics ]=============================
1.32/1.32	c |                                                                             |
1.32/1.32	c |  Number of variables:  28527                                                |
1.32/1.32	c |  Number of clauses:    163489                                               |
1.33/1.44	c |  Parsing time:         0.11         s                                       |
1.33/1.45	c ============================[ Search Statistics ]==============================
1.33/1.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.33/1.45	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.33/1.45	c ===============================================================================
1.33/1.45	c |         0 |   28527   163489   553284 |    54496        0    nan |  0.000 % |
1.33/1.47	c |       101 |   28514   163489   553284 |    54496       93      3 |  0.056 % |
1.33/1.73	c |       202 |   28514   163489   553284 |    54496      194     47 |  0.056 % |
2.32/2.40	c |       302 |   28514   163489   553284 |    54496      294     88 |  0.056 % |
2.62/2.66	c |       413 |   28511   163356   552886 |    54496      394     89 |  0.056 % |
2.92/2.96	c |       513 |   28511   163356   552886 |    54496      494     85 |  0.056 % |
3.12/3.18	c |       624 |   28511   163356   552886 |    54496      605     86 |  0.056 % |
3.32/3.34	c |       745 |   28511   163356   552886 |    54496      726     74 |  0.056 % |
3.52/3.57	c |       845 |   28511   163356   552886 |    54496      826     71 |  0.056 % |
3.92/4.01	c |       955 |   28511   163356   552886 |    54496      936     73 |  0.056 % |
4.52/4.52	c |      1077 |   28509   163349   552868 |    54496     1056     76 |  0.063 % |
4.72/4.73	c |      1211 |   28506   163349   552868 |    54496     1189     75 |  0.074 % |
4.92/4.95	c |      1311 |   28506   163349   552868 |    54496     1289     74 |  0.074 % |
5.22/5.29	c |      1422 |   28506   163326   552806 |    54496     1400     76 |  0.074 % |
6.12/6.12	c |      1543 |   28504   163326   552806 |    54496     1520     82 |  0.081 % |
6.32/6.35	c |      1677 |   28504   163316   552779 |    54496     1653     79 |  0.081 % |
7.12/7.17	c |      1824 |   28504   163316   552779 |    54496     1800     84 |  0.081 % |
7.92/7.97	c |      1925 |   28504   163316   552779 |    54496     1901     86 |  0.081 % |
8.22/8.25	c |      2036 |   28504   163316   552779 |    54496     2012     85 |  0.081 % |
8.32/8.40	c |      2159 |   28504   163316   552779 |    54496     2135     83 |  0.081 % |
8.92/8.91	c |      2293 |   28504   163316   552779 |    54496     2269     84 |  0.081 % |
9.42/9.43	c |      2439 |   28504   163316   552779 |    54496     2415     85 |  0.081 % |
10.32/10.38	c |      2599 |   28497   163279   552670 |    54496     2571     88 |  0.105 % |
10.72/10.79	c |      2699 |   28495   163269   552645 |    54496     2669     89 |  0.112 % |
11.22/11.24	c |      2809 |   28495   163269   552645 |    54496     2779     90 |  0.112 % |
11.72/11.79	c |      2931 |   28495   163269   552645 |    54496     2901     90 |  0.112 % |
12.32/12.36	c |      3064 |   28495   163247   552574 |    54496     3024     91 |  0.112 % |
13.22/13.24	c |      3210 |   28495   163247   552574 |    54496     3170     93 |  0.112 % |
14.02/14.02	c |      3372 |   28495   163247   552574 |    54496     3332     94 |  0.112 % |
14.72/14.80	c |      3548 |   28495   163247   552574 |    54496     3508     94 |  0.112 % |
15.32/15.36	c |      3649 |   28495   163247   552574 |    54496     3609     93 |  0.112 % |
16.02/16.07	c |      3760 |   28495   163247   552574 |    54496     3720     95 |  0.112 % |
16.32/16.40	c |      3882 |   28495   163247   552574 |    54496     3842     95 |  0.112 % |
16.62/16.67	c |      4015 |   28495   163247   552574 |    54496     3975     96 |  0.112 % |
16.62/16.69	c |      4162 |   28495   163247   552574 |    54496     4122     93 |  0.112 % |
16.62/16.70	c |      4322 |   28495   163247   552574 |    54496     4282     90 |  0.112 % |
16.72/16.72	c |      4499 |   28495   163247   552574 |    54496     4459     87 |  0.112 % |
16.82/16.90	c |      4692 |   28495   163247   552574 |    54496     4652     84 |  0.112 % |
17.22/17.21	c |      4792 |   28495   163247   552574 |    54496     4752     83 |  0.112 % |
17.92/17.93	c |      4902 |   28495   163247   552574 |    54496     4862     85 |  0.112 % |
18.72/18.74	c |      5024 |   28493   163237   552550 |    54496     4980     86 |  0.119 % |
19.32/19.38	c |      5159 |   28493   163237   552550 |    54496     5115     85 |  0.119 % |
20.42/20.44	c |      5305 |   28493   163237   552550 |    54496     5261     87 |  0.119 % |
21.22/21.31	c |      5465 |   28493   163237   552550 |    54496     5421     87 |  0.119 % |
21.72/21.73	c |      5642 |   28493   163237   552550 |    54496     5598     85 |  0.119 % |
23.32/23.33	c |      5836 |   28493   163237   552550 |    54496     5792     88 |  0.119 % |
24.02/24.08	c |      6051 |   28493   163237   552550 |    54496     6007     88 |  0.119 % |
24.62/24.70	c |      6151 |   28493   163237   552550 |    54496     6107     89 |  0.119 % |
25.32/25.36	c |      6261 |   28493   163237   552550 |    54496     6217     88 |  0.119 % |
25.72/25.79	c |      6382 |   28493   163237   552550 |    54496     6338     88 |  0.119 % |
26.52/26.56	c |      6515 |   28493   163237   552550 |    54496     6471     89 |  0.119 % |
26.92/26.94	c |      6662 |   28493   163237   552550 |    54496     6618     87 |  0.119 % |
27.72/27.75	c |      6824 |   28493   163237   552550 |    54496     6780     88 |  0.119 % |
28.82/28.88	c |      7001 |   28493   163237   552550 |    54496     6957     90 |  0.119 % |
29.82/29.85	c |      7194 |   28491   163232   552538 |    54496     7147     89 |  0.126 % |
31.12/31.11	c |      7406 |   28491   163232   552538 |    54496     7359     91 |  0.126 % |
32.52/32.56	c |      7640 |   28491   163227   552526 |    54496     7593     91 |  0.126 % |
33.02/33.10	c |      7740 |   28491   163227   552526 |    54496     7693     91 |  0.126 % |
33.72/33.80	c |      7850 |   28491   163227   552526 |    54496     7803     92 |  0.126 % |
34.42/34.48	c |      7972 |   28490   163222   552514 |    54496     7924     91 |  0.130 % |
35.22/35.21	c |      8105 |   28490   163222   552514 |    54496     8057     92 |  0.130 % |
36.02/36.10	c |      8251 |   28490   163222   552514 |    54496     8203     91 |  0.130 % |
36.82/36.87	c |      8411 |   28490   163222   552514 |    54496     8363     91 |  0.130 % |
38.42/38.43	c |      8587 |   28490   163222   552514 |    54496     8539     93 |  0.130 % |
39.62/39.66	c |      8782 |   28490   163222   552514 |    54496     8734     94 |  0.130 % |
40.52/40.54	c |      8994 |   28490   163222   552514 |    54496     8946     93 |  0.130 % |
41.42/41.41	c |      9228 |   28490   163222   552514 |    54496     9180     93 |  0.130 % |
42.92/42.92	c |      9485 |   28490   163222   552514 |    54496     9437     94 |  0.130 % |
43.42/43.51	c |      9586 |   28490   163222   552514 |    54496     9538     94 |  0.130 % |
44.12/44.18	c |      9696 |   28490   163222   552514 |    54496     9648     95 |  0.130 % |
45.12/45.11	c |      9817 |   28490   163222   552514 |    54496     9769     95 |  0.130 % |
46.02/46.01	c |      9950 |   28490   163222   552514 |    54496     9902     95 |  0.130 % |
46.92/47.00	c |     10096 |   28490   163222   552514 | 2147483647    10048     96 |  0.130 % |
48.22/48.27	c |     10257 |   28490   163222   552514 | 2147483647    10209     94 |  0.130 % |
49.02/49.09	c |     10434 |   28490   163222   552514 | 2147483647    10386     95 |  0.130 % |
49.32/49.35	c |     10627 |   28490   163222   552514 | 2147483647    10579     94 |  0.130 % |
50.82/50.83	c |     10840 |   28490   163222   552514 | 2147483647    10792     95 |  0.130 % |
51.72/51.76	c |     11073 |   28486   163199   552450 | 2147483647    11014     95 |  0.144 % |
52.22/52.23	c |     11329 |   28486   163199   552450 | 2147483647    11270     95 |  0.144 % |
53.52/53.59	c |     11611 |   28486   163199   552450 | 2147483647    11552     95 |  0.144 % |
54.12/54.14	c |     11711 |   28486   163199   552450 | 2147483647    11652     96 |  0.144 % |
54.62/54.64	c |     11823 |   28486   163199   552450 | 2147483647    11764     96 |  0.144 % |
55.02/55.07	c |     11944 |   28486   163199   552450 | 2147483647    11885     96 |  0.144 % |
55.72/55.80	c |     12077 |   28486   163199   552450 | 2147483647    12018     96 |  0.144 % |
56.42/56.48	c |     12223 |   28486   163199   552450 | 2147483647    12164     96 |  0.144 % |
57.03/57.04	c |     12384 |   28486   163199   552450 | 2147483647    12325     96 |  0.144 % |
58.13/58.15	c |     12561 |   28486   163199   552450 | 2147483647    12502     97 |  0.144 % |
59.43/59.43	c |     12754 |   28486   163199   552450 | 2147483647    12695     96 |  0.144 % |
60.43/60.48	c |     12967 |   28486   163199   552450 | 2147483647    12908     96 |  0.144 % |
61.53/61.60	c |     13201 |   28486   163199   552450 | 2147483647    13142     97 |  0.144 % |
62.93/62.96	c |     13458 |   28486   163199   552450 | 2147483647    13399     98 |  0.144 % |
63.83/63.82	c |     13740 |   28486   163199   552450 | 2147483647    13681     98 |  0.144 % |
65.13/65.13	c |     14050 |   28485   163191   552422 | 2147483647    13989     96 |  0.147 % |
65.63/65.65	c |     14151 |   28485   163191   552422 | 2147483647    14090     97 |  0.147 % |
66.13/66.21	c |     14261 |   28485   163191   552422 | 2147483647    14200     96 |  0.147 % |
66.83/66.90	c |     14383 |   28485   163191   552422 | 2147483647    14322     96 |  0.147 % |
67.43/67.44	c |     14516 |   28485   163191   552422 | 2147483647    14455     96 |  0.147 % |
68.13/68.17	c |     14663 |   28485   163191   552422 | 2147483647    14602     97 |  0.147 % |
68.73/68.72	c |     14824 |   28485   163191   552422 | 2147483647    14763     96 |  0.147 % |
69.43/69.46	c |     15000 |   28485   163191   552422 | 2147483647    14939     96 |  0.147 % |
70.43/70.47	c |     15193 |   28485   163191   552422 | 2147483647    15132     96 |  0.147 % |
71.73/71.74	c |     15406 |   28485   163191   552422 | 2147483647    15345     97 |  0.147 % |
72.73/72.72	c |     15640 |   28485   163191   552422 | 2147483647    15579     97 |  0.147 % |
74.93/75.00	c |     15896 |   28485   163191   552422 | 2147483647    15835     98 |  0.147 % |
77.04/77.09	c |     16177 |   28485   163191   552422 | 2147483647    16116     97 |  0.147 % |
78.93/78.92	c |     16487 |   28485   163191   552422 | 2147483647    16426     98 |  0.147 % |
80.34/80.33	c |     16827 |   28485   163191   552422 | 2147483647    16766     98 |  0.147 % |
80.93/80.97	c |     16927 |   28485   163191   552422 | 2147483647    16866     98 |  0.147 % |
81.44/81.48	c |     17038 |   28485   163191   552422 | 2147483647    16977     98 |  0.147 % |
82.13/82.18	c |     17160 |   28485   163191   552422 | 2147483647    17099     98 |  0.147 % |
82.63/82.65	c |     17293 |   28485   163191   552422 | 2147483647    17232     97 |  0.147 % |
83.33/83.34	c |     17439 |   28484   163174   552363 | 2147483647    17365     97 |  0.151 % |
83.43/83.45	c |     17600 |   28484   163174   552363 | 2147483647    17526     96 |  0.151 % |
84.13/84.12	c |     17777 |   28484   163174   552363 | 2147483647    17703     95 |  0.151 % |
85.03/85.04	c |     17970 |   28484   163174   552363 | 2147483647    17896     95 |  0.151 % |
85.53/85.56	c |     18182 |   28484   163174   552363 | 2147483647    18108     95 |  0.151 % |
86.94/86.94	c |     18416 |   28484   163174   552363 | 2147483647    18342     95 |  0.151 % |
88.43/88.47	c |     18672 |   28484   163174   552363 | 2147483647    18598     96 |  0.151 % |
90.63/90.68	c |     18954 |   28484   163174   552363 | 2147483647    18880     97 |  0.151 % |
91.83/91.85	c |     19264 |   28484   163174   552363 | 2147483647    19190     96 |  0.151 % |
92.63/92.69	c |     19603 |   28484   163174   552363 | 2147483647    19529     96 |  0.151 % |
94.43/94.52	c |     19976 |   28483   163166   552335 | 2147483647    19900     96 |  0.154 % |
94.83/94.86	c |     20076 |   28483   163166   552335 | 2147483647    20000     96 |  0.154 % |
95.03/95.07	c |     20186 |   28483   163166   552335 | 2147483647    20110     96 |  0.154 % |
95.43/95.49	c |     20308 |   28483   163166   552335 | 2147483647    20232     96 |  0.154 % |
95.74/95.76	c |     20442 |   28483   163166   552335 | 2147483647    20366     96 |  0.154 % |
96.73/96.78	c |     20589 |   28483   163166   552335 | 2147483647    20513     96 |  0.154 % |
97.63/97.70	c |     20749 |   28483   163166   552335 | 2147483647    20673     96 |  0.154 % |
98.93/98.98	c |     20925 |   28483   163166   552335 | 2147483647    20849     96 |  0.154 % |
99.93/99.98	c |     21118 |   28483   163166   552335 | 2147483647    21042     97 |  0.154 % |
100.63/100.67	c |     21331 |   28483   163166   552335 | 2147483647    21255     96 |  0.154 % |
101.63/101.66	c |     21564 |   28483   163166   552335 | 2147483647    21488     95 |  0.154 % |
103.44/103.48	c |     21821 |   28483   163166   552335 | 2147483647    21745     96 |  0.154 % |
104.83/104.81	c |     22102 |   28483   163166   552335 | 2147483647    22026     96 |  0.154 % |
105.93/106.01	c |     22412 |   28483   163166   552335 | 2147483647    22336     96 |  0.154 % |
107.84/107.89	c |     22752 |   28483   163166   552335 | 2147483647    22676     95 |  0.154 % |
109.73/109.71	c |     23124 |   28483   163166   552335 | 2147483647    23048     95 |  0.154 % |
111.53/111.53	c |     23533 |   28483   163166   552335 | 2147483647    23457     96 |  0.154 % |
111.53/111.54	c |     23633 |   28483   163166   552335 | 2147483647    23557     96 |  0.154 % |
111.53/111.54	c |     23743 |   28483   163166   552335 | 2147483647    23667     95 |  0.154 % |
112.13/112.20	c |     23865 |   28483   163166   552335 | 2147483647    23789     96 |  0.154 % |
112.24/112.27	c |     23998 |   28483   163166   552335 | 2147483647    23922     95 |  0.154 % |
112.33/112.32	c |     24145 |   28483   163166   552335 | 2147483647    24069     95 |  0.154 % |
113.13/113.18	c |     24305 |   28483   163166   552335 | 2147483647    24229     94 |  0.154 % |
113.34/113.41	c |     24482 |   28483   163166   552335 | 2147483647    24406     94 |  0.154 % |
114.44/114.45	c |     24675 |   28483   163166   552335 | 2147483647    24599     93 |  0.154 % |
115.83/115.84	c |     24887 |   28483   163166   552335 | 2147483647    24811     94 |  0.154 % |
117.23/117.30	c |     25120 |   28483   163166   552335 | 2147483647    25044     94 |  0.154 % |
118.53/118.54	c |     25377 |   28483   163166   552335 | 2147483647    25301     94 |  0.154 % |
119.83/119.91	c |     25660 |   28483   163166   552335 | 2147483647    25584     94 |  0.154 % |
121.63/121.62	c |     25970 |   28483   163166   552335 | 2147483647    25894     94 |  0.154 % |
123.63/123.62	c |     26311 |   28483   163166   552335 | 2147483647    26235     94 |  0.154 % |
125.53/125.52	c |     26683 |   28483   163166   552335 | 2147483647    26607     94 |  0.154 % |
128.23/128.23	c |     27095 |   28483   163166   552335 | 2147483647    27019     93 |  0.154 % |
130.74/130.81	c |     27544 |   28483   163166   552335 | 2147483647    27468     94 |  0.154 % |
131.14/131.16	c |     27644 |   28483   163166   552335 | 2147483647    27568     93 |  0.154 % |
131.44/131.50	c |     27755 |   28483   163166   552335 | 2147483647    27679     93 |  0.154 % |
132.24/132.26	c |     27876 |   28483   163166   552335 | 2147483647    27800     94 |  0.154 % |
133.24/133.24	c |     28010 |   28483   163166   552335 | 2147483647    27934     93 |  0.154 % |
134.04/134.10	c |     28159 |   28483   163166   552335 | 2147483647    28083     94 |  0.154 % |
134.84/134.86	c |     28319 |   28483   163166   552335 | 2147483647    28243     94 |  0.154 % |
135.74/135.76	c |     28495 |   28483   163166   552335 | 2147483647    28419     94 |  0.154 % |
136.34/136.37	c |     28689 |   28483   163166   552335 | 2147483647    28613     93 |  0.154 % |
137.24/137.24	c |     28903 |   28483   163166   552335 | 2147483647    28827     93 |  0.154 % |
138.44/138.51	c |     29136 |   28483   163166   552335 | 2147483647    29060     94 |  0.154 % |
139.74/139.75	c |     29393 |   28483   163166   552335 | 2147483647    29317     94 |  0.154 % |
141.04/141.08	c |     29674 |   28483   163166   552335 | 2147483647    29598     93 |  0.154 % |
142.44/142.45	c |     29983 |   28483   163166   552335 | 2147483647    29907     93 |  0.154 % |
143.44/143.45	c |     30322 |   28483   163166   552335 | 2147483647    30246     93 |  0.154 % |
144.94/144.98	c |     30695 |   28483   163166   552335 | 2147483647    30619     93 |  0.154 % |
146.94/146.96	c |     31107 |   28483   163166   552335 | 2147483647    31031     93 |  0.154 % |
149.54/149.62	c |     31556 |   28483   163166   552335 | 2147483647    31480     92 |  0.154 % |
152.74/152.75	c |     32049 |   28483   163166   552335 | 2147483647    31973     93 |  0.154 % |
153.24/153.29	c |     32149 |   28483   163166   552335 | 2147483647    32073     93 |  0.154 % |
153.94/153.96	c |     32259 |   28483   163166   552335 | 2147483647    32183     93 |  0.154 % |
154.84/154.88	c |     32380 |   28483   163166   552335 | 2147483647    32304     93 |  0.154 % |
155.34/155.40	c |     32514 |   28483   163166   552335 | 2147483647    32438     93 |  0.154 % |
156.04/156.03	c |     32660 |   28483   163166   552335 | 2147483647    32584     93 |  0.154 % |
156.94/157.01	c |     32820 |   28483   163166   552335 | 2147483647    32744     93 |  0.154 % |
158.04/158.02	c |     32997 |   28483   163166   552335 | 2147483647    32921     93 |  0.154 % |
159.14/159.18	c |     33192 |   28483   163166   552335 | 2147483647    33116     93 |  0.154 % |
160.54/160.58	c |     33405 |   28483   163166   552335 | 2147483647    33329     94 |  0.154 % |
162.24/162.26	c |     33638 |   28483   163166   552335 | 2147483647    33562     93 |  0.154 % |
163.14/163.21	c |     33895 |   28483   163166   552335 | 2147483647    33819     94 |  0.154 % |
164.24/164.22	c |     34176 |   28483   163166   552335 | 2147483647    34100     93 |  0.154 % |
166.24/166.26	c |     34486 |   28483   163166   552335 | 2147483647    34410     94 |  0.154 % |
168.24/168.27	c |     34825 |   28483   163166   552335 | 2147483647    34749     93 |  0.154 % |
169.94/170.01	c |     35198 |   28483   163166   552335 | 2147483647    35122     93 |  0.154 % |
172.04/172.09	c |     35607 |   28483   163166   552335 | 2147483647    35531     92 |  0.154 % |
174.13/174.19	c |     36058 |   28483   163166   552335 | 2147483647    35982     93 |  0.154 % |
177.23/177.27	c |     36551 |   28483   163166   552335 | 2147483647    36475     93 |  0.154 % |
180.33/180.34	c |     37094 |   28483   163166   552335 | 2147483647    37018     93 |  0.154 % |
180.93/180.93	c |     37194 |   28483   163166   552335 | 2147483647    37118     93 |  0.154 % |
181.63/181.68	c |     37305 |   28483   163166   552335 | 2147483647    37229     94 |  0.154 % |
182.33/182.34	c |     37426 |   28483   163166   552335 | 2147483647    37350     94 |  0.154 % |
183.13/183.18	c |     37561 |   28483   163166   552335 | 2147483647    37485     94 |  0.154 % |
184.23/184.25	c |     37707 |   28483   163166   552335 | 2147483647    37631     93 |  0.154 % |
185.03/185.09	c |     37867 |   28483   163166   552335 | 2147483647    37791     94 |  0.154 % |
186.23/186.29	c |     38045 |   28483   163166   552335 | 2147483647    37969     93 |  0.154 % |
187.13/187.18	c |     38243 |   28483   163166   552335 | 2147483647    38167     93 |  0.154 % |
188.53/188.56	c |     38455 |   28483   163166   552335 | 2147483647    38379     94 |  0.154 % |
189.23/189.30	c |     38689 |   28483   163166   552335 | 2147483647    38613     94 |  0.154 % |
190.83/190.83	c |     38948 |   28483   163166   552335 | 2147483647    38872     93 |  0.154 % |
192.13/192.12	c |     39229 |   28483   163166   552335 | 2147483647    39153     93 |  0.154 % |
193.63/193.61	c |     39539 |   28483   163166   552335 | 2147483647    39463     93 |  0.154 % |
195.03/195.09	c |     39878 |   28483   163166   552335 | 2147483647    39802     93 |  0.154 % |
196.73/196.76	c |     40252 |   28483   163166   552335 | 2147483647    40176     93 |  0.154 % |
199.23/199.28	c |     40661 |   28483   163166   552335 | 2147483647    40585     92 |  0.154 % |
201.43/201.51	c |     41110 |   28483   163166   552335 | 2147483647    41034     93 |  0.154 % |
205.13/205.12	c |     41604 |   28483   163166   552335 | 2147483647    41528     92 |  0.154 % |
207.83/207.83	c |     42146 |   28483   163166   552335 | 2147483647    42070     92 |  0.154 % |
209.53/209.60	c |     42742 |   28483   163166   552335 | 2147483647    42666     91 |  0.154 % |
210.03/210.10	c |     42843 |   28483   163166   552335 | 2147483647    42767     91 |  0.154 % |
210.53/210.59	c |     42955 |   28483   163166   552335 | 2147483647    42879     91 |  0.154 % |
211.13/211.17	c |     43077 |   28483   163166   552335 | 2147483647    43001     91 |  0.154 % |
211.83/211.89	c |     43212 |   28483   163166   552335 | 2147483647    43136     91 |  0.154 % |
212.73/212.79	c |     43358 |   28483   163166   552335 | 2147483647    43282     91 |  0.154 % |
213.93/213.94	c |     43519 |   28483   163166   552335 | 2147483647    43443     92 |  0.154 % |
215.03/215.01	c |     43695 |   28483   163166   552335 | 2147483647    43619     92 |  0.154 % |
216.53/216.58	c |     43889 |   28483   163166   552335 | 2147483647    43813     91 |  0.154 % |
217.93/217.92	c |     44102 |   28483   163166   552335 | 2147483647    44026     92 |  0.154 % |
219.73/219.74	c |     44335 |   28483   163166   552335 | 2147483647    44259     92 |  0.154 % |
221.23/221.27	c |     44592 |   28483   163166   552335 | 2147483647    44516     92 |  0.154 % |
222.33/222.33	c |     44874 |   28483   163166   552335 | 2147483647    44798     92 |  0.154 % |
223.63/223.67	c |     45184 |   28483   163166   552335 | 2147483647    45108     92 |  0.154 % |
225.23/225.23	c |     45524 |   28483   163166   552335 | 2147483647    45448     92 |  0.154 % |
227.74/227.80	c |     45896 |   28483   163166   552335 | 2147483647    45820     92 |  0.154 % |
230.53/230.54	c |     46306 |   28483   163166   552335 | 2147483647    46230     92 |  0.154 % |
232.73/232.76	c |     46756 |   28483   163166   552335 | 2147483647    46680     92 |  0.154 % |
234.93/234.91	c |     47249 |   28483   163166   552335 | 2147483647    47173     92 |  0.154 % |
237.43/237.48	c |     47791 |   28483   163166   552335 | 2147483647    47715     92 |  0.154 % |
241.13/241.16	c |     48390 |   28483   163166   552335 | 2147483647    48314     92 |  0.154 % |
244.03/244.04	c |     49046 |   28483   163166   552335 | 2147483647    48970     93 |  0.154 % |
244.63/244.63	c |     49147 |   28483   163166   552335 | 2147483647    49071     93 |  0.154 % |
245.23/245.22	c |     49259 |   28483   163166   552335 | 2147483647    49183     93 |  0.154 % |
245.73/245.80	c |     49380 |   28483   163166   552335 | 2147483647    49304     93 |  0.154 % |
246.63/246.62	c |     49514 |   28483   163166   552335 | 2147483647    49438     93 |  0.154 % |
247.43/247.43	c |     49660 |   28483   163166   552335 | 2147483647    49584     93 |  0.154 % |
248.13/248.17	c |     49821 |   28483   163166   552335 | 2147483647    49745     93 |  0.154 % |
249.53/249.56	c |     49997 |   28483   163166   552335 | 2147483647    49921     93 |  0.154 % |
250.53/250.58	c |     50191 |   28483   163166   552335 | 2147483647    50115     93 |  0.154 % |
251.83/251.88	c |     50403 |   28483   163166   552335 | 2147483647    50327     93 |  0.154 % |
253.33/253.35	c |     50636 |   28483   163166   552335 | 2147483647    50560     93 |  0.154 % |
254.33/254.32	c |     50893 |   28483   163166   552335 | 2147483647    50817     93 |  0.154 % |
256.63/256.61	c |     51174 |   28483   163166   552335 | 2147483647    51098     93 |  0.154 % |
258.33/258.36	c |     51483 |   28483   163166   552335 | 2147483647    51407     93 |  0.154 % |
259.43/259.46	c |     51823 |   28483   163166   552335 | 2147483647    51747     93 |  0.154 % |
260.94/260.98	c |     52196 |   28483   163166   552335 | 2147483647    52120     93 |  0.154 % |
262.54/262.60	c |     52608 |   28483   163166   552335 | 2147483647    52532     93 |  0.154 % |
265.14/265.13	c |     53057 |   28483   163166   552335 | 2147483647    52981     93 |  0.154 % |
268.04/268.09	c |     53550 |   28483   163166   552335 | 2147483647    53474     94 |  0.154 % |
271.44/271.47	c |     54092 |   28483   163166   552335 | 2147483647    54016     93 |  0.154 % |
276.54/276.53	c |     54688 |   28483   163166   552335 | 2147483647    54612     94 |  0.154 % |
279.74/279.76	c |     55343 |   28483   163166   552335 | 2147483647    55267     94 |  0.154 % |
285.44/285.46	c |     56065 |   28483   163166   552335 | 2147483647    55989     95 |  0.154 % |
285.94/285.93	c |     56165 |   28483   163166   552335 | 2147483647    56089     94 |  0.154 % |
286.34/286.39	c |     56275 |   28483   163166   552335 | 2147483647    56199     94 |  0.154 % |
287.04/287.06	c |     56397 |   28483   163166   552335 | 2147483647    56321     95 |  0.154 % |
287.74/287.75	c |     56530 |   28483   163166   552335 | 2147483647    56454     95 |  0.154 % |
288.44/288.44	c |     56677 |   28483   163166   552335 | 2147483647    56601     94 |  0.154 % |
289.74/289.80	c |     56838 |   28483   163166   552335 | 2147483647    56762     95 |  0.154 % |
290.74/290.79	c |     57015 |   28483   163166   552335 | 2147483647    56939     94 |  0.154 % |
291.84/291.83	c |     57209 |   28483   163166   552335 | 2147483647    57133     95 |  0.154 % |
292.84/292.89	c |     57421 |   28483   163166   552335 | 2147483647    57345     94 |  0.154 % |
293.94/293.99	c |     57654 |   28483   163166   552335 | 2147483647    57578     94 |  0.154 % |
295.44/295.46	c |     57910 |   28483   163166   552335 | 2147483647    57834     94 |  0.154 % |
296.74/296.73	c |     58192 |   28483   163166   552335 | 2147483647    58116     94 |  0.154 % |
297.54/297.60	c |     58502 |   28483   163166   552335 | 2147483647    58426     94 |  0.154 % |
299.24/299.27	c |     58841 |   28483   163166   552335 | 2147483647    58765     94 |  0.154 % |
300.94/300.99	c |     59214 |   28483   163166   552335 | 2147483647    59138     94 |  0.154 % |
303.54/303.52	c |     59625 |   28483   163166   552335 | 2147483647    59549     94 |  0.154 % |
305.44/305.50	c |     60075 |   28483   163166   552335 | 2147483647    59999     94 |  0.154 % |
308.14/308.18	c |     60568 |   28483   163166   552335 | 2147483647    60492     95 |  0.154 % |
311.84/311.85	c |     61110 |   28483   163166   552335 | 2147483647    61034     94 |  0.154 % |
314.74/314.75	c |     61707 |   28483   163166   552335 | 2147483647    61631     94 |  0.154 % |
319.14/319.12	c |     62362 |   28483   163166   552335 | 2147483647    62286     93 |  0.154 % |
322.04/322.06	c |     63083 |   28483   163166   552335 | 2147483647    63007     94 |  0.154 % |
325.64/325.62	c |     63876 |   28483   163166   552335 | 2147483647    63800     93 |  0.154 % |
326.34/326.38	c |     63976 |   28483   163166   552335 | 2147483647    63900     93 |  0.154 % |
327.24/327.24	c |     64086 |   28483   163166   552335 | 2147483647    64010     93 |  0.154 % |
327.94/328.00	c |     64209 |   28483   163166   552335 | 2147483647    64133     93 |  0.154 % |
329.14/329.14	c |     64342 |   28483   163166   552335 | 2147483647    64266     93 |  0.154 % |
329.94/329.99	c |     64488 |   28483   163166   552335 | 2147483647    64412     93 |  0.154 % |
331.14/331.20	c |     64648 |   28483   163166   552335 | 2147483647    64572     93 |  0.154 % |
331.94/331.93	c |     64824 |   28483   163166   552335 | 2147483647    64748     93 |  0.154 % |
332.94/332.99	c |     65017 |   28483   163166   552335 | 2147483647    64941     93 |  0.154 % |
333.94/333.93	c |     65230 |   28483   163166   552335 | 2147483647    65154     93 |  0.154 % |
335.74/335.79	c |     65463 |   28483   163166   552335 | 2147483647    65387     93 |  0.154 % |
337.14/337.13	c |     65719 |   28483   163166   552335 | 2147483647    65643     93 |  0.154 % |
339.54/339.58	c |     66001 |   28483   163166   552335 | 2147483647    65925     93 |  0.154 % |
341.34/341.36	c |     66311 |   28483   163166   552335 | 2147483647    66235     93 |  0.154 % |
342.34/342.38	c |     66650 |   28483   163166   552335 | 2147483647    66574     93 |  0.154 % |
344.84/344.87	c |     67022 |   28483   163166   552335 | 2147483647    66946     93 |  0.154 % |
346.04/346.04	c |     67432 |   28483   163166   552335 | 2147483647    67356     93 |  0.154 % |
347.84/347.85	c |     67881 |   28483   163166   552335 | 2147483647    67805     92 |  0.154 % |
350.64/350.61	c |     68374 |   28483   163166   552335 | 2147483647    68298     93 |  0.154 % |
352.74/352.76	c |     68916 |   28483   163166   552335 | 2147483647    68840     92 |  0.154 % |
356.64/356.61	c |     69514 |   28483   163166   552335 | 2147483647    69438     92 |  0.154 % |
361.95/361.99	c |     70169 |   28483   163166   552335 | 2147483647    70093     93 |  0.154 % |
365.64/365.67	c |     70889 |   28483   163166   552335 | 2147483647    70813     93 |  0.154 % |
370.44/370.42	c |     71681 |   28483   163166   552335 | 2147483647    71605     93 |  0.154 % |
374.84/374.89	c |     72553 |   28483   163166   552335 | 2147483647    72477     93 |  0.154 % |
375.54/375.58	c |     72655 |   28483   163166   552335 | 2147483647    72579     93 |  0.154 % |
376.25/376.28	c |     72766 |   28483   163166   552335 | 2147483647    72690     93 |  0.154 % |
377.04/377.05	c |     72887 |   28483   163166   552335 | 2147483647    72811     93 |  0.154 % |
377.74/377.79	c |     73020 |   28483   163166   552335 | 2147483647    72944     93 |  0.154 % |
378.64/378.61	c |     73166 |   28483   163166   552335 | 2147483647    73090     93 |  0.154 % |
379.44/379.45	c |     73326 |   28483   163166   552335 | 2147483647    73250     93 |  0.154 % |
380.54/380.59	c |     73502 |   28483   163166   552335 | 2147483647    73426     93 |  0.154 % |
381.84/381.81	c |     73695 |   28483   163166   552335 | 2147483647    73619     93 |  0.154 % |
382.94/382.93	c |     73907 |   28483   163166   552335 | 2147483647    73831     93 |  0.154 % |
384.54/384.52	c |     74141 |   28483   163166   552335 | 2147483647    74065     93 |  0.154 % |
386.44/386.45	c |     74398 |   28483   163166   552335 | 2147483647    74322     93 |  0.154 % |
388.54/388.51	c |     74679 |   28483   163166   552335 | 2147483647    74603     94 |  0.154 % |
390.74/390.76	c |     74989 |   28483   163166   552335 | 2147483647    74913     94 |  0.154 % |
393.15/393.19	c |     75328 |   28483   163166   552335 | 2147483647    75252     94 |  0.154 % |
395.15/395.14	c |     75700 |   28483   163166   552335 | 2147483647    75624     94 |  0.154 % |
397.45/397.48	c |     76109 |   28483   163166   552335 | 2147483647    76033     94 |  0.154 % |
399.85/399.88	c |     76559 |   28483   163166   552335 | 2147483647    76483     94 |  0.154 % |
402.65/402.65	c |     77052 |   28483   163166   552335 | 2147483647    76976     94 |  0.154 % |
405.45/405.48	c |     77594 |   28483   163166   552335 | 2147483647    77518     94 |  0.154 % |
408.15/408.17	c |     78191 |   28483   163166   552335 | 2147483647    78115     94 |  0.154 % |
410.76/410.77	c |     78847 |   28483   163166   552335 | 2147483647    78771     94 |  0.154 % |
414.16/414.22	c |     79567 |   28483   163166   552335 | 2147483647    79491     94 |  0.154 % |
418.66/418.70	c |     80361 |   28483   163166   552335 | 2147483647    80285     94 |  0.154 % |
424.36/424.36	c |     81233 |   28483   163166   552335 | 2147483647    81157     94 |  0.154 % |
429.56/429.59	c |     82191 |   28483   163166   552335 | 2147483647    82115     94 |  0.154 % |
429.86/429.84	c |     82294 |   28483   163166   552335 | 2147483647    82218     94 |  0.154 % |
430.56/430.62	c |     82407 |   28483   163166   552335 | 2147483647    82331     94 |  0.154 % |
431.06/431.09	c |     82529 |   28483   163166   552335 | 2147483647    82453     94 |  0.154 % |
431.46/431.49	c |     82663 |   28483   163166   552335 | 2147483647    82587     94 |  0.154 % |
432.06/432.04	c |     82812 |   28483   163166   552335 | 2147483647    82736     94 |  0.154 % |
432.06/432.11	c |     82972 |   28483   163166   552335 | 2147483647    82896     94 |  0.154 % |
432.16/432.19	c |     83150 |   28483   163166   552335 | 2147483647    83074     94 |  0.154 % |
432.76/432.81	c |     83344 |   28483   163166   552335 | 2147483647    83268     93 |  0.154 % |
434.06/434.11	c |     83556 |   28483   163166   552335 | 2147483647    83480     94 |  0.154 % |
435.46/435.44	c |     83789 |   28483   163166   552335 | 2147483647    83713     94 |  0.154 % |
436.96/437.01	c |     84046 |   28483   163166   552335 | 2147483647    83970     94 |  0.154 % |
438.66/438.69	c |     84327 |   28483   163166   552335 | 2147483647    84251     94 |  0.154 % |
440.26/440.26	c |     84637 |   28483   163166   552335 | 2147483647    84561     93 |  0.154 % |
443.36/443.35	c |     84976 |   28483   163166   552335 | 2147483647    84900     94 |  0.154 % |
445.66/445.65	c |     85350 |   28483   163166   552335 | 2147483647    85274     94 |  0.154 % |
447.76/447.75	c |     85760 |   28483   163166   552335 | 2147483647    85684     94 |  0.154 % |
450.76/450.78	c |     86210 |   28483   163166   552335 | 2147483647    86134     94 |  0.154 % |
453.26/453.23	c |     86703 |   28483   163166   552335 | 2147483647    86627     94 |  0.154 % |
456.46/456.52	c |     87246 |   28483   163166   552335 | 2147483647    87170     93 |  0.154 % |
459.06/459.03	c |     87842 |   28483   163166   552335 | 2147483647    87766     93 |  0.154 % |
463.16/463.13	c |     88498 |   28483   163166   552335 | 2147483647    88422     93 |  0.154 % |
467.46/467.46	c |     89218 |   28483   163166   552335 | 2147483647    89142     94 |  0.154 % |
472.56/472.60	c |     90010 |   28483   163166   552335 | 2147483647    89934     94 |  0.154 % |
476.76/476.73	c |     90881 |   28483   163166   552335 | 2147483647    90805     94 |  0.154 % |
482.36/482.41	c |     91839 |   28483   163166   552335 | 2147483647    91763     95 |  0.154 % |
488.16/488.17	c |     92894 |   28483   163166   552335 | 2147483647    92818     95 |  0.154 % |
489.16/489.13	c |     92994 |   28483   163166   552335 | 2147483647    92918     95 |  0.154 % |
489.76/489.76	c |     93105 |   28483   163166   552335 | 2147483647    93029     95 |  0.154 % |
490.36/490.41	c |     93227 |   28483   163166   552335 | 2147483647    93151     95 |  0.154 % |
491.26/491.28	c |     93361 |   28483   163166   552335 | 2147483647    93285     95 |  0.154 % |
491.96/492.01	c |     93510 |   28483   163166   552335 | 2147483647    93434     95 |  0.154 % |
492.96/492.98	c |     93672 |   28483   163166   552335 | 2147483647    93596     95 |  0.154 % |
494.16/494.14	c |     93848 |   28483   163166   552335 | 2147483647    93772     95 |  0.154 % |
495.16/495.12	c |     94042 |   28483   163166   552335 | 2147483647    93966     95 |  0.154 % |
496.06/496.11	c |     94256 |   28483   163166   552335 | 2147483647    94180     95 |  0.154 % |
497.66/497.69	c |     94491 |   28483   163166   552335 | 2147483647    94415     95 |  0.154 % |
499.06/499.04	c |     94747 |   28483   163166   552335 | 2147483647    94671     95 |  0.154 % |
500.46/500.46	c |     95028 |   28483   163166   552335 | 2147483647    94952     95 |  0.154 % |
502.77/502.74	c |     95338 |   28483   163166   552335 | 2147483647    95262     95 |  0.154 % |
504.86/504.87	c |     95677 |   28483   163166   552335 | 2147483647    95601     96 |  0.154 % |
507.36/507.37	c |     96050 |   28483   163166   552335 | 2147483647    95974     95 |  0.154 % |
508.36/508.39	c |     96459 |   28483   163166   552335 | 2147483647    96383     95 |  0.154 % |
510.56/510.56	c |     96908 |   28483   163166   552335 | 2147483647    96832     95 |  0.154 % |
513.26/513.27	c |     97403 |   28483   163166   552335 | 2147483647    97327     95 |  0.154 % |
516.76/516.72	c |     97945 |   28483   163166   552335 | 2147483647    97869     95 |  0.154 % |
520.46/520.43	c |     98541 |   28483   163166   552335 | 2147483647    98465     95 |  0.154 % |
524.47/524.44	c |     99196 |   28483   163166   552335 | 2147483647    99120     95 |  0.154 % |
527.97/527.95	c |     99916 |   28483   163166   552335 | 2147483647    99840     95 |  0.154 % |
528.67/528.68	c |    100709 |   28483   163166   552335 | 2147483647   100633     95 |  0.154 % |
530.37/530.36	c |    101580 |   28483   163166   552335 | 2147483647   101504     94 |  0.154 % |
536.26/536.23	c |    102539 |   28483   163166   552335 | 2147483647   102463     95 |  0.154 % |
542.46/542.46	c |    103592 |   28483   163166   552335 | 2147483647   103516     94 |  0.154 % |
547.76/547.72	c |    104750 |   28483   163166   552335 | 2147483647   104674     94 |  0.154 % |
548.36/548.39	c |    104850 |   28483   163166   552335 | 2147483647   104774     95 |  0.154 % |
549.26/549.22	c |    104960 |   28483   163166   552335 | 2147483647   104884     95 |  0.154 % |
550.16/550.11	c |    105081 |   28483   163166   552335 | 2147483647   105005     95 |  0.154 % |
550.96/550.92	c |    105214 |   28483   163166   552335 | 2147483647   105138     95 |  0.154 % |
551.86/551.82	c |    105360 |   28483   163166   552335 | 2147483647   105284     95 |  0.154 % |
552.86/552.89	c |    105520 |   28483   163166   552335 | 2147483647   105444     95 |  0.154 % |
554.46/554.50	c |    105697 |   28483   163166   552335 | 2147483647   105621     95 |  0.154 % |
556.26/556.28	c |    105890 |   28483   163166   552335 | 2147483647   105814     95 |  0.154 % |
556.96/556.98	c |    106103 |   28483   163166   552335 | 2147483647   106027     95 |  0.154 % |
558.66/558.71	c |    106337 |   28483   163166   552335 | 2147483647   106261     95 |  0.154 % |
560.46/560.43	c |    106594 |   28483   163166   552335 | 2147483647   106518     95 |  0.154 % |
561.56/561.56	c |    106876 |   28483   163166   552335 | 2147483647   106800     95 |  0.154 % |
564.06/564.04	c |    107185 |   28483   163166   552335 | 2147483647   107109     95 |  0.154 % |
566.16/566.14	c |    107524 |   28483   163166   552335 | 2147483647   107448     95 |  0.154 % |
568.76/568.74	c |    107896 |   28483   163166   552335 | 2147483647   107820     95 |  0.154 % |
572.06/572.05	c |    108305 |   28483   163166   552335 | 2147483647   108229     95 |  0.154 % |
573.96/574.00	c |    108754 |   28483   163166   552335 | 2147483647   108678     95 |  0.154 % |
576.96/576.92	c |    109247 |   28483   163166   552335 | 2147483647   109171     95 |  0.154 % |
580.06/580.09	c |    109789 |   28483   163166   552335 | 2147483647   109713     95 |  0.154 % |
583.76/583.79	c |    110385 |   28483   163166   552335 | 2147483647   110309     95 |  0.154 % |
587.86/587.86	c |    111040 |   28483   163166   552335 | 2147483647   110964     95 |  0.154 % |
594.16/594.15	c |    111760 |   28483   163166   552335 | 2147483647   111684     96 |  0.154 % |
599.36/599.35	c |    112553 |   28483   163166   552335 | 2147483647   112477     96 |  0.154 % |
602.36/602.33	c |    113424 |   28483   163166   552335 | 2147483647   113348     96 |  0.154 % |
607.76/607.79	c |    114382 |   28483   163166   552335 | 2147483647   114306     96 |  0.154 % |
613.87/613.83	c |    115436 |   28483   163166   552335 | 2147483647   115360     96 |  0.154 % |
620.47/620.49	c |    116594 |   28483   163166   552335 | 2147483647   116518     96 |  0.154 % |
626.46/626.44	c |    117867 |   28483   163166   552335 | 2147483647   117791     96 |  0.154 % |
626.86/626.89	c |    117969 |   28483   163166   552335 | 2147483647   117893     96 |  0.154 % |
627.36/627.39	c |    118080 |   28483   163166   552335 | 2147483647   118004     96 |  0.154 % |
627.96/627.93	c |    118201 |   28483   163166   552335 | 2147483647   118125     96 |  0.154 % |
628.86/628.83	c |    118335 |   28483   163166   552335 | 2147483647   118259     97 |  0.154 % |
629.96/629.98	c |    118481 |   28483   163166   552335 | 2147483647   118405     97 |  0.154 % |
630.66/630.70	c |    118641 |   28483   163166   552335 | 2147483647   118565     97 |  0.154 % |
631.56/631.52	c |    118817 |   28483   163166   552335 | 2147483647   118741     97 |  0.154 % |
632.66/632.67	c |    119011 |   28483   163166   552335 | 2147483647   118935     97 |  0.154 % |
634.16/634.11	c |    119224 |   28483   163166   552335 | 2147483647   119148     97 |  0.154 % |
635.46/635.46	c |    119458 |   28483   163166   552335 | 2147483647   119382     97 |  0.154 % |
636.76/636.81	c |    119714 |   28483   163166   552335 | 2147483647   119638     97 |  0.154 % |
638.86/638.82	c |    119997 |   28483   163166   552335 | 2147483647   119921     97 |  0.154 % |
640.86/640.81	c |    120306 |   28483   163166   552335 | 2147483647   120230     97 |  0.154 % |
643.36/643.34	c |    120646 |   28483   163166   552335 | 2147483647   120570     97 |  0.154 % |
645.86/645.85	c |    121019 |   28483   163166   552335 | 2147483647   120943     97 |  0.154 % |
649.16/649.15	c |    121429 |   28483   163166   552335 | 2147483647   121353     97 |  0.154 % |
651.96/651.99	c |    121879 |   28483   163166   552335 | 2147483647   121803     98 |  0.154 % |
654.47/654.49	c |    122372 |   28483   163166   552335 | 2147483647   122296     98 |  0.154 % |
658.07/658.11	c |    122915 |   28483   163166   552335 | 2147483647   122839     98 |  0.154 % |
661.97/661.98	c |    123511 |   28483   163166   552335 | 2147483647   123435     98 |  0.154 % |
666.27/666.21	c |    124166 |   28483   163166   552335 | 2147483647   124090     98 |  0.154 % |
671.97/671.93	c |    124886 |   28483   163166   552335 | 2147483647   124810     98 |  0.154 % |
678.27/678.24	c |    125678 |   28483   163166   552335 | 2147483647   125602     99 |  0.154 % |
683.87/683.84	c |    126550 |   28483   163166   552335 | 2147483647   126474     98 |  0.154 % |
689.27/689.23	c |    127508 |   28483   163166   552335 | 2147483647   127432     99 |  0.154 % |
696.97/696.97	c |    128561 |   28483   163166   552335 | 2147483647   128485     99 |  0.154 % |
704.67/704.70	c |    129719 |   28483   163166   552335 | 2147483647   129643     99 |  0.154 % |
713.57/713.57	c |    130992 |   28483   163166   552335 | 2147483647   130916     99 |  0.154 % |
721.67/721.70	c |    132394 |   28483   163166   552335 | 2147483647   132318    100 |  0.154 % |
722.07/722.07	c |    132494 |   28483   163166   552335 | 2147483647   132418     99 |  0.154 % |
722.27/722.24	c |    132606 |   28483   163166   552335 | 2147483647   132530     99 |  0.154 % |
723.07/723.02	c |    132728 |   28483   163166   552335 | 2147483647   132652     99 |  0.154 % |
723.47/723.46	c |    132862 |   28483   163166   552335 | 2147483647   132786     99 |  0.154 % |
723.77/723.77	c |    133009 |   28483   163166   552335 | 2147483647   132933     99 |  0.154 % |
724.87/724.86	c |    133170 |   28483   163166   552335 | 2147483647   133094     99 |  0.154 % |
726.07/726.01	c |    133346 |   28483   163166   552335 | 2147483647   133270     99 |  0.154 % |
727.57/727.57	c |    133539 |   28483   163166   552335 | 2147483647   133463     99 |  0.154 % |
728.67/728.66	c |    133751 |   28483   163166   552335 | 2147483647   133675     99 |  0.154 % |
730.87/730.86	c |    133984 |   28483   163166   552335 | 2147483647   133908    100 |  0.154 % |
732.77/732.71	c |    134240 |   28483   163166   552335 | 2147483647   134164    100 |  0.154 % |
735.67/735.62	c |    134521 |   28483   163166   552335 | 2147483647   134445    100 |  0.154 % |
737.47/737.43	c |    134830 |   28483   163166   552335 | 2147483647   134754    100 |  0.154 % |
739.67/739.63	c |    135170 |   28483   163166   552335 | 2147483647   135094    100 |  0.154 % |
742.77/742.79	c |    135543 |   28483   163166   552335 | 2147483647   135467    100 |  0.154 % |
745.67/745.64	c |    135952 |   28483   163166   552335 | 2147483647   135876    100 |  0.154 % |
746.87/746.86	c |    136401 |   28483   163166   552335 | 2147483647   136325    100 |  0.154 % |
750.37/750.37	c |    136895 |   28483   163166   552335 | 2147483647   136819    100 |  0.154 % |
753.87/753.82	c |    137438 |   28483   163166   552335 | 2147483647   137362    100 |  0.154 % |
757.47/757.50	c |    138035 |   28483   163166   552335 | 2147483647   137959    100 |  0.154 % |
762.27/762.24	c |    138691 |   28483   163166   552335 | 2147483647   138615    101 |  0.154 % |
767.98/768.00	c |    139412 |   28483   163166   552335 | 2147483647   139336    100 |  0.154 % |
772.29/772.24	c |    140204 |   28483   163166   552335 | 2147483647   140128    100 |  0.154 % |
778.98/778.98	c |    141076 |   28483   163166   552335 | 2147483647   141000    101 |  0.154 % |
781.98/781.95	c |    142037 |   28481   163159   552316 | 2147483647   141959    100 |  0.161 % |
790.49/790.42	c |    143090 |   28481   163159   552316 | 2147483647   143012    101 |  0.161 % |
797.79/797.79	c |    144249 |   28481   163159   552316 | 2147483647   144171    101 |  0.161 % |
807.49/807.44	c |    145523 |   28481   163159   552316 | 2147483647   145445    102 |  0.161 % |
816.39/816.32	c |    146925 |   28481   163159   552316 | 2147483647   146847    102 |  0.161 % |
827.19/827.15	c |    148466 |   28481   163159   552316 | 2147483647   148388    102 |  0.161 % |
827.69/827.70	c |    148566 |   28481   163159   552316 | 2147483647   148488    102 |  0.161 % |
828.39/828.34	c |    148676 |   28481   163159   552316 | 2147483647   148598    102 |  0.161 % |
829.49/829.50	c |    148797 |   28481   163159   552316 | 2147483647   148719    102 |  0.161 % |
830.59/830.56	c |    148931 |   28481   163159   552316 | 2147483647   148853    102 |  0.161 % |
831.49/831.52	c |    149077 |   28481   163159   552316 | 2147483647   148999    102 |  0.161 % |
832.89/832.86	c |    149237 |   28481   163159   552316 | 2147483647   149159    103 |  0.161 % |
833.99/833.96	c |    149414 |   28481   163159   552316 | 2147483647   149336    102 |  0.161 % |
835.39/835.39	c |    149607 |   28481   163159   552316 | 2147483647   149529    103 |  0.161 % |
836.59/836.58	c |    149819 |   28481   163159   552316 | 2147483647   149741    103 |  0.161 % |
838.29/838.27	c |    150053 |   28481   163159   552316 | 2147483647   149975    103 |  0.161 % |
839.99/839.96	c |    150309 |   28481   163159   552316 | 2147483647   150231    103 |  0.161 % |
842.09/842.09	c |    150591 |   28481   163159   552316 | 2147483647   150513    103 |  0.161 % |
843.99/844.00	c |    150901 |   28481   163159   552316 | 2147483647   150823    103 |  0.161 % |
846.19/846.16	c |    151240 |   28481   163159   552316 | 2147483647   151162    103 |  0.161 % |
848.09/848.07	c |    151612 |   28481   163159   552316 | 2147483647   151534    103 |  0.161 % |
851.19/851.18	c |    152022 |   28481   163159   552316 | 2147483647   151944    103 |  0.161 % |
854.29/854.23	c |    152472 |   28481   163159   552316 | 2147483647   152394    103 |  0.161 % |
857.99/857.98	c |    152966 |   28481   163159   552316 | 2147483647   152888    103 |  0.161 % |
862.29/862.29	c |    153508 |   28481   163159   552316 | 2147483647   153430    103 |  0.161 % |
865.80/865.78	c |    154106 |   28481   163159   552316 | 2147483647   154028    103 |  0.161 % |
870.09/870.05	c |    154762 |   28481   163159   552316 | 2147483647   154684    103 |  0.161 % |
875.19/875.21	c |    155483 |   28481   163159   552316 | 2147483647   155405    103 |  0.161 % |
880.19/880.20	c |    156276 |   28481   163159   552316 | 2147483647   156198    103 |  0.161 % |
886.09/886.07	c |    157147 |   28481   163159   552316 | 2147483647   157069    103 |  0.161 % |
892.38/892.32	c |    158106 |   28481   163159   552316 | 2147483647   158028    103 |  0.161 % |
899.68/899.70	c |    159160 |   28481   163159   552316 | 2147483647   159082    103 |  0.161 % |
908.08/908.04	c |    160318 |   28481   163159   552316 | 2147483647   160240    104 |  0.161 % |
913.68/913.70	c |    161591 |   28481   163159   552316 | 2147483647   161513    103 |  0.161 % |
924.79/924.79	c |    162991 |   28481   163159   552316 | 2147483647   162913    103 |  0.161 % |
937.49/937.44	c |    164531 |   28481   163159   552316 | 2147483647   164453    104 |  0.161 % |
947.89/947.89	c |    166225 |   28481   163159   552316 | 2147483647   166147    104 |  0.161 % |
948.89/948.88	c |    166326 |   28481   163159   552316 | 2147483647   166248    104 |  0.161 % |
949.79/949.75	c |    166436 |   28481   163159   552316 | 2147483647   166358    104 |  0.161 % |
950.89/950.81	c |    166557 |   28481   163159   552316 | 2147483647   166479    104 |  0.161 % |
952.29/952.27	c |    166691 |   28481   163159   552316 | 2147483647   166613    104 |  0.161 % |
953.79/953.76	c |    166838 |   28481   163159   552316 | 2147483647   166760    104 |  0.161 % |
955.29/955.22	c |    166998 |   28481   163159   552316 | 2147483647   166920    104 |  0.161 % |
956.69/956.69	c |    167176 |   28481   163159   552316 | 2147483647   167098    104 |  0.161 % |
957.09/957.03	c |    167370 |   28481   163159   552316 | 2147483647   167292    104 |  0.161 % |
958.99/958.97	c |    167582 |   28481   163159   552316 | 2147483647   167504    104 |  0.161 % |
960.69/960.67	c |    167816 |   28481   163159   552316 | 2147483647   167738    104 |  0.161 % |
962.59/962.59	c |    168073 |   28481   163159   552316 | 2147483647   167995    104 |  0.161 % |
964.79/964.71	c |    168354 |   28481   163159   552316 | 2147483647   168276    104 |  0.161 % |
966.89/966.83	c |    168664 |   28481   163159   552316 | 2147483647   168586    104 |  0.161 % |
969.29/969.27	c |    169004 |   28481   163159   552316 | 2147483647   168926    104 |  0.161 % |
972.29/972.27	c |    169377 |   28481   163159   552316 | 2147483647   169299    105 |  0.161 % |
974.89/974.84	c |    169786 |   28481   163159   552316 | 2147483647   169708    105 |  0.161 % |
978.19/978.16	c |    170236 |   28481   163159   552316 | 2147483647   170158    105 |  0.161 % |
981.89/981.86	c |    170731 |   28481   163159   552316 | 2147483647   170653    105 |  0.161 % |
984.69/984.64	c |    171273 |   28481   163159   552316 | 2147483647   171195    105 |  0.161 % |
987.09/987.03	c |    171869 |   28481   163159   552316 | 2147483647   171791    105 |  0.161 % |
993.09/993.04	c |    172524 |   28481   163159   552316 | 2147483647   172446    105 |  0.161 % |
998.49/998.45	c |    173244 |   28481   163159   552316 | 2147483647   173166    105 |  0.161 % |
1003.69/1003.63	c |    174037 |   28481   163159   552316 | 2147483647   173959    105 |  0.161 % |
1009.59/1009.52	c |    174909 |   28481   163159   552316 | 2147483647   174831    105 |  0.161 % |
1016.09/1016.08	c |    175867 |   28481   163159   552316 | 2147483647   175789    105 |  0.161 % |
1024.69/1024.69	c |    176920 |   28481   163159   552316 | 2147483647   176842    105 |  0.161 % |
1034.19/1034.15	c |    178078 |   28481   163159   552316 | 2147483647   178000    105 |  0.161 % |
1042.39/1042.37	c |    179351 |   28481   163159   552316 | 2147483647   179273    105 |  0.161 % |
1050.90/1050.88	c |    180754 |   28481   163159   552316 | 2147483647   180676    106 |  0.161 % |
1060.10/1060.10	c |    182294 |   28481   163159   552316 | 2147483647   182216    105 |  0.161 % |
1070.90/1070.88	c |    183988 |   28481   163159   552316 | 2147483647   183910    105 |  0.161 % |
1086.20/1086.15	c |    185852 |   28481   163159   552316 | 2147483647   185774    105 |  0.161 % |
1087.00/1086.99	c |    185953 |   28481   163159   552316 | 2147483647   185875    105 |  0.161 % |
1088.10/1088.07	c |    186063 |   28481   163159   552316 | 2147483647   185985    106 |  0.161 % |
1089.40/1089.37	c |    186184 |   28481   163159   552316 | 2147483647   186106    106 |  0.161 % |
1090.60/1090.55	c |    186317 |   28481   163159   552316 | 2147483647   186239    106 |  0.161 % |
1091.90/1091.85	c |    186463 |   28481   163159   552316 | 2147483647   186385    106 |  0.161 % |
1092.90/1092.83	c |    186623 |   28481   163159   552316 | 2147483647   186545    106 |  0.161 % |
1094.40/1094.32	c |    186801 |   28481   163159   552316 | 2147483647   186723    106 |  0.161 % |
1096.00/1095.95	c |    186996 |   28481   163159   552316 | 2147483647   186918    106 |  0.161 % |
1097.50/1097.45	c |    187208 |   28481   163159   552316 | 2147483647   187130    106 |  0.161 % |
1098.70/1098.64	c |    187442 |   28481   163159   552316 | 2147483647   187364    106 |  0.161 % |
1100.90/1100.83	c |    187698 |   28481   163159   552316 | 2147483647   187620    106 |  0.161 % |
1103.20/1103.13	c |    187980 |   28481   163159   552316 | 2147483647   187902    106 |  0.161 % |
1105.80/1105.79	c |    188290 |   28481   163159   552316 | 2147483647   188212    106 |  0.161 % |
1107.80/1107.75	c |    188630 |   28481   163159   552316 | 2147483647   188552    106 |  0.161 % |
1110.40/1110.37	c |    189002 |   28481   163159   552316 | 2147483647   188924    105 |  0.161 % |
1112.90/1112.87	c |    189412 |   28481   163159   552316 | 2147483647   189334    105 |  0.161 % |
1115.70/1115.62	c |    189862 |   28481   163159   552316 | 2147483647   189784    105 |  0.161 % |
1119.21/1119.19	c |    190355 |   28481   163159   552316 | 2147483647   190277    105 |  0.161 % |
1122.01/1121.93	c |    190898 |   28481   163159   552316 | 2147483647   190820    105 |  0.161 % |
1125.81/1125.74	c |    191494 |   28481   163159   552316 | 2147483647   191416    105 |  0.161 % |
1130.41/1130.33	c |    192149 |   28481   163159   552316 | 2147483647   192071    105 |  0.161 % |
1135.01/1134.92	c |    192869 |   28481   163159   552316 | 2147483647   192791    105 |  0.161 % |
1137.91/1137.87	c |    193662 |   28481   163159   552316 | 2147483647   193584    105 |  0.161 % |
1144.61/1144.53	c |    194534 |   28481   163159   552316 | 2147483647   194456    105 |  0.161 % |
1151.91/1151.84	c |    195493 |   28481   163159   552316 | 2147483647   195415    105 |  0.161 % |
1159.21/1159.14	c |    196546 |   28481   163159   552316 | 2147483647   196468    105 |  0.161 % |
1166.81/1166.80	c |    197705 |   28481   163159   552316 | 2147483647   197627    105 |  0.161 % |
1178.41/1178.34	c |    198979 |   28481   163159   552316 | 2147483647   198901    106 |  0.161 % |
1188.72/1188.67	c |    200379 |   28481   163159   552316 | 2147483647   200301    106 |  0.161 % |
1200.02/1199.93	HOME/SatELiteGTI: line 36: 26150 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821070-1242505115/watcher-1821070-1242505115 -o /tmp/evaluation-result-1821070-1242505115/solver-1821070-1242505115 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821070-1242505115.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/91 26144
/proc/meminfo: memFree=1416752/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2416 CPUtime=0
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1015009648 2473984 277 4294967295 134512640 135169312 3213630480 3213629016 3084877550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26144/statm: 604 277 235 161 0 43 0
[pid=26148] ppid=26144 vsize=948 CPUtime=0
/proc/26148/stat : 26148 (SatELite_releas) R 26144 26144 15108 0 -1 4202496 104 0 0 0 0 0 0 0 25 0 1 0 1015009649 970752 40 4294967295 134512640 135223648 3215306128 3215306012 134529552 0 0 0 0 0 0 0 17 1 0 0 0
/proc/26148/statm: 237 49 40 174 0 62 0

[startup+0.036686 s]
/proc/loadavg: 0.99 0.98 0.99 2/91 26144
/proc/meminfo: memFree=1416752/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2416 CPUtime=0
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1015009648 2473984 277 4294967295 134512640 135169312 3213630480 3213629016 3084877550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26144/statm: 604 277 235 161 0 43 0
[pid=26148] ppid=26144 vsize=13992 CPUtime=0.04
/proc/26148/stat : 26148 (SatELite_releas) R 26144 26144 15108 0 -1 4202496 2170 0 0 0 3 1 0 0 25 0 1 0 1015009649 14327808 1960 4294967295 134512640 135223648 3215306128 3215304696 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26148/statm: 3498 1961 47 174 0 3323 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16408

[startup+0.116637 s]
/proc/loadavg: 0.99 0.98 0.99 2/91 26144
/proc/meminfo: memFree=1416752/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2416 CPUtime=0
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1015009648 2473984 277 4294967295 134512640 135169312 3213630480 3213629016 3084877550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26144/statm: 604 277 235 161 0 43 0
[pid=26148] ppid=26144 vsize=23720 CPUtime=0.12
/proc/26148/stat : 26148 (SatELite_releas) R 26144 26144 15108 0 -1 4202496 4608 0 0 0 10 2 0 0 25 0 1 0 1015009649 24289280 4398 4294967295 134512640 135223648 3215306128 3215305080 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26148/statm: 5930 4398 47 174 0 5755 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 26136

[startup+0.316627 s]
/proc/loadavg: 0.99 0.98 0.99 2/91 26144
/proc/meminfo: memFree=1416752/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2416 CPUtime=0
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1015009648 2473984 277 4294967295 134512640 135169312 3213630480 3213629016 3084877550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26144/statm: 604 277 235 161 0 43 0
[pid=26148] ppid=26144 vsize=35904 CPUtime=0.32
/proc/26148/stat : 26148 (SatELite_releas) R 26144 26144 15108 0 -1 4202496 7798 0 0 0 28 4 0 0 25 0 1 0 1015009649 36765696 7384 4294967295 134512640 135223648 3215306128 3215304128 134548979 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26148/statm: 8976 7385 72 174 0 8801 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 38320

[startup+0.716591 s]
/proc/loadavg: 0.99 0.98 0.99 2/91 26144
/proc/meminfo: memFree=1416752/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2416 CPUtime=0
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 368 645 0 0 0 0 0 0 25 0 1 0 1015009648 2473984 277 4294967295 134512640 135169312 3213630480 3213629016 3084877550 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26144/statm: 604 277 235 161 0 43 0
[pid=26148] ppid=26144 vsize=42728 CPUtime=0.72
/proc/26148/stat : 26148 (SatELite_releas) R 26144 26144 15108 0 -1 4202496 9391 0 0 0 67 5 0 0 25 0 1 0 1015009649 43753472 8977 4294967295 134512640 135223648 3215306128 3215304224 134596089 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26148/statm: 10682 8977 73 174 0 10507 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 45144

[startup+1.51653 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26149
/proc/meminfo: memFree=1378048/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 2420

[startup+3.11641 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26150
/proc/meminfo: memFree=1398384/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=13008 CPUtime=1.79
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 3053 0 0 0 178 1 0 0 25 0 1 0 1015009781 13320192 2988 4294967295 134512640 135215339 3220191904 3220189904 134532666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 3252 2988 73 172 0 3079 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 15428

[startup+6.31616 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26150
/proc/meminfo: memFree=1397640/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=13536 CPUtime=4.99
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 3192 0 0 0 498 1 0 0 25 0 1 0 1015009781 13860864 3127 4294967295 134512640 135215339 3220191904 3220189904 134532778 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 3384 3127 73 172 0 3211 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 15956

[startup+12.7157 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26150
/proc/meminfo: memFree=1396992/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=14196 CPUtime=11.39
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 3378 0 0 0 1138 1 0 0 25 0 1 0 1015009781 14536704 3313 4294967295 134512640 135215339 3220191904 3220189968 134538506 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 3549 3313 73 172 0 3376 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 16616

[startup+25.5147 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26150
/proc/meminfo: memFree=1395848/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=15384 CPUtime=24.19
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 3674 0 0 0 2418 1 0 0 25 0 1 0 1015009781 15753216 3609 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 3846 3609 73 172 0 3673 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 17804

[startup+51.1127 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26335
/proc/meminfo: memFree=1393492/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=17496 CPUtime=49.79
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 4191 0 0 0 4976 3 0 0 25 0 1 0 1015009781 17915904 4126 4294967295 134512640 135215339 3220191904 3220190192 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 4374 4126 73 172 0 4201 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 19916

[startup+102.329 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26340
/proc/meminfo: memFree=1389416/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=22004 CPUtime=101.01
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 5311 0 0 0 10096 5 0 0 25 0 1 0 1015009781 22532096 5246 4294967295 134512640 135215339 3220191904 3220190192 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 5501 5246 73 172 0 5328 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 24424

[startup+162.324 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 26528
/proc/meminfo: memFree=1384596/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=26656 CPUtime=161.01
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 6474 0 0 0 16093 8 0 0 25 0 1 0 1015009781 27295744 6409 4294967295 134512640 135215339 3220191904 3220189968 134538113 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 6664 6409 73 172 0 6491 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 29076

[startup+222.31 s]
/proc/loadavg: 1.10 1.03 1.01 3/93 26720
/proc/meminfo: memFree=1380116/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=30960 CPUtime=221
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 7534 0 0 0 22092 8 0 0 25 0 1 0 1015009781 31703040 7469 4294967295 134512640 135215339 3220191904 3220189968 134538118 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 7740 7469 73 172 0 7567 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 33380

[startup+282.315 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 26906
/proc/meminfo: memFree=1375048/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=35712 CPUtime=281.01
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 8745 0 0 0 28093 8 0 0 25 0 1 0 1015009781 36569088 8680 4294967295 134512640 135215339 3220191904 3220189968 134537869 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 8928 8680 73 172 0 8755 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 38132

[startup+342.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 27095
/proc/meminfo: memFree=1370700/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=40064 CPUtime=341.01
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 9813 0 0 0 34093 8 0 0 25 0 1 0 1015009781 41025536 9748 4294967295 134512640 135215339 3220191904 3220190192 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 10016 9748 73 172 0 9843 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 42484

[startup+402.316 s]

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

/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=53892 CPUtime=521.03
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 13262 0 0 0 52091 12 0 0 25 0 1 0 1015009781 55185408 13197 4294967295 134512640 135215339 3220191904 3220189904 134532687 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 13473 13197 73 172 0 13300 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 56312

[startup+582.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27848
/proc/meminfo: memFree=1352232/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=58516 CPUtime=581.03
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 14425 0 0 0 58091 12 0 0 25 0 1 0 1015009781 59920384 14360 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 14629 14360 73 172 0 14456 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 60936

[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28041
/proc/meminfo: memFree=1346892/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=63804 CPUtime=641.03
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 15740 0 0 0 64090 13 0 0 25 0 1 0 1015009781 65335296 15675 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 15951 15675 73 172 0 15778 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 66224

[startup+702.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28229
/proc/meminfo: memFree=1342428/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=68432 CPUtime=701.04
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 16892 0 0 0 70091 13 0 0 25 0 1 0 1015009781 70074368 16827 4294967295 134512640 135215339 3220191904 3220190192 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 17108 16827 73 172 0 16935 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 70852

[startup+762.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28417
/proc/meminfo: memFree=1337104/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=73616 CPUtime=761.05
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 18151 0 0 0 76091 14 0 0 25 0 1 0 1015009781 75382784 18086 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 18404 18086 73 172 0 18231 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 76036

[startup+822.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28605
/proc/meminfo: memFree=1332500/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=78520 CPUtime=821.06
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 19354 0 0 0 82090 16 0 0 25 0 1 0 1015009781 80404480 19289 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 19630 19289 73 172 0 19457 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 80940

[startup+882.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28792
/proc/meminfo: memFree=1327920/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=83044 CPUtime=881.06
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 20488 0 0 0 88089 17 0 0 25 0 1 0 1015009781 85037056 20423 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 20761 20423 73 172 0 20588 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 85464

[startup+942.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28980
/proc/meminfo: memFree=1323456/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=87556 CPUtime=941.06
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 21620 0 0 0 94089 17 0 0 25 0 1 0 1015009781 89657344 21555 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 21889 21555 73 172 0 21716 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 89976

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 29172
/proc/meminfo: memFree=1319364/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=91648 CPUtime=1001.06
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 22671 0 0 0 100089 17 0 0 25 0 1 0 1015009781 93847552 22606 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 22912 22606 73 172 0 22739 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 94068

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 29360
/proc/meminfo: memFree=1315280/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=95772 CPUtime=1061.07
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 23700 0 0 0 106088 19 0 0 25 0 1 0 1015009781 98070528 23635 4294967295 134512640 135215339 3220191904 3220189904 134532672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 23943 23635 73 172 0 23770 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 98192

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 29548
/proc/meminfo: memFree=1311172/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=99816 CPUtime=1121.08
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 24715 0 0 0 112088 20 0 0 25 0 1 0 1015009781 102211584 24650 4294967295 134512640 135215339 3220191904 3220190192 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 24954 24650 73 172 0 24781 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 102236

[startup+1182.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 29734
/proc/meminfo: memFree=1306972/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=104008 CPUtime=1181.09
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 25759 0 0 0 118088 21 0 0 25 0 1 0 1015009781 106504192 25694 4294967295 134512640 135215339 3220191904 3220190192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 26002 25694 73 172 0 25829 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 106428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.92 s]
/proc/loadavg: 1.08 1.02 1.01 2/93 29921
/proc/meminfo: memFree=1305984/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=104672 CPUtime=1198.69
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 25939 0 0 0 119848 21 0 0 25 0 1 0 1015009781 107184128 25874 4294967295 134512640 135215339 3220191904 3220190192 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 26168 25874 73 172 0 25995 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 107092

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

[startup+1199.92 s]
/proc/loadavg: 1.08 1.02 1.01 2/93 29921
/proc/meminfo: memFree=1305984/2074464 swapFree=1952056/1959888
[pid=26144] ppid=26142 vsize=2420 CPUtime=1.33
/proc/26144/stat : 26144 (SatELiteGTI) S 26142 26144 15108 0 -1 4194304 387 10577 0 0 0 1 126 6 18 0 1 0 1015009648 2478080 278 4294967295 134512640 135169312 3213630480 3213626696 3084877550 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26144/statm: 605 278 235 161 0 44 0
[pid=26150] ppid=26144 vsize=104672 CPUtime=1198.69
/proc/26150/stat : 26150 (minisat_static) R 26144 26144 15108 0 -1 4202496 25939 0 0 0 119848 21 0 0 25 0 1 0 1015009781 107184128 25874 4294967295 134512640 135215339 3220191904 3220190192 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26150/statm: 26168 25874 73 172 0 25995 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 107092

Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.03
CPU user time (s): 1199.74
CPU system time (s): 0.29
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 107092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37180
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= 22
involuntary context switches= 1092

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-16 22:18:35
IDJOB=1821070
IDBENCH=70824
IDSOLVER=657
FILE ID=tipi24/1821070-1242505115
PBS_JOBID=
Free space on /tmp= 9942 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821070-1242505115/watcher-1821070-1242505115 -o /tmp/evaluation-result-1821070-1242505115/solver-1821070-1242505115 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821070-1242505115.cnf

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED= 359730926

Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1416752 kB
Buffers:         27932 kB
Cached:         548452 kB
SwapCached:       3828 kB
Active:          85816 kB
Inactive:       500044 kB
HighTotal:     1178688 kB
HighFree:       710332 kB
LowTotal:       895776 kB
LowFree:        706420 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:            5824 kB
Writeback:          32 kB
AnonPages:        9012 kB
Mapped:           3476 kB
Slab:            62932 kB
PageTables:        556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87804 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9942 MiB
End job on tipi24 at 2009-05-16 22:38:35